2 5*sin (x) > 11*sin(x) + 12
5*sin(x)^2 > 11*sin(x) + 12
(pi + atan(4/3), -atan(4/3) + 2*pi)
x in Interval.open(atan(4/3) + pi, -atan(4/3) + 2*pi)
And(x < -atan(4/3) + 2*pi, pi + atan(4/3) < x)
(pi + atan(4/3) < x)∧(x < -atan(4/3) + 2*pi)