Question: What is the average age of those who don't live in that city?
SQL: SELECT avg ( age )  FROM student WHERE city_code ! =  'HKG'