Проверить что 2 числа не равны друг другу

(/= 5 3)
; T
(/= 5 (+ 2 3))
; NIL