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