
Let k = 18 + -16. Solve 2*d + k*h + 6 = -d, -5*d - 3*h - 10 = 0 for d.
-2
Let p(i) be the first derivative of 1 + 3*i - 1/3*i**3 - 1/2*i**2. Let c be p(0). Solve 5*q + 26 = 4*d, 3*d - 15 = c*q + 3 for q.
-2
Suppose f - 2*f = -7. Let i = f + -5. Solve 4*t - 2 = -i*j - 8, 0 = -j + 4*t - 3 for j.
-3
Let v = 11 + -8. Solve 2*p - 5 = -p + 4*f, 0 = -2*p + 3*f + v for p.
3
Let i(l) = l**3 - 3*l**2 - 4*l + 2. Let f be i(4). Suppose 0 = f*r - 10. Solve r*u = -3*v + 13, -8*u + 3*u + 11 = v for v.
1
Suppose -15 = -3*d - 6. Solve 17 = 2*i - d*h - 0, 0 = i - 3*h - 16 for i.
1
Let b be 6/2 - 5*14/(-35). Solve -3*y + 3*j + 17 = 2*y, 3*j = 2*y - b for y.
4
Let x(d) = d**3 + 3*d**2 + 5. Let y be x(-3). Solve 16 = 2*o - y*o + 2*p, 2*p - 2 = -4*o for o.
-2
Let b = -2 - -5. Suppose -b*i - 9 + 78 = 0. Let w = -14 + i. Solve -4*u + 2*o - w = 1, -5*o = 25 for u.
-5
Let x = -18 + 21. Solve 2*w - 3*w + 9 = 5*k, -w = 2*k - x for k.
2
Let u be -1*9/3 + 7. Suppose -a - 2*r + 15 = 2*r, 72 = u*a + 4*r. Solve -3 = -b - 0, 5*b - a = -2*f for f.
2
Let c(o) = -o - 6. Let b be c(-10). Suppose -r = b - 9. Solve -5*f = -3*f - 5*l + 26, -5*f - 5*l + r = 0 for f.
-3
Let c = -2 - -2. Suppose 2*d - 28 + 0 = c. Suppose -d = -4*w + 6. Solve -3*m + 17 = -6*m + w*u, -12 = 4*m - 4*u for m.
1
Let w be 11 + -6 + 2 + 1. Suppose 0 = -2*y + 4*y - w. Suppose -b = b - y. Solve k - 7 = -b*a, 2*a - 3*k = 3*a + 4 for a.
5
Suppose -95*c + 90*c = -20. Solve 0 = -c*k - k + 2*n + 17, -3*k + 7 = -2*n for k.
5
Suppose 72 - 84 = -3*u. Solve -2*m + 4*j + u = j, 2*m + 12 = -5*j for m.
-1
Let d(p) = 2*p**2 + 12*p - 10. Let m be d(-7). Solve -3*a - 2*x = x + 6, 0 = m*a + x + 14 for a.
-4
Suppose -13 = 5*c - 38. Suppose 5 = 3*w - 8*w. Let j be -1 - 2*w/2. Solve -c*s = -3*g + 3 - 2, j = 2*s + 4 for g.
-3
Let n(k) be the first derivative of k**3/3 + 7*k**2/2 + 9*k - 1. Let r be n(-6). Solve -g + 0 = 3*h - 9, r*g - 5*h = -1 for g.
3
Suppose 0 = o - 3*o + 4. Suppose k + o*u = 5, 4*k - 7*u - 7 = -2*u. Solve -2*b - 5*p + 25 = 0, -3*b - 2*p + k*p = -12 for b.
5
Suppose b = -10*b. Solve b = -5*d - 3*l + 26, -d + 12 = -0*d + 4*l for d.
4
Suppose 0 = -7*c + 21 - 7. Solve c*r = -5*n + 18, -n = 2*n + 2*r - 14 for n.
2
Let k be -1*-1*3*100/12. Suppose 14 - 5 = 3*g. Let f = 5 - g. Solve 4*h + 18 = -4*j - 14, 0 = -5*j - f*h - k for j.
-3
Let s be (-19)/(3 + 1 + -5). Suppose s = 3*g + 4. Solve -d = -u - 4, g*u + 4*d - 14 + 7 = 0 for u.
-1
Suppose -5*t - 5 = 3*x - 8*x, -2*t = 2*x - 10. Solve 3*a + a - 4 = 0, 5*d - x = 2*a for d.
1
Let c be (-2)/(-2)*(-10)/(-7 + 5). Solve 0 = -4*k + 4, c*b + 2*k - k + 4 = 0 for b.
-1
Suppose -3*h + h - 11 = 5*a, 0 = 4*h - 3*a - 17. Suppose -4*r = s - r + 13, h*r + 8 = 0. Let t = -1 - s. Solve t = 2*i - 3*d - 12, -2*d = -3*i + 1 + 7 for i.
0
Let w be (-172)/(-16) + (-6)/8. Solve 0 = -g - 4*f - 2 - w, -2*g + 2*f = -6 for g.
0
Suppose -5*v - 6 - 19 = 0. Let h be (2/v)/(1/(-5)). Let s(a) = -3*a - 1. Let b be s(-1). Solve -4*z + 4 = h*o, 3*z - 17 = -7*o + b*o for o.
4
Let l be 6 + (-3 - -1) - 1. Solve -6 = -n + 3*w, -7*w + l*w = n + 1 for n.
3
Suppose 0 = -8*v + 4*v + 16. Solve 2*m = 2*n, -4*n + 5*n + v = 3*m for n.
2
Suppose 2*o + 7 - 16 = -3*s, -2*o = -4*s - 2. Suppose z = -5*r + 15 + 9, 5*r - o*z = 8. Solve -3*f - 9 = 3*j, 3*f + j + 5 - r = 0 for f.
1
Suppose 39*r - 12 = 38*r. Solve -3*d + 2*x - 19 = 0, -4*d + x - r = 10 for d.
-5
Let b be 1/2 + (-20)/(-8). Solve b*w + 4*h = 25, 4*w + h = -w + 19 for w.
3
Let p = 9 - -3. Let c be (-40)/p*(-6)/4. Let u = 6 + -2. Solve 0 = 2*b - c*m - 20, 2*b - 2*m = -u*m + 6 for b.
5
Let q be (9 - -7)*2/2. Suppose d + q = 5*d. Solve -16 = 5*i - d*z, -i = 3*i + z + 17 for i.
-4
Let z(m) = -4*m - 9. Let w be z(-7). Suppose 0 = 5*t - w - 11. Solve -o - r = 2*r + t, -4*r = 8 for o.
0
Let i(t) = -2*t**2 + 4*t - 1. Let u be i(3). Let q = u + 13. Solve 3*d + 15 = 3*a, 4*a - 2*d = -5*d + q for a.
3
Let b be 1/2 - (-55)/22. Solve -12 = b*f + y, 0 = -6*y + 2*y for f.
-4
Let b(a) = -5*a - 1. Let q be (-4)/(-22) + (-171)/33. Let y = -6 - q. Let u be b(y). Solve 2*k = 3*s + 1 - 13, 0 = u*s + 3*k - 16 for s.
4
Let o(a) = a**2 - a. Suppose 3 = -4*r - 1. Let w be o(r). Solve 0*j - 3*j = 2*m + 9, 12 = -w*m - 4*j for m.
0
Suppose -i - 3*s - 1 = 0, -i - s - 2 = -3. Let k = -3 + 1. Let t be (i + 26/k)/(-1). Solve -1 = -0*q + q, 2*n + t = -3*q for n.
-4
Let p = 3 - 0. Let h be 10*(1 + 4/8). Solve -3*f + 4*n + p = 22, -5*f = 5*n - h for f.
-1
Let x(q) = q**2 + q. Let m = 8 - 10. Let f be x(m). Solve 2*h - 7*h + 3*b = -14, 5*h - 16 = f*b for h.
4
Let j be (1 - 3)*6/(-4). Suppose -q + 3*q - 2 = 0, 5*q - j = k. Solve 7*m - 4*y = k*m + 7, 2*y = -6 for m.
-1
Let u(w) = 3*w + 5. Let t be u(-6). Let a = t + 21. Solve 5*g = -5, 3*i + a = 2*g + 2*g for i.
-4
Let c(i) be the second derivative of i**4/12 + i**3 + 7*i**2/2 - i. Suppose 0 = -d + 2*d + 5. Let g be c(d). Solve -16 = j + g*j + 5*x, 6 = -4*j + x for j.
-2
Let q be (2/(-4))/((-11)/44). Solve -8*g + 3*g = -3*y + 34, -4*y + 22 = -q*g for g.
-5
Let p(g) = -10*g - 76. Let u be p(-8). Suppose 4*a - 4*j = -0*j + 20, 2*a = -5*j + 10. Solve -a*c + 6*i - i = 10, -8 = u*c + 4*i for c.
-2
Suppose 4*m - 41 + 1 = 0. Let h = 2 + -1. Let v = 3 + h. Solve -x - m = 4*x + 2*r, 2*r = v*x + 8 for x.
-2
Suppose 9*d = 4*d + 15. Solve 8*w - d*w = -3*r - 6, -3*w + 3*r = 18 for w.
-3
Let f be (-4)/(-3)*18/4. Suppose f*p - 82 = -3*a + p, -4*a + 3*p + 61 = 0. Solve -k - 4 = 0, -4*k - a = -3*g - 3 for g.
0
Let t = -3 - -5. Suppose t*j - 5 = 3, -4*n + 4*j = 4. Solve -2*u + u = -n*v + 8, 5*u - 5 = 0 for v.
3
Let d be (-6)/(-4)*48/(-9). Let w = -5 - d. Solve -4*q - w = q + 4*g, 3*q - 9 = 3*g for q.
1
Let v(d) = 2*d - 2*d + 1 + 5*d**2 - d. Let u be v(1). Solve u*h = 3*n + 2*n + 20, -n + 4 = 3*h for n.
-2
Suppose 4*s - 1 = 7. Solve 3*q + 2*t - 14 = 0, -3*q + s*q + 4*t = 0 for q.
4
Let s = 43 + -43. Solve -4*j + 5*y + 3 = s, -4*j - 3*y = -2*y + 15 for j.
-3
Let t(h) = -h**3 - 20*h**2 - 18*h + 23. Let z be t(-19). Solve 0*v - v - 11 = -3*w, -w + z*v = 11 for w.
5
Let b = 18 - 18. Solve -4*s + 2*y - 10 = b, -s - 7 = -y - 4 for s.
-2
Let j(b) = b**2 - 4*b + 3*b - 3*b - 7. Let d be j(6). Suppose -4*w - 2*o = -15 - 3, 0 = -d*w - o + 27. Solve -n = -0*x + 5*x - w, 0 = 2*n + 5*x - 2 for n.
-4
Let z = 72 - 69. Suppose 2*l - 4*l = -4*t + 68, 2*t = 2*l + 34. Solve b + z*b - t = -3*f, f + 5*b = 13 for f.
3
Let n be -8*((-14)/8 - 0). Solve j + 2 = 0, 4*y = -3*j + n - 0 for y.
5
Suppose 2*k + 0*k - 20 = 0. Let c = -2 + 2. Suppose c = -5*s - 4*u + 1 + 92, 3*u = 2*s - 28. Solve -4*h - 5*w = k, -4*w - s = h + 4*h for h.
-5
Suppose -9*a = -15*a. Solve 5*g + a = -2*v + 15, -3*v = -3*g + 9 for g.
3
Let w(u) = -u**3 + 9*u**2 + 9*u + 3. Let y be w(10). Let v(h) = -4*h + 4. Let m be v(y). Solve -i + 3*q - 7*q = 12, -5*i + 3*q = -m for i.
4
Let d be 14/(-8) - 4/16. Let p = d - -6. Let t = p + -3. Solve 0*a - 4*f - t = a, -f = 5*a + 5 for a.
-1
Suppose 2*n + 2*n + 11 = 3*q, -5*q + 24 = -n. Solve -q*t + 5*k = -40, t - 6*t = -4*k - 36 for t.
4
Let u = 5 + -9. Suppose 13 = 3*p - 8. Let l = u + p. Solve 3*d + l = 3*h, -h + 2*d + 2*d = -13 for h.
-3
Suppose 2*m = -5*m + 5*m. Let l = 0 + -2. Let y be 1/(3 + l - 0). Solve -7 = 4*k + 3*c, m = -c - 6 + y for k.
2
Suppose 5*n - 83 = -x + 4*x, 0 = 2*n - 5*x - 37. Solve -2 = 5*w - 3*l - n, 8 = 3*w - 2*l for w.
4
Suppose -33*p = -28*p - 15. Solve 5*w = 5*o - 40, -2*w + 4 = p*o - w for o.
3
Let h = -21 - -27. Solve r + 12 = -5*b, -2*r - h = 2*r - b for r.
-2
Suppose -2*c - 24 = -4*c. Solve -12 = 4*z - m, -7*m + c = -4*z - 2*m for z.
-3
Let g be ((-35)/14)/(4/(-8)). Solve g*d + 5*r + 0*r = -15, -4*r = -2*d + 18 for d.
1
Let q = -1 + 4. Suppose 0*a - q = -3*a. Suppose 0 = 5*j - 9 - a. Solve 8*l + w + 8 = 3*l, j*l - 5*w + 14 = 0 for l.
-2
Let t(i) = i**3 + 3*i**2 + i + 2. Let x be t(-3). Let m be (0 - 2)/(x + 2). Let d = m + 4. Solve -3*l = 5*h + l - 22, 0 = -d*h - 5*l + 19 for h.
2
Let z be 24*((-4)/(-12))/1. Suppose 3*u + 3*m - z = -2, 4*u - 11 = -3*m. Solve -5 = 2*p + 5*d, -5*d + 3*d = u*p + 2 for p.
0
Let k = 123 + -119. Suppose -n - 4*n = 0. Solve n = 3*u + k*s + 7, -2*u = s + s + 4 for u.
-1
Let z(i) be the first derivative of i**4/4 + 7*i**3/3 - i**2 - 4*i + 3. Let c be z(-7). Solve 2*k = -d - k - c, 2*d + 12 = -2*k for d.
-4
Let h(c) = -3*c - 4. 