G.GGPE: Expressing Geometric Properties with Equations