code: def _(expr):
      # Including the integer qualification means we don't need to add any facts
      # for odd, since the assumptions already know that every integer is
      # exactly one of even or odd.
      allargs_integer = allargs(x, Q.integer(x), expr)
      anyarg_even = anyarg(x, Q.even(x), expr)
      return Implies(
          allargs_integer, Equivalent(anyarg_even, Q.even(expr))
      )
  
imports: from collections import defaultdict
  from sympy.assumptions.ask import Q
  from sympy.core import Add, Mul, Pow, Number, NumberSymbol, Symbol
  from sympy.core.numbers import ImaginaryUnit
  from sympy.functions.elementary.complexes import Abs
  from sympy.logic.boolalg import Equivalent, And, Or, Implies
  from sympy.matrices.expressions import MatMul
label_desc: Use image node_id 11 for calling a global function with example usage: _(expr) and returns: Implies