ose 5*k - 2*q + 116 = 0, 0*q - 62 = 3*k - 5*q. Let u be (8/k)/(2/(-12)). Solve -u*v - 3 + 7 = w for v.
2
Suppose -3*l + 9*v = 4*v - 37, -5*l + 40 = -4*v. Suppose 0 = l*n - 11 - 5. Solve -5 = -u - n for u.
1
Let c(r) = 3*r**3 - 7*r**2 - 7*r - 6. Let g(b) = -13*b**3 + 29*b**2 + 29*b + 25. Let a(m) = -9*c(m) - 2*g(m). Let l be a(5). Solve -5*i - l + 4 = 0 for i.
-5
Let s(b) = b**3 + 7*b**2 + 9*b + 8. Let r be s(-6). Let y = -13 - r. Let x = -2 - y. Solve -5*l + 9 + x = 0 for l.
2
Let z(p) = 7*p**3 + 26*p**2 + 2*p + 30. Let a(v) = -4*v**3 - 13*v**2 - v - 15. Let u(i) = 5*a(i) + 3*z(i). Let h be u(-13). Solve -f + h*f = 1 for f.
1
Let h = -9 + 24. Suppose 0 = -r + h - 3. Solve -k + r = 3*k for k.
3
Let k(u) = u**2 + 13*u + 12. Let p be k(-12). Solve 4*h + 0*h - 12 = p for h.
3
Let p(i) = -i + 14. Let d be p(10). Solve 18 = d*r + 6 for r.
3
Let p be ((-8)/(-6))/(1/6). Let s = -7 + -4. Let i be s + p - (-12)/2. Solve 3 - 9 = -i*h for h.
2
Let t be 8 + 1 + -3 + -1. Suppose 0 = -t*k + 14 + 6. Let h = 4 - 0. Solve k*a - 3*a = -h for a.
-4
Suppose 4 = 3*r + 1. Let t be -2 + r + -3 + 10. Suppose 2*k = t*k. Solve k = -4*q - 0*q - 4 for q.
-1
Suppose 0 = z + 3 - 4. Solve -y - 3 = z for y.
-4
Let q(a) = 3*a - 2. Let v be q(2). Suppose 0 = 3*n + 5*l - 29, 0 = v*n + 3*l - 26 + 2. Let s = -342 + 344. Solve -10 = -n*r - s*r for r.
2
Let q(g) = -g**2 - 14*g - 13. Let h = 2 - 12. Let v be q(h). Suppose -5*p - 12 + 3 = 2*x, -v = -4*x + 5*p. Solve -x*i = -5 - 7 for i.
4
Suppose 4*h = -2*i + 278, -5*i + 2*i = 15. Let v(p) = -p**3 - 4*p**2 - 4*p - 2. Let c be v(-2). Let k be 128/h - c/9. Solve 2*n - 12 = -k*n for n.
3
Let s = 10 - 10. Let f be (-3)/(-2) + (-2)/(-4). Solve -f*x = -s*x for x.
0
Let f = -102 + 70. Let j = f + 46. Solve 6 = -4*q + j for q.
2
Suppose -16*h - 4 = -17*h. Solve -5*c + 16 = -h for c.
4
Let g be 2 - -4 - (1 + 1). Suppose 0 = o + 105 + 33. Let m be o/(-9) + (-3)/9. Solve m = -g*u + u for u.
-5
Let s(x) = -x**3 + 3*x**2 + 4*x - 3. Let v be s(3). Solve -1 = 2*u + v for u.
-5
Let b be (0/6)/(3*1). Let h(x) = x**2 - 3*x - 4. Let t = 8 + -4. Let q be h(t). Solve o + q - 5 = b for o.
5
Let n(s) = s - 7. Let u be n(9). Suppose -5*o = -a - 23, 2*a - 7*a + 20 = u*o. Solve 6 = -a*k - 2 for k.
-4
Let h(o) = 5*o**3 - o + 1. Let g be h(1). Suppose 2*y - 6*l + 4*l = 22, -3*l - 15 = -y. Suppose 0 = 2*m + 3*m + 10, -2*m = -s + y. Solve s*f - 5 = g for f.
2
Let x(b) = 2*b**3 - 11*b**2 - 5*b - 3. Let m be x(6). Let q(y) = -y**3 + 1. Let i be q(0). Solve 2*o = -i + m for o.
1
Suppose 5*w + 2*r + 30 - 12 = 0, 2*w - 2*r - 4 = 0. Let l be (1/w)/((-3)/(-36)). Let q(n) = -n**3 - 5*n**2 + 7*n + 8. Let k be q(l). Solve 0 = v + k*v for v.
0
Let m(y) = y**3 - 5*y**2 + 3*y. Let p be m(3). Let a = p - 0. Let s = -5 - a. Solve 9*d = s*d for d.
0
Let d(y) = y**2 + 3*y + 1. Let z be d(-3). Suppose -3*r + 4*r - 5 = 0. Solve 0 = -r*q - 4 - z for q.
-1
Suppose 0 = 6*h - 7 - 11. Solve 20 = -h*j - 2*j for j.
-4
Let z be 2/((-6)/(-3)) + (-3)/3. Solve h - 4*h + 9 = z for h.
3
Let j = 22 + -19. Let d(l) = -6*l**3 + 2*l**2 - 1. Let i be d(1). Let q(z) = -z**3 - 6*z**2 - 6*z - 4. Let a be q(i). Solve 4*u + a = -j for u.
-1
Suppose 0 = 2*o + n - 1, 4*o - o = 4*n - 15. Let j be (-6)/(o*2/4). Solve -4*d + j = -0 for d.
3
Let r(z) = z**2 + 2*z - 3. Let a be r(-3). Suppose a*y - y + 4 = 0. Suppose -y*n + 1 = -7. Solve -5*d = -n*d for d.
0
Suppose 3*h = -0*h + 9. Solve -3*r - 9 = -h for r.
-2
Suppose 1 = -t - 9. Let u be (8 + t)*(1 - 3). Solve -y + 3*y + u = 0 for y.
-2
Let s be (-2)/(-8) + (-279)/(-36). Solve -w = -3 + s for w.
-5
Suppose 3*d = -2*s + 43 - 14, s - 4*d - 42 = 0. Suppose -s = -l - 3*z - 2*z, -6 = 5*l - 4*z. Solve -m - m + l = 0 for m.
1
Suppose -2*d + 55 = 3*b, 0 = -2*b + 3*d + 22 + 32. Let x be (56/b)/(1/3). Solve 5*z = -12 - x for z.
-4
Let f be (-12)/10*135/(-54). Solve f*g = -g - 8 for g.
-2
Let d = 11 + -9. Suppose -5*k + d*n = 2, 5*k + 4 = k + 4*n. Solve 5*z - 10 = -k*z for z.
2
Suppose 0 = -2*m - m + 42. Let f = 10 + m. Suppose i - f = -3*i. Solve -8 = 2*b - i*b for b.
2
Let w(r) = r - 4. Let i be w(7). Let c = i - -5. Solve -4*y + c = -8*y for y.
-2
Let m(y) = -y**2 - 6*y. Let w be m(-5). Solve w*u - 2*u = -9 for u.
-3
Let i be 16/4 + 0/1. Suppose -w + 34 = 30. Solve w*d + 4 = -i for d.
-2
Let j(z) be the third derivative of -z**5/60 + z**4/6 - 10*z**2. Let k be j(3). Solve k*w - 2 = 7 for w.
3
Let t(z) = 6*z + 10. Let y be t(-1). Solve -y*f + 16 = -0*f for f.
4
Let y = -4 - -6. Suppose -p + 24 = 5*b, 4*b - 26 + y = -2*p. Let m = -5 + 9. Solve -16 = b*f - m for f.
-3
Let s(v) = v**2 - 8*v - 4. Let b be s(9). Suppose 2*i + b*h = 67, 2*i + 2*h = 32 + 26. Solve i = 4*q + 6 for q.
5
Suppose 4*y + 2 = 10. Suppose 4*v - 10 = y*v. Solve c = -0*c - v for c.
-5
Suppose -10 - 5 = -5*p. Solve p*o - 12 = -o for o.
3
Let g = -32 + 53. Let u = g - 12. Solve 4*h + u = h for h.
-3
Suppose 4*a = -5*i + 14, -3*a + 3*i + 18 = -a. Suppose -a = -2*b - 0*b. Solve b + 6 = -3*z for z.
-3
Let h be (-30)/(-9) + (-2)/6. Solve 2*p = 1 + h for p.
2
Let w = 0 - 4. Let v = 8 + w. Let j = 24 - 15. Solve j = k - v*k for k.
-3
Let i(d) be the second derivative of d**5/20 + 3*d**2 + 2*d. Let a be 1/(-4) + (-1)/(-4). Let n be i(a). Solve w = -w + n for w.
3
Let a be ((-5)/2)/(6/(-12)). Suppose -27 = -a*f + n, -4*f - 2*n = f - 21. Solve -f*k + 9 = -16 for k.
5
Let b(a) = -a**3 - 2*a**2 - a. Let p be b(-2). Let d = -5 + 5. Let x = p - d. Solve -x*h = -h for h.
0
Let q be -12*((-6)/(-4) - 3). Suppose 2*c = -f + 10, -q = 2*f - 4*c + 2. Solve -z - 2 - 1 = f for z.
-3
Suppose 65 - 3 = 5*i + 3*v, 2*v = -2. Let s = -8 + i. Solve -s = -4*d - 1 for d.
1
Suppose -1 = t + c, -4*t - 1 = 3*c + 6. Let x be 3/2*2*2. Let f = x + t. Solve -8 = 2*w + f*w for w.
-2
Suppose 3*x - 23 = 5*j, -x = -0*x + 3*j + 11. Solve x = 4*k - 3 for k.
1
Let i(c) = -c**2 - 6*c - 4. Let p be i(-6). Let x be 9/(-18) + (-2)/p. Let w = 8 - 5. Solve w*l - 4*l + 4 = x for l.
4
Suppose 0*n - 2*n + 14 = 0. Suppose n = 5*f - 13. Solve -f*l + l = 0 for l.
0
Suppose 0 = 6*s - s - 3*l - 15, -3*l - 15 = 4*s. Let a = 0 - s. Let o = 25 + -13. Solve a = 3*n - 0*n - o for n.
4
Let s(n) = n + 4. Let a be s(2). Let o(v) = v**2 - 6*v + 2. Let z be o(a). Solve 8 = -z*w + 4*w for w.
4
Let q(o) = -o**3 - o**2 + 3. Let x = -2 - -2. Let i be q(x). Suppose 0 = i*a - 2*a - 3. Solve b = -0*b + a for b.
3
Let g be 4/(-30)*3*-30. Solve g = 5*o - 2*o for o.
4
Let t(y) = -2*y - 10. Let v be t(-6). Solve -2*r + 0 = -v for r.
1
Let j = -1 - 1. Suppose 0 = -y + 2*y + 5*c - 10, 3*y - 4*c = 87. Let o be j/8 + y/4. Solve -z - z = o for z.
-3
Let v = -38 + 40. Solve 0 = -v*g + 6 - 14 for g.
-4
Suppose -2 = i - 4. Let s be i - 2/(-4)*4. Solve -s*y = -6*y - 4 for y.
-2
Suppose -3*a + 4 = -m - a, -m + 11 = 3*a. Suppose 0 = m*r - 0*r. Solve -3*k + r*k = 9 for k.
-3
Let z = -32 + 36. Solve -d - 3 = -z*d for d.
1
Let z(m) = -m - 2. Let w be z(-4). Let l = -2 + w. Let a be (2 + l - 2)/2. Solve -h + 2*h - 5 = a for h.
5
Suppose 0 = 2*p + 2*i + 8, -9 - 4 = -2*p + 5*i. Let t be (0 + 2)*(2 + p). Solve 0 = -t*n + n for n.
0
Suppose 0 = -3*x + x. Solve -3*c + 0*c - 12 = x for c.
-4
Let o be (3 - -5)*(0 + 1). Let a = -5 + o. Let t = -4 + 10. Solve a*g - 5*g = -t for g.
3
Let f(c) = -c - 4. Let s be f(-6). Suppose -3 = -s*j + 5. Solve 0 = j*u - 3*u + 1 for u.
-1
Let d(m) = -m**2 + 30. Let w be d(-5). Solve -2*h - w = 3*h for h.
-1
Suppose 2*y = 5 + 1, -20 = -h - 4*y. Solve -h = -3*n + 5*n for n.
-4
Suppose -10 = -5*d - 5*h, -3*h - 3 = -3*d + 3. Solve -d*t + 0*t - 10 = 0 for t.
-5
Suppose d + 2 = -2*n + 8, 2*n - 2*d - 12 = 0. Suppose -2*u + 6*u = n*l, 2*u + 2*l = 16. Suppose 4*a + 5 = 85. Solve -a = x + u*x for x.
-4
Suppose -2*y + 1 = -5*d, 5*d - d = 2*y - 2. Let o = -1 - -3. Solve o*n = n + d for n.
1
Let q be 3/1*(-16)/(-12). Solve 0*c - c - q = 0 for c.
-4
Let a(f) = -f**2 + 20. Let n be a(0). Let p = 3 + 1. Suppose -4*j + 0*r = -4*r - 32, p*r = 0. Solve -3*t + n - j = 0 for t.
4
Let u = 9 + -3. Suppose u*v - 3*v - 6 = 0. Solve 2 = -v*h + 8 for h.
3
Let d be 4 - 2*(-6)/(-4). Suppose 4*k - 8*k + 14 = 5*y, 0 = y - k - d. Solve 0 = y*u - 3*u for u.
0
Let v(h) = h + 1. Let n be v(1). Suppose -3*b + 5*u = 15, -2*b + 3*u - 7 = n. Solve 3*y + b - 3 = 0 for y.
1
Let k = 72 + -63. Solve 5*v + 24 