Find the total population of the districts where the area is bigger than the average city area.
SELECT sum(city_population) FROM district WHERE city_area  >  (SELECT avg(city_area) FROM district)
SELECT sum(city_population) FROM district WHERE city_area  >  (SELECT avg(city_area) FROM district)
[{'sum(city_population)': 4850327.0}]