-4*h, -12 = -2*h + 2*k. Suppose 0 = -f - 3*y + 11, -2*f + h*y = 3*f - 1. Solve 0 = 3*u + f*u for u.
0
Let a(t) = t**3 - t - 2. Let j be a(2). Suppose -4*d = j - 28. Solve u + 4 = d for u.
2
Suppose -2*p + p = 3*m - 5, p - 2 = 0. Solve m = 3*h - 8 for h.
3
Let x be ((-6)/7)/(15/(-70)). Suppose -x*l = l - 20. Solve 15 = -g - l*g for g.
-3
Let i = 66 - 66. Solve -4*v = -i*v for v.
0
Let d(o) = -3*o**3 + o**2. Let r be d(-1). Suppose 34 = r*m - b - 21, -5*m + 70 = -b. Solve -2*f - f = m for f.
-5
Suppose 1 = 4*x - 23. Suppose 0 = -x*a + 4*a. Solve -1 = t - a for t.
-1
Let k(h) = 3 + 3 + 6*h - 7. Let v be k(1). Solve 0*y + y - v = 0 for y.
5
Let b = -58 + 88. Suppose 0 = 4*q + q - b. Let c = 8 - q. Solve -c = -m + 2 for m.
4
Suppose -3*m = 2*a + 4, 4*m - 2*a = -0*a + 4. Suppose 3 = -2*g + 9. Suppose g*z + 2*x + 2*x - 1 = m, 22 = 4*z - 5*x. Solve z*f - f - 6 = 0 for f.
3
Let w = 1 + 2. Suppose 2*r - v - 4 = 0, -1 - 3 = v. Solve -4*y + w*y - 5 = r for y.
-5
Suppose 4*f = 2*f + 2. Let w = 4 + f. Suppose 3*g + 16 = 7*g. Solve w*i - g = 1 for i.
1
Let f(i) = -i**2 - 1 - 5 + 4*i + 3. Let q(p) = p + 7. Let n be q(-5). Let z be f(n). Solve 3*k - 2*k = z for k.
1
Suppose z + 3*d - 5 = 1, 24 = 4*z - 5*d. Let h be 4/6 + 2/z. Let p = -1 + h. Solve p = v - 5*v for v.
0
Let j(u) be the third derivative of u**5/60 - u**4/8 + u**3/3 - 4*u**2. Let g be j(3). Solve -3*q - g*q = 0 for q.
0
Let i(v) = -v**3 + 7*v**2 - 5*v - 6. Let q = 1 + 5. Let j be i(q). Solve 15 = 3*r - j*r for r.
5
Let t(c) = -c + 8. Let o be t(8). Let w = 18 - -2. Suppose -y + w = -o*y. Solve -j = 4*j - y for j.
4
Let g(p) = -p - 5. Let q be g(-8). Suppose -q*n + 4 = -2. Solve y - n = 2*y for y.
-2
Let f = -6 + 6. Solve -4 = d - f for d.
-4
Suppose 27*g - 29*g = 0. Solve g = -4*k + k + 12 for k.
4
Suppose -2*t + 8 = 4*a - 0, 3*t = 5*a + 1. Suppose -t*c = r - c - 5, 0 = -5*r + c + 43. Solve 4*o + 0 = -r for o.
-2
Suppose 4*w = -10 + 2. Let s = w - -7. Solve -2*l - 15 = -s for l.
-5
Suppose -4*t - 4*x - 8 = 0, -t = 4*t - 5*x - 10. Let w(b) = 4*b - 5. Let g be w(2). Solve -15 = -t*u - g*u for u.
5
Suppose -5*d = -3*y + 11 + 9, 2*y + 2*d - 8 = 0. Solve 0 = y*t - 16 + 6 for t.
2
Suppose 3*n - 40 = -2*n. Suppose -2*x - 5*z = -3*x + 10, 4*z + n = x. Solve x*d = -d + 5 for d.
5
Let w(v) be the first derivative of -v**4/4 + 8*v**3/3 - 4*v**2 + 10*v - 2. Let i be w(7). Suppose y - i*y = -4. Solve -3 - 5 = y*t for t.
-4
Let k = -1 + 4. Suppose 4*j = 2*f + f + 11, 4*f = -k*j + 27. Solve 0*r = -f*r - 6 for r.
-2
Let x be (-6 + 5)*(-1)/(-1). Let i = x + 3. Solve 2*n = -i - 2 for n.
-2
Let z = -179 + 184. Solve -a + z = 1 for a.
4
Let f be 6*2*21/(-12). Let z = 3 - f. Let h = z - 16. Solve -3*p + h*p = 0 for p.
0
Let d(c) be the third derivative of c**5/60 + 3*c**4/8 + 8*c**3/3 + 4*c**2. Let i be d(-11). Solve 5*p - 13 + i = 0 for p.
-5
Suppose -5*p - 6 = 4*c, 4*p + 9 = -2*c + 3. Let g be (-4 - p)*21/(-6). Solve 2*d - 5 = g*d for d.
-1
Suppose -3*h = m - 27, -4 = -2*h + h - 2*m. Suppose j = f - 8, j = -6*f + f + h. Suppose 0*r = -f*r + 45. Solve -k = -4*k - r for k.
-5
Suppose 0 = -0*d - 3*d. Suppose d = i - 0*i - 9. Solve 0 = 2*x - 3 + i for x.
-3
Let m = -1 - -4. Let n be (m - 1) + 6 + -5. Suppose 3*k + n = -3*v, -3*v = 3*k - 5*v - 17. Solve -k = 5*w - 28 for w.
5
Let n(m) = m**3 - 14*m**2 - m + 18. Let v be n(14). Let s(f) = 4*f. Let t(l) = -l - 1. Let b(i) = -2*s(i) - 2*t(i). Let j be b(-2). Solve -v*k + 2 = -j for k.
4
Suppose 0*o - 5*o + 165 = s, 4*o - 103 = 5*s. Solve -5*j = -o + 12 for j.
4
Let v = 77 + -72. Solve 0 = 2*w - 1 + v for w.
-2
Let j = 49 - 47. Solve -25 = j*h + 3*h for h.
-5
Let t(q) = -q**2 - 10*q - 11. Let p be t(-9). Let k be 4/p*9/(-6). Solve 5 + k = 4*d for d.
2
Suppose 9 - 13 = -2*q. Solve -w = -3 - q for w.
5
Let u(p) = p**3 + 5*p**2 + 1. Let w be u(-5). Let m be (2 + -2 + -1)*w. Let l = m - -1. Solve -2 = -x - l for x.
2
Let i(a) = -1 + a**2 - 3*a**2 + 6*a**2. Let g(z) = z**2 - 6*z + 7. Let t be g(4). Let v be i(t). Solve 0 = -v*f - 2*f for f.
0
Let b(k) = -k**3 + 10*k**2 + 1. Let z be b(10). Solve 0 = -3*x + 5 + z for x.
2
Suppose -7*k = 10 - 38. Solve 0 = 3*r + r - k for r.
1
Let l(c) = 3*c**3 + 4*c**2 + 20 - 4*c**2 - 4*c**3 + c**2. Let y be l(0). Solve -y = 3*p - 7*p for p.
5
Suppose -3*b = 5*m + 81, 0*m + 71 = -5*m + 2*b. Let x = 28 + m. Let c = x + -9. Solve c = -w - w for w.
-2
Let a be (-1)/(-2)*28 + -1*3. Solve a*h = 14*h - 12 for h.
4
Let z = 29 - 26. Solve 0 - 12 = z*a for a.
-4
Let p(i) = i**2 + 8*i + 11. Suppose 5*q + 18 + 27 = 0. Let k be p(q). Solve 2*r - k = -2*r for r.
5
Suppose 4 = 4*k - 4. Suppose 4*y - 5 = 3*y, -4*h + y = -11. Suppose -w + 11 = -4*r + 6*r, h = -4*w + 4*r. Solve w + k = -5*z for z.
-1
Let g be 4/3*18/12. Suppose -15 = -g*d - 3. Solve c + d = 3*c for c.
3
Suppose 25 = -5*q, -5*q - 16 = -2*v - 3*q. Solve -5*n + v + 22 = 0 for n.
5
Let j = 18 - 3. Solve -3*t = -8*t - j for t.
-3
Let l(p) = -p**3 + 4*p**2 + 3*p - 10. Let t be l(4). Suppose 0 = t*i - i - 3. Solve -i*m = -5*m for m.
0
Suppose -h - 2*h + 4*r = -35, r + 15 = 2*h. Suppose 5*s + i = 11, 4*s - h = i + 11. Solve s*c - 4 = -1 for c.
1
Suppose 2*s = 2*b - 2, 2*b - 3*s - 6 = -2*b. Suppose -j + b = q, -2*q + 1 + 5 = -4*j. Solve q*r - 7*r - 8 = 0 for r.
-2
Let r(d) = -d**2 - 7*d + 9. Let l(q) = -8*q**2 + q + 1. Suppose 0 = -z - 2*u - 2 - 5, 0 = -2*z - 2*u - 8. Let s be l(z). Let c be r(s). Solve 3*p - 5 = c for p.
2
Let o(w) be the third derivative of -w**5/60 + 7*w**4/24 + 5*w**3/6 + 2*w**2. Let v be o(7). Let s = 7 - v. Solve -5*c + 8 + s = 0 for c.
2
Let v be (7/(-3) - -3)*(-21)/(-2). Solve -2 = -3*b + v for b.
3
Suppose x + 4*l = -8, 4*x = 2*x + 3*l + 17. Solve x - 1 = -3*w for w.
-1
Suppose -8 = -4*h - 5*b + 2, -5*b - 10 = 0. Solve -h*c = -10*c for c.
0
Suppose 0 = 4*t - 12. Let x be (-1 + t + -2)*1. Solve 4*k - k + 9 = x for k.
-3
Suppose 0 = -2*h - 0*h + 4. Let z = -5 - -18. Suppose -2*v + 14 = -2*p + h*v, z = p + 2*v. Solve -p*y = y for y.
0
Let z(u) = 9*u - 1. Suppose -t - 4*t = -5. Let n be z(t). Solve n = 4*l - 12 for l.
5
Let z(c) = c**3 - 2*c**2 - 3*c. Let o = -5 + 7. Let l be o + (2 - (-2)/(-2)). Let w be z(l). Solve w*g = -g for g.
0
Suppose -3*f = -0*f. Suppose 4*i = -f*i + 12. Solve -i*t + 5 = 2*t for t.
1
Let n = -35 - -39. Solve -2*p + n*p = 6 for p.
3
Suppose -14*s + 90 = -5*s. Solve -3*c + 5*c + s = 0 for c.
-5
Let m(f) = -14*f**2 - f. Let t be m(-1). Let z = -10 - t. Solve -5 = z*v - 4*v for v.
5
Suppose 16 - 6 = 5*d. Suppose -d*b - 6 = -b. Let z = -3 - b. Solve 3*a = 2*a - z for a.
-3
Suppose 0 = 2*c - 4 - 2. Let j = -3 + 2. Let z = c + j. Solve -2*u + z = -4 for u.
3
Suppose -2 + 17 = 3*d. Solve 0 = -d*t + 2*t + 3 for t.
1
Suppose -8 = -5*k + 2. Solve -5*g - k = 13 for g.
-3
Suppose -7*n + 2 = -3*n + 2*h, -2*n - 4*h + 4 = 0. Solve 6*i - i - 25 = n for i.
5
Let s = 6 + -1. Solve 3*y = -2*y - s for y.
-1
Let l(h) = -h**3 - 6*h**2 + 6*h - 2. Let v be l(-7). Suppose 2*i - 115 = -v*u, 4*i = -0*u + 2*u - 70. Solve -u = 4*b - 5 for b.
-5
Suppose -4*f + 6*f = -6*f. Let i be (1 + 1)*(-21)/(-6). Let d be 10*(-1 - i/(-5)). Solve -d*s - 3 - 1 = f for s.
-1
Let n = 41 - 20. Suppose k - n = -2*c - c, 3*c = 5*k - 33. Solve -3*s + 0 = k for s.
-3
Suppose -3*i - 16 = -b - 8*i, 3*b - 2*i + 37 = 0. Let d(h) = h**2 + 8*h - 3. Let k be d(b). Solve 0*v + 2*v = -k for v.
-3
Suppose -t + 2*t = 14. Suppose 2 + 0 = -4*c - 2*r, 2*c - t = 2*r. Let w be -3 - (-1 + c)*-5. Solve s = w + 1 for s.
3
Suppose 3*r = r + 10. Suppose 7 = r*o - 3. Solve 2 = o*c - 2 for c.
2
Let j be (1 + 1)*2/(-4). Let h = j + 4. Solve -2*m = h*m - 25 for m.
5
Suppose 5*v - 29 = 6. Let b = 7 - v. Let s(h) = 2*h - 5. Let n be s(5). Solve n*g + b*g + 10 = 0 for g.
-2
Suppose -s - 5*d + 108 = 0, -2*d - 22 - 498 = -4*s. Suppose g + 2*p + 9 = 35, -3*g = -4*p - s. Let z be 136/g + 4/18. Solve 0 = 2*c - z*c - 4 for c.
-2
Let t = 8 + -4. Suppose -50 = t*l + l. Let z be (l/4)/(3/(-6)). Solve 2*u - u = -z for u.
-5
Let s = 13 - 6. Solve 11*n - s*n + 16 = 0 for n.
-4
Suppose 7 = 3*b - 0*x - x, -4*b + 2*x + 10 = 0. Suppose b*p = p + 6. Solve -w - w = -p for w.
3
Let s(i) = -i + 1. Let m be s(0). Let l be m/3 + (-8)/6. Let r(w) = 9*w**2 - w - 1. Let t be r(l). Solve -3*j = -6*j + t for j.
3
Let i = -37 + 42. Solve -3*o = -i*o for o.
0
Le