Atria Logic interview question

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