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