for values of x > 20
if x % 12 == 0 then x % 6 == 0