*t - b*t - s = -2*m for t.
-4
Let z = -1 + 3. Let p be 28/10 - (-2)/10. Let v be 1 - 4/(12/p). Solve 2*w = -v*w + z*n - 10, 20 = -4*w - 4*n for w.
-5
Suppose -3*c - 3*o + 18 = 0, c + 0*c = -4*o - 3. Let u be (-4)/12 + 30/c. Solve -12 = u*q + 4*b, q - b - 4*b = -4 for q.
-4
Suppose 0*t = -t + 4*x, -3*x - 9 = -3*t. Let d(y) = y**2 + 255*y - 1298. Let u be d(5). Solve u*p = -3*p + o - 20, o = t*p + 17 for p.
-3
Suppose -10*u = -8*u - 2. Suppose 0 = -6*y + u + 11. Solve 2*k = -4*i, 3*k - y*i - 2 = 6 for k.
2
Let g(i) = -i**2 - 6*i + 9. Let l be g(-7). Suppose -b - 5 = -l*b. Solve 2*c = -3*c - 3*q - 10, -2*q = -b*c - 35 for c.
-5
Let g(v) = v**3 - 4*v**2 - 5*v - 17. Let t be g(6). Let b be t/10*18/15. Solve -b*f - a - 9 = 0, -2*f + a - 2 = -1 for f.
-2
Let k = -6 + -5. Let g = 1 - k. Suppose 5*z = 2*z + g. Solve 0 = 4*c + z*o - 8, 5*c + 30 = -0*o + 5*o for c.
-2
Suppose 3*t - v - 4 = 0, 4*t - 22 = -5*v + 15. Solve t*m + 6 = -0*m + 4*d, -d = -4*m - 8 for m.
-2
Let s(q) = -q**2 - 2*q - 10. Let j be 4/(-1)*-1 - 0. Let t be s(j). Let z be (-16)/(-136) - 64/t. Solve -f + 0*f = 2*u - z, 2*f = -5*u + 7 for u.
3
Let o = -25 + 30. Suppose 0 = -3*d + 4*v + 40 - 14, 0 = -2*d - o*v + 2. Solve -6*z + z + 8 = -3*a, 4*z - 2*a - d = 0 for z.
1
Let d be (-13)/(91/4)*7/(-1). Solve f = -3*t + 6*t + 14, -f + 18 = -d*t for t.
-4
Let z(u) = -2*u + 1. Let p be z(-3). Suppose 4*v = p*v - 9. Let r(c) = c + 25. Let h be r(-8). Solve -2*d - 2*d = n - 21, -v*d = n - h for n.
5
Let y(b) = -b**3 + 12*b**2 + 2*b - 15. Let h be y(12). Let n(w) = -3*w + 12. Let v be n(h). Let o be 1/(-3) - 155/v. Solve 20 = -x + 3*t + 3, -2*t = -o for x.
-2
Suppose 20*v - 24*v + 48 = 0. Suppose 3*q = -v, 0 = u - q - 0*q - 19. Solve -2*c - d - 15 = 0, c = -d - d - u for c.
-5
Let t be 1/(((-10)/15)/(-2)). Let u be -1*(-75)/t + 3. Let a be 40/(-14)*u/(-8). Solve 2*l - c = -5, -l + 5 = 3*c - a for l.
0
Suppose -46 = -2*f - 0*f. Let k(x) = -x**3 + 4*x**2 + 4*x + 10. Let y be k(5). Solve y*n = 2*n - 9, -f = 5*q + n for q.
-4
Let t be (-19)/(-3) - 8/6. Solve -2*q = 2*f - 8, -t*f = -0*q - q - 14 for q.
1
Suppose -w = -2*x - 0*x - 2, -10 = -2*x - 2*w. Suppose -g - 2 = x, 2*h - 5*g - 19 = 0. Suppose 1 = -p + 10. Solve -z - 4 = -2*n + h, -3*n = 4*z - p for n.
3
Let r be 1/(1 - 18/(-24))*7. Solve o = -5, -5*o - 11 = -r*v - 2 for v.
-4
Suppose 0 = y + 4*y. Let t be -2*((-10)/5 + y). Solve 6 = -5*c - t*m, 2*c + 4 = 4*m - 4 for c.
-2
Let f(u) = -u**3 + 19*u**2 - 18*u + 2. Let q be f(18). Solve 3*s = 3*j + 2*s - 4, 2 = -q*j + 3*s for j.
2
Let v be (-4)/2 + -24 + 44. Solve -u + 2*o - 1 = 7, 0 = 5*u + o + v for u.
-4
Let r(n) = -2*n**3 - 3*n**2 - 3*n + 1. Let l = 11 + -13. Let x be r(l). Solve -g + x = -3*u, 5*g = 2*u + 11 + 18 for u.
-2
Let y be (-119)/(-85) - 8/20. Solve 2*a - 28 = 4*z - 6, -4*a - z = y for a.
1
Let j = -43 - -47. Suppose -2*t - 8 = 0, -5*y - 4*t = -155 + 46. Suppose -y = -6*x + x. Solve x + 0 = -j*d - f, f = 5*d + 4 for d.
-1
Suppose -2*p = x + 171, -2*p - 174 = -x + 5*x. Let j = -70 - p. Solve 5*v + 10 = 4*t - 2*t, -4*v = 3*t - j for t.
5
Suppose 562 = -9*f + 589. Solve 2*c - 3*c = -5*y - 1, -y + f*c + 11 = 0 for y.
-1
Let j(b) = -3*b - 10. Suppose -3*i + 5*r = 38, -5*i + 4*r - 39 = 7. Let n be j(i). Solve 5*t + 3 = 3*c - n, -5*t - c - 3 = 0 for t.
-1
Suppose -s + 2 = -i, 0*i + i + 14 = -2*s. Let g = 267 - 277. Let k = i - g. Solve -k*q = 5*u - 19, -3*q + u = -0*q for q.
1
Suppose 0 = 5*a - 0*a - 5. Suppose 0 = n + 2*y - a - 1, -17 = -5*n - 3*y. Suppose 0*f = n*f. Solve -3*h + 18 = -3*j, 0*j + 3*j - h + 10 = f for j.
-2
Let v(m) = -13*m - 100. Let l be v(-8). Solve 5*d + 0*g = 5*g + 25, -l*d + 3*g = -20 for d.
5
Let a be (45/(-18))/(15/(-24)). Solve -3*t = -a*r - 2 + 8, 0 = -t - 2*r - 2 for t.
-2
Let v(l) = -4*l**2 - 3*l - 13. Let a be v(-5). Let y = 106 + a. Solve -4*f + 3*n = -f + 3, -n - y = -4*f for f.
3
Suppose -42 = -8*a + 110. Solve -1 = v, -5*x - 2*v + a = -v for x.
4
Suppose 60 = -2*l + 32*l. Solve -a - l*a - 14 = k, -20 = 4*a for k.
1
Let x(v) = v**2 - 18*v - 61. Let f be x(-3). Solve 4*w + f = 2*w, 11 = 3*r + w for r.
4
Let h = -1088 - -1104. Solve -g - h = -4*f - 5, 2*f + 5*g = -11 for f.
2
Let n(f) = -f**2 + f + 7. Let v be n(9). Let k = -47 - v. Solve 4*a = 3*i + k, -4*i = 2*a - 2 + 4 for i.
-2
Let y(f) = 2*f**2 + f**2 - f**3 + 2*f**3 + f - 5*f - 7. Let z be y(-5). Let d = z - -54. Solve 5*k = 4*v - d, 2*k + 0*v - v = -5 for k.
-1
Let a be -4*(-9)/(-72)*-2. Solve 3*y = -8*l + 3*l - a, -3*y = -5*l + 11 for y.
-2
Suppose -2*d - 10*v = -15*v - 23, 3*d = -3*v + 45. Solve -5*r + 0*j + 2*j - d = 0, -5*r + 3*j = 16 for r.
-2
Let i = 37 + -71. Let j = i + 35. Solve -15 = -3*z - 4*b + j, 2*z + 2*b - 10 = 0 for z.
4
Let c = -1 + -26. Let i be 330/8 + 54/(-216). Let t = i + c. Solve 0 = r - 5*q + t, -3*r + 5*q - 22 = -0*q for r.
-4
Let o(i) = -7*i + 1 + 10*i + 13. Let n be o(-3). Solve -3*r + n*k + 31 = 0, 0 = -3*r - 0*r - 3*k - 9 for r.
2
Let r = 2340 - 2328. Solve c + 22 = 4*o + 8, -5*o + r = -4*c for c.
2
Suppose -3*r = 9, -4*u + 4*r = -70 + 26. Solve -2*j = -u*g + 4*g - 14, 0 = -4*j - 3*g - 27 for j.
-3
Let s be 1*-13*(-5 + 3). Solve 0 = -4*h - 2*w - s, 2*h = -h - 3*w - 24 for h.
-5
Let t = 23 + -22. Solve 3*r + 3 - t = -g, 4 = 5*g + r for g.
1
Let j(k) = k**3 - 10*k**2 - 2*k + 23. Let t be j(10). Suppose -n + 1 + 8 = -3*v, 4*n = -v - t. Solve n = 4*c, -2*c = 3*x - 16 + 4 for x.
4
Let y be (48/9 + -6)/(11/(-66)). Solve y*t - 3*g = t - 21, 0 = 2*t - 4*g + 18 for t.
-5
Let t = 1230 + -1228. Solve -c + 14 = -5*f, 9 = -t*f + 3 for c.
-1
Suppose 41 = -4*g + 9*d + 13, g - 6 = -d. Solve -10 + 0 = g*r + 2*h, 0 = 2*r + h + 7 for r.
-2
Let h be 0*((-208)/(-572) + 6/44). Solve 2*g - 5 = -h*g - 3*n, -3 = 3*n for g.
4
Let h(a) = a**2 - 6*a + 15. Let t be h(8). Suppose -t*g = -33*g + 6. Solve g*d = -4*q, 0 = -3*q - q for d.
0
Let h = 1821 - 1801. Solve 5*k = 5*y - 7*y, -5*k + 2*y + h = 0 for k.
2
Let i be 0 - ((-1)/7 - (-13)/(-7)). Solve -5*z - i*f - 9 = -30, -5*z - 4*f = -17 for z.
5
Let c = -45 + 50. Suppose 0 = -4*i + c*i - 3. Solve -4*q + 19 = -i*l, l = 5*q - 4*l - 30 for q.
1
Let l(z) = -6*z + 16. Let j be l(2). Solve -5*i - 4*c = -6*i - 5, -j*c = -3*i - 15 for i.
-5
Let a(y) = 8*y**2 - y - 1. Let x be a(-1). Let w be (-14)/(-7) + -10*5/(-10). Solve l - 4*c - w = 0, -4*l - 6 = -2*c + x for l.
-5
Let q be 5/(-25)*-11 + 4/(-20). Solve 3*m - y = -5*y + q, 5*y = -4*m + 2 for m.
-2
Suppose -5*p = -199 - 6. Let h be p/13 - 12/78. Solve 5 = 3*t + 2*w, 0 = -t - 3*w - 0 - h for t.
3
Suppose 166*p = 152*p. Solve 2*f + p*x = -x - 11, 3*f + 5*x + 27 = 0 for f.
-4
Let f be ((-10)/(-20))/(((-5)/(-4))/5). Solve 0 = -3*o - 4*r + 19, -13 = -f*o - r - 2*r for o.
5
Let p(l) = l**3 + 8*l**2 + 12*l + 4. Let k be p(-6). Suppose k*o + 21 = -5*z, 3*o = -2*z + z - 2. Solve -2*q + o = f + 5, -3*q - 12 = 0 for f.
4
Let z be 2*(-7 + 7 + 0 - -2). Solve q + z*l + 11 = 0, 4*l - 6*l = q + 3 for q.
5
Let o = -11 - -13. Suppose -b + 4 = -2*y, 0 = o*b + b - 12. Suppose 4*r + y*f + f = 40, -r - 3 = -3*f. Solve 0*w - 4*w = -3*m + r, 3*m - 12 = 5*w for w.
-3
Let h(i) = 2*i**2 - 10*i + 17. Let b be h(3). Solve -3*m - 1 = b, 2*v - 2 = m for v.
0
Let i(a) = -2*a**2 + 14*a + 95. Let f be i(-4). Solve 5*d - d + 5*l = -f, 4 = -d + l for d.
-3
Let h = 17 - 8. Suppose -4*q - 2*j = -0*j - 6, -4*q - j + h = 0. Solve -3*v + 30 = q*r, -r + 4*v = -0*r + 15 for r.
5
Let d(i) = 9*i + 29. Let f be d(-3). Solve -2 = 2*z - f*n, 0*z = -z - n - 9 for z.
-5
Let u be -1 + 16/2 + -3. Let a be 0/(3 - u) + 2. Solve t + 5 = 4*h, -t + 2*t + a = h for t.
-1
Let k(z) be the second derivative of -z**5/20 - z**4/12 - 3*z**2/2 + 4*z. Let y be k(0). Let j = 6 + y. Solve -j*b - 4*s + 1 = 2, -4 = s for b.
5
Suppose -4*t + 82 = 62. Solve 3*b + 6 = 0, f = t*b + 4 + 8 for f.
2
Suppose 11*w + 4*c = 9*w + 14, 0 = -2*w + 7*c - 8. Solve q - 5*u = 20, -1 = 2*q + w*u + 11 for q.
0
Let l(u) = -u**3 + 6*u**2 + 3*u - 5. Let r be l(2). Suppose -r = -9*o + 19. Let q = 11 + -7. Solve q*a = s - 11 - 1, o*a = -4*s + 8 for s.
4
Let w be 0/(5 + -4 - 3). Suppose w = -i - i. Let c(a) = -a**2 + 2. Let r be c(i). Solve -4*m - 10 = r*q, -q + 0*m + 5*m = -2 for q.
-3
Let p(m) = 29*m + 3. Let o be p(5). Suppose -c - 4*b = -o, 8 = -2*b - 2*b. Let r be c/27 + 2/9. Solve -z = -5*z - f, -f =