(define (double x) (+ x x))

(every even? (every double '(1 2 3 4)))