###
Lattice-ordered Groups Inequations Quiz

The randomly generated
(in)equations below are in the language of l-groups. Specifically,
the language used here has
- constant symbols:
- binary operation symbols:
- binary predicate symbols:

The variables in capital letters are the inverses of the corresponding
lower case letters.
####
Decide if the following inequations are true in all
lattice-ordered groups.