i, -3*z = c + 11 for z.
-4
Let u be (-94)/(-18) + -13*(-10)/(-585). Let z be (7 + 0)*(-12)/(-14). Suppose -x + 3*a = -a + z, -u*x = -5*a. Solve c - 2*b - 17 + 6 = 0, -x*b = 3*c - 1 for c.
3
Suppose -3*x = -2*v - 16, -204*x - 18 = -208*x + v. Solve q = q + 2*a, 0 = -x*q + 5*a for q.
0
Let g = 8850 + -8847. Solve 5*n = -20, 22*l - 26*l = -g*n + 4 for l.
-4
Let u be 24*((-882)/54 + 17). Solve 22 = -4*t - 5*n, -6 = -4*t + n - u for t.
-3
Let r be (-8)/(-1)*(-4)/48*-87. Suppose r + 50 = 27*u. Solve -4*x = -4*z + 20, 2*z - u*x = -x + 12 for z.
3
Let b be 4/(-6)*(-5 + 2). Let a(f) = -f**3 - 5*f**2 - f + 8. Let p be a(-4). Let o be p/(-10)*(1 + 4). Solve -3*q + 3*m + b = 5, -o*q + 4*m + 4 = 0 for q.
-4
Let s(r) = 31*r - 133. Let x be s(7). Suppose 36 = 20*w - x. Solve 5*l + w*f - 4*f = 0, 4*l = -3*f - 7 for l.
2
Let p be 8/(-24) - (-2)/(-3). Let w be 6860/160 + p/(-8). Solve -b = -3*t + 9, 4*b - w = -4*t - 15 for t.
4
Let s = 72 + -76. Let i be (2/s + 0)/((-4)/24). Solve -3 = -i*g - 5*b, -6*g + b + 5 = -g for g.
1
Let c be 134/(-201) - (-4)/6. Solve -4*v + c - 21 = -g, -5*g + 33 = -2*v for g.
5
Let m = -13 - -16. Suppose -r + 6*r + 480 = 2*k, 4*k + 4*r - 904 = 0. Let u = 230 - k. Solve -5*i = a + m - 26, 5*a + 10 = u for i.
5
Let s = -12914 - -12929. Solve s*w + 3 = i + 14*w, 21 = -5*i - 4*w for i.
-1
Let q be (20708/93)/((-4)/6). Let r = q + 339. Solve 0 = r*x, -5*g = -3*g - 4*x for g.
0
Let d = -174 + 176. Let n be (d - -4) + (4 - (-40)/(-5)). Let o = 10 + -6. Solve -p - n*q - q = -12, 20 = o*q for p.
-3
Let w(l) = -2*l**2 - 9*l + 322. Let t be w(-15). Solve 5*j + t = -p, -4*j - 19 = -3*p + j for p.
3
Suppose 9*r + 7*l - 61 = 6*l, -3*l - 41 = -5*r. Suppose -5*h + 42 = 2. Suppose -3*c + 6 = 2*j, 1 + h = 3*c + j. Solve o = 5*o - 4*z, -r = 3*o + c*z for o.
-1
Suppose 10*t + 2*t - 264 = 0. Suppose t*u = 7*u. Let k = -4 - -8. Solve u = -5*r - 0*w - w + 12, k*w = -4*r for r.
3
Let h be (4/16*-6)/3*-12. Let l be ((-4)/16*1)/(h/(-72)). Suppose 0 = -2*p - 2*d + 40, -4*p - d + 41 = -39. Solve 5*w = 3*x + p, -8 = 2*x - w + l for x.
-5
Let p be (-9 - -1)*(-408)/15 - 20/(-50). Solve 25 = -3*y + 4*d, -p*d + 10 = 2*y - 214*d for y.
-3
Suppose 37*b - 21*b = -5 + 5. Solve -2*o = 4*l - 4, b*l + 18 = -5*o + 4*l for o.
-2
Suppose g + 34*k + 1 = 32*k, 0 = -2*k. Let b be 46 + -50 + (21 - (g + 2)). Solve q = 4*c + b, 5*c = -4*q + 4 - 3 for c.
-3
Suppose -3*h - 4*l = 2*h - 11, -3*l - 18 = -5*h. Suppose v = -4*y + 1, 0*v - 14 = -h*v - y. Solve 3*c = -m + 12, -v*m + m + 15 = c for m.
3
Let o = -17813 + 17823. Solve 0 = -4*v - 5*p - 12, -o*p = v - 7*p + 3 for v.
-3
Let x be 11/((-66)/(-1242)) + -2. Suppose -193 = 2*z - x. Solve 0 = -z*q + q + m + 17, 1 = 3*q + 4*m for q.
3
Let w(c) = -13*c + 241. Let p be w(18). Solve 7 = -y - 2*v + p*v, 2*v = y + 1 for y.
3
Let q(b) = -b**2 + 3*b + 27. Let h be q(7). Let m be (-190)/(-20) + h/(-2). Solve 3*l + 22 = 5*j, -3*l = 2*l + j - m for l.
1
Suppose 18*d + 3016 = 3430. Solve 2*k = w - 29 + 25, 5*k = -4*w - d for k.
-3
Let v(p) = 3*p - 4. Let j be v(3). Suppose -4*h - 216 = -4*q, 290 = -2*q + 7*q - h. Let x = q - 56. Solve 0 = -n - 5*l - 17, j*n - 5*l = x*n + 11 for n.
-2
Let o = -110 + 30. Let m = o + 95. Let v be (9/m)/(2/30). Solve 5*j - 3*p + v = 0, -5*p - 1 + 16 = 3*j for j.
0
Let t = -3 - -6. Suppose n + 0*q = -3*q - 3, -t*q - 12 = -2*n. Suppose -2*b - b = -9. Solve -17 = -n*m - s - 7, 0 = -m + b*s + 20 for m.
5
Let r(t) = -6*t**3 + t**2 - 1. Let y be r(-1). Suppose 0*g - 3*g + y = 0. Suppose -9*i + 28*i = 0. Solve 0*v = 4*x + 2*v + g, i = -5*x - 3*v - 3 for x.
0
Let y(i) = -10*i - 29. Let p be y(-4). Suppose -6*j - p = -41. Suppose -l + 5 = j*o, o - 7 = 5*l - 84. Solve -13 = 5*s + 2*a - 0*a, -5*a = -5*s + l for s.
-1
Suppose 0*s = 7*s - 504. Suppose 5*j = -5*m + 90, -5*j + 3*m = -s - 58. Let z = j - 20. Solve -4*k = q + 10, 0 = z*q + q + 8 for k.
-2
Suppose -3*j - 978 + 990 = 0. Solve 14*k - 9*k - 11 = j*n, 2*n = 2 for k.
3
Let m(c) = c**3 + 10*c**2 - 20*c - 40. Let a be m(-13). Let r = a - -295. Solve -5*w = -r + 23, 3*w = -4*k - 1 for k.
2
Let w(p) = 15*p + 123. Let n be w(-7). Solve -5*t + 3*d = 26, d = -t - 4*t - n for t.
-4
Suppose 4*l + 8 = 0, 3*j + 5*l - 9 = -4. Suppose -5*r = j*f, -5*r + 2*f = -2*f - 36. Solve r*q + 4*i + 3 = 23, -4*i = -q - 15 for q.
1
Let p = -3383 + 3389. Solve -20 = -p*x + 2*x + 3*o, 0 = 4*o + 16 for x.
2
Let x = -63 + 361. Let w = x + -296. Solve -4*s = -3*r + w, -2*s + 3*s = 5*r - 9 for s.
1
Let q = -3436 - -3438. Solve -2*f = q*n, 2*n + 5*f + 5 = 8 for n.
-1
Let j be 3*-160*(-40)/100. Let d = j - 188. Solve -4*w + 6*f = 5*f + 17, d*w + 5*f = -35 for w.
-5
Let a(h) = -108*h - 2049. Let z be a(-19). Solve -4*v - 8 = 7*n - 3*n, -z*n - 7 = 2*v for v.
1
Suppose -6*s - 3*a + 25 = -2*s, 3*s - 5*a - 55 = 0. Solve -t = 5*j - 5, -2 = s*j - 11*j for t.
-5
Suppose 164*f = 171*f - 189. Suppose -f = -3*c - 5*l, 4*l - 11 = 1. Solve 4*y - 5*j = 22 - 9, c*j + 14 = 5*y for y.
2
Let a = 16063 - 16059. Solve t + 5*d + 15 = 6*t, 5*t - a*d - 10 = 0 for t.
-2
Suppose 2*i = 7*i - 80. Suppose 4*o = -5*g + 12, -4*g + i = -5*o - 10. Let l be (-14 + -14)/(17 + -21). Solve -5*u - 22 = g*c, 4*c + 3*u = l - 25 for c.
-3
Let h = 12953 - 12948. Solve 8*r + 7 = 7*r + 2*v, -h*r = -v - 10 for r.
3
Let i(g) = 5*g + 1. Let l be i(-2). Let q = l - -13. Let p = -36573 - -36589. Solve x - q*u = -p, 2*x + u - 33 = -4*u for x.
4
Let p be (-322)/(-21) + 2/3. Suppose -3*f + 6*c - 3 = 7*c, -4*c + 6 = 3*f. Let d be (2 + f)/(-3 - 2). Solve 0 = -4*n + p, d = -s + n + 1 - 5 for s.
0
Suppose 0 = 5*n - 2 + 402. Let s be ((-846)/54)/((-1)/6). Let t = s + n. Solve 4*g - t = 2*z, -4*z + 0 = 20 for g.
1
Let i = -32809 + 32841. Solve 3*r + 5*w = -i, -3*r + 17*w = 18*w + 16 for r.
-4
Suppose 9*g + 21*g - 8*g - 88 = 0. Solve g*s + 3*o + 24 = o, -2*s - 8 = -o for s.
-5
Let h be (-588)/112*(-20)/15. Solve 15 = 5*w - j, -h = 2*w - 7*j + 4*j for w.
4
Let z = 3827 + -3819. Solve 5*f = -3*q + 20 - 3, 2*f = z for q.
-1
Suppose 101*q - 104*q = x - 16, 22 = 5*q + x. Solve -31 = 5*g - 6*s, 4*s = q + 21 for g.
1
Let h = 1 + 13. Suppose h*p = 18*p - 164. Let d = 43 - p. Solve d*m + 0 = 4*q + 2, -4*q + 4*m - 4 = 0 for q.
0
Let s = 2926 + -2923. Solve -5 = 5*d + x, -3*d - s + 7 = 2*x for d.
-2
Suppose 4*u = 70 - 38. Suppose j + 3*g = 5*j + 4, 4*j - 4*g = -u. Solve s - 11 = -5*z, 7*s = 3*s + j*z for s.
1
Suppose -484 = -54*x + 32*x. Let b be x/1*(-10)/(-20). Solve 3*y = -5*t - 17, -4*t - b = 5*y - 0*y for t.
-4
Let d = -142 - -79. Let h = -60 - d. Suppose 11*k - h*k = 24. Solve 4*p + 0 + 6 = t, 3*p = -k for t.
2
Let u be 2*502/4 + -3. Let q = u + -245. Solve 5*k - 4*o - 12 = 0, -7*o = 5*k - q*o - 28 for k.
4
Let w(v) = 2*v**3 - 6*v + 5. Let n be w(1). Let h = -7 + 9. Suppose 5 = h*t - n. Solve t = -2*a + 5*u - 3, -a + 4 = u for a.
2
Let d(k) = -2428*k**2 + 9 + k**3 + 20*k + 0*k**3 + 2418*k**2. Let g be d(7). Solve 4*q = g*w + 6, -w + 2 = -0*w + 3*q for w.
-1
Suppose 3*q + w - 4 = 2, 0 = -3*q - 3*w. Solve 0 = 4*i + 4*a + 28, -8*i + q*a = -4*i for i.
-3
Let l = -1783 - -1786. Solve 4*t = -4*x - 8, l*x + 12 = 5*t - 6*t for t.
3
Let g = -1655 - -1667. Solve 5*j - g = 2*l, -10*l + 6*l - 4 = -5*j for l.
4
Let f = 1761 - 1761. Solve 5*h = -4*c + 18, -3*c + 4*h - 2 + f = 0 for c.
2
Let g(t) = -t**3 - 6*t**2 - 2*t - 9. Let i = -145 + 281. Let f = 130 - i. Let z be g(f). Solve -3*r + d = -7, -5*r - z*d - 15 = 2*d for r.
1
Let w be (222/12 + -18)/((-2)/(-16)). Solve -2*f = 0, 0 = -w*q - 4*f + 3*f + 4 for q.
1
Let k(o) = -o**2 + 8*o - 9. Suppose 0 = -5*a + 5*u + 10, -4*u + u + 19 = 2*a. Suppose -a*i = -22 + 2. Let v be k(i). Solve 3*n = 2 + v, 22 = -4*m + 2*n for m.
-4
Suppose f - 73 = -3*o, 0 = o + 81*f - 78*f - 35. Solve 5*a = y - o, 20*y - 21*y - 17 = 3*a for y.
-2
Suppose -48 = -3*s - 6. Suppose -16*a = -s*a - 60. Let n = 35 - a. Solve -n*q + 29 = 4*w, -4*q + 20 = 4*w - 4 for q.
5
Let a = -556 + 548. Let f be 234/104 + 0 + 2/a. Solve 5*k + r = 5*r + 5, -f*r - 7 = -k for k.
-3
Let z(a) = -33*a + 102. Let n = 271 + -268. Let p be z(n). Solve -5*i + 0*m + 2 = -p*m, 0 = 5*m + 20 for i.
-2
Suppose -14 = b + 5*x, -174*b - x = -172*b - 35. Solve -17*m - b = -13*m - 3*c, -5*m = -c + 18 for m.
-3
Let r(h) be the third derivative of -5*h**4/24 - 115*h**3/6 + 5*h**2 + 2. Let f be r(-2