. Solve 0 = x - t + 6 for x.
-4
Let q = -251 - -260. Suppose 0 = q*t - 8*t + 2*d - 21, 3*t + 3*d - 48 = 0. Solve 0 = 4*i + t - 7 for i.
-1
Let x = 22 - 6. Suppose -4*t - 2*h = -3*t - x, -2*t + 34 = 5*h. Suppose w - t = -3*w. Solve 0 = y + w - 5 for y.
2
Let l = -291 + 597. Suppose -22*r + 4*r = -l. Solve 3*y - r + 2 = 0 for y.
5
Suppose -4*a - 58 = -18. Let h(d) = d**2 + 11*d + 14. Let v be h(a). Let n be 4 + (-1)/((-4)/(-12)). Solve 0 = -v*y - n - 7 for y.
-2
Suppose -c + 8 = 729. Let g = -716 - c. Solve -1 = -g*f - 16 for f.
-3
Suppose -13*m - 66 = -16*m. Let f be -5 - ((2 - 5) + (-8)/2). Solve 0 = -6*u + m + f for u.
4
Let r = -2262 + 1244. Let p = r + 1022. Solve -p*u = 6 + 6 for u.
-3
Let h = 4711 - 4063. Solve 24*v + h = 648 for v.
0
Suppose -218 = -4*c - 2*h, -3*h - 147 + 34 = -2*c. Suppose c*p = 45*p + 20. Solve -a - p*a = -6 for a.
2
Suppose 5*r - 1 = -2*b - 150, b + 75 = -3*r. Let s = -60 - b. Solve 2*l = 8*l + s for l.
-2
Suppose 57 = 5*v - r, -220*v - 4*r - 58 = -223*v. Solve -2020 = -v*k - 2070 for k.
-5
Suppose 0 = -0*u - 6*u - 648. Let j = 116 + u. Solve -j = 3*k + 7 for k.
-5
Let t(s) be the third derivative of -s**5/60 - s**4/6 + s**3/2 + 17*s**2. Suppose -2*u + 2 = n, u + 3*u - 20 = 2*n. Let y be t(n). Solve -v - y*v = 16 for v.
-4
Let f = 2536 + -1969. Solve -567 = 6*b - f for b.
0
Let f = -256 + 1. Let n be (-26)/(-10) - 102/f. Solve -n*a - 8 = -11*a for a.
1
Let i(g) be the first derivative of -g**4/4 + 5*g**3/3 - 3*g**2 + 143. Let s be i(2). Solve 2*x + 10 = -s*x for x.
-5
Let d = 5 - 5. Let g(t) = -2*t - 2. Let k be g(-1). Let m = k + 2. Solve -m*f - 8 = -d*f for f.
-4
Suppose 2*j - 6 = -n, 2*j - 9 = j + n. Suppose 0 = 17*r - 45 - 91. Suppose -d - r = -j*d. Solve 2*c = -d*c - 8 for c.
-2
Let v(a) = -a**3 + 15*a**2 + 16*a + 36. Let i be v(16). Let s be ((-66)/i - 2/(-6))*-2. Solve -2*m = -7 - s for m.
5
Let y = -46 + 49. Suppose -2*k + 164 = 2*u, y*k = -u + 6*u + 206. Let l = k - 74. Solve -2 = l*n - n for n.
-1
Let i = 52 + 60. Suppose 5*y = 4*j + 112, -2*j - 5*y = 2*j + i. Let q = -16 - j. Solve 0 = -w + 5*w - q for w.
3
Suppose -a + 16 = o, -3*a + 194*o + 42 = 198*o. Solve -d + a = 10*d for d.
2
Let b(o) = o**3 - 7*o**2 - o + 10. Let j be b(7). Let p = -29186 - -29188. Solve j*x - 5*x = -p for x.
1
Let d(j) = -707 + 13*j + 707 - j**2. Let k be d(13). Solve 12 = -3*o - k for o.
-4
Let x be ((-39)/4)/(45/(-60)). Let p be (-1)/(0 + (-2)/26). Let q = p - x. Solve q + 2 = 2*z for z.
1
Let j be (-2)/(-6)*(-12)/(-2). Let d(l) = l**2 + 10*l + 12. Let h be d(-9). Suppose h*g + 63 = 102. Solve -j*z + g = 5 for z.
4
Let o(r) = -9*r**2 - 4*r + 5. Let i be o(2). Let n be ((-1)/(-2))/(14/1372). Let d = i + n. Solve 0*h - d = -5*h for h.
2
Let t(h) = -2*h**2 + 5*h + 88. Let o be t(0). Suppose -11*b + 198 = o. Solve 4*d + b + 2 = 0 for d.
-3
Suppose 103 = 2*o - 5*j, -4*j + 230 - 41 = 3*o. Solve -o = 38*h + 207 for h.
-7
Suppose -3*m + 5*r + 0*r + 3 = 0, 0 = 2*m + 5*r - 2. Let v be (2 + 36/4)*m. Suppose -9*c + v*c = 20. Solve y + c = 3*y for y.
5
Let k(d) = -5*d**2 + 165*d. Let o be k(33). Solve 4*b + 9*b - 13 = o for b.
1
Suppose 0 = 3*p + 3*k + 3, -p = -12*k + 17*k + 5. Solve p = 4*x + 13 + 15 for x.
-7
Let d = -62 + 52. Let j be -13 + 13 + d/(-2). Suppose n - 4*s = -6*s + 4, 5 = -j*s. Solve -4*r + 6*r + n = 0 for r.
-3
Suppose 3*i = t - 7, -3*i = -i + 2*t + 10. Let x be (11/i)/((-2)/(-30)). Let l be 2*((-14)/(-44) + (-10)/x). Solve -4*a = -3 - l for a.
1
Suppose -5*a - 25 = -0*g + g, -a = 2*g + 5. Suppose -3*k - 75 = 2*k. Let d = a - k. Solve m = -m + d for m.
5
Let z(k) = 3*k**3 - k**2 - k - 4. Let b be z(-3). Let v = b - -96. Suppose v*t + 21 = 51. Solve l - t = -2 for l.
4
Let k be (-5499)/(-468) + -1*1/(-4). Solve 2*m + 0 - k = 0 for m.
6
Suppose 11*b = 5202 - 1154. Suppose -b*h = -370*h + 4. Solve -h*m + 12*m = -20 for m.
-2
Let y(z) = 1625*z + 3486. Let d be y(-2). Solve 240*g = d*g - 32 for g.
-8
Let n = -215 + 254. Suppose 384 = n*k - 7*k. Solve 9*y - 5*y + k = 0 for y.
-3
Suppose 0 = -27*u + 30*u - 24. Suppose 0 = -3*g - 2*i + 127, -3*i - 138 = -4*g + 54. Solve t + g = -u*t for t.
-5
Let c(y) = 3*y + 3. Let w be c(-1). Let p be (-6)/(2 + -3) - (-3 + 5). Let k be (-2 - -1)/((-1)/25). Solve b + p*b - k = w for b.
5
Let d(z) = -z**2 - 7*z - 21. Let g be d(-16). Let h be 110/g*(-7 - -1*1). Let c = -85 - -88. Solve c*k + h = -2 for k.
-2
Suppose -4*h + 5 = u + 1, -2*u + 5*h = 18. Let v be u - 3*(-2)/6. Let d be -1 - (-2)/(-6)*v. Solve d*b = b for b.
0
Suppose 16*l - 13 = 35. Suppose -18 = -0*u - u. Suppose -3*n + u = -4*v, -5*n = 2*v - 4 - 0. Solve n*o = l*o - 3 for o.
3
Suppose -51 = -3*m - 0. Suppose -18*a = -m*a - 5. Solve 11 = -a*b - 4 for b.
-3
Let n = -1506 - -1533. Solve -n*u = -18*u - 36 for u.
4
Let u be 13/(3380/(-78)) + 26109/30. Solve -u + 822 = 16*n for n.
-3
Suppose -2*p + 6*t = -18, 5*p - 9*p + 5*t + 50 = 0. Solve p*h + 2*h = 17 for h.
1
Suppose -4*f = -5*k + 425, -8*k + 4*k + 5*f = -331. Solve -k = -12*r - 29 for r.
5
Let q(r) be the second derivative of -r**5/20 + r**4/4 - 7*r**3/3 + 77*r**2/2 + 121*r. Let z be q(4). Solve -u = -z + 4 for u.
1
Suppose -5*j + 2 = -3*l, 5*l + 4 = -j + 38. Solve j*n - 8*n - 8 = 0 for n.
-2
Let b(m) be the first derivative of -5*m**2/2 - 5*m + 11. Let z be b(-2). Suppose -4*s - 9 = 2*r - 1, z*r + s - 16 = 0. Solve r*n + 10 = 6*n for n.
5
Suppose -5*l + 5*p + 2 + 3 = 0, 5*p - 4 = 2*l. Let v be -4*6/(-72) + 8/l. Suppose 3 - 15 = -v*g. Solve -g*c = c - 15 for c.
3
Let z = 28 + -25. Suppose z*y - 11 = -2. Suppose 0 = -i - k + 5, 0*i = y*i - 5*k - 15. Solve 0 = r - 0*r - i for r.
5
Let v = 5631 - 4553. Solve v*r = 1066*r + 48 for r.
4
Suppose -64 = 4*v - 12. Let d = 23 + v. Let m = -4378 - -4383. Solve -5*r + d*r + m = 0 for r.
-1
Let m be (5/4)/((-1)/(-4)). Suppose 2*z = 10*x - 32, 99 - 51 = 3*z + x. Solve -z = -m*r + 1 for r.
3
Let k = -13855 + 13863. Solve -7*c + k*c = 4 for c.
4
Let v = 120 + -185. Let c = v - -86. Let g be (-2 - 0)*(-5 + c/6). Solve -i = g - 4 for i.
1
Let t be 19 + (-2 - -1) + 2. Suppose -17*b - 1834 = -93*b + 1586. Solve 5*h - t = -b for h.
-5
Let j(a) = -27*a + 1661. Let s be j(60). Solve s + 36 = -11*t for t.
-7
Let d = 149 - 70. Suppose 16 = 5*x - d. Solve -2 - x = 7*q for q.
-3
Suppose 0 = 2*w + y - 18 + 11, 3*w = 4*y + 27. Let u = 43 - 38. Suppose 15 = 4*b + u*z, b + z = 2 + 1. Solve b = 2*q - w*q for q.
0
Suppose 9 = 6*t - 3*t. Let y(l) = -2 - 13*l - 9*l + 25*l - l**t. Let v be y(1). Solve w = -v*w - 3 for w.
-3
Suppose 4*i = -b + 37, -i = -83*b + 85*b - 46. Solve 27*q - 20*q = -b for q.
-3
Let v be ((-102)/408)/(-1 + (-3)/(-4)). Suppose 2*a - v = -2*i - 3, 0 = -3*a + 3*i + 15. Solve -4*d = a + 2 for d.
-1
Suppose 1944 = 117*m - 111*m. Suppose -m*k + 320*k = -20. Solve 0*p = k*p + p for p.
0
Let d = -28 - -50. Let o = 18 - d. Let s be o/(-14) + 24/(-84). Solve s*f = -2*f + 4 for f.
2
Suppose -156*t + 155*t + 260 = 0. Let m be 1/10 + 494/t. Let p = -10 + 19. Solve m*a + p = -a for a.
-3
Let l be (2/(-8))/((-14)/952). Suppose -136 + 34 = -l*n. Solve 5*w = 9 + n for w.
3
Let h(m) = -m + 23. Let t be h(25). Let v be 4/(-24) - (158/(-12) + t). Suppose -3*y - 5*a + 15 = 0, -5*y + 5*a - v = -0. Solve 3*o = -y*o for o.
0
Let j = -19931 + 19974. Solve 29*m + j + 73 = 0 for m.
-4
Suppose 5*k + q + 42 = -460, 0 = -k + q - 104. Let c = k + 110. Solve -c = 5*z - 8*z for z.
3
Suppose -2*c + 6*c - 4*f + 12 = 0, -4*c + 6 = 2*f. Let b be (0 - -6) + (0 - (-2 + c)). Solve 4*x = b + 12 for x.
5
Let y(f) = 15*f - 1003. Let i be y(67). Let c = 8 - 3. Solve -i*d - 5 = c for d.
-5
Suppose 649 - 665 = -4*p. Suppose 0 = -p*w - 3 + 35. Solve -w = 4*d - 28 for d.
5
Let g(v) = 5*v**2 + 2*v - 1. Let u be (-6)/(-21) + 10/14. Let b be g(u). Let y(x) = 106*x - 7099. Let i be y(67). Solve -i*m + b = -m for m.
3
Let j be (-2738)/(-6) - 12/(-18). Suppose -j = 7*v + 12. Let x = v + 77. Solve -x = i - 3*i for i.
5
Let w(c) = c + 9. Let t be w(-5). Suppose -22*u = -17*u + 3235. Let r = u - -647. Solve -t*x + 13 + 7 = r for x.
5
Suppose 17*x - 18*x + 8 = 0, -17*o + 4464 = -3*x. Solve 8*s = -25*s + o for s.
8
Let l be 1/((-2)/(-12)) + 76 + -79. Let w = -1 + 2. Solve -5 - w = l*u for u.
-2
Suppose -55*z - 10 = -57*z, -4*a + 59 = -z. Solve 24*s = a*s + 48 for s.
6
Let w be 72/12*1*(-2)/(-4). Sup