The mean starting salary offered to graduating students with a certain major in a recent year was $64,215, with a standard deviation of $3712. A random sample of 85 of that year's graduating students with the major has been selected. What is the probability that the mean starting salary offered to these 85 students was $64,250 or less?