((-2)/25). Solve k + 5 = -g*z for z.
-4
Let s(d) = -2*d - 50. Let x be s(-25). Solve x = -i - 1 - 0 for i.
-1
Suppose -6*h + 72 - 18 = 0. Solve -3*z - h = -6*z for z.
3
Let o(k) be the first derivative of -k**4/4 - k**3/3 + k**2 - 3*k + 2. Let q = -127 - -124. Let i be o(q). Solve -4*s - i = -1 for s.
-2
Suppose 41 = n - i, 0*n + 3*i - 33 = -n. Let t be (0 + 2)*(-5 + n/6). Solve 0*y - y + t = 0 for y.
3
Let n be ((0 - 2)*3)/(294/(-196)). Let s(a) = 2*a - 5 + 0*a - 3. Let p be s(n). Solve 0*h - 4*h - 20 = p for h.
-5
Suppose -f - 5 = -2*s + 2, 4*s - 17 = f. Suppose 0 = -6*y + s*y. Solve y*k + 16 = 4*k for k.
4
Suppose 0*l - 5*i = 2*l, 4*i = 5*l. Solve l*n - 3*n = -12 for n.
4
Suppose -3*a = -5*w + 11, -9*a = -7*a + 2*w - 14. Solve h = -a*h + 12 for h.
3
Suppose 5*u - 3*n + 32 = 0, -5*n + 9 = -2*u - 19. Let p(i) = i + 7. Let c be p(u). Suppose 5*f - 8 = c*f. Solve -15 = m + f*m for m.
-3
Let s(k) = k - 7. Suppose d + 4*u - 30 = 0, -3*d = 5*u - 4*u - 46. Let h be s(d). Let x = 13 + h. Solve 5*a - x = -0*a for a.
4
Let p(a) be the second derivative of -a**4/6 + a**3/6 + 4*a**2 - 4*a. Let z be p(0). Solve -i + 5*i = z for i.
2
Let v be -15 - (0/(-2) - (-14 - -9)). Suppose -2*g = -3*g + 4. Let s be (-1)/(0 + g/v). Solve 3*d = -2 + s for d.
1
Let o(u) = -3*u + 4. Let y be o(0). Let a be (0*y/16)/(-2). Solve a = 3*t - 2*t for t.
0
Let a(x) = 5*x**3 + 66*x**2 + 15*x + 26. Let s be a(-13). Solve s = -7*r + 4*r - 9 for r.
-3
Let p(c) = -c**3 + 16*c**2 + 18*c - 14. Let z be p(17). Suppose 0 = 4*f + z*a - 28, f - 3*f + 2*a = 0. Solve -12 = -7*o + f*o for o.
4
Let c = -31 + 35. Solve 0 = 4*d - c - 8 for d.
3
Suppose -u + 19*u = 144. Solve u*f + 10 = 10*f for f.
5
Let x(g) = -19*g - 5. Let q be x(-2). Let w = q - 32. Let y be -8*w/(6/(-3)). Solve -y*j = -j - 3 for j.
1
Let f(a) = 3*a**3 - a**2 - a + 5. Let p be f(0). Suppose -p*c - 19 = -3*w, -4*w + 37 = w - 3*c. Solve -w = k - 3*k for k.
4
Let b(u) be the second derivative of -1/3*u**3 - 5*u + 0 + 1/2*u**2. Let w be b(-1). Solve w*f = f for f.
0
Let a(q) = 3*q**3 - 28*q**2 + 4*q + 22. Let c(z) = z**3 - 9*z**2 + z + 7. Let u(m) = 2*a(m) - 7*c(m). Let s be u(7). Solve -s = r - 3 for r.
1
Let w(z) = -z**3 - 9*z**2 + 14*z + 136. Let n be w(-9). Solve n - 14 = l for l.
-4
Let a = -504 + 507. Solve -8*g = -a*g - 10 for g.
2
Suppose 0 = -3*l + 4*l - 2. Suppose -4*m - 6 = -2*x - 46, 5*m - 5*x - 55 = 0. Solve -l*b = -5*b + m for b.
3
Let p be (198/(-110))/((-6)/10). Solve -p*o + 0*o = 0 for o.
0
Let k(s) = 19*s - 559. Let b be k(31). Solve -29*c - 1 = -b*c for c.
1
Suppose 0 = -2*r - r + 18. Let b be (-8)/(8/11) - -13. Solve -r = b*h + h for h.
-2
Suppose 109 = 2*p + 21. Suppose p = 6*d - 76. Solve d = -m - 4*m for m.
-4
Suppose -a = 3*b - 33, 3*b + b - 20 = 0. Solve -5*l - a = 2 for l.
-4
Suppose -195 = 6*h - 19*h. Let u = 17 + -5. Suppose -5*s = -2*m - h, m + u = -0*m + 4*s. Solve -5*g - 17 + 2 = m for g.
-3
Suppose 5*c - 8 = -f, c + f - 4 = -0. Solve 3*o + 8 = -c for o.
-3
Let b be 0/2*(-76)/(-76). Solve b*l + 0*l = -2*l for l.
0
Let g(m) = 2*m - 28. Let n be g(23). Suppose x + 3*i = 17, -3*i + n = 3*x - 3. Let w be 25/9 + (-6)/(-27). Solve w*o + 8 = x for o.
-2
Suppose 5*r = -3*p + 2*p + 11, 0 = -5*r - 5*p - 5. Suppose 2 = r*g - 4. Solve -g*y - 5 = 1 for y.
-3
Let m = 18 - -1. Let f be (-2)/(-4)*(m - -11). Solve -b + f = 4*b for b.
3
Let i(u) = u**3 - 13*u**2 - 14*u - 5. Let w be i(14). Let l(m) = 2*m + 14. Let r be l(w). Solve 0*h + r = -4*h for h.
-1
Suppose -3*m + 2 = -22. Let l(c) = -c + 1. Let f(p) = 5*p - 15. Let y(h) = -f(h) - 4*l(h). Let b be y(m). Solve -b*r - 3 = 6 for r.
-3
Let o = -199 - -201. Solve o*c + 3 = -c for c.
-1
Suppose 0*f + 4 = 5*o - 3*f, -3*o = -4*f - 9. Let t = -348 + 300. Let k be o - (-1)/((-3)/t). Solve -k = -4*l + l for l.
5
Let t = -115 - -118. Suppose 3*q - 4 = -h, 0 = -2*h + t*h + 2. Solve 0 = -q*s - 7 + 1 for s.
-3
Let n be ((-2)/(-5))/((-3)/(-15)). Suppose 2*i = 2*m - 68 - 22, 2*m = 5*i + 213. Let y = -41 - i. Solve y = -n*t - 1 - 1 for t.
-1
Let h(g) = -g**2 + 14. Let y be h(0). Suppose 0 = 3*j - 13 - y. Solve -2*w = j - 1 for w.
-4
Let j(v) = -v - 7. Let y be j(-9). Suppose -a + 13 = -4*z, 3*z + 7 = -y*a - 0*z. Solve a + 1 = n for n.
2
Suppose -4*z - b - 96 = -5*b, -4*z + b - 87 = 0. Let i = z + 21. Solve i = -j - 3 - 2 for j.
-5
Let s be (26/39)/((-4)/(-42)). Let h(b) = b**3 - 7*b**2 - b + 7. Let r be h(s). Suppose -u + r*u + 1 = 0. Solve 0*l + u = -l for l.
-1
Suppose 2*a + 0*a = s - 14, 3*s - 39 = 5*a. Solve -3*i = i - s for i.
2
Suppose -111*r + 12 = -107*r. Solve -2*h = -r*h - 1 for h.
-1
Suppose 5*n = -5*f - 355, 0 = -3*n + f - 321 + 100. Let s = 85 + n. Solve q - 5*q = s for q.
-3
Let f(g) = g**2 - 4*g - 12. Let k = -31 + 37. Let q be f(k). Solve -3*j - 3 = -q*j for j.
-1
Let u(g) = -2*g + 45. Let o be u(16). Suppose -4*z = -33 + o. Solve -z + 25 = 5*m for m.
4
Let x be 13/5 - 3 - 206/10. Let q = -15 - x. Solve 0 = -n - 2*n + q for n.
2
Let h = -45 - -49. Suppose h*s = s. Solve s + 8 = 2*r for r.
4
Let d(c) = -c**2 + 19*c + 3. Let u be d(19). Solve 0*i - i + u = 0 for i.
3
Let q be 152/10 + (-12)/60. Solve -t + 6*t - q = 0 for t.
3
Let f(a) be the third derivative of -a**5/60 - 7*a**4/8 - 8*a**3/3 + 4*a**2. Let m be f(-20). Solve -11 - m = -3*w for w.
5
Let u(s) = -s + 11. Let t be u(-5). Suppose -17*r + t*r = 0. Suppose -2*h - 4*v + r*v = 10, v + 6 = 3*h. Solve 3*q + 13 - h = 0 for q.
-4
Suppose 5*l - 4*l = 6. Let t(y) = y**3 - 7*y**2 + 7*y - 4. Let q be t(l). Solve q = n + 7 for n.
-5
Let w be (-13)/(-52)*36 + 0. Solve -11*u = -w*u + 8 for u.
-4
Let a(d) be the second derivative of d**3/6 - 4*d**2 - 2*d. Let r be a(9). Suppose -4*z - 3*m = r - 0, 2*z - m - 7 = 0. Solve 5*y + 17 - z = 0 for y.
-3
Suppose 0 = 4*t, -2*m - 80 = -7*m - 5*t. Solve -6*a = -4 + m for a.
-2
Suppose 44 = 8*i - 140. Let p = i + -8. Solve -5 - p = 5*n for n.
-4
Suppose -5*k - 32 = -2*z, -4*z - 2*k = k - 12. Let m(y) = 6 - 5 + y + z. Let x be m(-6). Solve 0*n - x = n for n.
-1
Suppose 74*b + 54 = 76*b. Solve 0 = 32*s - b*s - 25 for s.
5
Let x(r) = -r**2 - 9 - 2*r**3 + 9 - r**3. Let w be x(-1). Suppose w*q - 4*q = 4*m - 8, 0 = q - 2*m - 16. Solve 0 = -k - 4*k - q for k.
-2
Let s = -310 + 320. Solve -8 = 6*c + s for c.
-3
Suppose -3*x + 30 = 3*v, 0*v + x - 28 = -3*v. Suppose v*h = 6*h + 6. Solve -h*u + 12 = 2*u for u.
3
Let f(k) = k**2 + 8*k + 5. Let u(g) = -3*g**2 - 23*g - 15. Let a(r) = -17*f(r) - 6*u(r). Let c be a(0). Solve c*l = 17 + 3 for l.
4
Let q be 9 - 1*(-20 + 4). Solve 4*z + 41 = q for z.
-4
Suppose -2*f + 7*f - 10 = 0. Suppose -f*v - 34 = 20. Let g = v + 27. Solve g = -7*j + 2*j - 15 for j.
-3
Suppose 0 = -4*h + d + 4*d - 23, 3*h + d + 3 = 0. Let w be h*33/(-2) - 3. Suppose -6*c + 35 = -3*c + f, -2*c - 2*f = -w. Solve 0 = 8*n - 3*n - c for n.
2
Suppose -2*d - 5*k + k + 6 = 0, d = 3*k + 3. Solve -d*y + 0*y = -6 for y.
2
Let b be 18/(-15)*(-1 + -4). Suppose 0*x = -b*x - 2*x. Solve x = 5*r - 0*r for r.
0
Suppose b - 317 = -5*w - 301, 3*b - 12 = -3*w. Solve -b = 10*c - 11*c for c.
1
Let m = 312 + -312. Solve 2*l + 8 - 2 = m for l.
-3
Suppose -275 = -39*y - 16*y. Solve 0 = -0*w - w + y for w.
5
Let q(o) = 5*o + 3. Let g(k) = -k - 1. Let u(n) = 9*g(n) + 2*q(n). Let b be u(6). Let c be b*(2 + -2 + 1). Solve 0 = 2*r + r - c for r.
1
Let z = -3 + 5. Suppose -4*f = -3*b + 6, -3*f + 4*f + 10 = 5*b. Let h be 48/5 - (-8)/20. Solve -b*l + z = h for l.
-4
Suppose -80 = -2*q - 6*q. Solve 22*m - q = 17*m for m.
2
Let c(z) = -z**2 + 5*z - 1. Let k be c(2). Suppose -1280*n = -1271*n - 18. Solve -n*y - k = -y for y.
-5
Let p(d) = -d**3 - 10*d**2 + 4*d - 26. Let k be p(-11). Let y = k + -50. Solve 3*z + y - 4 = 0 for z.
1
Suppose -6*l + 64 = -2*l. Suppose -y - l = y. Let t(i) = -i**2 - 8*i + 3. Let o be t(y). Solve 0*a = -o*a - 3 for a.
-1
Let v(u) be the second derivative of u**5/10 - u**4/6 + u**2/2 - 4*u. Let p be v(1). Let k be 2/(-8) - 13/(-4). Solve -p = -f - k for f.
-2
Let p(z) = -12*z - 28. Let l be p(-9). Let j = 83 - l. Solve j*i = 2*i - 4 for i.
-4
Let y be (8/(-10))/(11/(-55)). Solve 0 = -y*j + 2 - 6 for j.
-1
Suppose 4*r + 94 = 22. Let l = 25 + r. Solve 2 - l = g for g.
-5
Suppose 173*c - 4 = 171*c. Solve c*h = 6 - 2 for h.
2
Suppose -28*g = 21*g - 98. Let l(q) = q + 2. Let v be l(5). So