i = -18 for z.
5
Let p = -457 - 394. Let n = p + 851. Solve -8*s - 27 + 3 = n for s.
-3
Let u = -1 - -9. Let t(g) = -7*g + 29. Let r be t(23). Let c = r + 134. Solve c*n - 2 = -u for n.
-3
Suppose 261*r + 19 - 271 - 1053 = 0. Solve 3*j = r + 10 for j.
5
Let g(p) = 31*p**2 - 24*p - 2. Let f be g(-2). Let m = -163 + f. Solve m*b + 15 + 13 = 0 for b.
-4
Suppose 4*c - 3 = -2*s + 9, 24 = 4*s - 5*c. Suppose p + 36 = -2*p. Let n be 1 - (p/8 + 5/2). Solve -s + n = -2*w for w.
3
Let u = -2760 - -2762. Let j(l) = 4*l + 2. Let a be j(6). Suppose u*z - a = -4*y, 0*y = 3*y - 15. Solve z*p + 0 = 6 for p.
2
Let r be (3*18/(-54))/(1/(-100)). Solve 24*j + r = -j for j.
-4
Let h(o) = 7*o**3 - o**2 + 3*o + 4. Let k be h(-2). Let t = -60 - k. Suppose 2*x + 2*d = t, -5*x + 2*d - d = -29. Solve 0 = 4*v - x*v for v.
0
Let t(h) = h**2 + 4*h - 54. Let f be t(7). Suppose -5*c - f = -3*g + 5, 3*c = 3*g - 24. Let y(x) = 3*x - 25. Let l be y(9). Solve g + l = -4*a for a.
-2
Let b = 218 + -286. Let x be 8/28 + -1 + b/(-7). Solve -8*p + x - 25 = 0 for p.
-2
Let n be -24*2 - (1 - 0). Let m = 7647 - 7592. Let q = m + n. Solve 0 = q*k - 5*k - 5 for k.
5
Let x = -8378 - -8380. Solve x = -33*r + 32*r for r.
-2
Suppose 11*y + 1703 = -1069. Let m = y + 256. Solve m + 11 = -5*g for g.
-3
Suppose -6*z - 2 = -22 + 2. Solve 15 - 24 = z*d for d.
-3
Suppose 6*n - 3*n + 26 = o, 5*o - 210 = -5*n. Let y = o - 37. Let l be 56/9 - y - 104/468. Solve 0 = 5*r - l for r.
1
Suppose -2*k - 16 = 2*o, 11*o - 12*o - 2*k - 12 = 0. Let s be (o - 1) + 18 - 1. Solve -11*u - 2 = -s*u for u.
2
Let f(l) = -3*l**3 + 9*l**2 + 2*l - 3. Let r be 96/30 + 3/(-15). Let t be f(r). Solve -t*v + 23 - 26 = 0 for v.
-1
Let f be (4752/162 - 2/6) + 2. Solve 10*o = -f + 101 for o.
7
Suppose 121*v + 219*v - 28416 = 44*v. Solve v*k = 84*k + 36 for k.
3
Suppose 64 = -4*j - 0*j. Suppose 167*w = 169*w - 44. Let r = j + w. Solve 0*x + r = -2*x for x.
-3
Let k(s) = -s - 1. Let v(n) = -n**2 - 18*n + 7. Let p(h) = -6*k(h) + v(h). Suppose -23*t = -t + 286. Let g be p(t). Solve g*a = 4*a for a.
0
Suppose -5*y + 37 = -2*b - 23, 4*y + 2*b = 30. Suppose d - 25 = 4*x, 4*d = d - x + y. Solve 0 = d*j - 14 - 11 for j.
5
Let w = 7810 + -7808. Solve 0 = -w*t - 241 + 229 for t.
-6
Let d = 92 - 91. Let q be -6 - -23 - 3*(d + -2). Solve -25*y = -q*y + 25 for y.
-5
Let l(q) be the third derivative of 11*q**4/24 - 93*q**3/2 - 2*q**2 + 152*q. Let s be l(26). Solve 12 = -s*h - 5*h for h.
-1
Let v(q) = 15*q + 270. Let w be v(-18). Solve -a + w*a = a for a.
0
Let s(m) = -m**3 + 10*m**2 + 10*m + 17. Let t be 14/18 + -1 + 261/81. Suppose t*c - 12 = 4*o + 13, 0 = 4*c - o - 42. Let q be s(c). Solve -p = -q*p + 15 for p.
3
Let v(r) = r**2 + 2*r - 8. Let n be v(4). Suppose 7*h + 2 = n. Solve 0 = -2*o - h*o for o.
0
Let l(r) = -7*r + 135. Let x be l(17). Suppose 0 = 26*k - x*k - 90. Solve -k*o = -10*o for o.
0
Let u = 2270 + -2175. Solve 17*y + u = 10 for y.
-5
Let t be 1675/(-200) + 9/24 - -8. Solve t = -13*y + 11 + 41 for y.
4
Suppose a + 4 = c, c + 65 = 6*c + 4*a. Solve 1204 - 1222 = -c*v for v.
2
Let f(s) = s**3 - 10*s**2 - 29*s + 65. Let g be f(12). Let t be (40/15)/(4/18). Solve -t = -p - g*p for p.
2
Suppose 0 = -5*y - 260 + 20. Let p = y + 57. Suppose -p*b = -12*b + 9. Solve 0 = r - b for r.
3
Let s(v) = 7 + 0*v - 2*v + 3*v - 3. Let h be s(0). Solve 2*p = h*p for p.
0
Let n = 43 - 49. Let v be ((-5)/(-6))/((-1)/n). Suppose 3*q - f + 5*f - 30 = 0, -5*q + 45 = v*f. Solve 0*s - q = -3*s for s.
2
Suppose 5*g - 3*g = 0. Let i(n) = n**2 + 8*n + 26. Let l be i(g). Solve 8 = 24*j - l*j for j.
-4
Suppose -379*i = -156*i - 17171. Solve -105*t - i = -94*t for t.
-7
Suppose -273*q + 682 = -172*q + 240*q. Suppose -c - 25 = -2*c. Solve q*a - 7*a - c = 0 for a.
-5
Suppose 0 = 4*o + 3*r - 0*r + 168, o + 4*r = -55. Let d = o - -41. Suppose -5 = -d*g + 5. Solve -g = -2*j + 1 for j.
3
Suppose -4*y + 9*y = 235. Suppose -25 - y = -6*v. Let i be (v/(-10))/(18/(-60)). Solve 4*l = -16 + i for l.
-3
Suppose -2*a - 3*d = -13, 4*d + 3 = -a + 12. Suppose -20 = -4*k - 5*j, -4 = -0*k - a*k - j. Solve v + 0 + 2 = k for v.
-2
Let g be (-4)/(-10) + (-2)/5. Let c(h) = h**3 - 33*h**2 + 243*h - 28. Let k be c(22). Let n be g*(10/(-8))/(15/k). Solve n*w + 1 = -w for w.
-1
Let g = -96 + 147. Suppose x - 5*h - 179 = 5*x, 0 = -2*x - 2*h - 92. Let u = x + g. Solve u*k - 10 = -2*k for k.
5
Let d = -26338 - -26695. Solve -13 = 43*v - d for v.
8
Let c = -3 - -7. Suppose 3*y + 0*y - 15 = 2*h, 0 = c*h - 4*y + 20. Solve h*q + 4 = q for q.
4
Suppose 2 = -3*w - 5*g + 15, 0 = 5*w - 3*g - 67. Suppose -r + w = -5*k + 7*k, r - 17 = k. Solve 0 = 2*m + 3*m - r for m.
3
Let z = 7759 + -7739. Solve -k + 5*k = -z for k.
-5
Let x(d) = -3*d**3 - 4*d**2 + 2*d + 3. Let b be x(-1). Suppose -z + 2*w = -15, 4*z + b*w - 30 = 2*w. Solve z*u + 3 = -2 for u.
-1
Suppose 4*u - 14 = 10. Suppose -u + 22 = 2*m. Suppose -22*k + m = -18*k. Solve k*h = -h - 12 for h.
-4
Let f be ((-1 - 3)/(-1))/(8 - (-328)/(-42)). Solve -27*a - f - 33 = 0 for a.
-2
Let r(o) = -5*o**2 - 22*o + 37. Let p(s) = -3*s**2 - 11*s + 20. Let w(g) = -7*p(g) + 4*r(g). Let x be w(11). Solve v + x = 6 for v.
-2
Let f be 5/((-1035)/18) + (-71)/(-23). Suppose 4*p - 4 = h, -13*p - f = -5*h - 16*p. Let g = 15 - 10. Solve h = -g*j + j for j.
0
Suppose -3*i = -3*t + 4*t - 24, -2*t = 3*i - 30. Solve 38*j + t = 37*j for j.
-6
Suppose 8*f - 5*f - 3*d - 6 = 0, -4*f + 3*d = -12. Suppose 60 = -2*h - 5*z, -5*z - 130 = -4*h - 8*h. Solve f*y = -h - 13 for y.
-3
Suppose -4*b = 5*r, 3*b - 2*r + r = 19. Suppose -b*o = -2*f + 5*f - 189, 0 = 5*o + 5*f - 195. Suppose -3*k = 3*k - o. Solve 0 = -k*l + l + 25 for l.
5
Suppose -21*k = -19 - 107. Suppose -k*q + 7*q = 5. Solve 5 = -2*i + q for i.
0
Suppose -126*g + 2390 = -4540. Solve -g*d = 31 - 361 for d.
6
Suppose 29*v = 80 - 22. Solve 0*f + v = -2*f for f.
-1
Let r = -1645 + 1709. Solve 44 = -53*o + r*o for o.
4
Suppose -2*i = -0*i. Let f(m) = 13*m + 0*m - 729 - 9*m + 742. Let y be f(i). Solve -4*n = y + 7 for n.
-5
Let r(w) = -270*w + 287. Let b be r(1). Solve -32*f + b*f = 15 for f.
-1
Let x(c) = -c**3 + 34*c**2 - 61*c - 83. Let l = 796 + -764. Let q be x(l). Solve q + 2 = 3*r for r.
5
Suppose 53*g + 71*g = 120 + 624. Suppose 3*m = -v + 29, 5*m = 4*v - 28 + 99. Solve m*l + g = 8*l for l.
-2
Suppose -3*c + 4*p = -17, 0 = -c + 5*c + p - 10. Let i(z) = 2*z - 4. Let h be i(2). Suppose h*v + 12 = 3*v. Solve -v = -b + c*b for b.
-2
Let c = -32 - -36. Suppose 0 = -9*o + c*o - 15. Let w be o*(2/(-2) + 0). Solve 4*k - 5 = w for k.
2
Let g = -157 + 167. Suppose 4*q = m + 16, 0 = -2*q - 2*m + g + 8. Solve -3*c + q = -2*c for c.
5
Let f(j) = -92*j - 606. Let c be f(-8). Solve 50 = 20*l + c for l.
-4
Let r(q) = q**2 - 25*q - 54. Let m be r(27). Suppose m = -i + 5*o + 17, 5 = -5*i - 3*o - 2*o. Solve -3*s + 20 = i*s for s.
4
Suppose 0 = 3*t - 87 + 72. Suppose -3*w + t + 4 = 0. Solve 0 = -w*p + 4 - 1 for p.
1
Let d = 0 + 6. Suppose 0 = 20715*m - 20657*m - 116. Solve -m*r + 4*r = -d for r.
-3
Let r(j) = 5*j**2 + 50*j + 5. Let u be r(-10). Suppose -i + 15 = 4*g, -8*i + u*i - 7 = -g. Solve 0 = 3*k + 10 - g for k.
-2
Let o(y) = 4*y**2 + 5*y - 3. Let q be o(-3). Suppose -18*k + q = -16*k. Solve 3*x - 6 = k for x.
5
Let p = 218 - 203. Suppose -4*x - 24 = -4*j, 0*x = -2*j - 2*x. Solve -j + p = 3*b for b.
4
Suppose -7 = 2*m - 17. Suppose -m - 1 = -3*h. Suppose -h*n + 18 = 2. Solve -3*q = q - n for q.
2
Suppose 4390 = 42*o + 46*o - 6786. Solve -o = 38*r + 139 for r.
-7
Suppose 168 - 171 = -f. Suppose -2*q - f*q = 3*t - 78, 3*q = 5*t + 40. Solve 0*h - 5*h - q = 0 for h.
-3
Let n be 0/(-25) - 8/(-2). Suppose -19 = -n*o - 3. Solve -l + o*l = 15 for l.
5
Suppose d - 59*c = -50*c + 33, -5*c = -3*d + 77. Solve 28*g - d*g - 28 = 0 for g.
7
Suppose 0 = -5*n + 8*n - 24. Suppose 11*o = -6*o + n*o. Solve -9*h + 16*h + 21 = o for h.
-3
Let o(h) = -h**3 - 49*h**2 + 392*h + 6. Let w be o(-56). Solve -202*m = -203*m + w for m.
6
Suppose 3*t = -5*s - 2 - 2, 2 = t. Let h be (s - (-99)/21) + 2/7. Solve 2*k + 5 = h*k for k.
5
Let w = -17180 - -17185. Solve w*q + 300 = 325 for q.
5
Let g be (-1352070)/(-11454) - (-1)/(-23). Solve 45 = g*l - 133*l for l.
-3
Suppose 0 = 3*z - 35 - 1. Let y(p) = 3*p**2 + 102*p - 1154. Let f be y(9). Solve 5*h + f = z for h.
1
Suppose