 k for b.
-4
Suppose 0 = -2*o - 4, -c + 9*o - 4*o = -7. Let h(u) = u**3 + 3*u**2 - u. Let l be h(c). Solve 0 = 5*n + s + 25, -2*s + 13 = l*n - 7*s for n.
-4
Suppose 0 = -2*j - j + 21. Suppose -2*r = -6 - 8. Let d be ((-8)/r - -2)*j. Solve -1 = -4*q + 2*u + 19, 4*q + 5*u = d for q.
4
Let m be ((-108)/63)/(-6) + (-66)/(-14). Solve 4*c = -b - m, 6*c + 9 = -4*b + c for b.
-1
Let v be 1 + (0 - -1) + -2. Let x be -2 - (-2 + -2 + v). Let u be 0 + (x - 5)*-1. Solve 5*p + 16 = -u*k, 2*p + 0*k + k = -6 for p.
-2
Let b = 5 - 0. Solve 0 = -b*s + 4*t - 30, -3*t - 2 = -4*s - 25 for s.
-2
Let r = -11 + 14. Solve -m + 2*u = -2*m + 2, 3*m - r*u + 21 = 0 for m.
-4
Let c = 1 - -5. Suppose -z - c = 2*q, 5*z + 0*q - 5*q = -15. Let w be ((-8)/5)/(z/40). Solve -4*t - t - 25 = 0, -5*t - w = -3*m for m.
-3
Let c be -3*12/(-9) - 1. Suppose 3*d = -4*f + 8, d + 0*d + c*f + 4 = 0. Solve -w = -3*j + 10, -2*j - d = 5*w - 3*j for w.
-1
Suppose 51 = 9*x + 6. Solve 6 = 2*s - 0*s - u, -u = x*s - 22 for s.
4
Let b be (-14)/8 + 2/(-8). Let t = b + 5. Suppose -2*i = -5 - t. Solve 5*d = -3*c + 1, -10 = -4*c + i*d - 2*d for c.
2
Let d(s) = 3*s**2 + 6*s. Let w be d(-4). Let m = -16 + w. Let h be (-32)/3*(-18)/m. Solve -32 = 4*o + 5*q, 3*o + 2*q - 7 + h = 0 for o.
-3
Suppose 3*n - 25 + 10 = 0. Suppose 0 = g - 3*y - 2, -3*g + 5 + 1 = n*y. Solve 4*a - g*a - 3*r = -7, 2 = -3*a - 4*r for a.
-2
Suppose -w - 4*q = 5, q = w - 3*q - 11. Suppose 10 = 5*m - 10. Solve 5*s + 25 = -5*u, 3*u - m*s + w*s + 7 = 0 for u.
-3
Let f be ((-6)/(-8))/((-2)/(-8)). Let v = 33 - 18. Let a be 70/v + 6/(-9). Solve -5*x - f*y = -7, 0*x = -4*x + a*y - 20 for x.
-1
Let m(i) be the first derivative of i**3/3 - 5*i**2/2 + 6*i + 1. Let s be m(4). Let x be 1/s + 3/2. Solve 3*b + 3 = -w - x*w, 2*b - 19 = 5*w for w.
-3
Suppose -21*r + 180 + 30 = 0. Solve -g + 3*a - r = 0, -9 = -3*g - 3*a - 3 for g.
-1
Let b = 3 + 3. Suppose -37 = -4*y + 3*z, -y = 5*z - b - 9. Let x = y + -7. Solve -5*p + x*p + 4*l - 20 = 0, 5*p = l - 23 for p.
-4
Let g be 2*(20/(-8))/(-5). Solve -n + 2*r + g - 6 = 0, 2*r - 10 = 2*n for n.
-5
Let g = 24 + -26. Let x be 0/1*g/(-4). Let p be (5/2)/(2/4). Solve -4*s + p*d - 5 = s, x = -2*s + 4*d - 8 for s.
2
Let u(b) = -b**2 + 10*b - 8. Let h be u(9). Solve -2*r + h = -6*r - 3*c, -4*c = -20 for r.
-4
Suppose 5*s - 16 = -86. Let n = s - -7. Let v be (-2)/(-8) - n/4. Solve y - v*w + 9 = 0, -y + w + 0*w = 6 for y.
-3
Let b(h) be the third derivative of h**6/120 + 2*h**5/15 + h**4/3 + 4*h**3/3 - h**2. Let a be b(-7). Solve p - w - 1 = 0, -p + 6*p - 2*w = -a for p.
-1
Suppose -4*u = 1 - 13. Let w be (-1)/u*-3 - 1. Suppose -3*g + 10 = -z, -4*g - 14 = -g + 5*z. Solve -d + g*q + 4 = w, 4*q + q - 3 = -4*d for d.
2
Let g(s) = 6*s**3 - s**2 + s - 1. Let q be g(1). Suppose -t = -a + 5, a = q*a + 5*t - 2. Solve 3 = a*b, -4*j + 4*b - 16 = 4 for j.
-4
Let q(i) = i**2 - 5*i + 5. Let o be q(5). Suppose -37 = -o*w + 4*h + 33, 2*h = -w. Let v = w + -6. Solve -3*b + 8 = -4*c, -3*b = -v*c - 2*b for c.
1
Let s(n) = 5*n**3 - 2*n**2 + 3*n - 2. Let r be s(1). Solve 4*k + 16 = -3*m, r*m + 4 - 8 = k for m.
0
Let x(a) be the first derivative of -a**2/2 - 7*a - 1. Let z = -46 - -37. Let h be x(z). Solve 0 = -h*l + 4*s - 6, -s + 9 = -3*l - 2*s for l.
-3
Let c(y) be the third derivative of y**4/24 + 5*y**3/3 - 6*y**2. Let g be c(-8). Solve 6 = 4*o - 2*a, 2*o + o + a - g = 0 for o.
1
Let h = -2 - -4. Let s(j) = j**3 - 7*j**2 + 3*j + 5. Let o be s(7). Let y be 4/26 + 360/o. Solve 0 = -2*u - 3*g + y, 0*u - u - 7 = -h*g for u.
1
Let m be 6/(-42) - (-29)/7. Suppose y - 8 = -m. Solve 1 = 2*v - 5, y*g = 5*v + 1 for g.
4
Suppose 4*x - 4 = -x + 4*g, 0 = -2*x - g + 12. Solve 3*i = -x*u - 7, -4*u = -i - 2*u - 9 for i.
-5
Suppose 3*s - 7*s + 16 = 0. Solve 5*j - 15 = -3*f, j = s*f - 0*j - 20 for f.
5
Let c = 11 + -9. Solve a - 16 = -3*a - 2*r, -4*a = -c*r - 16 for a.
4
Let z = 4 - 4. Solve -3*r + 12 = z, -d + 2*r = r + 3 for d.
1
Let s be 2/(-3) - 51/(-9). Suppose 2*r + 5*y - 1 = -0*y, 6 = -r + 4*y. Let j = 2 + r. Solve 0 = -s*a - 4*b + 2, j = 2*a + 3*a - 2*b + 16 for a.
-2
Let m(g) = 6*g - 44. Let t be m(7). Suppose i + i = 0. Let h = i - t. Solve 0 = 2*b - b - 3, -2*b = -h*a - 4 for a.
1
Let k = -43 + 47. Solve s = j - 2*s + 11, s - k = 0 for j.
1
Let w(f) = 8 - f + 4 + 2*f - 4. Let l be w(-5). Solve -5*t - 26 = -c, l*c - 2*t + 12 = -5*t for c.
1
Let y = 26 + -14. Solve -2*b - 6 = -d, -4*d = 2*b + 4 + y for b.
-4
Suppose 0 = -0*d - 3*d + 15. Suppose d*j = 22 - 2. Solve 5*i + s + 22 = 0, 9*i - 2*s = j*i - 16 for i.
-4
Let m = 49 + -47. Let c(f) = -f**3 + 3*f**2 + 2*f - 3. Let l be c(3). Solve -5*x + 1 = 4*y, -2*x - m = -x + l*y for x.
1
Let f = -70 - -73. Solve -5*u + 3 - 15 = -2*j, -f*u = -3*j for u.
-4
Suppose 45 = 2*x + 3*x. Let w = x + -4. Solve p + 1 = -y - 6, -3*y = w*p + 27 for p.
-3
Let k(n) = 9*n**2 - 2*n + 1. Let t be k(1). Suppose 0 = 5*j - t - 2. Solve -2*g + 2*r - 3 = -1, 3*g + j*r = 17 for g.
3
Suppose -5*v = -0*v - 15. Suppose 0 + 6 = v*j. Solve -2*n + 3*y + 10 = j*y, 0 = 5*y for n.
5
Let b = -16 - -19. Solve -b*h = 2*q + 5, 2*h - 2 + 6 = -q for h.
-3
Suppose j = -2*j - 2*z - 52, 88 = -5*j - 4*z. Let k be (3 - 1)*(-24)/j. Let v be (4/(-6))/(2/(-75)). Solve 4*w - c - 24 = 2*c, v = k*w - 4*c for w.
3
Let q(v) = -v - 4. Let h be q(-6). Solve -5*d - 5*y + 45 = 0, -2*d - y + 6 = -h*y for d.
5
Suppose 0 = 2*u + 7 - 21. Let a = u - 3. Solve a*f + 18 - 1 = w, -5*w = 2*f + 3 for w.
1
Let h(k) = 2*k**2 - 24*k + 24. Let c be h(11). Solve -c*d - 12 = w, -4*d + 6*w - w = 10 for d.
-5
Let u(v) = -v**3 - 15*v**2 - 28*v - 22. Let y be u(-13). Solve -y*o - o = g + 15, -2*g = -5*o for g.
-5
Let b(g) = -g**2 + 4*g + 5. Let a be b(4). Suppose 6 = -a*r + 111. Suppose 1 = 3*k - 4*w - 7, 0 = -5*k - w + r. Solve -1 = v + k*m + 11, 2*v = -m - 10 for v.
-4
Let t be 0/(1*(2 + 0)). Let x be ((-12)/3)/(t - 2). Solve -14 = -2*a + 4*k, -4*a = x*k - 4*k - 4 for a.
-1
Let b = 103 - 71. Suppose -84 = -4*l + 3*h, -4*l + b = 2*h - 52. Solve -f - l = -5*n, -n = -3 - 2 for f.
4
Let q = -12 - -18. Solve 2*c = -t + 2, 7 = c + q*t - 4*t for c.
-1
Suppose j = 2*m - 7, -5*m + 19 = -1. Solve p + 2 = -3*i - j, -3*p - 1 = 5*i for i.
-2
Suppose -s + 2*s - 4 = 0. Solve 0 = 4*k + n + 17, 4*n - s = -k + 3 for k.
-5
Suppose 3*v - 8*v = -5*l + 80, 2*l + v - 26 = 0. Solve -3*g + 5 = 5*j + 2*g, 2*g = j + l for j.
-4
Let j(a) be the first derivative of a**2 - 4*a - 3. Let z be j(4). Solve 3 = l + 3*d, -z*l - 9 = -7*l - d for l.
3
Let t(h) be the second derivative of h**4/12 - 4*h**3/3 + 5*h**2 - h. Let p be t(7). Let o = p + 0. Solve -4*f = -4*b + 12, -o*f = 2*b + b + 15 for f.
-4
Suppose v = 3*v - 24. Let k = v + 1. Suppose 0 = 2*j - j. Solve j = 4*r + 5*s - k, 2*s + 3*s = r + 3 for r.
2
Let f(p) = 0*p + 0*p + p - 6. Let w be f(11). Solve 3*b = w*x - 6, 5*x - 2*x + 2*b - 15 = 0 for x.
3
Let p be (-3)/((-105)/96 - -1). Let s be (6/4)/(6/p). Solve -3*v = 2*r + 7, -4*r - 19 = 3*v - s for r.
-2
Let n be (-1)/((2/3)/(-2)). Let g be 34/10 + (-27)/(-45). Suppose j - 6*j + 5*v = -20, -j = 3*v - g. Solve -2*r + r + 8 = -2*i, i + j = n*r for i.
-4
Suppose 4*b = 2*b. Solve 2*c + b*c - 11 = -5*y, 3*y - 2*c = 13 for y.
3
Let g = 14 + -12. Suppose -y = -g*c - 20, 0 = 2*y + 2*c - 19 - 3. Let f be (-2)/(-9) + (-32)/(-18). Solve -2*j + 14 = 2*m, -f*j + 5*m = -0*m + y for j.
3
Suppose 0 = -4*i - 31 + 47. Solve -2*a - 2*o + 0*o = 6, -3*a = i*o + 10 for a.
-2
Let q be 1*2 - (17 + -33). Solve m + 4*j + q = 0, -m + j = 3*j + 10 for m.
-2
Let g be (-14)/(-28)*(-36)/(-2). Suppose 7*q = g*q - 6. Solve -5*d = 2*w + 25, -q*w - 5*d = -2*w + 20 for w.
-5
Let b = 16 - -2. Suppose -3*o + o = -b. Solve -4*u = -5*m + 17, 3*m + 0*u - o = 3*u for m.
5
Let u be 9/(-2)*2/(-3). Suppose 3*x - 51 = 4*a, -x + 1 = -2*a - 24. Let g = a + 17. Solve -j + 7 = -u*n, 0 = 2*n + 2*n + g*j + 22 for n.
-3
Suppose -g + 4*g - 6 = 0. Suppose -z - g*f + 7 = -f, f - 11 = -2*z. Solve o = -z*j - 1 - 2, 3*o - 9 = -3*j for j.
-2
Suppose 0 = -3*g - 9, g + 4 = -2*p + 1. Let t(s) = -s**2 + s + 18. Let f be t(p). Solve -4*y + 6 = 3*i - 8, -f = 4*i - 2*y for i.
-2
Let f be 2/(-4) - 6/4. Let n = f + 9. Let s = -7 + n. Solve 4*g - 2*t + 6*t + 4 = s, 4*g + t = 8 for g.
3
Let i be ((-11)/2)/((-1)/2). Solve 3 = l, 5*w + l + 6 + i = 0 for w.
-4
Let t = 1