With the semicolons replaced with commas, my module yields

   lambda x: (x <= 0) or (1 <= x <= 5) or (7 < x < 9) or (11 <= x))

Btw, it is currently a little bit too liberal; some (very queer)
expressions yield wrong results. I'll apply a few changes to decrease
complexity and submit a new version.