Table schema:
CREATE TABLE district (city_population INTEGER, city_area INTEGER)

Question: Find the total population of the districts where the area is bigger than the average city area.
SQL: SELECT SUM(city_population) FROM district WHERE city_area > (SELECT AVG(city_area) FROM district)