我觉得翻译的有问题应该改为

$j$ $mod$ $a_i$ $= 0$

$a_j$ $mod$ $i$ $= 0$

不然连样例都过不去。