4*j + 10. Let i be n(3). Suppose 0 = -5*k + 5*h + i, -3 = k - 5*h - 4. Solve -k*l = -m*l + 8 for l.
-2
Let y(a) = -a**2 + 10*a + 27. Let d be y(12). Suppose d*j = j + 6. Solve -j*v + 3 = -2*v for v.
3
Suppose -3*v + 8*v = 5*b - 5, 2*b = v + 1. Solve b = f - 6 + 1 for f.
5
Suppose -37*v - 140 = -47*v. Solve -9*f - 13 = v for f.
-3
Suppose -z - 2*c + 1 + 2 = 0, 0 = -5*c - 5. Let s be 7/((-7)/2) + 3. Let i be (s + 0)*(-5 + 5). Solve -4*k + z + 3 = i for k.
2
Suppose 0 = -13*h + 12*h. Solve -a = -h*a for a.
0
Let z(h) = h**3 - h**2 - 5*h + 4. Suppose -3*c + 7*c + 27 = 5*j, -c = -2*j + 9. Let y be z(j). Suppose -4*w + y*w - 9 = 0. Solve 8 = -f + w*f for f.
4
Suppose 0 = 19*l - 5*l - 56. Solve -c + 0 = -l for c.
4
Suppose 3*p + 0*p + 12 = 0. Let j(m) = m + 1. Let u(y) = 4*y + 3. Let q(v) = 7*j(v) - 2*u(v). Let b be q(p). Solve -3*f + b*f + 6 = 0 for f.
-3
Suppose -2*i + 4*m + 50 = 0, -2*m - 21 = -23. Solve 0 = -5*c - 37 + i for c.
-2
Let o(c) = -c**3 - 7*c**2 - 5*c + 2. Let d be o(-5). Let f = d - -30. Suppose f*r - 6 = 4*r. Solve -v - r = -3*v for v.
1
Let y(w) = w**2 + 6*w - 3. Let c be y(-7). Suppose 40 = -c*f + 14*f. Solve -2*r + f = -r for r.
4
Suppose 0 = 4*o - 0*o - 8. Suppose -o*x + 0*x = -8. Suppose g = 2*g - t, x*g + 3*t = 14. Solve -g*p = 3*p for p.
0
Let m(x) = -x**3 - 5*x**2 + 5*x - 4. Let n be m(-6). Solve -n*j = -5*j + 12 for j.
4
Let z = -1 + -13. Let s(d) = 2*d + 28. Let x be s(z). Solve x*m - 5 = m for m.
-5
Let c = -4 - -3. Let w(q) = 2*q**3 - 2*q**2 - 2*q - 1. Let k be w(c). Let v = k + 6. Solve v = 5*b + 23 for b.
-4
Suppose 21 = b + 1. Let h be 212/7 - (-6)/(-63)*3. Let p = h - b. Solve q + 4*q - p = 0 for q.
2
Let q be 3*(-4)/8*2. Let a(x) = -x**3 - 2*x**2 + x + 4. Let u be a(q). Let z be 154/u - (-30)/50. Solve -p = 3*p + z for p.
-4
Let v = 0 - -8. Suppose -4*m + 9 = 1. Let d be (-12)/v*m + 8. Solve 4 + 11 = d*j for j.
3
Let y be (-225)/(-81) - 2/(-9). Suppose -4*b + y*h + 0*h - 7 = 0, 0 = -2*b + 2*h - 6. Solve 6 + 4 = -b*j for j.
-5
Suppose -6*g + 1 = -7*g. Let h = g + 10. Solve 0 = -2*a + h + 1 for a.
5
Suppose v - 135 = -26*v. Let g(n) = -n**3 - 5*n**2 + n + 7. Let a be g(-5). Solve -17 = v*y - a for y.
-3
Let j be -2 + 2 + -3 + 8. Solve j = -9*n + 4*n for n.
-1
Suppose 3*d - 5*d + 8 = 0, 2 = -2*q + d. Let z be (-95)/(-20)*(q - -3). Solve 5*o = -z - 1 for o.
-4
Let s = -7 - -11. Suppose -3*r - s = y, y + 4*r - 8 = -3*y. Let j be (-2)/(0 - -5*4/(-10)). Solve -y = 2*u + j for u.
-3
Suppose -4*y + 400 = 4*d, 11*d - 6*d = 5*y - 490. Let u = -96 + y. Solve -u*k = -0*k for k.
0
Suppose 140 = 16*b - 52. Solve -3*p + 0 - b = 0 for p.
-4
Let v = -41 + 59. Let u = -16 + v. Let k(n) = n**2 + n - 2. Let q be k(2). Solve -q + 2 = u*b for b.
-1
Let i be 1 + 2/((-1)/(-1)). Suppose 2*y - 3*x + 13 - 4 = 0, 2*x = -5*y + 6. Solve y = p + i for p.
-3
Let c(n) = n**2 - 23*n + 34. Let w be c(23). Solve 29 = g + w for g.
-5
Let q be -3 + 4 - -3 - 1. Let w = -1 + q. Let l be 5 - 8 - (-1 - w). Solve l*i = 4*i - 4 for i.
1
Let u(f) = 4*f**3 - 38*f**2 + 20*f - 4. Let t be u(9). Solve -3*q = t - 8 for q.
-2
Let p = -70 + 67. Let f(s) = -s**3 + s**2 - s + 9. Let n be f(0). Let j = n - p. Solve i = -2*i - j for i.
-4
Let t(l) = -2*l**2 - 17*l + 9. Let p be t(-9). Solve p*x = 5*x - 10 for x.
2
Let a = -23 - -26. Suppose -a*w - 4*i = -0*i - 113, -2*w + 78 = 4*i. Solve 5*c = w - 10 for c.
5
Suppose -b + l = 64, 2 - 6 = -2*l. Let d = -58 - b. Solve -j - 5 = d*j for j.
-1
Suppose -4*l + 9 = 1. Let y(p) = -p**2 - p. Let g(r) = r**3 + 12*r**2 + 9*r - 2. Let o(t) = g(t) + 4*y(t). Let u be o(-7). Solve -l*a + 5*a = -u for a.
-4
Let x be (-3)/((-27)/39) - (-8)/12. Let w(i) = -2*i**2 + 12*i - 10. Let z be w(x). Solve z = 4*j - 3 + 15 for j.
-3
Let v = 86 - 84. Suppose -y - 4*y = -5. Solve t + v = -y for t.
-3
Let u(r) = -66*r - 2. Let k be u(1). Let y be k/(-18) + (-16)/(-72). Suppose -5*j = -v - 5, -y = -5*j + 4*v + 16. Solve j = -d + 4 - 0 for d.
4
Suppose 0*j + 11 = 2*f + j, -3*f + 16 = j. Suppose 5*x + 0*x - 20 = 0. Suppose -z + x*b = z, -3*z - b = 0. Solve t + z*t = f for t.
5
Let s = 0 - 8. Let k = 12 + s. Suppose p = -k*p + 3*g + 39, 0 = g - 2. Solve p*n = 5*n for n.
0
Let j = -375 - -375. Solve j = 2*i + 12 - 14 for i.
1
Let y(o) = -o**2 + 10*o - 9. Let n be y(8). Solve 9 - n = w for w.
2
Suppose -59 = -8*r + 277. Solve 5*h - r = -17 for h.
5
Let c = 49 - 45. Suppose 2*s = -10, -c*b - 3*s = -4*s - 105. Solve 0 = 2*a + 3*a + b for a.
-5
Suppose 6*d = d + 2*y + 451, 270 = 3*d - y. Let a be (d - 72)/(0 + 1 + 0). Solve -2 = -5*u - a for u.
-3
Let d(l) be the first derivative of -l**2/2 + 9*l + 80. Let i = 1 - -7. Let y be d(i). Solve y = -2*v + v for v.
-1
Let g be (32 + 1)*6/18. Solve -7*s = -g*s for s.
0
Suppose 2*g - 5*i = -3*g + 35, 0 = -3*g + 4*i + 26. Suppose 0 = 17*s - 15*s + 4. Let d be 4 - g - s/(-1). Solve d + 9 = -3*p for p.
-3
Let c(m) = -m**2 + 31*m - 190. Let k be c(20). Solve 0 = -4*j - 6*j - k for j.
-3
Let v(h) = h**2 + 14*h + 47. Let x be v(-9). Let a be (-3 - (-2)/(-2)) + 150/25. Solve -x*r = -2 - a for r.
2
Let s(n) = n**3 + 3*n**2 - n + 2. Let j(v) = -v**3 + 7*v**2 + 7*v + 4. Let u be j(8). Let m be s(u). Let g = -6 - m. Solve -g*w + 10 = -6 for w.
4
Suppose 5*x - 37 = 23. Suppose -57 = -31*i + x*i. Let u be (-1 - -3)/((-1)/(-2)). Solve -i - 5 = -u*p for p.
2
Suppose -2*t - 2*k = 4 - 2, k + 1 = -5*t. Solve 3*x + 0*x + 6 = t for x.
-2
Let o = -759 - -827. Solve -o*a = -71*a + 12 for a.
4
Let y be -3 + 0 - (-3 + 1). Let o be 12/(-6) - (y + -2). Let g = o + 2. Solve 0*z = -g*z - 6 for z.
-2
Let i(z) = -z**2 - 16*z + 42. Let j(u) = u**2 + 17*u - 43. Let h(o) = -5*i(o) - 4*j(o). Let m be h(-15). Solve m - 17 = -2*f for f.
5
Let u = -51 + 56. Solve u*z - 9*z = -12 for z.
3
Let y(t) = 2*t**2 + 1. Let f(j) = -3*j**2 + j - 1. Let h(m) = 3*f(m) + 4*y(m). Let r be h(3). Solve r = -3*c + 4 for c.
1
Let o be 3/(-21) - (-240)/112. Solve o*i + 4*i = 6 for i.
1
Suppose -28*o - 80 = -48*o. Solve -2*q = -0*q + o for q.
-2
Let f = 726 - 435. Let s be f/6 - 6/(-4). Suppose 4*l - 4*b + b - 12 = 0, -5*l = 5*b - s. Solve 2*t - 5*t - l = 0 for t.
-2
Suppose 65*m - 69*m - 2*i + 80 = 0, 82 = 4*m + i. Solve 25*q - m*q - 4 = 0 for q.
1
Let o(i) be the first derivative of i**2/2 - 7*i + 19. Let n be o(7). Solve -5*z + n*z = 25 for z.
-5
Let w(h) = -h**3 - h**2 + 4*h - 1. Suppose -2*a + 9 = -5*m, 3*m + 2*a + 20 = 5. Let b be w(m). Solve -b*g = -0*g - 20 for g.
4
Let q(j) = -j**2 + 9*j - 15. Let n be q(4). Let t(p) = p**2 - 4*p - 6. Let o be t(5). Let z = o + 11. Solve 3*s = -z - n for s.
-5
Let k(f) = f**3 + 9*f**2 + 8*f + 1. Let x(m) = -m**3 - 10*m**2 + 12*m + 11. Let a be x(-11). Let s = a + -8. Let v be k(s). Solve 4 = p - v for p.
5
Let m(v) = -v + 5. Let d be m(5). Let g(w) be the first derivative of w**3/3 + w**2 - 8*w - 7. Let y be g(-4). Solve y = -d*s - 2*s for s.
0
Let d be 3/(-12) + (-303)/4. Let t = -67 - d. Solve -t = -4*x - 25 for x.
-4
Let h = -2410 + 2419. Solve v - h = 4*v for v.
-3
Let h(u) be the second derivative of -u**5/20 + 7*u**4/12 + 3*u**3/2 - 9*u**2 + 2*u. Let o be h(8). Let v be -3 + (-5)/(o/14). Solve v*m = -m + 20 for m.
4
Let t = 25 + -21. Suppose 19 - 3 = t*h. Suppose -u - 36 = -h*u. Solve -5*v + 2*v - u = 0 for v.
-4
Let n be (-12)/(-18) + (-32)/(-6). Suppose -4*b = -n*b - 2. Let f(h) = -4*h**3 - 2*h**2 - h. Let r be f(b). Solve -r*u = -4 - 5 for u.
3
Let x(w) = -2*w**3 + 2*w**2 + 3*w + 2. Let t be x(-1). Suppose -r = 3*r - 2*l - 26, 0 = -2*r - l + t. Solve 3*m + 5 = -r for m.
-3
Let v(n) = 6*n**2 + 16*n - 3. Let u be v(3). Solve -84 = -3*g - u for g.
-5
Let y(d) = -3*d**2 - 35*d - 3. Let w be y(-11). Suppose 0 = 4*f + 3*a - 19, 5*f - 17 = -5*a + 8. Solve -f*i = w - 3 for i.
-4
Let m = 0 + 2. Suppose o = 2*o + m. Let a be o*(-2)/(-2)*-2. Solve -a*j + 5 = -3 for j.
2
Let s(j) = -j**2 - 14*j + 16. Let k be s(-15). Let o be 23/2 + k/(-2). Suppose 0 = 5*r - 14 - o. Solve -23 = r*z - 8 for z.
-3
Let u = -9 - -9. Suppose u = -3*z + 4 + 11. Solve 4 = -z*i + i for i.
-1
Let a = 17 + -12. Let y(f) = 4*f + 9. Let w be y(0). Solve 11 + w = a*d for d.
4
Let h(k) be the first derivative of k**3/3 - 2*k**2 + 11*k - 9. Let w(s) be the first derivative of h(s). Let r be w(4). Solve 2*n + 0*n + r = 0 for n.
-2
Let h = 32 - 11. Suppose l - 4*q - h