Input interpretation
solve -5 + 2 x^2<1
Result
-sqrt(3)