ve -k = -3*w, 2*w - 5*w = 2*h - 23 for h.
4
Suppose -4*u + 2 = 3*n - 25, -2*n + u + 7 = 0. Solve -4*k + 2*f - n = f, -2*k - 4*f = -2 for k.
-1
Suppose -28*q = -34*q. Suppose 55*v - 58*v + 9 = q. Solve r - 4 = -v*t, -2*r + 3 = 2*t + 7 for t.
3
Let s = -1836 - -1846. Solve 3*g + s = -2*x + g, 0 = 4*g for x.
-5
Let t(p) be the second derivative of -p**5/10 + 13*p**4/6 - p**3/3 + 14*p**2 + 24*p - 4. Let d be t(13). Solve 4*w - 4 = -4*q, -3*w - 3 = -q + d for q.
2
Suppose 1130 = -17*k - 1284. Let l = -140 - k. Solve -l*p + 4 = -5*r, -r = -4*r - 3*p - 15 for r.
-2
Let u be (-80)/(-48)*15 + -19. Solve 0 = 4*r - 8*g + 10*g - u, -5*r + 3*g = -2 for r.
1
Suppose -5*r + 3*k + 31 = -0*r, 0 = 3*r + 3*k - 33. Let f be (122/4 + 1)*(r + -6). Suppose 8*a = a + f. Solve -5*c - 10 = 5*d, 4*d - c + 4*c = -a for d.
-3
Suppose 2*p = 2 - 6, -5 = f + 5*p. Suppose 1 = f*m - 9. Suppose -m*c + 16 + 16 = 0. Solve -5*l - 15 = -5*g, -5*l = 3*g - l - c for g.
4
Suppose 16 = 2*a + 2*f, -3*a + 2*f + 4 = -a. Solve 5*q - 5*z - 32 + 7 = 0, -a*z = 25 for q.
0
Let v = -54 + 74. Let q be -3 + 0 + (2 + -1)*v. Let h = -17 + q. Solve -16 = 2*b + 4*a + a, h = 4*a + 8 for b.
-3
Suppose 0*z = -2*z - 0*z + 8. Solve z*a = -2*i, -2*a + 6*i - 4*i = 0 for a.
0
Let n(z) be the second derivative of -z**4/6 + 2*z**3 - 7*z**2/2 + 2*z - 4. Let x be n(5). Solve -3*h + 27 = -x*v, -v = -2*v - 5 for h.
4
Suppose 11*u = 5*u + 30. Suppose -y - y = 4*w + 4, -y + u = -5*w. Suppose -6 = -5*x - 4*s + s, -x + s + 6 = y. Solve x*b + 3 = 0, -2*b - 2*b = 4*o for o.
1
Suppose 6 = -3*b, 3*b = 5*r - 4 - 97. Suppose 5*i = -4 + r. Let k = -2356 - -2360. Solve 5*c - 9 = -2*o, 0 = -4*c + 2*c + i*o - k for c.
1
Suppose h + h - 4 = 0. Suppose 5*r = h*r - 5*t + 89, -2*t + 86 = 3*r. Suppose -110 = -144*n + 89*n. Solve n*k + 6 = 3*i - 0, -4*i = 4*k - r for i.
4
Let p be ((-144)/(15 - 9))/(-2) + 0 + -9. Solve 3*d = -3*x + 53 - 74, -2*d = p*x + 19 for x.
-5
Suppose 44*w - 30 = -4*r + 39*w, 3*r - 4*w = -24. Solve o = -k + 9, 4*o - 5*k + 13 - 4 = r for o.
4
Let s = 63 + -65. Let p be (-2 - s)/(1 + 0). Let m(w) = w**2 + 7*w + 3. Let z be m(-8). Solve 0 = 4*v - 5*j + z, 8 + p = 5*v + j for v.
1
Let z(m) = 2*m**3 + 6*m**2 - 179*m - 533. Let j be z(-3). Solve -11 + 0 = 3*h + j*q, -4*h = -3*q - 2 for h.
-1
Suppose -p = -21*g + 22*g + 3, -18 = -3*p + 6*g. Solve -3*v + 0 + 20 = 4*h, p = -v + 2*h - 10 for v.
0
Suppose 14 = 2*b + 2. Let v = -18 - -30. Let t = b + v. Solve 0*i + 2*i = -2*n, i = 5*n + t for i.
3
Let h(q) = -4*q**3 - 210*q**2 - 103*q + 54. Let f be h(-52). Solve p + 16 - 18 = 2*v, 0 = -5*p - f*v - 2 for p.
0
Let i = -11786 + 11799. Solve 11*y + 2*p + i = 8*y, -4*y + p = -1 for y.
-1
Let v(y) = -y**2 - 224*y + 2097. Let o be v(9). Solve -5*i = 10*a - 12*a - 18, 4*i + 5*a - 21 = o for i.
4
Suppose -23 - 31 - 30 = -28*b. Solve b*s + 4*g - 8*g = -1, -5*g = -4*s for s.
5
Let t = -1823 - -1829. Solve -2*y - 20 = -o - t*y, -3*o + 3*y = 0 for o.
4
Suppose -4*r + 4*l + 132 = 0, 9*l - 10*l + 66 = 2*r. Suppose -4*g - 2*a = g - 55, -a = 3*g - r. Solve 0 = h - t + 3, g = h - 4*h + 5*t for h.
-2
Suppose 92 = 212*h - 184*h + 36. Solve -4*z + h*r = 0, -4*r = 13*z - 9*z - 24 for z.
2
Let m = -17 + 22. Suppose -m*l = 5*c - 30, -8*c = -13*c + 2*l + 30. Solve 2*s - c*s + 8 = 4*k, -5*k + 3*s + 2 = 0 for k.
1
Let z be (217/(-14) - -10)/((-2)/4). Let k(x) = -x**3 + 13*x**2 - 24*x + 24. Let h be k(z). Solve p = -h*r - 7, -5*p = 4*r + 24 - 1 for p.
-3
Suppose -8*l = -15*l. Suppose l = -4*i + 4*b - 24, -i - 24 = 3*i - b. Let k = -6 - i. Solve -5*u + 5*h = -k*h + 5, -5*u - 45 = 5*h for u.
-5
Let b = -6 + 8. Let t(n) = 570*n - 5130. Let a be t(9). Solve m + 2*v + a = 4, -4 = 2*m - b*v for m.
0
Suppose -8*x + 25 = -3*x. Suppose x = 3*t - 7. Let b be (-18)/27*t/(4/(-3)). Solve -k + 20 = -2*v + b*k, 16 = v + 5*k for v.
-4
Suppose -2*n + 5*v + 28 = 0, -36*v + 82 = 4*n - 33*v. Suppose -q = 15 - n. Solve -s + 5*s + q = -4*p, 0 = -2*s - p for s.
1
Let d be 11/(22/8)*(-8)/32*0. Let p be (24/(-10))/4*-5. Solve p*s = -d*s + 12, -4*c - 5*s + 16 = 0 for c.
-1
Let v = 0 + -30. Let x = v - -33. Suppose -x*q + 25 = 10. Solve q*a + 2 = -3, -5*m - 4*a = 4 for m.
0
Let t(f) = f + 27. Let p = 78 - 103. Let d be t(p). Suppose -5*q + 31 = 3*o, 6*q = d*q + 3*o + 14. Solve 4*k + 2*n + 2 = 0, 2*k = -3*k - 4*n + q for k.
-3
Let u be (-17)/(-5) - ((71 - 79) + 126/15). Solve -20*t = -17*t - 3*g - u, -2*t = 4*g - 2 for t.
1
Let d = 384 + -249. Suppose 9*t - d = 27. Suppose -4*m = -2*x + t, -4 = 2*m + 2. Solve 2*l - 4*b - 4 = 5*l, -x*l + 5*b = -32 for l.
4
Let z be (8/6 - 2)*3. Let m = 3 + z. Let u = -212431 - -212431. Solve -4*k + 12 = u, -5*n + m = 2*k + 5 for n.
-2
Let h be -3 + ((-63)/12)/(6/(-8)). Let j be 1/(-5) - ((-130)/25 + 0). Suppose j*t = 12 + 13. Solve 25 = -5*v + h*r, t*v + 0*v - 2*r + 25 = 0 for v.
-5
Let r be (-3)/(42/(-12) - -2). Suppose -2*m = 3*m - 110. Solve -4*v + m = -5*l, -4*l + r*v - 5 = 3*v for l.
-2
Suppose 0 = -5*m + 4*l + 253, 3*m - m - l = 103. Let v = m - 53. Suppose v = 115*k - 119*k. Solve 0*i - 2*i - 3*w = -15, k = -2*i + w + 3 for i.
3
Suppose 16*x = 9*x + 217. Let m = x - 29. Let r be (5 - 54/14)*7/m. Solve -2 = 2*j - d + 2*d, 2*j - r*d = -2 for j.
-1
Suppose -751 + 1910 = 19*c. Let k = -41 + c. Solve 4*g - 2*o = 30, -7*o - k = g - 2*o for g.
5
Let w = 0 + 2. Suppose 5*m = -5*i - 5, 3*m = -971*i + 965*i + 15. Solve 2 = -w*b + i, k = -5*b + 15 for k.
5
Let y be 10/20*(-6 - (2 + -2)). Let p(h) = h**2 + 2*h - 1. Let s be p(y). Solve 0 = s*c + 4*x - 5*x - 9, -c + 4*x + 22 = 0 for c.
2
Let f = -24771 + 24776. Solve -94*p = -99*p - f*g + 5, -2*p + 5*g - 33 = 0 for p.
-4
Let b = -14 - -18. Suppose 6 + b = 5*i. Let a = 41 - 37. Solve -2*k = 4*l + 10, 0 = l + 5*k + i - a for l.
-3
Suppose 130*t - 126*t = 44. Solve -p = 4*k - 4, 0 = t*k - 16*k for p.
4
Let d(f) = -f**3 + 13*f**2 - 21*f + 111. Let m be d(12). Solve -m*g + w = -8*g + 22, 2*w = -5*g + 19 for g.
5
Let a(s) be the third derivative of -1/6*s**4 + 0*s - 20*s**2 + 0 + 17/6*s**3. Let m be a(3). Solve -3*t = 4*v - 17, -v = v + m*t - 5 for v.
5
Suppose 5*u + y - 306 = 0, -3823*u + 3822*u - 5*y + 66 = 0. Solve -4*s = 4*w + 16, 5*w = -4*s + 41 - u for s.
0
Let w(q) = -q - 2. Let n be w(-6). Suppose 8*l + n*k = 5*l + 38, 0 = 4*l - 2*k - 14. Solve -3*o + 2*z + 9 = 0, -2*z - l = -4*o + 2*o for o.
3
Let p(m) = -2*m - 37. Let s be p(-29). Suppose 2*f + 3*k = -20 + s, -4*f - 3*k + 5 = 0. Solve -4*c + 4*u = 3*u + 5, -f*u + 3 = -c for c.
-1
Let p = -22286 + 22292. Solve -i + 3*i = 2, 2*i = -p*a + 2 for a.
0
Let f(n) = n - 4. Let s be f(4). Let i = 57423 - 57420. Solve 4*m - 4*j - 16 = s, -23 = m + 5*j - i for m.
0
Let a = -102 + 117. Let v be ((-20)/(-15))/(5/a). Suppose 4*d = 3 + 5. Solve -2*i - 3*f = 2, -v*f + 2 - 4 = d*i for i.
-1
Suppose 2*l - 484*x + 488*x = 4, 0 = 3*l + 5*x - 6. Solve l*t + 5*g + 6 = -31, 0 = -2*t + g - 7 for t.
-6
Let s(c) be the third derivative of c**4/24 - 31*c**3/6 + 280*c**2. Let p be s(33). Solve 0 = 3*n - 2*b - 23, -19 = -5*n + p*n + b for n.
5
Let x(b) = 138*b**2 + 12007*b + 95. Let n be x(-87). Solve -5*c = -h - 15, 3*h - h = -c - n for h.
-5
Let u(y) = 2*y**2 - 29*y - 3. Let b be u(13). Let n = -39 - b. Solve -4*v = -n*t + 28, 2*t = -0*t + 5*v + 28 for t.
4
Suppose -9778 = -14*m - 9750. Solve -h + 5 = m*s, -9*s = -5*s - 3*h - 35 for s.
5
Suppose -5*h - 2*t + 56 = 0, h + 9*t = 11*t + 16. Suppose 7*c = -x + 8*c + 2, -5*c + 4 = 2*x. Solve -2*j + 4 = x*o + h, -2*j = -o - 7 for j.
1
Let s = -6 - -8. Suppose 0*v + v = -s*u - 5, -3*u = 3*v. Suppose 58*q = -112*q + 146 + 534. Solve q*x - d - 11 = -0, v*x - 2*d - 16 = 0 for x.
2
Let i(u) = -u**3 + 7*u**2 - 3*u - 2. Let a be i(6). Let d = -54 - -74. Let w = d - a. Solve -3*j + w*x = -0*j + 27, -5*x = j - 10 for j.
-5
Suppose -25*m - 5 = -30*m, -4*x + m + 7 = 0. Solve 0 = -3*h - x*w, 3*h - 7*w + 6*w = 9 for h.
2
Let i be (58 - 60) + ((-14)/(-3) - (-5)/15). Solve -i*r - 3*f = 2*r + 28, -2*r - f - 11 = 0 for r.
-5
Suppose -10135*s + 10150*s - 30 = 0. Solve s*t + 3*u = -9, -4*u - 14 = 5*t + 5 for t.
-3
Suppose 2*c - c + 5 = 0, 2*l = c + 9. Suppose -12*b - 20 = -13*b. Suppose 0 = -16*s + 11*s + b. Solve l*q = -3*j, -s*q - j - j = 0 for q.
0
Suppose -4*h + y = -y - 20, 15 = 3*h + 2*y. Let f = 17 + -13. Let d be 2/3 + f + (-42)/9. Solv