Собственно задание звучит  вот так 
"Функция, имеющая один аргумент-список и возвращающая квадрат первого элемента этого списка, если этот элемент является числом, и 3-й элемент списка в противном случае."

Что то не могу сообразить как это будет выглядеть;

Да вот еще один маленький вопрос что бы не плодить темы, есть задание:
В данном упражнении требуется получить списки справа от стрелки с помощью суперпозиции функций LIST, APPEND, CONS, CAR, CDR. Аргументами функций могут быть лишь s-выражения, указанные слева от стрелки. 

Пример:    (A B); C; D =>(A B (C D))
Решение:    (APPEND '(A B) (LIST (LIST ‘C ‘D)))

(A); (B); (C D)    =>(A (B C) D)
Сделал его вот так 
(append '(a) (list(list(car '(b))(car '(c d))))(cdr '(c d)))
собственно вопрос в том можно ли обойтись без повторов(2 раза (с d)), и если да то как 

Составители задания упустили из виду, что список <также> может состоять из одного или двух элементов.

как вариант: