v - 2*v + 12 = -4*b for v.
0
Let k(p) be the first derivative of -1/4*p**4 + 5/3*p**3 - p**2 + 2 - 5*p. Let g be k(4). Solve 0*t = 3*t - 3*n + 15, -5 = 2*t + g*n for t.
-4
Suppose n - 4*o + 66 = 0, -n - o = 2*n + 224. Let i be n/12 - (-4)/24. Let d be (-2)/i - 8/(-3). Solve -v - 28 = -5*s, 0*v = 2*v - d*s + 21 for v.
-3
Let c = -11 - -16. Let r be 0/(1/(-1)*-1). Let b = 1 + 2. Solve -s + r*i + 25 = c*i, 0 = b*i - 12 for s.
5
Suppose 0 = -3*h + 4*m - 1, -8 = -3*h - 2*m + 15. Solve 3*d - 4 = -5*i - 44, -3*d + 10 = -h*i for i.
-5
Suppose -5*p - 3*b - 3 = 0, 4 = p - 4*b - 0*b. Let k be 0/(0 - -2 - p). Solve 4*l - 16 = -2*v, 3*l = 5*v - k*l - 1 for v.
2
Suppose x - 4*r - 2 = -0*r, -29 = -4*x - 5*r. Let i be (-3 + 1)*(-9)/x. Let j be 7/(((-3)/(-1))/i). Solve -3*v - 3 = 4*s, s + 4 = j for v.
-5
Let c be ((-4)/3 + 2)*9. Suppose a + c = -s + 19, -2*s + 2*a + 22 = 0. Let r be 3/s + 86/8. Solve -5*j + 3*z = 35, -2*z = 5*j + r - 1 for j.
-4
Let l be (-1 - 8/(-1))*-1. Let j be (-7 - l)*(-1)/2. Suppose -5*c + c = j. Solve v - 4*y = c, v = -0*v - 4*y for v.
0
Let y(g) be the first derivative of g**4/4 - g**3/3 + 4*g + 4. Let z be y(0). Suppose -a + 30 = z*a. Solve v - a = c, v + 2*c = 4*v - 17 for v.
5
Let p be 308/35 + (-1)/(-5). Suppose 4*t = -1 + p. Solve 5*j + 4*z + 10 = 0, j = -t*j - 4*z - 14 for j.
2
Suppose l - 5 = -g, 4*l - 5*g - 22 = -2. Solve -4*v - 7 = l*m, 3*m - 5*v = -0*v + 18 for m.
1
Let x be (-3)/(-6)*0 + (2 - -3). Solve -4 = 5*i - 4*g, 3*i - x*g + 3*g + 4 = 0 for i.
-4
Suppose -12 = s - 5*s. Let l be 2/((2*-3)/s). Let x = 3 - l. Solve -3*c - g - 9 = -x*g, g = 2 for c.
-1
Suppose 2*o = o. Suppose -a - 2 + 4 = o. Solve 2*t + 2*c + a = 0, 3*c + 3 - 20 = 2*t for t.
-4
Let r(w) = w**3 + w**2 + w + 3. Let h be r(0). Solve 3*i = 3*t + 7 + 17, h*t + 29 = 4*i for i.
5
Let i be -1 + 2/4*-2. Let t be i + (-1 - 14/(-2)). Let x be (-4)/(-2)*(-7 - 9/(-1)). Solve -w + x*s - 21 = 4*w, t*w + 5*s = 16 for w.
-1
Suppose 0 = 10*l - 12*l - 4. Let f be l/(-10) - 2/10. Solve -2*y + 3*r + 5 = f, -9*y + r = -4*y - 6 for y.
1
Suppose 2*l - 4*l + 26 = 0. Solve 0 = r - 3*t - 0*t + 7, -5*r + 4*t = l for r.
-1
Let d(b) = -b**3 - 4*b**2 - 4*b. Let u be d(-3). Solve 2*o - 5*i = -13, 2*i - 4 = -o + u for o.
1
Let l(j) = -j**2 + 7*j - 2. Let v(f) = -2*f**2 + 15*f - 5. Let t(r) = 5*l(r) - 2*v(r). Let c be t(4). Solve s - 9 = c*y, 3*y + 2*s + 28 = 7*s for y.
-1
Let i = 102 - 100. Solve 0 = -4*j - 3*k, 0 = 5*j - 3*j + i*k - 2 for j.
-3
Suppose -7*w = w - 40. Solve -4*z - 32 = -w*o, 3*o = -2*z + z + 9 for o.
4
Suppose 4*a = 3*j - 1, a + 0*a - 5 = -j. Suppose z = -a*z + 24. Solve 4*b = 3*l + l - 8, 0 = b + 2*l + z for b.
-4
Let j = 31 - 18. Let c be (-3 - -2 - 2) + j. Solve q + n - 3*n = c, 0 = -5*q + n + 5 for q.
0
Suppose 0*r - 4 = -r. Suppose -r*d = -2*k + 16, 3*k + d = -5 + 29. Solve -k = -4*p + 3*h, -5*h + 2 = 5*p - 8 for p.
2
Let f = 16 - -18. Solve 0 = -2*u + 10, -s - 11 + f = 4*u for s.
3
Suppose -5*r + 3*r = 0. Let v be (-2)/(-8) - 62/(-8). Let m be (-394)/(-26) + v/(-52). Solve -3*q = -r*p + 4*p + 15, -3*q - m = 2*p for p.
0
Suppose 20 = 4*i + 3*y, -3*i + i + 5*y - 16 = 0. Solve 0*c + 3*c - 2*q + i = 0, -2*c + 2 = -3*q for c.
-2
Let l be (-2)/3*(-45)/6. Let w = 64 - 46. Suppose 137 = 5*a - w. Solve -a = -l*m + 4*k, -2*m - 2*m = -5*k - 32 for m.
3
Let o = 10 - 6. Suppose o*l + 5 = 5*l, 2*l - 15 = -5*b. Suppose 0 = 3*x - 13 + b. Solve 4*h - a - x = 2*h, 5*a = -h - 20 for h.
0
Let d be (6 + -3)/((-2)/(-4)). Let t = -10 + d. Let f be 2/t*(-4 + 0). Solve 2*s + 3*s = j - 24, -4*j = -f*s - 24 for j.
4
Let r be (1 - 3)/(-1) + 10. Solve -3*z + 20 = 2*q, -2*z + 4*q - 5*q + r = 0 for z.
4
Suppose -u + 22 = -4*d, -3*u + 17 = -7*u - 5*d. Solve -u*b + 20 = n + 3*b, -35 = 3*n - 4*b for n.
-5
Let g(m) = -m**2 + 10*m - 6. Let k be g(9). Suppose -6*o - 6 = -k*o. Let p be (o - -2 - 0) + 0. Solve p = -u + 4*u + 12, r + u = -4 for r.
0
Let j(q) = -2*q**2 - 11*q + 8. Let g be j(-6). Solve -o + 3 = -2, -g*b + 1 = -o for b.
3
Let n(a) = 2*a**2 + a. Let r be n(1). Let m(x) = -x - 5. Let q be m(-7). Let i be (0 - -1) + (6 - q). Solve 0 = -3*t + 4*u - 2, -i*t = -r*u - 0*u - 4 for t.
2
Let f = -17 + 21. Solve 4*y = 6*y + f*n, 0 = 4*y + n + 7 for y.
-2
Suppose 3*n + 15 = 6*n. Solve 4*k = 5*o - 0*o + 12, 0 = n*k - 15 for o.
0
Let y = 120 + 50. Let s be y/25 + (-1)/(-5). Solve -c = -k + 4, -3*c + s*c + 13 = 3*k for c.
-1
Let y be 19/7 - 18/(-63). Let g be (6 - y) + -4 - -3. Solve 4*h - 4*q = 0, -2*h - 3*q = -g*q for h.
0
Suppose c - 12 = 3*k - 2*c, 2*k + 4 = c. Solve n + 2*h + 14 = k, 4*n - 5*h - 9 = -0*n for n.
-4
Let q = 163 - 163. Solve -2*z - z + 4*y - 26 = 0, 3*z + 2*y - 4 = q for z.
-2
Let o = 17 - 11. Suppose -4*j + o = -j. Suppose -26*q + 3 = -49. Solve 3*y = j*y + t + 1, q*y - 5*t = -10 for y.
5
Let u = 22 + -19. Let n = -9 - -21. Suppose 3*c = -3*g, u*g + 0*c - n = c. Solve 0 = w - 5*s + 18, -20 = -2*w - g*s - s for w.
2
Let i be (0 - (1 + -7)) + -3. Suppose -6 = -6*h + i*h. Solve 0 = -h*u + 3*v - v + 10, -3*v = -u + 7 for u.
4
Let s be 1*((-1 - -10) + (-10 - -8)). Solve 0 = d + 4*a - 0 - s, -4*d = 5*a + 5 for d.
-5
Let z = 16 + -11. Let a be (-38)/(-8) - z/(-20). Solve 2*v - 3*n = -0*n + 11, v + a*n + 14 = 0 for v.
1
Let i = -14 - -8. Let r be (-33)/(-5) + i/10. Let f be 12/4*4/r. Solve -6 = -3*y - 2*p, y - 2 = f*p + 8 for y.
4
Let n(w) = -w**2 - 4*w + 5. Let v be n(-6). Let c = v + 15. Let u = 19 + -16. Solve 0 = -y - h - c, -y - 3 = u*h + 11 for y.
-5
Let p(k) = k. Let y be p(-2). Let u be -1*(-2 + 3)*y. Solve 2*l = c + l + 2, -c - u = 4*l for c.
-2
Suppose 4*i - 2 = u, 0 = -6*u + u + 4*i + 6. Let s = u + -3. Let x = 6 + s. Solve -3*p = x*c - 10, 0 = -3*c - 4*p - 0*p + 17 for c.
-1
Let g(j) be the second derivative of -j**5/20 + 7*j**4/12 - j**3/2 + 5*j**2/2 - j. Let z be g(6). Solve -5*y + h = 6 + 7, -5*y - 4*h = z for y.
-3
Let v(x) be the first derivative of 2*x**3/3 + 4*x**2 + 5*x - 3. Let t be v(-6). Solve -c - 4*c = -2*k + 26, 5*c = 3*k - t for c.
-4
Suppose 21 - 117 = -3*u. Let z be (-10)/35 + u/14. Solve 0 = 2*c + 4*i - 14, -z*c + 0*c + 2*i = 10 for c.
-1
Suppose -13 - 5 = -9*j. Solve -j*d - 4 = -2*w, -w + 5*w - 5*d - 12 = 0 for w.
-2
Suppose -12 - 3 = -5*a. Solve -a*t + 4*f = 33 - 9, 2*t = 2*f - 14 for t.
-4
Let y = -10 + 12. Suppose y*z - 4*z = -2*k + 4, -5*k - 4*z + 10 = 0. Solve k*n - 10 = 4*u, -n - 3*u - u = -5 for n.
5
Let r(d) = -d**2 - 8*d - 9. Suppose -3*h + 5*y + 56 = y, 52 = 2*h + y. Suppose -4*p - h = -0*p. Let u be r(p). Solve 0*t - 4*t = -3*l - 7, u*l = -5*t + 2 for t.
1
Let y = -29 - -43. Let g be (6/(-15))/(2/(-20)). Let z = 8 + g. Solve -3*r - 4*j + y = 0, 3*r + z = 7*r + 2*j for r.
2
Let s(d) = -d**2 - 8*d + 7. Let a be s(-7). Let i = -6 - -9. Suppose -x + 6 = -0*x - p, i*x - 14 = 2*p. Solve -h - 4 = -x*b + 2, 2*b = 3*h + a for h.
-4
Let q = -2 - -6. Solve h + q = -s + 3, -3*h - 2 = 2*s for h.
0
Suppose d = -2*t + 18, -4*d - 2*t + 88 - 4 = 0. Let c = d - 19. Solve 21 = -l - 4*i, -i - 2*i - 12 = -c*l for l.
-1
Let o(c) = c**3 + 6*c**2 - 7*c + 2. Let r be o(-7). Solve -4*f = -i - 0*i + 6, 2*f = 3*i + r for i.
-2
Let z = -1 - -3. Solve 0 = t - z*w + 3, 2*t - w = t - 3 for t.
-3
Let h be 1/(-4) - (-42)/8. Let d be -1 - 0/(-1) - -9. Solve -h*j + 3*w - 11 = 0, -j + 3*w - d = -1 for j.
-1
Suppose -60 = -0*h - 3*h - 4*a, -4*h = 4*a - 76. Let f = -10 + h. Solve -4*j + 3*t = -8, 3*j + 4*t = f - 25 for j.
-1
Suppose -4*w = -4 + 16, 3*w - 33 = -3*m. Let a = m - 9. Solve 4*x + 4 = -h + 2, -a*x + h - 7 = 0 for x.
-1
Let a(v) = -v**3 + v**2 + v + 5. Let j be a(0). Solve -3*r + 9 = -3*t, 1 + j = 2*r + 3*t for r.
3
Let k = 26 - 26. Suppose 2*x = 2*j + 18, 2*x - 2*j - 3*j = 30. Solve 5*v = -4*f + 6, k = x*f + 5*v - 5 for f.
-1
Let t = -8 + 12. Suppose -t*a = 3*b - 2, 3*a - 2*a - 12 = 5*b. Suppose 4 = a*m - 4. Solve 4*u - m = 4*r, u - 4*r - 1 = -2*r for u.
1
Let u = 14 + 0. Solve -2*g + 1 = c - 4*c, 0 = 2*c - 4*g + u for c.
3
Let g be 3*(1 - (3 + -1)). Let s be g*(-1)/3 - -4. Solve -v + 3*t - 3 = -2, -4*t = -s*v + 17 for v.
5
Let b be (2 + -16)*-2*1. Suppose 0 = w - 0*w - 5*f - b, f = 4*w - 17. Solve 7*u = -n + 3*u + 13, -w*u = -2*n + 4 for n.
5
Suppose -125 = -5*a + u, -4*a = -0*u + 3*u - 81. Solve -3*o - 7 = 2*z + 2*z, a = -4*o + 2*z for o.
-5
Let k = -2 - -4. Suppose -k*q 