pose -3*t - 32 + 53 = 0. Solve t*h - 2*h - 15 = 0 for h.
3
Let p(d) = -d + 1. Let q be p(-3). Suppose -1 = -5*y - 86. Let l = y + 26. Solve q*v + l = 1 for v.
-2
Suppose -7 = c - 1. Let d be 2/(-1 + c/(-3)). Solve -d*r - 3 = -r for r.
-3
Let d(a) = -a**3 - 2*a**2 - 3*a - 4. Let z be d(-2). Solve -z*k = 7 + 3 for k.
-5
Let i(s) = s**2 + 6*s. Let l be i(0). Solve 3*c - c + 10 = l for c.
-5
Let l be ((-30)/(-10))/(2 + -1). Solve b = l*b for b.
0
Let d(b) = 2*b**2 - 2*b - 2. Let r be d(3). Solve -7*v + r = -5*v for v.
5
Let v be (-12)/(-10)*180/54. Suppose l = 3*l - 10. Suppose 28 = k - d, 0*k - 2*k + 65 = -l*d. Solve k = v*n - 9*n for n.
-5
Suppose 5*o = -o + 36. Solve o*r - 2*r = 8 for r.
2
Let p(q) = q - 1. Let f be 2/6 - 40/(-6). Let t be p(f). Solve 3*z + 6 = t*z for z.
2
Suppose 6*x + 3 = 3*x - 3*j, 0 = -x - 2*j - 2. Solve x = 2*u - u for u.
0
Let w(s) = -s**3 + 7*s**2 + 8*s + 2. Let m be w(8). Let l = m + 0. Let f = -5 - -8. Solve 5*c + l = f*c for c.
-1
Let c = 4 + -6. Let l be -1 - 0 - 2/2. Let j be (-10)/c - (-2)/l. Solve -9 + j = r for r.
-5
Suppose 0 = -18*t + 13*t. Solve t = 3*i - 9 - 3 for i.
4
Let c be ((-1)/(-3))/((-2)/(-18)). Let k = -1 + c. Let b be (1 - 0) + 7 + 0. Solve 6*g - k*g + b = 0 for g.
-2
Let i = -7 - -9. Suppose 0 = -3*u + 2*h + 17, u - i = -0*u - 3*h. Solve 3*y + u = -2*y for y.
-1
Let i(n) = -n - 2. Let m be i(-2). Suppose m*l = 2*l - 88. Suppose 3*g - 2*y + 4*y = 53, -4*g + l = -4*y. Solve -g + 0 = 5*t for t.
-3
Let p = -27 + 45. Let h be 1/(3/p*3). Solve -t - 15 = h*t for t.
-5
Let y(v) = v**3 - 8*v**2 + 7*v. Let j be y(7). Suppose -s + 4*s - 7 = -q, s + 3*q - 5 = j. Solve -2*a = s*a for a.
0
Suppose b + 8 = 5*b. Solve b = 2*p + 6 for p.
-2
Let h be (4/12)/((-1)/(-12)). Let k be (-21)/(-12) + 1/h. Solve t = -k*t for t.
0
Let z be 2/(8/46) + 3/(-2). Solve v + z = 3*v for v.
5
Let h(q) = q**3 + 8*q**2 + 6*q + 14. Let n be h(-7). Solve -n = 4*p - 5 for p.
-4
Let g be ((-5)/15)/((-1)/3). Let a be -1 + (1 - 1) + g. Solve a = t - 2*t - 1 for t.
-1
Let n = -35 + 40. Solve -g + 0*g = n for g.
-5
Let q be (40/(-6))/(20/15 + -2). Solve -q*t = -9*t for t.
0
Suppose -5*g + 11*g = 96. Solve -4*k + 8*k = -g for k.
-4
Let f(r) = r**2 - r - 4. Let q be f(3). Let z be 2 - (-1*q + 1). Let g be 2/2 - 9/(-1). Solve 0 = 5*c - z*c + g for c.
-5
Suppose -1 = 8*p - 1. Solve p = -0*z + 2*z for z.
0
Suppose 0 = -34*v + 29*v - 5*k + 40, -3*k = -4*v + 18. Suppose 2*w - 4*w = -4. Let n be w/(-8) - 2/(-8). Solve 2*y + y + v = n for y.
-2
Let x be 12/(-10)*(-10)/4. Suppose -2*h - 15 = -5*s, 3*s - 9 = -5*h + x*h. Solve 4*u - u = h for u.
0
Let o be ((-6)/(-4))/((-1)/(-10)). Let n be ((-6)/o)/((-8)/20). Suppose -18 = -4*r + 2*g, 3*r - 1 = 2*g + 15. Solve -r*s = -s - n for s.
1
Let v be (-48)/32*(-4)/6. Solve -p + 0 - v = 0 for p.
-1
Let z = -13 - -16. Suppose 0 = z*g - 6, 4*g + 1 = 6*v - 3*v. Solve -3*l + v = -9 for l.
4
Let o(l) = l**3 - 2*l**2 - 3*l + 4. Let a(z) = -z**2 + 4*z. Let f = 7 - 4. Let b be a(f). Let x be o(b). Solve x = 2*g + 14 for g.
-5
Let f(o) = -o**2 - 7*o - 1. Let d be f(-6). Suppose 0*h + 8 = -4*m + d*h, -4*m - 3*h + 24 = 0. Solve -n = m*n - 16 for n.
4
Let u = 78 - 44. Suppose -3*q - u + 8 = 5*p, 0 = -2*q + p. Let t = 5 + q. Solve 2*m - 3*m - t = 0 for m.
-3
Suppose 2*z - 5 = 1. Suppose 3*o - 52 = -4*v, -98 = -5*o + 2*v - z*v. Suppose q - k - 4 = 0, 0 = 3*k + 5 - 2. Solve q*r + r = -o for r.
-5
Suppose 3*n - 9 = -2*c - c, 3*c - 3*n + 9 = 0. Solve c*k + 3*k - 6 = 0 for k.
2
Let i(q) = -q**2 + 5*q - 3. Let n be i(2). Solve 6*b - n*b = 0 for b.
0
Suppose -t + 59 = 5*k, -2*k + 3*t + 13 = -14. Solve 9*d - k = 12*d for d.
-4
Let k(n) = 2*n - 3. Let l(t) = -3*t + 2. Let a(w) = 4*k(w) + 3*l(w). Let s be a(-8). Solve -s*f + 7*f = 0 for f.
0
Let h(n) = 5*n**3 - 2*n + 1. Let w be h(1). Suppose w*a = -0*a + 8. Solve 15 = -a*t - 3*t for t.
-3
Let r be (1/3)/((-5)/(-30)). Let c = 0 - r. Let n be (-3)/c - 1/(-2). Solve l = 3*l - n for l.
1
Let z(v) = -v**2 - 7*v - 2. Let y be z(-6). Suppose -y*q = -5*j + 28, 0 = j + 2*j + 3*q - 33. Let a = 13 - j. Solve 6 + 9 = -a*u for u.
-3
Let t = -23 + 45. Let q = t + -10. Solve -2*m - m - q = 0 for m.
-4
Suppose -5*r + 4*j + 26 = 0, 4*r + 3 = j + 15. Solve -12 = -r*s - 2*s for s.
3
Let d = 18 + -18. Solve -12 = -4*v - d*v for v.
3
Suppose 5*k - 80 = -5*h, 0*k - 5*h = -2*k + 67. Let g(r) = -3*r + 17. Let p be g(4). Solve 1 = p*a + k for a.
-4
Let i = -1 - -3. Solve -3*q = i*q for q.
0
Let h = 0 - 0. Let n(a) = a + 3. Let m = -2 + 2. Let t be n(m). Solve h = t*g + 3 for g.
-1
Let f = 39 - 39. Solve 7*t - 2*t = f for t.
0
Suppose 5*i - 3*o = -10 - 5, 0 = 4*i - 5*o + 25. Suppose -6*p + 2*p = i. Solve p = 6*z - z for z.
0
Let j = 10 - 10. Let p = 0 + j. Solve -6*z + z = p for z.
0
Suppose -3 = -3*a + 6. Suppose a*w - 4*w - 19 = -5*y, 5*y = -4*w + 49. Suppose -4*f - w = -3*f - 3*t, -f + 2*t = 1. Solve -f = -3*p - 3 for p.
2
Let f = 20 - 12. Solve 4*d + 12 + f = 0 for d.
-5
Suppose 0 = 7*j - 24 + 3. Solve -j = d + 2 for d.
-5
Suppose -3*r + 14 = 4*a - 4, 5*r - a = 7. Let f be r/(-10) - (-112)/35. Let j(m) = -m**2 - 7*m - 7. Let w be j(-5). Solve 4*u - w = f*u for u.
3
Suppose -i + 2*i = 0. Solve -3*u + u = i for u.
0
Let q = -22 - -36. Suppose -3*f - 8 = 2*c + 2, -2*f - 12 = -4*c. Let m = f + q. Solve 5*u + 0*u - m = 0 for u.
2
Suppose -5*k + 12 = -2*k. Let g = k - 4. Solve g = 2*p - 4*p for p.
0
Suppose 3*p - 4 = 5*p. Suppose -2*d = 4*b + 7 - 45, -2*d + 3*b + 3 = 0. Let k be (-6)/d*3 - p. Solve a + k = -5 for a.
-5
Let q(b) = 10*b + 6. Let a be q(6). Let n be (-2)/(-8) - a/8. Let c = n - -11. Solve 2*m + c*m - 15 = 0 for m.
3
Let o = 16 - 19. Let r be o - -1 - (-1 + -6). Solve r*a + 6 = 26 for a.
4
Let k(n) = n**2 - 18*n + 10. Let r be k(18). Solve -2*l + r = -0*l for l.
5
Let g = -23 - -23. Solve 2*p - 6*p - 4 = g for p.
-1
Suppose r = -5*j + 15, j + 8 = 3*r - r. Solve -3*g + 10 = -r*g for g.
-5
Let b(z) = 1. Let t(l) = -3*l + 5. Let u(d) = 3*b(d) - t(d). Let j be u(3). Suppose 3*v + j = 28. Solve 0 = 2*s + v + 3 for s.
-5
Suppose -2*n - 2*k + 24 = 0, 2*n - 3 - 21 = -5*k. Solve -4*f + f - n = 0 for f.
-4
Suppose 0 = -3*t - 4*g - 3, 2*g - 4 + 19 = 3*t. Let h be ((-1)/t)/(12/(-36)). Solve m - 5 + h = 0 for m.
4
Suppose -2*o - 2*z + 2 = 0, -4*o - o = -z - 5. Solve -16 + o = 3*c for c.
-5
Let m(n) = n**3 + n**2 + n. Let f be m(0). Suppose f = 2*d + d. Solve d*v + 12 = 4*v for v.
3
Suppose d - 2 - 10 = 0. Suppose -4*p + 4 = -d. Solve -3*g = -4*g - p for g.
-4
Suppose -7*u + 3*u + 16 = 0. Let w be u/(-2) + 3 + 2. Suppose -z - 10 = -3*a, -2*a + 3*a - 5*z + 20 = 0. Solve -w*v = -a*v for v.
0
Suppose 4*i + 2*k - 15 - 7 = 0, 1 = i - 4*k. Let u = -1 + 4. Solve 4*o - i*o = u for o.
-3
Let j = -15 + 15. Solve j = -b - 0 - 2 for b.
-2
Suppose 6*m - 20 = m. Suppose -4*b + 48 = -5*u + 3, -m*b + 54 = -2*u. Solve -g + b = 2*g for g.
5
Let g = -25 - -15. Let j(w) = w**3 + 9*w**2 - 9*w + 8. Let t be j(g). Let h = 1 - t. Solve h*r + 14 = 2 for r.
-4
Let o(t) = 2*t**2 + 6*t + 4. Let m(j) = j**2 + 3*j + 2. Let s(i) = -9*m(i) + 4*o(i). Let d be s(-1). Solve -2*k = -d + 6 for k.
-3
Let h(t) = -t**2 - 3*t + 2. Let x be h(-3). Solve 3 = x*q - 3 for q.
3
Let z = 70 - 69. Solve -z + 6 = -i for i.
-5
Let b(a) = -a**3 - 9*a**2 + 3*a + 30. Let h be b(-9). Solve -h*r - r = -20 for r.
5
Suppose -4*u - 17 = 3*h, -2*h + 0*u - 3*u = 13. Solve -5*t + h + 14 = 0 for t.
3
Let u(t) = 2*t**2 + 5*t - 11. Let g be u(-4). Solve g = -4*v - 3 for v.
-1
Let p(d) be the first derivative of -d**4/4 + d**3/3 - 5*d - 1. Let k be p(0). Let b = k + 8. Solve b = -w + 2*w for w.
3
Let b = 29 - 29. Solve b = -0*i - 4*i for i.
0
Let r = -31 - -42. Solve -3*t = 1 + r for t.
-4
Let b = 29 + 14. Let v be 5 + (1 + 2 - 1). Suppose -5*i = -b - v. Solve f = 3*f - i for f.
5
Let l(u) = -u**3 - 8*u**2 - 2*u - 4. Let d be l(-8). Let h be (-4)/(-2) + 1 + 0. Suppose -b + 5*v + h = 0, -4*b + v + 15 = 3. Solve b + d = -5*t for t.
-3
Suppose r - 6*r = -j + 27, -5*r - 33 = -4*j. Suppose -7*w = -j*w - 15. Solve -12 - 3 = -w*x for x.
5
Let s be 2 + -2 + 2 - 3. Let j = s + 7. Suppose -r = -j*r. Solve r = -p - 2*p for p.
0
Let f(v) be the third derivative of v**5/60 + v**4/24 + v**3/2 + 5*v**2. Let l be f(0). Solve -l*w = 2*w for w.
0
Let u be (1/(-2))/(2/(-20)). Let j = -307 +