1 + 7, -f = -u + x. Solve -8 = u*h - h for h.
-4
Let t(n) be the second derivative of -n**5/20 + n**4/4 + n**2 + 2*n. Let w be t(3). Suppose 11 = w*f - 5. Solve 4*q = -0*q - f for q.
-2
Let u be -3 + 1 + 8 + -1. Suppose -5 = -0*h + 4*h - a, a - u = -3*h. Solve h*p = -p + 2 for p.
2
Let g(t) = t**3 + 4*t**2 + 2*t - 3. Let h be g(-3). Let a be -1 + (h - 1) + 7. Suppose a*s = 2 + 8. Solve l + 5 = s for l.
-3
Let w = -6 - -9. Solve -b + 1 = w for b.
-2
Let a = -9 - -13. Solve a*c = 2*c for c.
0
Let b = 14 - 6. Suppose b = y + y. Let h be 406/49 + (-4)/14. Solve -h = -0*p - y*p for p.
2
Suppose 4*t + 0*t - 5*r - 18 = 0, -3*t - 2 = 4*r. Solve t*y = 7*y for y.
0
Suppose -5*j - p - 1 = 0, 0*p = 2*p + 2. Solve j = -w - 2*w + 12 for w.
4
Suppose -3*q + 2 + 4 = 0. Let y(c) = -c**3 + 5*c**2 - 6*c + 9. Let i be y(4). Solve -d + i = -q*d for d.
-1
Let y be (-4 - -14)*2/4. Solve 0 = y*x - 3*x + 6 for x.
-3
Let l(b) = -b**2 - b + 2. Let o be l(-2). Solve 3*q + 2 - 17 = o for q.
5
Let r be -1 + -1 + 1 + 3. Let f be 0/3 + r - -1. Suppose 0 = q + 4*q - 75. Solve f*a = -2*a + q for a.
3
Let s(x) = x + 5. Let t be s(-5). Let z(r) = -2*r - 3. Let p be z(4). Let q = p + 13. Solve t*v + q*v = 6 for v.
3
Let o = 20 - 12. Let d be ((-6)/(-3) + -1)*o. Solve -5*b - 12 - d = 0 for b.
-4
Let n be (12/15)/((-2)/(-5)). Let a = -6 - -8. Solve n = -a*k + k for k.
-2
Let r(c) = -c**2 + 6*c + 18. Let b be r(8). Solve -3*n + 2*n = b for n.
-2
Suppose -a = 4, -4*n - a + 24 = -5*a. Solve n*f = 7*f + 25 for f.
-5
Let p = -3 + 5. Suppose 3*i - p*i - 3 = 0. Suppose -5*m = -i*m - 6. Solve 5 = m*d + 14 for d.
-3
Let h be ((-1)/(-1))/(2/4). Suppose 0 = -y + 2 + h. Solve -y*b + 5 = -3 for b.
2
Suppose 5*g = -2*o + 19, g = -o - 0*g + 5. Solve 0 = -o*w - 2*w for w.
0
Suppose -5*i + 115 = 5*z, -4*i + 6 = -2*i. Solve 2*a + z = 6*a for a.
5
Suppose -3*y - 9 = -6*y. Solve -2*u = -7 + y for u.
2
Suppose 9*a - 10 = 4*a. Solve 0 = -c - a*c + 6 for c.
2
Suppose 4*m = 6*m - 6. Solve -3*f - m = -0*f for f.
-1
Let k = -291 + 291. Suppose m - g = -2*g + 13, 0 = 4*m - 5*g - 7. Solve 2*h - m = -k*h for h.
4
Let p = -58 + 61. Solve p*s - 7*s = 12 for s.
-3
Suppose 0 = -p + 13 - 3. Let j = p + -6. Suppose 0 = 6*g - 4*g. Solve j + g = b for b.
4
Let s be -9 + 8 - (0 + 0). Let d = 5 - -10. Let v = s + d. Solve 0 = 4*a + 6 + v for a.
-5
Suppose -3*b + 29 = -37. Suppose 4*s = 8, 4*l = -0*l - s + b. Suppose -3*a + l = -1. Solve -2*h - 8 = a*h for h.
-2
Let p = -2 - -22. Let l(n) = 2*n + 18. Let q be l(-9). Solve -4*i + p = -q*i for i.
5
Suppose -q + 0 + 2 = 0. Suppose 2*j + q + 6 = 0, -3*v - 6 = 3*j. Solve -3*x + v*x + 2 = 0 for x.
2
Suppose 2*a - 15 = -5*q + a, 2*a + 30 = 5*q. Solve q*y = -19 + 7 for y.
-3
Let q = 2 + 0. Let u be (-36)/(-8)*(-4)/6. Let d = -1 - u. Solve -4*w + d = -q*w for w.
1
Let t(d) = -d**2 - 11*d + 45. Let b be t(-14). Let g = 3 - 1. Let a(m) = m**2. Let w be a(g). Solve -b*y + 1 = w for y.
-1
Suppose 3*r = 4*d - 23, -2*r + 5 = -3*r. Suppose -u = -6*u - 2*s + 10, u - d*s = -10. Suppose u = -5*g + 12 + 3. Solve -a + 2 = g for a.
-1
Suppose 0 = 2*o + 10, -3*o - 17 = -4*f + 2*f. Let q(i) = -i**3 - 3*i**2 + i - 9. Let b be q(-4). Solve 0 = -b*w - f - 2 for w.
-1
Let r(c) = -c**2 - 19*c - 4. Let k be r(-12). Suppose -x = 4*x - k. Solve -6 + x = -2*y for y.
-5
Suppose 16 = -3*m - 8. Let c(h) = h + 10. Let v be c(m). Solve -10 = -4*q + v for q.
3
Suppose -2*c - 12 = -5*c. Suppose 3*o + c = 46. Suppose 4*r - 4*f - 12 = 0, -3*r + o = r - 3*f. Solve 0 = -r*i - 18 - 2 for i.
-4
Let p be (10/(-3))/((-2)/3). Let g be (p/(-2))/(7/(-14)). Solve 13 = -4*t + g for t.
-2
Let c(x) = x + 3. Let u be c(-3). Solve 0 = -2*r - 4 - u for r.
-2
Let u = -15 - -15. Suppose -4*t - 2*o + o + 14 = u, -4*o - 28 = -5*t. Solve t*k + 4 - 24 = 0 for k.
5
Let j be (6 - 2)/(-1 - -3). Let m = 10 - 23. Let k = -10 - m. Solve k*o = j*o - 2 for o.
-2
Let h(j) = 15*j + 0 + 2*j**2 - 6 - 3*j**2 - 6*j. Let v be h(8). Solve -v*g - 4 = -0 for g.
-2
Let y be 9/(-45) - (-2)/10. Solve w - 2 = -y for w.
2
Suppose 3*z + p = 7, z - 9 = -5*p + 12. Solve v - z = 2 for v.
3
Let k(d) = -7*d + 1. Let q be k(-1). Solve n = -n - q for n.
-4
Suppose 0 = 7*o - 3*o - 8. Solve 0 = 4*k - 6 - o for k.
2
Let p(n) = n + 4. Let k be p(-2). Suppose -4*u - f + 7 = -2, 8 = -2*u + k*f. Solve -3*x + u = -2 for x.
1
Suppose 9 = a + 2*y, 5*a - 15 - 2 = 4*y. Solve a*d - 1 = -11 for d.
-2
Let j(p) = 16*p**3 + p**2 + p + 1. Let q be j(-1). Let c be ((-5)/(-3) + -2)*q. Solve 0*z + c = -z for z.
-5
Let u = -12 - -16. Suppose -u*d + 5*m = d - 20, -2*d - 5*m - 13 = 0. Solve 3*b - d = -7 for b.
-2
Let f be -10*((-3)/2 - -1). Solve 0*i = i + f for i.
-5
Let z = -44 - -44. Solve 2*u - 13 + 3 = z for u.
5
Suppose 9*g = 4*g - 5*z + 25, 5*z = 2*g - 3. Suppose -i - i = -g. Suppose 0*y - 3*y + i = -5*c, 5*c = -4*y + 26. Solve -5*v = -13 - c for v.
3
Let o(q) = -q**3 + 3*q**2 + 2*q. Let v be o(3). Let z be 8/(-2)*v/(-12). Solve z*s = -5 + 1 for s.
-2
Let m = 97 - 95. Solve 0 = 4*d - 5*d + m for d.
2
Let d(z) be the third derivative of -z**6/120 - z**5/20 - z**4/12 - z**3/2 - 4*z**2. Let a be d(-3). Solve a*o - o = 8 for o.
4
Let j = 9 - 6. Suppose 4*h - y = 2, 3*h + 1 = j*y - 2. Solve -2*p = -p - h for p.
1
Let b be 2*(-6)/(-16) + 48/192. Solve v + 2 = b for v.
-1
Let g(r) = -r**3 - 4*r**2 + 6*r + 5. Let f be g(-5). Let d(p) = p**3 - 5*p**2 + 4. Suppose -3*s - 20 = -7*s. Let k be d(s). Solve f - k = -t for t.
4
Let l(y) = -y - 6. Let u be l(-8). Suppose -u*m - 3 = -3*m. Solve 0*b - m*b = -3 for b.
1
Let x = 14 + -9. Let d = x - 3. Let j(a) = -a**3 + 4*a**2 - 2*a. Let m be j(3). Solve -m = d*u - 5 for u.
1
Let z(o) = -o**3 - o. Let d be z(1). Let m be 4/(-4 + 2) - d. Solve -5*i - 8 - 12 = m for i.
-4
Suppose 0 = -5*n + 2*m + 2, -3*m = 4*n - 7*m - 4. Suppose 0 = -3*l + 3*h + 12, n = -2*h + 6*h + 8. Suppose -5 = -v - l. Solve 1 = k - v for k.
4
Let c = -41 - -57. Let o(h) = -h**2 - 7*h - 4. Suppose 5*w + 39 - 9 = 0. Let v be o(w). Solve -v*b + 6*b + c = 0 for b.
-4
Let q = -81 - -83. Solve -q*n - 20 = -7*n for n.
4
Let x = 106 - 97. Solve -x + 4 = l for l.
-5
Suppose 5*o = -g + 22, -5*g - 3*o = -g - 20. Solve m + g = -0*m for m.
-2
Let q = -2 - -6. Solve q*x - x + 3 = 0 for x.
-1
Let l(d) = -d**2 - 9*d + 38. Let p be l(-12). Solve 3*n - p*n + 4 = 0 for n.
-4
Let u be (-20)/(-5) + -2 + -2. Solve 4*l + 4 = -u for l.
-1
Let w = -10 - -20. Suppose -4*f - w = -3*h, 0 = -2*f + 4*f + 2. Solve h*b = b + 4 for b.
4
Let i(o) = o**2 + 6*o + 3. Let b be i(-6). Suppose 5*t - 5*d = -0*d, 0 = -4*t - b*d. Solve -4 = 2*z - t*z for z.
-2
Suppose -5*j - h = -15, -3*j + 5*h = 7*h - 2. Suppose -3*d - d + 12 = 0. Solve s = d*s + j for s.
-2
Suppose -5*r - r + 30 = 0. Solve -10 - 10 = r*i for i.
-4
Let x(i) = -8*i - 49. Let a be x(-7). Solve -2*c = a + 3 for c.
-5
Let s(o) = -o**2 - 1 + 4*o**2 + 6 - 4. Let y be s(1). Suppose -a + 4 = 3*p, y*p - 8 = -a - a. Solve 2 + p = 2*v for v.
1
Suppose 0 = 3*o - 8 - 1. Let k be o/(-15) + 12/10. Solve -2*i - k = -11 for i.
5
Suppose -z + 0*z = 9. Let h be (3/z)/((-1)/9). Solve 2*y = h + 3 for y.
3
Suppose 6*l = 5*l + 4. Solve 2*m + l = m for m.
-4
Let l(x) = -x + 9. Let s be l(6). Suppose -2*c + s = -3. Solve 0 = c*a + 7 - 19 for a.
4
Suppose s - 10 = -s. Solve 0 = -0*x - s*x + 15 for x.
3
Let q be (-8)/(-10) - 130/(-25). Solve -1 = p - q for p.
5
Let l(j) = -j**3 - 2*j**2. Let g be l(-3). Let t be (2 + -3)*(1 + -12). Suppose t + g = k. Solve -2*c + k = -6*c for c.
-5
Suppose -5*a - 3*k = -32, -2*k - 2*k + 16 = 0. Solve -5*p - 6 - a = 0 for p.
-2
Suppose -37 = -b + 4*i, 3*i = -b - 0*b + 72. Let w = -7 + b. Let s be (-3 + 0)*w/(-6). Solve -2*g = 3*g - s for g.
5
Let d(j) = j**2 - 7*j - 12. Let x be d(9). Suppose 2*r + 16 = x*r. Solve -r*n = -n + 12 for n.
-4
Suppose 8*i - i - 14 = 0. Solve i*j = 4 - 0 for j.
2
Suppose -a = -5*a. Suppose a*u + 20 = 5*u. Solve 0 = 2*l - u*l + 6 for l.
3
Let i = -4 - -19. Solve 0 + i = 3*m for m.
5
Suppose 2*c - 4*c = 0. Suppose 4*y = -x - 4*x - 20, x - 3*y - 15 = c. Suppose -p = -x*p. Solve 4*i - i - 9 = p for i.
3
Let j be -2*1 - (-5 - -6). Let t(x) = -x**3 - 3*x**2 + 2. Let l be t(j). Let c = 4 - l. Solve -c*u - 8 = 2 for u.
-5
Let q = -5 - -5. Suppose 5*h - 19 = -3*y, -4*y + 5*h - 1 + 3 = q. Solve -7*b + 20 = -y*b for b.
5
Suppos