Assertion: remainder | /r/HasProperty | nonzero
Facets:
Source sentences:
text: However, this still leaves a sign ambiguity if the remainder is nonzero: two possible choices for the remainder occur, one negative and the other positive, and two possible choices for the quotient occur.
text: I've seen the phrase "divides into" in print before, as in "a does not divide into b", referring to the fact the remainder of a/b is nonzero.