GISC exercise 8.24 and 8.26: if-condition in result-form of cond not working as expected

Question

Exercise 8.24 and 8.26 of David Touretzky\'s "A Gentle Introduction to Symbolic Computation" state:

8.24: Write COUNT-DOWN, a function that counts down from