Table schema:
CREATE TABLE table_name_54 (area VARCHAR, name VARCHAR)

Question: What is the area of Mangamahu primary school?
SQL: SELECT area FROM table_name_54 WHERE name = "mangamahu primary school"