code: def test_poly_hypothesis_rationals(f_q, g_q):
      remainder_q = f_q.rem(g_q)
      assert (
          g_q.degree() >= remainder_q.degree()
          or remainder_q.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 4 for calling a global function with example usage: test_poly_hypothesis_rationals(f_q, g_q) without return types