Let r = 12 + -12. Solve -2*i = -r*i + 2 for i.

Let r be (-83)/(-5) + 12/(-20). Suppose 4*n = -t + r, 2*t + 4*n - 27 = -11. Solve t = -0*i + 2*i - 2 for i.

1

Suppose 0 = 2*s - 2 - 6. Suppose 10 = -s*f + 6*f. Suppose 0 = -3*w - 7 + 16. Solve w*t = -2*t - f for t.

-1

Let c be 20/(-6)*21/(-14). Suppose 7*m - 11*m + 12 = 0. Solve -4*h - c = m for h.

-2

Suppose -2*m - m + 3 = 0, 5*u - 4*m = 11. Suppose 2*g - 6*g + 12 = 0. Suppose -4 - 5 = -3*f - g*c, -17 = -5*f - u*c. Solve -17 = -f*l - 5 for l.

3

Let x = -4 + 3. Let z = x + 5. Suppose z*b = 7 - 3. Solve -11 = -2*d - b for d.

5

Let x be -3*(-3)/9 + -3. Let d = -3 + x. Let k be 10/((-1 - d)/2). Solve -3*w = -k*w - 6 for w.

-3

Suppose 0 = 10*z - 6*z - 16. Solve 0 = -z*a + 2*a + 6 for a.

3

Suppose 4*n = -n + 20. Let l(a) = a3 + 3*a2 + 2*a + 3. Let z be l(-2). Suppose i + z = 2*i. Solve 5*g - n = i*g for g.

2

Suppose -q = 3*m + 3, 0*q - 9 = -5*q - 3*m. Solve -f - q = 2*f for f.

-1

Let i = -8 - 8. Let d be (-4)/i + (-92)/(-16). Solve 0 = 3*l - d*l + 12 for l.

4