Instruct: What is the average number of students for schools with a pupil to teacher ratio of 25.1?
Output: SELECT AVG Students FROM table WHERE Pupil/Teacher Ratio = 25.1