12 9 4 x - x + x - x + 1 > 0
-x + x^4 + x^12 - x^9 + 1 > 0
And(-oo < x, x < oo)
(-oo < x)∧(x < oo)
(-oo, oo)
x in Interval(-oo, oo)