Программа по факту выводит результат целочисленного деления b на 4. 64/4=16. Там нужно 16 раз отнять 4, чтобы получить x=0. на 17 раз х<0. получается: 17*1-1=16. Если проверять 63, то после 16 отниманий "4", мы уже получим отрицательное число, значит, 16*1-1=15