Suppose 2*w + 2 = -0*w. Let v = w - -3. Solve -v*h = l - b, 2*h = -3*h + l + 10 for h.
2
Suppose -15 = -6*n + n. Solve -n*w + 2 = 3*o + 17, -4*w - 5 = -o for w.
-2
Suppose -48 = -3*k + 27. Let d = k + -15. Let f be (-8)/d*5/(-2). Solve 17 = 5*u + 5*a - 2*a, f*a = 2*u - 10 for u.
4
Suppose r - 9 = -2*r - l, 4*r - l - 5 = 0. Let b be 5/3 + (-3)/(-9). Suppose b*a = 5*a - 4*h + 20, -r*a = 2*h - 10. Solve -28 = -5*v + 3*s - s, v + s = a for v.
4
Let h(f) = -4*f - 6. Let g be h(-8). Let x = -21 + g. Solve x*l + 9 = -2*v, 1 = -3*l - 0*v + v for l.
-1
Let h = -1 + 2. Let x = 5 - h. Solve 2*n = -n + 2*w - 16, -3*w + 23 = -x*n for n.
-2
Suppose -1 - 2 = s. Let c = s + 2. Let q be (-1 - -5)/(c - -3). Solve 3*k - 8 = f, -7*k + 14 = -q*k - 2*f for k.
2
Let c = 52 + -36. Suppose 3*l - c = -l. Solve -3*r - 2 = o - 4, 2*o - l = 2*r for o.
2
Let k(p) = p - 3. Suppose -12 = 4*r, 3*r + 7 = -2*c + 4. Let m be k(c). Suppose -4*o + 0*o + 48 = m. Solve -2*l + o = -4*b, -5*l + 0 + 8 = b for b.
-2
Suppose -5 - 11 = -4*u. Suppose 2*o - 21 - 55 = 0. Suppose -2*h + o - 8 = 0. Solve 3*v - h = -2*v - 5*p, 2*v = u*p - 24 for v.
-2
Let s(t) = -t**3 - 4*t**2 - 2*t - 5. Let b be s(-4). Suppose 7*p = 3*y + b*p + 10, -5*y + 5*p = 10. Solve x - y*c - 3*c - 1 = 0, 3*c = 2*x - 2 for x.
1
Suppose -12 = -4*m - 4*a, 2*a - 5*a = -5*m + 7. Solve m*i - 3*i = -4*x + 17, -4*i + 4 = 2*x for i.
-1
Let v(d) = -d + 3. Let k be v(-8). Suppose 7*o + 20 = k*o. Let h(z) = -2*z + 1. Let g be h(-2). Solve -o*p = s + 18, -g - 7 = 2*p - 2*s for p.
-4
Let l be (1/(-2))/(2/(-4)). Suppose l + 4 = q + c, 4*q - 22 = -5*c. Suppose -g - 2*g + i = -q, 0 = -4*i + 12. Solve -g*h - n = 6 - 0, 3*h - 4*n + 20 = 0 for h.
-4
Suppose 5*a - 2 = -4*v - 0*v, -2*a = 5*v + 6. Solve q - a*q + 5*f = 18, 27 = -5*q + 4*f for q.
-3
Let m = 101 + -64. Let d = m + -22. Solve 0 = 5*q - 2*t + d, q - 4*t = 21 - 6 for q.
-5
Let q be 12*10/4 - 3. Solve 0*z - z + 5*g = q, -z + 8 = 2*g for z.
-2
Let a be -4*4/(-28) + (-300)/(-14). Solve 2*r + 4*i = -a, -5*r + 3*i + 13 = -3*r for r.
-1
Suppose 0 = -3*d + 3*s + 18, -4*d + 28 = -2*s + 8. Solve -3*t = -4*j - 14, j - 3*t + d = -2*t for j.
-2
Let t(v) be the second derivative of v - v**3 + 0 - 1/2*v**2. Let r be t(-1). Solve 4*i - 28 = 5*s, 8 - 2 = r*i + s for i.
2
Suppose 6 = 5*g - 9. Let j = -30 + 42. Suppose 4*f - 4*a + j = 4, f + 5 = 2*a. Solve g*b = -4*w - f, 5*b = 2*w + 2*w - 23 for b.
-3
Let l(c) = -2*c - 18. Let i be l(-9). Solve 0 = -n - b - 1, i = -2*b for n.
-1
Suppose -m - 5 = -2*m. Suppose 3*t + m = 4*q + 1, 0 = q - 2*t + 4. Solve 0*z = 4*u - z + 4, -16 = -2*u - q*z for u.
0
Let o be ((-4)/(-6))/(2/6). Solve 2 = o*c, 3*j + 4 = -c + 2*c for j.
-1
Let k(i) = -i**2 + 10*i + 5. Let a be k(10). Suppose -3*s + 2*o + 4 = 0, 2*s = -4*o - 3 - a. Solve 4*l + 5*n + 32 = s, 0*l + 2*l + 2 = n for l.
-3
Let p = 7 + -7. Suppose 9*b = 4*b + 20. Suppose b*c = 3*c. Solve c + 1 = j - x, p = -5*x for j.
1
Let c = 61 + -58. Solve 2*u = -2*p - u + 19, -c*u + 11 = -2*p for p.
2
Let m be -1 - ((0 - 0) + -3). Suppose -m*j = -7*j. Suppose j*n - 3*n = 3*a - 3, -5*a - 4*n + 4 = 0. Solve -l + 3*h - 8 = -5*l, -4*h = a for l.
2
Let u(y) = y**2. Let a be u(3). Let j(b) = b**2 - 9*b + 13. Let k be j(a). Solve 0 = -3*g - 5*x - 19, -4*g + 2*x + 5 = -k for g.
2
Let q be (-4 + 5)*8*(1 - 0). Solve -3 = -4*l + g + q, 3*l + g - 17 = 0 for l.
4
Let d be (3/9)/((-1)/9). Let f = 3 - d. Solve s + 5*q - 7 = -22, -2*q - f = -s for s.
0
Suppose 0*m = m - 17. Let o = -10 - -26. Let i = o - 16. Solve -3*j - 11 = -4*v, -2*v + i = 3*j + m for v.
-1
Let c(a) = 2*a**2 + 5*a + 5. Let u be c(-2). Solve 0 = -u*v + 2*g - 2 - 6, 0 = 5*v + 5*g - 20 for v.
0
Suppose -20 = -10*c + 10. Solve -4*w = -4, -o - 2*o - c*w = -6 for o.
1
Suppose 0 = -15*f + 10*f + 110. Solve 9 = -2*s + 4*m - 5, -2*m = -4*s - f for s.
-5
Let w = 7 + -5. Let u(j) = 2*j - 6. Let s be u(4). Let r(y) = 2*y**3 - y**2 - 2*y + 2. Let a be r(s). Solve 7*k = w*k - 2*m - a, 3*m + 2 = -k for k.
-2
Let t = -70 + 74. Suppose 2*j = j + 24. Solve m + t*q + 6 = -m, -q - j = 5*m for m.
-5
Let n(k) = k**3 + 9*k**2 - 11*k + 14. Let p be n(-10). Solve -2*q = 4*a - 3*a + 9, -5*q - a = p for q.
-5
Let p(h) = -h**3 - 5*h**2 + 5*h + 7. Let u be p(-5). Let t be 897/46*8/6. Let w = u + t. Solve 0 = -5*z + 10, 0 = 4*m - 2*z + w for m.
-1
Let z(c) = -11 + 4*c - 8*c + 3*c. Let p be z(-14). Solve r + 15 = p*a, -2*r + 5*a = a + 20 for r.
0
Let z(f) = f**2 + 2*f. Let a be z(-3). Suppose -l = a*l. Solve -u + i + 3 = 11, l = -3*i + 9 for u.
-5
Let z be (-11)/(-4) - (-3)/(-4). Let c = -2 - -4. Let b = z + c. Solve 5*d + 24 = -3*n, 0 = b*d - 5 + 17 for n.
-3
Let a = 47 + -44. Solve -3*k + 3*p + 9 = -2*k, -18 = -4*k + a*p for k.
3
Let s(n) = n - 1. Let u be s(5). Suppose -q + 3*q = -u. Let j = 4 + q. Solve 3*m + g + 5 = -j, 3*m + 4 = 2*g for m.
-2
Let x(h) = h**3 + 5*h**2 + 6*h + 1. Let y be x(-4). Let w = 10 + y. Solve 7*b + 25 = -5*c + w*b, 5*b - 10 = 2*c for c.
-5
Let l be 1/(-2) + (-15)/(-6). Let c = 5 - l. Solve -c*r + 3*n - 3 = -8*r, -r - 3 = -3*n for r.
0
Suppose -17*j = -13*j - 16. Solve -2*a - j*u + 28 = a, -a = 4*u - 20 for a.
4
Suppose -z - 15 = -6*z. Let g be -1*(-3)/(z/13). Let w = 22 - g. Solve -p = -2*d - w, 35 - 11 = -4*d - 4*p for d.
-5
Let v(r) = -r + 28. Let m be v(13). Solve 0*q + 5*q = 5*w - m, -17 = 3*q - 5*w for q.
1
Let h be (-2)/(-3)*(-39)/(-2). Suppose -1 = 4*t - h. Solve -3*s - 3 = 4*o, 4*s - t*s = -3*o + 4 for o.
3
Suppose -2*t + 3*t - 3 = 0. Solve 3*q = t*r - 9, -2*q + 5*q + 11 = 5*r for r.
1
Let q = -71 - -107. Let o = q - 21. Solve s - y = 6*s + 19, s + 3*y = -o for s.
-3
Let f(d) be the first derivative of 16*d**3/3 - d + 5. Let p be f(1). Solve 0 = 5*b + 4*u - p - 1, 4*b - 13 = -3*u for b.
4
Let l = 0 - -2. Suppose -x = 4*u + 4*x - 45, 0 = -l*u + 5*x - 15. Solve 3*m = s - 8, m = -3*m + u*s + 4 for m.
-4
Let a = -33 - -36. Solve -j + 5*i = 2 - 0, 2*i = a*j + 6 for j.
-2
Suppose h + 3*h = 0. Solve -3*d - 8 = 2*y + 5, h = 3*y + 4*d + 19 for y.
-5
Let p(y) = -y + 11. Let x be p(11). Solve 1 = -2*w - 3*d - x*d, -3*w - 3*d = 3 for w.
-2
Let s be 2*2/2*1. Suppose x = 6*x + 3*d - 6, s*d + 15 = 3*x. Suppose 2*c = -x + 9. Solve 0 = c*h - 5*o - 3, -4 = -4*h + 3*o - 11 for h.
-4
Let m be (7/(-2))/((-14)/4 + 3). Solve -2*b - 5*t = 13, 5*t = 5*b + 9*t + m for b.
1
Let j(p) = -p**3 + 4*p**2 + 4*p + 3. Let i be j(5). Let x(t) = -3*t + 1. Let k be x(i). Solve -s - o - k = 3*o, -4*s + 5*o = -35 for s.
5
Let v(f) be the third derivative of f**6/40 + f**5/60 - f**3/6 - 3*f**2. Let j be v(-1). Let i = j + 9. Solve -3*h - 5*a = 16, 2*a + 0 - i = 5*h for h.
-2
Suppose 28 + 4 = 2*j. Solve 0 = -4*r + 2*h - 2, -4*h + 4 = -j for r.
2
Let n = -65 + 69. Solve 0*r - n*u = 5*r, -r - 5*u + 21 = 0 for r.
-4
Let u(y) be the third derivative of -y**5/60 - y**4/8 + y**3/6 - y**2. Let o be u(-3). Let n be o*(-1 + 0) - -6. Solve -20 = n*d - 5*i, d = -d + i - 7 for d.
-3
Let w = 7 + -12. Let d = 20 + w. Solve -5*a - d = -4*p, 1 = -4*a - 4*p + 25 for a.
1
Let t(f) = -2*f + 6. Let r be t(5). Let v(a) = -a**3 - 3*a**2 + 2*a. Let m be v(r). Suppose -4 = q - 7. Solve -c = 3*b - 4*b - m, -q*c = -4*b - 27 for c.
5
Suppose 0 = -2*d - 4*f, 0 = -2*d - f + 2*f + 5. Let z = 2 + d. Suppose 2*u + 0 = z. Solve -3*t + c - u = 6*c, -10 = -5*t + 5*c for t.
1
Suppose -x = -4*x + 6. Suppose 0 = x*q - a, -q - 4*q = -a. Let s = -7 + 10. Solve -4*y - u - 23 = q, -y + 2*u + s = 2 for y.
-5
Let m(r) = -r**3 - r**2 + r + 1. Let y be m(-1). Let k = 2 + 0. Let n be 3*k/3 + 2. Solve 0*t = -n*g - 5*t - 8, 3*t + 12 = y for g.
3
Suppose 0 = 5*i - r - 35, 3*i + 2*r = 5*i - 14. Solve -5*f + 5*x = 0, -f + 9 = 3*x - i for f.
4
Let g be 2/(-4) - 58/(-4). Let c = g - 10. Suppose -f = c*f - 25. Solve 0 = -4*l - 4*v - 36, -3*v - 5 = f*l - 6*v for l.
-4
Let j = 7 + -11. Let w = 0 - j. Suppose 12 = 3*y - 5*o + 31, 3*y = -w*o + 26. Solve y*m = 2*d + 2, -5*m + 3*d + 0 = -3 for m.
0
Let y(k) = -k + 3. Let b be y(-3). Solve -b = -4*j + r, 3*r + 4 = j + 4*j for j.
2
Suppose w = -2*w + 12, -2*w - 4 = -3*n. Suppose -5*v + 4*y + 0*y - 33 = 0, 2*y = n*v + 30. Let l = 20 + v. Solve -4*s - 4*m - 1 - l = 0, -m = 3 for s.
0
Let q(u) = -9*u. Let s be q(-2). Suppose 5*a - 29 = 2*l + l, 0 = -a + 4*l + 16. Solve c - a*c = -2*p - s, 5*c = 5*p + 35 for c.
4
Let