 -6 = 3*k - m for k.
-2
Let a(l) = -l**2 - 9*l - 8. Let t = -4 - -1. Let r be 3/(-9) + 23/t. Let n be a(r). Solve n = -m + 2*m + 5 for m.
-5
Suppose 2*q = 3*u - 38, u + q - 8 = -3*q. Let y be u/7 - 4/(-14). Solve v - 2 = y for v.
4
Let q(k) = k - 1. Let x be q(6). Let y be 6/45*x*3. Solve y - 8 = 2*b for b.
-3
Let c be 14/8 + 3/12. Let g = -41 - -29. Let p = 15 + g. Solve -p*j + 3 = -c*j for j.
3
Let d = -1 + 3. Solve -d*a = -a for a.
0
Let s = 8 + -11. Let t be s*(-2)/6*2. Solve 3*v = -5 + t for v.
-1
Let p be -2 - (-27 + 4 + 0). Solve -p + 5 = 4*c for c.
-4
Let y be 2 - -2 - (-12)/4*3. Let j(a) = a + 6. Let r be j(6). Let v be 0 + -1 + r/2. Solve -v*q + 12 = -y for q.
5
Suppose 0 = 5*g - 4*z - 25 - 5, -16 = -3*g + 2*z. Suppose -d - g = -3. Solve 5*i = 21 - d for i.
4
Let x = -14 + 14. Suppose 3 - 5 = -2*y + r, -4*y - 2*r = 4. Let p = y - x. Solve h + 2 - 4 = p for h.
2
Suppose -4*d - 4*s = -24, -5*s + 15 + 12 = 4*d. Let q be -1 + (0 + d - 0). Solve 2 = -0*n - q*n for n.
-1
Let n(y) = y - 13. Let z be n(11). Let j be (18/z)/(-3)*5. Solve 6*i - i + j = 0 for i.
-3
Let y be (1 + 5 - 2) + 5. Solve 0*x = 3*x - y for x.
3
Let o = 74 + -54. Solve 7*q = 2*q + o for q.
4
Let a be 92/22 + 14/(-77). Suppose 2*n + 27 = -c + 2*c, a*n = 5*c - 117. Suppose 0 = 2*z + 2*o - 18, 0*z + o = 2*z - c. Solve 3*f = f - z for f.
-5
Let t(d) = -d + 10. Let b be t(8). Suppose -b*c + 0 = -4. Solve c*a - 3 = -13 for a.
-5
Let b = 49 + -34. Suppose -5*w = b, 3*w = -2*f - 0*w - 3. Solve 3*j + 0*j + f = 0 for j.
-1
Suppose 0*a = 3*a + 9. Let l be ((-2)/a)/((-6)/(-27)). Solve 0 = -l*b - 8 + 2 for b.
-2
Let a be 12/(-10)*(-15)/6. Let r = 7 - a. Solve -r*z + 7 = -9 for z.
4
Let g = -16 + 14. Let p be (3 + 2)*g/(-2). Solve -2*o = -o - p for o.
5
Suppose f = 2*f + 3. Let i be f/6*-4 - -2. Suppose -6*h + 10 = -i*h. Solve 0 = 3*s + h - 17 for s.
4
Let z = -8 - -13. Suppose -z = -f - 0. Let j = 11 - 5. Solve 0 = -f*n + 2*n - j for n.
-2
Let b(o) = o. Let s be b(8). Let g = s - 5. Solve -g*v + 7 = 16 for v.
-3
Let k = -1 + 25. Suppose 5*l = l + k. Let m = l + -5. Solve -14 = -3*x + m for x.
5
Suppose -4*r + 4 = 0, 2*b + 3*b + 2*r = 12. Let y = b - -3. Solve 2*l - y*l + 6 = 0 for l.
2
Suppose -a + 30 = 5*i, -7*i = -6*i - 4*a + 15. Solve 0 = v + 4*v - i for v.
1
Suppose 4*y + 21 = 5*j + y, -5*y + 5 = 5*j. Solve -j*b = 2*b + 10 for b.
-2
Suppose -6*t = -2*t - 4*o - 4, 4*t + 3*o - 32 = 0. Suppose 15 = 2*n + t*y, -2*y - y + 9 = 3*n. Solve n = f - 0*f + 5 for f.
-5
Let g be 2 + 0 + 36/6. Let o = g + -1. Solve 1 + o = -4*h for h.
-2
Let y be (-10)/(-3)*(-6)/(-5). Suppose y*w - 17 + 5 = 0. Suppose -v + 6 = w. Solve 0 = -2*p + 7 + v for p.
5
Let y = -47 + 49. Solve -t = t + y for t.
-1
Suppose 10 - 2 = 4*r. Suppose 3*c = -v, -4*c = -9*c - r*v. Suppose 4*n + 2*g - 4 = c, 0*g - 20 = -5*n + 5*g. Solve 4 = -2*b + n for b.
-1
Let s(k) be the second derivative of k**5/20 + k**4/2 + k**2/2 + k. Let z = -15 + 9. Let a be s(z). Solve a = -j - 2 for j.
-3
Suppose -3*f + w + 52 = 0, -2*w + 111 = 5*f + 6. Let d = f + -17. Solve -8 = 2*x - d for x.
-3
Suppose -7*x = -6*x - 15. Let f be (-9)/(-15) - (-366)/x. Solve 0 = -5*m - 0*m + f for m.
5
Let x be 2 - (1 + 1 + 16). Let a = x + 22. Solve 4*v = a + 14 for v.
5
Let y(d) = -d**2 + 3*d + 4. Let r be y(5). Let p = r + 9. Solve -i + p = -0*i for i.
3
Let s(x) = 2*x**2 + 10 - x**2 - 5. Let w(q) = q - 9. Let k be w(9). Let r be s(k). Solve z = r*z for z.
0
Suppose 0 = 4*f + 3*v - 29, 3*f - 13 = -v + 5. Suppose 18 = f*l + 3. Solve -d = l*d + 20 for d.
-5
Let g(d) = -d + 1. Let b(l) = l - 12. Let w(j) = -b(j) - 2*g(j). Let r be w(-8). Solve 4*y - r = 2*y for y.
1
Suppose 40 - 6 = 2*v. Solve -v = 4*n + 3 for n.
-5
Let c(o) = -o**3 + 12*o**2 - o + 17. Let z be c(12). Let y be -1 + -2 + 2 + z. Solve 0 = -2*i - y - 6 for i.
-5
Let m = 76 + -70. Solve -z = m - 2 for z.
-4
Let c(m) = m + 17. Let q be c(-17). Solve q = -0*s - 2*s for s.
0
Let c = 44 + -42. Solve 5*q + 3 + c = 0 for q.
-1
Let q(s) = -3*s - 1. Suppose -13 = 3*u - 5*z - 0, 4*u - 4*z = -12. Let p be q(u). Solve -2*b - p*b - 12 = 0 for b.
-3
Let p(k) be the second derivative of k**5/30 + k**3/6 - k**2/2 - k. Let b(c) be the first derivative of p(c). Let d be b(1). Solve -5*a + 7 = -d for a.
2
Suppose -145 - 55 = -8*g. Solve 7*i - g = 2*i for i.
5
Suppose 4*z - 18 = -2*f + 2, 4*f - 28 = -5*z. Let d be 2*(-4)/(-16)*f. Solve 0 = 4*y - 13 + d for y.
3
Let v = 4 - 2. Solve 5*u - 15 = v*u for u.
5
Let a be (-3)/(-6)*(11 + -1). Let u = 9 - a. Let n = -3 + u. Solve n = -3*r + 4 for r.
1
Let l = 2 + -2. Solve l - 3 = 3*j for j.
-1
Let j be 5*2*4/8. Let a = -117 - -121. Solve s - j*s - a = 0 for s.
-1
Let m = -12 - -6. Let k = m + 9. Suppose -k*t - 4*n + 24 = 0, 4*t = 3*n + 47 - 15. Solve -p = 3*p + t for p.
-2
Let t = 42 + -30. Let u(i) be the first derivative of -i**3/3 - 9*i**2/2 - 4*i - 2. Let f be u(-8). Solve 0*c - f*c = -t for c.
3
Let h be 48/26 - 20/(-130). Solve -x + h = -2*x for x.
-2
Let c = 4 - 6. Let k be c/(-5) - 4/10. Solve -h - 1 = -k for h.
-1
Suppose 3*h = 4*t + 16, -2*h + 3*t = -2 - 9. Suppose h*y + 3*v = 39, -7 - 16 = -3*y - v. Let w = -10 + 10. Solve 5*d + y - 16 = w for d.
2
Suppose -t = -3*a + 2*t + 24, 0 = 4*a + 5*t - 50. Let w = a + -6. Let l = w + 16. Solve 3*j + l = -j for j.
-5
Let n(s) = -7*s**3 + 5*s**2 - 2*s + 3. Let o(x) = 3*x**3 - 2*x**2 + x - 1. Let w(b) = -4*n(b) - 9*o(b). Let y be w(3). Solve m - y + 0 = 0 for m.
3
Let p(k) = -2*k - 8. Let j be p(-6). Let u = 6 - j. Solve -u*m + 3 = -1 for m.
2
Suppose t + 4*l - 12 = -0*t, -3*t + 36 = -5*l. Solve -q + 4*q - t = 0 for q.
4
Suppose -8 = 3*b - 2*z, b = 2*b + 3*z - 12. Solve b*a - 2 = -a for a.
2
Let w(k) = -k**2 - 8*k - 5. Let l be w(-7). Solve 6*j - l*j = -4 for j.
-1
Let o = -38 - -38. Solve -u + o*u - 5 = 0 for u.
-5
Let n(z) = z**3 + 3*z**2 - 3*z + 5. Let i be n(-4). Let a = 8 - 6. Suppose -2*s + 16 = 3*o - o, 4*o - 34 = -2*s. Solve -a*y + o = -i for y.
5
Let x = -17 + 18. Solve 3*n + x - 16 = 0 for n.
5
Let q(t) = t**2 + 7*t - 13. Let z be q(-9). Suppose p = -3*h - 0 - 5, 4*p - z*h = 48. Solve 13 = -5*g - p for g.
-4
Suppose 0 = l - 3*l. Solve l = -2*c + 6*c for c.
0
Let s(u) = 10*u - 3. Let z(k) = 7*k - 2. Let m(f) = -5*s(f) + 7*z(f). Let i be m(1). Solve i = -0*l + 2*l - 2 for l.
1
Suppose -6*f + 3*f - 6 = -2*s, -4*f - 22 = -5*s. Suppose 0 = -y + s*y - 20. Solve 0 = 2*w - 3*w - y for w.
-4
Suppose -6*y + 11*y = 10. Solve 0 = -y*m + 3*m - 2 for m.
2
Let t be 63/(-14)*4/(-3). Suppose -v + t = -7. Solve 3*p = -2 - v for p.
-5
Let r be 6*(-2)/(-16)*20. Solve -4*y + r = -y for y.
5
Let w(i) = 2*i**2 + 6. Let h(d) = d**2 + 3. Let a(s) = 7*h(s) - 3*w(s). Let u be a(0). Solve 0*z - 12 = u*z for z.
-4
Suppose f + 6 = -2*f. Let k be (-3 + 3)/f + 2. Solve k - 6 = g for g.
-4
Let l(b) = b**2 - 6. Let y be l(0). Let o(m) be the first derivative of m**4/4 + 7*m**3/3 + 3*m**2 - 4. Let k be o(y). Solve 5*g + 3 + 22 = k for g.
-5
Let j = 7 + -10. Let t(q) = -q**3 - 4*q**2 + 6*q + 4. Let m be t(-5). Let l be (3/j - m)/2. Solve -p + 6 - 5 = l for p.
1
Let m(a) = -3*a**3 - 2*a**2 - 9*a - 6. Let u(r) = -4*r**3 - r**2 - 10*r - 5. Let p(g) = 5*m(g) - 4*u(g). Let l be p(7). Let k = 3 + 2. Solve n = k*n - l for n.
1
Suppose 3*m + 19 - 25 = 0. Solve -5*u + 8 = -m for u.
2
Let d = -1 + 1. Suppose -w + 1 = -d. Suppose 2*h = 1 + w. Solve -h = -y - 2 for y.
-1
Let i = 32 + -10. Suppose 50 = 5*k + n, -4*k + n + 34 = 3*n. Let a be 106/i - (-2)/k. Solve 3*t + 4 = -a for t.
-3
Suppose 0 = 9*z - 11*z + 4. Solve 0 = -z*v + 6 - 0 for v.
3
Suppose t - 4*l = l + 21, 0 = -3*l - 12. Suppose 3*s - 8 = t. Solve s*h - 10 = -1 for h.
3
Suppose 6 = -5*n + 8*n. Solve 2*x + n*x = -20 for x.
-5
Let b(m) = 4*m**2 + 2*m - 8. Let u be b(3). Let s = u + -32. Let w be 0 - (1 + (-2 - -1)). Solve w = -h - s*h for h.
0
Let i(b) = -2*b - 8. Let y be i(-6). Suppose -8 = -0*m - y*m. Solve 3*z - 4 = m*z for z.
4
Let a = 18 + -14. Suppose -2*b + b + a = 0. Solve -b*q + 1 = 5 for q.
-1
Let u(t) be the third derivative of -t**4/24 + 7*t**3/6 - 3*t**2. Let g be u(7). Suppose -5*a + 14 + 16 = g. Solve a*w - 4*w = -8 for w.
-4
Let w be 3/(-9) + 8/(-3). Let t be 3/(-2)*4/w. Solve m - t*m = -5 for m.
5
Let w(b) = -2*b - 7. Let t be w(-6). Let k = t + 11. Let v be (-8)/k - 98/(-4). Solve 8