Fix unsatisfiable constraints in divison test