Создания из двух список одного. Другой вариант

INSOMNIA> (read-from-string
           (format () "(~{~A~^ + ~})" 
                   (map 'list #'/ '(1 2 3 4) '(5 6 7 8))))
(1/5 + 1/3 + 3/7 + 1/2)

(defun F (a b)
    (mapcar #'(lambda (x y) (implode (list x '/ y))) a b))
 
(f '(1 2 3) '(4 5 6)) ==> (1/4 2/5 1/2)

(defun task (s1 s2)
  (cond ((null (cdr s2)) (cons (/ (car s1) (car s2)) nil))
        (t (cons (/ (car s1) (car s2)) (cons '+ (task (cdr s1) (cdr s2)))))))
 
==> task
 
(task '(1 2 3 4) '(4 5 6 7))
 
==> (1/4 + 2/5 + 1/2 + 4/7)

(defun task (s1 s2)
  (cond ((null (cdr s2)) (cons (/ (car s1) (car s2)) nil)) ;; если списки сейчас кончатся - вернем список (n1/n2)
        (t (cons (/ (car s1) (car s2)) (cons '+ (task (cdr s1) (cdr s2))))))) ;; приделаем "n1/n2 +" к рекурсивному вызову на остатке списков

(defun F (l lst)
    (butlast (mapcan #'(lambda (x y) (cons (implode (list x '/ y)) (list '+))) l lst)))
    
(f '(1 2 3 4 5) '(6 7 8 9 10)) ==> (1/6 + 2/7 + 3/8 + 4/9 + 1/2)

(defun sum-/ (w v)
  (reduce #'+ (mapcar #'/ w v)))
 
> (sum-/ '(1 2 3 4) '(4 5 6 7))
241/140
> (reduce #'+ '(1/4 2/5 3/6 4/7))
241/140

(defun sum-/ (w v)
  (butlast (mapcan #'(lambda (a b) (list (/ a b) '+)) w v)))
 
> (sum-/ '(1 2 3 4) '(4 5 6 7))
(1/4 + 2/5 + 1/2 + 4/7)

(defun sum-/ (w v)
  (butlast (mapcan #'(lambda (a b) `(,(/ a b) +)) w v)))
 
> (sum-/ '(1 2 3 4) '(4 5 6 7))
(1/4 + 2/5 + 1/2 + 4/7)

(defun sum-/ (w v)
  (butlast (loop for a in w
                 for b in v
                 nconc (list (/ a b) '+))))
 
> (sum-/ '(1 2 3 4) '(4 5 6 7))
(1/4 + 2/5 + 1/2 + 4/7)