If a,b,c are natural numbers, a>3, b is a multiple of c, a is a multiple of 3, and c cannot equal to 3, then determine if each of the following is always true, is sometimes (but not always) true, or is never true. Thoroughly explain your answer.

A) If c is a multiple of 3, then both c> 3 and b is a multiple of 3

B) 3*c is a multiple of a*b

C) a*b is greater or equal to 12 and 12 greater or equal to a

D) a*b is a multiple of 3*C