Qual é o número médio de alunos nas escolas com uma relação aluno/professor de 25,1?
CREATE TABLE table_name_25 (students INTEGER, pupil_teacher_ratio VARCHAR)
SELECT AVG(students) FROM table_name_25 WHERE pupil_teacher_ratio = 25.1