 Suppose 0 = 4*w - n + 6. Let b = 8 - 4. Solve k - 5*o - 3 + 0 = 0, -b*k = w*o + 11 for k.
-2
Let v(r) be the first derivative of -2*r**2 + 18*r - 32. Let o be v(4). Solve o*n + 29 = -5*c, -4 = 3*c - 3*n + 5 for c.
-5
Suppose -5*j + 0*j + 56 = 4*w, 2*w - 30 = -3*j. Suppose -10*o = -w*o. Suppose o = 2*z + 12 - 40. Solve b + 8 = -3*r - 1, -r - z = 4*b for b.
-3
Let p be -3*(64/(-6) + 1). Suppose 160 = -5*a + 45*a. Solve a = -4*h + 2*n, -3*h - 3*n + 8 - p = 0 for h.
-3
Suppose 2*h - 35 = -31. Suppose h*d = -13 + 39. Solve 6*j - 8 = -r + 2*j, -d = r - 3*j for r.
-4
Let b(s) = s**2 - 8*s + 5. Let t be b(7). Let o be (-230)/(-60) + t/(-12). Solve 3*y = 4*z - 28, -4 = 3*z - o*z for y.
-4
Let b(t) be the third derivative of -t**6/120 + t**5/20 + t**4/4 - 2*t**3/3 + 14*t**2. Let c be b(4). Solve y = -3*w - 14, -c*w - 4 = -2*y - 2*w for y.
-2
Suppose -j - 2*j + 4*q + 6 = 0, -4*q = 2*j - 4. Suppose 4*s + j*t - 14 = 0, -t = 4*s - 5*t - 20. Solve -s*l - 30 = 2*y, 0*y = -4*y + 5*l + 5 for y.
-5
Let t(q) = 6*q**2 + 2. Let x be t(-1). Suppose x = 33*y - 32*y. Solve -3*s + y = 2*i - 0, 0 = 4*s - 5*i + 20 for s.
0
Suppose 0 = -5*y - 1 - 54. Let n = 13 + y. Let k = -32 - -34. Solve -12 = -2*h - k*s, 3*h + n*h + 3*s = 28 for h.
5
Let j be (56/(-20) - -2)/(20/(-50)). Solve -4*q - 8 = 4*s, -j*q + 2 + 3 = 5*s for q.
-5
Let a be 10/(-6)*(-12 + (-144)/(-15)). Solve a*z + 0*z - 3 = -5*y, 2*z - 4*y - 8 = 0 for z.
2
Suppose 11*l = 13*l + 4, 4*l + 8 = m. Solve 2*k + x - 3 = m, -3 = -2*k + k - 2*x for k.
1
Let x = -34 + 45. Suppose -9*c - 36 = -x*c. Solve 0 = -3*l + 4*s + c, 3*l = -4*s - 7 + 1 for l.
2
Suppose -a + 5*f + 400 = a, -3*f = 0. Let i = 200 - a. Let n = -8 + 29. Solve w = -4*q - n, 4*w = -i*w - q - 9 for w.
-1
Let t be -1 + 3 + 2 - -4. Suppose 0 = -3*m - m + t. Solve m*y = r + 1, 5*y = 5*r - 0*r - 5 for r.
3
Let f be 23 - ((-1 - 1) + 0). Suppose 4*k = -0*k - 176. Let r = -39 - k. Solve -s + 2*s + 4*m = -5, -r*s - 3*m = f for s.
-5
Let i = 0 - -2. Let c(s) = -s**2 + 1. Let g(w) = 5*w**2 - 10. Let y(z) = -6*c(z) - g(z). Let l be y(-6). Solve -5*n - 3*o = -l, i*n - 6*n + 3*o + 5 = 0 for n.
5
Let r = 726 - 721. Solve -r*o + f + 23 = 0, 5*o - 8*o = 4*f - 23 for o.
5
Let p(t) = 4*t**3 + 2*t - 2. Let h be p(1). Let g be (2 - 6) + 4*1. Solve -u - h = -g, 0 = -4*k - u - 16 for k.
-3
Let r(y) = -2*y + 78. Let i be r(39). Solve p - 3 = i, 0*p + 4*p = -x + 16 for x.
4
Let y(i) = -2*i**2 - 8*i + 3. Let b be y(-4). Solve 9 = q - b*p - 2, q - 21 = 5*p for q.
-4
Let g = -21 - -23. Solve 2*m - 3*d = 7*m - 8, g*m + 3*d - 5 = 0 for m.
1
Let f be (-8 - -2)/(17/(-17)). Solve 0 = 2*z - 4*z + 8, 2*c + 3*z - f = 0 for c.
-3
Let n = -701 - -704. Solve 4*r + 5*a + 0 = -29, n*a = -r - 16 for r.
-1
Let d = 10 + -7. Suppose 3*r + n - 16 = 0, -77*r - 3*n = -82*r + 8. Solve 5*q + 21 = y, -r*y = -d*y + 2*q + 14 for y.
-4
Let z = 189 + -91. Let u be -7*7/(z/(-4)). Solve -5*j = 10, -2*n - 3*j - u = -0 for n.
2
Let q = -4 + 6. Let k(m) = 3*m**2 + m - 2. Let a be k(1). Suppose a*u - d - 28 = d, -45 = -3*u + 4*d. Solve u = p + 5*b, 0*b + q*b = 2*p + 2 for p.
1
Suppose -7 = 4*u - 4*s - 35, 0 = 3*s + 12. Suppose 0 = w + t - 1, -3*w + 6*t + 9 = u*t. Solve k + w*f - 1 = 0, 0*k + 20 = 2*k - 5*f for k.
5
Let x(l) = 2*l**2 + 33*l + 126. Let w be x(-6). Solve w = 2*h + y + 11, -3*y + 3 = -h - y for h.
-5
Suppose -4*o = -v + 18, -26 = -v - 2*v + 5*o. Let g(d) = d**2 - 20*d + 9. Let r be g(19). Let w = r + 30. Solve m + v*f = -12, 4*m - 2*m + w = -3*f for m.
-4
Let s be ((-12)/(-10))/(4/10). Let t = 156 + -148. Suppose 3*r + s*c = 0, -3*r - 4*c + 35 = -t*c. Solve 7 = -2*d - 3*k, r*d + 20 = -3*k + 7 for d.
-2
Let f(b) = b**3 - 4*b**2 + 3*b + 2. Let w be f(3). Suppose 19*z + 215 = 500. Solve 2*a - 15 = -3*k, -w*k + z = 3*k for a.
3
Let k be -12*(0 + -3*(-5)/(-60)). Solve -3*i = -4 - 5, -5*i + 9 = k*t for t.
-2
Suppose -2*t - l = -38 - 10, 0 = -3*t - l + 70. Solve -1 = -3*c - 2*v - 2*v, 0 = -4*c + 5*v + t for c.
3
Let t = 27 + -21. Let r be (25/90 - t/(-27))*8. Solve 3*d - 2*k - 31 = -6*k, -3*d + r*k = 1 for d.
5
Suppose -4*i + 3*j + 37 = i, -2*j = 8. Suppose -2556 + 2402 = -7*n. Solve 0 = q + i*h + n, -38 = -2*q + 3*h - 17 for q.
3
Let q = 17 + -4. Let v = -16 + q. Let p(w) = w**2 + 2*w - 1. Let m be p(v). Solve 0 = -4*s - 3*f + 9, 4*f - 5 = -m*s - s for s.
3
Suppose -5*v + 10*v - 15 = 0. Suppose 0 = -v*p + 39 - 33. Solve j - 2*j - p*y + 10 = 0, -3*y + 21 = 3*j for j.
4
Let i = 14 - 12. Suppose a = -0*a + i. Solve 2*x - a*n - n + 5 = 0, 0 = 4*n - 4 for x.
-1
Let p(h) = -h**3 + 6*h + 6. Let d be p(-3). Solve 0 = -2*n + 6, 3*n = -3*l + 2*n + d for l.
4
Suppose 2*r + 2*k - 1 = r, -2*r + 26 = -4*k. Let b be ((-2)/6)/(r/(-189)). Suppose 4*a = b*a - 10. Solve z + 4 - 5 = -o, 4*o = -2*z + a for o.
0
Let o be (-1)/(-3*4/(-108)). Let s = o - -17. Solve s = -3*m + 2*r, -5*m + 2*r + 0*r = 12 for m.
-2
Suppose 5*n = n + 5*t + 45, 0 = -2*n + 5*t + 35. Solve 2*v + v = y - 1, -4*y - 10 = -n*v for y.
-5
Let w = 41 + -60. Let x be (-1 - w)*1/(9/6). Solve -x = -5*j - 3*d - 0*d, d = -2*j + 5 for j.
3
Suppose -5*s - 10*n = -8*n - 8, 2*n + 8 = 3*s. Solve -j - u = s - 0, 0 = u for j.
-2
Suppose j = 2, 11 = 5*i + 5*j - 14. Solve i*n + 6 - 1 = q, 2*n - q + 5 = 0 for n.
0
Suppose -22 = 3*p + 3*y + y, -4*p + 8 = -4*y. Let x be p*-2*(-12)/(-16). Solve 0 = 5*s + 3*h + 22, -x*s - 6 = 2*h + 8 for s.
-2
Suppose 2*i = 0, -4*z + 8*i - 12 = 3*i. Let g(x) = x**3 + 3*x**2 - x + 2. Let b be g(z). Solve h - 3*h - 2 = 5*w, -b*w = 0 for h.
-1
Let g(p) be the third derivative of p**5/20 + 5*p**4/24 + p**3/3 + 29*p**2. Let s be g(-2). Solve 2*h + 4*k = -12, -6*k - 41 = -s*h - k for h.
4
Let n be 1/(2 - 33/15). Let d = -2 - n. Let i = 0 - -15. Solve d*t + 2*t = -3*m + i, 2*m + 6 = 2*t for t.
3
Let n(h) = -3*h**2 - 7*h - 2. Let a be ((-8)/(-12))/(2/(-9)). Let c be n(a). Let t = c - -10. Solve -14 = t*o - 5*r, -5*r + r + 14 = -3*o for o.
-2
Let v = -8 - -12. Suppose -v*g = -12, -z + 4*g = 3*z - 8. Suppose -5*k + z*r + 1 = -4, -r + 14 = 2*k. Solve -4*u - 4*o = -8, 5*o + k = 20 for u.
-1
Let p = -64 + 61. Let m be (32/(-12))/(((-4)/p)/(-2)). Solve -m*j + 0*y - 19 = -5*y, 0 = 5*j + 4*y - 7 for j.
-1
Let u(h) = 11*h + 29. Let p be u(-15). Let l be 4/10 + (8 - p/(-40)). Solve -l*c = -5*s - 5, 3*c + 5*s + 6 = 41 for c.
5
Suppose 0 = -2*r - d + 4, 89*r - 20 = 84*r - 5*d. Solve b + r + 5 = 4*z, 20 = -4*b + z for b.
-5
Let q be (30/90)/((-2)/(-6)). Solve -l - 4*d + 3*d - 3 = 0, -5*d = l - q for l.
-4
Suppose 0*f + 3*f = 2*b + 7, 0 = -4*b + 4. Solve -f*w = -o - 10, -2*o - 5 = -w - 0*w for o.
-1
Let g be (-2)/((-10)/(-4)*8/(-40)). Solve -g*u - 7 = -2*l - 3, 4*l = 4*u - 4 for u.
-3
Let l(s) = 4*s**2 - s - 5. Let g = 4 + -1. Let z be l(g). Solve 2*y - z = -2*y - 4*n, 4*n = y + 3 for y.
5
Suppose -11*j + j = -j. Solve 16 = -3*u - 5*h - j*h, -2*u + 3*h + 21 = 0 for u.
3
Let n(l) be the third derivative of -l**6/120 + 13*l**5/60 - l**4/2 + 7*l**3/6 + 20*l**2. Let h be n(12). Solve -f - h - 16 = -5*r, 0 = -2*r + f + 8 for r.
5
Suppose -4*s + 2*j = -2*j, 0 = 5*s - 4*j. Solve -5*d + s*d - 3*b + 2 = 0, 0 = -4*d - 4*b + 8 for d.
-2
Let j be 12/14 + 96/84. Solve -4*d - h + 25 = 0, -15 + 5 = -4*d + j*h for d.
5
Let t = -15 + 17. Solve -3*j + 2*j - 23 = -5*r, 4*j + t*r = 18 for j.
2
Suppose 21 = 5*v - 24. Let s be (10/(-30))/((-1)/v). Suppose 0 = s*r - 38 + 5. Solve 12 = -3*a, 3*u + 2*a - a = r for u.
5
Let h be (-1 - 0) + 42/(-6 - -3). Let d(l) = -12*l**2 - l - 1. Let p be d(-1). Let r = p - h. Solve -r*q + 12 = 3*n, -2*n - 29 = -5*q + 2*n for q.
5
Let l = -6324 + 6329. Suppose k = 2 - 0. Solve 0 = -k*f + 5*g + 6 + 24, -l*g = 20 for f.
5
Let z = 903 + -900. Solve z*x = 5*j - 31, 2*x + 29 = j + 4*j for x.
-2
Let z be 2 + (-33)/12 - (-342)/72. Solve -2*g - 7 = -5*s, -13 = 5*s - 4*s - z*g for s.
3
Let t = 17 - 47. Let w be (-170)/t - 2/3. Suppose -9 - 16 = -5*r - n, -3*r - w*n + 37 = 0. Solve -3*x + 5*f = 1 - 26, 0 = -r*x + 4*f + 20 for x.
0
Suppose 13 = -8*g + 77. Let w be ((-150)/20)/((-6)/g). Solve 2 = 4*z + v - 8, -w = -3*z - 2*v for z.
2
Suppose -3*u + 56 = 4*c, 9 = 5*u - 5*c - 26. Let f be (-4)/u - (-10)/(-6). Let y = 6 + f. Solve -y*d - 10 = 2*b - 0*b, d = 2*b for d.
-2
Let j(w) = 3*w**2 + 29*w + 43. Let l be j(-8). Suppose 0 = -5*o + 1 + 14. Suppose -3*g - o = 0, 3*g