et x be (m + 0 + 1)*1144/352. Solve -5*u + x = 2*w, -2*w - 4*u - 6 = -18 for w.
4
Suppose -13*y + 3429 = 1427. Let b = 157 - y. Solve -g = 2*v - 3, g - 5 = b*v - 7*v for g.
1
Let t = 601 + -603. Let h(b) be the first derivative of -13*b**2/2 - 21*b - 6. Let y be h(t). Solve 2*k + 5*d - 16 = y, 0 = 5*k - 3*d - 6 for k.
3
Let t(a) = -a**2 + 10*a - 10. Let d be t(8). Suppose -d*b + 130 = 112. Let g(j) = -8*j - 9. Let i be g(-5). Solve -5*l + 13 = b*n, i = -4*n + 2*l + l for n.
-4
Let b = -5938 - -5943. Solve 143*f + 3*g - 3 = 140*f, -f + b*g = 11 for f.
-1
Let q be (-2)/11 + 3360/(-33). Let n = -97 - q. Suppose -2 = 7*k - 8*k. Solve -11 = n*i + 2*c, k*c = i - 3*c + 13 for i.
-3
Let i = 36 - 17. Let j = -16 + i. Let k(v) = -v**3 + 18*v**2 + 115*v + 8. Let g be k(23). Solve 5*z - 6*a + 2*a + j = 0, -4*z - 2*a = -g for z.
1
Let z(l) = -9*l + 63. Let v be z(7). Suppose -2 - 24 = -2*y. Suppose 5*w - y = 7. Solve 10 + 8 = 2*h + 4*q, v = -2*h + w*q - 14 for h.
1
Suppose 4*t + 4 - 10 = -2*m, -9 = -t + 2*m. Suppose 4 = 7*d - t. Solve -b - 2*j + d = 0, 0 = 2*b - 0*b + 2*j + 4 for b.
-5
Suppose -2*g = -0*g + 8. Let n = 6 + g. Suppose 504 - 995 = -8*s - 395. Solve 0*d = 4*b - n*d + 8, -2*b - s = d for b.
-4
Let d(v) = 15*v**2 - 14*v + 13. Let w be d(1). Let z be 32/w + (-1 - (-5)/7). Solve 2*s + 2*h = -6, 0*h = -z*h - 2 for s.
-2
Let u = 5744 - 5742. Solve -11*n = -7*n - 20, -3*n + 7 = u*g for g.
-4
Suppose 0 = 8*a - 3*a - 100. Suppose 0 = a*b - 19*b. Suppose 5*l - 116 + 26 = b. Solve -4*v + 5*w = -29, l = -3*w + 3 for v.
1
Suppose 0 = 2*q - 10, -5*d + 2*q - 3 = 17. Let j(k) = 5*k**2 - 34*k - 68. Let t be j(d). Solve -15 = -c - 4*f, f + 0*f + t = -5*c for c.
-5
Suppose -2*n = 14 + 4. Let c = -287 + 274. Let h = n - c. Solve 0*p + 6 = -p + 4*m, -4*p = 4*m + h for p.
-2
Let d be (1/(-2) - 5/10) + -1. Let c be (-14)/(-8)*d*(-2 - 0). Suppose 5*t = -r + 29, 10 = 3*r + t - c. Solve 3*x + 5 = l, -3*x + r*l + 0*l = -7 for x.
-3
Let a be (-14 + 0)/1 - (242 - 243). Let w = -16 - -31. Let j = w + a. Solve 2*z = 5*l - 3*l + 4, -2*z + 3*l + j = 0 for z.
4
Suppose 839*y - 844*y = -2*o - 36, o + 33 = 5*y. Solve 0 = -4*x + 5*k + 8, -y*x + 10*x = -2*k - 20 for x.
-3
Suppose t = -95 + 84. Let n be (-2)/11*(-22 - t). Solve r - 15 = -5*j, 0 = -0*j - n*j + 2*r + 18 for j.
4
Let y be 1104/10 - (-24)/(-60). Suppose 4*j = y + 18. Suppose 34*a - j = 30*a. Solve 0 = -4*i + m - a, -3*m + 12 = -5*i + 2 for i.
-2
Let m(k) = -2*k**2 - 2728*k - 21693. Let t be m(-8). Suppose -2*h + 20 = 5*f, 4*h - 5*h + 4 = f. Solve -t*i + 5*g + 9 = -6*i, h = 4*i - 5*g + 12 for i.
-3
Let b(c) = 5*c**3 - 11*c**2 - c + 6. Let g be b(2). Suppose -3*v - 17 - 12 = -5*t, 38 = 4*t + 5*v. Solve -3*h + 3*k - 6 = g, 3*k = -h - k - t for h.
-3
Let n(s) = -12*s + 1684. Let q be n(140). Solve 19 = 5*x - q*b - 0*b, 4*x = b + 13 for x.
3
Let o(m) be the third derivative of -7*m**5/60 - 2*m**4/3 - 2*m**3/3 + 16*m**2. Let h be o(-5). Let v = -95 - h. Solve 2*i - v*u = 0, 0 - 8 = -i - 2*u for i.
4
Let d be (-1078)/5 + 6/(-15). Let q be (40/(-18))/(-1) - (-48)/d. Solve -q*j + 4*c = -14, -14 = -0*j - 3*j - c for j.
5
Let t be (-18)/(-14) - (-32)/(-112). Solve -4*g = -k - 14 + 7, 3*k - g = t for k.
1
Let d(h) = 4*h + 2 - 9 + 7 - 6 - 14. Suppose b = -0*b + 5*j - 19, -15 = -3*j. Let l be d(b). Solve z + l*r - 11 = 0, -2*r + 6*r - 31 = 3*z for z.
-5
Let g = -3 + 3. Suppose 4*b = 3*a - 47, g = 3*a + 4*b - 2 - 29. Solve -4*c - 1 = 2*j + a, j + 5 = -c for j.
-3
Let l = -5 - -10. Suppose -2*u - 175 = 3*h, -4*h = -2*h + l*u + 124. Let r be (5/(-3) + 1)/(19/h). Solve s = 5*q - 9, 4*s - q + 19 = r*q for s.
-4
Let w(f) = -3*f - 4. Let n be w(7). Let g = n + 43. Suppose -2 = 2*p, -3*p = 4*z - p - g. Solve h = -3*i - 10, 33 - 13 = i + z*h for i.
-5
Suppose 25 = -4*i - 59. Let k = 19 + i. Let q be 5 + k/(5 + -4). Solve 0*y - 3 = -3*n + q*y, 3*y - 11 = -4*n for n.
2
Let x = 82 + -82. Let u(i) = -2*i**3 + 40*i**2 - 39*i + 22. Let l be u(19). Solve 2*b - 5*k + 12 + 7 = x, -k = 3*b + l for b.
-2
Suppose 0 = 12*o - 38 - 22. Suppose -15 = 2*p - o*x, -10 = -5*p + 8*x - 5*x. Solve -8 = p*z + 2*w, -w + 6*w + 3 = -4*z for z.
-2
Let i(v) = -4*v**2 + 180*v + 6. Let l be i(45). Suppose -l*m + 7 = -c - 3*m, 2*m = 8. Suppose -4*b + 22 = 2. Solve b*o + 3*d - 2 = 5, -4*o = -c*d + 24 for o.
-1
Let i be (-9 - 187/(-22))/(2/32). Let y be 16/(i + 4) - -6. Let r(q) = 2*q**2 + 3*q. Let k be r(-2). Solve 14 = -2*p - 4*g, y*g + 5 = -5*p - k*g for p.
3
Let v be (-32)/176 - 31/11. Let j = v - -8. Suppose -f - j = -5. Solve f = x - b, x + 2*b = -2*x - 20 for x.
-4
Suppose 0 = 328*n - 324*n - 84. Let f = 49 - n. Let i(z) = z**2 - 1. Let k be i(-1). Solve 5*q - 4*u = f, 3*q + k*u = 5*u + 22 for q.
4
Suppose 0 = 5*u + 2*o - 270, -u - o + 536 = 482. Solve 2 = -4*f - 2*w, 4 = u*w - 50*w for f.
-1
Let i be 8/5 + 4/10. Suppose 4*t - 11 = -2*j + 3*t, j + 3*t = 8. Suppose -4*g + 12 = 5*c, -j*c + g + 9 + 13 = 0. Solve -5*r - 15 = 5*p, p + 0 - i = c*r for r.
-1
Let j = -162 - -70. Let p = j + 97. Solve -35 = p*r + 2*l, 0 = r - 6*r - l - 30 for r.
-5
Let w = 26 + -21. Suppose 4*m - 8 = -r, -w*m + 13 - 3 = 4*r. Solve 0 = -4*c - i - 2*i + 28, 2*c - 2*i = r for c.
4
Let f be -10 + 20/28*7 - -1*8. Let a = -2 - -2. Solve a = -3*q - 0*x + 2*x - 14, -f*x = 2*q - 8 for q.
-2
Let b = 748 + -797. Let j = b - -53. Solve -2 = -0*p + p + r, j*p - 2*r - 16 = 0 for p.
2
Let z = -11566 + 11567. Solve 0 = -l + 4*l - 4*r + 10, 0 = -2*l - 5*r + z for l.
-2
Let a be ((-342)/(-9) + -10)/(2 + -1). Suppose 0 = 261*g - 275*g + a. Solve 0 = 3*j + 15, g*j + 18 = -4*q + 2*q for q.
-4
Suppose 2*i = 6*z - z + 5, 2*z = 5*i + 19. Let q = 12 + i. Solve -31 = 3*l - 4*f, q*l = 3*l - 5*f for l.
-5
Suppose 2*c = -4*k + 2, -3*c + 3 = -3*k - 9. Let z(m) = 10*m**2 - 18*m - 18. Let b be z(k). Solve -22 - b = 4*a - 4*l, 5*a + 32 = 3*l for a.
-4
Suppose -15*a - 126 = -21*a. Suppose 3*u = 9*u. Solve 0 = i - u*i + 4, -5*z - i = -a for z.
5
Let f = -4844 + 4846. Solve -63 = 4*w + 2*a - 61, w + f*a = 1 for w.
-1
Let f = 40 - 35. Suppose -f*m + 52 = -m. Let j(i) = i**3 - 13*i**2 + i - 10. Let q be j(m). Solve -2*d + q*x + 7 + 5 = 0, -d - 5*x = 20 for d.
0
Suppose 3*n + 2*v - 184 - 476 = 0, -3 = -v. Let y = n - 214. Solve 2*a - 10 = 0, -2*a + 5 - y = 3*u for u.
-3
Suppose 0 = -2*w + 5*a + 71, 6 - 106 = -3*w + a. Suppose -13 = o - f + w, -f = 0. Let r = o - -51. Solve -r = 4*h + 3, 0 = -3*j + h + 8 for j.
2
Suppose 11*s + 12 = 15*s. Suppose 0 = -q + 15. Suppose -s - q = -2*l. Solve 4 = 4*z, l = 3*m - 3*z + 27 for m.
-5
Suppose 5*x = c + 21, 2*c - 3 = x - 0*x. Let k(t) = t**2 + 6*t + 11. Let i be k(-2). Solve x*w - 15 = i*q - 5, 5*q = 5*w for q.
5
Let j be (-48)/15 - -3 - 62*3/(-30). Solve j = 5*d + 2*p + 1, -3*d - 5*p = -3 for d.
1
Suppose 10*y - 24 = 26. Suppose -p - 2*m - 3 = m, p - y = 5*m. Solve 2*b + 4 = -3*n, -n = 5*b - p*b + 10 for n.
0
Suppose 5*d + 0 + 7 = 4*h, -6 = -h - 3*d. Suppose -h*f = -7 - 2. Suppose 9*l + 22 = 13*l - 2*r, 4*r = -l - 17. Solve 3*t + l*v - 7 = 5, 4 = -f*t + v for t.
0
Suppose -11*l - 3 = -14*l. Let m be 60/10*l/3. Let g = 4 + 2. Solve -k - g = -m*w, -4*w + 2*k = -2*w - 8 for w.
2
Let a(h) = -h**3 - 6*h**2 + 78*h + 5. Let g be a(-13). Suppose -31*m + 136 + g = 0. Solve -3*n = 5 + m, 3*x + 2*n = -25 for x.
-5
Suppose 0 = -10*t + 9*t. Let f be (-2)/(-6)*0 - (-4 + t). Solve 3*j + s = -f, 2*s + 4 = j + 5*s for j.
-2
Let m(x) = 19*x**2 - 1. Let h be m(1). Let i = -106 - -112. Let f = h - i. Solve -3*v - v - b = -12, -5*b + f = -4*v for v.
2
Suppose -186 - 194 + 396 = s. Solve 3*n - a + 8 = 0, s*a + 2 = 17*a for n.
-2
Let z(m) = -m + 24. Let b be z(21). Suppose -3*w + 52 = 5*k, b*k + 3*w - 25 = 11. Solve -4*l - k*x + 3*x - 15 = 0, -l = 3*x + 2 for l.
-5
Let a = 2944 - 2940. Solve 2*g + 15 = b + 7, 0 = g + 5*b + a for g.
-4
Suppose 4*r + 13 = 5*r. Suppose 5*b - 4*s - 2 = -0, -5*b - s - r = 0. Let a = 4 + b. Solve 3*l - 7*l - q = -9, -5*l - a*q = -9 for l.
3
Let t(q) = q**3 - q**2. Let c(s) = 3*s**3 - 24*s**2 - s - 15. Let l(v) = c(v) - 4*t(v). Let b be l(-20). Solve 0 = -2*u - b*g - 0*g + 21, -4*g + 18 = 2*u for u.
3
Let h(b) = 5*b**2 - 4*b**2 - 2*b**2 + 6 - b - 2*b**2. Suppose 4*a = 16*a + 2*a. Let m be h(a). Solve 0 = -2*z + m, -2*z + 9 = -5*i - 12 for i.
-3
Let o = -18940 + 18943. Let d(w) = -w**