| 2 | 2 |x + 5*x + 8| < x - 5*x + 6
|x^2 + 5*x + 8| < x^2 - 5*x + 6
And(-oo < x, x < -1/5)
(-oo < x)∧(x < -1/5)
(-oo, -1/5)
x in Interval.open(-oo, -1/5)