Making and Verifying Conjectures about Polygons