code: def test_rel_queries():
      assert ask(Q.lt(x, 2) & Q.gt(x, 3)) is False
      assert ask(Q.positive(x - z), (x > y) & (y > z)) is True
      assert ask(x + y > 2, (x < 0) & (y < 0)) is False
      assert ask(x > z, (x > y) & (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 3 for calling a global function with example usage: test_rel_queries() without return types