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