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