6 sin(x) + 5 + ------ < 0 sin(x)
sin(x) + 5 + 6/sin(x) < 0
(pi, 2*pi)
x in Interval.open(pi, 2*pi)
And(pi < x, x < 2*pi)
(pi < x)∧(x < 2*pi)