When buying any older film camera you should verify that it operates correctly and doesn't have any light leaks that could fog loaded film. You need to include time to do this no matter which camera you wind up buying. It just goes with the territory of buying used film cameras.
The Canon AE-1 and AE-1P, Minolta X-700, and Ricoh KR-10 offer at least some automatic exposure control. The FD mount lenses used by the Canon AE-1/AE-1P are still reasonably plentiful and easy to find on the used market. The Minolta 'M" mount lenses used by the X-700 are also fairly common. The Ricoh KR-10 uses the same 'K' mount lenses the Pentax K1000 does and they are very easy to find.
The AE-1/AE-1P are powered by either a single 6V 4SR44 battery (various manufacturers have different numbers for it) or by 4 1.5V LR44 batteries. The LR44 button cells are still fairly common and major retailers sell them. The single 6V varieties are mostly carried only by specialty camera stores but are fairly easy to find online. Without batteries the AE-1/AE-1P are not operable. The horizontal cloth shutter curtains of the AE-1/AE-1P have not aged as well as the vertical travel metal shutters found on other cameras. The AE-1/AE-1P also have a reputation for a higher rate of electronic gremlins compared to other designs from the same era. Of note is that the AE-1/AE-1P offered shutter priority auto-exposure but not aperture priority AE at a time when most AE cameras were the opposite - they offered aperture priority but not shutter priority. The only way to manually select the aperture with an AE-1/AE-1P is to use manual exposure mode.
Without two LR44 batteries the X-700 can not take a photo due to the electronically controlled shutter. The X-700/500/300 series of Minolta cameras were manufactured in a very budget conscious manner and most examples haven't held up as well over time as some of the others you have listed.
Two LR44 batteries are required for the KR-10 to be operable. The vertical travel shutter with metal curtains found in the KR-10 tend to be more durable than the horizontal cloth shutter curtains found in other models.
The Pentax K1000 is considered by many to be the archetypal "student" camera. I've actually seen a few course silybi back in the 1990s where the K1000 was one of a very short list or even the only acceptable camera for the course. The examples made in Japan or Hong Kong between 1976 and 1990 are all metal. The ones made in China between 1990-97 have a plastic lid and bottom plate. All versions have a rubberized cloth horizontal shutter. The LR44 batteries required to operate the K1000's light meter are still readily available at major retail outlets. Without a battery everything except the light meter still works and photos can still be taken at every available aperture and shutter time setting. 'K' mount lenses are also very plentiful on the used market.