Logic Equations 7x7 - #18 - Brainzilla

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 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

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

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

5