Верно ли что если ab делится на 60, а b взаимно просто с 10, то a делится на 20?

Не всегда верно
Например:
n=4; a=6; b=10

6 не делится на 4, 10 неделится на 4, но их произведение (60) делится на 4!

Если бы ещё стояло условие, что n-обязательно простое, то тогда бы это было верно.