code: def test_equality_failing():
      # Note that implementing the substitution property of equality
      # most likely requires a redesign of the new assumptions.
      # See issue #25485 for why this is the case and general ideas
      # about how things could be redesigned.
  
      # test substitution property
      assert ask(Q.prime(x), Q.eq(x, y) & Q.prime(y)) is True
      assert ask(Q.real(x), Q.eq(x, y) & Q.real(y)) is True
      assert ask(Q.imaginary(x), Q.eq(x, y) & Q.imaginary(y)) 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 9 for calling a global function with example usage: test_equality_failing() without return types