 b = -5*s + 10, s + b = 4*b + j for s.
3
Let j be (-2 + 427)/5 - 0. Suppose j - 97 = -4*c. Solve -c*n = -3, 0*i - i = -n for i.
1
Let i(h) = -6*h + 1. Let v be i(1). Let a be (-24 - -22)/((-11)/(-5) - 2). Let f be v/a*-2 + 3. Solve y + 5*j - 8 = -0*y, f = 2*j for y.
3
Let u = 1009 - 1708. Let r = u + 703. Solve 0 = -r*g - 2*w - 2, 6*g = 5*g + 4*w - 23 for g.
-3
Suppose -28 = -9*z + 26. Suppose z*i + 64 = 88. Let o be -2*(-2 - -3) - -4. Solve -5*a + o*k = k + 15, -i*a + 2*k = 12 for a.
-3
Let n(c) = 3*c**2 - 27*c + 24. Let k be n(8). Suppose -58*j + 29*j + 27*j = k. Solve 4*h + 20 = j, d + 2*d - 5*h - 37 = 0 for d.
4
Let o be (20/(-15) + 58/12)*(-132)/(-21). Suppose c = 5*c - 16. Suppose -x = 3*x + 2*p - 14, 5*x + c*p - o = 0. Solve -4*h + j = -8*h, 3*h = x*j for h.
0
Suppose -39*c + 375 = 57 - 1242. Solve -4*t - 35*l = -c*l - 16, -5*l + 8 = 2*t for t.
4
Let h(p) = 40*p**2 + 2*p**3 - 20*p - 90*p**2 + 10 + 61*p**2. Let c be h(-7). Solve -4*r = -2*t - t, -4*r - 24 = c*t for t.
-4
Suppose -204 = -933*p + 916*p. Solve 2*i - 4 = t, 5 = -2*t - i + p for t.
2
Let q(p) = -2*p + 7. Let x(h) = -8*h - 30. Let f be x(-4). Let c be q(f). Solve -t + 21 = -5*i - 0*t, c*t + 32 = -4*i for i.
-5
Let w = -167 - -169. Suppose 5*r + g = 77, -w*r + 20 = 2*g + 2*g. Solve -5*m - r = -2*d - 0*m, 14 = -d - 3*m for d.
-2
Suppose 7*k = -k + 160. Let l = k + -16. Solve m - l*c - 17 = 0, 4 = -m - 2*c - 3 for m.
1
Let a(w) = w**2 - 6*w + 6. Let x be a(6). Let n be -1*(x/16 - 1139/136). Solve u = 3*y - n, 0*y + 2*y - 9 = -3*u for u.
1
Suppose 0 = -3007*i + 2986*i + 105. Solve -i*j + 2*x = -37 + 7, -31 = -4*j + 3*x for j.
4
Suppose -50 = 2*a - d - 47, -5*a = -2*d + 4. Suppose -5*v + 101 = -4. Suppose s + r - 4*r = v, -r - 11 = -s. Solve 0 = -2*w + 4*x + 10, -w + a*x + s = -x for w.
3
Suppose 3*o + 335 = 5*w, w + 260 = -2*o - 3*w. Let l = o - -131. Solve 2*u + l = -d - 2, 21 = -d - 4*u for d.
-5
Suppose 0 = 126*b + 238*b + 101*b - 27900. Solve -18 = 3*z - x, -b*z - 35 = -56*z - 5*x for z.
-5
Suppose -14*v = -7*v - 28. Solve 2*s = 5*h + v, 4*h - 5*s = -s + 4 for h.
-2
Suppose -4*b + 961 - 469 = 0. Suppose 143 = 4*o + b. Solve -2*m = -2*p - 2*p - 6, -p = -o*m - 12 for p.
-3
Let k be (-150)/(-125)*(28/6 - 3). Solve 0 = -2*s + 2, 4*n + k*s = -0*n - 14 for n.
-4
Let k(y) = 25*y + 1103. Let r be k(-44). Solve r*w - 11 = c, 5*c + w + 23 = -0*w for c.
-5
Let p(o) = 3*o**3 + 2*o**2 - 4*o + 4. Suppose -14 = -4*y - 2*x, 0 = -5*y + 2*x + 3 - 8. Let c be p(y). Solve 0 = 4*j + 8, 0 = 3*h - 0*j - c*j - 19 for h.
3
Suppose -25 = -n + 6*n, -4*n - 18 = 2*s. Suppose -s = -6*b - 25. Let t be 7 - 3/((-6)/b). Solve 4*o + 22 = -t*f + 2*o, 0 = -2*f - 5*o - 13 for f.
-4
Let r(z) = -2*z**2 - 51. Let i be r(0). Let t = -35 - i. Let l be 92/t + 3/12. Solve -4*v - l = -2*n, -2*v + 5*v = -5*n + 15 for v.
0
Let n = 2510 - 2505. Solve 5*t - n*c + 12 - 37 = 0, 0 = 2*c for t.
5
Suppose -33 = -223*a + 220*a. Suppose k + a = 11. Suppose -7*g + 30 + 5 = k. Solve -2*b = 5*q - 3*b + g, 3*q + 5*b - 25 = 0 for q.
0
Let b be 50*-17*(-2)/68. Solve r - 2*v + b = 22, 0 = r + 4*v + 3 for r.
-3
Let b(k) = -2*k + 22. Let p be b(10). Suppose -5*r = -2*r. Suppose -p*i - 2*x + 6 = r, i + i + 5*x - 9 = 0. Solve -i*c + 4 = -t + c, -2 = -2*c for t.
-1
Suppose -y + 2*y - 45 = 0. Let d be 2*2/(-52) + 13244/(-2236). Let c be d/10 + 1332/y. Solve 0 = 4*i + 5*u + c, 0 = -i + 5*u + 21 + 3 for i.
-1
Suppose 15 = -3*r + 8*r. Let n(p) = 2*p**2 - 30*p + 19. Let z be n(15). Suppose -w + 35 = z. Solve 4*m - r*i = -5, -i = -m - 6*i + w for m.
1
Let z be 7 + -25 + 32 + 3/3. Solve 3*b - 3*a - 30 = 0, 2*a - z = 5*b - 10*b for b.
5
Let i be 7/3 - 3/9. Let r(a) = 22*a**2 + 7 + 2*a**3 + 22*a**2 - 32*a**2 - 13*a. Let s be r(-7). Solve -2*g + 3*y + s = -4, 2*y = 2*g - i for g.
-1
Let v be 7/((-25)/15 - -2). Suppose 0 = 8*n + n + 72. Let l(k) = 4*k**2 + 30*k - 11. Let z be l(n). Solve 0 = 4*d + i + v, -3 + 33 = -z*d - 2*i for d.
-4
Let v(s) = s**3 - 5*s**2 - s + 5. Let k be v(5). Suppose -2*t + 64 = 2*t. Suppose -d + t = 7*d. Solve -2*h + 8 = -4*w, k*w + 8 = d*w + 5*h for w.
-1
Let d be (-129)/(-172) + (-38)/8 - -8. Solve 14 = -v - 2*t + d, -v + t = -5 for v.
0
Suppose -5*m + 100 = -4*c + 156, 2*c - m = 16. Solve -204*x - 4*f = -205*x - 9, -c*x - 2*f = 0 for x.
-1
Suppose -15 = 3*i - 54. Let l(d) = d - 3. Let r be l(7). Let a be ((-5)/(-3))/(2/6). Solve c = -2*s + 7, r*s = a*c + i + 8 for c.
-1
Let j be -1 + ((-12)/10 - (-1701)/405). Solve -35*t + 31*t + j*x = 0, -3*t - x = 10 for t.
-2
Let z = -3 + 17. Suppose -6*n = -3*n - 219. Let c = n - 66. Solve -c = -2*h + d, 3*h = -3*d + d + z for h.
4
Suppose 5*b - 40 = -5*n, -n + b - 2 = -4. Let w be (10/4)/(25*5/100). Solve -5*s + 5 = q - w, 5*s = -n*q + 15 for q.
2
Let u(k) = 96*k + 2019. Let w be u(-21). Solve -17 = -o - w*j, 99*j = -o + 95*j + 21 for o.
5
Suppose -4 - 14 - 11 = -29*j. Solve -x - j = 0, -9*q - 21 = -14*q + x for q.
4
Let h(p) = 7*p - 27. Let s be h(4). Let r be 8 - -24 - (-2 - s) - -1. Solve 5*b + 16 = u, -4*u - r = 3*b + 2*b for b.
-4
Let h be ((-31)/31)/((-1)/((-6)/(-2))). Suppose h*i + 5*q - 8 = 4*i, 2*i - 2*q = 0. Solve -i*r = 4*g - 14, 2*r = 3*g - r + 12 for g.
1
Let r be (-6)/(-3)*((-3)/2)/(-1). Suppose -5*h - 3*y = -3, -4*y + 1 = 4*h + 5. Solve r*f - 4*f - h*t = 0, -t = 5*f + 14 for f.
-3
Suppose 0 = -45*w + 42*w + 30. Let s(x) = -x**3 + 2*x**2 - x + 4. Let o be s(0). Let r = -1 + o. Solve -y = -r*m - 4*y - 6, -w = -m + 5*y for m.
0
Let q be (-4)/(-4) - (-9)/(27/(-246)). Let z = -79 - q. Solve 5*h + 2*d = -18, 0 = -0*d - 2*d + z for h.
-4
Let k = -25445 - -25449. Suppose -5*v - s + 26 = 0, -6*s = 4*v - 2*s - 24. Solve -2*n - 10 = -k*n + 4*m, 0 = -v*n + 4*m + 7 for n.
-1
Let z(j) = -j. Let n be z(-5). Let k(a) = a**3 + a**2 + 2*a - 12. Let h be k(2). Let t be 15 + (h + -74)/7. Solve 4*u - t*d + 17 = -6, n*u = -3*d - 1 for u.
-2
Let w be 5 + 968/33*(-42)/(-2). Let h = -619 + w. Solve -o = 4*d - 6*d + 2, -h*o - 10 = 2*d for d.
-1
Let f be -20*((-18)/5 + 4). Let t = -41 - f. Let n be t/(-12) - ((-10)/8 - -2). Solve s + 0 + 2 = 2*r, n*r + s + 6 = 0 for r.
-1
Let n = 1535 - 1532. Solve 0 = 8*h - 3*h + 5, 9 = -3*p - n*h for p.
-2
Suppose 0 = b - 2*q + 13, 40*b - 5*q = 38*b - 35. Solve -3*w - b*s = 17, 3 = -2*w + 19*s - 14*s for w.
-4
Let a be (-5)/((-15)/(-48)) + 24. Solve n = -p + 2 - a, 4*p + 22 = -2*n for n.
-1
Suppose -a - 8*b + 5*b - 2 = 0, -3*a + 24 = -b. Let w be 1 + 11 - (a - 0). Solve 20 = w*u, -5*i = -5*u + 2*u + 22 for i.
-2
Let x be 6/8 - (-1547)/364. Solve x*n + 5*s - 26 = 7*s, -n + 1 = s for n.
4
Let d be 17271/4275 - (-3)/(-75). Solve 0 = 3*j + 3*f - d + 22, -j + 2*f = -3 for j.
-3
Suppose -h = 5*x + 3669 - 3663, -2*x - 20 = -4*h. Suppose -4*j = 2 + 2. Let b be -1 + 2 + 5 + j. Solve -h*s + b = -3*s, 2*w - 4*s + 30 = 0 for w.
-5
Let x(o) = -27*o**3 - o - 2. Let g = 42 + -43. Let p be x(g). Solve 0 = 5*d - i + p, 0 = 2*d + 2*d + 2*i + 18 for d.
-5
Let h(s) = 2*s - 9. Let t be h(7). Suppose -5*b = 902*o - 905*o - 14, 2*o + 4 = 2*b. Solve t*u - b*m = -15, 4*u - 3*m - m = -12 for u.
-3
Let u = -1936 - -1940. Solve -u*z - 8 = 4*t - 9*t, -4*t - z - 2 = 0 for t.
0
Let g be 6*(29/(-3) - 0). Suppose -82*d + 122*d - 89*d - 2744 = 0. Let s = d - g. Solve -9 = s*v - 3*t, -4*t + 17 = -2*v + v for v.
3
Let o be (-66)/(-6) - 7 - (2 + 0). Solve -3*r = o*t + 7, 12 - 40 = 4*r - 2*t for r.
-5
Suppose -7*q + 24 = -3*q. Suppose 11*i - q*i = 25. Solve 0 = i*a + h - 7, 4*h + 14 = 4*a - 6 for a.
2
Let a be 2 + (0 - 0) + -1. Let b = 82808 + -82803. Solve y - a + 0 = -q, 0 = 2*y - q - b for y.
2
Let k(y) be the third derivative of -y**5/60 - 19*y**4/24 - 49*y**3/6 + 2*y**2 - 38. Let x be k(-15). Solve 2*r + 9 = -5*n, 0*r = -3*n - 4*r - x for n.
-1
Suppose 5*u = -2924 - 1416. Let w = -860 - u. Solve 2*r + 2*o + w = 0, 1 = r - o + 7 for r.
-5
Let x be 2 - -4 - (-1 - 5). Suppose s + x*s = 39. Solve -3*a + 6 = g + 4*g, -2*a - 3*g = -s for a.
-3
Let x be 14/21 + (-2)/(-6) + -1. Let n(q) be the first derivative of -q**2/2 + 5*q + 6. Let s be n(x). Solve -3*t + 9 = 5*g, -5*g + 0 = s*t - 5 for g.
3
Suppose 16*m - 10 = 14*m. Suppose 3*q = -3*x + 21, -m*q = -0*x + 2*x - 26. Solve 0 = -5*a - d + 24, -4 = 4*a - x*d - 27 for a.
5
Let p(r) = 12*r - 56. Let a be p(5). Suppose 9*d - 5*d - 8 = 0. Solve a*q - 5*q 