### How to play

• The variables represents unique integers ranging from 1 to the number of variables;
• Multiplication is implicit: `AB` means `A` times `B`, or `A * B`;
• Based on the clues (equations and inequations), use the grid to create relations between variables and values:
• Click once on a square to mark that value as false;
• Click twice to assign the chosen value to the variable;
• Click three times to clear the square.
• The color of a clue changes after you assign values to all of its variables:
• GREEN means that the statement is true;
• RED means that the statement is false.
• Click on a clue to mark it as used;
• The game ends when all values are correctly assigned to the variables.

### Tips

• Figuring out which variables can't have the lowest or the highest values is a good starting point, e.g, `A > B` shows that `A ≠ 1`;
• Analyzing the hypothetical equation `C + D = 4`, we can make the following statements:
• `C = 1` and `D = 3` OR `C = 3` and `D = 1`;
• No other variable can be 1 or 3 (see Naked Pairs in our Sudoku Guide).
• Another quick tip: `A = 2B` means that `A` is even;
• Don't be afraid of using pen and paper. Some puzzles might require it.

### More 5x5 puzzles

• B + C + D = 8
• C + E = 3
• B + C = 5

• A + D = 5
• B + D = 8
• B + C = 9

• if C > 1 then A > 3
• if B + E ≤ 3 then A + D ≤ 6
• if A ≥ 1 then E ≥ 2
• if A + E ≤ 9 then B + D ≤ 4
• if B + D ≤ 3 then A + E ≤ 6
• if D + E ≤ 5 then B ≥ 4
• if C ≠ 1 then B + E ≤ 6
• if C + D ≤ 5 then B + E ≤ 5