 - 5*x + 16 = t for b.
2
Suppose 10*d + 150 = 4*d. Let l = 38 + d. Solve 2*q - q = 5*y + 14, -q - l = 4*y for y.
-3
Let p(g) = -g**2 - 28*g + 434. Let k be p(-39). Solve 3*r = k*q + 5, -q - r = -6 - 1 for q.
2
Let o = -129 - -220. Let i = o - 61. Solve 0 = -5*c + a + 30, -3*a + i = 4*c - 5*a for c.
5
Let u(n) be the third derivative of 0*n - 1/4*n**4 - n**2 - 1/60*n**5 + 2/3*n**3 + 0. Let x be u(-6). Solve 2*d + x*m = d + 11, 5 = -2*d + m for d.
-1
Suppose 0 = -3*m - 47 - 22. Let c(i) = -4*i**2 + 13. Let w be c(-4). Let p = m - w. Solve -4*n = -28 + 8, -4*n = 2*z - p for z.
4
Let y(x) = -3*x - 10. Let u be y(-8). Suppose -2*g - 4 + u = 0. Suppose -1 = -g*v + 9. Solve -2*n - 8 = 0, 0 = v*q - 3*q + n for q.
-4
Let w = 357 - 354. Solve 0 = 4*n + k - 12, w*n - 2*k - 9 = -0 for n.
3
Let l(y) = -y**3 - 2*y**2 - y - 1. Let b be l(2). Let j be -2*(-2)/4 + 0 - -21. Let s = b + j. Solve -2*u = -2*a + s*u + 15, 2*a + 4*u - 6 = 0 for a.
5
Suppose -5*n = -3*c + c + 16, 3*n - 32 = -4*c. Solve -l + 3*y - c = 5*y, -4*l = y - 3 for l.
2
Suppose 899 = -9*o - 181. Let t = 125 + o. Solve -4*a - 7 = -t*j, 8*a - 3*a = 10 for j.
3
Let x = 24601 + -24590. Suppose -2*v - 2*t + 2 = 0, -v - 2*v + 2*t = -13. Solve v*f - x = -4*j, -2*f + 5*j = f - 20 for f.
5
Let i be 4*(-20)/40 + 7/1. Solve 4*s - i*u = 31, -4*s + 4 = 3*u + u for s.
4
Suppose 3*v = 6*v - 2*c + 29, 2*v = -4*c - 14. Let j = 27 + v. Suppose j = 4*q - 10. Solve 3*l + q = -4*o, -l + 0*l - o - 2 = 0 for l.
-1
Suppose 6*f - 2*f - 3*r - 28 = 0, -2*r = -f + 12. Solve 0 = 4*v - 0*d + 3*d - 3, 4*v + f = 4*d for v.
0
Let i(k) = k - 5. Let x be i(8). Solve 0 = -m + 2*n + 3*n + 12, x*m - 10 = 2*n for m.
2
Let k(y) = y**2 - y - 8. Let z be k(-3). Solve -z = -2*m + 5*u, -m = m + 4*u + 14 for m.
-3
Suppose -22 = -4*g + v, 0 = -g + 5*g - 2*v - 20. Let z be 7 + -5 + -3*(-4)/g. Solve 5*o = -2*c, -z*c = -3*c + o for c.
0
Suppose -21 - 8 = -3*s + 4*l, -l - 5 = 0. Let p = -708 - -714. Solve k + s = 0, j - 4*k = -p*k - 5 for j.
1
Suppose -104*o + 21 = -97*o. Solve 2*n = -o*x - 17, -4*x + 3 + 5 = -5*n for x.
-3
Suppose 3*g - 27 = -12. Solve 5*k + 21 = -4*f, -g*f - 15 = -3*k + 2 for f.
-4
Suppose -67*m = -71*m + 60. Solve -2*i + 6*g = 3*g - 15, -3*g = i + m for i.
0
Suppose 2*z - r = 4*r + 25, 0 = -2*z - r + 7. Solve 4*f = -4*w + 20, w = -z*f - w + 22 for f.
4
Let m(f) = -7*f**3 - 5*f**2 + 2. Let h be m(-2). Suppose 0 = -k + 2*s + 16, -k + 5*s - h = -5*k. Solve 12 = -5*y + 3*r, 5*y - 4*r + 4 + k = 0 for y.
0
Suppose 2*i - 4*i = 0, a - 3 = -4*i. Solve a = -m + 2*v, -2*m = m + 5*v - 2 for m.
-1
Let t = -30 - -12. Let b be (-6)/(-9)*t/(-4). Solve 5*d - 5*h = 20, 2*h + b + 3 = 4*d for d.
-1
Let k(j) = -j**3 - 13*j**2 - 40*j + 23. Let r be k(-7). Solve o = 5*q - 1 + r, o = q for q.
-2
Let h = -37 + 54. Solve 5*i - 5*b = 2*i + h, 5*i - 4*b - 24 = 0 for i.
4
Suppose -2*a = -3*y - 16, 0*a - y - 2 = a. Let z(n) = n**2 - 2*n. Let g be z(2). Let r = a + g. Solve 4*x = q - 13, x + 4*q = -r*x - 24 for x.
-4
Suppose 8*w - 6*w = 4*v + 50, 4*v + 67 = 3*w. Suppose 21*q - w*q = 48. Solve -3*c - 3*x = -q, -4*c - 7 = -x + 2 for c.
-1
Suppose -4*h + 9*h + 5*v = 0, -4*h + v + 10 = 0. Solve 2*n - 20 = 3*n + 4*s, -h*s - 12 = n for n.
-4
Let f be (-15)/(600/16)*(-6 + 1). Solve -4*m - 20 = -f*d, m + 0*d + 4*d = 13 for m.
-3
Suppose -5*p = 4*n - 5, -4*p + 5*n = -6 - 39. Solve -l = p*k - 19, -3*k + 13 = l + 2 for k.
4
Suppose -l = -0*l. Let k be l*(0 + 4 + -3). Suppose 2*y - 80 = -k*y. Solve -2*n = 3*o + 8, 3*n + 14 - y = 5*o for o.
-4
Let c be 6 + ((-4)/4 - 1). Suppose -3*n - o = -31, 0*n + 19 = n - c*o. Let y be 490/154 - 2/n. Solve 0 = y*z + 3, 0 = -0*r - 3*r + 2*z + 5 for r.
1
Let g(u) = -u**2 - 1 + 4*u**2 + 5 - 6 - u. Let o be g(3). Solve 3*h + 3 + 4 = -4*i, -i + o = -4*h for i.
2
Let x = -785 - -788. Solve 15 = x*d, -5*h = -6*d + 3*d - 5 for h.
4
Let c = 1253 - 1252. Let r be 1 + (-2)/(-2) + 0. Suppose -r*j + 3 + c = 0. Solve -w = -j*w - 3, -5*i = 5*w + 35 for i.
-4
Let b(y) = 6*y**2 + 39*y + 22. Let i be b(-6). Solve 2*r + 2*p + 2 + 4 = 0, r + 6 = -i*p for r.
-2
Let c(u) = u + 18. Let r be c(-14). Suppose -f = -r*m + 16, 7*m - 2*m + 4*f = -1. Solve 5*t - 6*j + 4*j = -35, -m*t + 5 = 4*j for t.
-5
Suppose 16 = 2*t - 18. Let r be 3*(-1 + (-10)/(-3)). Suppose -3 = -10*z + r*z. Solve z = -d + 4*a, -d + 3*a - t = 3*d for d.
-5
Suppose 2*v + 5*l - 19 - 32 = 0, -3*v = 2*l - 49. Let n = 5 - 0. Suppose 0 = -n*b + 2 + v. Solve d = 6*d - 3*h - 23, -3*h = b for d.
4
Let u be 10 + 1 + 27 + -33. Solve -3*d - d = 3*p + 7, -d - 23 = u*p for p.
-5
Suppose -31*q + 28*q + 21 = 0. Let o(f) = -f**2 - 13*f. Let j be o(-12). Let d = 12 - j. Solve -q = -4*k + 3*k + 5*r, d = k - r - 3 for k.
2
Let f = -281 - -271. Suppose -2*u - 3*u + 6 = -2*p, -4*p + 5*u = 2. Let h = p - f. Solve -c - 2*s - 7 - 1 = 0, 3*s = c - h for c.
0
Let u be (2/(-1))/(-1*(-5)/(-10)). Solve -5 = -3*n + u*z + 1, 5*z + 15 = 0 for n.
-2
Suppose -7*k = -3*m - 5*k + 18, 11 = m + k. Solve -4*g = -2*t + m, 2*g + 5 = 3*t - 7 for t.
4
Let x be 2*15/10 - 5. Suppose -3 = 3*y + 3. Let l = y - x. Solve -5*f - q = -2*q + 6, -f + 4*q - 5 = l for f.
-1
Let a(g) be the first derivative of 2*g**2 + 28*g + 45. Let i be a(-6). Solve i*v + 4*k = 28, -k + 0 - 11 = -5*v for v.
3
Let a(k) = -5*k + 5*k + k - 8 + k. Let w = 2 - -4. Let u be a(w). Solve 0 = -4*g - 3*z - u, 4*z = 3*g - 0*z - 22 for g.
2
Let d(h) = h - 4. Let n = 61 - 55. Let x be d(n). Solve 0 = s + x, 2*b = b - 4*s - 8 for b.
0
Suppose 24 = z - 0*f + f, 0 = 5*z - 2*f - 120. Suppose -21*t = -z*t. Solve t = -k + 4*x - 3 - 10, 4*x - 16 = 0 for k.
3
Suppose -5*p + 2*a - 57 = 0, p - 35 = 4*p - 2*a. Let r = p - -14. Solve 3*c = 6*c - 5*w + 6, w + 6 = r*c for c.
3
Suppose -3*j - 8 = j. Let t be (-1)/((-2)/j) - -1. Let l = 101 - 78. Solve -5*p + z = -l, p + 2*z = -t*p - 2 for p.
4
Suppose 0 = 12*o - 17 - 31. Solve -o - 9 = 3*t - 2*w, -2*w - 2 = 0 for t.
-5
Suppose -5*l + 183 = 3*r - 34, 2*l - 211 = -3*r. Let b = r - 66. Solve -b*v = m + 8, -5*v + 0*m = -3*m + 18 for v.
-3
Let v(g) = g**3 + g**2 - 2*g - 2. Let q be v(-1). Suppose 53 = 4*f + 5*u, 5*f + u - 4*u - 20 = q. Let n = f - 5. Solve -22 = 4*k - n*b, -k - 7 + 0 = -2*b for k.
-5
Suppose -2*u + 8 = 4. Let c be u + 16/(-10) + 84/15. Solve 5*r = a - 3, 3*r - c*r - 7 = 2*a for r.
-1
Let z(t) = t**3 - 8*t**2 - 2*t + 16. Let m be z(8). Solve -3*k - c + 18 = m, 5*k = -5*c + 2*c + 34 for k.
5
Let c(d) = d**3 + 6*d**2 + 2*d + 16. Let t be c(-6). Let p = 38 + -36. Solve -t*q + 5 = 5*w + p, 3*q + 4*w - 2 = 0 for q.
2
Let k(m) = 2*m**2 - 28*m - 141. Let b be k(18). Solve -3*z + 6*z - b = -3*t, 4*t - 8 = -3*z for t.
5
Suppose -3*z = 3*n + 15, 20 = z - 4*z - 4*n. Let u be ((-32)/(-6))/(4 + 306/(-81)). Suppose 5*p - u = 31. Solve -2*q = -6, -2*h + 6*q - q - p = z for h.
2
Let t(o) = o**3 - 6*o**2 - 8*o + 5. Let j be t(7). Let w be (-1)/j - (-19)/2. Suppose 3*r - w = -1. Solve -2*s = -r*s + c - 4, -s + 3*c = 10 for s.
-1
Let u(h) = h**3 - 6*h**2 + h - 8. Let c be u(6). Let k be 9/(c/(-12)*2). Suppose 2*r - k = -r. Solve a = 2*g - 4*a - r, 5 = g - 3*a for g.
2
Suppose -5 = -2*n - 5*b, 11 = 3*n + b - 16. Suppose -i - 2*g = -20, -2*i = 5*g + n - 52. Solve -3*q = 4*s + 12, -4*s = 4*q - s + i for q.
-4
Let v be 15/(-25) - 46/(-10). Suppose -v*n + 31 = 19. Solve -2*f + n*t + 3 = -f, 5*t = -5 for f.
0
Let k be 69/9 - 7/(-21). Let g be (0 - -1)/(k/24). Solve 4*p = b - 8 + 3, b = g*p + 5 for b.
5
Suppose -24 = f - 27. Let y = 7 - -9. Solve 0 = -r - 0*r - 2*s - 1, y = 5*r + f*s for r.
5
Suppose -2*o - 16 + 10 = 0. Let u = o + 6. Suppose 15 = g - 20. Solve 0 = -8*h + u*h - 2*n + g, -n = 3*h - 20 for h.
5
Suppose -421*g - 200 = -431*g. Solve 2*u - 16 = -u - 4*j, 5*j = -u + g for u.
0
Let r(f) = -2*f**3 + 16*f**2 + 13*f + 50. Let c be r(9). Solve -c*x = 4*d, 2*d = x + 3*x for x.
0
Let r(c) = c**3 + 8*c**2 + 6*c - 7. Let m be r(-7). Solve 9*g = -3*j + 4*g, j - g - 8 = m for j.
5
Let v be -9*(3/(-9)*7 + 2). Solve -9 = -3*a - v*w, -4*a - w + 0*w = 0 for a.
-1
Let x(f) = -f**2 + 1 - 13*f + 7*f - 6*f. Suppose 0 = -2*v + 5*i - 32, v + 15 = 2*i - 0*i. Let u be x(v). Solve -32 = -5*h + 4*j, -u = j + 3*j for h.
4
Let l = 2 + -12. Let t = 11 + l. Let s = 4 + t. Solve 33 = 2*x + s*i, -4*i + 15 = -i for x.
4
Let a be ((-972)/99 + 10)/((-2)/(-22)). Solve