GATE 2017CSE C PROGRAM| Which condition ensure that loop terminate in a state satisfying x==(y*q+r)?

For any queries feel free to comment or direct message on Instagram
Instagram - https://www.instagram.com/jatingupta5jan/
Consider the C program fragment below which is meant to divide x by y using repeated subtractions. The variables x, y, q and r are all unsigned int.
Which of the following conditions on the variables x, y, q and r before the execution of the fragment will ensure that the loop terminates in a state satisfying the condition x == (y*q + r)?
Playlist link -
C programming - https://www.youtube.com/playlist?list=PLnEHtQ3-a5paHibY82nRWmWOEfYYVXFZ4
Time Complexity - https://www.youtube.com/playlist?list=PLnEHtQ3-a5pY3k4u754YJ_NWMe_6ITHHX
Data structure - https://www.youtube.com/playlist?list=PLnEHtQ3-a5pawoiSjUXy25JLpI0k4zQ2l
Algorithms - https://www.youtube.com/playlist?list=PLnEHtQ3-a5pYgXnLQ5qN_xKA_vSGQbGr9
Binary tree - https://youtube.com/playlist?list=PLnEHtQ3-a5pYbHh6LzdBGKAKPJCLl_t5z
Linked List - https://youtube.com/playlist?list=PLnEHtQ3-a5pYM_kmRl5bwk4CevYJtqQba

2017CSEPROGRAM|Which