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:
  • 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 7x7 puzzles

  • if C < 5 then A > 7
  • if A + E ≤ 12 then D ≤ 4
  • if A ≤ 4 then E + F ≤ 9
  • if G ≥ 4 then C < 5
  • if F < 4 then E ≤ 5
  • if G ≤ 2 then D ≠ 1
  • if C + D ≤ 10 then A + F ≤ 4
  • if C ≠ 4 then A ≥ 2
  • if G ≥ 1 then F ≤ 2
  • if E + F ≤ 11 then A < 3
  • if A + G ≤ 7 then B ≠ 6

Solve

  • if F < 6 then D > 4
  • if F ≤ 4 then E + G ≤ 3
  • if B < 7 then C + D ≤ 3
  • if A ≠ 2 then D < 3
  • if C ≤ 6 then B + G ≤ 7
  • if E + G ≤ 8 then A ≤ 5
  • if D ≤ 1 then B + E ≤ 7
  • if G ≠ 4 then C + F ≤ 4
  • if D ≤ 4 then E ≠ 6
  • if C + D ≤ 5 then F ≤ 6
  • if D < 3 then A > 5

Solve

  • D + E ≤ 3 if and only if F ≤ 2
  • E + G ≤ 8 if and only if C < 1
  • D + F ≤ 12 if and only if B < 6
  • B + D ≤ 9 if and only if C + G ≤ 12
  • G ≠ 3 if and only if B < 6
  • B + D ≤ 9 if and only if A + F ≤ 12
  • D + E ≤ 6 if and only if B ≠ 7
  • A > 1 if and only if B > 4
  • C ≠ 4 if and only if F ≤ 4
  • C ≤ 7 if and only if A > 2
  • E < 3 if and only if B ≥ 2
  • F < 4 if and only if C < 1

Solve

More games

Greek Logic
Greek Logic

Fill the grid using the Greek letters.

Kyudoku
Kyudoku

Choose nine unique number using one simple rule.

Self-Referential Quiz
Self-Referential Quiz

Quizzes where you only need logic to solve them.

Sudoku
Sudoku

Play the classic japanese logic game.