 - 12 for j.
2
Suppose 253 = -4*z + 273. Solve -5*w = 4*y - 5 - z, -2 = -w - y for w.
2
Suppose 5*t = 3*t + 58. Let f = -22 + t. Solve 4*u + f = 5*j, 0 = 2*j + 5*u + 8 + 9 for j.
-1
Let t(u) = u + 2. Let m be t(-1). Suppose -r - r = 3*z - 23, -z = -r - m. Let k = 3 - -2. Solve -6 = r*p - 3*a, k*a - 5 = -5*p - 30 for p.
-3
Let r = 665 - 662. Solve 0 = -4*b + 3*k + 27, 4*b - b = -r*k - 6 for b.
3
Let z = -11 - -14. Let y be (-12)/18*z/(-2). Let h be 1/(y - 2) - -16. Solve x - 2*o + 3*o = 0, -2*o = -x - h for x.
-5
Suppose 9*p - 25 = -4*w + 6*p, -3*w + p = -22. Solve -3*i - i + 5*n - w = 0, i - 2 = 5*n for i.
-3
Suppose -22 = -4*u - p, 3*u + 5*p = u + 20. Suppose -2*o = -16 - 42. Solve 9 - o = -5*f, 4*g + 16 = u*f for g.
1
Let t be (-30)/(-8) + 3/12. Let o = -57 - -87. Let v = o - 26. Solve -v*u = -2*s + 2, s + t + 7 = -2*u for u.
-3
Let j(u) = 5*u**2 + 2*u - 3. Let i be j(3). Suppose s - i = -3*s. Let f be ((-8)/s)/(3/(-18)). Solve -4*d - f*z - 24 = 0, 27 = -5*z + 2 for d.
-1
Suppose 0 = m - 3*h - 10, 2*m + h + h = -4. Let w(k) = 3*k**2 + k - 1. Let f be w(m). Suppose 1 = 2*j - f. Solve -j*y + 2 = -y, 3*s + 15 = 3*y for s.
-3
Let w(c) = c**2 - 3*c + 10. Let v be w(3). Solve -2*a = 3*a + v, -6 = -4*y - 3*a for y.
3
Suppose -4*n = 6 - 6. Let b = 10 + 15. Suppose 6*g + 7 - b = n. Solve -2*c - 14 = -3*i + 5*i, -g*i - 7 = -4*c for i.
-5
Let a(z) = -11*z**2 + 11*z + 2. Let p be a(1). Solve -3*u = -w - p*u, 3 = -4*w + u for w.
-1
Suppose -5*k + 80 = 4*a, -2*a + 16 + 2 = -3*k. Let i = 22 + -11. Let r = i - 8. Solve 3*z - 2*v = -a, 0*z - 12 = z - r*v for z.
-3
Let z(o) = o**2 + 10. Let f be z(0). Suppose 2*k + 5*a = 43, 4*a - f - 10 = -k. Let v be k/(-36) - (-17)/3. Solve v*i - 4*l = -0*i + 2, i - 1 = l for i.
-2
Let n = 239 - 130. Suppose -11*m - 21 = -n. Solve -2*i + 4*r - m = -i, -3*i - 4*r = 8 for i.
-4
Let a = 152 + -94. Suppose -32 = -6*m + a. Solve 0 = 4*i - 5*i - d, i + m = 2*d for i.
-5
Let a be -3 - -3*3*1. Let c(k) = 2 + 4*k**2 - 2*k**2 + 6*k - k**2. Let o be c(-6). Solve 4*u + a = o*h, 0 = -h - 3*h + 4*u + 12 for h.
3
Let h be (3/(-2))/(3/(-18)). Suppose 3*p = 5*g + 75, -3 = -p + g + 20. Let u = 28 - p. Solve 0 = -2*f + w + h, -2*w + u - 23 = -3*f for f.
3
Let x be ((-6)/10)/((-7)/(-35)). Let i be x/12 + 89/4. Let n = i - 19. Solve -b - 12 = -4*d - 0*d, -n*d + 9 = -3*b for d.
3
Let u = 0 - -4. Let j be u/(-10) - 54/(-10). Let x = -2996 + 2998. Solve z - j = x*z - b, 2*b = -z + 1 for z.
-3
Suppose 4*j + z - 29 = -0*j, -5*z + 13 = -2*j. Let r(u) = -6*u + 39. Let t be r(j). Solve 5*x - 2*x + 9 = t*a, -4*x + 8 = a for x.
1
Suppose 16*z - 14 = 66. Suppose -2 = 2*a, 3*b - 4*a + 3*a = 61. Suppose -z = -5*x + b. Solve -x*g + 45 = 5*w, 0 = 5*w - 2*g + 2 - 12 for w.
4
Let n(p) = 8*p + 45. Let x be n(-10). Let w = x + 37. Solve 5*j = -4*v + 3, w*j - 4*j + 4 = 3*v for v.
2
Suppose 140 + 20 = 8*v. Solve 3*h = 5*k + 12, 0 = 4*h + 2*k - v + 4 for h.
4
Let z be -1*((-5)/(-1) - 8). Solve d = -3*s + 5*s - 7, z*d = -2*s - 13 for d.
-5
Suppose -2*o + 2*z = -26, 4*o - 3*z + 29 = 5*o. Solve 0 = s - n + 6, -2*s - 2*n + o = -5*s for s.
-5
Suppose 4*s + 2*f = 3*s + 8, -4 = -3*s - f. Suppose 3*x + x = s. Solve x = 3*c - 3*o, o + 4 = 6 for c.
2
Let h(s) be the third derivative of -s**4/4 - 7*s**3/6 - s**2. Let b be h(-6). Let j be (3/(3/4) + 4)*(-2)/(-8). Solve 4*o + 2 = j*v, 5*v - b = -o - o for v.
5
Let v(b) = b**3 - 3*b**2 - 13*b + 2. Let m be v(6). Let p = m + -29. Solve 3*h = 4*w - 11, 21 = p*w + 6 for h.
3
Let u be 0*(-2)/(-4)*1. Let c be 6/(-18) + (-40)/(-3). Let i = -10 + c. Solve u = -i*r - 5*s - 2, -s + 5*s = -2*r for r.
-4
Let q = 53 + -49. Suppose -q*w + 0*x = -x - 8, 0 = -5*w + x + 11. Solve -2*v = w*u - 1, 3*u - 3 = -3*v + 3 for u.
-3
Suppose -2*h + 39 = 5*c, 10*c - 25 = 5*c + 5*h. Solve -3*f + 5 = -2*u + 6, 0 = 5*u - 3*f - c for u.
2
Let p be 2*(-5)/(-2) + -1. Suppose 0*r - 20 = -p*r. Suppose 4*i + 2 = r*i. Solve -t + 2*d = -3, 4*t - i*d - 15 = 3*d for t.
5
Let s(z) be the first derivative of 5*z**2/2 - 14*z + 4. Let l be s(4). Solve -5*y = -4*y + 3*w + 2, 5*w + l = -y for y.
4
Let t(j) = 14*j - 1. Let v be t(1). Suppose 0 = -5*w + 2*h + 15, -5*h - 12 - v = 0. Let q be 24 + w + (-3)/1. Solve -3*m - 1 = 2*r + 9, 5*m + q = 2*r for m.
-4
Suppose -2*u - 3 + 7 = 0. Suppose 3*s + u*n - 2 = 0, 0 = -3*s + 2*n + 5 + 5. Solve s*j - 3*t = -8*t - 29, 0 = -5*j - 5*t - 35 for j.
-2
Let q = -1 + 6. Suppose 2 = -q*j - 43. Let r = j + 13. Solve 4*t = 3*m + 10, -4*m - r*t + 24 = -0*t for m.
2
Let d = 11 - 8. Suppose -199 = -53*t - 40. Solve i - r = -4*r - 2, 0 = -d*i + t*r + 18 for i.
4
Suppose 21*n - 23 = 19. Solve -3*o + 5 = -5*q - 0, 4 = n*q for o.
5
Let i = 17 - 22. Let p be (220/(-8))/i*2. Suppose 2*l = -3 + p. Solve l*u = n - 15, -2*u - 3*u + 2*n - 18 = 0 for u.
-4
Suppose 4*x = -3*d + 58, -x + 2*d + 0 = -9. Solve 3*k - p + x = 3, 2*p = k - 5 for k.
-5
Suppose -7*v + 59 - 45 = 0. Solve 0 = -h + v*t + 2 - 9, h - 13 = -2*t for h.
3
Let b(g) = 2*g**3 - 5*g**2 - 2*g - 2. Let w be b(4). Let h = w - 29. Solve 0 = -3*a - h, -3*u + a = -a for u.
-2
Suppose 56*i - 128 = 94 + 58. Suppose -2*t + 3*t - 4 = 0. Solve 0*a - i*a - u = 7, -5*a + 3 = -t*u for a.
-1
Suppose 3*j - 61 = 2*v, j + 2*v + 42 = 3*j. Suppose 0 = -4*s + 59 - j. Solve 2*w + 3*t = -7, 4*w - 4*t = -14 - s for w.
-5
Let s = -28 + 54. Let c = s - 24. Solve c*k = -3*a, -k = -0*k - 5*a + 13 for k.
-3
Suppose 161 = 6*m + m. Solve 3*j - 4*d - m = 0, 3*d = -0 - 6 for j.
5
Let b(i) = 71*i - 276. Let s be b(4). Solve -5*w = -t + s, 5*w + 4*t + 2 = 3*t for w.
-1
Suppose -21 = -2*f - 17. Solve -5*s - f*y + y = -24, -2*s + 7 = 3*y for s.
5
Let g(o) = -7*o**2 + 1. Suppose 7*t - 5 = 2*t. Let a be g(t). Let p be (a/4)/(9/(-60)). Solve -p = -5*i, i - 8 = 5*z - 3*i for z.
0
Suppose 4*a = -2*i - 2*i + 4, i = -2*a - 2. Let n(c) = c + 7. Let o be n(a). Let s be (-2)/(-4) + o/(-8). Solve -x = -4*u + 15, s = 3*x + 2*u + 3*u - 23 for x.
1
Let h = -86 + 89. Suppose h*y + 70 - 79 = 0. Let o = -1 + 4. Solve -3 = -y*i + 2*d, -4*i + o*d + 4 = -0*i for i.
1
Suppose -375 = 5*z - 3*n, 4*n = -0*n - 20. Let h = -55 - z. Let s = h - 21. Solve s*g - 2*m - 9 - 5 = 0, -4*g + 1 = 5*m for g.
4
Let m(b) = 3*b - 4. Let s(r) = r. Let j(k) = 2*m(k) + 6*s(k). Let u = -132 - -136. Let w be j(u). Solve 3*f - w = -5*v + 8*f, 2*f + 4 = -2*v for v.
3
Let t(l) = l**3 + 3*l**2 - 3*l + 2. Let r be t(2). Suppose x - 31 = -r. Solve -4*a - 5*h + 17 = 0, -5*a - x - 20 = -5*h for a.
-2
Let z(t) = 3*t + 36. Let g be z(-8). Suppose 0*l - 2*n + g = l, 8 = l + n. Solve -3*o - 10 = 5*h, 0 = -2*h - 3*o + o - l for h.
-2
Suppose -5*w + 33 = 4*u, -3*w = -7*w + 5*u + 10. Suppose n + 1 = w. Let q(b) = b**2 - 4. Let x be q(-3). Solve -4 = x*r - n*f + 5, 2*f = 5*r + 17 for r.
-5
Let p(s) = s**2 + 15*s - 51. Let l be p(3). Solve -5*y + 6*d + 15 = 10*d, l = y - 4*d for y.
3
Suppose 0*w - 5*w = -40. Let n(x) = -x**3 - 2*x**2 - 3*x - 2. Let l be n(-1). Let g be (l - -2) + (-7 - -5). Solve -2*r + 3*k + g = 5, 0 = -3*r + 5*k - w for r.
-1
Let c be (-49)/(-6) - (4 + 161/(-42)). Solve -3*s + 3*d + c + 1 = 0, s + 1 = 5*d for s.
4
Suppose -4*t = -4*k - 44, -2*t - 3*k = 2*k - 15. Let l = 12 - t. Let d be -2 + l - (5 + -8). Solve 4*f - 14 = -d*w, 5*f - 9 = -5*w + 6 for f.
5
Let c be 4/(-4)*6*1. Let d be c/2 - (-150)/5. Suppose d = 4*y - 5. Solve 2*t - 3*q + 13 = 0, 2*t + 27 - y = 5*q for t.
-2
Let c(o) = -o**2 + 13*o + 6. Let d be c(0). Solve 2*q + 2 = -2*a, -5*q + 3 = -2*a - d for a.
-2
Let j(d) = d**3 - 6*d**2 + 3*d + 11. Let k = -42 - -47. Let y be j(k). Solve 3*i - v + 8 = v, -5*v + y = 2*i for i.
-2
Let o(t) = t**2 - 8*t + 18. Let n be o(2). Let s be (-1)/(-3)*72/8. Let m(h) = h + 2. Let u be m(s). Solve 0 = u*c + 4*g - 12, -g = -3*c - n*g + 2 for c.
4
Suppose 2*f - 2*v + 5*v - 4 = 0, 5*f - 44 = v. Let u = -87 + 89. Suppose d = -0*d + 5. Solve d*a - 2*b - 1 = -14, f = u*b for a.
-1
Suppose -5*p = -4*t + 151, 1 = -t + 2*p + 41. Let b be (1 + -25)*t/(-51). Solve 0 = 5*w + 4*d - b, 6*w - 2*w + 4*d = 12 for w.
4
Suppose 2*n - 5*b + 4 = -7, 5*n - b = -39. Let v(z) = -2*z**2 - 21*z - 35. Let o be v(n). Solve -s - 2*r + 0*r - o = 0, 2*r + 3 = -3*s for s.
1
Suppose f = -4*f + 25. Let i be (32/(-5))/(2/(-5)). Suppose -17*z + 20 = -i*z. Solve s + f = 4*c, z = 5*s + 5*c - 5 for s.
3
Let b(x) b