-u = -4*k + 8*k for k.
-4
Let r = -2 + 2. Suppose -k = k. Suppose 2*l - 10 = -l - 2*w, -2*w - 2 = k. Solve r*u - l*u + 16 = 0 for u.
4
Let r(o) = -o - 4. Let v be r(-4). Suppose 8 = -v*i + 2*i. Let d = 1 - 1. Solve -12 = -d*f + i*f for f.
-3
Let u be 1 - (1 - 4)/3. Suppose -f = -u*f. Suppose -2*s = 3*s - 10. Solve s*m + 2*m - 16 = f for m.
4
Suppose 5*m + 4 = -16, -20 = -3*d + 2*m. Solve -7 + d = -3*x for x.
1
Let u be 4/(-8) - 1/(-2). Suppose 10 = 2*j - b, u = 2*b - b - 4. Solve -j + 1 = -3*l for l.
2
Let y be -2 - (-1 + 1)/1. Let z = 1 + y. Let q = 2 - z. Solve q = 2*s - 5*s for s.
-1
Suppose 2*p = 5 + 3. Suppose 3*o + 19 = i + i, 4*i = -5*o - 61. Let c(t) = -t**3 - 8*t**2 + 8*t - 7. Let y be c(o). Solve y*x = p*x for x.
0
Suppose 2*i = 2*i - 5*i. Solve -3*a - a + 8 = i for a.
2
Let z(k) = -k**2 - 5*k + 3. Let w(l) = l**2 - 2*l - 1. Let p be w(5). Suppose -i + 4 = -v, -2*v - 3*i - p = -1. Let n be z(v). Solve n*o = 2*o for o.
0
Suppose 6 + 0 = 3*c. Suppose 3*s - 28 = g, c*s - s - g = 8. Suppose 5*u = -0 + 30. Solve v - s = u*v for v.
-2
Let g(f) = 4*f. Let q be g(1). Suppose 4*u + 3*b - 1 = 0, 2*b = -4*u - 2*b - q. Suppose 3*r = -2*r + 15. Solve r*c - u = 2*c for c.
4
Let j = 13 - 5. Let l(r) = -r**2 + 8*r. Let x be l(j). Suppose 2*a - 10 = b, 0 = -b - 2*a + 4 + 6. Solve -k + 3 + x = b for k.
3
Suppose 4*z + 22 = -0*k + 2*k, 4*k + 5*z = -21. Let i be 6*1 - 2/2. Suppose 0 = 3*u - 4 - 2. Solve -k = u*f - i for f.
2
Let m = 6 + -14. Let f(b) = b**2 + 8*b + 5. Let q be f(m). Suppose 4*v = q + 15. Solve v*i - i = -8 for i.
-2
Let a = -10 - -13. Suppose -3*l - 2*q + 2 = 0, 0 = 2*l + a*l - 5*q + 5. Solve l = -2*x + 7*x + 5 for x.
-1
Let i be (-11)/(-2) + 10/(-20). Suppose 5*w + 2*p = 4 - 0, 4*p = -2*w + 8. Solve b = -w*b - i for b.
-5
Let t = 5 - 8. Let i = 2 - t. Solve 0*b = i*b - 10 for b.
2
Let s(h) be the third derivative of h**5/60 - h**4/12 - h**2. Let t be s(2). Suppose -9 = 2*z - 25. Solve t = 2*y + 2*y - z for y.
2
Suppose -25 = 5*s, s = 3*r - 4*s + 98. Let w = r - -61. Solve -4*m - w = m for m.
-4
Let r be -4 + 5/((-25)/(-45)). Solve 0 = r*v - 0*v - 15 for v.
3
Let r(i) be the first derivative of -i**2/2 + 4*i - 2. Let d be r(0). Let n = d - 1. Solve 0 = n*c - 6 for c.
2
Let z = 5 - -1. Solve -6 = 4*m - z*m for m.
3
Let r be 3/(-9) - -1 - (-32)/(-48). Let h be (-6)/(-4) - 1/(-2). Solve r = h*l + l for l.
0
Let x(t) = t**2 - 2*t + 5. Let f be x(5). Let y(b) = b**2 - 2*b - 1. Let j be y(3). Suppose 3*p - 8 + 1 = -j*i, i + 13 = 4*p. Solve 0 = -v - p*v + f for v.
5
Let q be 6 + (1 + 0)/(-1). Suppose -c + q = 3*o, -4 = o + 3*o. Let d be (-2)/4 - (-44)/c. Solve d*z + 10 = 3*z for z.
-5
Let o be 2*2/((-4)/(-14)). Suppose o - 6 = 4*t. Solve -2*p + 2 = -t for p.
2
Suppose i - 3*i + 2*a + 32 = 0, 0 = -2*i + a + 28. Suppose -3*p + i = p. Let o be 8 - (4 + -2) - 2. Solve -r = -p*r - o for r.
-2
Let r(h) be the first derivative of h**3/3 - 2*h**2 - h + 5. Let o be r(7). Solve 2*l - o = 7*l for l.
-4
Suppose -9 - 21 = -2*t. Let z(n) = -n**2 + 5. Let j be z(0). Let f = t - j. Solve -3*s - f = -1 for s.
-3
Let v be 35/25 - 6/(-10). Solve v*t + 0 = -2 for t.
-1
Let n(t) = t + 3. Let c be n(-5). Let s be 310/(-15) - c/3. Let w be (16/s)/((-4)/10). Solve -w*k = -k for k.
0
Let k = 166 - 161. Solve 6 = -k*y - 9 for y.
-3
Let r(n) = n**3 - 6*n**2 + 6*n - 2. Let m be (-15)/2*4/(-6). Let p be r(m). Solve p*v = 5 + 4 for v.
3
Suppose 3 = 5*a - 52. Let i(m) = m**2 - 9*m + 6. Let s be i(a). Solve 5*w = -s + 3 for w.
-5
Suppose 0*h + h = 3. Suppose 0 = 3*i - h - 3. Suppose 2 = i*f - f. Solve -f*l + 3 = -l for l.
3
Let f(c) = -c + 5. Let k = 1 + 4. Let g be f(k). Suppose g = 5*t - 3*h, -3*h = -t + 2*h - 22. Solve -t*b = -7*b - 12 for b.
-3
Let g(f) = 4*f + 1. Let s be g(0). Solve 2*v - 1 = s for v.
1
Suppose -5*h = -3*c + 34, 0*h + 7 = -2*h - c. Let r = h - -9. Solve -3 = -r*x + 17 for x.
5
Suppose 0 = 38*x - 34*x - 32. Solve -12*i = -x*i + 12 for i.
-3
Let m(r) = 6*r - 4*r - 7*r. Let a be m(-1). Solve 2*b - a = -1 for b.
2
Let b(o) be the first derivative of o**3/3 - 7*o**2/2 + o - 2. Let n be b(7). Let i be (1 - -3) + 0/n. Solve -4 = -i*t - 0*t for t.
1
Let l = -25 - -14. Let r = 22 + l. Solve -5*d + r = -9 for d.
4
Suppose 16 - 18 = -2*v. Solve -w - v + 0 = 0 for w.
-1
Suppose 0 = -a - 1 + 6. Suppose -a = 3*r + 4. Let u = 3 + r. Solve u = -4*l - l for l.
0
Let r be 30/(-4)*28/(-35) + -3. Solve r*g - 1 - 2 = 0 for g.
1
Suppose 5*w - 40 - 64 = -x, 4*x = 16. Suppose -3*r - 2*r = -w. Solve r*c - c = 9 for c.
3
Suppose -4*z + 32 = 2*k, 0 = 2*k + 2*z - 3 - 21. Let f = 14 - k. Solve -4*t + f = -t for t.
2
Let r(b) = b**2 - 7*b + 1. Let g be r(7). Suppose 2 = 3*k - g. Solve 2 = f - k for f.
3
Suppose -4*z = -3*l + 3, z + l + 1 = 2. Suppose -3*p + 4 = -3*w - 8, 3*w + 3 = z. Solve -p = 5*j + 17 for j.
-4
Let g(x) be the third derivative of x**5/60 + x**4/12 + x**3/6 + x**2. Let b be g(-1). Let r be (-22)/(-5) - (-4)/(-10). Solve -4*k + r + 8 = b for k.
3
Suppose -5*r = -22 - 3. Solve 0*p = -r*p for p.
0
Suppose -2*d + 8 = i, -i - 4*d + 9 = -3. Solve -i*n = -n - 15 for n.
5
Suppose -2*f = -6*f + 8. Solve -f*v + 0*v = -4 for v.
2
Let s(l) = -l + 5. Let a be s(5). Suppose -6*i + i + 20 = a. Solve i*n = 14 - 2 for n.
3
Let g = 15 + -7. Suppose -3 = 7*l - g*l. Solve l*a - a + 8 = 0 for a.
-4
Suppose 33 = -2*v - 19. Let n = -18 - v. Solve n*w = 4*w - 16 for w.
-4
Suppose 5*t = 3*s + 25, -2*t = 3*t - s - 15. Solve 4 = -2*f - t for f.
-3
Suppose 12 = -4*t + 76. Let z = t + -10. Solve -3*n + n + z = 0 for n.
3
Suppose 4*b - 8 = -0*b + 2*h, -b - 4*h = -2. Solve b*y - 3 = 3*y for y.
-3
Let z = -3 - -7. Let a = 1 - 1. Suppose -14*i + 19*i - 15 = 0. Solve -z*r - 5 - i = a for r.
-2
Suppose -4*q + 13 = s, -3*s + 23 = 2*q - 8*s. Solve n = -q*n for n.
0
Let t(s) = -s**3 - 6*s**2 - 7*s - 7. Let z(c) = -c**2 + c + 1. Let q be z(3). Let w be t(q). Solve -w*p - 16 = p for p.
-4
Let y(k) = k - 6. Let i be y(9). Solve 8 = h + i*h for h.
2
Let p(z) = z**3 - 2*z**2 + 3*z - 3. Let w be p(3). Let m(a) = -a**3 + 2. Suppose 6 = -g + 4. Let d be m(g). Solve d*j + w = 5*j for j.
-3
Suppose 0 = -2*x + 6*x - 156. Suppose 5*v + 3*g - 74 = 5*g, 3*v - 3*g = x. Solve 5*m + 1 = v for m.
3
Let v be (-12)/(-42) - 382/14. Let a = 32 + v. Solve h = -4*h - a for h.
-1
Let m be -37 + (-3 - (-6)/3). Let f = m + 54. Solve 2*c + 2*c - f = 0 for c.
4
Let a = 0 - -2. Let y be (-1 + a)*(3 - 1). Solve 7 - y = 5*p for p.
1
Let u be (3 - 2)/(11/22). Solve 0 = u*o + 6 - 14 for o.
4
Suppose -18 - 52 = -7*s. Solve y + 4*y = s for y.
2
Let x(u) = -7*u**3 + 17*u**2 - 11*u + 13. Let r(b) = b**3 - b**2. Suppose 1 = -k + 2. Let v(j) = k*x(j) + 6*r(j). Let l be v(10). Solve -l*m = -6 + 21 for m.
-5
Let w = -4 - -6. Let p(q) = -w*q - 9 + 5 - 6. Let h be p(-8). Solve 0*o = -2*o - h for o.
-3
Suppose 2*z + 2*z - 16 = 0. Let x(t) = t**3 + 25*t**2 + 3*t + 77. Let m be x(-25). Solve -p = -m*p - z for p.
-4
Let z = 41 + -36. Solve z*j - 4 = j for j.
1
Let u(c) = -6*c - 16. Let d(q) = -5*q - 16. Let b(m) = -7*d(m) + 6*u(m). Let w be b(10). Solve 2*n - 4*n = -w for n.
3
Let m be (-2)/(1 - 0) + 3. Suppose 0 = 4*g + 4*o + 4, 4*g + m = -5*o - 8. Solve q = -g*q for q.
0
Let b = 14 - 11. Solve -b*y + 3 = -6*y for y.
-1
Let q = 15 - 13. Suppose -w = -3*w + 6. Solve q - w = r for r.
-1
Suppose -x - 4*a + 11 = -a, -4*x = 5*a - 30. Let r(v) = -v + 4. Let q be r(0). Suppose 1 + 4 = -x*l - q*z, -l - z = 2. Solve -l*k + 5 + 4 = 0 for k.
3
Let t(n) = -2*n**2 - 15*n - 5. Let y be t(-7). Solve s = -y*s for s.
0
Let c(p) = -p + 7. Let y(h) = -2*h + 15. Let b(z) = -7*c(z) + 3*y(z). Let g be b(7). Let i be (g/((-6)/(-8)))/2. Solve i*k + k + 3 = 0 for k.
-1
Suppose 5 = 2*t - 4*l + 1, 3*l = 0. Solve -t*k - 6 = -4 for k.
-1
Let z be -2*(1105/(-90) + 6/(-27)). Solve 0 = -3*q + 8*q - z for q.
5
Suppose 5*i = 3*d + 56, 3*i + 4*d = 4*i - 18. Solve -3*a = -8*a + i for a.
2
Suppose 5*g = -4*c + 6, -c + 5*g = -15 + 1. Let r = -3 + c. Suppose -d - r = -3. Solve -d*m - 5 = -m for m.
-5
Let l(v) = -v - 8. Let t be l(-9). Let o = 5 - t. Suppose -5*a = 5*b - 60, -4*b = a - 35 - 13. Solve b + 8 = -o*m for m.
-5
Suppose -2 + 17 = 5*l. Solve p = l*p - 6 for p.
3
Let r = -26 - -58. Suppose 2*t = 2*g + 32, -4*t + 0*t = 4*g - r. Let s be 4/t - (-88)/6. Solve -5*j + 5 = -s fo