code: def test_number_line_properties():
      # From:
      # https://en.wikipedia.org/wiki/Inequality_(mathematics)#Properties_on_the_number_line
  
      a, b, c = symbols("a b c", real=True)
  
      # Transitivity
      # If a <= b and b <= c, then a <= c.
      assert ask(a <= c, (a <= b) & (b <= c)) is True
      # If a <= b and b < c, then a < c.
      assert ask(a < c, (a <= b) & (b < c)) is True
      # If a < b and b <= c, then a < c.
      assert ask(a < c, (a < b) & (b <= c)) is True
  
      # Addition and subtraction
      # If a <= b, then a + c <= b + c and a - c <= b - c.
      assert ask(a + c <= b + c, a <= b) is True
      assert ask(a - c <= b - c, a <= b) 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 6 for calling a global function with example usage: test_number_line_properties() without return types