20. (D) Here is a trace of the values of x and y during execution. Note that the condition (y % x == 1) is never true in this example. The while loop terminates when x is 4 since the test while (x > 5) fails.