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