Question: What are the total population of the districts whose area is larger than the average city area?
SQL: SELECT sum ( city_population )  FROM district WHERE city_area  >   ( SELECT avg ( city_area )  FROM district )