Ако е само едно изречение - съгласен съм.
Но ако ти се налага за много променливи или многочлени да пишеш, че се делят или не се делят на други променливи или многочлени, повдигнати на различни степени - би било по-добре да има някакво съкратено записване.
Например:

"div_a_b=1" - b се дели на а, но не се дели на а^2;
"div_a_b>=1" - b се дели на а, но може да се дели и на а^2 (дели се поне на а^1);
"div_a_b=0" - b не се дели на а;
"div_a_b=div_a_c" - b и с се делят на а, повдигнато на една и съща степен,

и т.н.

В горните изрази имам предвид "а" да се записва като индекс, но тук нямам възможност да го напиша по този начин.
Това е само един пример.