/(-32) - -5). Solve -2*i - z*i - k = 0 for i.
-5
Suppose 0 = 10*y + 4 - 34. Solve -y*u + 7 = 22 for u.
-5
Suppose 0 = -3*j + 5*j. Solve 3*t - 2*t - 1 = j for t.
1
Let r(x) = 3*x + 4. Let w be r(3). Suppose -4*u + u + 4*d = -w, -u = 4*d + 1. Let g be -5*1*-1 + 0. Solve g = -z + u for z.
-2
Suppose -2*w + 0*w = -8. Solve 2*i = 4*i - w for i.
2
Let p(g) = g**3 - 2*g + 1. Let j be p(2). Solve -3*s - 4 = j for s.
-3
Suppose 3 - 8 = -5*g. Suppose -24 - g = -5*k. Solve k*v - 1 + 6 = 0 for v.
-1
Suppose -4*v + 8 = f + 2, 4 = -2*f. Solve -3*w = -2*w - v for w.
2
Let w(j) = j - 2. Let z be w(7). Suppose -z*u + 10 + 4 = -3*r, -3*r = -3*u + 6. Solve -r*d - 2*d - 12 = 0 for d.
-3
Let g(a) = -a**3 + a**2 + 2*a + 3. Let m be g(-2). Solve 1 = -5*h + m for h.
2
Suppose -2 = -2*t + 2. Suppose b = 5*b. Let s = 5 - 1. Solve s = t*w - b for w.
2
Suppose 0*w - 20 = 5*w. Let d = 5 + w. Let o = d - 1. Solve o = -2*m - 7 - 1 for m.
-4
Let m be 6/15 - 6/15. Suppose 5*v + 0*v = m. Solve 5*z - z - 8 = v for z.
2
Suppose -8 - 4 = -3*w. Let l be (1 + 3 + -3)*w. Let r(s) = s**3 + 3*s**2 + 2*s + 2. Let y be r(-2). Solve 6 = y*f - l*f for f.
-3
Suppose 0 = 4*v - 2*v - 16. Let a(x) = x**2 - 8*x + 2. Let z be a(v). Solve z*h + 7 = -3 for h.
-5
Suppose 3*u = 4*g - 3 + 49, 10 = u - 4*g. Solve -2 + u = 4*o for o.
4
Suppose -13 + 21 = 4*l. Solve l*f + 4 = -4 for f.
-4
Suppose -k - 3 = -8. Let j(b) = -b. Let i be j(-2). Suppose -5*g = -4 - 11. Solve g - k = i*f for f.
-1
Let l(x) = -x**3 + 7*x**2 - 4*x - 7. Let m be l(6). Suppose -m*c = -6 - 4. Solve f = c*f - 2 for f.
2
Let o(c) be the third derivative of -c**5/60 - c**4/8 + 2*c**3/3 - c**2. Let j be o(-4). Solve 2*d - d = j for d.
0
Let u be (-2)/(-13) + (-24)/(-13). Let y = 5 + -2. Solve 0 = s + u*s - y for s.
1
Suppose 0*s - s = -3. Solve -s*c = -c for c.
0
Let k = -3 - -16. Solve 4 - k = 3*r for r.
-3
Let s(x) = -x**3 - 3*x**2 - 4*x - 2. Let i(r) = -3*r**2 - r - 1. Let f be i(-1). Let q be s(f). Solve 5*v = -10 - q for v.
-4
Let x = 4 - 2. Let u be (4/(-8))/(x/4). Let m be 0 + (-1)/(u/6). Solve -2*l + m = -0*l for l.
3
Let d be (-7)/((-7)/5) + -3 + 1. Solve -d*v - 2*v + 15 = 0 for v.
3
Suppose 0 = -3*v - 3*r + 21, 0 = 3*r - 8 - 1. Suppose -v*c = -9*c + 25. Solve c*w = 28 - 3 for w.
5
Let v = 13 - 8. Solve -y + v = 2 for y.
3
Let c = -9 + 9. Solve c + 2 = k for k.
2
Suppose -i - 4*i + 5 = 0. Solve 4*f + i = 13 for f.
3
Suppose 0 = -4*k + k + 3. Let c be 1 - 6*k/(-2). Let d(g) = 4*g**2 + 1. Let r be d(-1). Solve q + c*q - r = 0 for q.
1
Let a(l) = -5*l + 11. Let v(g) be the second derivative of -g**3/2 + 3*g**2 - g. Let y(q) = -4*a(q) + 7*v(q). Let o be y(-6). Solve 2*p - o - 6 = 0 for p.
5
Let j = -7 - -13. Suppose -c - j = -4*c. Suppose 5*u - 3*i = 16, -2*u + c*i - 6*i + 22 = 0. Solve 0 = u*m - 0 - 5 for m.
1
Let b be 4/(-3)*9/(-6). Let z be 5 + -3 + (b - 4). Solve z*w = 4*w - 20 for w.
5
Let m(j) = 3*j**2 + j - 11. Let v(n) = -n**2 + 4. Let k(o) = -4*m(o) - 11*v(o). Let f be k(-3). Solve f*s - 2 - 4 = 0 for s.
2
Suppose 23 = 4*q + 3*b, 5*b + 0*b + 10 = 3*q. Solve -q*f = -2*f - 9 for f.
3
Suppose 0 = 4*r + 4*j - 59 - 29, 2*j = 2*r - 56. Suppose -6*a + r = -a. Let i(c) = 2*c**3 + 9*c**2 - 24*c + 1. Let k be i(2). Solve a*z + 0*z = -k for z.
-1
Let y = -3 - -23. Solve y = -5*f + f for f.
-5
Suppose 0 = -0*l - l + 12. Solve -5*q + l = -q for q.
3
Suppose -2*i + 5*c = -45, 6*i - 3*c = 8*i - 37. Solve 5*d = d + i for d.
5
Let z(h) = -h**2 - 4*h - 1. Suppose -2*f = 8, -4*f = 4*n - 0*f + 28. Let a be z(n). Solve 2 = a*j - 0 for j.
1
Suppose 5*r + 2*t + 30 = 0, 4*r + 22 = -0*t - 2*t. Let z = -7 - r. Suppose 3 - z = 2*h. Solve -5*o = -h - 9 for o.
2
Suppose -s - i = -4, -10 + 26 = 5*s + 3*i. Solve z = s*z + 2 for z.
-2
Suppose 0 = 3*b + 2 - 14. Let h(s) = -s - 5. Let g be h(-5). Solve 0 = -t - g*t - b for t.
-4
Suppose 0 = -n - n + 6. Solve m + 8 = -n*m for m.
-2
Suppose -5*p = 2*m - 6 - 18, -p = 4*m + 6. Let b = -1 + p. Suppose b*q - 4*g = 9, 3*q - 3 = g + 1. Solve -7 - q = 2*l for l.
-4
Suppose 0 = -2*g - 8, -5 = -i + 4*g + 11. Solve i = 2*v - 8 - 0 for v.
4
Suppose w = 4*w - 3*v - 15, -w = 5*v - 23. Suppose 7*r - 3*r - w = 0. Solve 2*o + 4 + r = 0 for o.
-3
Suppose 3*v + l - 1 = 3, -5*v + 4*l + 35 = 0. Suppose v*m - 4*m + a = -10, a + 34 = 5*m. Let z be (-1 + (-6)/(-8))*-16. Solve f - z*f = -m for f.
2
Let i(u) = -2*u**2 + 1. Let d(t) = t - 8. Let o be d(7). Let j be i(o). Let r be (j/1)/((-2)/8). Solve r*w = -0*w - 20 for w.
-5
Let f be 1/((-2)/(-30)) - -1. Let r = f + -11. Suppose r*z + 5 - 150 = 0. Solve -z = -5*l - 4 for l.
5
Suppose 3*j - 5*a = 34, -5*j + 0*a + 34 = 3*a. Suppose 5 - j = -z. Solve 2*q - z = 1 for q.
2
Let j(o) = -o + 4. Let g be j(2). Solve g + 2 = -4*p for p.
-1
Suppose -17 = k - 19. Solve k*v - 3*v = 0 for v.
0
Let x = 10 - 1. Let o(p) = p - 15. Let z be o(x). Let c = 8 + z. Solve -c + 0 = m for m.
-2
Let x = 42 + -30. Solve 0*a + 4*a = -x for a.
-3
Let c = 11 - 0. Solve c = 5*n - 14 for n.
5
Suppose 43 = 3*m - 4*z, 0 = -z - 1. Suppose -117 + m = -4*a. Solve 3*o - a + 11 = 0 for o.
5
Suppose -4*d + 0*r + 16 = r, -d = r - 4. Suppose d*j = -4*y, j + 0*j - 20 = 3*y. Solve -q + j*q = 0 for q.
0
Let x(t) = -t**2 - 3*t + 1. Let g be x(-3). Suppose -7*c = -3*c - 20. Suppose -a = 4, -2*j + 3*a + 5 + 15 = 0. Solve -g = c*d + j for d.
-1
Let r = 43 - 40. Solve -3 = -r*o + 9 for o.
4
Let l(r) = r**2 + 6*r - 2. Let h be l(-8). Solve 10 = 9*n - h*n for n.
-2
Suppose -12 = -3*i + i. Suppose 4 = -2*m + 5*k - 11, 0 = 2*m + 4*k - 12. Suppose -3*o + m*o + 6 = 0. Solve -4*a + i = -o*a for a.
3
Let i = 19 - 14. Solve 0*d - 20 = -i*d for d.
4
Suppose -2 = -5*g + 143. Suppose -a = 4*z - 19, -2*a + 5*z - g = -5*a. Solve d = a*d for d.
0
Let a(c) = 0*c**2 + 1 - 2*c**3 - 5*c**2 - 5 + c**3 + 5*c. Let v be a(-6). Solve l - v*l = 5 for l.
-5
Let c = 10 + -7. Let z(q) = -q**3 - 6*q**2 + 8*q + 7. Let w be z(-7). Let v be w + 1*(c - 1). Solve 2*s = -2 - v for s.
-2
Suppose 0 = 4*o - z - 11, 19 = 3*o - 4*z + 1. Solve c = o*c for c.
0
Suppose -u = 5*k + 25 + 15, -2*u = 0. Let r be (-14)/3*12/k. Suppose -5 = -4*p + r. Solve -q + p = -2*q for q.
-3
Let s = -6 - -7. Suppose -s + 17 = 4*q. Solve -q*f - 4 = -0 for f.
-1
Let g(o) be the first derivative of -o**2 - 2*o + 1. Let b be g(-3). Solve 2 = 3*f - b for f.
2
Suppose -5*p = -10*p + 35. Let h = -4 + p. Let g be (-40)/(-6) - 2/h. Solve 4 = -2*x - g for x.
-5
Suppose -10 - 5 = -t - 5*i, 2*i = 2*t + 6. Solve 4*d - 2 - 18 = t for d.
5
Let t be (-8)/20 + (-64)/(-10). Suppose 5*k = -0*k. Let w = 0 + k. Solve 2*q + t = -w*q for q.
-3
Let f be 2/3 - 2/3. Suppose 5 = z, q + f*z + 4*z - 22 = 0. Solve 3*w + 20 = -q*w for w.
-4
Suppose -4*i + 8 = -5*u, -4*i = -9*i + 10. Suppose u*c = 2*c. Solve -5*o + 0 - 10 = c for o.
-2
Let m be (-6)/(-4) + (-63)/6. Let j be (-1)/m*3*9. Solve -j*a + 2 = 17 for a.
-5
Let w(l) = l**3 - 1. Let x be w(1). Suppose 2*h - 5*d = -2*h + 12, x = -2*h - 2*d + 24. Solve z + h = -z for z.
-4
Suppose -4*b + 29 = j, -5*j + 2*j + 3*b + 42 = 0. Let n = -16 + j. Solve -n = 2*r + 1 for r.
-1
Suppose -26 = -4*l + 2*r, 4*l + 3*r - 41 = -0*r. Suppose 0*b + 4 = u + b, -4*b = -l. Suppose 3*s - 2 - 13 = 0. Solve -u*o - s = -3*o for o.
5
Let b be (0 + 2)/((-3)/(-6)). Let q = 6 - b. Solve -q*g = 2 - 4 for g.
1
Let d(s) be the second derivative of s**3/6 + 5*s**2/2 + s. Let x be d(0). Suppose -b + 10 + x = 0. Solve 0 = -2*z + 5*z - b for z.
5
Let s be (6*1)/(12/8). Solve 0 = 2*y - 4*y + s for y.
2
Let m(x) be the third derivative of -x**6/120 - 3*x**5/20 + x**4/24 + 13*x**3/6 - 5*x**2. Let k be m(-9). Solve -d + k = 7 for d.
-3
Let l(n) = 3*n**2 + n - 1. Let r be l(1). Solve -3*s - r = -4*s for s.
3
Let v be (-133)/(-28) + (-2)/(-8). Solve -4*t = -5*t + v for t.
5
Suppose -n + 2*r + 28 = 0, -4*n - 2*r = -0*n - 82. Suppose 0 = 3*a - n + 7, -3*i + 29 = 4*a. Solve -i*f + 7 = -2 for f.
3
Let m = -34 + 34. Solve 3*b = -m*b for b.
0
Let z(a) be the first derivative of a**4/4 + 2*a**3/3 - 3*a**2/2 - a - 4. Let t be z(-3). Let l be (t/(-2) - 0)*10. Solve r + 6 - l = 0 for r.
-1
Suppose -3*v - 4*a - 20 = -5*v, 4*a + 32 = 5*v. Suppose -t = -0*t. Let n = v + t. Solve -3*p - 3 = -n*p for p.
3
Let x be (17 + -2)/((-9)/(-6)). Let r(v) = -v**3 + 7*v**2 - 5*v - 4. Let k be r(6). Solve 0*j = -k*j - x for j.
-5