code: def test_all_pred():
      # test usable pred
      assert lra_satask(Q.extended_positive(x), (x > 2)) is True
      assert lra_satask(Q.positive_infinite(x)) is False
      assert lra_satask(Q.negative_infinite(x)) is False
  
      # test disallowed pred
      raises(
          UnhandledInput,
          lambda: lra_satask((x > 0), (x > 2) & Q.prime(x)),
      )
      raises(
          UnhandledInput,
          lambda: lra_satask((x > 0), (x > 2) & Q.composite(x)),
      )
      raises(
          UnhandledInput,
          lambda: lra_satask((x > 0), (x > 2) & Q.odd(x)),
      )
      raises(
          UnhandledInput,
          lambda: lra_satask((x > 0), (x > 2) & Q.even(x)),
      )
      raises(
          UnhandledInput,
          lambda: lra_satask((x > 0), (x > 2) & Q.integer(x)),
      )
  
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 5 for calling a global function with example usage: test_all_pred() without return types