 + 10*a. Let b be t(-7). Solve 9 = -b*z + 3*r, -5*r = 3*z - 2*r - 21 for z.
2
Let v = -53 + 53. Suppose v = 3*h - 52 + 25. Solve -5*d - 4*r = -30, 3*d + 4*r - 7*r = -h for d.
2
Let x(s) = s**2 - 6*s + 5. Let w be x(5). Suppose 4*b + w*b = 8. Solve b*i - 5*h + 12 = 0, i - 2*h - 12 = -4*h for i.
4
Suppose k - 8 = -3*k. Suppose n = -4*s + 15, -n + 42 = n + 5*s. Suppose k*h + h - 21 = 3*x, 0 = 4*h - 5*x - n. Solve p + h*c = 6, 2*p = 4*p + 3*c - 2 for p.
-2
Let g = 2 + 0. Suppose 0 = -2*a + 9 - 3. Suppose -g*h = -3*h - a*p + 10, -2*p - 4 = -2*h. Solve 9*i - 5*s - 45 = h*i, 5*s = -2*i - 10 for i.
5
Let a(n) = -7*n + 54. Let t be a(7). Solve -t*v + 5*l - 2*l + 22 = 0, -5*v - 3*l = 2 for v.
2
Suppose 4*s - 124 = 2*r - 6*r, 0 = 2*s - 5*r - 62. Suppose 2*w + b - s = 0, w - b - 14 = -0*w. Solve -3*p + 24 = 5*o, -2*p - 3*o = -0*o - w for p.
3
Let c(u) be the third derivative of u**4/12 - 17*u**3/3 - 4*u**2 + 2. Let k be c(17). Solve h + t - 6 = k, h + 2 = -2*t + 5*t for h.
4
Suppose 5*x + x = 948. Let w = -156 + x. Solve w*o = -2*r + 3*o - 10, 5*r + 5*o = -25 for r.
-5
Let m be (-1)/4 + (-18)/(-8). Suppose m*n - 2 = 0, -4*n + n - 17 = -4*w. Let t be 130/35*1 + 4/14. Solve -5*q + 30 = l, t*q + w*l = q + 40 for q.
5
Let i = 517 - 512. Solve i*j - 12 = 2*f - f, -2*f - 5*j + 6 = 0 for f.
-2
Suppose -2*i + 4*t = 3*i - 36, -i + 3*t = -16. Solve 3*n + n = -i*a, -4 = a for n.
4
Suppose 0 = 2*g + o + 15, -g = g + 3*o + 13. Let f(u) = -u**2 - 9*u + 2. Let r be f(g). Let b = -150 - -155. Solve -q - 2*q - r = -j, 2*q + 35 = -b*j for q.
-5
Suppose 3*u + 1 + 29 = 0. Let x be 6/u - 3*36/(-30). Solve -3*a + 4*s = -0*a, x*a - 24 = -4*s for a.
4
Let l be ((-22)/5)/((-20)/50). Let s(a) = -4*a**2 + 2 - a**3 + 14*a**2 + 11*a + 0*a. Let w be s(l). Solve g + 2 - 9 = -d, w*d + 4*g = 22 for d.
3
Let y be (3 - (-23)/(-9))/((-2)/(-9)). Let m = y + 1. Solve -i = -s - 3, -2*i + 5*s - m = -3*i for i.
3
Suppose 5*v + 112 = 3*c, 0 = -5*c + v + 3*v + 165. Let o = 32 - c. Solve 0 = o*a + 4*h - 1, 2*a - h + 14 = 0 for a.
-5
Let m = -8 + 3. Let y(b) = b**2 + 3*b - 5. Let a be y(m). Solve -4*u - 3*r - 5 = -0*u, 5*r - a = 0 for u.
-2
Suppose 5*r + 20*m = 16*m + 44, 16 = -4*m. Solve -4*o = f - 5, r*o - 11*o = 5*f - 25 for o.
0
Let h(c) = 0*c - c**2 - 4*c + 0*c + 0*c**2 - 1. Let i be h(-3). Suppose 3*b - 13 = -5*y, i*y + y + 5*b - 11 = 0. Solve 0 = -y*r + w - 8, -4 = r - 5*w - 0 for r.
-4
Suppose 0 = -4*u + 4, 4*t - 3*t - 4 = 2*u. Solve 5*g - 41 = 4*m, -3*g = 4*m - t*g + 31 for m.
-4
Suppose v = 4*l - 5, -v + l = 4*v + 6. Let n be (0/(-4))/(v*2). Solve n*f + 3*u + 9 = -2*f, f - 5*u - 2 = 0 for f.
-3
Suppose 3*u + 11*x = 6*x - 5, -3*u + 27 = -3*x. Solve g - 3*o + 15 = -g, -o = -3*g - u for g.
0
Let c = 138 - 133. Solve -2*u + 14 = 4*i - c*u, -5*u = 4*i - 30 for i.
5
Suppose -4*r + 396 = 2*r. Let l = 79 - r. Solve 0 = -4*h + 5*j - 4*j + l, 3*j - 25 = -4*h for h.
4
Suppose -58 = -4*a - 42. Solve 0 = -y - a*n + 3, -5*y + 4*n + 1 + 14 = 0 for y.
3
Let u(x) = -105*x - 615. Let s be u(-6). Solve 4*m - 5*z - s = -2, -2*z - 19 = 3*m for m.
-3
Suppose 36 - 11 = 5*n. Let x(d) = -d**3 + 6*d**2 - 6*d + 7. Let h be x(n). Solve h*q + 2*v = 6, 0*q + 5*v = -4*q + 14 for q.
1
Let p = 16 - 16. Suppose p = 8*c - 9*c. Solve 0*f + f = 2*s + 6, c = f for s.
-3
Let p be (25/20)/((-9)/(-36)). Solve 5 = h + 3*j, -5*h - p*j = -9*j + 13 for h.
-1
Let c(w) = w**3 + 4*w**2 + 4*w + 3. Let g be c(-2). Let h(z) = 4*z + 4*z + z - g + z**3 - 9*z**2. Let l be h(8). Solve l*f - 2*u = -17, 5*f + 10 = u - 6 for f.
-3
Suppose 8*z = 7*z + 25. Suppose 0 = 3*w + 8*b - 4*b + 5, 2*w - z = 3*b. Let d = 0 - -3. Solve -w*y = -5, 0 = 2*h + d*h - 2*y + 2 for h.
0
Let o = -15 - -15. Suppose 0 = -c - 3 - o, -43 = -4*n + c. Solve -5*k - 3*h = 2*h + n, 4*k - h = -13 for k.
-3
Let l = -1 - -12. Suppose -5*r + 3*i - 30 = 0, 0 = r + 2*r + 4*i - 11. Let d = l - r. Solve -4*s = 3*n - 0*n - d, -5*s = -n - 8 for n.
2
Suppose -252 = 16*l - 44*l. Solve 2*n - u - 7 = 0, l = 5*u - 6 for n.
5
Let v be (-5)/(((-3)/((-18)/10))/(-1)). Solve 3*k + 6 = -v, -2*o - 4*k = 22 for o.
-5
Suppose 0 = -12*l - 17 + 65. Solve b + 4*s = -5, 3*b + 4*s + l = -3 for b.
-1
Let b(y) = 2*y**3 - 11*y**2 - 17*y + 66. Let o be b(6). Solve -5*x - 4*a = -4*x, o = x + 5*a for x.
0
Let w be 16/((-80)/(-45)) - (5 + 0). Suppose 6*v + 3*f = 2*v - 3, -f - 1 = 3*v. Solve -s = 4*s + w*y + 12, v = -2*y - 6 for s.
0
Let u(k) = 26*k - 22. Let m be u(1). Solve t - 13 - 6 = 4*f, 29 = -5*f - m*t for f.
-5
Suppose 3*x + 2*p - 25 = -0*x, 0 = -x - 2*p + 15. Suppose -m = 6*m - 21. Solve -m*r = -x*k + 4, k - 3 = -2*k + 2*r for k.
-1
Let y = 624 - 621. Let n be (2 - (-1 + 3))/(-2). Suppose 3*t - 21 = -b, -4*t + 4*b = 3*b - 35. Solve 4*v - x = n, -5*v - y*x + t*x = 0 for v.
0
Suppose -i + 2*l + 1 = l, 0 = -3*i - 2*l + 18. Solve -4*w = -6*x + 3*x + 29, -x - 17 = i*w for x.
3
Let n be ((-104)/(-117))/4 + 86*2/36. Suppose 0 = -5*c - 6 + 21. Let q be (-11)/(-3) + 1/c. Solve 4*o + 12 = q*g, 0*o - n*g = o - 27 for o.
2
Let f = 27 - 9. Suppose o - f = -8*o. Let y be -1 + (4*1)/2. Solve 3*p + 4 = y, -5*v = -o*p - 27 for v.
5
Let j be (-1)/(2/(-24) - 0). Let q be (4/(-6))/(46/j - 4). Solve 5*o + 21 = u, 4*o + 12 = -0*o - q*u for o.
-4
Suppose -209 = -6*k - 179. Solve -c = 3*s - 3, s + 2 = k*c + 3 for s.
1
Let u(y) = y**3 + 8*y**2 + 6*y + 3. Let z be u(-7). Suppose 6*p - 14 - z = 0. Solve -5*h + 4 = -d - 3*h, -3*d = p*h - 28 for d.
4
Let g(d) = -5*d**3 - 1. Let n be g(1). Let w be (-8 - n)/(2/(-76)). Suppose w = -h + 5*h. Solve 2*a = -4*p - 2*a - 12, -5*p - h = 3*a for p.
-5
Let n(b) = -b**2 + 5*b - 6. Let k be n(3). Let f(x) = 3*x - 4. Let y be f(2). Let i be 2 - y/(4/(-6)). Solve -4*g + 3*t - 6 + 15 = k, g - i*t + 2 = 0 for g.
3
Let j be (2/(-2))/((-2)/6). Let i be (-4)/30 + (-64)/(-30). Let t be ((-16)/(-16))/(i/8). Solve t*o - 15 = 5*y, 2*o = j*o - 4*y - 1 for o.
5
Suppose 0 = -4*a + 77 + 35. Let m = -24 + a. Solve u - 3*u = 2*f + m, 3*f - 34 = 5*u for f.
3
Suppose -22*h = -20*h - 5*b - 35, 0 = -h - 3*b - 10. Solve -4*j - h = 3*q + 3, 0 = -2*q - j - 7 for q.
-4
Let t be (-6)/4 + 621/(-18). Let n be 8/(-36) + (-224)/t. Suppose n*j = 7*j - 5. Solve 3*q = 5*r + 40, q + r - j = -q for q.
5
Let h = 1 - 11. Let p be (8/3)/(h/(-15)). Suppose -p*v + 3 = -5. Solve a = 5*s + 14, -v*s - 5*a = -2*a + 9 for s.
-3
Let o(y) = -y**2 - 12*y + 304. Let u be o(-24). Solve p - 12 = -5*g + 11, g - u = -4*p for p.
3
Suppose 0 = -50*n + 46*n + 24. Solve -d - n = -w, 3*w - 16 + 1 = 2*d for w.
3
Suppose -4*s - 2*w = -4, 0 = -s - 2*w - 257 + 252. Let l(j) = -j**2 + 5*j - 3. Let u be l(3). Solve 2*f - u = -f, -28 = 5*m - s*f for m.
-5
Let o(t) = -t**3 - 6*t**2 - 15*t - 24. Let u be o(-4). Solve -4*f - 9 = -2*v + 9, -u*v - 4*f - 24 = 0 for v.
-1
Let d(f) be the third derivative of -f**4/12 + 8*f**3/3 + 22*f**2. Let o be d(6). Solve 4*k + 4*r + 12 = 0, o*k + 5*r = -14 + 1 for k.
-2
Suppose 4*q = 3*q. Suppose q*f = -2*f + 3*f. Solve 0*p + p = 4*z - 10, -3*z + p + 7 = f for z.
3
Let u be ((-3)/(-6))/(3/(-168)). Let c = 18 + u. Let n(o) = o**2 + 9*o - 9. Let f be n(c). Solve -i - 3 = -d, 5*i + f - 18 = -3*d for i.
1
Let v(d) = -d**2 - 7*d + 12. Let i be v(-8). Solve 0 = t - i*m - 2, -3*t - m - 4 = -5*t for t.
2
Let s(w) = -4*w**2 + 6*w**2 - 3*w**2. Let u be s(0). Suppose 8238*g - 8148*g - 360 = 0. Solve 0*q = -4*q + g*i - 16, u = 5*q - i for q.
1
Let p = 19 - 11. Suppose 52 = 4*h - 2*i, -24 - 23 = -5*h - 2*i. Let t = h - p. Solve -5*c = -t*n + 16, -n + c = -2*n for n.
2
Let k = 271 + -267. Solve 0 = 3*l - 5*b + 13 + k, 8 = -l + 4*b for l.
-4
Suppose -5*a = 3*u - 15, 0*a + 9 = 4*a + 3*u. Suppose 11*c = 13*c - a. Solve s = -c*f - 8, 0*s = -3*s - 2*f + 4 for s.
4
Let t(i) = -3*i**3 + 4*i**2 - 2*i + 2. Let c be t(2). Let s = -6 - c. Solve -12 = -s*p, -x = p + 3 - 2 for x.
-4
Suppose 0 = -5*i - 3 + 13. Let q(o) = o**3 + o**2 + o - 6. Let k be q(0). Let s = k - -9. Solve s*t + 3 = -i*d + 9, -4*d = -3*t + 6 for d.
0
Let o(d) = d**2 + 13*d + 3. Let i be o(0). Solve i*a + 3 = -4*z - 4, -3*z = 3*a + 3 for z.
-4
Suppose -10*o + 8*o = 4*j - 52, -j - o = -11. Solve -n = -3*n - 5*c + 22, -5*n + 5*c = j for n.
1
Let f = 61 + -33. Let l = f + -25. Solve -l*p + 5 = 2*z, -2 = z + 3 for p.
5
Let x be (-4 - (-12 + -1))*1. Solve 0 = -u - 1, 4*u = -3*t + x*u -