uppose -5*y = -4*h - 29, 3*y - 7*y + 17 = 3*h. Let b be o(y). Solve -b*s + 6 = -9 for s.
3
Let b be (-4)/(-3)*(20 + 10). Solve -3*z - 5*z - b = 0 for z.
-5
Suppose 11 = -5*y - 4. Let z be y/(-9) + (-76)/(-6). Suppose -4 = 2*d - 12, 5*p + 2*d = z. Solve p = -0*o - o for o.
-1
Suppose -4*m + 16 = 0, 0 = b - 2*m + 7*m - 21. Solve -b = -z + 1 for z.
2
Let o(w) be the third derivative of -w**6/120 + 3*w**5/20 + w**3/3 + 2*w**2. Let v = -39 + 48. Let s be o(v). Solve -s = -r - 3 for r.
-1
Let b be (-3 - 2)/(45/(-9)). Let p(l) = -l**2 - 9*l + 13. Let m be p(-10). Suppose 2*a - 2*q - 12 = 0, -q = 1 + m. Solve a = o + b for o.
1
Let n(d) = -2*d**2 - 3*d + 6. Let c be n(-2). Solve -2*f + c = -f for f.
4
Let c = 25 - 24. Let l be c + 2 + (8 - 4 - 7). Solve l = -2*f + f for f.
0
Let z = -10 + 12. Suppose -3*f + 6 = -3*h, z*f + 0*f + 2*h = -4. Suppose f*d = -d + 9. Solve d*y = 4*y - 20 for y.
-4
Let d(s) = -s**2 + 9*s - 11. Let w be d(15). Let o = w - -101. Let c be (8/(-6))/(2/(-3)). Solve o = c*h - h for h.
0
Suppose 5*o = 3*d + 90, -3*o + 45 + 10 = -2*d. Let u be 3/12 + 4/(128/(-8)). Solve h + 4*h - o = u for h.
3
Suppose 0 = -5*c + 9*z - 5*z + 50, -5*z = 25. Solve 0 = 5*p - c - 4 for p.
2
Let h(a) = a**3 + a**2 - a + 2. Let m be h(0). Suppose y + 4 = -3*b - 0, -m*y + 8 = -2*b. Solve -t + 0 = y for t.
-2
Let u(b) = -b + 10. Let j be u(9). Let z be (j/1)/(3 - (-20)/(-8)). Solve -h = z*h for h.
0
Suppose -7*d - 4 + 39 = 0. Suppose -4*n + 0*n = 8. Let j be (5 - 1*n)*1. Solve d*f = -18 - j for f.
-5
Suppose 15*k + 5 = 16*k. Solve -2 = -k*t - 22 for t.
-4
Suppose -4*y = -3*y - 19. Suppose -v - 9 = 3*z, 0 = 2*v - v - 4*z - y. Solve 2*w = -v*w - 25 for w.
-5
Let k = -314 - -321. Let n(z) = z**2 - z + 1. Let d(b) = -b**2 + b - 2. Let o(c) = 2*d(c) + 3*n(c). Let q be o(-2). Solve -q*x - 13 = k for x.
-4
Suppose 1242 = 76*s + 62*s. Solve -s*m + 6 = -7*m for m.
3
Suppose 7*x = -34 + 104. Solve -59*r = -61*r - x for r.
-5
Let x(r) = 18*r - 12. Let d be x(7). Suppose -y + d = 5*y. Let i = 15 + -11. Solve -y + i = 5*n for n.
-3
Let d(s) be the third derivative of -s**4/24 + 3*s**3/2 + 8*s**2. Let u be d(5). Let f(m) = m + 2. Let w be f(6). Solve -w = -u*y + 4 for y.
3
Let u = -1678 - -1696. Solve -u + 2 = -4*v for v.
4
Let x(i) = -i**3 + 14*i**2 + 15*i - 1. Suppose -5*h + 7 + 23 = f, 5*f = 3*h + 66. Let o be x(f). Let q be -1 - (-3 + 0) - o. Solve -p - 8 = q*p for p.
-2
Let s(q) = 4*q**2 + 25*q - 11. Let i(o) = -o**2 - 8*o + 4. Let p(x) = -7*i(x) - 2*s(x). Let r be p(4). Solve r*l = -11 + 5 for l.
-3
Let k(b) = 81*b - 75. Let x be k(1). Solve 8 = -x*g + 2 for g.
-1
Let c = -8 - -10. Suppose -176*x + 64 = -160*x. Solve -2*l = c - x for l.
1
Let b = 17 + -20. Let a be (-2 + 16/6)*b. Let s be 2/a - 1*-9. Solve 3*o + s = -7 for o.
-5
Let g(z) = -z**3 + 7*z**2 - 6*z - 2. Let c be g(6). Let m be (-3)/c*20/15. Suppose h + 0*h = 4*w - 1, m*w + 3*h + 3 = 0. Solve w = -n + 5*n + 12 for n.
-3
Let h be ((-6)/(-7))/3 - (-1944)/(-189). Let w be (-30)/h - (-1 - -3 - 4). Solve m - w*m = 12 for m.
-3
Suppose -5*a - 3*w = -24, 3*a - 6 = 6*a - 5*w. Let x(z) = 3 - 6*z + 3*z + a*z + z. Let n be x(-2). Solve -n - 2 = 3*q for q.
-1
Let k(p) = 22*p - 415. Let x be k(19). Solve -u = -3*u + x*u for u.
0
Let i = -174 - -182. Solve 0 = -8*g + i + 8 for g.
2
Let s = -278 - -125. Let i = 216 + s. Suppose 0 = -15*g + 12*g + i. Solve -4*j - g + 9 = 0 for j.
-3
Let t(u) be the second derivative of 1/2*u**3 + 3*u - 1/12*u**4 - u**2 + 0. Let b be t(2). Solve -i + 0 + 1 = b for i.
1
Let d be (28/35)/((-4)/(-50)). Let l = d + -5. Solve l*j + 0 = 20 for j.
4
Let j(h) = 78*h**2 - 2*h + 16 + 7*h**2 - 15. Let a be j(1). Suppose 5*k + 0*w - a = 4*w, -5*w + 11 = k. Solve -5*c + 9 = -k for c.
5
Suppose 5*d - 9 + 4 = -5*u, -3*u - 5*d + 5 = 0. Suppose -2*s + 18 - 10 = u. Solve s*b = 5*b + 4 for b.
-4
Suppose -48*i + 36 = -36*i. Solve -i*c = -4*c for c.
0
Suppose -m - 17 = -20. Solve -m*v = -7 + 4 for v.
1
Let z(s) = 3*s - 22. Let x be z(8). Solve -x*p + 3*p = 0 for p.
0
Let d = 2108 - 2015. Solve 91*h - d*h - 8 = 0 for h.
-4
Suppose 0 = -4*s + 3*s - 10. Let f be 8/(-5)*125/s. Solve -4*r + 0*r = -f for r.
5
Let s(t) = t**3 + 5*t**2 - 22*t + 17. Let h be s(-8). Solve 10*j + 39 + h = 0 for j.
-4
Suppose 65*l - 79*l = -112. Solve -s + l = -3*s for s.
-4
Suppose -40*s + 45*s = 120. Solve -6*p - s = -0*p for p.
-4
Let t = 51 - 49. Suppose -t*v + 2 + 2 = -2*c, v = 5*c + 10. Solve v = -4*s + 3*s + 3 for s.
3
Let h(g) = g**2 - 11*g + 41. Let s be h(5). Solve -6*j - 5 = -s for j.
1
Suppose -14*g + 10*g + 40 = 0. Suppose -g - 6 = -4*z. Solve -5*s - 14 + z = 0 for s.
-2
Let g(l) = l**2 - 22*l + 20. Let a be g(17). Let r be a/(-3) - (-25)/(-15). Solve 0*c - 4*c + r = 0 for c.
5
Let d be (-5 - -9)*(-30)/(-8). Let n = d - 11. Suppose 2 = -3*w + n*w. Solve -10 = -4*f + w*f for f.
5
Let n(f) = 2*f**2 - 14*f + 22. Let y be n(8). Let z = 41 - y. Solve -4*r + z*r + 4 = 0 for r.
4
Suppose 0 = 4*o + 2*z - 386, 97*z - 96*z = -o + 97. Solve 40 = -34*u - o for u.
-4
Let h = 86 + -83. Solve h*u = 2*u - 1 for u.
-1
Let x = 2 - 8. Suppose 4*u - 5*c - 16 = 0, u + 2*c = -0 - 9. Let t be u/((-16)/x - 3). Solve -5 = t*a - 2 for a.
-1
Let f(t) be the first derivative of t**2/2 + 12*t - 3. Let q be f(-5). Suppose 0 = -4*n + 3*j + q, -n + 2*n + j = 7. Solve 0*w = n*w + 16 for w.
-4
Let m be -10 - -65*(9 - 8). Solve 10*h + m - 5 = 0 for h.
-5
Suppose -5*z = -5 + 110. Let o be (-42)/3*30/z. Solve -3*c = 2*c - o for c.
4
Suppose 11 - 4 = n. Suppose 43 = 2*q - n. Suppose 5*b + 2*z - q = 0, 4*b - 2*z - 47 + 9 = 0. Solve -2 = 3*u + b for u.
-3
Let d = 15 - 4. Let y = d + -9. Suppose 4*i - 30 = -y. Solve -5*q - 2 + i = 0 for q.
1
Let q be 45/5*(-2)/6. Suppose -16 = -3*v - v. Let r be ((-1)/v)/(q/60). Solve 0 = r*g - 16 - 9 for g.
5
Let s(x) = -6*x + 50. Let j be s(6). Suppose i + 11 = 3*y, 3*y + 5 + j = -5*i. Let n = -8 + 14. Solve -y*c + n = c for c.
2
Let a be 3 - 2/1 - -2. Let f be (-3 - -5)/((-13 - -16) + 40/(-15)). Solve -b - a = -f for b.
3
Let d = 32 + -50. Let u = d + 21. Solve u = n - 0*n for n.
3
Let t be 14 + -1 + 1 - 492/123. Solve 0 = 12*s - 2*s - t for s.
1
Let p(c) = 2*c - 6. Let z be p(14). Solve z - 30 = 2*i for i.
-4
Suppose -10*d + 9 = -21. Solve -5*b - 22 = d for b.
-5
Let n(p) = -p**2 - 11*p - 30. Let r be n(-5). Suppose r*c + 25 = 5*c. Solve -2 + 7 = c*q for q.
1
Let f = 57 - 52. Solve -f*b = 4 - 9 for b.
1
Suppose 6*a + 2*f = a + 2, -2*a - 5*f = 16. Suppose -2*m + m = a*m. Solve m*s = -s - 5 for s.
-5
Suppose -9*n - 14 = -23. Let u(b) = 2*b + 3. Let l be u(n). Solve 10 + 15 = l*r for r.
5
Let q(n) = -n**2 - 10*n - 14. Let y be q(-8). Let w be 3 - -1*y/(-2). Solve w*m - 20 = -3*m for m.
4
Let l(z) = 5*z**3 + 2*z**2 - z + 1. Let k be l(-2). Let h = -9 - k. Solve 3*g + h = -2*g for g.
-4
Suppose -4 = x, -w - 3*x = -0*w + 7. Suppose 7 = f + w. Solve i + 1 - f = 0 for i.
1
Let r = 26 + -22. Solve 0 = 8*t - r*t for t.
0
Suppose 4*t = 7*t + 27. Let y = -12 + t. Let r be 5/(y/18 + 2). Solve -4*z - 6 = r for z.
-3
Let n be 5/((-2 - -1)/(-3)). Suppose -p - 22 = -22. Solve p*k = -5*k + n for k.
3
Suppose 0 = 7*u - 32 - 59. Solve -10 = -t - u for t.
-3
Let k be (68/(-51))/(4/(-30)). Solve 3*m = 5*m - k for m.
5
Suppose 2*j = 5*i + 27, -i - 2*i - 9 = 0. Solve 0 = j*d - 15 - 3 for d.
3
Suppose 111*i = 115*i. Solve i = 3*s + 6 + 6 for s.
-4
Let v(r) = -r**2 - r + 30. Let c be v(0). Let y(k) = -k**2 + 3*k + 2. Let p be y(3). Suppose c = 3*g + p*g. Solve g*z = 2*z - 12 for z.
-3
Let j be (-1 - 15/(-3)) + 0. Suppose -6*w + 6 = -j*w. Solve 0 = 6*p - w*p + 9 for p.
-3
Let z be (-5 + 3)/((4/272)/(-1)). Solve 138*t - 8 = z*t for t.
4
Suppose -362 = 5*a - 372. Solve 5*q = a*q - 6 for q.
-2
Suppose -3*a = 3*i - 42, -a - 5*i + 40 = 6. Suppose -3*g + a = -0. Suppose v + 4 = g*v. Solve v*h - 3 - 1 = 0 for h.
2
Let v(y) be the second derivative of y**5/20 - 13*y**4/12 + 13*y**3/6 - 5*y**2 - 3*y. Let o be v(12). Solve -4*n = 6 - o for n.
-1
Let i be 1 - (-6 + 3 + -5). Solve -i = -5*a - 29 for a.
-4
Let n be 7*(40/28 - 0). Let c be (88/(-55))/(((-2)/n)/1). Let f = -2 - -2. Solve 4*u = -f*u + c for u.
2
Let u(f) = 7*f**2 - 53*f - 21. Let b be u(8). Solve 5*y - b*y = 0 for y.
0
Let s = 12 + -6. Suppose -g + d - 4 = 0, 5*d = s*g - 4*g + 20. Let p be 0 + g + 