Is 87 divisible by 3?