changed to:
assert solve(sin(x)<2, assume=Q.real(x)) == True