def test_hash_vs_typeinfo():
    """seemingly different typeinfo, but in fact equal"""

    # the following two are semantically equal
    x1 = Symbol('x', even=True)
    x2 = Symbol('x', integer=True, odd=False)

    assert hash(x1) >= hash(x2)
    assert x1 == x2
dataset/ETHPy150Open sympy/sympy/sympy/core/tests/test_assumptions.py/test_hash_vs_typeinfo/operator `==` -> `>=`