b*t - 2 for r.
-2
Let n(w) be the second derivative of w**4/12 + 5*w**3/3 - 5*w**2/2 - 9*w. Let s be n(-11). Solve -2*m + 8 = 0, 0 = -s*o + 2*o - 2*m + 12 for o.
1
Suppose 6 - 21 = -5*r. Suppose -3*o = -2*m - 10, -3*o + 15 - 40 = 5*m. Suppose o = -4*u + 4 + 8. Solve -h + 0*h = 0, -u*s = -2*h + r for s.
-1
Let t(k) = k - 1. Let l(u) = u**2 + 2*u - 3. Let i be l(-4). Let m be t(i). Suppose m*b = 2*b + 10. Solve 0 = -2*c + 2*x + 2, -b*c - x + 2 - 9 = 0 for c.
-1
Let y(n) = 27*n**2 - 5*n + 6. Let j be y(1). Solve -2*q + q + 5*v = -j, -3*q - 1 = 2*v for q.
3
Let s(m) = -24 + 8 + 7 + 6 - 2*m. Let y be s(-4). Let h(a) = -a + 8. Let l be h(5). Solve -l*u = 7 + 5, -z + 23 = -y*u for z.
3
Let c(z) = z**2 - 3*z + 6. Let a be c(6). Let d = a - 21. Solve d*n - 4*b = 31, -3*n + 2*b - 5 = 7*b for n.
5
Suppose -7*c = 10*c - 187. Let i be (-4)/(-10) - 84/10. Let m = i + c. Solve 3*t = -m*g - 2 - 1, 3*g + 2*t - 2 = 0 for g.
4
Let a(f) = -4*f + 1. Suppose 0 = -h + 2*h + 2. Let x be (1 - -2) + h - 2. Let j be a(x). Solve -2*v = j*t - 6, -2*t + 3*v = 3*t - 16 for t.
2
Let j be ((-27)/(-18))/((-34)/20 - -2). Solve -2*c - j*x - 11 = -4*x, 2*x = 4*c + 10 for c.
-4
Let q = -36 - -40. Suppose 6 = q*s - 6. Solve -3*d - s*f = -2*d - 8, 0 = -2*d + 2*f for d.
2
Suppose -122 = -2*k + h - 3*h, 0 = -k - 2*h + 66. Suppose 0 = -9*q + 70 + k. Solve -2*a + q = 4*o, -o + 9 = 3*a + 2*o for a.
-1
Suppose 4*v - 132 = -16. Suppose -v*i = -33*i. Solve i = 3*h - 0 + 6, 2*j - 5*h = 12 for j.
1
Let p be 1 - (-1)/((-4)/8). Let c be 15 + -12 + p + 0. Solve -x = 3*f + 8, f + 8 = -c*x - 3*f for x.
4
Let j(u) = 9 - 6 + 0 + 5*u**2 - 2 + 2*u. Let o be j(-1). Suppose -z - o + 10 = 0. Solve 4*c = 2*w - 6*w - 8, 2*w = 3*c + z for w.
0
Suppose -5*r + 95 + 29 = -j, 20 = r + j. Suppose -3*b - r = -33. Solve b*p + 3 = 4*w, p - w + 2 = 1 for p.
-1
Suppose -f + 0*f + 3 = 0, -3*u - 3*f + 99 = 0. Solve -5*m + 4*q = -30 + 5, -5*m + u = -5*q for m.
1
Let g be 0*-1*(-2)/(-4). Suppose g*w - 5*w + 9 = -2*o, 4*w = 2*o + 6. Let y = 47 + -37. Solve 2*n - 4*z = -10, 0 = 2*n - w*n - z + y for n.
5
Suppose 5*d + 19 = 49. Let x = 100 - 97. Solve -2*q + 0*q + 12 = -4*i, 0 = -x*q + 2*i + d for q.
0
Suppose 0 = -4*x + 31 - 15. Solve 5*j - 21 = -4*f, 3*j - 4*j = f - x for f.
-1
Let x(v) be the second derivative of -v**3/6 + 3*v**2/2 - 11*v. Let g be x(-8). Solve -3*p - 5*r + 0 + 31 = 0, -3*p + g = r for p.
2
Let m(y) = y**3 - 16*y**2 + 16*y + 3. Let g be m(15). Let o = g + -16. Solve -3*u = 3*l, 0*l + 16 = -o*u + 2*l for u.
-4
Let v = 1 + -11. Let l = -17 - -29. Let a = v + l. Solve 0 = -z - 5*o - 13, z = 3*o - a + 13 for z.
2
Let c(v) = v**3 - 12*v**2 + 4*v - 14. Let m be c(12). Suppose 0 = 31*o - m*o + 15. Solve -u = z - 3 - 5, o*u - 10 = 5*z for z.
3
Suppose 0 = -4*o - 4*y + 84, 0 = 5*o - 0*y - y - 93. Let z be ((-2)/(-4))/(1/48). Let k = z - o. Solve 3*b = -2*q - 7, -3*q + b = k*b + 11 for q.
-5
Let k(l) = -7*l**2 + l + 1. Let p be (2/4)/((-1)/2). Let u be k(p). Let n = 10 + u. Solve 2*y + 2 = 4*z, -n = -3*z - 0*y + y for z.
2
Suppose -2*d + 13 = 5*i, -3*i - 5 - 4 = -3*d. Suppose -y + 48 = -d*y. Let j = y - -21. Solve 2*b + j = -2*g + b, 0 = 3*g + 3*b + 6 for g.
-3
Suppose 4*y - 13 = -3*x, -y = -5*x + 4*x + 2. Let w be (-4)/((2*(-3)/6)/x). Solve 0*a - 3*q = a + w, 3*q = -3*a - 6 for a.
3
Suppose -2*z = z + 24. Let o be z/28 + (-86)/(-7). Let q be o/24*8*4. Solve 0 = 2*u + 4*p + q, 4*u = p + 2*p + 1 for u.
-2
Let t be (8/(-10))/(6/(-15)). Let p(d) = 280*d - 1673. Let h be p(6). Solve t*u - h - 1 = 2*s, s + 6 = 3*u for s.
-3
Let i(w) = 3*w + 72. Let z be i(-23). Solve z*y - j = 2*y - 5, -2*j + 1 = y for y.
-3
Suppose -6 = -28*m + 26*m. Solve 2*o = 6, -8*l + m*l = 2*o - 21 for l.
3
Let f be ((-2)/6)/((-6)/72). Suppose 7 = -t + f. Let j be -5*((-7 - t) + 3). Solve -2*m = -5*b - 8, j*m - 7 = -3*b + 13 for b.
0
Let u(t) = t**3 + t**2 - 3*t - 3. Let y be u(-2). Let m be (4/y + 23)/1 - 2. Solve -2*l - 10 = 0, p + 0*p - 4*l = m for p.
-3
Suppose 0 = 700*y - 687*y - 104. Solve l - 3*h = 5, -3*l + 2 + y = -4*h for l.
2
Suppose 4*s + 4*s - 32 = 0. Solve s*x = -i, 3*x - 4*x = -5*i - 21 for x.
1
Suppose 0 = -14*z + 414 - 64. Solve -w + 4*u = -z, -5*w - 3*u = -2*u - 20 for w.
5
Let h be 1/((-1 - -5)/(-4))*-5. Suppose -h - 37 = -6*n. Solve -15 = 3*u, -5 = -n*g + 2*g - 3*u for g.
4
Let x be (-9)/6*4 - (-8 - 1). Solve 2*c = z - x, 5*z - 3*c + 5 = -1 for z.
-3
Let h = 340 + -331. Solve o + h = -o - t, 13 = -3*o - t for o.
-4
Let w be 17/(-3) - (-1)/(-3). Let o = -18 - w. Let c = 15 + o. Solve 3*f = -b + 17, -f + 2*f + c*b = 11 for f.
5
Let q(z) be the third derivative of -z**6/40 - z**4/24 - z**3/6 + z**2. Let s be q(-1). Solve -5*o + 25 = s*v, -5*o + 20 = -5*v - o for v.
0
Suppose -3*y = -y. Suppose y = -7*i + 21. Solve -5*z + 10 = -i*z, -k + 5*z = 26 for k.
-1
Suppose -m - 3*m + 120 = 0. Suppose -38 + m = 4*p. Let b be (-3)/((-2)/(-4)*p). Solve 0 = z - 4*v + 2*v + 8, b*v = -2*z - 2 for z.
-4
Let b(a) = -11*a**2 - 36*a - 3. Let s be b(-2). Solve -3*t - s = -8*t + 5*j, -2*t + 11 = -3*j for t.
4
Let z(s) = 4*s + 8. Let y be z(-6). Let u be (3/(-2))/((-12)/y). Let o be 4 - (u - 1) - 2. Solve -5*c + 15 = 4*m, -o*c = -4*m + 17 + 8 for c.
-1
Let h(r) = r**3 + 7*r**2 - 16*r + 18. Let i be h(-9). Solve -5*z + 26 = 3*t, -2 = -i*z + 2*z - 5*t for z.
4
Let s(y) = -7*y + 10. Let q be s(6). Let a = q + 34. Solve 0 = m - 3, 5*m - a*m - 1 = -4*t for t.
-2
Let u be (-2 + 1 + 2)*1*5. Suppose -u*o + 8 = -12. Let w(r) = -r**2 + 5*r - 2. Let j be w(4). Solve -13 = -o*n + z, -5*z = -j*n - 0*n + 29 for n.
2
Let u be (-10)/(-25) - (-2)/(-5). Suppose u = 3*t + 2*t - 35. Suppose -o + 1 = -i + o, -i + 5*o - t = 0. Solve -v - v + 17 = i*n, -30 = -5*v - 5*n for v.
1
Let g be (2/(-3))/((-6)/27). Let d(v) = -3*v**3 + 18*v**2 - 5. Let o be d(6). Let p be ((-44)/(-8) + o)*(-2 + 2). Solve y - w = 3, g*w = -p*w + 6 for y.
5
Let y(t) = 4*t**2 + 15*t + 8. Let z be y(-6). Let r = 65 - z. Solve r*q - 2*q = 2*b + 11, -2*q - 3 = b for q.
1
Let b(n) = 2*n + 3. Let w be b(0). Suppose 12 = -4*v + 5*a, -w*v - 5*a = -a - 22. Solve -5*g - 4*t = 24, g + v*g + 17 = -5*t for g.
-4
Suppose -p + 1 + 1 = 0. Suppose -p = -t + 6*t + 2*r, 3 = 3*t - 3*r. Suppose 4*h - 7*h + 39 = t. Solve -2 = 2*a - 4*k, k - 10 = -4*a + h for a.
5
Let h(b) = -3*b + 4. Let i be (-4)/(-6) - 44/66. Let w be h(i). Solve -2*m + 18 = w*n, 0 = 2*n + 3*n + m - 21 for n.
4
Suppose x + 8 = 3*c, c = -c - 3*x + 9. Solve 0 = -4*b - 4*k - 32, 5*b - c*k = -12 + 4 for b.
-4
Suppose 21 = 5*t + 3*x, 5*t - x = 13 - 0. Suppose -5*g + 10 = -t*g. Let u(d) = 2*d. Let l be u(6). Solve -3*c + g*z + l = 0, -4*z + 0*z = 4*c - 16 for c.
4
Suppose -3*i + 7 = 5*r - 0, -4*i = 4*r - 4. Suppose -3*x + 4*a + 10 = 0, -a = -r*x - 0*a + 5. Solve 0 = x*o + 2*o + 4*v + 4, -3*o + 5*v = 27 for o.
-4
Let w(b) = 21*b + 90. Let u be w(-4). Solve s - d + u*d = 14, -s - 3*d + 8 = 0 for s.
-1
Let w be (5/(-3))/(280/(-672)). Solve 4*h = 3*l - 6*l + 5, 0 = w*l + 2*h + 10 for l.
-5
Suppose 34*s + 60 = 49*s. Let q be -2*(-13)/2 - 2. Suppose 5*o - q = 2*b, 3*b - 5*o + 19 = 5*b. Solve -b*f - s*n - 4 = 0, 2*f - 2*n + 16 = 6 for f.
-4
Let f = 0 - -32. Let l = f - 29. Solve 0 = -l*y + 4*w + 17, 3*w = 2*w - 5 for y.
-1
Let f = 15 + -13. Suppose -2*a = 3*j - 20, 5*a + 5 = -4*j + f*j. Let v = j - 10. Solve -2*s - 25 = -3*q - v*s, -30 = -4*q + 2*s for q.
5
Let w = -64 + 56. Let d be w/10*((-3)/6 + -2). Solve 3*j + 2*j - 2*y = 11, d*y = 4 for j.
3
Suppose -5*i = -3*q + 6, -3*q - 1 = -7. Suppose 5*z + 3 = 3*r + 6, -3*z + 9 = i. Solve -r = -3*d + 5*y, 4*d = -y - 0*y - 10 for d.
-2
Let o(k) = -4*k + 38. Let p be o(9). Let c(l) = l**3 - l - 3. Let b be c(p). Solve -h + b*j - 14 = 0, 3*h - 7*h = 5*j - 12 for h.
-2
Suppose 0 = -9*a + 5904 - 5832. Solve 5*b - a = -4*s, -3 = -b - 4*s + 5 for b.
0
Let h = -14 + 21. Suppose 1 - h = -2*p. Let z(q) = q - 1. Let x be z(4). Solve -4*j + 3 + 2 = p*o, -x*j = o - 10 for j.
5
Suppose -9 = -4*h - 3*k - 0*k, 2*h - 8 = 2*k. Suppose -h*u - 4 = -13. Let v be u*(-2)/12*-8. Solve v = -t, -23 = q + 4*t - 6 for q.
-1
Suppose 26*t - 5*t - 273 = 0. Solve -3*o + 4 = -11, -2*o = -3*d - t for d.
-1
Let k(p) = -2*p - 8. Suppose 0 = -5*g + 3*g. Suppose -2*f + 8 = 0, g*x = -x + 5*f - 26. Let q be k(x). Solve q*h - 8 = 4*l, -6*h + 3*h = -l + 2 for 