55 - 7*(-2 - x) < 1 + -25 + x
55 - 7*(-x - 2) < x - 25 + 1
And(-oo < x, x < -31/2)
(-oo < x)∧(x < -31/2)
(-oo, -31/2)
x in Interval.open(-oo, -31/2)