(x + 1)*(x - 4) - 2 < (x + 2)*(x - 3) - x
(x - 4)*(x + 1) - 2 < -x + (x - 3)*(x + 2)
And(0 < x, x < oo)
(0 < x)∧(x < oo)
(0, oo)
x in Interval.open(0, oo)