Input interpretation
solve 5 X^2 + 7 X + 2 = 0 over the reals