24 x *x - 4*x + 6 < 0
-4*x + x*x^24 + 6 < 0
/ / 25 \\ And\-oo < x, x < CRootOf\x - 4*x + 6, 0//
(-oo < x)∧(x < CRootOf(x^25 - 4*x + 6, 0))
/ 25 \ (-oo, CRootOf\x - 4*x + 6, 0/)
x in Interval.open(-oo, CRootOf(x^25 - 4*x + 6, 0))