HSG.GPE: Expressing Geometric Properties with Equations