5*t + 4*w = -30 for t.
-2
Let p = 6 - 3. Suppose -7 = 4*d - u - 29, 0 = 5*u - 10. Suppose -c + 2*c - d = 0. Solve -4 = -2*w - 5*m + 2, -2*w - p*m = -c for w.
3
Let z be 7/14 - (57/(-6) + 1). Let q = 1 - 1. Let l = z - q. Solve -4*a = g + 12, -a - l = 4*g + 2*a for g.
0
Let t be 2072/70 + 2/5. Let l be t/(-40) - (-45)/12. Solve -5*x = -0*x - 4*n - l, 12 = 5*x - n for x.
3
Suppose 4*r - 4*b = 36, 3*r + b - 52 = -b. Let f be 1*r + -18 + 16. Solve -2*o - 4*y = o - f, 3*o + 5*y = 12 for o.
4
Suppose 3*y - 5*o - 37 + 7 = 0, -y = o - 2. Suppose 0 = -y*a + 267 - 112. Solve -4*w - 9 = 5*c, -4*w + 3*c + 0*c = -a for w.
4
Suppose -l + 9 = 5*m, -2*m + l + 4 = -1. Suppose 4*y + 2 - 57 = i, 0 = 3*i - 3*y + 192. Let w = 69 + i. Solve -3*f - f + 3*z + 6 = 0, -w*f = m*z - 10 for f.
3
Suppose 4*d - 2*d - 4 = 0. Let l = d + 19. Solve -3 = 2*n + q, 5*n - 2*q = -0*q - l for n.
-3
Let l = -68 - -71. Suppose u = l*s - 8, 3 = -5*s + 5*u + 23. Solve 4*h + 2*t = -16, 0*t + s*t - 11 = 5*h for h.
-3
Suppose 3*y = 2*l - 3*l + 21, 2*l - 5*y - 53 = 0. Let p be (-32)/l*1/((-6)/9). Solve -3*z + p = -r - 10, z - 4 = 5*r for z.
4
Suppose 0 = -0*s - 2*s. Let h(c) = c**3 - c**2 - 2*c + 2. Let x be h(s). Let v = 3 - 0. Solve v*b + l = 4*b + 9, 3*l - 23 = x*b for b.
-4
Suppose 6*c - b - 33 = c, -5*c - 5*b = -45. Solve -u - 5*x - 9 = 0, -3*x - 4 = 2*u + c for u.
-4
Let t = 2 + 10. Let q be 36/15*(-7 - (-155)/15). Solve -3*y = -n - 0*n - t, -2*y = -q for n.
0
Suppose 3*x + 7 = x + 5*k, 2*k = -5*x + 26. Suppose -5*i + i - 4 = 0, -5*j + x*i + 29 = 0. Solve -j*d - 10 = 2*t - 5, d + 28 = 5*t for d.
-3
Let l be (-12)/(-8)*(0 + 2). Suppose 2*u + 4*v = l*v + 35, 0 = v - 3. Solve -m - m - 4*s = u, 0 = s + 4 for m.
0
Let a be (-1)/(-2) + -1*(-39)/(-6). Let r be a/(-4) + (-30)/(-20). Solve -19 = 4*m - 2*x - r*x, 5*x = -4*m + 11 for m.
-1
Suppose 4*k = -k - 2*k. Suppose 0 = 10*b - k*b. Solve h + 8 = -b*h + 5*q, 2*h - q = 2 for h.
2
Let d be (0 - -1)*(-5)/1. Let h be (1 - -1) + -4 - d. Let x(l) = -2*l**2 + 10*l - 7. Let g be x(4). Solve -5*o = -4*t - 3, -h*o + g = -4*t - 4 for t.
-2
Let d be 4 + -4 + 4 - 0. Suppose d*g - 9 = 5*v, -v - 2 = -g - 0*v. Let w be 0/((-3 + g)*1). Solve 2 = o + 3*i - w*i, -o = -4*i + 5 for o.
-1
Suppose 0 = -n + x - 3, 0 = -2*x - 2*x + 12. Let j = -20 + 10. Let s = -6 - j. Solve 4*q - s*v + 1 + 3 = n, -5*q - 4*v = 14 for q.
-2
Suppose 0 = 5*t - 3*t - 270. Suppose -5*l - r + 2*r + t = 0, -3*l + 53 = 5*r. Let o be 38/9 + l/(-117). Solve -o*a = 3*x - 10, -x + a = 3 - 4 for x.
2
Let k(c) = -2*c**2 + 30. Let y be k(-6). Let d = 42 + y. Solve d = -4*r - 3*x - 5 + 2, 3*r - 5 = 5*x for r.
0
Let d(b) = -b**3 + 20*b**2 - 4*b + 13. Let a be d(20). Let h = 67 + a. Solve h = -s + 3, 2*s + 14 = -5*c - 0*s for c.
-4
Let m = -122 - -46. Let y be 1/((-80)/m + -1). Solve -5*k + k = 5*z + y, -2*k = 4*z + 14 for z.
-3
Let j(b) = b**3 - 21*b**2 + b + 16. Let i be j(21). Let r be (-194)/6 - 6/9. Let x = r + i. Solve -2*d = -d - 3*l - 11, -x*d + 3*l = 1 for d.
-4
Let j(z) be the second derivative of -z**3/2 - z**2/2 - 8*z. Let o be j(-2). Suppose 0 = 2*x + o + 1, -f - 2*x = -14. Solve -5*r = f, 2*g - r + 1 = -3 for g.
-4
Let p be ((-18)/(-4))/(5/10). Suppose 0 = -11*m + p*m + 4. Solve 0 = -m*x + x, 5 = -5*v + 2*x for v.
-1
Suppose 3*w + 8 = 17. Let d(p) = p**3 + p + 12. Let c be d(0). Solve -c = 5*l - 2*l - w*j, -l - 6 = -2*j for l.
-2
Suppose 5*r + 3*m - 21 = 0, 0*r + 5*m = -4*r + 22. Solve 0*h + 9 = -r*k + 5*h, -3*h = 0 for k.
-3
Let n be (-2)/(-6)*((-37)/(-1) + -1). Solve 4*o = -4*d - n, 16 = -3*d + 2*o + 2 for d.
-4
Suppose 0 = -3*d + 2*v + 74, -54 = -0*d - 3*d - 3*v. Solve -2 = 4*a - 4*q + d, -12 = 5*a + 4*q for a.
-4
Let x = 790 + -788. Solve 5*p - 6*m + 9*m - 3 = 0, x*p = -4*m + 4 for p.
0
Let k = -7 - -10. Suppose -7*z + 128 = -k*z. Solve 0 = 4*m - 4*o + z, -2*m + 4*o - 8 = 16 for m.
-4
Let h be 0 - (-57)/(-6) - 8/16. Let y = h - -12. Solve 0 = 5*z, -z + 2 = y*n - 0*n for n.
1
Suppose 0 = 22*f - 2*f - 280. Solve f + 3 = -5*g + 2*c, -g = -c + 4 for g.
-3
Let t = 0 - 0. Suppose 3*c = 3*y + 5*c - 31, c = 3*y - 16. Suppose -5*u + 53 + y = 0. Solve 3*d + k = -t*k + 12, 3*k = -d + u for d.
3
Suppose 3*h = -3*k + 18, -5*h = -k + 6 - 12. Solve 5*n - 10 = h*x, 3*n = -0*n - 2*x + 22 for n.
4
Let j(r) = -2*r - 7. Let x be j(-6). Let m be -1*3 - 0/11. Let c be m*2/(-2) + -3. Solve -3*d + 2*a - 4*a - 6 = c, -4*d = x*a + 8 for d.
-2
Suppose 0 = 2*m, 3*s + 2*s - 3*m = 50. Solve 4*z = 20, 4*k + 3*z = -k + s for k.
-1
Let u be -4*((-6)/30)/(8/30). Solve 5*v - u*x - 11 = 0, 2*x - 23 = -2*v - 3*x for v.
4
Let k(d) = 2*d**2 - 45*d + 22. Let h be k(22). Solve -3*j = -h*j + 12, 5*j = 4*b - 24 for b.
1
Suppose -6 = -2*v - v. Let b(u) = -74*u + 10. Let o be b(2). Let r = o + 143. Solve -3*m = -2*l - r, -l - v*l = 2*m + 14 for m.
-1
Suppose 11*n - 7*n = -3*q + 29, 3*q = -5*n + 34. Solve -q = 3*l - 3*r, -10 = 6*r - r for l.
-3
Let w = -313 + 317. Let o(n) = n**3 + 10*n**2 + 8*n - 9. Let m be o(-9). Solve m = -3*i - w*r + 26, -3*i + 3*r = 2*i + 5 for i.
2
Let a = -140 + 52. Let u be ((-18)/8)/((-33)/a). Let r(s) = -s**2 - 7*s - 4. Let j be r(u). Solve x + 1 = 0, -j*f - 6*x = -x + 7 for f.
-1
Let z = -1008 - -1014. Solve 0 = t + 4*c - z, c - 1 + 9 = -5*t for t.
-2
Let a be (-9)/(-2)*(-8)/(-18). Suppose -v + 2 = -1. Suppose -u - a*u + 17 = b, 0 = -v*b + u + 11. Solve b*z - 5*w - 11 = 19, 4*w + 4 = -z for z.
4
Let o = 951 - 939. Suppose -4*w - 28 = -4*p, 0 = -5*w - 5*p + 6 - 91. Let t be (-45)/w + (-9)/o. Solve 3*y - 2*n - 2 = -0*y, t*y = -5*n - 5 for y.
0
Let d(x) = x - 23. Let m be d(25). Solve -q + 1 = -6*v + 8*v, 2 = -m*q for v.
1
Suppose 3*c - 3*j = 24, -c + 44 = c + 5*j. Solve -c = -2*z + 2*b, 0 = -z - 3*b + 2*b - 2 for z.
2
Let d = -91 - -94. Let t(c) = c**2 + 1. Let s be t(2). Suppose 2*p - 22 = -0*v - 4*v, 5*v + 10 = s*p. Solve -d*o - 5*h + 1 = -0*o, 0 = -2*o - v*h for o.
-3
Suppose 3*l = 246 - 240. Solve 0*c = -c - l*w - 10, 0 = 4*w + 20 for c.
0
Let z = -1533 - -1536. Solve z*y + 4*p = 18, 3*p = -y + 13 - 2 for y.
2
Let o(s) = 45*s**3 - s**2 - s + 2. Let h be o(1). Suppose n + 4*n - h = 0. Solve -2*j = -2*x - 4, -2*j + n + 1 = 4*x for x.
1
Suppose 4*f - 18 = -50. Let a be f/(-3) - (-1)/3. Solve -2*n + a - 1 = 0, -5*q - 4*n = -4 for q.
0
Suppose 0 = -2*f + 2 - 8. Let g be (-60)/(-9) - 6/9. Let o be (3/(-2))/(f/g). Solve -5 - 1 = a - o*h, 5*h - 11 = 2*a for a.
-3
Suppose 0 = 2*p + 8, 3*v + 0*p = -2*p + 31. Suppose 6*b + 1 = v. Solve -l = 3*q + b + 6, -3*q = -l + 10 for q.
-3
Let i = -173 + 176. Solve -4 = -i*b + 5*o + 8, -1 = 4*b - o for b.
-1
Suppose -5*a - 3*n = -55, 2*a - 5*a + 5*n - 1 = 0. Solve -3*r + 5*j = -4 - 3, 3*r - 4*j = a for r.
4
Let j be (-42 + -4)*(-6)/4. Suppose -2*c = 4*b - 66, -4*b - b + 2*c = -j. Let o be b/6 + (-3)/(-6). Solve -5*m - 4 = -3*v, o*v = -m + 2*m + 8 for v.
3
Let i be (2*5)/((-3)/((-12)/8)). Solve -4*p - 3 = -i*v - 23, -2*v = 3*p - 15 for p.
5
Suppose -3*h = 4*x - 11, -21 = -2*h + 4*x - 7. Solve p - 3 = h*a, -2 = -p + 3*a - 1 for p.
-2
Suppose -4*j + 5*c - 2*c + 19 = 0, 0 = 2*c + 2. Let o(s) = -3*s - 1 + 3*s**2 - j*s**2 - s**3 - s**2. Let w be o(-2). Solve -3*g - 2*l = 1, 4*g = -w*l + l for g.
-1
Let d(n) = 6*n - 4. Let k be d(9). Let r be 880/k + (-6)/10. Suppose -5*y + 13 = -5*z - r, 0 = y + z - 10. Solve w = 3*o - 13, 0 = -o - o + y for w.
-1
Suppose 212 = -4*k - 228. Let b = k - -113. Solve -b*r - 4*s = 11, -2*s - s = -5*r + 30 for r.
3
Suppose p + 40 = 2*p. Let a = -55 + 59. Suppose -a*r = r - p. Solve -4*l = 5*z - 16, 0 = -3*z + 8*z + 2*l - r for z.
0
Let p = 61 + -59. Suppose 5*u - u = -p*m + 12, 5*u = -m + 15. Solve -16 = -m*n - 3*n + 2*t, 0 = 4*n - t - 18 for n.
4
Let i(q) = -q**2 - 7*q - 2. Let v be i(-6). Suppose 0 = 7*p - v*p - 9. Solve p*n = 3*x, -n - 3 = -3*x - 7 for x.
-2
Let s(f) = -f**2 + 15*f - 8. Let z be s(16). Let i = 49 + z. Suppose k - i = -4*k. Solve 0 = -3*l + k*d + 22, l + 3*d = 3*l - 14 for l.
4
Let k be (-3*(-2)/(-6))/(17/(-51)). Solve -2*v - k*v = -2*z - 5, 3*z = -4*v + 4 for z.
0
Let l be (-12)/(-10)*(-360)/(-27). Suppose -h - 7 = -l. Solve -3*b - 3*s + h - 3 = 0, b - 14 = -4*s for b.
-2
Suppose -5*v - 11 = 4*l, 0 = -l - 2*v + 1 - 3. Let b be 0/(l/10 + 21/(-35)). Solve -p - 3*i = -6, 4*p - 8 = 4*i - b*i for p.
3
Let q(s) = -s**3 + 8*s**2 -