equation solver with validation