จำนวนนักเรียนโดยเฉลี่ยสำหรับโรงเรียนที่มีอัตราส่วนนักเรียนต่อครูอยู่ที่ 25.1 คือเท่าใด?ไม่จำเป็นต้องใช้ตารางทั้งหมด
What is the average number of students for schools with a pupil to teacher ratio of 25.1?It is not neccessary to use all the tables.
 table_name_25:  (students [ INTEGER ] pupil_teacher_ratio [ VARCHAR) ]
SELECT AVG(students) FROM table_name_25 WHERE pupil_teacher_ratio = 25.1