ако x и y са положителни числа и x  5 y + 7 , какъв е остатъкът, когато x е разделено на 5 ?
"този въпрос пита какво е . . . ( отговора ) , така че ние знаем, че отговорът ще бъде последователен . като такъв , ние можем да тестваме стойности за бързо получаване на решението . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
divide(add(7, const_1), 5)