m = 2*l - b for l.
-4
Let o(n) = 4*n**3 - 228*n**2 + 2*n - 112. Let h be o(57). Solve d + w = 6*w + 3, -h*d - 4*w + 6 = 0 for d.
3
Suppose 27 = 3*q + 3*r + 9, 4 = 3*q - 4*r. Solve -q*d + 8*d - i = 16, -i + 8 = 2*d for d.
4
Let h be ((-8)/6)/((-1)/3). Suppose 4*v = 2*v + 5*o - 327, 3*o = 3. Let k = 164 + v. Solve -k*x - 4*r = 11, 0 = x + r + h*r + 22 for x.
3
Suppose 5*b + 5*o - 5 = 0, 2*b - 5 - 3 = 4*o. Let x = -17 + -11. Let k = 32 + x. Solve -b*h - y = 2*h + 11, -2*h - 16 = k*y for h.
-2
Let t = 276 + -347. Let o = t - -76. Solve -5*s = 5*u - o, 0 = -s + 2*s + 2*u + 1 for s.
3
Let b(x) = 6*x + 13. Suppose -2*f + 12 = -8*f. Let g be b(f). Solve c - 13 = -5*s, 0 = -2*c + 3*c - s - g for c.
3
Let u(d) = d + 1. Let w be u(4). Suppose -1844*o = 1566*o - 68200. Solve 22 = 2*k - 3*k + w*s, -s + o = 5*k for k.
3
Let h = -10422 - -10426. Solve 2*g - r = r - 18, -h*g - 32 = -3*r for g.
-5
Let z(c) = -c**2 + 6*c. Let t be z(6). Let y = -1 + 1. Suppose 0 = 933*x - 929*x - 3*h - 61, 4*h + 76 = 4*x. Solve g + f + 7 = y, -x*g + 2*f = -t*g + 4 for g.
-3
Suppose -u + 0*u = 54. Let t = 57 + u. Suppose -t*l = -q + 18, 3*q + 0*l = -4*l - 11. Solve -4*p - 8 = -b, -2*b + 1 = -q*b - 5*p for b.
4
Let n(k) = -49 + 9 - 12 - 7*k - 4*k. Suppose 0 = -8*m + 5*m - 3*i - 27, 10 = 2*m - 5*i. Let t be n(m). Solve -o - 2*a = -t, -o - 5 = -5*a + 6 for o.
-1
Suppose 3 = j + 5. Let o be (-13 + 2 + (3 - 2))/j. Let v(n) = n**2. Let b be v(0). Solve 0 = 2*m + m + 2*q - 1, b = o*q + 20 for m.
3
Let g be -3 + 16 - (-6)/18*3. Solve 0 = -2*y - 2*a + g - 16, -y - 6 = 2*a for y.
4
Let c = 3645 + -3640. Solve -3*w + 5*q = -5, -2*q = 7 - c for w.
0
Let u = 67 - 62. Suppose 66 = 2*s + 5*a + 57, -u*a = -2*s - 1. Solve -s = -v + 2*z + 11, -5*z - 25 = 0 for v.
3
Let c(i) = i**3 - 133*i + 8. Let f be c(0). Solve -13 = 3*s - r, -2*r + f = -51*s + 48*s for s.
-6
Let a(m) = -6*m - 15. Let o be a(-2). Let y(k) = -k**3 + 16*k + 24. Let s be y(o). Solve 1 = s*d + 4, -1 = -x - 3*d for x.
4
Let a = -811 - -226. Let n be (1/(2 - 5))/(65/a). Solve h - 2 = -4*t, n*t = 5*h - 17 + 7 for t.
0
Let f be ((-2)/((9 - 10)/(-3)))/(-2). Solve -4*b = f*u - 2*b - 9, -2*u = -3*b - 19 for u.
5
Suppose -4*s - 8 = 2*q, -q - 2*s + 8 = -4*s. Solve -4*g + 2 = q*x, g - 5*x = 6*g + 10 for g.
3
Suppose -i - 6 + 2 = -2*c, 0 = -3*i + 5*c - 13. Let r be (-49)/(-98)*i/(0 + -1). Solve 7*k - 2*k + w + 20 = 0, -r*w + 15 = 0 for k.
-5
Let u(y) = 45*y + 161. Let x be u(-8). Let w = 224 + x. Solve -2*f - 5*a = -w, a + 17 = 3*f + f for f.
5
Suppose 3*w = 3, -35*w + 17 = 3*g - 30*w. Solve 5*v = g*x + 12, -2*x = 2*v - 7*x + 2 for v.
4
Let u be (2 + 1)/(0 + 1). Let y = 14 + -9. Let q be ((-30)/(-9) + -4)*-3. Solve a + f = u*f - y, -q*a + 3*f = 5 for a.
5
Let p be (4 - 25/6) + (-148)/(-24). Suppose -p = -w + 2*g, 4*w = -0*w + 3*g + 19. Solve 5*f + 5*y = -45, -w*y = -5*f - 2*y - 17 for f.
-5
Let p = 131 - 223. Let c = -88 - p. Suppose r + 3*j = -7, 9*r = 4*r - 2*j + c. Solve 4*y - 6*y - 4*m + r = 0, 3*y + 15 = 3*m for y.
-3
Suppose 22*i - 133 - 36 = 293. Solve 3*f + 1 = -5*y, -17*y + i*y - 8 = 2*f for y.
1
Let w be 3 + -1 + 81/3. Suppose -12*x - 85 = -w*x. Solve -5*c = -p + x*p - 12, -2*p + 2*c = 12 for p.
-2
Suppose 69*p - 77*p + 112 = 0. Let q be 441/p + (-2)/(-4). Solve -5*w + 4*c = c + q, -4*w = 4*c for w.
-4
Suppose -5*q = 10 + 15. Let i(l) = 3*l + 7. Let a(o) = -7*o - 16. Let z(p) = 4*a(p) + 9*i(p). Let s be z(q). Solve -6 = c + 5*b, -c + 5*b = -18 + s for c.
4
Let u(v) = 91*v**2 + 9. Let a be u(-3). Let b = a + -824. Solve x - 5*x = y - 8, -3*x + b*y + 6 = 0 for x.
2
Let a be 741/1976*80/6. Solve a*c = 2*y - 7, 19*c - 24*c - 1 = 4*y for c.
-1
Let k = 199 - 194. Suppose r = 3*q - 16, -4*q = -q - k*r - 20. Solve -2*a - a = -3, -u - q = -4*a for u.
-1
Let z be 2/(1 + 1) - (6 + -8). Let j be z - 20/3 - (-2)/(-6). Let q be 4 - j/(-2) - -2. Solve 4*d - 19 = n, 0 = -3*n + d + q*d - 29 for n.
-3
Suppose 0 = -53*p + 128 + 31. Solve 0 = -2*a - p*a + 5, 0 = -3*r - 3*a + 15 for r.
4
Suppose 0 = 186*w - 194*w + 264. Let i be 104/24 + 22/w. Solve i*q = 5*x - 40, -3*q + 0*q + x = 18 for q.
-5
Let r = 12694 + -12618. Solve r*k - 73*k + 3*y + 15 = 0, 3*k = -y - 3 for k.
1
Let x = -30 + 41. Suppose x*c + 6 = 14*c. Let o(p) = 11*p - 6. Let y be o(c). Solve -2*h = -h + 2*k - 2, -3*h + 5*k = y for h.
-2
Let u be 2/(-7) - (-30)/105*1. Solve 5*c - 4*f - 25 = u, 2*c - 9*f - 10 = -5*f for c.
5
Suppose 0 = 7*y - 2*y - 130. Suppose 3*v + 58 = 5*h, 4*v = h + h - y. Let k = -39 - -42. Solve 0 = -k*b - 4*g + h, -4*b + 0*g - 3*g + 17 = 0 for b.
5
Let c be (2 - (-1)/(-2)) + 3/2. Let o be c + -3 + 3 + 3. Suppose 7*r - 62 = -o. Solve 5*h - 10 = -2*v, r = 4*h - v + 3*v for h.
2
Let l = 7385 - 7370. Solve -3*y - m = -10, y = l*m - 18*m - 2 for y.
4
Let w(x) = -x**3 + 3*x**2 + 2. Let i = -21 - -57. Let o = i - 33. Let l be w(o). Solve -1 = -l*h + 3*m - 6, -4*h + 2*m = 14 for h.
-4
Suppose 0 = z + 7, 3*m - 4*z - 77 + 40 = 0. Solve -2*d = -m*j + 8 + 3, 5*d - j + 8 = 0 for d.
-1
Suppose 0 = 2*o - 3*w - 17, 17*o - w - 59 = 11*o. Solve -5*v - u - 8 = 0, 2*v - 19*u + 15*u = o for v.
-1
Suppose 0*y - 3*y - 2*h + 24 = 0, 0 = 2*y + h - 14. Solve -6 = -4*v + 2*v, 4*t + 4*v + y = 0 for t.
-4
Suppose 6*i + 2 = -o + 5*i, 0 = -5*o - 3*i. Suppose 0 = -4*r + 3*r. Suppose 5*p - 8 = 3*p, r = -c + 5*p - 15. Solve -3*h + 4*h - 4*d = 2, o*d + 10 = c*h for h.
2
Let t be (-25 - -21)*3/2 - (-10 - -1). Solve f - 19*z = -21*z - 5, t*z = 3*f - 12 for f.
1
Suppose -22 = 5*r + 4*s - 29, 2*r - 2*s - 28 = 0. Solve r = y - 3*n, -2*y + 7*y = 4*n + 13 for y.
1
Let r be -1*15*(-2 + 1). Let s be 1 - (7 + -11)*1. Suppose 3 + 9 = 4*g + 2*d, 5*g - s*d = r. Solve 5*t - g*t = 4*l, -3 = -l - t for l.
1
Let z(s) = s**2 + 11*s - 7. Let j be z(-14). Let d = -16 + j. Let l = 20 - d. Solve 2*u - l = -v, 2*u + v + 1 = -u for u.
-2
Suppose 2*w + 11 = l, -5*l + 3*w + 57 = -26. Suppose -6*k + 19 = l. Solve -2*p + 2*j + k = -2, 0 = -p + 3*j + 3 for p.
0
Let m = 330556 + -330552. Let t be ((-6)/(-4))/(6/8). Suppose 0 = 2*j + 5*d - 36, 2*j - d + t*d = 20. Solve -l - m*b = -3*l + j, -3*l = -5*b - 12 for l.
4
Let b(m) = 2*m + 14. Let n be b(-6). Let d be ((264/32)/11)/(3/88). Solve f - n = 2, -v - 5*f = -d for v.
2
Suppose -3*a - a - 5*h = 291, 3*h = a + 60. Let j = 31 + a. Let f be 0 - (-6)/(-4) - j/4. Solve 5*w + q = 20, 0 = 2*w + 5*q - f for w.
4
Let g = 310 - 310. Let j be (-26)/(2 - g)*-1. Suppose r - 8 = -3*l, -5*l + 15 - 3 = 2*r. Solve 0*p + j = 5*p - 4*q, -p - 7 = l*q for p.
1
Let x(b) = -b**2 - 4*b - 3. Let u be x(-2). Let k be (u - (-36)/(-8))*-4. Let t(y) = -3*y + 17. Let w be t(0). Solve -5*q + 4*m = w + 4, -3*q = -m + k for q.
-5
Let q(k) = 3*k**3 - 6*k**2 - 2*k - 14. Let n be q(3). Suppose 40 = 4*x - 4*h, 2*x + 8*h = 3*h + 6. Solve 0 = -5*d + 3*j - 7, -3*d + 5*j - x = n*j for d.
-2
Let z be (14 + 6)*(-3)/(-4). Suppose z = 4*v + 3. Solve -5*b - 9 = 2*j, v*b + 4 = -j - 2 for b.
-3
Suppose 5*w - 4*r = -7 + 45, 4*w = -r + 22. Suppose -f + 318 = 2*f - 2*m, m - 3 = 0. Let x = f - 105. Solve -6*i + 3*i - w = -3*u, -x*u = -2*i - 2 for u.
-2
Suppose -t + 6*l - 8*l - 244 = 0, -t - 3*l = 242. Let m = -228 - t. Solve 5*z - 4*a = -18, -5*a + 0*a = -5*z - m for z.
-2
Let w = -3900 - -3900. Let o be 2 + 2/2 + -2. Suppose w*h + 3*b = -2*h + o, 3*b = -h - 1. Solve -2*g - 4*t = -8, t = 3*g - h*g - 1 for g.
2
Let j = -581 + 583. Solve -3*u = k - u - 4, 0 = -2*u + j for k.
2
Suppose 0 = 26*u - 31*u + 10. Let z be (-217)/(-112) + (-26)/(-416). Solve u = j, -10*c + 12*c = z*j for c.
2
Let m(z) = 4*z**3 - 246*z**2 + 120*z + 157. Let q be m(61). Solve -5*v = -4*o - 2, 0 = -q*o + 30*o - 2*v + 14 for o.
2
Let k = 109 - 4. Let r = k - 120. Let p be ((-210)/9)/(-5) - (-10)/r. Solve -z - 2*z + 23 = 5*m, -p*z + 4*m - 12 = 0 for z.
1
Let x(g) be the third derivative of -g**6/120 - g**5/20 + 11*g**4/24 + 4*g**3/3 + 2*g**2. Let z be x(-5). Solve t = z*b - 4, b + 0 - 4 = -t for b.
2
Suppose 0 = 2*n - 4*s - 72, n + 102*s = 108*s. Solve 5*w - 17 = -m, 2*m - 5*w = -80 + n for m.
-3
Let p(n) = 2*n**3 + 34*n**2 + 4*n + 73. Let z be p(-17). Solve -2*x = 2*i, -z*x = 4*i - 6*i - 14 for x.
2
Let g(l) = -350*l. Let p be g(1). Let y = p - -353. Solve 0*s - u - 1 = -4*s, 5*s - y*u + 4 = 0 for s.
1
Let v = 30926 + -30926. Solve v = -w - z + 8 - 11, 0 = -