+ 16 = 2*w - 0, -5*z - w = g for z.
-3
Suppose 0 = n - 5*v - 6 + 44, -60 = 4*n + 3*v. Let j be (-18)/n*(0 + 1). Let u = 40 - 24. Solve 6*o + 5*a = 4*o - u, -a = -o - j for o.
-3
Let z = -53 - -55. Solve 3*n - 2*y - z*y - 23 = 0, 2*y = -5*n - 5 for n.
1
Let d = -7 + -1. Let q = d - -7. Let f be 0*(q - (-3)/6). Solve -r + 3*x - 4*x = -4, 2*r - 2*x = f for r.
2
Suppose 35 = a - 25. Let z = a + -57. Solve o = -z*u + 2 - 14, -u = 5 for o.
3
Let d be 4 - (-5)/(5/9). Let q = d - 11. Suppose 0*r - 8 = -q*r. Solve -m + 12 = 5*k + m, 0 = 3*k + 4*m + r for k.
4
Suppose -3*n + 3*c - 39 = 0, 2*n + 2*n = -4*c - 52. Let x(v) = 2*v**2 - 2*v - 42. Let k be x(6). Let y = k + n. Solve 3*b + 24 = 3*r, y*b + 0*r = r - 24 for b.
-4
Let f be (-23)/(-92) + 45/12. Solve 3*o - 3 = 0, -z + f*o = -3*z - 2 for z.
-3
Let d(s) = -s**3 + 47*s + 20. Let k be d(7). Solve o = -b + 2*o - k, 2*o = -b - 3 for b.
-5
Let n(j) = -4*j**3 + j + 3. Suppose 0 = l - 4*z - 10, 3*z + 7 = -2*l + 3*l. Let h be n(l). Solve 5*q - h = 4*k, 5*k = -4*q - 2 + 12 for q.
5
Let a(c) = c**2 + 16*c + 57. Let u be a(-11). Solve -5*x = 2*s + 27, -5*x - 26 = -u*s - 3 for s.
-1
Let y(f) = -f - 10. Suppose -3*p = 5*w + 158, 3*w + 2 = -10. Let g = 34 + p. Let k be y(g). Solve -b - k = -2*o - 4, 5*o - 21 = -4*b for o.
1
Let a be (4 - -1) + -10 - -2*5. Solve -a*p = -4*k + 26, -p - 4*p = 3*k - 2 for k.
4
Let f(z) = 2*z**3 - z**2 + z + 4. Let b be f(0). Solve 0 = 3*y + 2*d - 20, d = y - d + b for y.
4
Let r be (3 - (-36)/(-20))*(-10)/(-4). Let d(l) = -l**3 + 5*l**2 - l + 7. Let z be d(5). Solve -2*n - r*y - 16 = -n, -z*y - 24 = 4*n for n.
-4
Suppose 0 = -5*f - 3*c + 92, -44 = -3*f + 84*c - 83*c. Solve -3*u + 5*s = f, 6 = u + 5*s - 22 for u.
3
Let g(l) = 39*l - 152. Let j be g(4). Solve r = 3, -j*a + 4*r = -8*a for a.
-3
Let i be 11 + ((-4)/(-3))/(7/(-21)). Let z be 90/42 - (0 - (-1)/i). Solve 0 = 2*p + 4*j - 2, -5*p + 3*j - 25 = -z*j for p.
-3
Let i(n) = -n**3 + 16*n**2 - 60*n + 4. Let v be i(6). Solve -2 = -3*k - x, -x + 4 - 1 = v*k for k.
1
Let w be ((-4)/(48/(-10)))/(4/24). Solve -2*g = -4*z - 2, -w*z + 3*g + 0*g - 1 = 0 for z.
-2
Suppose -3 = 4*j - 15. Let x be (-25 + -10)*(-3)/5. Suppose 8*l = l + x. Solve l*w - j*m + 3 = -w, 3*w - 4*m = -4 for w.
0
Let b(q) = -14*q + 2. Let h be b(2). Let t be (h/(-13))/(-2 - -1). Let r = t - -7. Solve 5*l + 2*z = r*z - 10, 2*l - z + 5 = 0 for l.
-5
Suppose -7*r = -9*r. Solve r = 3*a + a, 5*f + a = 0 for f.
0
Let i(y) = 2*y + 15. Let x be i(-4). Suppose -x - 44 = -3*q. Let f = q + -14. Solve -13 = 2*r + f*b, r + 8 = -3*b - 0*b for r.
-5
Let i be 1/(-2)*(-22 - (-1 + 3)). Let v(d) = -14*d**2 + d**3 + d**2 + 3 + 12 + 11*d. Let h be v(i). Solve j = -2*a + 6*a - 8, 0 = -2*j + h*a - 1 for j.
4
Let l be ((-148)/(-8))/(9/(-2) - -5). Let v = -4 - -6. Let q be v/(-7) + l/7. Solve 3*i = 5*n + 18, 4*n + 20 = q*i - n for i.
1
Let g be 1/(5/2) - 112/(-20). Let y be g*(-3)/(-2) + (-16)/4. Solve -m + 25 = -y*h, 3*h - 4 = -4*m - h for m.
5
Suppose i + 1 = -5*s + 4*s, 0 = -3*s - 12. Solve i*b = k + 3, -3*b + 1 = 2*b - 3*k for b.
2
Let m(c) = 5*c - 15. Let l(k) = -k + 1. Let i(s) = -6*l(s) - m(s). Let n be i(-9). Solve 3*y + g - 3 = n, -2*y = 2*y - g - 11 for y.
2
Suppose -j - 2 = -y + 2, y = -4*j - 11. Let z be 0/(j/(-6)*2). Solve 5*u - 4*w = 17, z = 5*u - u - w - 18 for u.
5
Let c(a) be the second derivative of a**3/6 - a**2 + 8*a. Let j be c(5). Solve m = 3*p + 8, -26 + 2 = 3*m + j*p for m.
-4
Let o = -825 - -827. Solve o*c + 2*p = 10, 5*c = 3*c + p + 1 for c.
2
Let m(t) = 2*t**2 + 47*t + 30. Let n be m(-23). Solve -5*j - 2*p - n = 1, p + 4 = -5*j for j.
0
Let t be (-11 + (4 - -1))*(-1)/2. Solve -3*c + 5*h = 10, -c - 3*c + t*h = -5 for c.
5
Let w(c) = c**3 + 4*c**2 + 4*c + 9. Let v be w(-4). Let z = 7 + v. Solve 0 = 5*b + 5*g + 5, 10 = -z*g - 2*g for b.
4
Suppose -5*v - 1703 + 1723 = 0. Solve -6 = -4*x + 5*z - 4, 4*x - 2*z = -v for x.
-2
Let m = -1849 + 1854. Solve -4*k - m*t + 36 = 0, 5*k + 4*t - 36 = -0*k for k.
4
Let s(n) = n**3 - 4*n**2 - 15*n + 18. Let j be s(6). Solve 4*f - 17 = 5*y + 2*f, j = 5*f + 20 for y.
-5
Suppose 5*n - 16 = 4*l, 5*n + l - 8 = 13. Suppose -2*j - n*v = j - 60, -51 = -3*j - v. Let f be (-12)/24*j/(-2). Solve t + 3*t + 5*q = 6, 2*t = -f*q + 6 for t.
-1
Suppose 2*c + 0*c - 12 = 0. Let h(o) = o**2 + 16*o + 21. Let f be h(-15). Suppose -5 - 25 = -f*k. Solve c*x - z - 5 = x, x - k = z for x.
0
Let p(y) = -y**2 + 142*y + 8. Let t be p(0). Solve 20 = 5*u - 5*g, 5*u + g + t = 28 for u.
4
Suppose 0 = -3*w + 18*w - 30. Solve -w*f + 28 = 4*r, 3*f = -3*r + f + 23 for r.
5
Let a be (-4)/(-8 + (-30)/(-4)). Solve -j + 1 = -q + 6, -2*j + a = 4*q for j.
-2
Let y = 1674 - 1672. Solve 6 = 2*a - 5*z, -2*a = y*a - 5*z - 12 for a.
3
Let s(m) = 2*m**2 + 5*m + 9. Let q(b) = b**2 + 1. Let y(p) = -q(p) + s(p). Let x be y(-4). Solve -2*r + x*r - u + 14 = 0, -3*r - 5*u = -5 for r.
-5
Let f be ((-2)/4)/(3/12). Let h(y) = 5*y**2 + 37*y + 14. Let l be h(-7). Let o = l - f. Solve -2*m - b = 10, 0*m + 18 = -o*m - 5*b for m.
-4
Let c(o) = o**3 + 8*o**2 + 7*o + 9. Let r be c(-7). Suppose 5*x + r = 29. Solve -3*d + x*z = -4*d - 24, 0 = -5*z - 25 for d.
-4
Suppose 4*r = 5*j + 111, 107 = 3*r + 3*j - 2*j. Let v = r - 31. Solve -v*l + l + 8 = 5*s, 8 = 4*s for l.
-1
Let j be (30/(-40))/((-6)/24). Let w = 4 + -8. Let y(g) = g**3 + 4*g**2 + 3. Let d be y(w). Solve -d*n - 12 = 3*h, -2*h = -n + j*h + 2 for n.
-3
Suppose -5*x + 12 + 0 = v, 4*x + v - 10 = 0. Suppose -5*t = 2*s - 73, 2*t - 26 + 8 = x*s. Solve -u - 7 = -4*h, -2*u - u + t = 5*h for h.
2
Let w be 0/(-1)*(-4 - (-28)/8). Suppose 5*v = -4*n + 91, -2*v + w = -5*n - 10. Solve 4*m + 5*c + 33 = 0, -6*c = -3*c + v for m.
-2
Let x = 8 + -6. Suppose -x*h - 3*t + 17 = 0, -4*t = -3*h - 0*h. Solve 0 = -j - 3*d - 4, 7*j - h*j + 12 = 5*d for j.
-4
Let g = 2118 - 2115. Suppose -k = -3*k. Solve k = 3*t + t - b + 8, -g*b = -t - 13 for t.
-1
Let p = 8 - 3. Let f(j) = j + 3 - 5 + 9 - 6. Let c be f(p). Solve -c = -3*i + 3*l, -1 = -2*i + 3*l + 2 for i.
3
Let d be 5 - 2 - (-1)/(-1). Solve -4*x - 40 = -4*r, -d*r - 6 - 4 = 4*x for r.
5
Suppose -4*l = 4, 3*l + 2*l = 2*w - 13. Solve -4*f = 3*d + 17, -3*f + 9 - 3 = -w*d for f.
-2
Suppose 3*o - 27 = 3*h, -17 = -o + 3*h - 6. Let n be 6*-3*o/(-36). Solve 4*f + 4*x = -16, 14 = -2*f - x - n*x for f.
-2
Let t(y) = -15*y - 176. Let v be t(-13). Solve -5*g + 5*p = 25, g - 6*g - p = v for g.
-4
Let x = -80 - -19. Let r = -61 - x. Solve r = -0*c - 2*c - l - 10, 5*l = c - 17 for c.
-3
Let v = -100 + 97. Let n(l) = -l**2 - 5*l - 1. Let i be n(v). Solve -4*j = -9*j - 5*o + i, -4*j - 11 = -o for j.
-2
Let u(p) = p**3 + 8*p**2 + 11*p - 6. Let j be u(-6). Suppose j = 5*i - 0. Solve -3*r - a - 6 = 0, -4*r + i = 2*a + 6 for r.
-3
Let h(o) = o**3 + 3*o**2 + 3*o + 9. Let n be h(-3). Solve n*a - 6 = -a + i, -3*i + 12 = 3*a for a.
5
Let x = 167 - 140. Let m be 25/((1 - 2)/1). Let l = x + m. Solve 6*c + 3*v = c - 23, -v - 9 = l*c for c.
-4
Let h(k) = k**3 + 25*k**2 - 37*k - 274. Let w be h(-26). Solve -4*r - r - 15 = 0, u = 5*r + w for u.
-3
Let g = 2552 + -2549. Suppose 2*d = 4*v - 12, 2*d + 16 = 4*v + v. Solve -5*k + 13 - d = g*w, -4*k - w + 13 = 0 for k.
4
Suppose -3*v + 4*d + 58 = 0, 2*d - 44 - 70 = -5*v. Let u = 20 - 0. Let z = v - u. Solve 5*n - 19 = z*x, n = -x - x - 1 for x.
-2
Let k = 11 + -9. Suppose -k*q = q - 5*r + 3, 0 = -3*r + 9. Let w be 12/q + (-1 - 0). Solve 0 = -w*l + 3*b - 26 + 3, l + 3*b - 11 = 0 for l.
-4
Let v = -40 + 75. Suppose 25 = -5*l, 5 = 9*n - 4*n + 4*l. Solve 3*k - 2*s + 16 = 0, -8*k - v = -3*k - n*s for k.
-2
Suppose 3*u = -v + 5*v - 43, -3*u = 3*v - 6. Suppose -3*n - 3*t = -33, -n + v*t + 5 = 2*t. Solve 3*p + n = 2*b, 7 + 9 = 5*b - 3*p for b.
2
Let i be 1 - (22/1 + (2 - 2)). Suppose a + 5*l + 21 = 0, -5*a - 65 = -4*l + 69. Let k = i - a. Solve 23 + 0 = 2*d + k*s, -19 = -d - 5*s for d.
4
Let x(f) = -f**3 + 2*f**2 - 2*f + 2. Let v be x(0). Solve 5*z - 3*q = v*z - 3, 3*z - 2*q = -5 for z.
-3
Suppose 0 = -2*p - 0*p + 6. Suppose 2*b - 21 = -3*q + 4, -4*q = -p*b - 5. Solve 4*f + 4 = -2*y - 6, 2*y = -q*f - 15 for y.
5
Let q = 36 - 16. Let w = 4601 + -4581. Solve 5*l = -3*r + w, -q = -4*l - 4*r - 4 for l.
4
Let m = -40 + 44. Let y be m/14 + (-132)/(-28). Solve 0 = g + y*w - 17, -4*g - 3*w + 6 = -2*g for g.
-3
Suppose 