Lattice-ordered Groups Inequations Quiz

The randomly generated (in)equations below are in the language of l-groups. Specifically, the language used here has 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.

Click here to

Click here to get a