code: def test_poly_hypothesis_integers(f_z, g_z):
      remainder_z = f_z.rem(g_z)
      assert (
          g_z.degree() >= remainder_z.degree()
          or remainder_z.degree() == 0
      )
  
file_path: sympy/sympy/polys/tests/test_hypothesis.py
imports: from hypothesis import given
  from hypothesis import strategies
  from sympy.abc import x
  from sympy.polys.polytools import Poly
label_desc: Use image node_id 3 for calling a global function with example usage: test_poly_hypothesis_integers(f_z, g_z) without return types