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