A number n is said to be divisible by d if d is a divisor of n, denoted d|n ("d divides n"). The converse of d|n is p not vertical bar n ("p does not divide n"). The function Divisible[n, d] returns True if an integer n is divisible by an integer d. The product of any n consecutive integers is divisible by n!. The sum of any n consecutive integers is divisible by n if n is odd, and by n/2 if n is even.

divide | divisibility tests | divisible module | divisor | divisor function