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