Changed to 
def test_N13():
    assert solve(sin(x)<2, assume=Q.real(x)) == S.Reals # unsupported