= 4*v for z.
-1
Let t(l) = -6*l + 2*l - 4*l - 28 - 2*l. Let j be t(-3). Suppose 0 = -2*k + k + 5. Solve 5*a = 3*g - 29, -3*a = j*a + k*g + 5 for a.
-4
Let w(z) = -19*z + 97. Let d be w(5). Let m(a) = a**3 - 3*a**2 - a + 8. Let t be m(d). Solve i + 4*y = -22, 4*y + 10 = t*i + 3*i for i.
-2
Let p(n) = 190*n - 1497. Let v be p(8). Solve 0 = 5*c - 5*l + 15, -8*l = -3*c - 13*l + v for c.
1
Let z(n) = -n**3 - 4 + 25*n + 971*n**2 - 998*n**2 - 10. Let m be z(-28). Let x = m + -65. Solve -3*y = -k + 2, 0 = x*y - 6*k + 3*k + 2 for y.
-1
Let y = 1 - -2. Suppose 82*z - 2275 = -307. Let g be z - 6*y*(-2)/(-9). Solve 2*x = 0, 5*x = -n + 6*n - g for n.
4
Let g be -1*(3 - 6) - 23. Let l(m) = -m**2 - 19*m + 25. Let x be l(g). Solve 2*r - x*q = 3, -r - 4*r = -5*q for r.
-1
Suppose -35 + 13 = 11*l. Let a(d) = -2*d + 4. Let z(k) = -k + 2. Let h(n) = -3*a(n) + 7*z(n). Let i be h(l). Solve -i = -5*o + 2*s + 3, -o + 7 = s for o.
3
Let w(l) = -l**2 + 105*l - 862. Let u be w(9). Solve 5*z = u*n + 19, 3*z - 9*n - 6 = -6*n for z.
5
Let t = 14 + -11. Suppose 0 = 24*n - 462 - 258. Suppose -21*b - 27 = -n*b. Solve 2*y - 3 = -2*m - 5, -t*m + 3*y = b for m.
-1
Let w(a) be the first derivative of a**4/4 + 25*a**3/3 + 47*a**2/2 + 23*a - 56. Let j be w(-23). Solve 4*c + 4 = -0*c - 4*k, -4*c + 3*k - 4 = j for c.
-1
Suppose -2*l + 16 = 2*l. Let w = -88 + 100. Let o(x) = -x**3 + 15*x**2 - 37*x + 15. Let b be o(w). Solve y = -l*f - y - 2, -b*f - 4 = 2*y for f.
2
Let m(x) = 2*x + 40 + 7*x - 4*x - 50. Let v be m(3). Suppose -5*g + 4*i = i - 27, i - v = -3*g. Solve -g*a + 2*o = -0*o - 6, -3*o = 0 for a.
2
Let h be (-861)/(-18) + 0 + (-3)/(-18). Suppose -4*v + 4*n = -h, n = -3*n - 16. Solve 0 = -2*g + k + 2, 3*g - 3*k = k + v for g.
0
Let n(t) = -9*t - 10*t + 17*t - t - 8. Let a be n(-4). Solve -z + 5*f = -6, 5*f + 11 = a*z + 2 for z.
1
Suppose -6*q = 5*q + 33. Let x be 1*(3 - q/(-3)) + -2. Solve -4*n = -2*g + 1 + 1, x = 3*n + 9 for g.
-5
Let c be (-4)/(-10)*(33 + -18). Suppose -10 = 4*n + c. Let p be n*((-9)/6)/3. Solve -q + 1 = -4*x, -p*x - 4*q + 17 = -q for x.
1
Let d = -269 + 271. Let i be ((-66)/9 + 7)/(2/(-18)). Solve 3*m = -d*o - 25, -o + 4*m = i*o for o.
-5
Let p(u) = 3*u**3 - 49*u**2 + 64*u - 36. Let z be p(15). Solve g - 1 = -y, g + z = -3*y + 7*y for g.
-4
Suppose -6*m + 18 = -4*m + 5*t, 0 = 5*m + 2*t - 24. Suppose -12 = w + 5*v, 5 = 5*w - m*v + 36. Let c = w - -7. Solve 3*y = 3*r + 6, -4*y + 12 + 0 = c for r.
1
Suppose -4*a - 3*m - 23 = 0, 3*a + 33 = 3*m - 0*m. Let c(k) = k + 6. Let z be c(0). Let o be z/(a/(224/(-6))). Solve 5*d = -y - y + 33, 0 = 2*y + 4*d - o for y.
4
Let n(c) = 11*c + 640. Let k be n(-58). Solve k*y - 1 = -3*s, -11 - 3 = 3*s - y for s.
-3
Let g(o) = o**3 - 16*o**2 + 15*o + 6. Let l be ((-90)/40)/((-6)/(-16)). Let b be (45/l)/(2/(-4)). Let f be g(b). Solve 5*i - u = 20, 5*u - f = -31 for i.
3
Suppose -4*m + 0*m - 3*d = 108, 3*d - 108 = 5*m. Suppose 47*k - 72 = 50*k. Let v = m - k. Solve v*b = b - 1, 4*b = 5*u - 16 for u.
4
Let g be (5 - 1)*(-72)/(-96). Suppose t - 4*z = 14, -2*t = -g*z + 13 - 41. Solve 23 = -5*d + 3, 0 = -2*h - d - t for h.
-5
Let r = -678 - -687. Suppose 20 = -4*h, r*w - 20 = 11*w + 4*h. Solve 2*n - n + 4*x + 11 = 0, w = -3*n + 5*x + 35 for n.
5
Let u(i) = 2*i**2 + 3*i. Let t be u(-2). Let z be ((-2)/(2/(-3)) - (-2880)/1800) + 6/(-10). Solve -2*q + 11 = z*l - l, t*l = 10 for q.
-2
Let j be (41/44 - (-10)/(-55))*24. Let w = 18 - j. Suppose w = -7*s + 5*s + 2. Solve -3*v - 6 = 5*l - s, -5*l + 4*v = -30 for l.
2
Suppose 24 - 104 = -a + 3*x, 5*x + 420 = 5*a. Suppose -2*j = 2*y - 30, 3*y = j + a - 29. Solve 3 = -v + 2*r, -v - y = -6*v - r for v.
3
Suppose 0 = 75*l - 71*l + r + 1, 9 = 4*l - r. Solve 0 = 4*d + 4*p - 2*p + 14, d + 2*p = l for d.
-5
Let g(h) = 16*h**2 + 63*h + 4. Let v be g(-4). Solve 2*w - 23 = -5*b, -v*b + 21 = -3*b + 4*w for b.
5
Let q = 349 - 344. Solve 5*d - z = -4*z + 2, q*z = d + 22 for d.
-2
Let y(u) = -u**2 - 24*u - 140. Let k be y(-11). Solve 4*b + 8 = 4*f, 14*f = -k*b + 11*f - 12 for b.
-3
Suppose 0*a = -a - 1, 4*o = 4*a + 20. Suppose 0*x + 82 = -5*z + 3*x, z = 3*x - 26. Let k be (21/z)/(1/(-2)). Solve 0 = -0*l + 2*l + 5*i - 7, o*i = -k*l for l.
-4
Let w be 3*(-6 + (-25)/(-3)). Solve 2*t + w = -3*o + 1, -t = o + 1 for o.
-4
Let q(v) = -14 - 4*v - 2 - 1 + v**2. Suppose 3*y = 2*s + 5, y + 39*s - 34*s - 47 = 0. Let c be q(y). Solve -i - f = c*f - 1, -3*f - 5 = -5*i for i.
1
Let i be 176/(-3) + -2 - 2/(-3). Let o = i + 60. Solve 4*k + 2*w - 2 = o, k + w = -w - 4 for k.
2
Let i(u) = -13 + 719*u - 718*u + 39. Let g be i(-24). Solve 0 = -3*j + 9, l = -3*j + g + 2 for l.
-5
Let h be (-24)/6*(-11)/(-2). Let u(n) = -7*n - 75. Let c be u(h). Let g = 80 - c. Solve -4*k + 3*k = -4*v + 21, 0 = -k - v - g for k.
-5
Let s be (-10 - 112/(-12))/(4 - (-78)/(-18)). Solve -2*f + s = 0, 31*v - 30*v = -4*f + 7 for v.
3
Let y(w) = -2*w + 1. Let o be y(-1). Let s = 7 - o. Let q(b) = b**3 - 68*b**2 - 603*b - 378. Let l be q(76). Solve -5*j - 2 = l*i - 22, 16 = s*j - 2*i for j.
4
Let f be (-9)/18 + 241/2. Let i be -1 + 21/27 - f/(-54). Solve -5*s + t = 2*t + 9, -5*t = i*s - 1 for s.
-2
Let w(x) = -x**3 + 5*x**2 + 5*x + 8. Let l be w(6). Suppose l*d - 1 = -3*p + 19, 2*d = -4*p + 24. Solve -p*s - 8 = -4*h, -2 = 3*h - 5 for s.
-1
Let d be (-30205)/(-7767) - -1*(-2)/(-18). Solve 0 = y - 5*p - 12, -d*y = -3*p - 2 + 5 for y.
-3
Suppose -14*u = -13*u - 3. Suppose 0 = 3*x + 174 - 45. Let i = x + 48. Solve 3*k = u*n - 15, -3*k + 7*k + 11 = -i*n for n.
1
Suppose 2*s - 2*q = 2*q + 32, 0 = -7*s - q + 37. Suppose -4*i - 3*p = -s*i, -i - p = 0. Solve -13 = 5*c - 4*c - 4*n, c - 2*n + 9 = i for c.
-5
Let t(v) = -v**2 - 8*v + 2. Let j(x) = -3*x - 38. Let f be j(-18). Suppose -6*b - f = -4*b. Let c be t(b). Solve 3*o = c*p + o + 4, p - 18 = -4*o for p.
2
Let y(z) = 14*z - 205. Let l be y(15). Suppose -3*a + 4*v + 21 = v, -l*a = v - 17. Solve 0 = -2*u + 2*x + 4, 3*u + a*x - 1 = -9 for u.
0
Let t = 33 + -30. Suppose -t*u = -u - 6. Suppose -u*x - 5 = o, 3*x - 6*x + 15 = -3*o. Solve 4*h - 4 = -5*w - 0, x = -2*h - w - 4 for h.
-4
Let o be 1 - -1 - (-8 + -139). Let y = o + -146. Solve 3*d - 3*w = -6, 3*w - y = -5*d - 5 for d.
-1
Let j(q) = -q**3 + 27*q**2 + 627*q + 126. Let i be j(42). Solve 5*f + 13*t + 14 = 15*t, i = 2*f + 5*t + 23 for f.
-4
Suppose 4*d = 5*r - 178, -681*r + 678*r + 83 = d. Solve -4*p + r = 5*z, 7*p = 8*p + 5*z - 15 for p.
5
Let f = -406 - -428. Suppose 2*z = -3*v + 1 + f, -z + 4 = 0. Solve 0 = -v*j - r - 7, -2*j + 6*j - r + 2 = 0 for j.
-1
Let a = -90 - -153. Let u = a - 61. Solve 5*k - 5*b - 25 = 0, 3*k - 6*b - 18 = -u*b for k.
2
Suppose 5*g + 5*p + 63 = -227, 2*g + 112 = -p. Let q be 6/9 - 936/g. Solve 2*c + 2*d - 12 = 0, d + 0*d = -4*c + q for c.
4
Suppose 4*a = 0, f + 0 - 4 = 4*a. Let l be -9 + (2992/(-8))/(-11). Suppose v + f*v = l. Solve -j - v = -2, -5*j - 20 = -i for i.
5
Let m = -29 + 65. Suppose m*g = 31*g. Suppose 0 = 5*v - 10 - 10. Solve g*f + 2*f = 5*x + 9, 0 = -3*x + v*f - 11 for x.
-1
Let s(a) = a**3 - 2*a**2 - 10*a + 11. Let z = -162 + 166. Let f be s(z). Solve i - f*l + 7 = 22, -3*l - 15 = 0 for i.
0
Let p(b) = -b + 4. Let d be p(-7). Let x(r) = -10 - 4*r + 3 + 6*r + 3*r - 4*r. Let o be x(d). Solve 3*g - 3*v - 9 = 0, -o*g - 4*v + 15 = g for g.
3
Let s(i) = 2*i**2 + 7*i - 148. Let a be s(-11). Solve a = m + 3*x, 5*m = -6*x + 5*x + 15 for m.
2
Let h(d) = 13*d - 1. Let g be h(1). Suppose 4*b + 8 - g = 0. Let t be (3/b)/((-3)/(-15)). Solve n + 2*q - t = -2*q, q - 3 = -n for n.
-1
Let f be (21/140*-12)/((-2)/10). Suppose -89 = 5*k - f*k + j, -2*k - j = -49. Solve -2*g + 7 = 4*y + k, -3*g + 16 = -2*y for g.
2
Suppose 2133*l + 40 = 2143*l. Solve -3*b + 5*k = -5*b, -l*k - 2 = 2*b for b.
-5
Suppose -2*x + 2*j - 11 - 99 = 0, -4*j - 196 = 4*x. Let o be (8/x)/1 - 6/(-39). Solve -4*g - 5*s + 20 = o, -2*s = -5*g + s + 25 for g.
5
Suppose -4*c = -8, -5*d + 0*c - 2*c + 2129 = 0. Let q be (-4)/(-34) + 800/d. Solve 3*p = -m + 11, -18 = -q*m - 0*m - 5*p for m.
-1
Let y = 88 + -80. Suppose -163 + 27 = -34*l. Solve 3*q - l - 8 = -2*s, -q - 2*s + y = 0 for q.
2
Let s = 68 + -36. Let c = 36 - s. Let v be 22/11 + -1 + c. Solve 5*l - 4*l + v = -2*w, -5*l = w - 20 for w.
-5
Suppose 0 = 3*k - 3*h - 30, -160*h - 2 = -159*h. Solve 4*y - 4*i = 3*y + 14, -2