Fixes in IsDivisibleBy function