Steps To Reproduce

sage: R.<y> = LaurentPolynomialRing(Zmod(4))
sage: a = 2+y
sage: b = 2
sage: a.divides(a*b)
False

The definition of divides is that a|c if there exists b such that a ⋅ b = c, so the last expression ought to return True.

Checklist

• I have searched the existing issues for a bug report that matches the one I want to file, without success.
• I have read the documentation and troubleshoot guide