Reduzindo as fracções ao mesmo denominador, basta-nos comparar os numeradores.
(defun >racional (r1 r2) (> (* (numerador r1) (denominador r2)) (* (numerador r2) (denominador r1))))