(mystery 20 3) returns 2. In general, (mystery x y) computes the remainder of x upon division by y.