@XFAIL
def test_issue_7993():
    x = Dummy(integer=True)
    y = Dummy(noninteger=True)
    assert (x - y).is_zero <= False
dataset/ETHPy150Open sympy/sympy/sympy/core/tests/test_assumptions.py/test_issue_7993/operator `is` -> `<=`