4 - 0 for v.
1
Suppose 4*b + 0*b - 2*c = 14, 3*c - 15 = -3*b. Let z = -4 - -14. Solve 0 = h + 2*j - z, -b*h + 4*j = -0*h + 8 for h.
2
Let w = -4 + 8. Solve -w*o + 4 = c, -2*o - 4*c = -o - 16 for o.
0
Suppose -7 = -4*r + 5. Suppose -8*j = -r*j - 10. Suppose -j*z = z. Solve p - 10 = 5*m, 3*m = -z*m + 5*p - 28 for m.
-1
Suppose 4*d = 10 + 38. Solve d = -4*w, z + 3*w = 4*z for z.
-3
Let o = 9 - -3. Let b be (o/(-21))/(6/(-21)). Solve -b*i - 4*d + 14 = 0, -3*i - d + 5 + 1 = 0 for i.
1
Suppose 90 = 3*r + 5*h, 4*r - 2*h - 49 = 71. Suppose 2*p + 3*p = r. Solve 2*a + p + 2 = 2*w, a = -5*w + 2 for w.
1
Let n = 94 - 137. Let w = 62 + n. Solve 5*c - 2*m - m = -3, -5*c - m - w = 0 for c.
-3
Let a be 0 + (1 + 5)/3. Suppose -20 = -7*r + a*r. Solve 0 = 3*y - 3*f + 3, -4*f = -5*y + r*y + 8 for y.
-4
Let q be (-33)/(-6) + 3/6. Let f(g) = -g**2 + 6*g + 1. Let j be f(7). Let z(o) = -3*o - 6. Let i be z(j). Solve 0 = -4*c + m - 6 - q, -4*c - 5*m = -i for c.
-2
Suppose 15 = -5*n, 0 = 3*g + 2*n + 2*n + 3. Solve g*z = -h + 5, 2*h + 7 = -2*h - 3*z for h.
-4
Let w be 6*(1 - 0)*1. Suppose -m - 1 = -3. Suppose m*o - w = -0*o. Solve -o = 4*d - 4*t - 7, -2*d - t - 10 = 0 for d.
-3
Let z be (2/4)/((-1)/(-2)). Let r(b) = 6*b. Let k be r(z). Suppose k + 2 = 2*s. Solve s*f + q = 21, 5*f - 34 = -5*q + 11 for f.
4
Let j be -18 - (0 - -1) - 3. Let t = -13 - j. Suppose -2*z + t = z. Solve -l - 2*l - 3*o = 9, 4*o - 9 = z*l for l.
-3
Let r = -85 - -85. Solve -4*b + d = -r - 5, -3*b + 15 = -3*d for b.
0
Suppose 4*x + 4*s = x + 23, 3*x - s + 2 = 0. Solve -5*k - 21 = 4*a, 0 = -a + k + 7 - x for a.
1
Let i(m) be the first derivative of -m**3/3 + 9*m**2/2 + m - 5. Let j = 0 - -7. Let x be i(j). Solve 0 = -l - 5, -x - 6 = b + 5*l for b.
4
Suppose 2*s + 0*s - 4 = 0, 10 = 2*b + 5*s. Suppose 6*o - 4*o = b. Solve -4*y + o*y - 3*j + 6 = 0, y + 3*j = 6 for y.
0
Suppose -5*t + 9 = -6. Solve d = -t, 0 = k + 3*d + 17 - 5 for k.
-3
Suppose 0 = -3*l + 3*n + 9, 3 - 16 = -3*l - n. Let y(k) = k - 1. Let w be y(l). Solve -4*z + 4 = -3*u + w, 5*u + 2*z - 33 = 0 for u.
5
Suppose 2*c - 18 = -c. Let n be -2 + (c - (1 - -1)). Solve -2*g - 4*j = -2, -2*g - 4*j = -5*j - n for g.
1
Let f = 2 + 3. Suppose h + 19 = f*c - 3*h, 2*h = 2*c - 8. Solve 0 = -3*a + 2*o + 17, c*o + 21 = 4*a + 2*o for a.
5
Let g = 2 - 2. Let u = g + 5. Solve 2*n + 2*n = 4*x, 0 = 2*n + u*x for n.
0
Let a = -7 + 17. Suppose 5*k - a = 5. Solve 2*c + 6 = 2*l - 2, -k*l - 3 = 2*c for c.
-3
Suppose 2 = 2*f, -2*b - 5*f = -3*b - 3. Suppose h + 0*h - b = 0. Solve -2*u = -3*u + 4, 0 = 4*p - h*u - 8 for p.
4
Let v be (-5 + 2 - 0) + 24. Suppose 0 = -2*o + g + 2*g + v, o = g + 9. Suppose 3*a + o - 21 = -4*s, a = 5. Solve s*i = 4*z - i, i = 2*z + 2 for z.
1
Suppose -k = k - 30. Suppose 3*w + 83 = 5*u, 4*u - u = -5*w + 43. Suppose 3*n = 2 - 8, -4 = b + 4*n. Solve 4*q - 8*f + 3*f = u, -b*f - k = -q for q.
-1
Let p(b) = -4*b + 4 + 4*b**2 - 4*b**2 + b**2 - b. Let o(t) = -t + 4. Let n be o(0). Let a be p(n). Solve 4*r = -a*r + 4*d - 12, -3*r - 5*d = 1 for r.
-2
Let h = -5 + 5. Suppose -c = -1, h*c - 1 = -4*a - c. Solve a = -4*b - 5*l + 10, 4 - 13 = -b + 2*l for b.
5
Let h be 2/(2 - (-75)/(-39)). Solve 17 = 4*k - o, -4*k - 2*o = -0*o - h for k.
5
Let d(r) = -r**3 + 14*r**2 - 13*r + 5. Suppose 0 = -3*i + 3, -37 = -0*x - 3*x + 2*i. Let y be d(x). Solve 2*z + 12 = -4*m + 3*m, 0 = -y*z + m - 16 for z.
-4
Suppose 4*n + 0*j - 7 = -j, -4*n - 4*j = 8. Suppose 3*t + 13 = g, -n*t = 2*g - 4*g + 11. Let p be g*(-2 + 2/2). Solve b - p*u = -12, -b + 0*u = u for b.
-4
Suppose o - 1 = 1. Let v be o/(-6) + 39/9. Solve -2*p - t + v = -3, -15 = 5*t for p.
5
Let n be 0*(1 + 1)/(-2). Let m(l) be the second derivative of -l**3 - l**2/2 - l. Let s be m(-1). Solve -x + 22 = -s*x - d, -2*x + 4*d - 2 = n for x.
-5
Let r(d) be the third derivative of d**4/24 - d**3/6 + d**2. Let l be r(4). Let o = 153 + -148. Solve o*x - j = -4, 0 = -2*x + l*j + j + 2 for x.
-1
Let v = -25 - -27. Solve v*a = -2*r + 6, 3*a + 8*r - 7 = 3*r for a.
4
Let k = 83 + -54. Let y be 9/6 - 1/2. Suppose -y - 5 = -3*i. Solve -o = 4*p - 6*o - k, 2*p - i*o = 12 for p.
1
Let g = 4 + -10. Let v be (-1)/2*g - 0. Suppose v = 4*p - 9. Solve 8 + 7 = -5*k + p*w, 5*k + 3*w + 15 = 0 for k.
-3
Let q be ((-2)/(-5))/(1/(-5)). Let a be q/(-11) + 344/44. Solve 0 = 2*k + 8, -a = 4*p + 5*k - k for p.
2
Let t(c) = c + 4*c - 7*c + 1 + 5*c. Let g be t(2). Solve 0 = q - 2*b - g, -b - 3*b = 2*q + 18 for q.
-1
Let t(a) = 3*a**2 - 15*a + 4. Let z(n) = -4*n**2 + 16*n - 4. Let i(m) = 5*t(m) + 4*z(m). Let l be i(-11). Solve -2 = l*x + 3*k, -5*x + 2*k - 6 = -4*x for x.
-2
Let x be 0/(-2 + 2/2). Suppose 3*c = -5*w + c + 10, -2*c = x. Solve -w*y = o + 2*o + 6, o = 0 for y.
-3
Let v(w) = -w**2 + 8*w - 2. Let h be v(7). Solve -2*a - 4*y = -16, -a + h*y = 12 + 8 for a.
0
Let n = 14 + 23. Solve 3*z = -5*b - 0*b + 5, -5*z + 3*b - n = 0 for z.
-5
Let s = -83 + 85. Solve -4*w - 20 = -2*x - 0, 0 = s*x - w - 11 for x.
4
Let v(u) = 2*u**2 + u - 1. Suppose -3*k = -0*k + 6. Let s be v(k). Suppose 0*w - 2*w = -4*b, -s*w + 36 = 2*b. Solve 4*p + w*l + 40 = l, -l = 4 for p.
-5
Suppose -4*f - 90 = -10*f. Solve 5*s - 3*g - f = 0, -11 - 4 = 5*s + 3*g for s.
0
Suppose -70 = -3*o - 16. Suppose -o = -2*u + x - 7, 0 = 5*u + 5*x - 20. Solve 0 = -4*p + 8, -3 = u*g + p - 20 for g.
3
Suppose -3*x + 2*h + h - 9 = 0, 3*x - 4*h = -14. Solve 4*f - 5 = -f, 0 = 2*q - 4*f - x for q.
3
Suppose 0*j - 3*j + 12 = 0. Solve 0 = 2*s - j*h + 14, 4*s - 6*h + h + 13 = 0 for s.
3
Suppose 4*m = -2*j + 76, 45 = 5*m + 5*j - 55. Suppose -18 = -2*c - 2*v, 5*c - 5*v - 33 = -4*v. Solve -4*d + 2*x - m = c*x, 4*d + 2 = 3*x for d.
-2
Let y(c) = c - 2. Let v be -1 + 2 + (-3 - -3). Suppose -3*b + v = 4*r, 3*r = -2*b + 4 - 2. Let a be y(r). Solve -a*n - 1 = -5*s + 16, 15 = 3*s for n.
4
Suppose -5*p = -30 - 60. Let l be 1/(((-21)/p)/7). Let z be 10/3 + 2/l. Solve -1 = -3*v - 2*x, -14 = -3*v + 2*x + z for v.
3
Suppose -b + 9 = 5*n, -5*b + 23 = -5*n + 8. Solve -2*i - 6 = b*q - 2*q, -3*i = 5*q + 13 for i.
-1
Let q(h) = -3*h**2 - 2*h - 1. Let t be q(-1). Let v be 0*(-2 - -3)/t. Suppose v + 6 = 2*u. Solve -2*a - 3*r = -4, 15 = -u*a + 8*a + 5*r for a.
5
Let k be 1*(-1 + (9 - 3)). Suppose 3*i = m + 5, -4*m + 2 + 2 = 0. Suppose 3*w = -i*j + 15, 5*j - 17 = -w + 1. Solve 3*d - w*g + k = -2*g, -3*d = 2*g + 17 for d.
-3
Let g = 57 + -52. Solve g*m = -3*a + 26, -5*a = m - 10 - 4 for a.
2
Suppose 6*b - 74 - 34 = 0. Solve 4*v - s - b = 0, 2*v + s + 10 = 4*v for v.
4
Suppose 2*c + 5*h = -0*c + 28, -5*c - 3*h = -32. Let z = 9 + -8. Solve -3*g - 11 = -c*o, 3*o - 16 = -z for g.
3
Let l be ((-4)/(-12))/(3/(-126)*-2). Suppose 0*o = 4*o - 12. Solve 0 = o*a, -3*d + 4*a - l + 19 = 0 for d.
4
Let p(t) = 4*t + 3. Let l be p(5). Suppose -d + l = -o - 4*o, 5*d + o - 11 = 0. Solve j - 8 = -d*j - 4*i, 0 = -5*i for j.
2
Suppose 2*a + 22 = 9*n - 4*n, 4*n - 5*a = 21. Solve 4*f = -n*l + 4, 0 = 4*f - 22 + 2 for l.
-4
Suppose -3*v + 1 = -2. Let c(j) = j + 8. Let z be c(-7). Let w = z + v. Solve -4*o - 1 = -2*x - 27, 2 = -2*o - w*x for o.
4
Suppose -3*p + 92 - 11 = 0. Solve 2*f + s = 2*s - 13, p = -3*f + 3*s for f.
-4
Let z be 8/28 - (-24)/14. Let y be -2*(z - (4 + -1)). Solve 0 = -y*w - 8*n + 3*n + 25, 25 = 5*n for w.
0
Let t(i) be the third derivative of -i**5/60 - i**4/4 + i**3/6 + 2*i**2. Let g be t(-7). Let y be g/4 + 66/4. Solve -5 = -a, 2*c = -4*a + a + y for c.
0
Let a(m) = m - 4. Suppose -8 = -2*z + 6. Let x be a(z). Solve 0*v = 4*v - n + 20, -x*v = 2*n + 15 for v.
-5
Suppose 0 = -9*u + 28 + 8. Solve 5*b = -3*s - s - 11, -u*s + b = 17 for s.
-4
Suppose -3*r + 15 = 3*x, 5*x = -4*r - 5 + 30. Solve b + r*b + m - 3 = 0, -2*m + 8 = 0 for b.
-1
Let q(m) = 1. Let o(r) = r**3 - 7*r**2 + 7*r - 6. Let z(i) = o(i) + 2*q(i). Let l be z(6). Solve 0*c + 7 = 4*x + 3*c, -2 = -4*x - l*c for x.
-2
Suppose 0 = -5*k - 2 + 17. Suppose 2*s + 6 - 26 = -5*q, 5*q + s = 15. Suppose x + x = 6. Solve q*i = m - 7, k*i + x + 0 = -m for i.
-2
Let o be (-2 + 1)/(3/(-15)). Suppose -o*c + 13 = -7. Solve c*p = -5*w - 45, 5*w + 22 - 2 = p for p.
-5
Let b = -64 + 68. Let d be -1*((-2 - 0) + -2). Solve -2*a - b*h - 2 = 0, h + 24 = -d*a + 3*h for a.
-5
Suppose 3*u = u + 2*j, 6 = u + j. Solve b + o - 9 = u*o, -5*o - 18 = -b for b.
3
Let d = -24 + 24. Solve -4*n + 3*