ppose 0 = -4*w - 5*l - 21, 3*l + 0*l + 23 = -5*w. Let u be (w/8)/((-4)/40). Solve k = u*k + 8 for k.
-2
Let p = 88 + -138. Let l be ((-8)/(-5))/((-20)/p). Solve x = l - 0 for x.
4
Let b(m) = m**3 - 9*m**2 + 4*m - 22. Let i be b(9). Solve 9*r - 2*r + i = 0 for r.
-2
Suppose -4*b - 6*q = -2*q - 4, 1 = b - 5*q. Let i be 4 + b - 18/6. Let x = 19 - 19. Solve i*t + x = 2 for t.
1
Let t(c) be the first derivative of c**2/2 + 30*c - 25. Let z be t(-26). Solve 5 = -z*i - 15 for i.
-5
Let o(k) be the first derivative of -k**4/4 - 23*k**3/3 - 12*k**2 - 41*k - 25. Let t be o(-22). Solve -2*h = t*h - 10 for h.
2
Let h = 4 + -4. Let b(z) = z**3 + 19*z**2 - 19*z + 36. Let c be b(-20). Solve -4*l - c = -h for l.
-4
Let z(b) = b**2 + 6*b - 7. Let p be z(-7). Solve p = 2*i + 4 - 6 for i.
1
Suppose -4*z + 4 = 2*o + 2*o, 5*z - 5 = -4*o. Let u be (18/(-10))/((-8)/40). Solve -3*r = -o + u for r.
-3
Suppose -4*t - t + 3*b + 21 = 0, -3*b + 9 = 5*t. Solve -28 = -t*f - 43 for f.
-5
Suppose -3*y = -2*y - 3. Let b(f) = f**3 - 3 + f**3 + 3*f + 5*f**2 - y*f**3. Let l be b(5). Solve 4*v + l = -0*v for v.
-3
Let b(r) be the third derivative of -5*r**4/24 + 11*r**3/6 + 18*r**2. Let w be b(2). Solve -w = j - 6 for j.
5
Let f = 693 + -693. Solve 4*t = -f*t - t for t.
0
Suppose 0 = 5*y - 12 - 8. Suppose w + y*w = -135. Let i = 32 + w. Solve k + 0*k = -i for k.
-5
Suppose 0 + 15 = 2*z + 5*l, 4*l - 60 = -4*z. Suppose 0 = 4*q - 3 - 9. Solve -q*i - i = z for i.
-5
Suppose 2*f - 6 = -2*b, b = 4*b + 5*f - 5. Let t = 2 - 1. Suppose -b*u - t = -3*a - 9, 3*a = -2*u + 20. Solve -2 = -u*w + 2*w for w.
1
Suppose h + 496 = 17*h. Solve -28*j = -h*j + 12 for j.
4
Suppose -y - 1 = 2*a, 0 = a + 4*y - 4 + 8. Solve -4*q = -a*q for q.
0
Let h(d) = 5*d + 6. Let y be h(-7). Let p = 37 + y. Suppose 4*f + p + 4 = 2*v, 0 = -f - 2. Solve 3*z + v*z = 0 for z.
0
Let r = -11 - -15. Suppose -3*d + 30 = 2*y + 2*y, 28 = r*y + 4*d. Suppose 4*b - z = -3 + 15, -4*z + y = 3*b. Solve 0 = -b*o - 9 - 0 for o.
-3
Let j(p) = 5 - 3*p - p + 2*p - 13. Let m be j(-10). Solve g = -2*g + m for g.
4
Let q(a) = a - 4. Let v(l) = l**3 + 5*l**2 + 2*l - 1. Let k be v(-3). Suppose -3*m + 7 = -k. Let d be q(m). Solve -d*i = 2 + 4 for i.
-3
Let z be -2 + 6 - (-1 + 5). Solve 4*c + 14 - 2 = z for c.
-3
Let n = 30 + -30. Let q be n + 4 + 2/(-2). Solve -q*g = -1 - 5 for g.
2
Let u = 45 - 30. Suppose -2*x - 3 = a, 0*a - 5*x - u = a. Solve 0 = -0*q + 5*q + a for q.
-1
Let b(h) = -h**3 - 5*h**2 - h - 5. Let g = 36 - 32. Let x be (-3)/(-6)*g + -7. Let u be b(x). Solve 12 + u = 4*q for q.
3
Let k = 15 + -16. Let m be (k - -3 - 2)/(-1). Solve -3*b - b = m for b.
0
Suppose 0 = 13*o - 12*o - 4. Suppose 0 = 2*a - 7*a - 75. Let z = 20 + a. Solve z = -o*w - w for w.
-1
Suppose -54 = -33*u + 6*u. Solve 2 = -u*f + 4 for f.
1
Suppose 7*d - 6*d = 3. Suppose -3 = -4*f + 9, -w - d*f = 16. Let x = w + 25. Solve o = -x*o for o.
0
Suppose 4*i - 33 - 19 = 0. Solve 4*d - 7 = i for d.
5
Let g be (16 - 4)*(-18)/(-4). Let l = g - 54. Solve 2*x + 2*x + 4 = l for x.
-1
Let l(v) be the third derivative of -v**4/3 - 14*v**3/3 - 45*v**2. Let m be l(-4). Solve 4 + m = -2*o for o.
-4
Suppose 0 = -11*l + 6*l - 5. Let i = l + 1. Solve i*o - 4*o = 0 for o.
0
Let l(w) = -5*w - 11. Let p be l(-3). Suppose -4*v + 4*i + 0 = p, 5*v + 3*i = 19. Solve 3*d = v*d for d.
0
Let j = -66 - -104. Solve -j = -6*k - 14 for k.
4
Let p(s) = s**2 + 8*s + 9. Let f be p(-5). Let z = f - -6. Suppose 4*q = 6 + 6. Solve 9 = q*x - z*x for x.
3
Suppose 3*j + 18 - 6 = 0, -2*n = -2*j - 130. Solve -9*m - 34 = -n for m.
3
Suppose i - 4*i + 10 = -2*h, 4*h = -2*i + 12. Solve 8 = -i*m - 4 for m.
-3
Let s(x) = -x**2 - x + 4. Let d be s(0). Suppose i + 2*c = 2*i - 15, 3*i - c - 20 = 0. Suppose m = -4*r + 8*r - i, 4*m = -20. Solve r = -0*j + d*j + 12 for j.
-3
Let f(s) be the first derivative of -1 + s + 5/2*s**2. Let o be f(1). Solve -3*m + 0 - o = 0 for m.
-2
Suppose 0*v + 2*v - 110 = 0. Let m = -28 + v. Let y = -20 + m. Solve 3*r + 1 = y for r.
2
Let y be (-6)/2 - (10 + -13). Suppose -5*k + 20 - 5 = y. Suppose k*r = -r. Solve r*j = -j for j.
0
Suppose 97 = 2*b - 3*w, -3*b = -3*w - 123 - 30. Let h = b + -53. Solve h*a + 7 = -2 for a.
-3
Let h = -1005 + 1020. Solve -3*o + h = 2*o for o.
3
Let g(s) be the second derivative of 3/4*s**4 + 0*s**3 + 2*s**2 + 0 - s - 1/20*s**5. Let n be g(9). Solve d - 5 = -n*d for d.
1
Let y = 14 + -6. Let j be (-188)/(-36) + y/(-36). Suppose -d + j*d = 8. Solve 4*c - 18 = -d for c.
4
Suppose 5*x - 2*j = 82 + 48, -4*x = -4*j - 92. Let w = 32 - x. Solve r - 15 = -w*r for r.
3
Let j = 778 + -738. Solve -36*z = -j*z for z.
0
Let l(y) = -y**2 - 33*y + 24. Let i be l(-33). Solve -i*h = -22*h for h.
0
Let w(f) = f**2 - 2*f + 2. Let d be w(3). Solve -6 + 11 = d*x for x.
1
Suppose 13*f = 22 - 22. Solve f*d + 3*d + 6 = 0 for d.
-2
Let n(f) = -f - 3. Let k be n(0). Let o be k/4 + (-44)/(-16). Let y be o/(-4) - 28/(-8). Solve c + 4 = y*c for c.
2
Let x be (-1 + 1/1)/(-1). Suppose x*d + 68 = 4*d. Suppose -8*a + 7*a = -d. Solve 1 - a = -4*t for t.
4
Let p be (1 - 3) + -5 - (-2 - 23). Solve -85 = -k + p*k for k.
-5
Let t = 44 + -44. Suppose t = 4*f - 8 - 36. Solve 4*c - f = 1 for c.
3
Let s(l) = -l**3 + 6*l**2 - 3*l - 8. Suppose -3 = -y - 4*f + 2, 5*y - f = 4. Let q be 1 - y*(-3 - 1). Let h be s(q). Solve h*g = 4*g - 2 for g.
1
Let i = -84 + 120. Suppose 5*x - i = 2*x. Let b = -28 - -31. Solve 0*h + b*h - x = 0 for h.
4
Suppose 0 = -7*u + 7 + 14. Let a be 0/(-5)*u/(-9). Suppose -k - 6 + 8 = a. Solve k*q = 2 - 4 for q.
-1
Suppose 135*r = 132*r + 6. Suppose -2*d + 28 = -4*b, -3*d + 6*b + 37 = b. Suppose -d*p + 5*n + 21 = 0, n - 17 = -5*p - 2*n. Solve -r + p = -c for c.
-2
Let r be 23/4 - 10/(-40). Suppose c + c - r = 0. Suppose 7 = c*a + 1. Solve a*u = -3*u + 10 for u.
2
Let a be ((-2)/(-5))/(24/240). Suppose 2*h + 7 = 3*n, 5 = n + a*h - 2*h. Solve 0 = n*j - 2*j for j.
0
Let o be (-23)/(-5) + 186/(-310). Solve -o*y + 8 = -8*y for y.
-2
Let l = -658 + 676. Solve -10*f = l + 12 for f.
-3
Let g be 1/7 - (-108)/28. Suppose -z + 4*o = 1 + 3, z = 2*o - 2. Suppose z*i = -5*i - 3*y, -i = 3*y. Solve i + g = 4*u for u.
1
Suppose -1 = -59*n + 58*n, -p = n - 64. Solve 6 = p*v - 61*v for v.
3
Suppose 0 = -2*w - 27 + 223. Suppose h = 8*h - w. Solve 1 + h = 3*y for y.
5
Let y(j) = -j**3 - 26*j**2 - 26*j - 17. Let c be y(-25). Solve 12 = -4*x - c for x.
-5
Let f = 71 + -44. Let d(j) = 9*j + 4. Let c be d(3). Let h = c - f. Solve h*z = -z for z.
0
Suppose 3*z + h + 3*h - 15 = 0, 5*z - 4*h = 25. Suppose -4*k + 2 = 3*y, z*k + 3*y = -y + 3. Let d be (1 + k)/(-7 - -8). Solve d*v = -v + 4 for v.
4
Let f be 2 + (4/(-4))/(-1). Let i(u) = -7*u - 13. Let v be i(-2). Let q be 2 - (-5 + f)*v. Solve q = 4*r - 0*r for r.
1
Let r(h) = h**3 + 10*h**2 + 8*h + 11. Let u(b) = b**2 + 7*b + 3. Let z be u(-4). Let y be r(z). Let f = y + -17. Solve k = -f*k - 8 for k.
-2
Suppose 0 = 4*k + 4*t - 8, -3*k + 26 = k - 5*t. Solve 0 = k*z + 2 + 10 for z.
-3
Suppose -6 = -3*r + 3*u, -3*u + 2 = 2*r - 6*u. Suppose -5*q + r = -6. Solve 2*l - 8 = -q for l.
3
Let q(p) = 2*p**2 + 18*p + 5. Suppose -7*w = -6*w + 9. Let h be q(w). Solve 6 = h*t + 26 for t.
-4
Let h = -4 - -6. Suppose 2*x - h = -0*x. Solve c + 4 = -x for c.
-5
Suppose 3*o = 3*p - 12, -5*p - 5*o + 6 = -4. Suppose -26 = -p*g + 10. Solve g = -v - 2*v for v.
-4
Let r(z) = -9*z - 80. Let v be r(-9). Solve -v = -2*f - 3 for f.
-1
Suppose -35 = -2*b - f, 2*b + 13 = 3*b - f. Let j be (-1)/4 - 68/(-16). Suppose 5*d - 39 = p, 0*p + 41 = 5*d + p. Solve -b = -j*x + d*x for x.
-4
Let v = -86 - -145. Suppose 16 = 3*z + d, -19 = 5*z - 5*d - v. Solve -z = -r - r for r.
3
Let k = 3 - -2. Suppose -q - 2*n - 14 = -2*q, k*q - 2*n - 70 = 0. Suppose 0 = 4*d - 2*d - w - 5, -5*w = d + q. Solve c - d = 4 for c.
5
Let r be (1 + 0)/(-5 - -6). Let k = r + 1. Suppose k = -6*w + 98. Solve 3*y = -y - w for y.
-4
Suppose c - 5*b = -3*b - 5, -10 = 5*c + 5*b. Let s = 5 + c. Solve i = -s*i for i.
0
Let b be 6 - 6/4*2640/(-99). Solve 0 = -d + b - 44 for d.
2
Suppose y + 2 = 0, 3*b - 16 + 0 = 5*y. Solve 0 = b*f - 3 + 3 for f.
0
Suppose 73 = 4*c - 47. Suppose 0 = -i - 26 + c. Solve 2*d - i = 6 for d.
5
Let j be (-3 + 1)*1 + 6. Solve -j*h - 1 = -9 for h.
2
Suppose 0 = -z + 3*k + 8, -82 = -4*z + 2*k. Solve -12*t - 