code: def _eval_binrel(binrel):
      """
      Simplify binary relation to True / False if possible.
      """
      if not (
          len(binrel.lhs.free_symbols) == 0
          and len(binrel.rhs.free_symbols) == 0
      ):
          return binrel
      if binrel.function == Q.lt:
          res = binrel.lhs < binrel.rhs
      elif binrel.function == Q.gt:
          res = binrel.lhs > binrel.rhs
      elif binrel.function == Q.le:
          res = binrel.lhs <= binrel.rhs
      elif binrel.function == Q.ge:
          res = binrel.lhs >= binrel.rhs
      elif binrel.function == Q.eq:
          res = Eq(binrel.lhs, binrel.rhs)
      elif binrel.function == Q.ne:
          res = Ne(binrel.lhs, binrel.rhs)
  
      if res == True or res == False:
          return res
      else:
          return None
  
imports: from sympy.solvers.solveset import linear_eq_to_matrix
  from sympy.matrices.dense import eye
  from sympy.assumptions import Predicate
  from sympy.assumptions.assume import AppliedPredicate
  from sympy.assumptions.ask import Q
  from sympy.core import Dummy
  from sympy.core.mul import Mul
  from sympy.core.add import Add
  from sympy.core.relational import Eq, Ne
  from sympy.core.sympify import sympify
  from sympy.core.singleton import S
  from sympy.core.numbers import Rational, oo
  from sympy.matrices.dense import Matrix
label_desc: Use image node_id 4 for calling a global function with example usage: _eval_binrel(binrel) and returns: binrel, res, None