pose 2*x + 16 = 6*x. Solve -x*c + c = -a for c.
2
Suppose -1962 = m - 1976. Solve -8*i + m = -10 for i.
3
Suppose 0 = -3*g - 2 + 20. Suppose 2*r + 20 = g*r. Suppose -r*b + 14 = -11. Solve 7 + 8 = b*a for a.
3
Let f(b) = 11*b - 4. Let t be f(-1). Let k(r) = r + 18. Let s be k(t). Solve -s*v + 2 = -1 for v.
1
Let b = -41 + 49. Suppose -5*o + 2*y + 20 = 2, 4*y = 3*o - b. Solve o*s = 14 + 6 for s.
5
Let y be (-25)/(-2) - -12*(-12)/288. Solve -y*m = -5*m for m.
0
Let b(q) = -q**3 - 7*q**2 - 11*q - 17. Let o(t) = -2*t - 56. Let s be o(-25). Let m be b(s). Solve -4*r + 1 - m = 0 for r.
-3
Suppose 5 - 5 = -26*o. Solve 0 = 8*u - o + 32 for u.
-4
Let a = 29 + -25. Suppose 3*b + 26 = a*b. Suppose -b = -3*y - 5. Solve 0 = 3*d - y - 2 for d.
3
Let f = -26 - -26. Suppose -r = -0*r - c - 21, -r - 5*c + 15 = f. Solve -y - 3*y = r for y.
-5
Suppose -3*p + 4*n + 790 = 0, 2*n = 4*p - 2*n - 1056. Let c be (6/(-15))/(1/(-10)). Let t be p/63 + c/(-18). Solve -3 = -t*w - 19 for w.
-4
Let g(j) = -14*j**3 - 2*j**2 - 7*j - 4. Let o be g(-1). Solve -2*w + 7*w + o = 0 for w.
-3
Let p(m) = m + 3. Let f be p(-3). Suppose f = r - 4. Let s be 42/r + (-2)/4. Solve 0 = -3*q + q + s for q.
5
Let x = -503 + 506. Suppose -2*d = -3*d - 1. Let w be d*(0/1)/1. Solve o + x*o = w for o.
0
Let c be (3 - 56/24)/(1/6). Solve -12 - 8 = -c*d for d.
5
Suppose -u - 5*b = -61, -2*b - 40 = -4*u + 3*u. Suppose -2*q + 11 = 5*l, -4*q - 4*l + u - 6 = 0. Let n = q - 11. Solve -6 = 4*d - n for d.
-1
Suppose 0 = -p - 3*p. Suppose p = o + 3*o - 100. Solve -o = -6*n + n for n.
5
Let n(z) = z**3 - 6*z**2 + 8*z - 7. Let c be n(7). Let s be (c/42)/(-1 - (-8)/6). Solve -s*f + 3*f = 20 for f.
-5
Suppose 18 = 2*o + 14. Suppose o*l - 5*u + 15 = 0, 0 = l - 5*l - 3*u + 35. Solve 2*m - l = 5 for m.
5
Let j(u) = -2*u**3 + 21*u**2 + 16*u - 53. Let x be j(11). Solve 0 = -x*g - g + 4*g for g.
0
Suppose -3*a - 3 = 3*r, -r = -4*r - 2*a - 6. Suppose -40 + 10 = 5*p + 5*t, -3*p - 14 = t. Let v = p - r. Solve -4*k + v = 8 for k.
-2
Let a(w) = -2*w**2 + 21*w - 10. Let i be a(10). Solve 0 = -i*k + k - 5 for k.
5
Suppose -9*d + 64 = -8. Solve 0 = 6*y - d*y for y.
0
Suppose 0*b = -4*b + 16. Suppose d + 0 = b. Suppose -2*h + d = 0, 5*h = -3*s + 2*h + 81. Solve 0*w + 5*w = s for w.
5
Let d be (-8 + -1)*33/(-99). Solve 30 = d*i + 18 for i.
4
Let d(r) = -r**3 + 13*r**2 + 4*r - 36. Suppose -2*f + 52 = 2*f. Let o be d(f). Solve 0 = -x - 3*x - o for x.
-4
Let s(o) be the third derivative of -1/2*o**3 + 1/24*o**4 + 0 + 4*o**2 + 0*o. Let a be s(5). Solve 2*u = -a*u for u.
0
Let w be (-10)/(-12) - (3 - (-25)/(-6)). Suppose -r + 1 = 5*i, 3*i + i = r - 1. Let s be 0 - r*8/(-2). Solve s = 3*p - w for p.
2
Let u be -11 - -10 - (-3 + 0 - 0). Solve -1 = u*o - 7 for o.
3
Let n(u) = -2*u + 32. Let q be n(0). Suppose -4*k - k + q = -4*c, 2*k = -4*c - 4. Solve t = -k*t for t.
0
Let q = 261 - 256. Solve -7*n + q*n = 0 for n.
0
Let c be 3 - (-20)/(-6) - 322/(-21). Solve -6*u = -3*u - c for u.
5
Let z = 53 + -51. Solve i = z*i - 4 for i.
4
Let g(i) = 5*i - 4. Let d be g(-2). Let w be 729/21 - 4/d. Let p be ((-12)/14)/((-5)/w). Solve -2*r + p*r - 12 = 0 for r.
3
Let u = -17 - -6. Let x = 8 + u. Let l be (-32)/(-4) - (6 + x). Solve -2*o + 3 = l for o.
-1
Let y be 1/2 - 525/14. Let a = y + 39. Solve l + 2 = -a for l.
-4
Suppose 96*u + 29*u = -36*u. Solve u = -36*y + 31*y - 25 for y.
-5
Suppose -2*d = 2*x - 82, -3*x + d = x - 184. Suppose -2*o + x = o. Let j = -11 + o. Solve 0 = -3*v + j*v - 4 for v.
4
Suppose -2*k + 3*k + 52 = -3*y, -2*k - 2*y - 84 = 0. Let d = -12 - k. Let a be -6*((-1 - 3) + 3). Solve -a*o + o - d = 0 for o.
-5
Let v(a) = -3. Let r(l) = -l. Let z(t) = -4*r(t) + v(t). Let d be z(2). Suppose -g + 25 = -5*h, 5*g - 5 = 2*h + d. Solve 0 = 2*j - g*j for j.
0
Suppose -29*t + 6 = -28*t. Solve -n = t*n + 7 for n.
-1
Let p(w) = 22*w + 28. Let k be p(0). Solve 4*h - 24 + k = 0 for h.
-1
Suppose 5*r = 10*r. Suppose -2*n = -2*b - r*n + 10, -b - n + 1 = 0. Solve 0 = b*j + 1 + 2 for j.
-1
Suppose 3*h = -5*y + 2, -3*h - 4*y + 33 - 29 = 0. Solve -f + h - 8 = 0 for f.
-4
Let h(o) be the third derivative of -o**4/8 - 2*o**3/3 + o**2. Let c be h(-3). Let w(a) = -a**3 + 4*a**2 + 5*a + 3. Let q be w(c). Solve -q = m - 6 for m.
3
Let x(v) = 15*v - 8. Let b(p) = -7*p + 4. Let u(i) = 13*b(i) + 6*x(i). Let t be u(10). Let h be 3 + 3 + t + 13. Solve 5*g = -h - 7 for g.
-4
Let s(l) = -2*l**3 - 4*l**2 + 4*l + 5. Let q be s(-2). Let v be (3/q)/(-1 + 44/48). Solve -3*p + v = -7*p for p.
-3
Let k(s) = -s**2 + 18*s + 6. Let y be k(18). Solve 4*x = y*x for x.
0
Let u(g) = -g**2 + 21*g - 58. Let q be u(17). Solve q*j - 7 = 23 for j.
3
Suppose 0 = -5*l - g - 35, 21 = -l - 0*l - 3*g. Let i(z) = -z**2 - 9*z - 14. Let q be i(l). Suppose -q*f + 6 = -6. Solve -1 - 8 = -f*s for s.
3
Let u = -12 + 17. Suppose 4*f - 25 = -5*h - 0, -3*f + 20 = 5*h. Suppose -f*b + 15 = u. Solve 0*y + b*y = 8 for y.
4
Let x = 226 - 222. Solve 0 = x*y - 6 + 22 for y.
-4
Let r be ((-2)/(-3))/((-4)/(-234)). Suppose g = 4*g + r. Let d = 13 + g. Solve -15 = 5*t - d*t for t.
-3
Let x(m) = -m**2 + 8*m - 6. Let j be x(6). Let s = -223 + 226. Suppose u - 5*u - 4*q = -16, 0 = -3*q - 3. Solve -j = u*b - s*b for b.
-3
Suppose 0 = -15*q + 14*q + 20. Let z = -7 - -10. Suppose 0 = -3*u + z*g - g + 5, -8 = -4*g. Solve q = -u*d - d for d.
-5
Suppose i - 48*z + 45*z = 14, 3*i + 2*z + 2 = 0. Solve s = -3 + i for s.
-1
Let b = 65 + -65. Solve b = 4*l - 5 + 21 for l.
-4
Let u(z) = -10*z**3 - 2*z**2 - 2*z. Let a be u(-1). Suppose h - a = -3. Solve h*y = 2*y for y.
0
Suppose 6*r = 2*r. Let n be 3/(54/48) - 4/6. Solve 0 = n*x - r*x - 8 for x.
4
Let r(s) = -10*s**3 + s + 1. Let x be r(-1). Let c(w) = w**3 - w**2 - 6*w + 6. Let g be c(3). Solve v = g*v + x for v.
-2
Let t(k) = -k - 3. Let w be t(-6). Let m = 235 + -226. Solve -m = 3*q - w for q.
-2
Let i be 4/10 + (-85)/25. Let d be 6/9 + (-4)/i. Suppose 2 = 4*z - d. Solve q + 4 = z for q.
-3
Let s = 8 - 3. Let a = -2687 + 2696. Suppose 2*y = j - 12, -5*y + 2 - 8 = -j. Solve -s*p + a = -j for p.
5
Let i = 1 + 2. Suppose 3 + i = 2*l. Let h(j) = -j + 6. Let t be h(l). Solve 2*f - f = -t for f.
-3
Suppose 10 = x - 4*t - 0, 2*x - 3*t + 5 = 0. Let m(l) = 13*l**3 - l**2 + 1. Let c be m(1). Let i = x + c. Solve 0 = -i*u + u - 10 for u.
-5
Let k be ((-9)/6)/(4/(-176)). Suppose 5*f = k - 1. Let n = f - 9. Solve n*g = g - 12 for g.
-4
Suppose 0 = -i - 8 + 7. Let h(n) = 16*n**2 + n + 1. Let z be h(i). Solve -f - 3*f - z = 0 for f.
-4
Let n(w) = w**2 + 13*w - 8. Let i be n(-14). Let j be -4 - (i/(-3) + -3). Solve 2*h = 3*h - j for h.
1
Let n be (1/(-3))/((-23)/(-161))*-3. Solve 8*f = 17 + n for f.
3
Let g(w) = 7*w - 112. Let b be g(17). Solve 12 = 5*s + b for s.
1
Let c(f) = 19*f**3 - 2*f**2 + 6*f - 5. Let g be c(1). Solve g*q = 14*q - 20 for q.
-5
Let b = -41 - -44. Solve b*i + 7 = 10*i for i.
1
Let c(s) = -2*s**2 - 8*s. Let w be c(-7). Let x = w + 44. Solve -3*b - x = -2*b for b.
-2
Suppose 0 = 5*s - s. Let p(c) = c**2 + 2*c + 5. Let k be p(s). Suppose -a - 5*u + 27 = 2*a, 5*u = k*a - 5. Solve 0 = -o + a - 0 for o.
4
Suppose -6*y + 16 = -2*y. Suppose u = -y, u = 2*i + 2 - 24. Solve -4*x + 3 = -i for x.
3
Suppose -10 = 52*n - 54*n. Suppose 5*s = -i + 28, -3*i + i - 4*s = -32. Suppose -n*h + 4 = -3*w - 0, -4*w = -i. Solve -h*l + 20 = 3*l for l.
4
Let g = 179 - 250. Let j = -56 - g. Solve -10*k = -j*k - 5 for k.
-1
Let u = 65 - 55. Suppose u*x = 16 + 24. Solve 3*i + x = -8 for i.
-4
Suppose 0 = j + 23 - 22, 5*n = 3*j + 63. Solve -n*x - 5 = 7 for x.
-1
Suppose 5*s = -g - 0*s + 7, 3*s + 7 = 5*g. Suppose d + 5 = h, 0 = 4*h - g*h + d - 7. Solve -4*b - h = -5*b for b.
4
Suppose 2*i = -46 + 50. Let x be -1*(i + -11) - (5 + -2). Solve -x*r + 5 = -r for r.
1
Let z = -11 - -19. Suppose 2*t + 3*v = t + 10, 0 = 4*v - z. Solve t = 3*u + 1 for u.
1
Let z(w) = -w**3 - 7*w**2 - 2*w - 12. Let r be z(-7). Suppose -18 = t - 2*a - r*a, -5*t + 4*a - 10 = 0. Solve -t*v - 20 = 3*v for v.
-4
Let d = 8 + -4. Suppose -5*g = -4*y + 3, 3*y + 21 = -2*g - 2*g. Let l = y + d. Solve v - l = -2 for v.
-1
Let z be (-1)/((-6)/(-504)*12). Let v(q) be the second derivative of q**4/12 + q**3 - 5*q**2/2 + q. Let j be v(z). Solve 3 + 3 = -j*p for p.
-3
Let s = 4 - 1. Let g = -48 - -51. Suppose 2*y - 3*q + 5 = -0, 0 =