 4). Let b be x + 4/2 + h. Solve -3*c + 0*c = -b for c.
3
Let b(i) = -i**2 - 13*i - 7. Suppose 5*a = 25 - 85. Let f be b(a). Solve -f*w + 6 = -3*w for w.
3
Let l be 1/(-2)*1*-4. Suppose -2*r - n = -3 - 7, -l*r + 5*n - 14 = 0. Suppose -3*k + 8 = k. Solve -k*h + r*h - 5 = 0 for h.
5
Let q(y) be the third derivative of y**5/60 - y**4/12 + 2*y**3/3 + 3*y**2. Let d be q(5). Let j = d + -11. Solve 4*m = 8*m + j for m.
-2
Let o be (-1)/(-2) - (-10)/(-20). Solve 0 = -o*a + a for a.
0
Suppose 8 = -0*d + 4*d - 5*s, 2*d = -2*s + 4. Suppose -8 = -i + o - 4, o = d*i - 11. Solve -3*u + 2 = -i for u.
3
Suppose 2*a = 5*a. Let t = a - 12. Let w = -5 - t. Solve -5*h = -13 - w for h.
4
Let m = 8 - 8. Solve 0 = 2*i - 10 - m for i.
5
Let b = -22 + 63. Suppose -3*l + b + 7 = 0. Suppose -3*w = w - l. Solve n = w*n for n.
0
Let u be ((-3)/(-3))/((-1)/9). Let a be ((-2)/3)/(2/u). Suppose -15 = -a*s - 2*s. Solve s*v = -0*v for v.
0
Suppose -4*k - 1 = -25. Suppose z - 5*a + k = -a, 2*z = -2*a + 8. Solve -z*s = -0 - 8 for s.
4
Suppose -h = 4 - 10. Let k = -4 + 11. Suppose 5*g + 8 + k = -v, -g + 6 = 2*v. Solve h*r - v = r for r.
1
Suppose 2*j - 14 = -0*j. Suppose 16*g = 360 + 8. Solve -4*v - j = -g for v.
4
Let d = -41 + 41. Solve 3*t + d*t - 3 = 0 for t.
1
Let o = -2 - -4. Let n be (-4)/(-14) + 0 - (-12)/7. Suppose 0 = 2*k - 3*k + 4. Solve -n*f + o = -k*f for f.
-1
Suppose -2*q - v - 12 = 4*v, 4*q = 2*v + 24. Solve 7 = -q*g + 23 for g.
4
Let s = -39 + 59. Suppose i = 2*i - s. Solve -i = 4*a + a for a.
-4
Suppose -5*d = -d - 4*g - 24, 5*d - 12 = -g. Solve 9 = 3*q + d for q.
2
Let w(t) = t**3 - 5*t**2 + 4*t + 2. Let f be w(4). Suppose 0 = 5*p + 10, 0 = 3*n + 5*p + 4. Solve f*y + 8 = -n for y.
-5
Let y = 3 + 2. Suppose -4 = -2*t - 0. Suppose -t*g = 4*j, 0 = -y*g - 6*j + 3*j. Solve d + g + 3 = 0 for d.
-3
Suppose b = j + 4*j + 3, -4 = -b + 4*j. Let a = 11 - b. Suppose -4*n = k, -n = -a*k + 4*n. Solve k*v - 20 = -4*v for v.
5
Let g(q) = 2*q**2 + 2*q - 2. Let x be g(1). Solve 0 = -x*s - 6 - 0 for s.
-3
Let l(y) be the first derivative of y**3/3 - y**2/2 + 6. Let t be l(-1). Solve -i + 1 = -t for i.
3
Suppose 2*y - 5*y + 4*h + 13 = 0, -8 = -2*y + 2*h. Solve 0 = y*u - 0*u - 15 for u.
5
Suppose 7*h = 12 - 5. Let x(s) be the first derivative of s**3/3 - s - 1. Let f be x(h). Solve f*a + 4*a - 4 = 0 for a.
1
Let h = 16 + -7. Let c = h + -3. Solve -5*d - 1 = -c*d for d.
1
Suppose -7*c = -6*c. Solve c = -3*s + 2*s for s.
0
Let o(w) = w**3 - 3*w**2 + w - 11. Let h be o(4). Solve 3 + h = 3*b for b.
4
Let m = -2 + 7. Suppose 5*h - h = 84. Suppose -m*i + h = -l, 0 = -0*i - 4*i + 5*l. Solve i*o + 3 + 7 = 0 for o.
-2
Let m(b) = b**3 - 3*b**2 + 2*b - 2. Let f be m(3). Let g(h) = h**3 + 2*h**2 - 12*h - 10. Let s be g(-4). Solve f*x - s = 2 for x.
2
Let d = -16 + 13. Let h be (d - (-16)/4) + 1. Solve 0 + h = -2*v for v.
-1
Let y be ((-8)/20)/(1/(-5)). Let i = 2 - y. Solve -v + i = -1 for v.
1
Let q be 9/(-18)*(-7 + 1). Let y be -1 - 2 - (q - 20). Suppose 12 = 3*f + 3. Solve f*l - y = -5 for l.
3
Suppose -4*i - 3*h = -8, 0 = 6*i - i + 2*h - 10. Solve -5 = -3*w + i*w for w.
5
Suppose 0 = 2*l + 5*l - l. Solve l = k - 2*k - 2 for k.
-2
Suppose 4*a + 3*a - 5*a = 0. Solve a = 2*b + 8 - 4 for b.
-2
Let j be (-5)/(-25) - (0 - (-2)/10). Solve 3*x - 15 = -j*x for x.
5
Let s = 7 - 4. Solve 0 = -0*w + 3*w - s for w.
1
Let h(u) = 7*u - 3. Let p be h(2). Let r = p - 11. Solve r = -0*t - t + 3 for t.
3
Suppose 0 = 4*f + 3*u - 34, 5*f - 6 = u + 46. Solve f*n = 5*n + 15 for n.
3
Let k = -12 - -19. Solve k*o = 4*o + 9 for o.
3
Suppose 5*u + 22 = 3*k + k, -4*k + 28 = -2*u. Solve k = -y - 3*y for y.
-2
Let y = 59 - 54. Solve -12 = y*p + 3 for p.
-3
Suppose -2*n - 11 + 22 = -5*h, -5*n = -2*h - 17. Solve n*v + 2 - 14 = 0 for v.
4
Let f = 45 + -41. Solve -4*p + 8*p - f = 0 for p.
1
Let n(x) = -x**2 + x + 14. Let l be n(-3). Solve 0*m = -l*m + 6 for m.
3
Let h(w) = 5*w**2 + 2*w. Let f be h(-4). Suppose -6*m = -3*m + f. Let r be 10/4*m/(-30). Solve -5 = -r*u + 5 for u.
5
Let c = -2 + 2. Let f be (0 - c)/(3/3). Suppose z = -f + 6. Solve -o = -z*o for o.
0
Suppose 11 = -5*t + 1. Let z be -3 + 9 + t/2. Solve 0 = z*f - 19 - 1 for f.
4
Let s = -5 + 5. Suppose 4*z + 7 - 23 = s. Solve c + 2 = z for c.
2
Suppose 3*m - 8*m = -35. Suppose -3*h = -4*h + r + m, -5*h + 29 = -3*r. Solve -h*w = -2*w - 2 for w.
1
Suppose 5*t + 6 = 7*t. Suppose -5*c - 3 = t*r + 6, 5*c = -2*r - 11. Let p = 7 + c. Solve -4*u + 0 = p for u.
-1
Let w(m) = m**2 - 6*m + 1. Let n be w(6). Solve -2*s + n = -s for s.
1
Let m = 7 - 5. Let k = 2 - 0. Solve -m*a = 6 + k for a.
-4
Let k be 3/(-15) - (-6)/5. Solve -2*v - k = -5 for v.
2
Suppose 1 = -4*q + 17. Suppose 6 = -3*r + q*r. Solve -x = -r*x for x.
0
Let p = 13 - 13. Suppose -4*i - z = -2, -3 = -4*i - 4*z + 5. Let w(t) = t**2 - 4*t. Let h be w(5). Solve h*o + i*o = p for o.
0
Suppose -47 = 3*z - 62. Solve -z*q - 10 = -5 for q.
-1
Suppose o + 0*o = -2*r + 11, 1 = 2*r - o. Let l = -2 + r. Solve -y + l = -0*y for y.
1
Let r = -2 - -15. Suppose -5*d + 7 + r = 0. Let j be d/(-18) - (-166)/18. Solve 3 = 3*p - j for p.
4
Let j be 12 - (1 + 0 + 1). Let q be 6/(-15) - (-24)/j. Solve -q*g - g = -12 for g.
4
Suppose 2*a = -3*a - 60. Let f = 17 + a. Suppose f*d - d - 16 = 0. Solve d - 2 = -y for y.
-2
Let m be (-38)/(-9) + (-2)/9. Suppose 15 = i + m*i. Suppose 15 = i*v + 2*v. Solve v = -5*c - 2 for c.
-1
Suppose 2*b + 12 + 44 = 0. Let x be (-1)/4 - 7/b. Solve x = 7*i - 3*i for i.
0
Suppose 0 = -4*w - w + c + 11, 4 = 3*w + 2*c. Let o = 6 + -2. Solve w*g + o = -4 for g.
-4
Let r = 37 + -32. Solve 2*u + 12 = r*u for u.
4
Let f = 2 + 2. Suppose -20 = -f*t + 2*l, 5*t - 18 + 3 = 5*l. Solve 5*s - 13 = t for s.
4
Suppose 0 = -n - 3*q + 16, n - 3*q + 2 + 6 = 0. Let f be ((-5)/2)/(1/(-2)). Solve 3 + f = n*m for m.
2
Let m = -59 - -60. Solve -m = -3*p + 4*p for p.
-1
Suppose -2*v = -5*c + 2, -5*c + 2*c = -v - 2. Solve c*i = -3*i + 20 for i.
4
Suppose -5*q = -u - 15 + 46, -2*q = 3*u - 8. Suppose -4*g = -u*g. Solve g = 2*h + 3*h - 25 for h.
5
Suppose -4 = w - t - 6, -4*w + 3*t = -8. Solve w*d = -2*d - 4 for d.
-1
Suppose u - 5*u = 0. Let m(k) = -k**2 + 12*k - 15. Let w be m(10). Suppose 5*p = 4*z - z + 103, -w*z - 65 = -3*p. Solve u = -t - 3*t + p for t.
5
Suppose q - 5*v - 16 = 0, 5*q - 3*v + 4*v - 28 = 0. Solve -q = 3*w + 9 for w.
-5
Let s(z) = z**2 - 6*z + 7. Let b be s(5). Suppose -2*j = 2*t - 8, 5 = 3*t - 7. Suppose 4*q - 2*q = j. Solve b*y + 2*y - 20 = q for y.
5
Suppose 0*z - z + 6 = 0. Let x(d) = d**3 - 7*d**2 + 8*d - 7. Let b be x(z). Suppose -10 = y - 2*n, -2*y = -3*n + 2*n + b. Solve -3*k = -y*k for k.
0
Let i(t) = 3*t + 1. Let c be i(1). Suppose 0 = o + l + 1, 3*l - c*l = 2. Solve -2*w = o + 7 for w.
-4
Let x be (-3)/(-2)*84/18. Solve 3 - x = z for z.
-4
Suppose -5*x + 79 - 4 = 0. Solve -m + x = 4*m for m.
3
Let u = -29 + 31. Solve -5*w - u = 3 for w.
-1
Let a be (-6)/(-8)*4*4. Let n(d) = -2*d**2 + 4*d - 4. Let s be n(3). Let w be s/(-4) + (-3)/6. Solve -i - w*i = a for i.
-4
Let s(z) be the second derivative of -z**4/12 + 2*z**3 - 5*z**2/2 - z. Let y be s(11). Suppose 3*p = 2*p + y. Solve -c = -p*c + 25 for c.
5
Suppose -5*x = 0, -2*d + 3 = -d - x. Solve -j = -d*j + 4 for j.
2
Let l = -1 - -2. Suppose -5*i - 4*f = -259, -2*i - 3*f + 5*f + 118 = 0. Suppose 2*c - i = -3*c + 3*w, -2*c + 3*w = -22. Solve -3*n = c + l for n.
-4
Suppose -13 + 7 = -3*i. Solve i*l + 4 - 14 = 0 for l.
5
Suppose -2*f + 3*u = -16, -f + 8 = 10*u - 15*u. Solve m + f = 5*m for m.
2
Suppose -6 + 1 = 5*y. Let a be (y/(-3))/(5/30). Solve 0 = -5*h - 18 - a for h.
-4
Let a(g) = 2*g**3 - 3*g**2 + 2*g - 3. Let h be a(2). Suppose 2*b = h*p + 25, 0*p + 46 = 5*b + 4*p. Solve 0*w = 2*w + b for w.
-5
Let y(g) = g**2 - 10*g - 7. Let s be y(11). Solve -10 = -9*q + s*q for q.
2
Let f = -12 - -8. Let q be (3 - f) + -2 + -1. Solve 0 = 2*v + q for v.
-2
Suppose 0 = 2*i - 3*k - 2*k - 25, -3*k = 4*i - 11. Suppose -o - o = i*s + 5, 0 = -3*o - 15. Suppose -3*w = -2*l + 18, 2*l + w + 1 = 3. Solve -y = l - s for y.
-2
Let y be 1/(2*3/18). Suppose 4*z = -12, 4 = 3*p + 3*z - 14. Let g = -6 + p. Solve -y*u + 0 = g for u.
-1
Suppose -12 + 4 = -2*j. Let p be (0 + 1)/(3/21). Solve -j*g = -1 - p for g.
2
Let z = 72 + -70. Solve z*a + 2*a = 0 for a.
0
Suppose 2*k - 2*z = -2*k