Question: What is average number of students enrolled in Florida colleges?
SQL: SELECT avg(enr) FROM College WHERE state  =  'FL'