5*l - u + 1 = -4*u, -b = -u for l.
-2
Let s = -8937 - -8937. Solve -3*j - 11*i + 10*i = s, -5*j - 3*i = 4 for j.
1
Suppose -20*u + 223 = -60 + 43. Solve -n - 23 = -5*b, n + 4*b - u - 10 = 0 for n.
2
Suppose 200*z - 112 - 458 = 230. Solve 0 = 3*y + 26*s - 22*s + 1, z = -4*y - 4*s for y.
-3
Let a be -4*(3 - (-65)/(-10)). Let s = -17 + 22. Suppose -2*v + s*c + 6 = -31, 0 = 3*v - 2*c - 28. Solve 0*t + a = -2*u + 3*t, 4*u + 5*t = -v for u.
-4
Let f be (-3206)/(-687) + 2/(-3). Let n(a) = 2*a - 2. Let x be n(3). Solve 0*c + 5*c = -b - 5, f = -4*c + x*b for c.
-1
Suppose -26*g + 702 - 462 = -6*g. Solve 6*o = 3*o - 4*c - 28, -o = -4*c - g for o.
-4
Let d(c) = c - 1. Let f be d(6). Suppose 31 = 7*b - 18. Suppose -b*t - 149 = -163. Solve -16 = f*o - w - w, 0 = w + t for o.
-4
Suppose -73*c + 70*c + 4*m - 1 = 0, 11 = 3*c - m. Solve -t = c*k + 2*t - 28, 2*k - 2*t = 8 for k.
5
Let g(t) = -105 + 10*t + 340 - 2*t - 121. Let d be g(-14). Let i(q) = -q**2 - 6*q + 2. Let s be i(-6). Solve -3*x + d*v + 32 = 7*v, -x + 12 = s*v for x.
4
Suppose 4*o = c + 3*c + 192, -o = -2*c - 52. Suppose 0 = -43*f + o*f - 2. Solve 0 = -h - f*i + 12, h - 4 = 4*i - 22 for h.
2
Let v(p) be the third derivative of p**5/60 + p**4/2 + 8*p**3/3 - p**2. Let t = 12871 - 12882. Let k be v(t). Solve -3*j + 5 = k*c - 1, -2*c = j - 2 for c.
0
Suppose -10*d = -8*d + 18. Let x(w) = -w**3 - 11*w**2 - 15*w + 30. Let h be x(d). Solve 2*j - 2*g + 7 = 3, h*j = 4*g - 3 for j.
-5
Suppose 8 + 2 = 5*m. Suppose -3*f + 79 = 6*c - 5*c, 6 = m*f. Let r = -55 + c. Solve 4*x + x - 3*b - r = 0, -5*b = 25 for x.
0
Suppose 0 = 4*m - m + 90. Let d be ((-8)/(-10))/((-6)/m). Suppose 30 = 5*b - 2*s, 0 = 4*b - 0*b + 3*s - 1. Solve -f = w + b*w + 14, 5*f = -3*w - d for f.
1
Let z = 1 + 13. Let f(u) be the second derivative of u**4/6 + 2*u**3 - 26*u**2 - 95*u. Let s be f(-9). Solve -s*v + 20 = -4*t, -2*v - 5*t - z = v for v.
2
Let m = -27684 + 27687. Solve 0 = -m*g, 14*w - 13*w + 1 = 2*g for w.
-1
Suppose 958 = -2*d + 538. Let o = -210 - d. Solve -5*w + 5*l + 5 = o, -5 = 4*w + 2*l + 3 for w.
-1
Let f(a) = -a**3 - 4*a**2 + a - 4. Let n be f(-4). Let i(m) = -36 + 2*m + 4 - 6*m. Let d be i(n). Solve 4*b - 2*g + 22 = 0, 2*g + d + 2 = -4*b for b.
-3
Suppose 0 = -33*t + 44*t - 3300. Let n be 2/10*t/30. Let b be 1/1*-1*-4. Solve 0 = -n*i + 5*r - 7, 4*r + b = i + 12 for i.
4
Let s = 61 - 60. Suppose l = -0 + s. Suppose l - 1 = u. Solve -3*x - 4*a + 3 = 0, 0 = 3*x - 3*a - u*a - 3 for x.
1
Suppose -409 = -4*f - 5*d, 2*d + 92 - 486 = -4*f. Suppose 62*o - f = 54*o. Solve 3*i - o = 0, -3*u + 1 = -i + 20 for u.
-5
Let p(w) = -w**3 + 2*w + 1. Let o be p(-4). Let m = -36 + o. Suppose 4*q - m - 3 = 0. Solve h - k + q*k = -21, -k + 3 = 2*h for h.
4
Suppose 11*t - t - 40 = 0. Let v be ((-8)/(-2) + -12)/(-2). Let o be (-45)/(-55) + v/22. Solve 4*l + 8 = -t*c, o = -3*l - 4*c - 6 for l.
-1
Suppose 0 = -137*d + 177*d - 120. Solve -3*a + 4*j = 10 - 22, -2*a + 8 = -d*j for a.
4
Suppose t - 17 = 3*m, 2*t + 868*m = 869*m + 14. Solve -t*b + g + 21 = 0, 5*g + 9 = 4 for b.
4
Suppose -33 = -3*s + 4*s + 4*w, -3*s - 126 = 3*w. Let l be (-3)/((s/10)/3). Let y = 20 - 12. Solve l*i = -5*m - 28 + y, 0 = -3*i + 5*m - 5 for i.
-5
Let w = -15404 + 15416. Solve n + 356 = -3*d + 362, -2*n + w = 0 for d.
0
Let t(f) = -31*f - 13. Let v be t(-1). Suppose -5*d = 3*m - 19 + 13, -5*d + v = -m. Solve -14 = -d*i + 2*r + 2, 4*i + 4*r = -12 for i.
2
Let c be 8/12*81/6. Suppose 5*m - 2*x = 6*m + 6, c = -5*m - 3*x. Suppose 0*d - 7*d + 35 = m. Solve d*p + n + 15 = -1, 0 = -3*p + n - 16 for p.
-4
Let b be -4 - 1*(12*-1)/(-4). Let v = 9 + b. Solve v*w - 1 = -a + 2, -2*w + 5*a = -9 for w.
2
Let c(d) = -4*d + 50. Let l be c(9). Let s be 36/6*l/6. Solve -f + s = 3*b - 0*f, b + f = 8 for b.
3
Let y(q) = 561*q + 2 - 3 - 558*q. Let j be y(4). Solve -4*w + 2*p - j = -1, w = 5*p - 16 for w.
-1
Let n(u) = 61*u**3 - u. Let t be n(1). Let y = 62 - t. Suppose y*s - 36 = -16. Solve v - 2 - 3 = 2*z, 0 = -v - 3*z - s for v.
-1
Let k(q) = 32*q**2 + 186*q - 9. Let n be k(-6). Solve 6*x - 3*x = 3*t + n, 5*x + 4*t = 0 for x.
4
Let t(f) = -174*f - 15125. Let s be t(-87). Solve 0 = 3*i - 9, -4*l + s*i - 9*i = 24 for l.
-3
Let h = 1739 - 1733. Solve 10 = -k + 2*p, k - 2*p + 4*p = h for k.
-2
Let z be (-3681)/(-21) - 4/14. Let b = -175 + z. Solve k + s + b*s - 5 = 0, -2*k - s = -9 for k.
4
Suppose -3*j + 725*s + 27 = 724*s, -14 = -j + 2*s. Solve -4*n - 2 - j = 2*b, 0 = -5*b + 2*n + 35 for b.
5
Let t = 1993 + -1985. Solve 2*m - 22 = -4*a, m = -3*a + t + 7 for m.
3
Let y(n) be the first derivative of 43*n**2/2 + n - 19. Let p be y(1). Suppose -2*v + p = -0*v. Solve j = -1 - 1, -4*m = j + v for m.
-5
Let d(f) = -97*f - 580. Let v be d(-6). Solve 5*c + y - 9 + 6 = 0, -y = -v*c - 3 for c.
0
Suppose 0 = 919*s - 914*s - 20. Let w = 29 - 29. Solve 3*r = -s*n + 1 - 0, w = r + 2*n + 1 for r.
3
Let f(m) = -116*m + 1165. Let b be f(10). Solve 5*r - b*q = 0, 5*r - 2*r = 4*q + 5 for r.
-5
Let l = -666 + 727. Suppose -l = -2*p + 5*n, -2*p + 4*n + 57 = 3*n. Solve j - 5*j + 29 = 5*y, 5*y = -3*j + p for y.
5
Suppose 2*f = -0*f + 2. Let j be (24/(-56))/(f/(-14)*2). Let r be 3/6 - j/(-6) - -3. Solve -q = g - 7, 3*g + q - r = 7 for g.
2
Let d = 4134 + -4132. Solve 0*c + 16 = -d*u - 2*c, -15 = 3*c for u.
-3
Let k(d) = -22*d + 151. Let p be k(6). Solve 2*y - 3*w - p = 0, 0 = -7*y + 2*y - 2*w for y.
2
Let b = 26517 - 26514. Solve -o + b*c - 10 = 0, 0 = -4*o + 13*c - 8*c - 5 for o.
5
Suppose 26*h - 3287 = 1991. Let q = h + -191. Solve 4*a + 17 - 1 = 4*o, 0 = -3*o - 3*a + q for o.
4
Suppose 193*j - 77059 = -14034 + 31931. Solve 3 = 3*n, j*d - 7 = 495*d - n for d.
-2
Suppose -2406*f = -2421*f + 75. Let p be 2/(-1) + (-2)/2. Let k = p - -11. Solve 3*c + i = -7, -f*c - 4*i - k = 6 for c.
-2
Let d(r) = -7*r + 35. Let c be d(5). Suppose -15*x - 2*u = -20*x + 7, -3*x - 3*u = -21. Solve -x*g - a = -c*g - 16, 13 = 3*g - 2*a for g.
5
Let g be (-232)/(-145) + 4/10. Solve -2*r = 5*w - 15, -17 = -6*r + 3*r - g*w for r.
5
Let m = 4639 - 4629. Solve 3*j = -5*i - 6, 6 = 7*j - m*j for i.
0
Suppose b = t - 2*b + 67, -4*t - 283 = 3*b. Let c = t - -66. Let g be c*(-3 + 10/5). Solve -g*u - 2*o + 10 = 0, 2*u - 7 = 5*o + 4 for u.
3
Let t be 2079/441 - 6/(-21). Solve -2*d + 11 = -t*y, -d - 6*y + 5*y = 5 for d.
-2
Let r = -53 + 57. Suppose -v - i + 2 = -6*i, 0 = -v + 4*i + 2. Suppose 0 = r*j + s - 12, 2*s + 2*s = v*j + 12. Solve j*z = -2*l + 10, -23 = 5*z - 4*l - 3 for z.
0
Suppose -58*r - 30 = -95*r + 118. Solve -4*g + 4*m = 4, r*g - 4*m + 20 = 8*g for g.
2
Let a = -9750 - -9750. Solve a = 5*v - 3*b - 5, 5*v + 5*b = 43 - 38 for v.
1
Let g be ((-3)/(-5 - -6))/(0 - 1). Solve 0 = -3*k + 3*s + g, -10*k + 7*k + 4*s = -8 for k.
-4
Let v = 6215 - 6211. Solve -3*h - j = 9, 3*h + 9 = v*j - 8*j for h.
-3
Suppose 0 = 3*f + 19 + 8. Let q be 3/f*12/(-4). Suppose -3*v + 34 = q. Solve -9 - v = 5*t, 3*i - 3*t = 9 for i.
-1
Let m(r) = 30*r**2. Let p be m(-1). Let i be 3*(-8)/p*(-10)/4. Solve 0 = 4*g + 3*d + 8, i*d = 5*g + 4*d + 17 for g.
-5
Let n be (-1)/(-2)*0/(1 + -3). Let u be 2 + 3 + (-4)/4. Let o(i) = 3*i**2 - i. Let g be o(-1). Solve 2*q + g*m = -u, n = -2*q + 4*m - 5 + 17 for q.
2
Let l be (3*-12)/(-9) - 2106/(-3). Let z = l + -701. Solve -2*x + 4*x - 19 = -z*t, 0 = 4*t - 5*x - 35 for t.
5
Let n = -358 - -63. Let o = n - -299. Solve -2*d = d + c + 15, 3*c = -o*d - 20 for d.
-5
Let g = 402 - 401. Solve 3*c - g = 2*j, -50 = 4*c + 5*j - 13 for c.
-3
Let y(n) = n**3 + 8*n**2 + 23*n + 291. Let g be y(-9). Solve -t - g*l = 16, -t + 17 = -4*l - 9 for t.
2
Suppose 8*g - 256 = 96. Let u be 209/g - 2/(-8). Solve 0*s - 4*s + 10 = -u*x, -5*x = -10 for s.
5
Suppose 0 = -4*i - 3*g + 33, 5*g - 3 - 1 = -i. Suppose 13*s - 10 = i*s - 2*y, 4*s + 3*y = 7. Solve 3*x + 3*m = 2*x + 11, 0 = -5*x - s*m for x.
-4
Let s = -6849 + 6851. Solve 3*w = -s*u - 15, 6*w + u = 5*w - 5 for w.
-5
Let u be (1/(-3))/(624/126 - 5). Let b(h) = -h**2 + 5*h + 16. Let x be b(u). Solve z + 0*z = x*s + 6, -4*z - 4 = -s for z.
-2
Suppose 959 = -5*z + 8*z - 5*w, -z + 314 = 4*w. Let a be z/39 + 2 + (-20)/130. Solve 4*b - 2*y + a = -0*y, -3*b = y + 15 for b.
-4
Suppose 5*b = 5*m + 2 + 8, m + b = 6. Let y be 12*(-3 + 7 + (-7)/m). Let u = -10 - -16. Solve 0 = 5*g - 5*v - 25, 4*v + u + y = 0 for g.
2
Supp