% Exercise a
sec15([X|_]) :-
    X > 5.

% Exercise b
avg12([X, Y|_], A) :-
    A is (X + Y) / 2.