Check for div and mod when using MathSAT