NotDivides

Checks for indivisibility.

Syntax

• NotDivides(a, b)

  • a is an integer

  • b is an integer

Description

NotDivides(a, b) is true iff a doesn’t divide b, that is, iff there is no integer k such that b = k⋅a.

Notes

This is the function behind the infix operator ∤. Typically you use the operator instead of calling the NotDivides function directly.

Examples

13 ∤ 911924

false

15 ∤ 911924

true

5 ∤ 0

false

See also

• ∤

• divides (∣)