combining several lambda equations

[Paddy McCarthy]

Hi,
I am trying to use eval as little as possible but solve this problem.

#If given:two or more lambda equations
x=lambda : A < B
y=lambda : C+6 >= 7
...

How do I create another lambda expression Z equivalent to 

Z=lambda : (A<B) and (C+6>=7)

# i.e. the anding together of the originals, but without referencing 
# globals x and y as they are artificial in that I will start of with 
# probably a list of lambda equations.

Your help would be appreciated.
Thanks, Paddy.