code: def test_sdm_monomial_divides():
      assert sdm_monomial_divides((1, 0, 0), (1, 0, 0)) is True
      assert sdm_monomial_divides((1, 0, 0), (1, 2, 1)) is True
      assert sdm_monomial_divides((5, 1, 1), (5, 2, 1)) is True
  
      assert sdm_monomial_divides((1, 0, 0), (2, 0, 0)) is False
      assert sdm_monomial_divides((1, 1, 0), (1, 0, 0)) is False
      assert sdm_monomial_divides((5, 1, 2), (5, 0, 1)) is False
  
imports: from sympy.polys.distributedmodules import sdm_monomial_mul, sdm_monomial_deg, sdm_monomial_divides, sdm_add, sdm_LM, sdm_LT, sdm_mul_term, sdm_zero, sdm_deg, sdm_LC, sdm_from_dict, sdm_spoly, sdm_ecart, sdm_nf_mora, sdm_groebner, sdm_from_vector, sdm_to_vector, sdm_monomial_lcm
  from sympy.polys.orderings import lex, grlex, InverseOrder
  from sympy.polys.domains import QQ
  from sympy.abc import x, y, z
label_desc: Use image node_id 4 for calling a global function with example usage: test_sdm_monomial_divides() without return types