3 2 (4 + x) - 6*x < x *(x + 12) + 1
-6*x + (x + 4)^3 < x^2*(x + 12) + 1
And(-oo < x, x < -3/2)
(-oo < x)∧(x < -3/2)
(-oo, -3/2)
x in Interval.open(-oo, -3/2)