 0. Solve 3*z + 4 = -5*u, -v*z - 7 = 5*u - 0*z for u.
1
Suppose -925*r + 36 = -922*r. Solve 2*c + 14 + 4 = -3*z, r = -3*z for c.
-3
Let c(l) = 5*l + 4. Let z be c(15). Let d = z + -64. Solve 3*u = -k - 1 - 4, -5*u = 3*k + d for k.
-5
Suppose -9*g + 9 = -45. Suppose 2*s = 7 - 3. Let u(k) = k**2 + 2*k - 3. Let n be u(s). Solve -g = l - 3*b, 3*l = n*b - 1 - 5 for l.
3
Suppose -5*g + 0*g + o = 20, 0 = o. Let l(v) = -4*v - 27. Let c be l(-7). Let m be (c - 2)/(g/8). Solve -3*t + 4 = 5*i, 3*t - m*t - i - 4 = 0 for t.
3
Let w be 5 + (-138)/30 + (-13)/(-5). Solve -w*n + 4*c - 2 = 0, -5*n + 3*n + c - 3 = 0 for n.
-2
Let g(w) = -w + 8. Let s be g(5). Solve 3*t + 5 = -4*m, -s*t + 2*m = -t + 8 for t.
-3
Suppose s + q - 37 = -29, 5*s + 3*q = 32. Solve 3*t - s*k + 1 - 12 = 0, -5*t + 11 = -3*k for t.
1
Let i be 13/2*(-11 - -13). Suppose 0 = -i*z + 11*z + 6. Solve -z*h = -5*x + 17, -10 = 3*h + 5*x - 3 for h.
-4
Let d = 3 - 0. Let r be (28/1)/4 - d. Let t be (1/(-2))/(r/(-32)). Solve c - m = 2*m - 6, 4*c - 8 = -t*m for c.
0
Let k = -9 - -8. Let u be k - (1 + -5) - 27. Let l = 26 + u. Solve 7*j = l*j - 20, 3*z - j = -11 for z.
-5
Let c = -232 + 232. Solve 0*d - 5*t + 23 = 2*d, c = 2*d + t - 11 for d.
4
Let a be -132 - -141 - 1*(2 + 2). Solve -5*n + 3*k = 40, -a*n = -5*k + 4*k + 30 for n.
-5
Let h(w) = 7*w**2 - 4*w - 11. Let a(d) = -3*d**2 + 2*d + 5. Let o(z) = -5*a(z) - 2*h(z). Let u be o(-2). Solve 16 = -3*i - 5*t, -u = 5*t + 5 for i.
-2
Let a be (3*6/27)/((-14)/(-63)). Solve a*x + 6 + 9 = 2*u, 3*u - 6 = -x for x.
-3
Suppose 90 = -5*x + 100. Solve 3*t - 7*t = -5*w - x, -5*w - 5*t = -25 for w.
2
Let h = -2 - -6. Let g(u) = -u**3 + 41*u**2 + 4*u - 156. Let j be g(41). Solve -v - h = -w - 5*v, 4*v = j for w.
-4
Suppose 5*a + 18 = 7*a. Let w(v) = -v**3 + 8*v**2 + 8*v + 13. Let i be w(a). Solve 0 = -i*o - 5*u - 5, u - 15 = -o + 3*u for o.
5
Let f(t) = t**3 - 13*t**2 - 3*t - 16. Let b be f(13). Let n = b - -59. Solve u = -4*c + 8 + n, -2*u + 2*c + 4 = 0 for u.
4
Let m(l) = -12*l**3 + 2*l**2 - 8*l - 12. Let w be m(-1). Solve -z - 2*z + 2*v - 15 = 0, w = -2*z - v for z.
-5
Let t(y) = y**3 + 7*y**2 + 5*y - 6. Let j be t(-6). Let l(s) = 2*s + 0 + j*s - 4. Let h be l(2). Solve 5*v + a + 0*a - 30 = h, 2*v = -a + 15 for v.
5
Let q(i) = 57*i**3 + i**2 - 4*i + 3. Let n be q(2). Let g be 4/18 + n/(-63). Let s be 2 + 3/((-3)/g). Solve 23 = -3*v + 5*j + s, 3*v - j - 2 = 0 for v.
2
Let d = -1828 + 1831. Let y be (-1 - -2)/(2/14). Solve u = 2*o + y, 0 = -4*o - 5*u - 24 + d for o.
-4
Let y(p) = 17*p + 35. Let q be y(0). Solve -s + x = 9, 3*x = 6*s - s + q for s.
-4
Let g be 3 + (-1 - 3/3). Let p = 6 - g. Let x be 6/4 - 3/(-2). Solve p*q - 30 = -3*d - d, -5*q - 5 = -x*d for q.
2
Suppose 0 = -8*d + 11*d + 2*u - 29, 2*u = 2. Solve 5*j + d = 3*q, -q + 9 = 2*q for j.
0
Suppose -531*v = -523*v - 24. Solve -3*y - 22 - 6 = -5*j, v*j = -y + 14 for y.
-1
Let r = 21 - 29. Let l be -12*20/r*1. Solve 5*c + l = 4*d, 4*d - 2*c - 7 = 17 for d.
5
Let i be -6 + -4 + (17 - (2 + -5)). Solve -17 = 3*l + 3*o + 13, -i = 3*l - o for l.
-5
Let j = 4 + -7. Let l be (-6 - 0)/(j + -4 + 5). Solve -20 = -5*q - m, 3*q - 12 + 0 = l*m for q.
4
Suppose -11*v + 4*v = -147. Suppose 17*i + 20 = v*i. Solve i*c - 5*k = -5, -4*c - c = 5*k + 35 for c.
-4
Suppose 113*a - 100*a = 65. Solve 0 = a*g + 5*o, 0*g + 3*o + 14 = 4*g for g.
2
Suppose 5 + 10 = 5*d. Let r be 0/(-4 + d) + 12. Suppose -2*v - 5*j = -r, 36 = 3*v + 2*j - 4. Solve 4*h - 13 = -3*o + 10, -3*h = 2*o - v for h.
2
Suppose g = -4*w - 2*g, -5*w - 3*g = -3. Solve 2*m = -4*b + 12, -4*m + 4 = w*b - 5*b for m.
2
Let m = 128 + -78. Let v = m - 34. Let h = -3264 - -3266. Solve 2*z = 3*l - v, h*l = -2*l + 8 for z.
-5
Let a be -3 - 3/(-6)*22. Let j = a - 4. Solve -3*i = -0*s - s - 13, i + 3 = j*s for i.
5
Suppose 2*c = -3*c + 5*n + 40, -2*c + 4*n + 26 = 0. Suppose c*j - 2 = 2*j - 2*i, -3*j - i = -31. Solve 0 = -3*v + d + j - 1, 0 = 2*v + 2*d - 2 for v.
3
Let k be 2 - (-1 + -3 + 2). Let c = 8 + -5. Let y be 0/(-3) - 2*-2. Solve -l - k*l + 13 = c*b, l - 6 = -y*b for l.
2
Let a = 77 + -120. Let d = 45 + a. Solve -d*j + 0*j - 4*i + 10 = 0, 4 = j + i for j.
3
Let s = 22 + -19. Suppose -2*r + 10 = 2*g, 5*r = -7*g + s*g + 29. Solve 0 = -3*q + 2*b + b + 12, 3*b + r = 0 for q.
1
Suppose 2*y - 6*y = 0. Let r(w) = -2*w**2 + 6*w. Let a be r(3). Suppose 5*p + 5*m - 40 = 0, 2*p = -a*p + 4*m - 2. Solve j = 2*f + 4 - y, -2 = p*j + f for j.
0
Suppose -5*l - 12 + 2 = 0. Suppose -10 = -3*z + z. Let i = z + l. Solve 4*u = -3*s - 17, -i*s - 16 = -7 for u.
-2
Let o = -1187 + 1192. Solve 0 = 3*p - 2*l + o, 3*p = -7*l + 12*l + 1 for p.
-3
Let v be 28/(-210) - (-694)/30. Suppose 0 = -3*i - v + 29. Solve -3*p = -m - 4, 4*p - i*m = -5*m + 27 for p.
3
Let f = -11 + 16. Suppose -5*m - 15 = -3*z + 2, -f*z + 4*m = -24. Suppose 2*b - z*b = -50. Solve 0 = -5*n + 4*g + b, 0 = 4*n - 2*g - 15 - 5 for n.
5
Suppose h + 3*h + 3*a = -230, 4*h + 4*a + 232 = 0. Let y = h - -61. Solve 0 = -y*l + 3*d, 2*l - d = 2*d for l.
0
Let o be ((-9)/(-4))/(36/24)*14. Solve 0 = 4*s + b - 6 + o, -18 = 5*s + 2*b for s.
-4
Let l(b) = b**2 + 32*b - 223. Let o be l(6). Solve -o*r = -m - 13, -12 = -3*r - 0*r + 2*m for r.
2
Suppose -3*b = 2 - 5. Let i(q) = -4*q**3 + 2 + 6*q**2 - 8 + 3*q**3 + 1 - 3*q. Let u be i(5). Solve 4*d - b = -k - 12, 4*d + u = k for d.
-2
Suppose -6*v - 221 = -41. Let o = 32 + v. Suppose -2*z - 4*b = -5*b - 6, -3*b - 12 = -4*z. Solve -3*m = o*l + z, -m + 18 = -2*m + 5*l for m.
-3
Let i = 225 + -222. Let x be (-11)/2*(-4 - -2). Let u = x + -3. Solve 0 = -i*l - l - u, -11 = -3*b - 2*l for b.
5
Let f(i) = i**3 - i**2 - 4*i - 1. Let y be f(3). Suppose y*k + 2 = -s + 7*k, 3*s - 2*k + 2 = 0. Solve s = -4*b + h - 8, -3 = h + 1 for b.
-3
Let b(i) = 2*i**2 - i + 1. Let n be b(3). Let t = 18 - n. Solve -s + 11 = -4*w, 5*w + s = t*s - 15 for w.
-4
Let n(u) be the first derivative of 2 + 4*u**2 + 1/3*u**3 + 10*u. Let l be n(-7). Solve -5*c = -4*b + 30, -5*c = -l*b + 38 - 13 for c.
-2
Suppose 0 = -7*r - 22*r + 116. Let k be (1 - 4)*(-4 - -1). Suppose o - 3 = 1. Solve o*t = -4*i - 12, -5*i - r*t + k*t - 15 = 0 for i.
-3
Let w = 31 + -18. Let u(s) = 2*s - 15 - 15*s + w*s + 5*s. Let t be u(4). Solve 2*n = o - 2, 0*o + 2*n + 2 = t*o for o.
0
Let w(t) = 2*t**2 - 13*t + 26. Let q be w(6). Suppose d = -4, 0*b - 4*b = -d - q. Solve 2*m - 7*m - 20 = -5*r, 3*m = b*r - 11 for r.
-1
Let j be (27/(-6))/3*(-2)/(-3). Let h be (3/3 - 1) + 3 + j. Solve h*a = -2*s, -5*a + 0*a + 2*s - 35 = 0 for a.
-5
Let a = -102 + 42. Let x = a - -69. Solve 2*m + 33 = 5*r, x = 5*r - 0*r + 4*m for r.
5
Let t(u) = u**2 + 7*u + 8. Let i be t(-6). Let n = -584 + 599. Solve 0*f = h + 2*f + 3, 5*f - n = i*h for h.
-5
Let j be (-2)/7 - 46/(-14). Suppose 0*s - j = -s. Suppose -1 = 13*m - 157. Solve -4*g = c + 18, -s*g + 0*g - m = 0 for c.
-2
Suppose 0 = -132*t + 133*t - 3. Solve -t*o + 5 = -3*d + 2, -4*d - 4 = -5*o for d.
-1
Let n = -218 + 221. Solve -2*w - 6 = 0, -3*m - n = -0*m + 3*w for m.
2
Let l(o) = -o**3 - 6*o**2 - 9*o. Let i be l(-4). Suppose -4*q - 39 = -4*z - 7, i*q + 12 = 0. Solve 0*y = 4*y - z*u + 40, -4*y + 2*u - 28 = 0 for y.
-5
Suppose 3*k - 3*l = -3, 0 = 3*l - 6. Solve 0 = -2*r - 4*c + 11 + k, 3*r - 4 = c for r.
2
Suppose -6*w + 12 = -12. Solve -y + 5*n = 10, 2*n - 4 = -w*y - 0 for y.
0
Let j = -9 - -11. Suppose 3*d - j = d. Suppose -6*u = 5*f - 2*u - 6, 5*u - d = -3*f. Solve f*t - 3*k = 3*t - 8, 4*t - k - 19 = 0 for t.
5
Let z be (11 + -5)/6 - (-1 + -2). Solve 2*s + 24 = 5*b, -5*b + 21 = z*s + 9 for b.
4
Suppose 3*a + 25 = 5*u, 3*u + 2*a + 10 = 6. Solve -1 = p + 4, u = 2*l - 2*p for l.
-4
Suppose n - 8 = -j, 6*n = 10*n - 16. Solve 0 = -4*p + j, h + p - 4 = -1 for h.
2
Suppose 4*q = -23 + 111. Solve j + p - 6 = -j, -2*j = 5*p - q for j.
1
Let u be (-18)/99 + 4/((-44)/(-167)). Let i be (5/((-10)/68))/(-2). Suppose k + 2 = 4*a - 5, -i = -4*a - k. Solve -a*b - 2*j = -u, -b + 4*b + 6 = 5*j for b.
3
Let u(b) = 3*b - 12. Let l be u(8). Suppose 0 = 3*v - 7*v + l. Solve 2*o + 4*f + 12 = -4, 10 = -v*o + f for o.
-4
Suppose 3*s = -5*g - 2, 5*g - 22 = 2*s - 4. Let c(y) = -y**3 + 7*y**2 - 6*y + 6. Let v be c(6). Solve 3 = -n + 7*k - g*k, -k + v = -2*n for n.
-3
Let p be (16/3)/(6/9). Let s be 2 - ((-20)/p + 3)*-4. Solve 6 = s*h + 3*n, -2*h + 0*h = 3*n for