= -5*n for z.
-5
Let s(b) = -3*b - 4. Let u be s(12). Let i be (-3)/2*u/(-15). Let g = 12 - i. Solve 2*y + y = z + g, -21 = -4*z - 5*y for z.
-1
Let y(s) = s**2 + 37*s + 214. Let r be y(-30). Solve -d = -4*w + 2*d, r*w - d = 0 for w.
0
Suppose -23 = -4*y + 9. Suppose -y = 2*l + 2*a + 2, -2*a = -5*l - 11. Let i be ((-14)/6 - -1)*l. Solve 2*p = i*p + 5*r - 23, 3*p + 3*r = 21 for p.
4
Let t be (96/9)/(-4)*(-21)/14. Suppose -1 = 3*o + t*q - 31, 33 = 5*o + q. Solve -4 = -f - 4*n - 1, o = 2*f + 3*n for f.
3
Suppose 4*k + l - 401 = 2*l, k - 4*l = 89. Suppose 3*z - 26 + k = 0. Let i = z - -27. Solve -2*a + 10 = 5*s - 1, 0 = 3*a + i*s for a.
-2
Let k = -10 - -14. Suppose -150 = -k*v + 2*v. Suppose 0 = -3*y + b + v, -y + 0*b = b - 29. Solve 0*q + 2*q - 5*r = y, 5*q + 2*r - 7 = 0 for q.
3
Suppose 7*r = -0*r + 35. Let v(o) = o**3 - 5*o**2 + 3*o - 12. Let q be v(r). Solve -q = -2*m - m - 4*s, 0 = 5*m + 2*s - 19 for m.
5
Let n(h) = h + 5. Let p be n(7). Suppose 4*a = -0 + p. Suppose 7*z = 5*z + 10. Solve 5*q + z = -3*t, a*q + 3 = -5*t - 0*q for t.
0
Let f be ((-5)/4)/((-3)/(-108)). Let w be ((-3)/2)/(f/150). Solve 3*x - w + 0 = r, -5 = -2*r + x for r.
4
Suppose 4*l - 6*g = -g - 53, 3*g - 27 = 2*l. Let a be (-6)/l*-10 + 6. Solve n + 3 = -h + 4, 2*n + 3*h = a for n.
2
Let r = -763 + 765. Solve 0 = -b - x + 1, b + 2 = r*x - 0*x for b.
0
Let z be (-6)/(-4*(-5)/(-50)). Suppose -r + 5*p = 50, r + 22 + 19 = 2*p. Let a = -32 - r. Solve 3*n = a*s + z, -15 = s + 3*s + n for s.
-4
Let s be (-2)/(-7) + (-1007)/(-371). Solve -s*x + 3 = -6, 3*x - 24 = -3*v for v.
5
Let y = -2203 - -2206. Solve 5*p + v - 14 = 0, -v + y*v = 2*p + 4 for p.
2
Let x be 2/(-7) + (5 - (-2210)/91). Solve 0 = 4*c - 5*q - x, -2*q = 10 - 0 for c.
1
Suppose 0 = -5*w + 16 + 59. Solve 0 = -b - 3, -3*b + w = 4*k - 4*b for k.
3
Let p be (-2 - (-2 - -2)) + 27. Suppose -p*v + 16 = -23*v. Suppose 0 = 2*a - 7*a. Solve v + 0 = 4*b, 2*j + 5*b = a for j.
-5
Let t be (-180)/(3 - 8) - -4. Let i = t + -20. Let z = i - 15. Solve -z*v - 13 = 7, f + v = -2 for f.
2
Suppose 5*m = 9*m - 16. Let w be 10 + (-2 - 2) - 3. Let f = w + 2. Solve 4*v + f = x, -m*x = 6*v - 5*v - 20 for v.
0
Let c = 62 + -43. Let f = -15 + c. Solve 4*m = -m, m - 4 = f*k for k.
-1
Suppose 0 = 2*l - 4. Let f = 89 + -84. Solve -n + 4 = t, -l*t - 8 = -t - f*n for t.
2
Suppose 3*f = 4*b + 58, -6*f + 2*f = -5*b - 76. Suppose 3*d = 3*m + f + 1, 2*m + 22 = 5*d. Solve -3*t + 5*c + 13 = 0, t - 7 = d*t - c for t.
-4
Let u = -2 + 4. Let k = 10 + -1. Suppose 0 = -5*j - k + 24. Solve 3 = -3*i + j*l, 5*i - 5*l - 5 = -u*l for i.
4
Suppose -4*i + 3*h + 14 = 0, -3*h = 3*i + i - 2. Solve 2*m + i = -2*o - 3*m, 30 = 5*o - 5*m for o.
4
Suppose r + 4*q = 12, -5*q = 2*r - 36 + 3. Let x = r + -16. Let j = x - 4. Solve -4*k + 16 = 2*w, -w = 2*w - 4*k - j for w.
4
Suppose 13*g - 15*g = -18. Suppose 5*n + g = -4*x + 49, -5*n + 5*x + 40 = 0. Suppose -4*a + n = -0. Solve 3*u - 4*i - 11 = 0, -2*i + a = 5*u - 25 for u.
5
Let b be 1596/855 + 4/30. Solve t = -b*n + 1, -4 = 4*n - 16 for t.
-5
Let d be 8/(-14)*21/(-6). Let f be (4 - d)*-1*-1. Solve -5*l + 12 + 9 = -4*w, l = f*w + 9 for w.
-4
Let r(b) = 17*b + 3. Let x(c) = 8*c + 2. Let y(d) = 6*r(d) - 13*x(d). Let u = 12 - 16. Let n be y(u). Solve -5*m + g + 17 = n, 3*m - 4*g = 8*m - 7 for m.
3
Let v = -7 - -7. Suppose 2*k + 21 = -0*s + s, v = -k - 2. Solve 0 = -p + 2*p + 5*l - s, 0 = -3*p - 5*l + 11 for p.
-3
Let l(i) = 0*i**2 - 3*i + 0*i**3 - i - 1 - i**2 + i**3. Let y be l(3). Suppose 10 = y*x - 0. Solve 5*m + 5*d = -14 + 4, -x*m - 9 = -3*d for m.
-3
Let y = -6 - -13. Suppose 4*u - y = 1. Suppose k - 17 = -4*g, -2*g + 4*k - 4 = u*k. Solve 10 = -2*f - t, 2*f - g*t + 7 = -3 for f.
-5
Let h(p) be the second derivative of -p**3/3 + p. Let q be h(-1). Let t be ((-1)/(-6)*-10)/(10/(-18)). Solve -3*s + 2 = -2*v + 5, s = q*v + t for v.
-3
Let r = 2138 + -2135. Solve -r*w + 14 = -2*o, -2*w - 2*o = w + 2 for w.
2
Let f(p) = p**3 - 9*p**2 + 9*p + 1. Let g be f(7). Let l = g - 0. Let o = -29 - l. Solve -1 = -3*x + 2*x + 4*m, o*m = -5*x + 5 for x.
1
Let j be -3*4*58/(-12). Let b be j/16 + (-6)/(-16). Solve -12 = b*o + 4*f, -o - 2*f = -3*f + 3 for o.
-3
Let c(w) = -11*w + 23*w + 4 + 8 - 9*w. Let j be c(-4). Solve 0 = -b + 4*a + 2, -3*b + j*b + 3*a = -6 for b.
2
Suppose 0*a - 6 = -3*a. Suppose -5*s + 35 = 2*x, -4*s + 2*x + 28 = -0*x. Suppose 0 = s*k - 4*k - 36. Solve -u - 4*n - 16 = a, -k = -2*u + 4*n for u.
-2
Let q be 7 + (-4 - 7) + 4 + 4. Solve -q*o + 3*h = 3, -4*o + 5*h = 2 - 5 for o.
-3
Let a be 2*-3 + (-7 - (-60)/4). Solve 0*m - 5*b - 20 = -a*m, -3*b = -4*m + 26 for m.
5
Suppose 43 = 3*f + 4*c, 24 = 2*f - 0*c - 2*c. Solve 3*o + 2*h - 1 + 2 = 0, -2*h = -o + f for o.
3
Let s be -5*((-108)/30 - -3). Solve -2*f + 2 = -3*x + 13, -s*f - 7 = 5*x for f.
-4
Suppose -2*z - z - 12 = 0. Let v = -4 - z. Suppose v*d = -4*d + 16. Solve 5*j = 4*c - 25, d*c + 3*j = 6*c - 13 for c.
5
Suppose 0 = 5*c + 5*t - 5, 4 = 4*c - 6*c - 5*t. Solve -c*x = 5*p + 5, -2*p = 2*p + x + 4 for p.
-1
Let p = 19 + 2. Let x be (-5 + 119/p)/((-1)/(-3)). Solve 3*c - 12 = 3*l, 2*l + 9 = x*c - l for c.
3
Let n be 3*(4/10)/((-13)/(-65)). Let c be (0 - 0)*2/4. Solve -2*j + 4 = 3*o, c = -2*j - 5*o + 18 - n for j.
-4
Suppose -18 = -0*d - d. Let b(x) = x + 2. Let f be b(3). Suppose -8 = -f*p + p. Solve -3*a - 5*r = a - 33, 4*a = -p*r + d for a.
2
Let x = -79 - -82. Solve -5*i - 10 = -x*f + 4, i = f - 2 for f.
-2
Suppose -2*d - 9 = -3*d. Suppose 4*c - 3 = d. Solve 2*i - 2 = 4*q, -c*q + 9 = 3*i - i for i.
3
Let q = 25494 + -25491. Suppose -50 = -6*t + 2*t + 2*x, 2*x - 40 = -5*t. Solve -5*n = 5*g - 5 - 5, q*g = -n + t for n.
-2
Suppose -o = 209 - 234. Solve 5*j - 3*w = 40, 8*w = 3*w - o for j.
5
Let w = -2342 + 2343. Solve k = -w, 0 = -q + 5*k - 3 + 13 for q.
5
Suppose -1 = -f + 1. Let u(r) = -4 - r**3 + 74*r**f - 69*r**2 - r + r. Let b be u(4). Solve 0 = -4*a + 5*x + 37, -a - 3*x - b = -0*a for a.
3
Let k(a) = a**3 + 4*a**2 + 2*a + 5. Let o be k(-4). Let g = o + 5. Solve -h - 7 = 2*u - 3*u, 0 = -g*u - 2*h - 6 for u.
2
Suppose 9*n = 12*n - 6. Suppose c + 19 = n*c. Solve 11 = -3*y + 2*t + 3*t, -4*t + c = y for y.
3
Let d(u) be the third derivative of 7*u**5/60 - u**4/6 - u**3/3 + 4*u**2. Let f be d(-1). Solve -3*k = -k + 2*n - 2, 5*k + 3*n - f = 0 for k.
3
Let n(u) = u**3 + 39*u**2 - 82*u + 2. Let c be n(-41). Solve -2*i + 2*m = c*i - 10, 3*i = 2*m + 6 for i.
4
Let v(m) = 4*m**3 - m**2 + m. Let x be v(1). Suppose -5*f + 12 + 18 = 5*y, x*f - 16 = 4*y. Solve f*j - 15 = 5*n, 2*j + 2*n = 3*j - 3 for j.
3
Let o = 536 - 279. Suppose -9*n + 31 = -o. Solve 13 = -5*x - 4*s, 2*s - n = 4*x - 2*s for x.
-5
Suppose 5*l = 15, 5*s + 2*l - 2 = 7*s. Solve -5*o = 2*d - 3 - 11, 3*o - 2 = s*d for o.
2
Let j = 281 - 254. Let z be (0 + 1)*2 + 3. Solve 4*l - j - 3 = 2*o, -2*o = z*l - 15 for o.
-5
Let x = -167 - -169. Let s be (40/6)/4*3. Solve 0*a = s*n - 5*a - 15, x*a = -5*n + 15 for n.
3
Suppose -5*h = -3*w + 8*w + 60, 4*h - 4*w + 24 = 0. Let k = -5 - h. Let f = k - 4. Solve 0*x - 2*x + 12 = -2*y, f = -5*y + 2*x - 21 for y.
-3
Let x(h) = h**3 - 4*h**2 - 4*h. Let b(p) = 3*p - 7. Let z be b(4). Let w be x(z). Solve 0 = 4*l - 5*n - 36, w*n = -2*l - 3*l for l.
4
Let u(n) = 4*n**2 - 30*n + 31. Let w be u(1). Solve 0 = m - t + 3, -3*t = -w*t + 4 for m.
-1
Let c(a) = 4*a + 1. Let o(i) = i + 9. Let y be o(-8). Let n be c(y). Suppose -13 = -4*w - n. Solve 0 = 3*d + 2*v + 2, w*v + 11 = 5*d - 7 for d.
2
Suppose -18*m + 22*m - 12 = 0. Solve 4*y + 5*f - 20 = 0, -1 - m = y - f for y.
0
Suppose 0 = 20*n - 17*n - 27. Suppose i = 1, 44 = 5*g + 5*i + n. Let t = g - -1. Solve 3*k + 1 = -j + t, -j = 2*k - 4 for j.
0
Suppose 2*g + 4 = 3*c + 4*g, 4*c = -2*g + 8. Solve -v = o - 4 - 5, -c*o = -16 for v.
5
Let r = 1102 + -1095. Solve -4*d + 5*f = 0, -2*f + 35 = -3*d - r*f for d.
-5
Let q be 2 - -49 - (-2 + 2). Suppose 0 = 2*n + q - 9. Let j = -19 - n. Solve 0 = f - 2*x - 11, -j*f = x - 2 - 5 for f.
5
Let z(y) = y**3 - 42*y**2 - 41*y - 85. Let d be z(43). Solve -5*w - 6 = 5*s + 4, 4*w + d = 3*s for s.
-1
Let j(n) = -n**2 + 4*n + 288. Let d be j(-15). Solve -4*f - 5 + 2 = d*k, 2*k = -2*f for f.
-3
Suppose 5*y = -u + 7, 5*u - 3*y = -7*y + 14. Solve 5*p - 32 + 7 = -3*j, 2*p - 14 = -u*j for p.
2
Let y be 3/18*-5*-6. Suppose a + 4*a 