 - 4*m - 8 for t.
-4
Let n = -173 + 172. Let b(d) = -7*d + 8. Let u be b(n). Solve -3*g + 15 = 3*z, -4*g = 3*z - 5*g - u for z.
5
Let p = 6513 - 6513. Solve 5*l + 2*i + 5 = p, -6*i = -2*i for l.
-1
Let w be 4/2 + -3 - 0. Let o be (w/(-4))/(1/20). Suppose 0*s + c + 4 = 2*s, 4*s + o*c = 22. Solve 3*y + 4*t - s*t + 5 = 0, -5*y = 2*t + 9 for y.
-1
Let s(u) = 2*u**3 + 39*u**2 - 16*u + 25. Let n be s(-19). Let v = n + -667. Solve -3 = 3*q - 2*k + 5*k, 0 = 5*q - 4*k + v for q.
-3
Let t = -148 + 151. Let z(f) = 7*f + 9. Let n be z(-9). Let j = n - -58. Solve 4 + 0 = -3*k + 2*c, 2*k = t*c + j for k.
-4
Let f(s) = -11*s**2 + 179*s - 196. Let g be f(15). Solve 3*t - g = r + 8*t, 0 = -2*r - 3*t for r.
6
Suppose 3*n = o + 9, -5*o - 514*n + 55 = -509*n. Solve 9 = 5*f + w + o, 3*w - 9 = -4*f for f.
0
Let n be (9/(-15))/(-7 + (-5410)/(-775)). Solve n = -5*q - 8*j, q - 6*q - 3*j = 21 for q.
-3
Suppose 3*i + 0*h = h + 172, 5*h = 3*i - 188. Suppose 0 = 3*d + i - 68. Solve d*a = -4 - 4, -4*a + 7 = 3*f for f.
5
Suppose -4*i - 7*i = 1452. Let q = i - -133. Solve 4*s - q = -2*x + s, 3*s = -5*x + 16 for x.
5
Let d be 132/(-24) - (-7)/14 - -7. Solve 0 = d*z - h - 3, 146 - 131 = -2*z - 5*h for z.
0
Suppose 1 = 2*p + 3. Let k(c) = 2*c**2 - 6*c - 5. Let s be k(p). Solve 0 = 5*q - 3*d + 4, -6*q + s*q = -4*d - 2 for q.
-2
Let t(v) = v**2 + 14*v + 28. Let y be t(-11). Let k(g) = 2*g + 18. Let a be k(y). Let i = -1 + 3. Solve -5*l - 33 = -i*j, -5*j - a + 3 = 5*l for l.
-5
Let k(g) be the second derivative of g**4/6 + 5*g**3 - 33*g**2 - 15*g. Let a be k(-17). Solve -2*n + 3*y - 8 = 5, -17 = -a*n - 3*y for n.
1
Suppose -5*t - z - 650 + 733 = 0, 0 = t - z - 7. Solve -4*i - 3*d + t = 0, 51*i + 3*d - 18 = 46*i for i.
3
Let t(r) = r**3 - r**2 + 2*r - 2. Let m be t(1). Suppose m = 51*y - 85*y + 306. Solve 4*z = 4*l + 1 + 7, 0 = 3*z - 2*l - y for z.
5
Suppose -2*a + 10 = 0, -3*a + 22 = u - a. Solve m = 167*p - 162*p + u, 2 = -m - 2*p for m.
2
Suppose -3*z + 4 = 3*n - 14, 0 = n + 3*z. Let g(j) = j**3 - 8*j**2 - 10*j + 16. Let x be g(n). Solve 3*q + 8 + 3 = u, -5*u + x = -3*q for q.
-4
Suppose 0 = 8*a - 9*a - 6, -5*s + 28 = 2*a. Solve -5*c - 5*r + 15 = 0, -3*c - s*r - 3 = -11*r for c.
1
Let x be (957/132 - 3)/(1/4). Solve -i + 71*u - 66*u = x, 2*u = -5*i - 4 for i.
-2
Let k be -16 + 15 + 532/(-2). Let w be 4/20 + k/(-15). Suppose -6*g - w + 36 = 0. Solve 5*j + z - 3 = g*j, j + z - 3 = 0 for j.
0
Suppose -8*s + 4*l - 8 = -4*s, 4*s = l - 2. Solve -5*j - x + 30 - 11 = s, 2*x - 23 = -5*j for j.
3
Let c = -664 - -707. Let d be -35*(-2 + 1) - (45 - c). Solve 4*v + 6 = 2*f, 0 = 5*f - 0*v + 2*v + d for f.
-5
Let j be 2 + ((-160)/25)/(-8)*5 - 4. Solve -11 = 3*t - a - 0*a, 0 = -t + j*a - 7 for t.
-3
Let o = -78 + -72. Let z = o - -155. Solve -3*c + z*c = -2*n - 14, 5*n = -c - 19 for n.
-3
Let s = 221 - 216. Suppose -10*t - t = s*t. Let a(p) = p**2 + p + 2. Let b be a(-5). Solve u - 5*r = b, t = -2*u + 2*r + 3 + 9 for u.
2
Let m be 232 - (8/(-2) + 1). Let b = -216 + m. Solve -3*g = 2*k - k - b, -5*k - g + 25 = 0 for k.
4
Let y be (-4 - -3)/(19/(-76)). Suppose 3*k + 3*z - 8 - 1 = 0, k - 3*z - 15 = 0. Solve 3*g + 2 = x - 0*x, 0 = -y*g - 3*x + k for g.
0
Suppose -3*p + 1052 = 5*g, -g = -0*g - 3*p - 196. Suppose -g = -26*u - 0*u. Solve -4*f - 3*w + 8 = w, 4*f = w + u for f.
2
Let q = -22 - -26. Suppose 0 = -q*a - 4*d - 32, 7 = -3*a + 4*d - 3. Let t be -2 + 3 + 4/a*-3. Solve -3*j + t*z + 1 - 13 = 0, 4*z = 12 for j.
-1
Let m = -327 + 336. Suppose -32 = 5*i - 167. Suppose -i = -0*k - m*k. Solve -1 = 2*l + k*x + 3, -2*l = -x + 12 for l.
-5
Let u(s) = -s**3 + 22*s**2 + 26*s - 62. Let v be u(23). Solve -12 = -4*j, j + 3*j = -k + v for k.
-5
Let y(t) = -2*t**2 + 22*t + 35. Let v be y(11). Solve 15 = 5*o + 32*a - v*a, -10 = -o + 2*a for o.
0
Suppose -60*s - 268 = -64*s. Let l(o) = 4*o - o - 77 + s. Let p be l(4). Solve -2*g = 2*d + 2*d + 6, p*d - g = -1 for d.
-1
Let h(t) = -2*t**2 + 219*t - 1142. Let d be h(104). Solve d*s = -3*j + 22, 0 = 5*s - 3*s - 4 for j.
6
Let f be 20/(1 + 4) + -49*9. Let l = 441 + f. Solve s = l*x, -8 = 4*x + s - 0*s for x.
-1
Let h(r) = 3*r - 11. Let g be (-16)/56 + 142/7. Suppose g - 16 = o. Let q be h(o). Solve -2*x + 0*a - q = -a, 0 = x - a + 3 for x.
2
Suppose 17*k + 1 - 22 = 30. Solve 0 = k*j + 9, 4*a - 4*j - 42 = 9*a for a.
-6
Let h(w) = 41*w - 205. Let u be h(5). Solve u = -2*a + n + 2*n - 4, -a - 2*n = 9 for a.
-5
Let r(j) = j**3 + 11*j**2 - 13*j - 9. Suppose 3*l - 21 = 2*c + 4*l, 5*l = -2*c - 9. Let z be r(c). Solve -z*k + w = -0*w - 6, 2*w + 5 = -k for k.
1
Let b(g) = g**2 - 205*g + 806. Let h be b(4). Solve -4*j + 8 = 4*v, 1 = h*j - 7*v + 8*v for j.
-1
Let l(n) = -83*n + 86. Let s be l(1). Solve 3*d = -4*z, 0 = d - s*d for z.
0
Let h be (14/(-21))/((21/(-36))/7). Suppose -2*t = -2*c - h, 2 + 17 = 4*c + 3*t. Solve 0 = 2*v - 8, -4*v = -n - 10 - c for n.
5
Suppose 31*s = 26*s + 10. Let h be (32/12)/8*s*24. Suppose h + 4 = 4*o. Solve 0 = -3*j - o*b - 7, -4*j + b + 3 = -3 for j.
1
Let t(a) = -9*a + 190. Let q(y) = y + 4. Let w(u) = 2*q(u) + t(u). Let i be w(28). Solve 3*b = -0*n - 2*n - 22, 4*b - i*n = -6 for b.
-4
Let n be 11 - (-7)/((-14)/22). Solve 4*p - 2*b - 18 = n, 2*b - 46 = 2*p - 58 for p.
3
Let g(j) = -2*j + 18. Let q be g(7). Suppose 8*f - q = 12. Let h = 7 - f. Solve -4*z - 14 = -3*w, -2*w = -h*z - 3*w - 8 for z.
-2
Suppose 3*t + 2*i = 10, 4*t + 38*i - 32 = 40*i. Let y = -5 - -10. Suppose -y*r = -t*r + 7. Solve c - 2*x = -3*x - r, -25 = 5*x for c.
-2
Suppose 3*r - 6*r + 2*l = -2, -2 = -r + 2*l. Suppose -11*a - 5*w - 12 = -15*a, 12 = 4*a - 3*w. Solve r = 4*t - 4*s - 40, 0 = -2*t + 3*t + a*s + 10 for t.
5
Let v(f) = -2*f**3 + 33*f**2 - 22*f + 121. Let o be v(16). Solve -3*d - 22*s - 15 = -o*s, 15 = -d + 3*s for d.
0
Let j be (29/(-4) - 6/8) + 4. Let d be (-264)/(-77) - j/7. Suppose 5*b + d*y = -y + 35, -2*b + 5*y = 0. Solve -5*k - 9 = 2*x, x + 7*k + b = 4*k for x.
-2
Let t = 185 + -180. Suppose -40 = t*a - 55. Solve -a*v = 3*n - 3, n - 5*v + v + 9 = 0 for n.
-1
Let t be 14 + (-14)/2*765/595. Solve t*z - 8*a + 4*a + 30 = 0, -4*z = 4*a - 12 for z.
-2
Let d(m) = 18*m**2 + 33*m - 3. Let s be d(-2). Let c = -11 - -13. Suppose -3*v + c*h = 6, -v - 3*v - h = -3. Solve s*n + 5*g - 2 = v, 4*g = -2*n - 0 + 2 for n.
-1
Suppose -5*k = 10, 0 = 3*y + 5*k + 36 - 35. Solve -o = 3*c - 13, 105*o - y = 102*o for c.
4
Suppose 12*r = 7*r + 120. Let q = r + -21. Suppose -i = 4*b - 24, q*i - 37 = -2*b - 3*b. Solve b*x = 4*u - 27, 3*x + 9 = 4*x + 4*u for x.
-3
Suppose 11*z + 1218 = 12*z + 6*z. Solve -z = -m + a - 179, -5*m + a - 17 = 0 for m.
-3
Let v be (514/34 - 7) + -4*4/136. Solve -5*z - 4 = -v*z + r, -3*z = 3*r for z.
1
Suppose -w - 5*g = 0, -289 = 4*w + 5*g - 349. Solve -2*v + w = -3*h, 9 + 7 = -v - 5*h for v.
4
Suppose -27*p + 4*k = -24*p - 3, 69 = 5*p + 4*k. Solve 2*g + 5 = -3*g - 5*u, -g + u - p = 0 for g.
-5
Let w be ((-155)/(-310))/(1/26). Solve 3*m - 28 = 5*n - 9, -w = -n - 5*m for n.
-2
Let p(y) = -240*y - 1097. Let w be p(-5). Solve -3*m - 13 = -5*b, m - 5*b + w - 82 = 0 for m.
4
Let t be (3 - (-3 + 3))/1. Let c(b) = -b + 25. Let o be c(13). Suppose 183 = 4*j - 3*z, -15*z = -o*z + t. Solve -2*k - 20 = -4*f + 6, -5*k + 5*f = j for k.
-5
Let k = -71 + 116. Suppose 2*w + 5 - k = -2*p, 0 = -4*w - p + 80. Solve -5*b = 20, 3*v - 2*b = -0*b + w for v.
4
Let s be 53 + -3 + (19 - 19). Solve -2*t - 40 = 5*q, 5*q + 6*t - 2*t = -s for q.
-6
Suppose -201*n + 3*t + 3 = -203*n, 4*n - 3 = 3*t. Solve n = -2*x + 6, 4 = p - x + 3 for p.
4
Let h be -1*(-3 + 0 - 3). Suppose 2*d - 57 = -51. Suppose 29 = 5*n + 3*s + d, -2*n + s = -h. Solve r = -q + 2*q - 8, n*r - 8 = -4*q for r.
-3
Let q be (-2)/(-9) + (-1200)/540. Let j be q/6*(9315/(-9))/15. Solve 2*b + 20 = 4*k, -k - 5*b = -2*k + j for k.
3
Let r = -185 - -278. Suppose 87*l - r*l + 12 = 0. Solve l*o - 3*x = -13, -o + 4*x - 19 = -0*x for o.
1
Let v(o) = o**3 + 6*o**2 + 22. Let c be v(-6). Let k be (-552)/(-132) - (4/c)/1. Solve 6 = -4*t + 3*p - 0*p, -t + k*p - 8 = 0 for t.
0
Let b be 10/(-4)*-4*14/70. Solve b*d + 0 + 3 = -j, 2*d - 3*j - 17 = 0 for d.
1
Let k(i) = 74*i**2 + 4*i + 7. Let x be k(-2). Suppose -13*s + 321 = x. Solve -2*w - 3*y = -1, -6*w + w = s*y - 8 for w.
2
Suppose -205*i + 1476 = -25*i - 16*i. Solve 0*k + 4*k = -f + 6, -4*k - 