12) - (-1)/m. Solve 2*h - 22 = w*g, -g - g = 2*h + 2 for h.
3
Suppose 2 = -l - 3. Let g = 7 + l. Solve -2*n + g*f - f = -2, 5*f + 2 = 2*n for n.
1
Suppose -8 - 4 = -3*y. Suppose -4*s + 8 + 9 = -3*n, -5*n - 25 = -5*s. Suppose -6 - s = -y*r. Solve r*z - 4*c - 18 = 0, 2*c = -c - 9 for z.
3
Let h be (-37)/(-7) - (-4)/(-14). Suppose -h*b = 5*k - 15 - 10, 0 = 2*k + 3*b - 15. Suppose k = 2*i - 8 - 10. Solve -4*m + 0*m = v - i, 0 = -m + 1 for v.
5
Let x = 8 - 4. Suppose 3*o - 2 = 3*f - 20, 4*o = -f - x. Solve -4*c - 6 = -f*y + 6, 2*c + 2 = 0 for y.
2
Suppose -2*y + 13 = -0*y + 3*t, -3*y + 5*t - 9 = 0. Suppose -2*v + y*w = -w - 21, v + 2*w = 14. Suppose 8 = 5*u - v. Solve 5*a = -2*r + 9, -2*r = -u - 0 for a.
1
Suppose -2*u + p - 9 - 26 = 0, 0 = 4*p - 12. Let s be 4/(-6) + u/(-6). Solve -s*j - 4*n + 2 = -0*j, 2*n - 11 = j for j.
-5
Suppose x = -3*w, x - w + 1 - 5 = 0. Solve 16 + 3 = x*m - 5*f, 0 = -4*m + 2*f + 16 for m.
3
Suppose -4*g + 5*t = -4 - 7, 0 = g - t - 3. Solve 7*b - 3*b + 4*r = -16, 5*b - g = r for b.
0
Suppose 2*f + 3 = 11. Suppose -4*r + 11 + 1 = 0. Let a = 169 - 167. Solve a*d + 4*w = -6, -3 + 2 = f*d - r*w for d.
-1
Let g(s) = 11*s**2 - s. Let a be g(2). Suppose -4*i = -f + 7 + a, -3*f - i = -82. Let l = 8 - 3. Solve -5*h + 5 = l*r, 3*h = 3*r + 2*r - f for r.
4
Let j be (-8 + 8)/((-1 - -1) + -2). Solve 0 = -2*z - f - 3*f + 12, j = -4*z + f + 6 for z.
2
Let c = -13 + 39. Suppose 0 = -5*a + 3*i + 1, 3*a - 2*i = -4*i + 12. Solve -3*k = 5*x + c, -x - 3*x = -a*k + 12 for x.
-4
Suppose -5*m = -3 - 2. Suppose -3*p + 0*p = -15. Let c be m/p + (-1)/5. Solve -5 = s, 5*s + 9 = 4*o - c*s for o.
-4
Suppose 0 = -3*z - 33 + 3. Let c(f) = f**3 + 11*f**2 + 10*f. Let a be c(z). Solve h - 6 = 4*w + 2, a = 2*h - w + 5 for h.
-4
Let m be 2 - 4 - -1*7. Let c = 4 + -1. Let f = m - c. Solve f*n = -0*u - 3*u + 2, 2*u = 0 for n.
1
Let x = 12 - 16. Let d = 8 + x. Solve 0 = -c - 2*c - d*f, c + f = 1 for c.
4
Let t(s) = s**2 + s - 9. Let p be t(-4). Suppose 0 = -0*g - g + p. Solve 3*x + g = 0, -2*x - 2*x + 6 = 2*d for d.
5
Let z(q) = -q**3 - 2*q**2 + 12. Let r be z(0). Let j = r + -7. Solve 5*l + 5 = y + 21, -j*y + 3*l = 14 for y.
-1
Suppose 0 = 3*m + m - 12. Solve 4*k - 14 = -i + m*i, 4*i - 4*k + 20 = 0 for i.
-3
Let k be (-2*1)/((-4)/6). Suppose -k*f = -0*f - 15. Solve -3*r + 2*y = -18, 2*y = -f*r - y + 11 for r.
4
Suppose 3*c - 3 = 2*c. Let m = c - 6. Let l(d) = -d**2 - 3*d + 1. Let n be l(m). Solve 0 = r - 3*a - n, 0*r - 5*a - 11 = -4*r for r.
4
Let y be ((-1)/2 + 0)*-4. Suppose -4*x + 3*m = -20, 0 = 4*x + x + 2*m - 2. Suppose y*b = -x*b. Solve 3*k + 4*o = 9, b = -5*k + 3*o - 14 for k.
-1
Suppose 3*i + 12 = i. Let d be (-20)/7*21/i. Solve -b + 5*b = -5*h + 3, -4*b + d = -2*h for b.
2
Let r be (5/(-2))/(2/(-4)). Solve 0 = 3*g - d, -g + 0*d = -r*d for g.
0
Suppose -30 = -0*l + 2*l. Let o = l - -18. Solve 2 = -j - 1, -2*i = -j - o for i.
0
Suppose 5*w = -4*t + 11, -3*t - t + 20 = -4*w. Let l = 4 - w. Solve -20 = -5*z + l*n, 5*z + 5*n = 3 - 23 for z.
0
Suppose 4*w + 3*w = w. Suppose -o - 5*s = o + 12, 4*o = -3*s + 4. Suppose w = o*v - 0*v - 16. Solve 0 = -2*f + 2*p + 8, 0*p = -f - v*p + 9 for f.
5
Let b = 16 + -13. Solve -b*i = u - 9, 0*i = 4*u + 3*i for u.
-3
Let d = 55 + -35. Suppose 5*f - d = 4*j + 17, 3*f - 3 = -4*j. Let y = f - 1. Solve 0*s + 19 = 5*s + 2*i, y*s = -3*i + 18 for s.
3
Let u(y) = y**2 - 3*y + 4. Let f be u(4). Let c(x) = -x**2 + 8*x + 1. Let s be c(f). Solve -5*d + 5 = 2*r, 4*r - 3 = -4*d + s for d.
1
Let k be (-6)/(-8) + 5/4. Solve -6*q - 35 = -2*q + 3*v, 25 = -k*q - 3*v for q.
-5
Suppose 10 + 16 = 2*g + 4*c, -4*c + 36 = 4*g. Suppose -g*z + 21 = -4*z. Solve 4*l - z = -5*v, 5*l - 15 = v + 4*v for v.
1
Let r be -6 + 8 - ((-1 - -3) + -2). Solve 12 = -a - r*a, -5*a = -v + 22 for v.
2
Suppose 6 = 5*k + 4*t - 36, -3*t + 9 = 0. Suppose -2*z + 2*w = k, w = 2*z - 2 + 4. Let d = -3 + 5. Solve 2*q + i = -z + 6, d*i = -2*q + 4 for q.
3
Let b(o) = o**2 - 3*o - 1. Let c(a) = a**2 - a - 8. Let y be c(4). Let n be b(y). Solve -6*j + 3*j - 3*k = 0, -n*j + 35 = -4*k for j.
5
Suppose 0 = 4*r - 22 + 6. Let f(n) = 5 - r + 2*n + 0. Let k be f(1). Solve 0 = m + 2*a + k, -4*m = 2*a - 6 - 0 for m.
3
Suppose 21*x = 24*x - 6. Solve x*j = -3*j + 3*q + 10, -3*j + 3*q = 0 for j.
5
Suppose 11*k + 14 - 14 = 0. Solve k*a + 3*a + 3 = -5*n, -4*a = 2*n - 10 for a.
4
Let o(p) = -p**3 - 6*p**2 - p - 6. Let y be o(-6). Solve -m = -4*u, y = -u - u + 2 for m.
4
Suppose 2*z + 2*z - 24 = 4*g, 0 = 5*z + 3*g + 10. Solve -3*o + 3 = 0, 5*o - 8 = -a - z for a.
2
Let j = 20 - 18. Solve -4*t + 3*t = 2, -3*z + 2*t = j for z.
-2
Let c be (-6)/(2 + -6 + 2). Let u(v) = v**2 + 4*v + 3. Let z be u(-3). Solve z = c*q - 2*r + 23, 5*r - 10 = -2*q - 0*q for q.
-5
Suppose -4*h + 0*h + 20 = 0. Suppose 0 = g - h*l - 3, -g + l + 3 = 5*l. Let x = -6 + 10. Solve 4*i = -g*z + 2*i + 12, 5*i = -x*z + 16 for z.
4
Let i be (-1)/(21/(-6) + 3). Suppose -5*p - i*v + 19 = 5, 6 = -2*v. Solve -3*b - 31 = 5*z, -2*z - 14 = -p*b + 6*b for z.
-5
Suppose -3*z + 45 = 3. Let x = z - 9. Suppose -2*h - 98 = -x*f, -h + 4*h - 3 = 0. Solve 0 = 2*m + 5*l + f, 3*m + 3*l - 4 = 4*l for m.
0
Let l = 30 - 18. Solve 3*r + 8 = -2*g, -8*r = 2*g - 4*r + l for g.
2
Let h = -15 - -21. Solve o + 1 = -q + 2*q, -2*o + 3*q = h for o.
3
Let k(a) = 5*a + 29. Let f be k(-5). Suppose 5 = -5*j + 30. Solve 3*t - j = -u - 0*u, 10 = -2*u + f*t for u.
-1
Let g = 5 - 2. Let t(d) = -2*d + 1. Let a be t(-1). Solve -a*x - 2*z = -z - g, 5*z = -5*x + 5 for x.
1
Let c = -40 - -42. Solve -3*j + 1 = -0*t + 5*t, -3*j + c = 4*t for t.
-1
Let p(l) = -2*l**2 + 7*l + 1. Let y be p(3). Solve -2*a = v - a - y, -v - 2*a = -4 for v.
4
Suppose 6*a = 4*a - 16. Let u = -3 - a. Solve -2*t + 19 = 4*y + u, -3*t + 13 = 2*y for y.
2
Let t(j) = -2*j - 44. Let m be t(-25). Solve 0 = q + 2*k - 2, 2*q + q - m = -3*k for q.
2
Let h be (12/9)/((-3)/9). Let n be ((-12)/4)/((-6)/h). Let v = 7 + n. Solve -4*a + 3*y + 17 + 4 = 0, v*a = -y + 12 for a.
3
Let z = 50 - 30. Suppose 0 = -5*g - 0*g + z. Solve 3*q - 1 = g*a, 5*a + 4*q + 0 = -40 for a.
-4
Suppose 5*k + 42 = w, -5*k = w + w + 36. Let j(q) = q**3 + 7*q**2 - 9*q - 8. Let g be j(k). Solve g*o = -2*t - o + 12, 5*t = -2*o + 29 for t.
5
Let r = 53 + -42. Let m = -23 - -12. Let x = r + m. Solve -4*o + 5*y + 33 = 0, x*o - 4*o + 13 = -y for o.
2
Let p be (1/(-3))/((-7)/126). Let r = 10 - p. Solve -2*c = k - 5, -5*c - r = -0*c - 3*k for c.
1
Let a(k) = k**3 - 9*k**2 - 10*k + 2. Suppose 0 = 2*q - 0*q - 20. Let l be a(q). Solve 0 = -f + 2*t - 11, -2*f + l*t = 9 + 5 for f.
-3
Let g be 1/((-285)/(-72) - 4). Let d = 24 + g. Solve d = 2*s - a, 3*s + 9 = -3*a - 0 for s.
-1
Suppose -20 = -6*b + b. Suppose 5*g - 2*t = 5 + 15, 0 = -2*t. Suppose 3*v - 47 = g*k, -4*v = 3*k + 2*k - 104. Solve -3*o = -3*q + 18 - 6, b*q + o = v for q.
5
Let i(r) = -r**3 + 5*r**2 - 8*r + 16. Let w be i(3). Solve 0 = -6*h + h - 5*m - w, 0 = -3*m + 6 for h.
-4
Suppose -10 + 1 = -3*i + p, -4*i + 4*p + 20 = 0. Solve 0 = 2*n - i, y + 4*n = 3*y + 8 for y.
-2
Suppose -n = -5*w + 2*w + 10, 0 = 4*n + 16. Suppose z - 4*y = -w*z - 2, 8 = 4*y. Suppose -z*c + 0*c = -10. Solve -2*h - 2*r = r, -c*r = 5*h for h.
0
Let u be (-8 + -1)*2/(-6). Solve 0 = -u*o + 12, 5*o + 0*o - 24 = -2*s for s.
2
Let i = 7 + 9. Suppose w - i = -3*w. Let l = 7 + -7. Solve -w*j = 5*x + 28, -2*x - 2 = -3*j - l for x.
-4
Let o = -7 + 12. Let k = 54 - 33. Solve -5*x - 3 = -3*w, 3*x + o*w + k = 2*w for x.
-3
Suppose 0 = y - 1 - 1. Solve 2*l = -4 - 6, -3*f = -y*l - 13 for f.
1
Let b be -2 + (-16)/(-4) + 0. Solve -2*u = -2*a - 4*u + 8, b*a - u = -4 for a.
0
Let x be (-6 - -3)/((-12)/8). Solve 4 + x = 3*b - 3*n, -3*b - 4*n = 8 for b.
0
Let f = 6 + 13. Solve 5*x + 4 = 4*x - o, 0 = 5*x + 4*o + f for x.
-3
Suppose -4*p = -2*y + 2, 0*p + 7 = y + 4*p. Solve 0 = -y*s - 5*t + 9, -5*s = -0*t - t - 15 for s.
3
Suppose 4*r + 29 - 41 = 0. Solve r*y + 16 = -3*x + y, 3*x = -4*y - 26 for x.
-2
Suppose 15*y - 9*y = 270. Let w be (-1*(-10)/2)/1. Solve -5*g + y = -w*a - g, 2*g = -3*a - 5 for a.
-5
Suppose -2*r + 32 = -4*f, 12 + 0 = 3*r. Let x = 18 + -27. Let k = f - x. Solve -3*m - s - 14 = 0, -k*m + s - 10 = 6 for m.
-5
Let i = -42 - -47. Solve i*t + 33 = -2*c, -5*c + 0 - 5 = -3*t for c.
-4
Let v = 7 + -4. Suppose o - 14 = 3*p, 3*o - v*