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)