mpz_divisible_p  2550 lib/mini-gmp.c   res = mpz_divisible_p (t, m);
mpz_divisible_p   182 lib/mini-gmp.h int mpz_divisible_p (const mpz_t, const mpz_t);