lve 11 = 3*b - h for b.
4
Suppose -28 = 5*v - v. Let k(o) = 2*o + 16. Let x be k(v). Solve -d = -x*d - 4 for d.
-4
Let j be 5 + (0 - (0 + 3)). Let t be 10*1/j + 2. Solve 0 = -t*k + 2*k - 5 for k.
-1
Let x(i) = -i**2 + 8*i - 7. Let s be x(6). Suppose s*a - 50 = -t, 0 = 5*a + 4*t - 45 + 10. Solve 4*w = -1 - a for w.
-3
Suppose -7*d + 5*d + 8 = 0. Solve -t - 1 = d for t.
-5
Let l be 3 + (-4 - 0) - -3. Solve -4 = l*w - 10 for w.
3
Let v be (-12)/15*(-10)/4. Let i be -1*(v + -2)/(-3). Suppose 2*t - 7 - 1 = i. Solve t = 3*x - 8 for x.
4
Let n = -10 - -16. Suppose -n*c = -c. Solve c*k + 12 = 3*k for k.
4
Let p be (22/(-110) - (-1)/5)*1. Solve 0 = -4*h - 4 - p for h.
-1
Let j be 27 + 7/(21/(-6)). Suppose 3*u + 2*p = j, 4*p - p = -3. Let s = 15 - u. Solve 0*w = 3*w - s for w.
2
Suppose -6*a + 29 = 5. Solve -2*i + a*i = -4 for i.
-2
Suppose -5*b = -36 - 54. Let c be 4/b - 25/(-9). Suppose -4*p = 4*z, 0*p + 2*z - 3 = -c*p. Solve 0 = -8*i + p*i + 20 for i.
4
Suppose 0 = -2*i, -3*o - 6 + 45 = -4*i. Let j = o + -3. Let f = -11 - -14. Solve -f*u = -j - 5 for u.
5
Let g(b) = -b + 19. Let r be g(13). Solve i - r = 3*i for i.
-3
Let m be (1/3)/((-8)/264). Let f = -8 - m. Solve 2*o + f*o - 25 = 0 for o.
5
Let s(r) be the second derivative of -r**5/60 - 5*r**4/24 + r**3/2 + r. Let w(f) be the second derivative of s(f). Let o be w(-4). Solve -o*z + z = 0 for z.
0
Let j be 1/((0 + 1)/6). Suppose -w = -5*r + 6, -2*w - 3*r + 8 + j = 0. Let i be 1/(-3 + (-16)/(-5)). Solve -i*q - 14 = -w for q.
-2
Let g(b) = -5 - b + 6 + 3. Let t be g(0). Let z = t + 2. Solve -d + 3*d = z for d.
3
Let z = -46 + 77. Suppose c - 27 = -4*c - b, 5*c = -3*b + z. Suppose -3*x = -c*d - 21, -2*x - d + 1 = -0*x. Solve -x = -s - 0 for s.
2
Let v = 36 + -51. Let l be (-2)/3*v - 3. Suppose -3*c + 15 = -3*m, -2*c + 3*c = -2*m - l. Solve -c = 5*h - 16 for h.
3
Let s(b) be the first derivative of b**3/3 + 3*b**2 - 7*b - 1. Let o = 1 - 8. Let v be s(o). Solve 0*q + 2*q - 8 = v for q.
4
Let j(g) = 2*g + 4. Suppose -24 = -5*x - 9. Let n be j(x). Let d be (n/4 - 2)*0. Solve -k - k = d for k.
0
Let l(w) = w**2 + 4*w + 4. Let b be (-5)/3*(1 + 2). Let o be l(b). Solve -j + o = -4*j for j.
-3
Suppose 4*w + 56 = -6*l + 2*l, 3*l = 2*w + 3. Let o = w + 6. Let i(y) = -y**3 - 2*y**2 + y - 1. Let u be i(o). Solve 9 = u*n - 1 for n.
2
Suppose t - 4 = -t. Suppose -t*c + 0*s - 2 = 3*s, -2 = -2*c - s. Let z = c + -2. Solve z*l = -5*l for l.
0
Suppose 5*m - 67 = 2*q, 0*q - 4*q - 2*m - 74 = 0. Let c be (2 + -3)/(1/q). Solve 6 = 5*s + c for s.
-3
Let c(i) = -i - 13. Let n be c(-17). Solve -2*o - 8 = -n for o.
-2
Suppose 0 = c + 4*r + 3 - 1, 4*r = -3*c + 2. Solve 0*g + 6 = -c*g for g.
-3
Suppose 4*b + 3 = b + t, 5*b - 12 = -4*t. Suppose -s - 3*s = b. Solve -k + 4 + 1 = s for k.
5
Let j = 27 + -18. Let k = -4 + j. Solve -k*f + 11 = 36 for f.
-5
Let u = -2 - -4. Suppose -5*j + u*j = -3. Suppose -5*d = 5*g - 25, -j - 3 = -2*g. Solve d*a + 8 = 7*a for a.
2
Let x(o) = -3*o - 53. Let k be x(-19). Solve -d + k*d + 15 = 0 for d.
-5
Let c = 25 - 21. Solve s = -c*s + 10 for s.
2
Let q(i) = -i**3 + 4*i**2 + 2*i + 1. Let m be q(4). Let c be m/(-18)*(-16)/2. Solve 5*p = c*p for p.
0
Suppose 2*j - 7*j = -30. Suppose 2*o - j*o = 8. Let i = 5 + o. Solve -c + 0 + i = 0 for c.
3
Let i = -7 - -7. Solve i*j - 5*j = 0 for j.
0
Let a be (12/(-3))/(1/(-6)). Suppose -m + 3*m = -4*s + a, m = 4. Let c(k) = -k**2 - 2*k + 3. Let r be c(-3). Solve r = s*g + 2 - 14 for g.
3
Let x be (38/8)/((-2)/(-8)). Let k = -6 - -14. Suppose u + u = k. Solve 1 + x = -u*a for a.
-5
Let c be 1 - (-2)/1 - 1. Solve w = c*w + 2 for w.
-2
Let d(t) = 5*t**2. Let z be d(1). Suppose -z*r - 7 = -32. Solve 0 = m - 0 - r for m.
5
Let v be (-8)/(-2)*4/(-2). Let f(t) be the third derivative of -t**4/24 - t**3 + 3*t**2. Let a be f(v). Solve 0*g = a*g - 10 for g.
5
Let b = 11 - 23. Let u = b - -21. Let o be (u/6)/((-2)/(-4)). Solve 2*f + o + 1 = 0 for f.
-2
Let l be 38/7 + (-12)/28. Let m be (-32)/l*(0 + -10). Suppose m - 4 = 3*t. Solve -t = x + 3*x for x.
-5
Suppose -w = 5*d - 14, d + 2*w = -2*d + 7. Suppose -4*p + a + 4*a = 6, d*a - 11 = -5*p. Let c be 0*(-2)/8*-2. Solve c - p = -y for y.
1
Let x be (-1)/(0 + 3/(-6)). Solve -1 = 3*q + x for q.
-1
Let s be (-87)/4 - (-13)/(-52). Let o = s + 24. Solve -o*x + 16 - 6 = 0 for x.
5
Let x be (-2 - (-2 + -3)) + -1. Suppose 4*l = -x*z + 3*l + 7, 10 = 5*z - 5*l. Solve o = -0 - z for o.
-3
Let s = -43 + 54. Solve -s = 3*i + 1 for i.
-4
Let s be -2 - -1*7 - 1. Let v = -4 - -13. Solve s*b - b - v = 0 for b.
3
Suppose 3*x + 0 + 3 = 0. Let v be (x/(-1))/(8/56). Let m = -7 + v. Solve m = 2*w - w - 1 for w.
1
Let p(t) = 11*t**3 + 1. Let n(f) = f - 4. Let y be n(3). Let v be p(y). Let r be 17/5 - (-4)/v. Solve -r*s - s = 20 for s.
-5
Suppose 1 + 8 = -2*u + 3*y, -2*u - y + 11 = 0. Suppose -6*w + 2*q + 12 = -2*w, 5*q + 2 = -4*w. Solve -w*v = u + 7 for v.
-5
Let d = -28 - -32. Solve 0*r - d = -r for r.
4
Suppose 0 = -r + 3*r + p - 9, -2*r - 6 = -2*p. Let i be 1*-1*(-2)/(-2). Let t be r + i + 0 - -1. Solve 2 + t = 2*b for b.
2
Let d(n) = 3*n**2. Let k be d(1). Let l(v) = v. Let r be l(3). Let c = r - 1. Solve c + 1 = -k*g for g.
-1
Suppose -3*i - i = 0. Solve i = -3*d + 6 - 3 for d.
1
Suppose 2*d = -3*t + 21, -d - t - 3*t + 23 = 0. Let x(p) = p**2 + 3*p + 2. Let n be x(-3). Solve 0 = d*k + n*k for k.
0
Let z be 7/2 + (-6)/(-4). Let k(n) = n**2 - 5*n - 6. Let r be k(z). Let v(w) = w**3 + 5*w**2 - 5*w + 6. Let g be v(r). Solve u + g*u = 1 for u.
1
Let v(x) = x**3 + 12*x**2 - 10*x + 43. Let w be v(-13). Solve 24*o = 22*o + w for o.
2
Suppose -8 = -3*i + 10. Let h = -7 - -10. Suppose h*b - 9 - i = 0. Solve b*f - 18 = 2 for f.
4
Suppose 10*o = 5*o + 10. Suppose 7*p = o*p. Solve p = v + 3*v + 20 for v.
-5
Let s be 13/5 - 32/(-80). Solve s*f + 9 = 3 for f.
-2
Let i = -7 - -6. Let n be (-505)/(-20) - i/(-4). Let k = n - 15. Solve -k + 2 = -2*s for s.
4
Suppose -5*y + 4 = 14. Let p be (1/2*4)/y. Let k be p*(0/(-3))/2. Solve -2*h + 3*h = k for h.
0
Suppose 13 = q + 4*o, 0*q + o - 8 = -5*q. Let y(r) = r**2 + 8*r + 4. Let t be y(-6). Let i be (-2 - q)*t/6. Solve -i = -3*p + p for p.
2
Suppose -6*f - 16 = -10*f. Solve -f = -4*c + 12 for c.
4
Suppose -r + 8 = 3*r. Solve -20 = 2*p + r*p for p.
-5
Suppose -4*z = -1 - 19. Solve -z*w + 3*w = 0 for w.
0
Let r = 7 + -5. Suppose 12 = -2*j + 4*o, 6*j = r*j + 5*o - 12. Solve 6 = -j*p + 4*p for p.
3
Let r(w) = -w**3 - w**2 - w + 2. Let o be r(-2). Suppose o*n = 11*n. Solve -4*g + 2*g = n for g.
0
Let q be 4/(-22) - 9/11. Let z = q - -1. Solve z*h + 16 = -4*h for h.
-4
Let j(c) = -c**3 + 10*c**2 - 10*c + 7. Let z be j(9). Let n = 5 + z. Solve -n = 5*q + 2 for q.
-1
Suppose -3*d - 5*z - 6 = 0, 4*d - 9 = z - 2*z. Suppose 0 = -4*j + d + 25. Solve -5*r = -j - 3 for r.
2
Let g(a) = a**3 - 5*a**2 - 4*a - 8. Let y be g(6). Suppose -y*p - p + 60 = 0. Solve p = 3*x - 6*x for x.
-4
Suppose -5*t + 11 = -q, 2*t + 0*t - 6 = 0. Solve -q = -4*i + 12 for i.
4
Let c = 15 + -26. Let t = c - -15. Suppose t*w + 0*w = 80. Solve x = -3*x - w for x.
-5
Let t be ((-3 - -1) + 2)/(-1). Suppose t*a + a = 3. Suppose -a*u - j + 4*j + 27 = 0, 0 = 5*u - j - 29. Solve 0 = -2*p + 1 + u for p.
3
Suppose 0 = g - 5. Suppose -g*x = 3*f, 3*x - f = -0*x. Suppose -4*k = -10*k + 18. Solve -2*u - k*u - 5 = x for u.
-1
Let f = -24 + 39. Let q = f - 14. Solve 3*x + q = -2 for x.
-1
Suppose -x - 5 = -4*k, k + 5 = -2*x - 5. Solve 4*t = -k*t for t.
0
Let n be (-2)/(32/20 + -2). Let o = n - -5. Solve -6*j + o = -j for j.
2
Suppose -3*s - 3*b = 0, 5*b - 3*b + 12 = 2*s. Solve 11 - s = 4*w for w.
2
Suppose 0 = -2*d + 4*x + 6 + 10, -3*d + 12 = -3*x. Solve d*b + 5 = -b for b.
-5
Let n(k) = 4*k + 5. Let t be n(0). Solve 2*s = t*s - 3 for s.
1
Let d = 54 - 54. Suppose -v = -2*v + 3*l + 6, 0 = 3*v - 4*l - 8. Solve 3*x + v + 15 = d for x.
-5
Let m = 0 + -3. Let i be (m - -2) + 4 + 0. Suppose 2*r + i*r - 13 = -4*z, -5*r + 34 = -3*z. Solve -2 = r*n + 13 for n.
-3
Let u(b) = 3*b - 4. Let o be u(3). Suppose 3*a - 2*i = 4, i - 4*i - 7 = -o*a. Solve -3*w - a*w = 0 for w.
0
Let r be 2 + (6/(-3) - -5). Let m(b) = b - 2. Let n be m(r). Suppose -3*j = n*c - 24, 5*c = 2*j + j + 8. Solve h - c = -1 for h.
3
Suppose 4*k + 0*k - 4*j + 8 = 0, 3*k - 4 = j. Suppose -k*d + 4 = -2. Suppose -2*x