Towards a Deductive Database for Elementary Algebra and Geometry