code: def test_equality():
      # test symetry and reflexivity
      assert ask(Q.eq(x, x)) is True
      assert ask(Q.eq(y, x), Q.eq(x, y)) is True
      assert ask(Q.eq(y, x), ~Q.eq(z, z) | Q.eq(x, y)) is True
  
      # test transitivity
      assert ask(Q.eq(x, z), Q.eq(x, y) & Q.eq(y, z)) is True
  
file_path: sympy/sympy/assumptions/tests/test_rel_queries.py
imports: from sympy.assumptions.lra_satask import lra_satask
  from sympy.logic.algorithms.lra_theory import UnhandledInput
  from sympy.assumptions.ask import Q, ask
  from sympy.core import symbols, Symbol
  from sympy.matrices.expressions.matexpr import MatrixSymbol
  from sympy.core.numbers import I
  from sympy.testing.pytest import raises, XFAIL
label_desc: Use image node_id 8 for calling a global function with example usage: test_equality() without return types