(defun primep (l)
(labels ((fact (m &optional (n 1))
(if (zerop m)
n
(fact (1- m) (* m n)))))
(zerop (mod (1+ (fact (1- l))) l))))

(loop for x from 1 to 10000
unless (primep x)
sum x)