, t + 4 = -5*c for t.
-4
Let h(f) = f**2 - 17*f + 62. Let z be h(0). Suppose 0 = 29*x - z + 4. Solve -o + 20 = 4*l, -3 - 7 = -x*l for o.
0
Suppose 56 = -4*f + 4*s, s - 82 = 3*f + 6*s. Let a be 0/(-1 + -1) + f + 24. Solve -2*n - 2*z + 10 = 0, -2*n - 2 = -a*z + 2 for n.
3
Suppose 2*j - 78 = -u - 85, 2*j - u - 7 = 0. Solve 3*o + 5*p + 13 = j, -5*o + 25 = -0*p - p for o.
4
Let g = 2966 + -2966. Solve 4*n + 16 = g, -21*p + 5*n = -18*p - 20 for p.
0
Let t = 216087 + -216084. Suppose 0 = 4*j - 10 - 2. Suppose 0*p = j*p - 3. Solve -4*w = 5*v - 9, t*v - 2*w - p + 0 = 0 for v.
1
Let x = 67 - -9. Suppose -x = -9*j + 5*j. Suppose j - 5 = k. Solve m = 5*p + 19 + 3, -5*m = -p - k for p.
-4
Let r(y) = y**3 - 4*y + 2. Let z(w) = 7*w - 10 + 6 + 8 + 3*w**2. Let j be z(-2). Let s be r(j). Solve -s*i - p + 24 = -7*i, 8 = 3*i + 5*p for i.
-4
Suppose -2*s = -2*f + 38, 2*s - 5*s = 4*f + 50. Let b = -7520 - -7515. Let l be (s/(-21))/(-6*b/105). Solve -2*g - 2*n = -5*g + 21, 24 = 3*g - l*n for g.
5
Suppose -4*k + 142 = -3*b, 3*k + 54*b - 57*b = 105. Solve a = 5*l + k - 10, -36 = 5*l + 2*a for l.
-6
Suppose 464 = 40*j - 96. Solve -x = -0*x + 5*s - j, 2 = -x + 3*s for x.
4
Let g(x) = 206*x + 22 + 0 - 209*x. Let u be g(9). Let y be (-6)/(-18)*u*(-10 - -1). Solve 3*r - 4*z = 35, 4*z + y = -r - 0*r for r.
5
Suppose 0 = -r - g + 1, -2*r + 0*g = 4*g. Suppose -4*b - 4*h - 124 = 0, -4*h = -2*h + 4. Let w = 31 + b. Solve 0 = -r*s + w*t - 8 - 8, -2*s - 25 = -5*t for s.
-5
Suppose 0 = 3*s - 0*s. Let o be 3 - (-1 - -2) - (0 - 0). Let j be o/(-7) + (1920/(-56))/(-8). Solve -j*q = -16, s*d = d - 3*q + 17 for d.
-5
Let t be 144/64 + (2/(-8))/1. Suppose -33 = t*x - 13. Let u = x - -35. Solve 0 = z - 3*w - 5, -4*w + u = 2*z + 3*z for z.
5
Suppose 283*r = 2*h + 281*r - 10, 3*r + 25 = 5*h. Solve -3 = -l + v, -h*l - 22 + 25 = -3*v for l.
-3
Suppose 349 + 86 + 393 = 276*q. Solve 10*t = -2*h + 6*t - 32, 3*h - q*t = 6 for h.
-4
Suppose -7*i + 20 = 5*w - 4*i, i - 16 = -4*w. Suppose -w - 248 = -7*k. Let y be k/7 - (-4)/84*-3. Solve 5*c + 5*q + 4 + 1 = 0, -y*c - q - 13 = 0 for c.
-3
Let n be (-288)/(-27) - (-32)/(-12). Solve -2*i = -8*b + 12*b - n, 2*b - i = 4 for b.
2
Suppose -23*z - 6*z = 39*z. Solve 0 = -4*v + 2*w - 2, z = -2*v + 4*v + 5*w - 17 for v.
1
Let q(s) = -s**3 + 33*s**2 - s + 35. Let b be (20/(-40))/((5/66)/(-5)). Let m be q(b). Solve m*d = -4*h - 8, 1 = -5*d - 3*h - 12 for d.
-2
Suppose 0 = 42*f - 61*f + 152. Suppose 26 = 16*d - 38. Solve -t + c + 2*c = -f, 4 = d*t - 5*c for t.
-4
Suppose -220 = -f - 43*f. Let k be (-2)/(9 + 3) - 181/(-6). Solve 2*r - r + k = f*b, 2*b = 5*r + 35 for b.
5
Let g = 6233 - 6231. Solve 5*f + 25 = 0, -30 = g*j + 4*f - 14 for j.
2
Let s(q) = q**3 - 6*q**2 + 193*q - 935. Let o be s(5). Solve -6*c + 9*c + 4*h = -15, -25 = 5*c - o*h for c.
-5
Let y be (-2)/(4*4/(-16)) - (1 - 3). Solve -n + 3*g - y = 0, 21*n = 19*n + 4*g - 6 for n.
-1
Let p = 68 - 48. Suppose i = -3, -5*y = 3*i + 2*i - 515. Let x = y - 102. Solve 4*d = -p, -x*d - 3 - 11 = -2*g for g.
-3
Let u(o) = o**3 + 5*o**2 - 13*o - 41. Let n be u(-6). Let j be (0/2)/(0 - n). Solve -c + 2*v + 8 = j, 0*c - v + 2 = c for c.
4
Suppose 3*c - 148 = -145. Solve 0 = -v - k + 5 + c, 4*v - 15 = 5*k for v.
5
Let c = -32274 + 32277. Solve 104*g + 5 = -y + 105*g, -5*g = -c*y - 13 for y.
-6
Let n(o) = -3*o**3 - 3*o**2 - 2*o + 1. Let j be n(0). Let m be 0 + 1 - (j + -7). Solve u + m = 5*v - u, -3*v + 21 = 3*u for v.
3
Let p be (-83)/(-581) - (0 + (-2)/(-14)). Solve -4*b + 2*h - 8 = p, 3*b - 7*h + 4*h = -12 for b.
0
Suppose 0 = 107162*k - 107321*k + 318. Let w be 3/(-2)*(-8)/6. Suppose s - 3 - w = 0. Solve -s - 2 = -4*d - 3*q, -k*d - 4*q = 4 for d.
4
Let y be ((80/15)/8)/((1210/(-132))/(-55)). Suppose -4 = -2*k + 3*w, -2*k + 3*w = 3*k - 10. Solve -3*z + n = -2*n, -k*n + 18 = y*z for z.
3
Suppose 285 = -s + 6*s + 5*a, 2*s - 117 = -3*a. Let r be ((-36)/s)/((-6)/99 - 0). Solve 8 = 4*v, d = 5*v - 4 - r for d.
-5
Suppose -5*z + 63 = -47. Suppose 0 = -o - z + 36. Suppose o*s - 35 = 9*s. Solve 3*t = -2*r + s, t + 0*r = 2*r - 11 for t.
-1
Let f be -8*14/4*-2. Suppose 0 = 18*d - f + 2. Suppose -8*z + 3*z = 0. Solve d = -x - z*n - n, -x - 3*n - 7 = 0 for x.
-1
Let t = 35 + -25. Let c be (-76)/(-10) + -7 - (-194)/t. Solve 7*l = 3*l - c, 3 = 4*r - 3*l for r.
-3
Suppose 47 = -3*w + 5*u - 0*u, 2*u = 3*w + 44. Let y(m) = m + 14. Let s be y(w). Solve -2*r - h - 3 = 0, 3*r + h - 2 + 4 = s for r.
1
Suppose -12*s + 173 = -79. Suppose -3*n + 4*x + s = 0, -9*x + 3 = 4*n - 6*x. Let p = 163 + -160. Solve 0 = -n*d - w + 5, -w + 6*w = p*d - 11 for d.
2
Suppose -12 = -3*r, n + 76*r = 82*r + 16. Solve -5*b - n = -f - 11, 0 = -3*f - 2*b + 2 for f.
4
Suppose -3 = 498*w - 499*w. Solve 5*c + 2*z + 10 = -3*z, -w*c - z - 10 = 0 for c.
-4
Let q = -247 - -219. Let p = q - -30. Solve -3*k = 4*o + 22, -p*k + 22 = -3*k - 5*o for k.
-2
Let v = 2351 - 2349. Solve -3*h - 2*h = 2*n + 3, 3*n + v = -5*h for h.
-1
Suppose 6*d = 7*d - 2 - 10. Solve 3*a = d*x - 16*x + 6, 2*a = 4*x - 16 for a.
-2
Let u = -83 + 99. Let f be (13/2)/((-1 + 5)/u). Solve 8*b = -4*o + 5*b - f, b = -o - 7 for o.
-5
Let a be (-1 - -2)/(1/3). Suppose -i = -a*z + 13, 4*z - 2*i - 20 = -0. Let k be 5/(-50)*(-159 + 109). Solve 5*m + 3 = k*j - 7, 2*m = z*j - 1 for m.
-5
Let b(f) = -f**2 - 17*f. Let o be b(-6). Suppose -o = 12*s - 14*s. Let j = s - 27. Solve 3*g - j = 3*d, 5*g + 5*d = 9 + 11 for g.
3
Let v be (-8)/6*((-3596)/(-8) - 1). Let p = v + 598. Solve 4*t + 32 = -4*k, 3*t + 3*k - 4*k + 4 = p for t.
-3
Suppose 4*h - 28 = -4*x, 17*h - 12*h + 49 = x. Let s(b) = -b + 7. Let f be s(4). Solve t = w + 2*t - 3, -4*t = f*w - x for w.
-2
Suppose 9*g - 112 = 2*g. Suppose 0 = -5*m + 9*m - g. Let z = -15 - -43. Solve 4*v = m*i + z, 5*i - 2*i + 29 = 5*v for v.
4
Let t be ((-89)/(-267))/((-4)/(24/(-1))). Solve 0 = 3*v - t*p - 1, 0 = -2*v - 9*p + 10*p - 1 for v.
-3
Let h(g) be the third derivative of g**5/60 + 5*g**4/24 - g**3/3 + 17*g**2 + 1. Let n be h(-6). Solve 2*x - t + 8 = -3*x, n*t - 17 = 5*x for x.
-1
Let z = -5 + 7. Suppose -z*f + 5 = -3. Suppose 38*r + 23 = 213. Solve -2*h + 4*i = -18, r*h + f*i + 0*i + 25 = 0 for h.
-1
Let b(a) = -a**3 - 10*a**2 + 40*a + 14. Let w be b(-13). Solve w - 6 = -5*v + f, 5*v - 4*f - 5 = 0 for v.
1
Let g(z) = z**3 + 8*z**2 + 6*z - 5. Let f be g(-6). Solve 5*d + 14 - f = -2*r, 3*r = 5*d - 37 for d.
5
Suppose -37 + 56 = h. Let p = -17 + h. Solve 5*a + 10 = -p*c + 28, -9 = -2*a + c for a.
4
Let f be (3/(-2))/(((-10)/(-12))/((-280)/126)). Solve -185*l - 9 = -186*l + 2*c, 2*l + f*c = -6 for l.
3
Suppose -4*t + 2*m = -2, -5*t + 18 = 7*m - 13. Suppose 0 = 4*l + l. Let f = 6 - l. Solve -a - f = 5*i, 2*i - a = -t*a for i.
-2
Let f(r) = r**3 + 24*r**2 + 80*r + 5. Let u be f(-20). Suppose 12 = -2*i + u*k, 27*i - k = 26*i. Solve -d + i = -2*p - 0*d, 3*p + 5 = d for p.
-1
Suppose -5*t + 18 = -3*d, -2*t + 4*d + 13 = t. Suppose 0 = 5*q - 5*c + 270, -3*q - c - 160 = -3*c. Let g = q - -56. Solve -z = l - g, -t*l = -2*z - z for l.
2
Let l be 10/(-110) + 184/88. Solve -4*y - 17 = -w, l*y - 6*y - 12 = 0 for w.
5
Let v be (-568)/(-24) - (-1)/3 - 1. Let y = v + -32. Let n be (-6)/y*18/12. Solve -5*w = -5*g, 4*g - n = -4*w + 7*w for w.
1
Let v be -22*((-44)/121)/2. Solve d + 3*q = 1, -4*d + 4*q - q = -v for d.
1
Let k(c) = 2*c**2 - 73*c - 150. Let m be k(-2). Let x be -2 - (-20)/(-1 + 3). Solve x = 2*u - 3*d, m*d + 6 = -2*u - 0*d for u.
1
Suppose g - 5 = 2*n, 4*g - 15 = 5*n + g. Let v be ((-70)/(-5) - 20 - -5)*-2. Solve v*p + 5*b - 9 = n, 4*p = p - 5*b + 11 for p.
2
Suppose -5*x - 38 = t, -32*x = 4*t - 27*x + 32. Suppose 3*o - 12 = 3. Solve b = -t*c - 6, -3*b - 13 = -0*b + o*c for b.
4
Let i = 3 - 2. Let q(k) be the third derivative of k**4/24 + k**3/6 + 153*k**2. Let b be q(i). Solve 0 = 3*o - 4*n - 8, b*o - 6*n = -2*n + 4 for o.
4
Suppose -36*b = -39*b. Suppose 26*z - 19*z = b. Solve -f = -2*c + f, -4*c + f = z for c.
0
Let b(s) = -s**3 - s**2 + 2*s + 5. Let a be b(0). Suppose -a*o + 24*o = 285. Solve 5*y = o, 0*l - 2*y = l - 5 for l.
-1
Suppose -15*p + 244*p - 2748 = 0. Solve -2*m - 6*s + 7 = -9*s, 2*m - 4*s - p = 0 for m.
-4
Let i = -21924 + 21926. Solve i*h + 16 = -3*z, -2*h = -2*z - 2*z - 12 for z.
-4
Let o(i) = -99*i - 27. Let n be o(-1). Suppose 3*d - 102 = -5*q, -5*q - 5*d + 28