(defun eucgcd (m n)
  (let ((p (abs m)) (q (abs n)))
    (cond ((= m n) m)
    (t (gcd (- (max m n) (min m n)) (min m n))))))

(defun coprimep (m n)
  (= (eucgcd m n) 1))