 + 4*j for d.
-1
Let z = -62 + 66. Solve 5*o = -5*u + 20, 8*u = 3*o + 3*u - z for o.
3
Let r(z) = 7*z**2 + z + 1. Let o be r(-1). Suppose -10 = -o*d + 2*d. Solve 0*u - 16 = 4*u, 5 = -3*v - d*u for v.
1
Let c(u) = -u + 7. Let q(f) = -1. Let s(d) = -c(d) - 6*q(d). Let v = 0 - -1. Let i be s(v). Solve 5*t - 40 = l + 3*l, i = -t + 3*l + 19 for t.
4
Suppose 9 = -w - 7. Let o = w + 25. Solve 2*l + 5*a = -o, 0 = 5*l + 6*a - a for l.
3
Let c be ((-2)/(8/6))/((-60)/80). Solve 0 = c*b - 3*h - 10, -3*h - 4 = -0*b + b for b.
2
Let h = -9 - -9. Solve 0 = 4*v + 4*x + 24, 3*v + 0*x + x + 10 = h for v.
-2
Suppose -4*p - 4*b + 12 = -0*b, 0 = 2*p + b - 10. Let u = -4 + p. Solve -u*q = -2*h + 23, -4*q + 3*q - h = 1 for q.
-5
Suppose 0*x - x = -4. Suppose q + 1 = x. Solve 5*d + 0*v - 3*v - 37 = 0, -3*d = q*v - 3 for d.
5
Suppose 0 = n + 4*q, 0 = -3*n + 2*q + 3*q + 17. Suppose 0 = -5*u - v + 58, -v = -n*u + 3*u + 14. Solve -3*c = -4*m - u, -m - 3 = -4*c - c for c.
0
Suppose 0 = -k + 2*k - 4. Solve 3*s = 3*r, -5*s = k*r - s - 24 for r.
3
Let i be 24/(-11) + (-10)/(-55). Let m = i - -4. Let w = 3 - m. Solve 4*k - 3*k = t + w, -2*t = -5*k - 7 for k.
-3
Let y(h) = h**3 + 3*h**2 - 3*h - 3. Let v be y(-3). Suppose -5*a - 3*w + v = 0, 4*w + 12 = -0*w. Solve 4*x + 2 = 3*i, a*x = -2*x - 3*i - 16 for x.
-2
Let d be 1/(-1) - (10 - 35). Solve -y - g = 4*y - d, 0 = 4*y + 5*g - 36 for y.
4
Let a = 57 + -41. Solve 4*k + 0 = 4*f + a, 0 = 4*f + 4*k - 16 for f.
0
Let o be -1*1/(5/(-25)). Solve 0 = -5*r + o, 0 = -2*z - 3*r - 2 + 3 for z.
-1
Let n be (1 + 0)*-4 - -16. Solve n = -3*k - l, 0 = 2*k - 2*l + 3 + 13 for k.
-5
Let a(r) = r**3 + 12*r**2 + 11*r + 6. Let h be a(-11). Solve 3*u + 18 = 3*y, -2*u + 0*y - h = 4*y for u.
-5
Let j = 55 - 31. Let k be 3/(-9)*j/(-1). Suppose 0 = -0*p - 3*p + 2*q + k, -20 = 5*q. Solve -v - 2*a = -6*v - 5, p = -4*v + 3*a + 3 for v.
-3
Let i be (-110)/(-20) + (-2)/4. Solve -2*l = -p + 7, l + 4 + 13 = i*p for p.
3
Let s(d) = d**2 + 4*d + 3. Let x be s(-4). Suppose -4*l - t + 4 = -12, -5*l + x*t = -3. Solve -2*m + l = 2*m - 3*w, 0 = 3*m + 5*w - 24 for m.
3
Suppose 3 = -o + 16. Let r(a) = -a**3 + 2*a**2 - a + 2. Let w be r(2). Solve -l = -4*y + o, w*y - 12 = -3*y for l.
3
Suppose -j + 8 = j. Solve 2*s + 2*o = j*s, -5*s = -4*o for s.
0
Suppose 0 = n - 1, -b + 2*n = -n. Let v be 2/(-4) - 6/(-4). Let w = 1 - v. Solve 0 = 5*r - 4*j + 2*j - 15, w = -b*r + 2*j + 9 for r.
3
Let x be (-6)/(-4)*16/12. Suppose x*j + 3*y = 0, 2*y + y + 24 = 2*j. Let n be ((-2)/1)/((-3)/j). Solve n*c = -8, 2*c - 2 = -m - 5 for m.
1
Suppose 5*i - 19 = 1. Suppose t = m - 3, -2*t - 3*t = i*m - 21. Let x = 107 - 104. Solve -s + 5*s = -2*u - m, -17 = -2*u + x*s for u.
4
Let n(l) = 4*l - 24. Suppose 3*q + 14 = 5*q. Let i be n(q). Solve -4*h = -i*o + 24, h = -h - 8 for o.
2
Let c = 13 + 5. Suppose 5*q + 0*u - 41 = 3*u, 3*q - 4*u = c. Solve -p = -3*p - d + q, 2*p = 5*d - 2 for p.
4
Let h(n) be the second derivative of n**4/12 + 5*n**3/3 + 9*n**2/2 + n. Let f be h(-10). Suppose -20 = -f*u + 4*u. Solve 4*s - 8 = y, 3*y + 3 = u*s - 5 for s.
2
Suppose -4*o + 3*o - 2 = 0. Let j = o + 4. Solve -m = -k - 3, -j*m + m + 2*k + 2 = 0 for m.
4
Suppose -6*w = -2*w. Let k be (-4 + 5)*w/(-2). Solve a - 4 = -2*q - k*q, -4*a - 3*q = -11 for a.
2
Suppose -32 + 2 = -5*i. Solve -5*y = 5*s + 5, 4*s - i = 2*y + 2 for y.
-2
Suppose 4*w - 4*r = -2 + 6, 3*w - r - 11 = 0. Let c = 7 - w. Solve 0 = 3*l - 2*s + c, -l = -3*l + 3*s - 8 for l.
2
Suppose -6*n + 9 = -3. Solve 4*m - 3*h = 27, n*h = m + m - 16 for m.
3
Let z = -23 + 5. Let k be 4/z + 47/9. Solve -18 = -4*s - k*v, -3*v + 3 - 5 = -4*s for s.
2
Suppose 0 = 2*l + l + 24. Let r(v) = -v - 6. Let d be r(l). Solve -2 = -2*g + d, 0 = -u + 4*g - 11 for u.
-3
Let s(y) = -y - 7. Let p be s(-9). Let n be (0 - (-6)/p) + 17. Solve -g = -5*o, -n + 0 = -4*g for o.
1
Suppose 0*q - 25 = -5*q. Let v = 5 - q. Solve v = 3*b - 2*z - z - 18, -5*z = -b + 26 for b.
1
Let j = 152 + -152. Solve -2*x - 24 = 4*h, j = -h - h - 2*x - 16 for h.
-4
Let i(j) be the third derivative of -j**6/120 + j**5/10 - j**4/4 + j**3 - 4*j**2. Let a be i(5). Solve -3 = -3*c + 2*c + 4*n, c - 3*n - a = 0 for c.
-5
Let w be 27/6*(-16)/(-12). Let g be ((-2)/(-6))/((-1)/(-3)). Let m = w - g. Solve -5*n + 0*o - 11 = -3*o, 3*o - 1 = -m*n for n.
-1
Let i be 12/15*(-20)/(-8). Solve 5*l - 2*u + 11 = 0, u = -0*l + i*l + 4 for l.
-3
Let t = 51 - 51. Solve 4*k + 20 = t, 2*n = 5*k + 2 + 23 for n.
0
Let k = -98 + 102. Solve 4*a = 3*m + 13, -5*a = k*m - 0*a - 24 for m.
1
Let s be (-1)/(-1 + 0) - 19. Let y be 282/54 + 4/s. Solve -5*t - a + 6*a = -y, -3*t + 2*a - 2 = 0 for t.
-4
Suppose -n + 3*n = 0. Suppose 62 = f + f + 2*z, 4*z - 8 = n. Solve 4*a + 7 = 3*m + f, -2*m - 8 = -a for m.
-2
Suppose -2 = -m - 1. Let z be m/4 - 99/(-36). Solve 0 = -3*a - 3, -z*i + 2 = -4*a + 1 for i.
-1
Let r be 2/(-12)*-3*2. Let z(d) = 5*d + 1. Let t(m) = 4*m + 1. Let l(h) = -6*t(h) + 5*z(h). Let k be l(r). Solve j - 2*o - 4 = k, 4*j = -j + o + 20 for j.
4
Suppose 2*f - 3*z = 14, -4*f = -0*f - 2*z - 28. Suppose 2*v = 7 + f. Solve 3*c - v*c = -2*x + 4, -4*c = -5*x - 8 for c.
-3
Let d(n) = n**3 - 3*n**2 + 2. Suppose 1 - 5 = -2*u. Let w be d(u). Let h be 6/2 - (w - -2). Solve 0 = 4*t - 3*g - 11, -4 + h = t - 2*g for t.
5
Suppose 0 = -3*c - 0*d - d + 47, c + 3*d = 5. Let p = c + -12. Solve -l = 2*m, -p*m + l = -0*l - 14 for m.
2
Let j(g) = -2*g**2 + 11*g + 9. Let x be j(7). Let u(a) = -5 + 22 - 3*a + 4*a. Let r be u(x). Solve 5*p - 5*q + 25 = 0, r*p = 3*q - 10 - 13 for p.
-4
Let k(n) = 3*n + 6. Let w be k(7). Suppose 0*p + 5 = -p, 5*p + w = b. Solve t - 20 = -5*l, -3*t = l - b*t for l.
5
Let m(v) = -v**3 + 12*v**2 - v + 12. Let k be m(12). Solve k*p - 22 = -2*p - 4*o, 4*p + 5*o - 29 = 0 for p.
1
Let u(a) be the second derivative of -a**3/3 - 3*a**2 - a. Let q be u(-5). Suppose -10 - 5 = -3*s. Solve -2*c + 35 = -s*m, 12 + 33 = -q*m + 5*c for m.
-5
Let k(g) = -g**3 + g**2 + 6. Let d be k(0). Suppose d = 2*r, -2*n - 3*r + 14 = -r. Solve n*w = 5*j + 25, 2*j - 10 + 37 = 5*w for w.
5
Let g = 23 - 8. Suppose 4*k - g = k. Solve -3*w - 15 = -u, -k*w + 2*u - 19 - 6 = 0 for w.
-5
Let m be (-2)/4*-10 + (-2 - -4). Solve 3 = -b, -4*a - m*b = -2*b + 35 for a.
-5
Suppose i = -d - 19, -3*i - d + 101 = -8*i. Suppose 0 = -3*m + 1 + 14, 0 = 3*j - 4*m + 62. Let g = j - i. Solve 3*t - g = 0, -4*t + 12 = -2*c + t for c.
-1
Suppose 3*w - 9 = 18. Let c = 53 - 37. Solve u + 3*a = c, -w = -4*u - a + 11 for u.
4
Let g(j) = 4*j - 10. Let t be g(3). Solve -t*m + i + 10 = 4*i, 4*m + 4*i - 16 = 0 for m.
2
Let c = 39 - 25. Suppose -2*r + c - 4 = 0. Solve 4*q = 4*b - 28, b + r*q - 2 = -25 for b.
2
Suppose l = -5*h + 10, -4*l - l + 5*h = -50. Let a be (-11)/3*(4 - (-2 - -15)). Solve -2*j = -5*i - a, j - l = 3*i + 9 for i.
-5
Let b be 3 + -1 - (-7 + 0 - -4). Solve 15 = g - 4*l - l, b*l + 20 = 0 for g.
-5
Suppose -19 = -4*j - 7. Solve 0 = -n - s - 7, -n = -j*n + 3*s + 11 for n.
-2
Let m = 13 - 8. Let l be (-4 + (-22)/(-5))*5. Suppose k - 5*y = 24, -l*k + k - m*y = 16. Solve 1 = -2*g - 6*b + 3*b, -k*g = 5*b + 1 for g.
1
Suppose 2*z = 2*o - 7*o + 13, 4*o - 24 = -5*z. Let r = 1 - o. Solve -2*l - 1 = -6*l + h, -l - 5*h + 16 = r for l.
1
Suppose 5*z = 2*s + 39, -2*z - 2*s + 4 = -6. Suppose -18 = -5*d + z. Solve -6*a + d = -3*a + 2*y, -5*a + y - 9 = 0 for a.
-1
Let l(h) = h + 4. Let d be l(-3). Let w = 3 - d. Solve -5*v = -5*x, -3*v - 2*v + w = -3*x for x.
1
Let j = -7 + 11. Suppose -4*b - j = -16. Solve -3*m + 2 = -b*s - 4*m, -4*s - 28 = -5*m for s.
-2
Let d = -2 + 8. Let o = d + -2. Solve 5*t + o*r + 8 = 0, 2*r - 5 = -5*t - 19 for t.
-4
Suppose -22 = -c + 3*c. Let l = -7 - c. Suppose l*b - 122 = -2*p, -5*b + 101 = 4*p - 59. Solve b = 5*w - 4*v, -3*w - v + 14 = w for w.
4
Let s(n) = -n**3 - 7*n**2 + 9*n + 10. Let l be s(-8). Solve z - 2*u + 0 = l, 0 = -5*z - 3*u + 10 for z.
2
Suppose 11 = 5*l - 94. Solve -11 = -3*j + 2*j - 3*c, j = 5*c - l for j.
-1
Let i = 4 - 1. Let s(p) = p**3 + 14*p**2 - p - 10. Let x be s(-14). Solve -3*c + 9 = 0, x*c = i*t - 2*t + 9 for t.
3
Suppose 0 = -3*a - a - 12. Let j = a - -5. Solve -2*t - j = 5*v + 3, v + 1 = -3*t for t.
0
Let b be -3*-1*(-1 - -2). Let w = b - 1. Solve -l + 2*l = q - 9, 0 = -3*l - w*q - 2 for l.
-4
Let m(f) = f**3 - 6*f**2 + 2*f - 8. Let n be