=0; $gmp_i=gmp_add($gmp_i, gmp_init(1)) ) { if ( gmp_cmp(gmp_div_r($gmp_number,$gmp_i),gmp_init(0)) == 0 ) { return FALSE; } } return TRUE; }