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