For this case we have the following expressions:
and

Let:
(Integer m)
(Integer n)
By definition, an integer m is divisible by an integer n if the remainder of the division is 0. That is, there is an integer p such that:

Rewriting the expression we have:

So:

We cancel similar terms:

We check:

Answer:
If they are divisible