ensure that NUMERATOR is not divisible by DENOMINATOR, fix #160476

alternatively a hint can explain that you can't divide by (CONSTANT1*X+CONSTANT2) without adding 'for X =/= -CONSTANT2/CONSTANT1'