Sollicitatievraag bij Atria Logic

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