= -3*d + 6. Solve g*y = -2*i + 16, -i + c = -3*y + 2 for i.
4
Let i = 6 + -8. Let k be (-1 - i)*12/3. Solve 3*t = 5*u + 35, 0*t - 20 = -k*t for u.
-4
Suppose -3*q + 13 - 1 = -j, -3*q = -2*j - 12. Suppose 0 = 3*k - 5 - q. Solve -6*o + k*w + 1 = -4*o, 2*w + 5 = -3*o for o.
-1
Let m be 6 + (-6)/15*-5. Solve -i - c - 11 = 4*i, 2*c + m = -3*i for i.
-2
Let o = 20 + -8. Let p be ((-6)/8)/(1/(-4)). Suppose 2*x + 4*c = 8, -x - p*c = x - 7. Solve 2*b - x*r = o, r + 9 = b - 3*r for b.
5
Suppose w - 2*w + 2 = 0. Suppose -w*c + 23 = 5. Solve -2*m - f + c = 0, 2*m = 2*f - 5 - 1 for m.
2
Suppose -2*q + 2*r = -18, 2*q + 4*r + r = -17. Solve -2*n - 3*l = -12, -3*l + 8*l = q*n + 20 for n.
0
Suppose 0*t + 34 = 4*s + t, -t = 2. Solve -3*r + 3*v - 17 = -4*r, 0 = -2*r - v + s for r.
2
Let c(w) = w**2 - w + 22. Let k be c(0). Let d be 7*(-1 + k/14). Let o be (-37)/(-7) + 8/(-28). Solve -o*l = -s + 6*s - 40, -d = l - 3*s for l.
5
Suppose -5*d + 25 = 0, -4*p + 4*d = d + 7. Solve -4*b = 2*z + 12, p*b + 2*z - 2 = -z for b.
-5
Let h be 1/(3/(-1 - -43)). Solve 3*o = 3, -4*b - o - h = o for b.
-4
Suppose 2*j - 19 = -3. Suppose 26 = 3*z + 5*d, z - 3*d = -j*d + 22. Solve 2*v - 2 = -z*f + v, 0 = v - 2 for f.
0
Let w be (8/(-6))/(28/(-21)). Solve z + 4 = 4*x - 0*z, x + 3*z - w = 0 for x.
1
Suppose 2*t - 4 = 2. Solve -t*v + 2*o + 0 - 8 = 0, 2*v + 5*o = -18 for v.
-4
Suppose -4*v + 15 = v. Suppose -4*d - 4*n + 28 = 0, -d + 2*d + 8 = 4*n. Solve -d*f = -0*r - v*r + 10, -4*f - 5*r + 6 = 0 for f.
-1
Let o = -18 + 36. Solve 3*f + 2*b = -f - 6, -2*f - o = -2*b for f.
-4
Suppose 2 + 0 = 2*i. Let l be 0/((-3)/(-3) + i). Let k(v) = v**3 + 8. Let f be k(l). Solve 0 = 2*m - p - 2*p - 21, -p - f = -m for m.
3
Suppose 5*f = -2*o + o, -5*o + 23 = 2*f. Let k be f/(-2) + (-21)/(-6). Solve 5 = -k*p - 5*b - 6, 2*p - 5*b - 17 = 0 for p.
1
Let q(n) = n + 6. Let d be q(-5). Let j be 5 - ((-2)/d + 2). Let c = -8 - -34. Solve -8 = 3*k + 4*i, i = j*k + 1 - c for k.
4
Let r(h) = -h**3 + 2*h**2 + 3*h - 1. Let i(y) = 2*y**2 + y - 2. Let f be i(2). Let l = -6 + f. Let z be r(l). Solve n = b - 4, -5*n - z*b + 27 = -3*n for n.
1
Suppose -2*c + 4*j = 24, -4*c - 18 = 2*j - 0*j. Let t be 3/5 + c/(-15). Suppose 3*m - 20 = t. Solve 3*h - 16 = z, m = 3*h - h + 3*z for h.
5
Let t = 4 - -1. Suppose 0 = -t*q - 1 + 16. Solve 0 = 2*g - 2*f - 1 + 3, 0 = -2*g - 3*f + q for g.
0
Let u be (1/(-3))/((-9)/243). Solve -3*z = -4*v + 23 - u, -5*v + 15 = -5*z for v.
5
Let t(v) = -v**2 + 6*v - 5. Let w be t(5). Suppose 11 = 2*a - 4*m + m, w = 4*a - m - 37. Solve -p - 2*n - 3 = 0, 5*n - a = 2*p + 5 for p.
-5
Let b be -3*(-8)/(-12) - -2. Solve x + t = -4*t - 29, -2*t - 10 = b for x.
-4
Let j = -1 + 7. Suppose -j = -4*c + 10. Solve -3*q + c*p = -27, -7 = 3*p + 2 for q.
5
Suppose 2*n = 2 - 0. Suppose -5*u - n + 21 = 0. Solve -8 = 4*f - 4*s, -3*f - 9 = -u*s + 2 for f.
3
Let j = 6 + -14. Let l(g) = -g**3 - 9*g**2 - 11*g - 1. Let t be l(j). Solve -s + 2 = 2*r - 0*r, 3*r + t = 5*s for s.
4
Let d be ((-6)/(-18))/((-1)/(-24)). Solve -3*t - 5*v + 14 = 0, -2*t - 3*v + d = -0*t for t.
-2
Let l(u) = 17*u**2 - 1. Let b be l(1). Suppose -3*n = -8 + 2. Let d be -1*(-1 + n) + 7. Solve 4*m - b = 4*s, -2*s + 20 = -m + d*m for m.
4
Let q be 171/36 - (-6)/(-8). Suppose 2*k + k - x = 8, 6 = -k - q*x. Solve -16 = 3*f - 5*d, 4*f = k*f + 5*d - 14 for f.
-2
Let z = 3 - 1. Suppose -6*u + 40 = -z*u. Solve -4*a - 2*n + u = 0, 3*a - 3*n = -5*n + 8 for a.
2
Let f(r) = -r**2 + 11*r - 10. Let h be f(8). Let d = h + -6. Suppose -m + d = m. Solve -3*i = 2*c + m, -2*c - 1 = i + 3 for i.
0
Let w(c) = 3*c + 2. Let g be w(-2). Let d = g - -6. Solve -4*m + 2*h = -3*m + 2, 0 = -3*m + d*h + 2 for m.
2
Let d be 0*(-3 + 4/1). Solve -4*v + 6 = -3*r, -3*v + d*r + 1 = -4*r for v.
3
Suppose -8 = v - 29. Suppose -f - v = -4*f. Suppose 0 = -9*r - 7 + 25. Solve 0 = -3*s + f*s + r*k, 2*k - 1 = -5*s for s.
1
Let x(s) = s - 7. Let d be x(6). Let c = 3 + d. Let l be -2 - -6 - (-1 + 0). Solve -c*u - 2*o - 9 = u, -15 = l*o for u.
-1
Let r(j) = -j + 9. Let n be r(4). Let q be (-6)/(-15) + 53/n. Solve -z - q = 3*p - 0*z, -17 = 4*p - z for p.
-4
Let r(l) = 6*l - 2. Let z be r(2). Let k(u) = u + 5. Let m be k(-5). Suppose m = -5*c + c + 8. Solve 0 = -c*i - 4*h + z, -4*i - 6*h + 10 = -3*h for i.
1
Suppose 3*p - 8*p + 2*y + 35 = 0, 0 = 4*p - 3*y - 35. Solve -2*l - t + 2 = 0, -t = -3*l - 3*t + p for l.
-1
Let f = 6 + -4. Suppose f*k = 3*w - 11, 7*k + 17 = 3*k + 5*w. Suppose 3*p - 3*o - 4 = k, -5*o = -p - 2. Solve p*r + 2*r - 5 = 5*h, 0 = 3*h + 3*r - 9 for h.
1
Let n = 143 + -137. Solve -3*b - 2*w - 22 = -7*b, 2*w = -3*b + n for b.
4
Let l(u) = -5*u - 4. Let b be l(-3). Let q(i) = b + 6*i + i**2 + i - 3. Let j be q(-7). Solve 5*h = -x, j*h = 5*h - 3*x for h.
0
Suppose 5*n - 3*z - 18 = -2*z, 3*n + 4*z = -3. Let t be (-2)/((-7)/(105/(-6))). Let s be (-2)/1 + (2 - t). Solve -4*b + 0*b - s = -5*o, -3*o - b = -n for o.
1
Suppose 0 = k + 4*k - 5. Suppose -5*f + k = -4*f. Solve 5*v - 5*i + 15 = 0, v + 8 - f = -i for v.
-5
Let j(z) = 3*z**2 + 7*z + 7. Let u be j(-4). Solve 5*v = 2*a - u, 8*v + 17 = 4*v - 3*a for v.
-5
Let z = 100 + -100. Solve y + 0*y - 2*g + 5 = z, 4*y - g = -13 for y.
-3
Let p be 16/(-10)*70/4. Let v = -19 - p. Solve v*a - 22 = -3*s + 4*a, -a + 22 = 5*s for s.
4
Let v(n) = n**2 + 8*n. Let q be v(-8). Suppose q = -r + 6*r. Solve -20 = 5*k + 3*p, -k + 0*p + p - 4 = r for k.
-4
Let z be -1 - 1*-2 - -10. Let f(q) = q**3 - 5*q**2 + 6*q - 7. Let x be f(3). Let o = x + z. Solve -5*v + v = -o, -3*s = -v + 4 for s.
-1
Suppose -19 = -3*h + 4*w, 0 = -h + 3*w + 2*w - 1. Suppose 10 = -5*u + x, h - 34 = 5*x. Let m be 39/9 + u/9. Solve n = 5, -31 = 2*y - m*n - 11 for y.
0
Suppose 8 = 2*i + 2*z, 5*i + 3*z - 6 = 12. Suppose 0 = w - n - 0*n, 0 = -2*w + i*n - 3. Solve -4*b - u = 4*u - 9, -w*b = -3*u for b.
1
Let x be (7 + 0)*(-15)/(-21). Suppose 3*k + 0*d - 18 = -d, -5*d = 2*k - 12. Solve 0*p + 27 = p - x*y, -2*y - k = 2*p for p.
2
Let k = 10 + -5. Solve 5*q = 5*v - 0*q + k, v - 5*q - 3 = 0 for v.
-2
Let q(v) = 0 + 3 - v**2 + 7 + 8*v. Let o be q(9). Solve 5*k + 4*s + o = 0, -3*k + 2*s = 3*s + 2 for k.
-1
Let z(h) = 2*h - 2. Let v = -3 - -20. Suppose 0 = -0*x + x - 2*u - 8, 4*x - 3*u = v. Let t be z(x). Solve -j + 17 = -5*c, -5*c + t*j - 11 = 3 for c.
-4
Let v = 2 - -3. Suppose 5*u = -2*j - 0*j + 32, -v*u + 3*j + 27 = 0. Solve -4*g - u = 4*b + 22, 0 = 5*g - 5*b - 5 for g.
-3
Suppose 0 = -5*r + 2*k + 64, k + 11 = r - 0*k. Solve 5*z - 30 = -5*t, 0 = -0*t - 5*t - z + r for t.
2
Let t(g) = -g**2 - 6*g + 4. Let a be t(-6). Solve -4*m + a + 12 = -2*q, 0 = -q for m.
4
Let i be (-3)/6*-4*1. Suppose i*g = 2 + 2. Solve -5*s + g*s + 5*y + 11 = 0, -4*s = -3*y for s.
-3
Suppose 5*z - 11 = -36. Let l(q) = 2*q + 7. Let x be l(z). Let n be (-4)/(-2) - 3/x. Solve 3*m - 3*b + 15 = 0, -n*m + 0*m - 3 = 3*b for m.
-3
Let m(i) = -i - 5. Let s be m(-5). Suppose 2 = 5*t - 2*n, s*n = 5*t - 5*n + 10. Solve -t*y = y - 5*o, 5*y + 4*o = 0 for y.
0
Let p(c) = c - 17. Let x be p(-14). Suppose 0 = 5*z - 0*z + 250. Let s = x - z. Solve 0*j - j + 2*f = 2, 0 = -j - 5*f + s for j.
4
Let g(b) = b**3 + 4*b**2 - 7*b - 7. Let u(f) = 0 - f + 1 + 0. Let d be u(6). Let w be g(d). Solve -17 = -w*o - 5*m, 2*o - 2*m - 5 = m for o.
4
Let l be 4*(4/4)/2. Let y(q) = q**2 + 3*q + 2. Let c be y(-3). Solve 2*k + 11 = -s, -c*s = l*k + 3*k + 25 for s.
-5
Let h be ((-6)/(-15))/((4/(-20))/(-1)). Solve 6*l = 4*l + 4*t - h, 29 = 4*l + 3*t for l.
5
Let a(w) = -w**3 - 9*w**2 + w + 13. Let v be a(-9). Suppose 4*p - v = 4. Solve 0 = 4*c - 9*c - 5*n + 30, p*c = -5*n + 24 for c.
2
Suppose -2*b = -3*v - 7*b + 71, b + 21 = v. Let t(f) = -f**3 - 10*f**2 - f - 5. Let y be t(-10). Solve 3*n = -y*u + 18 + v, -4*n = 5*u - 45 for u.
5
Let d = -4 - -8. Suppose 1 = -2*a + 7. Solve -2*r = -d*s - 24, -a*r = -r + 4*s + 16 for r.
2
Let m = 25 + -16. Solve -2*u = u - 3*t - m, -3*t - 12 = -4*u for u.
3
Suppose -f = -2*s + 6*s - 16, -4*s = -3*f - 16. Let i(p) = -5*p. Let c be i(-1). Solve -a - 3*g + 7 = f, 0 = -5*a - c*g + 3 + 12 for a.
1
Let p be (0 - (-1 + 1))/(-2). Suppose p = 2*g - 3 - 5. Solve 0 = -n - g*n + q + 2, 2 = -n + q for n.
1
Let u = 0 - -16. Solve 3*y = -c + u, 0 = -2*y + 3*y + 5*c - 10 for y.
5
Let m(j) = -j + 10. Let d be m(7). Solve d*t + 2*i = 17, -4*t + 5*i