code: def _(expr):
      # Implicitly assumes Mul has more than one arg
      # Would be allargs(x, Q.prime(x) | Q.composite(x)) except 1 is composite
      # More advanced prime assumptions will require inequalities, as 1 provides
      # a corner case.
      allargs_prime = allargs(x, Q.prime(x), expr)
      return Implies(allargs_prime, ~Q.prime(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 8 for calling a global function with example usage: _(expr) and returns: Implies