Add support for MathSATs "divisible" operator