If a question is tagged greatest-common-divisor, is it better to add divisibility too? It's a bit cumbersome to always add divisibility so I wanted to hear some opinions.

Ok, I found an answer here: Tagging: Choose the most tags that fit, or choose the most narrow tag?.

Seems reasonable to add the most specific tags and add more general tags if there's room left for them.