 4*d + 18 = 0 for v.
-5
Suppose -j - 5*m = 11, 3*m = j + 2*m - 19. Suppose -z + j = -3*z. Let l = 10 + z. Solve 0 = -o - l*p - 14, 0*o + p = -2*o - 3 for o.
1
Let w(v) be the third derivative of -v**4/24 + 3*v**3/2 + v**2. Let m be w(6). Let i = m - 2. Solve r = 2*c + i, -5*c - 2 = -4*r + 2 for c.
0
Suppose 22*x - 19*x = 12. Solve -4*d = x*h - 0*d + 4, -4*d + 36 = -4*h for h.
-5
Let k be -4 + (0 - 1)*-1. Let t be 7 - 3*(-1)/k. Suppose -3*b = -6*b + t. Solve -3*n = h + 14, -1 = -b*n - 2*h - 17 for n.
-3
Let v(i) be the first derivative of 2*i**3/3 - 5*i**2/2 - i - 3. Let n be v(4). Let p = n - 8. Solve -3*y = -p*q - 12, q + 2*y + 3 = -4 for q.
-5
Suppose 3*b - 3*i = b + 21, b = 3*i + 18. Solve -4*z = -5*y - 45, b*z = -0*z - 3*y for z.
5
Suppose -4*i + 24 = m, -m + 2*i = m + 2. Let j(l) = -l**2 + 9*l - 3. Let x = -10 - -14. Let k be j(x). Solve 0*h - h - k = -4*u, 4 = -m*h for u.
4
Suppose 7*j - 2*j = 85. Let l = 23 - 16. Suppose -2*h - l = -j. Solve -4*t = -x - 14 + 3, 5*t = -h*x + 45 for t.
4
Let o be (3/(-12))/(-1) + (-14)/(-8). Solve 2*p = -2*a - o - 2, -3*a + 3*p = -6 for a.
0
Let f = 9 + -23. Let x be (-4)/f - (-36)/21. Let m(d) = d**3 - 7*d**2 + 2. Let z be m(7). Solve -x*r = -o, -r + 3*o = z*r for r.
0
Let m be (-2)/(-9) + 8/(-36). Suppose -2*i = -2*w - i + 9, -i = -4*w + 13. Solve m = -4*n - 16, 0 = w*r - 4*r - n for r.
2
Let t(j) = -j**3 + 6*j**2 - 7*j - 1. Let p be t(4). Solve -p*i - n - 16 = 0, -i - 2*i + 3*n = 0 for i.
-4
Let y(g) = -2*g**2 - 12*g + 35. Let n be y(-8). Let o be 2*((-15)/(-2) - 0). Suppose -o = -0*t - 3*t. Solve -t*f + 2 = 2*q, -q = 2*f - 4*q + n for f.
0
Suppose -8 = 2*x - 8. Solve -2*d = -c + 4, -c = -x*c - 5*d - 13 for c.
-2
Let u(k) = k**3 - 7*k**2 + 4*k - 7. Let d be u(7). Let q = d + -12. Let n be q*((-10)/6 - -2). Solve -f = -3*f + 5*p + n, 4*f + 5*p = -9 for f.
-1
Let g(k) = k + 6. Suppose d + d = -6. Let l be g(d). Let w(r) = r**3 + 10*r**2 + 3. Let t be w(-10). Solve -l*c - z = -10, t*z = -c - 0*z + 14 for c.
2
Suppose 9*z - 5*z = 16. Solve 13 = 5*m - l, z*l = m - 0 + 5 for m.
3
Suppose 2 = -2*c + 10. Solve -c*v - 17 = 5*w, 3*v = -10 + 1 for w.
-1
Let m = 5 + 23. Suppose 21 = -3*s + 5*y, 3*s + 2 = -4*y + 8. Let r be (s/4)/((-2)/m). Solve 4*b + j = 5, -1 + r = -2*j for b.
2
Let w(y) = -y + 5. Let x be w(4). Suppose 4*r = r + 6. Suppose -5*g - 5 - 1 = -r*z, -4*g = z - 3. Solve 13 = -3*v + x, -z*v = d + 16 for d.
-4
Suppose 5*q + 7 - 57 = 0. Let p be 24/q - 6/(-10). Solve f - 2*s + p = -0*f, 0 = 2*f - 3*s + 2 for f.
5
Let r(y) = y**3 - 4*y**2 + 2*y - 3. Let b be r(4). Let a = b - 3. Solve -g - 2*f - 4 = -a, -5*f = -2*g + 14 for g.
2
Suppose 0 = 5*a - 0*a - 20. Suppose -5*f + 6 = -a. Solve 0 = -4*g - 4, -i = 2*i - 5*g - f for i.
-1
Let k be ((-12)/18)/((-3)/27). Suppose -4*l + 14 = -k. Solve -4*o - b + l + 0 = 0, o - 20 = -4*b for o.
0
Suppose 8 = 2*q - 14. Solve 5*t - c = 25, -4*t + 2*c + q = 3*c for t.
4
Let v be (-4)/(3*6/(-45)). Let m be ((-12)/v)/((-4)/50). Solve -6 = 2*h - d, -5*d = -3*h + 6 - m for h.
-3
Let d be (2/1)/(8/16). Solve 0 = 5*y - 4*n + 5, d*y - n + 30 = -3*n for y.
-5
Let s = -26 - -28. Suppose 4 = s*t - t. Solve -n + 3 = 2*n, t*n + 2 = 2*o for o.
3
Let a = 54 - 25. Suppose -4*k = y + 11, -4*y - 2*k = 2*k - 4. Solve 5*o = p + 9 - 24, -2*o - a = -y*p for p.
5
Let d be (-1 - 0) + 9/((-9)/(-4)). Solve -d*i - 34 = -6*i + 5*p, -19 = 2*i + 5*p for i.
3
Let w(b) = 11*b + 112. Let f be w(-10). Let p be (-28)/(-6) + (-4)/6. Solve h = -f*h + 2*d - p, -2*h - d = 5 for h.
-2
Let c = -23 - -42. Solve c = -3*v - s, -2*s + 21 = -5*v - s for v.
-5
Let w(y) = -y**2 + 5*y + 6. Let u be w(6). Solve -g = 3*l, u*l - 2*l - 4*g + 10 = 0 for l.
-1
Let t(y) = -y**2 - 17. Let z be t(0). Let m = z - -22. Solve 0 = m*s - 2*k - 30, 5*s + 2*k + 0*k = 10 for s.
4
Let o(k) be the second derivative of -k**5/20 + k**4/3 + k**3 - k**2 + 3*k. Let c be o(5). Solve -4 = 2*a + 3*j, 3*a - a = c*j + 20 for a.
4
Let q be (-1)/(2/(-38)) + -2. Suppose -5*k = -q - 23. Suppose -4 = 4*v - k. Solve i + b = -v, -5*i + 2*b = 38 - 12 for i.
-4
Suppose 0 = 9*v - 13*v. Suppose -4*c + 28 = -v. Solve 11 = 4*z + 3*o, 2*z - o = c*z for z.
-1
Let l be 2 + -11 - (-2 - -1). Let v = l + 11. Suppose -5*b + 23 = 3. Solve 0 = v*n + p - 3, -7 = -5*n - b*p - 2 for n.
1
Suppose -29 = -c - 5. Suppose 2*j - 22 = -2. Let o = -2 + 4. Solve o*p + y = -2*p + c, 2*p = 5*y - j for p.
5
Suppose -2*c + 15 + 13 = 0. Solve 5*p = 2*t - 25, 0 = 4*p + 6 + c for t.
0
Let x be 2 - ((1 - 2) + -2). Suppose 0 = -p + x. Let w(z) = z**2 + 4*z + 10. Let u be w(-7). Solve 0 = 3*a + o + u - 11, -3*a - p*o - 40 = 0 for a.
-5
Let x = 2 - 11. Let s be x/(-6)*2 + 2. Solve -s*d - w = 18, -2*w + 6 = -5*d + w for d.
-3
Let n(f) = f**2 - 2*f + 7. Let v be n(0). Solve v = -3*o - 5*h, 3*o + 14 = -2*h + 4 for o.
-4
Let y = -6 - -15. Suppose -y = -2*p + l, 2*l - 3 = p - 9. Solve 3*c + 5 = 4*q - 4, 0 = -5*q - p*c + 19 for q.
3
Let a(t) = -t**3 + 2*t**2 + 5*t - 2. Let q be a(2). Solve 3*w + 3*u - 2*u = -14, -4*w + 4*u = q for w.
-4
Let n(d) = -d**3 - 3*d**2 + 1. Suppose 5*w - 3*p = -12, -3 + 2 = -w + 4*p. Let l be n(w). Let z = -1 + l. Solve z = 3*q - 3*g + 12, -38 = 5*q + 2*g - 11 for q.
-5
Let n(f) = -f**2 - 4*f - 1. Let q be n(-4). Let g be 1/q*(-3 - -3). Solve g = -5*d + 4*l - 2 + 1, d + 6 = -5*l for d.
-1
Let l(k) = -2*k + 7. Let f be l(3). Solve -2*j = -2*h + 16, -5*h + 38 - f = -4*j for h.
5
Let v be 66/8 + 24/32. Let r(s) = s**3 - 9*s**2 - s + 12. Let u be r(v). Solve -u*p + 6*p + 4 = 2*o, -2 = 2*o for p.
-2
Suppose -1 - 5 = -3*a. Solve 2*m + 2*c - 18 = 0, a*m - 2 - 1 = c for m.
4
Let j be (-1 - 2) + 3 + 5. Suppose 0 = l + l - 4*h, -4*l = j*h - 52. Solve 5*g - l*x = -3*x - 10, -4*x + 9 = -3*g for g.
1
Let s(c) = -c**3 + 20*c**2 - 35*c - 16. Let r be s(18). Solve q = i - r, 3*q + 6*i = i + 2 for q.
-1
Suppose 0 = 2*o + 37 - 9. Let v = o - -35. Suppose j - x - v = 0, -4*j + 2*x = -3*x - 85. Solve 4*k = 6*k + 3*r + j, k = 2*r + 4 for k.
-4
Let h = -59 + 61. Solve h*t - f + 11 = -t, 0 = -2*t + 4*f + 6 for t.
-5
Let z(w) = -w**3 + w**2 + w + 2. Let s be z(2). Suppose s = -v + 4*v - 12. Solve -k = 5*g - 25, 2*k - 5 = -5*g + v*g for k.
0
Let d(l) = l**3 - 13*l**2 + 13*l - 7. Let w be d(12). Solve -8 = -w*v + 2*c, -3*v + 3*c + 12 = 2*v for v.
0
Suppose 0 = -4*u + u + 12. Suppose -y + 3*y = u. Solve 3*o + 2*l + 17 = 0, 2*o = y*l - 10 + 2 for o.
-5
Suppose 91 = d + 86. Solve 2*t + 6 = -o, d*t - 3*o + 9 = -4*o for t.
-1
Suppose 0 = 6*s - 7*s - 5*s. Solve s = 4*v - 4*b + 20, -v - 5*b + 4 = 3 for v.
-4
Let g be (8/(-10))/(2/(-5)). Suppose g*q = 4 - 0. Solve 4*o + 5*m + 7 = 4*m, 4*o + q = -2*m for o.
-3
Let f(i) = 5*i. Let c be f(-1). Let y = c + 9. Let s = -2 + y. Solve s*x - 2 = 2*j, -j - j + 1 = -3*x for j.
-4
Let i be (-3)/(-2)*120/36. Solve -i*u = -p + 6, 0 = 4*u - 7*u + 2*p - 5 for u.
-1
Let o = 23 + -12. Let q be (-2)/o - (-4)/22. Solve q = -5*d - 0*k - 3*k - 9, 9 = -d - 3*k for d.
0
Suppose -5*n + 65 = -115. Suppose -5*r + n - 11 = 0. Solve -r*x - 2*h = -h - 30, 5*h = x + 20 for x.
5
Let a = 12 - 18. Let v(u) = 3 - 6 + 7*u**2 - u**3 + 2*u**3 + 5*u. Let k be v(a). Solve -l - 2*l + q = -14, 2 = -l - k*q for l.
4
Let j(w) = 3*w + 1 - 4*w + 2*w. Let i be j(6). Solve -i = -4*k - 3, 5*t - 4*k = -19 for t.
-3
Suppose 4 = -4*c + 24. Suppose -3*w = 4*r + 2, -6 = -5*r + 2*w + 3. Solve 0 = c*v + 4*b - 8, -1 = -5*v - b + r for v.
0
Let h = 6 - 1. Suppose -7*l - 8 = -3*l, -3*y + h*l = -25. Let q be (0 - -7) + 4/(-2). Solve y*d = -q, o + 5*d + 8 = -1 for o.
-4
Let g(u) be the second derivative of u**4/12 + 2*u**3/3 - 2*u**2 - 2*u. Suppose -2*j - 4 = 8. Let x be g(j). Solve x = 4*h + 2*b, -12 = -4*h + 3*b - 7*b for h.
1
Suppose -6*j + 26 = -28. Let d be -9*(-1)/(j/2). Solve -y + 3*i = -2*i - 7, 2*y + d = 2*i for y.
-3
Let y(k) = k**3 - 8*k**2 + 3. Let o be y(8). Let c(p) = 2*p - 6. Let i be c(4). Solve -5*r - 5*g = o + 2, 0 = i*r - 2*g + 14 for r.
-4
Let r be (-1)/3 - 93/(-9). Let t = -27 + 32. Solve -2*b - 5*k = -4*k - r, -2 = 2*b - t*k for b.
4
Let g(b) = 3*b - 13. Let x be g(6). Solve -2*v - 6 = 2*k, 3*v + k = x*k - 23 for v.
-5
Let a(l) = -l + 2. Let u be a(1). Let s = u - -2. Let o be 177/9 + s/9. Solve -2*r = 4*j - 3*r - 5, -4*r = -j + o for j.
0
Suppose 4*v = -j + 2*v + 1, -4*v = 4. Solve c - 2*y