What is the average number of students for schools with a pupil to teacher ratio of 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
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_25 (students INTEGER, pupil_teacher_ratio VARCHAR) Question: What is the average number of students for schools with a pupil to teacher ratio of 25.1? [/INST] SELECT AVG(students) FROM table_name_25 WHERE pupil_teacher_ratio = 25.1 </s>