Table 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?
SQL: SELECT MAX(students) FROM table_name_13 WHERE city = "campbell" AND pupil_teacher_ratio > 25