Solving geometry problems