Symbol: check_divisors