Also irgendwie ist mir der Unterschied zwischen den beiden gleichheitsprädikaten noch nicht ganz klar.
Bei allen tests die ich gemacht habe, wurde mir bei beiden das gleiche Ergebnis geliefert.
Hat jemand ein Beispiel, bei dem eq? zu #f evaluiert und eqv? zu #t?

Stimmt, die Beispiele aus dem Script (S. 129) liefern bei DrScheme 372 immer dasselbe statt die im Skript abgedruckten Unterschiede [26].

(define num1 12345678901234567890) (define num2 12345678901234567890) (eq? num1 num2) => #f (eqv? num1 num2) => #t
Siehe auch R5RS und Wikipedia.