Также обратите внимание, что не только делает:
(and (equals? var1 var2) (equals? var3 var4))
работа, но также:
(and (equals? var1 var2) (equals? var3 var4) (equals? var5 var6))
против
(and (and (equals? var1 var2) (equals? var3 var4)) (equals? var5 var6))
(и ...) и (или ...) принимают любое количество аргументов.