 Solve 0*k + i = -k for k.
-4
Suppose -k - 4 + 6 = 0. Solve -w = k*w + 9 for w.
-3
Suppose -3 = -5*l - k, -5*k + 18 = 2*l + 3. Suppose v + 0 - 4 = -5*n, 0 = -5*v - n + 44. Let r be (l/2)/(v - 7). Solve 0 = u - r - 1 for u.
1
Let v = 68 + -98. Let d be -4*(v/(-8))/(-5). Solve 10 = d*b - 5 for b.
5
Suppose -3*y + 7 = 19, y = -c + 2. Let p be (8/c)/(1/(-3)). Let n be (0 + (-10)/p)*2. Solve 11 + 9 = n*x for x.
4
Let t(c) be the second derivative of c**3/6 + 5*c**2 + 2*c. Let y be t(-8). Solve y*k = 6*k for k.
0
Let o(n) = -n**3 - 2*n**2 - 3*n - 3. Let g be o(-2). Let i(a) = a - 3. Let u be i(g). Let v(y) = -y. Let f be v(u). Solve f = k + 3*k + 12 for k.
-3
Suppose 4*j = -0 + 16. Let k = 1 + -1. Let o = k + 1. Solve j*y = -o + 21 for y.
5
Let c(l) be the third derivative of l**5/60 - 5*l**4/24 - l**3 + l**2. Let y be c(6). Suppose y = 4*t - 2*t. Solve t*f = f for f.
0
Suppose 0 = 2*c - 4*a - 6, -3*c + 3*a + 9 = -c. Let u = -2 + 18. Solve 5*p = u + c for p.
5
Let w = 11 + -7. Let u be 4 - w - (-2)/2. Solve 0 = -2*o + 5 - u for o.
2
Let i(x) = x**2 - 7*x - 3. Let a be i(6). Let s be a/(-2) + 1/(-2). Let q = -2 - -2. Solve s*j + q*j = 0 for j.
0
Let a(g) = -g**3 - g - 1. Let z be a(0). Let v(h) = h**2 - 1. Let r be v(z). Solve r = -2*j + 3*j for j.
0
Let h be 1/4 - (-3)/(-12). Suppose -a + 4*a - 6 = h. Let c be (-1)/a*(-5 + 5). Solve -5*m + 25 = -c*m for m.
5
Let o(c) = c**3 + 5*c**2 + 5*c + 4. Let g be o(-4). Let t = -6 - -11. Solve d - t*d - 8 = g for d.
-2
Suppose 5*t = -25 + 140. Suppose -2*g + t = -3*i, -4*g + 35 = -2*i - 7. Solve -g = -u - u for u.
5
Let a be (-4)/((-16)/12) + 0. Suppose 0 = -m - a + 7. Solve -2*b - m = -4*b for b.
2
Let b(v) = v**2 - 4*v + 1. Let k = -2 + 6. Let q = k + 0. Let w be b(q). Solve -t + 1 + w = 0 for t.
2
Suppose 0 = f + 4*o - 8, 4*f - 32 = 3*o - 0*o. Solve -7*v = -3*v - f for v.
2
Suppose -5*w = -0*w - 60. Let i = w + -7. Solve 5*m - i = -20 for m.
-3
Let l(z) = -z**2 - 6*z - 2. Let i be l(-6). Suppose 3*m = 18 - 6. Let a be i/8 - (-17)/m. Solve -a*b + 3 = -5 for b.
2
Suppose -2*z + 2 = -0. Suppose -2*v - 6 = 4*u - v, 0 = 4*u - 2*v + 12. Let a be 10 + (u/z - 0). Solve 2*y + 0*y + a = 0 for y.
-4
Let y be ((-10)/8)/(1/(-8)). Let d(k) = 3*k - 2. Let h be d(2). Suppose 5*a = -5*j + 75, 0*a + 15 = j + h*a. Solve 5*m - y = j for m.
5
Suppose 4*b - 2*c = 52, -7 - 1 = -2*c. Solve 0 = 2*d + 3*d + b for d.
-3
Let k(v) = -2*v - 3. Let n be k(-3). Let m(c) = -5*c**3 - 3*c**2 + 4 + c**3 - 2*c + 5*c**n. Let l be m(4). Solve 0*p = 4*p + l for p.
-3
Let s be 8/(-2) - (13 + -20). Solve 0*i = -s*i + 15 for i.
5
Let c = 10 - 12. Let w = c + 4. Solve w*a + 2*a + 12 = 0 for a.
-3
Let y(q) = -q. Let w(d) = -4*d + 1. Suppose -5*n + 15 + 0 = 0. Let a(x) = n*y(x) - w(x). Let p be a(2). Solve -3*k - 11 = p for k.
-4
Let u(v) = -v**3 - 3*v**2 - v + 2. Let o be u(-2). Solve 3*z + o = 12 for z.
4
Suppose -2*i + d = -0*i - 1, -5*i = d - 13. Solve -f - f - i = 0 for f.
-1
Let f be -1 + -2 + (-8)/(-2). Suppose -4*y + 7 = -f. Suppose u - 55 = -4*u. Solve 0 = -3*t + u - y for t.
3
Let n = -7 + 11. Suppose n*a - 20 = -4*j, 16 = -0*j + 2*j + 5*a. Solve -v - j*v + 4 = 0 for v.
1
Let h be 0/(-2 - -1)*1. Let x be (h + 0)/(4 + -7). Suppose -2*k - 3*k + 20 = 0. Solve x*b + k*b = 20 for b.
5
Let k be 0/(0 - -1) - -22. Let m be (-356)/(-18) - k/(-99). Solve 0*a + m = -5*a for a.
-4
Let k be 1/5 + (-18)/(-10). Let m = k - -1. Solve m*n = 5*n for n.
0
Let r(c) = -c**3 - c**2 + 1. Let o be r(-1). Suppose 3*x + 0*y + y = -24, -3*x - 5*y = 12. Let w = -5 - x. Solve -3 = w*k + o for k.
-1
Let d = 1 - 1. Suppose 3*z - 17 = 2*p, 5*p + 20 = -d*z + 3*z. Suppose -2*h + 0*h = 0. Solve h = 3*v + z + 10 for v.
-5
Suppose -2*s = -6*s - 4. Let v be s/3*0/1. Solve v*y + 5*y = -20 for y.
-4
Suppose 0 = -7*w - 22 + 43. Solve x = -w*x for x.
0
Suppose -4*h + 16 = 0, 0 = -2*l - h - 2*h + 24. Solve l*g - 5*g = 2 for g.
2
Suppose 4*n + 12 = 2*z, n + 1 + 2 = -4*z. Let h(r) = -r**2 - 6*r - 5. Let o be h(-4). Suppose 4*a = -2*t + 16, -16 = -2*a - o*t - 0*t. Solve z*v + a = -v for v.
-2
Let m = -5 - -13. Let x be (-7)/(-2) - 4/m. Suppose -6*p + 3*p = -60. Solve p = x*y + y for y.
5
Suppose -4*q + 4 = -4*n, 4*q + 0*q - 3*n - 1 = 0. Let f be (-39)/(-4) + q/(-8). Solve -10 = 4*m + f for m.
-5
Let h = 19 + -14. Solve 2*x - 5 = h for x.
5
Let d = 2 - 0. Solve -d = 4*s - 18 for s.
4
Let v(x) be the third derivative of -1/6*x**3 + 0*x**4 + 0 - x**2 + 0*x + 1/15*x**5. Let y be v(2). Solve 7*g - 2*g - y = 0 for g.
3
Suppose -3*c + 5*j = -14, 4*j + 1 = -c + 17. Solve -2 + c = 2*r for r.
3
Let g(a) = a**2 + 12*a - 14. Let z be g(-11). Let m = -13 - z. Solve -3*n - n = m for n.
-3
Let n = -2 + 5. Suppose n*x - 3 = 72. Solve 0 = 2*a + 3*a - x for a.
5
Suppose 0 = 2*o - 35 + 31. Solve 8 - 4 = -o*y for y.
-2
Suppose 5*p + 2 = -3*b - 1, b + 11 = -5*p. Solve -4*k = -b + 20 for k.
-4
Suppose -4*y + 0*s - 3*s + 21 = 0, -2*s - 9 = -5*y. Solve 6 = -y*b + b for b.
-3
Let r = -8 + 10. Solve -4*j - r = 10 for j.
-3
Let r(o) = -3 - o - 4 + 2*o. Let m be r(9). Solve 0*u = -m*u + 4 for u.
2
Suppose 2*f - 15 = -3*t, 0 = 2*t - 2*f - 1 - 9. Suppose -9 = 2*v - t*v. Solve -c + v = -0 for c.
3
Suppose -2*f = 3*f - 45. Solve -f = 4*y - y for y.
-3
Let n(d) = d**3 + 3*d**2 + d. Let k be n(-2). Solve k - 5 = p for p.
-3
Let o be (-44)/(-12) + 4/(-6). Suppose 0 = -w + 5*v + 5, -o*w + 0*v + 15 = 2*v. Suppose 0 = w*z + 2 - 77. Solve 4*a = 35 - z for a.
5
Suppose -2*m + 3 = -1. Suppose 0 = -3*p + 2*p + m. Solve 12 = p*a + 2*a for a.
3
Let i = 0 - -3. Let r(v) be the first derivative of v**4/4 - 4*v**3/3 + 3*v**2/2 + 2*v + 1. Let p be r(i). Solve p*f - 12 = -f for f.
4
Let x(m) = -m - 4. Suppose 4*b + 13 = 1. Let n be x(b). Let s be n*(-1)/(-2)*-8. Solve 0*j - j = -s for j.
4
Suppose 17 = r + 3*u, 4*r - 20 = 2*u + 2*u. Let m = r - 7. Solve 4*p - m = 3 for p.
1
Let z(v) = 2*v - 7. Let d be z(5). Suppose d*p + 3*h = -0*h, -p = -4*h. Solve -4*o - 8 - 4 = p for o.
-3
Suppose 2*g - 4*s = 16, 4*s = 6*g - 8*g + 24. Solve -p = -3*p - g for p.
-5
Let z(g) = -g**3 - 3*g**2 + 4*g - 5. Suppose -3*a = -4*f - 14, -2*f - 2*a - 16 = a. Let k be z(f). Solve -9 = -4*l - k for l.
-4
Let h = -6 - -4. Let i be -5*(-3 - h) + -2. Suppose d - 2 = 0, -2*b - 2*d = 3*d - 20. Solve -2*u = -i*u - b for u.
-5
Let x = 1 + -1. Let a be (-1)/(-2)*(15 + 3). Let w(b) = -b + 11. Let s be w(a). Solve x = -0*i + s*i for i.
0
Let v(l) = -l**3 + 7*l**2 + 7*l + 8. Let k be v(8). Solve f + k*f = -4 for f.
-4
Let b be 9/2 - (-1)/(-2). Let m be (72/(-120))/(3/(-20)). Let r = -1 + 1. Solve r = m*s - b for s.
1
Let s(p) = -4*p + 17. Let x be s(3). Solve -6 = x*z + 4 for z.
-2
Let j be 54/(-15)*((-20)/(-3))/(-4). Solve 0 = -j*c + 10 + 14 for c.
4
Let i = 7 - 3. Suppose 0 = -0*b - i*b + 12. Solve -n - b*n = 0 for n.
0
Suppose 5*q - 14 = -4*p, -5*p + 7 = q - 0*q. Let a = p - -2. Let k be 4 - (-1)/((-1)/(-2)). Solve -n - k = -a*n for n.
3
Suppose 3*u = -0*u + 15. Suppose -u*b = -6*b. Solve -i = 2 - b for i.
-2
Let v = 4 - 1. Solve h - v*h + 4 = 0 for h.
2
Let c(q) = 2*q**2 + 12*q + 4. Let g be c(-6). Solve y + 0 - g = 0 for y.
4
Suppose 4*s - 5*v = 5, 2*s + 4*v + 1 = 3*v. Suppose s = 6*k - 3*k - 3. Suppose 5*m = 2*l - l + 5, 0 = m + 3*l - k. Solve 4*h + 3 + m = 0 for h.
-1
Let t = 8 - 4. Suppose -4*h + 20 = -t. Solve 2*p - h = -16 for p.
-5
Suppose -4*k = 2*p - 2, 2*p + 0*p - 4 = -2*k. Solve c - p = -0 for c.
3
Let o be (-5 - (-6 + 2))/((-3)/39). Solve 0 = 5*p - o - 7 for p.
4
Suppose 3*t - 89 = -4*p, -100 = -5*t + 3*p + 58. Solve -6 = 5*r - t for r.
5
Suppose -4*s = s - 160. Suppose 5*h - s = h. Let y be 20/h*(-2 + 4). Solve -y*l + 16 = -4 for l.
4
Suppose 0 = 3*d - 15 + 3. Solve -d*a = -0 - 12 for a.
3
Let n(b) = -1. Let q(i) = -i**2 + 7*i + 4. Let r(d) = 2*n(d) + q(d). Let x be r(7). Suppose -4*s = -3*u - x*u + 5, 2*s = -u + 1. Solve 5*v + 14 = -u for v.
-3
Suppose -2*s - 2*s - 16 = 0. Let g be s/(-2)*3/6. Let c be g/2*(-200)/(-4). Solve k - 6*k + c = 0 for k.
5
Suppose -2 = 2*w - 4*u, -2*w - 3*u + 4 + 8 = 0. Solve 0 = 5*d - w*d - 2 for d.
1
Let j be (-114)/(-15) + 3/(-5). Suppose 4*n = -4*t - 12, -3*n + 12 = 5*t - j*n. Solve t = 2*c - 4*c + 4 for c.
2
Let g be (-3)/(-6)*(-8)/(-2). Suppose -8 = -3*d - d. Let t be -1*(8 - d)/(-1). Solve t*r = g*r + 8 for r.
2
Let 