text: CREATE TABLE head (age INTEGER) -- How many heads of the departments are older than 56 ? SELECT COUNT(*) FROM head WHERE age > 56 CREATE TABLE head (name VARCHAR, born_state VARCHAR, age VARCHAR) -- List the name, born state and age of the heads of departments ordered by age. SELECT name, born_state, age FROM head ORDER BY age CREATE TABLE department (creation VARCHAR, name VARCHAR, budget_in_billions VARCHAR) -- List the creation year, name and budget of each department. SELECT creation, name, budget_in_billions FROM department CREATE TABLE department (budget_in_billions INTEGER) -- What are the maximum and minimum budget of the departments? SELECT MAX(budget_in_billions), MIN(budget_in_billions) FROM department CREATE TABLE department (num_employees INTEGER, ranking INTEGER) -- What is the average number of employees of the departments whose rank is between 10 and 15? SELECT AVG(num_employees) FROM department WHERE ranking BETWEEN 10 AND 15 CREATE TABLE head (name VARCHAR, born_state VARCHAR) -- What are the names of the heads who are born outside the California state? SELECT name FROM head WHERE born_state <> 'California' CREATE TABLE department (creation VARCHAR, department_id VARCHAR); CREATE TABLE management (department_id VARCHAR, head_id VARCHAR); CREATE TABLE head (head_id VARCHAR, born_state VARCHAR) -- What are the distinct creation years of the departments managed by a secretary born in state 'Alabama'? SELECT DISTINCT T1.creation FROM department AS T1 JOIN management AS T2 ON T1.department_id = T2.department_id JOIN head AS T3 ON T2.head_id = T3.head_id WHERE T3.born_state = 'Alabama'