(define (p= a b)
  (cond
    ((and (number? a)(number? b)) (= a b))
    ((and (list? a)(list? b)) (equal? a b))
    (#t #f)))

(define (variable-compare a b)
  (cond
    ((and (string? a)(string? b)) (<? a b))
    (#t #f)))