5*x - 1/4 + -x + 1/2 >= 3*x - 2
1/2 - x + 5*x - 1/4 >= 3*x - 2
[-9/4, oo)
x in Interval(-9/4, oo)
And(-9/4 <= x, x < oo)
(-9/4 <= x)∧(x < oo)