Pergunta de entrevista da empresa Atria Logic

How to wright constraint for division of two without using modulus?