What is the total population for all the districts that have an area larger tahn 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}]