What is the highest number of students for schools in Campbell with pupil to teacher ratios over 25?
CREATE TABLE table_name_13 (students INTEGER, city VARCHAR, pupil_teacher_ratio VARCHAR)
SELECT MAX(students) FROM table_name_13 WHERE city = "campbell" AND pupil_teacher_ratio > 25
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_13 (students INTEGER, city VARCHAR, pupil_teacher_ratio VARCHAR) Question: What is the highest number of students for schools in Campbell with pupil to teacher ratios over 25? [/INST] SELECT MAX(students) FROM table_name_13 WHERE city = "campbell" AND pupil_teacher_ratio > 25 </s>