|x + 1| + |x - 1| + |x + 2| + |x - 2| < 8*x - 32
|x - 1| + |x + 1| + |x + 2| + |x - 2| < 8*x - 32
And(8 < x, x < oo)
(8 < x)∧(x < oo)
(8, oo)
x in Interval.open(8, oo)