5> even_prime:is_even_prime(seven).