CREATE TABLE table_name_54 (area VARCHAR(255), name VARCHAR(255))
What is the area of Mangamahu primary school?
    
SQL: SELECT area FROM table_name_54 WHERE name = "mangamahu primary school"