*j - c*o + k, -j + 4*o = -o + 26 for j.
-1
Let y = 417 + -393. Solve 0 = z - 2, 5*s = -z + y + 3 for s.
5
Let w be (-37 - 0)/(42/10 - 4). Let c = 190 + w. Solve k - 10 = 2*o, o - c*o - 16 = -k for o.
-3
Let k = 1129 + -1127. Solve -2*t = 3*n - k, -6 = -408*n + 409*n - t for n.
-2
Let n(l) = l**3 - 10*l**2 + 8*l - 1. Let z be (-2)/(-1)*(-4)/(-6)*6. Let i be n(z). Let c = -61 - i. Solve a + 0 - 5 = 0, 3*r - c*a = -23 for r.
-1
Let d = 75 + -109. Let x = 10906 - 11018. Let c be d/14 - -2 - 160/x. Solve 4*n + c = -5*g, 2*g - 21 = -g + 3*n for g.
3
Suppose 2*r = -3*b + 28 - 19, -r - 2*b + 5 = 0. Suppose -3*i + 3*k = -i + 8, -5*k + 30 = 5*i. Solve i*s + t = -5, -5*s + 4*t - 16 - r = 0 for s.
-3
Suppose -3*v = -2*z, -170*v + 3*z = -173*v + 15. Solve -2*y = 5*h, -9 - 7 = -v*h - 4*y for h.
-2
Suppose 5*k - 5*m - 40 = 0, -21 = -4*k + 5*m + 11. Solve -5*p - 4*v = 6 + k, 3*v + 3 = 0 for p.
-2
Let w = -9348 - -9350. Solve 4*d = w*u - 12, 59*d = 61*d + u + 10 for d.
-4
Suppose 5 = 4*f - 7, -6 = c - 3*f. Let x = 17 - 6. Suppose 0 = -5*z - 10, -1 = k - c*z - x. Solve 0 = -l + 2*a - 10, -2 + 10 = -5*l - k*a for l.
-4
Let a(z) = 22*z + 1567. Let p be a(-71). Solve 31*i - x + 15 = 26*i, i - p*x = -3 for i.
-3
Let t = -236 - -240. Suppose 4*d + 7 + 1 = -t*y, 3*y + 1 = -2*d. Solve -m = -3*b - 4*m - 18, y*b = -4*m - 20 for b.
-4
Let u = 10593 + -10589. Solve j + u = -a, -5*j + 5*a = 27 - 7 for j.
-4
Let c be (-3927)/(-306) - 10/12. Let q = 9 + -12. Let g = q - -5. Solve -3*y - 3*s = -s - c, g*s = 0 for y.
4
Let u be ((-1)/5)/(333/(-30) - -11). Solve -4*d - u = -i, d - 4*d = 3*i + 9 for i.
-2
Let r(y) be the third derivative of -y**4/4 + 7*y**3/2 - 15*y**2. Let b be r(0). Suppose 0 = -b*q + 27*q - 66. Solve 0*s - 3*s = -p + q, 3*s = -p - 19 for s.
-5
Let v(d) = 52*d**2 + 13*d - 2. Let j be v(-1). Solve -42*o = 3*i - j*o - 40, -5 = i - 2*o for i.
5
Suppose -2*g = t - 10, 5 - 20 = -5*g. Solve -8 = -t*b + 4*f, 3*b = -5*f - 1 + 7 for b.
2
Suppose 4*z - 12 = 4. Let y(d) = 56*d + 60. Let s(q) = -q + 3. Let r(c) = -36*s(c) - 2*y(c). Let w be r(-3). Solve w = -5*l + 2*t + 15, z*t + 14 = -l + t for l.
1
Let o(z) = -z + 5. Let p be o(3). Suppose l = -p*g + 12, 3*l + 0*g - 44 = -2*g. Let f be (-24)/l*(-16)/6. Solve 9*d = 4*d + f*w - 31, -12 = -3*w for d.
-3
Suppose -15*h - 3*h - 54 = 0. Let k be (-93)/(-62)*(-10)/h. Solve 2*d - 10 = 3*c - k, 2*c + 35 = -5*d for c.
-5
Suppose 3*r - 35 = -5*l, -3*r - 4 = -3*l - 7. Solve -33 = -2*w - r*b - 47, -w + 19 = -4*b for w.
3
Let r(n) = -164*n - 2457. Let x be r(-15). Solve 6 = -x*u, 5*u = -3*t - 4 - 9 for t.
-1
Suppose 62*i + 45*i = 321. Solve 3*t + 4 = i*w + 2*t, -2*t + 3 = 5*w for w.
1
Let v(h) = -2*h**3 + 70*h**2 + 3*h - 79. Let s be v(35). Suppose -s = -5*r - 3*d - 7, -2*r + 20 = -5*d. Solve 3*i = -3*c - 12, 3*i + r + 6 = -2*c for c.
-1
Suppose -1157 - 931 = -231*i - 240. Solve -4*z - i = -2*n, 2*n - 8 = -2*z - z for n.
4
Suppose -7*o - 42 = -j - 4*o, -2*o - 6 = 0. Suppose -5*r + 2 + j = 0. Suppose r*z - 5*z - 6 = 0. Solve z*q = 5*g + 16, 3*g - 3*q = 5*g - 2 for g.
-2
Suppose 2*y - 4*y = 5*b + 24, y + 3*b + 13 = 0. Let f(u) = -11*u - 72. Let q be f(y). Solve q*l = 5*g + 5, 0 = l - 0*g + 3*g - 9 for l.
3
Suppose -5*v - 112 = f, -3*v - 14 = -4*f - 370. Let w = f + 97. Solve 4*z + 2*r - 8 = 0, 20 = -z + 3*z + w*r for z.
0
Let n(m) = -m**3 + 9*m - 10. Let c be n(2). Solve c = -g + 5, 0 = -0*r + 3*r - g - 10 for r.
5
Suppose 4*y - 6 = y. Suppose -2*j = -4*p - 24, 6*p = -4*j + 9*p + 23. Let l be (8/2 + -3)/(j/10). Solve -15 = 2*z - 4*z - l*i, y*z = 3*i - 9 for z.
0
Let l be (3 + -1)*((-260)/8)/(-5). Suppose -340 = 9*i - l*i. Let a = i - 81. Solve r + 1 = n, 2*n - 6 = a*n for r.
-4
Let n be 1*17 - 55/(-11). Suppose 5*s = -3*k + n, 2*s - 11 = -0*s + k. Solve -5*w - 4*o = 13, 5*w + s = -5*o - 10 for w.
-1
Let w be (-3)/(6*(-5)/40). Suppose w*y - 9*y + 25 = 0. Solve -2*v = 6, -4*v - v = -y*a + 25 for a.
2
Let i be (-7)/(-7)*(16 + -12). Solve 0 = t - 3*w + i, 3*t + 6*w = 2*w - 12 for t.
-4
Let k(q) = 3*q**2 + 101*q - 757. Let v be k(-40). Let h = 0 - -3. Solve 0 = -v*s, -h*s + 1 = -0*w - w for w.
-1
Let n(a) = 17*a**2 + 254*a - 15. Let t be n(-15). Solve t = 5*g + 15, -4*g - 36 + 4 = 5*z for z.
-4
Let t = -32 + 28. Let i(q) = -q**2 + 2*q + 10. Let l be i(t). Let d be ((-6)/(-14) - 134/l)/2. Solve w - 19 = 4*g, g + d*w + 2 + 8 = 0 for g.
-5
Let g(s) = -2*s**3 + 141*s**2 - 1357*s + 4. Let a be g(59). Let f be (3 - 0)/(3/6). Solve a*u = -4*m - u - f, u = -5*m - 18 for m.
-4
Let g be 11 - 517/(-99) - (-4)/(-18). Suppose g*a = 14*a + 10. Solve 0 = 2*r - 4*o + 12, -o + 3 + 11 = a*r for r.
2
Suppose -5*r + 14 = -16. Suppose -8*j + 66 = -5*j. Solve -2*d + d = -5*y + j, -2*d + r = 0 for y.
5
Let y(v) = -v**2 - 8*v + 2. Let r be y(-4). Let k = -3 + r. Suppose -62 = -k*s + 133. Solve 3*f - s = 2*c, -3*f - c = c - 17 for f.
5
Let h(y) = 9*y**2 + y + 2. Let p be h(-2). Suppose -3*q = -63 - p. Solve 5*f - q = -2*j, -4*f - 20 = -8*f for j.
4
Let j(a) = a + 1. Let q be j(1). Let m(n) = -n**3 + 8*n**2 + 2829*n - 25376. Let o be m(9). Solve -5*i = -2*s - 14, -o*i + 0*i = q*s - 22 for i.
4
Let u = 2811 - 2801. Solve 28 = -4*s + 3*w, 8*s + 12 = u*s + 5*w for s.
-4
Let t = 10707 - 10704. Solve 3*l - t = 4*c - 20, -27 = -5*c - 2*l for c.
5
Let r = -5479 - -5483. Solve r*z + 6 = -o, -o + 8 + 0 = -3*z for o.
2
Let j = 252 + -240. Solve 0 = 11*m - 8*m + g + j, -4 = m - g for m.
-4
Let v = -392 - -398. Suppose -5*s + 5 = 4*c - 14, 3*c + s - v = 0. Solve -3*i - 3*z + 15 = 0, 0 = 5*i + 3*z - c - 16 for i.
1
Let x = -1200 + 1210. Let a(j) = -j**3 - 19*j**2. Let c be a(-19). Solve -3*t - 4*m + 27 = 0, -3*t + 2*m + x - 1 = c for t.
5
Let p(h) = 2*h**2 - 29*h + 44. Let q be p(13). Suppose -4*s - 19 = -b, q*s - 122 = -4*b - 4. Solve c = 5*v - b, -3*v + v + 16 = -3*c for v.
5
Let t = 129 - 130. Let a be (-150)/(-35) - 6/(-21)*t. Solve w - 2*b = 2, w + 3*b = a*w - 9 for w.
4
Suppose -w = -3*k + 19 - 49, -w - 2*k + 25 = 0. Suppose -w = -6*d + 45. Let f be ((-2)/(-3))/(4/d). Solve -2*o + 12 = 4*a - f*a, 5*a - 24 = -2*o for o.
2
Suppose 30*r - 34*r - 4*f = 40, -r + 5 = -4*f. Let d(h) = -h**3 - 7*h**2 - 5*h - 29. Let w be d(r). Solve -2*x = -w*x - 5*v + 12, 4*x - v = -12 for x.
-2
Let b = -8170 - -8170. Solve -w + 5*z + 20 = 0, b = -4*w + 5*z + 21 + 14 for w.
5
Let w = 510 - 504. Let d(t) = 2*t. Let y be d(w). Suppose -3*n + r = 2*r - 3, -2*n = r - 1. Solve -g - y = -n*p, -p = -5*g - 32 + 8 for g.
-4
Let w(r) = r + 27. Let v be w(-15). Let q be 4/(-26 + 2) - (-2)/v. Suppose q*b + 2*s + 4 = -3*b, b - 7 = s. Solve 0*m + b*t = -2*m - 6, 3*m - 3*t = -15 for m.
-4
Suppose -59*m + 807 + 137 = 0. Solve d - m = 3*u - 3*d, 5*d = 5 for u.
-4
Let o = 170 + -179. Let d be o/(-10) - (-38)/380. Solve 4*t = 3*w + d, -2*t - 19 = 4*w + w for t.
-2
Suppose 3*n = 13*n - 80. Suppose -3*o - 35 = -n*o. Solve -5*h = p - 13 - o, -4*p + 5*h + 5 = 0 for p.
5
Let g(q) = -9*q**2 - 47*q + 68. Let u be g(-6). Solve -a + 2*o + 1 = 0, 6*o = 4*a + 9*o - u for a.
5
Let b(g) = 5*g - 11. Let m be b(1). Let i be (((-16)/(-3))/2)/((-4)/m). Let q be (-1)/(((-1)/i)/1) - -1. Solve 7 - 2 = -q*v, -4*r - 4*v = -12 for r.
4
Let y be (((-84)/(-40))/(-7))/((-222)/2220). Solve 4*w + 2*x - 8 - 4 = 0, -8 = -y*w - x for w.
2
Let h(w) = 26*w**3 - w**2 - w + 5. Let x be h(-3). Let v = x - -703. Suppose 7 = -f - 5*u, 0 = -0*u + u + 2. Solve f*k + 9 = v, 2*o - 2*k = k + 3 for o.
-3
Let v(g) = 9*g + 113. Let r be v(-12). Solve -r*x - 19 = a, -3 + 6 = 3*x - 3*a for x.
-3
Let a = -406 - -409. Solve 4*c - 2*d - 12 = 0, c - d - a = -0*c for c.
3
Suppose -11*q + 193 + 93 = 0. Let w = q + -92. Let n = w + 66. Solve -c + 3*j = 2*j + 1, n = -5*c + 2*j - 14 for c.
-4
Let n be (-2)/13 + (-8)/(-52). Suppose -2*v = -2*s + 8, -5*v + s + s - 5 = n. Let o be 2/(v + 9/(-15)). Solve 0 = 4*x + 2*k + 22, -o*x - k = -x + 17 for x.
-3
Suppose -230*q = -234*q + 72. Solve 0 = 5*y - 0*a - 2*a + 24, 0 = -3*y + 3*a - q for y.
-4
Suppose -33*o + 11718 = 30*o. Suppose 152 - o = -17*w. Solve -3*b + j = -2, b - w*b = -j for b.
1
Suppose -59*p = -24*p + 140. Let g = 48 - 22. Let w be (-10)/65 - p/g - -3. Solve 3*j + 0 = 5*f + 5, 31 = 5*j + w*f for j.
5
Let o = 1280 - 1268. Solve -v = 2*t - 13, -3*v - o*t = -11*t - 14 for v.
3
Suppose 166*c = 169*c - 216. Let a = 