= 23 + -15. Solve 0 = -3*w - 2*i - 23 + r, -3*w + i = 15 for w.
-5
Let r be 3/(-1*(-6)/4). Let n be 5/5*r*4. Suppose -5*t + 4*h = 4, n*h - 3*h = 5. Solve -g - 3*p = 0, t = -g + p + 3 + 1 for g.
3
Suppose -2*w + 3*s + 16 = 7*s, 2*w + 2*s - 12 = 0. Suppose x = 4*n - 10, x + w = 2*n - 0. Suppose 6*i = n*i + 9. Solve h + 3*h = -j + 8, -6 = -i*j - 3*h for j.
0
Let s(v) = 2*v - 1 - 23 + 6. Let m be s(14). Solve -3*g + m = -2*g + 5*z, -g + 4*z - 17 = 0 for g.
-5
Let s = 8 + -11. Let o(v) = v**3 + 2*v**2 - 4*v - 1. Let j be o(s). Solve j*a = -0*a + 3*g + 12, -3*a = -5*g - 20 for a.
0
Let y(v) = -v**3 + 11*v**2 + 3*v - 17. Let g be y(11). Solve -5*t = x - 14, 3*x + g = 4*t - x for t.
3
Let f = 11 - -1. Suppose -5*k - f = r + 10, -4*r - 3 = 3*k. Solve -5*a + 3*g + 6 = -6, 2*g + 7 = r*a for a.
3
Let y(a) = -2*a + 5. Let r be y(-4). Suppose -5*k + 2 + r = 0. Let h be k/(-15) + (-42)/(-10). Solve 0*v - v - 2*f + 3 = 0, 5*v + h*f + 9 = 0 for v.
-5
Let k = -22 - -42. Suppose 22*z = 26*z - k. Solve 5*n - 17 = 8, z*n = d + 23 for d.
2
Let b(j) = -j**2 - 5*j - 5. Let n be b(-4). Let u be n/(-4) + (-19)/(-4). Solve u*a - 4*y - y = 0, -3*y + 3 = 0 for a.
1
Let x(a) = a**2 + 9*a + 16. Let k(n) = -2*n - 1. Let y be k(3). Let c be x(y). Solve -c*l + 5*w = -31, -w = -l - 4*l + 20 for l.
3
Suppose 13*z - 12*z = 0. Suppose g + 0 - 8 = z. Solve 3*m - g = 4*k, -m + 7 = -2*k + 1 for k.
-5
Suppose o + 6 = 3*j - 25, 2*j - o = 19. Suppose -j = -4*w - 0*w. Solve -16 = w*l - 4*s, -5*s - 7 = 3*l - 0 for l.
-4
Suppose l = -2*l. Suppose 3 + 3 = -3*f + 3*m, 0 = 4*f - 2*m + 16. Let o be 0/(4 + f - -1). Solve l*y + y + 4*s - 13 = o, 4*y + 4*s - 16 = 0 for y.
1
Suppose 0 = -h + 5*q + 16, 0*h - 5*h = -2*q - 80. Solve 0 = 5*d, 4*f + 0*d + h = -2*d for f.
-4
Let s(i) = 2*i**2 - 11*i - 15. Let j be s(7). Let g(z) = -z**2 + 3. Let r be g(0). Solve 2*t - j = -r*x, x + 3*t = 4*t - 3 for x.
0
Suppose 6*c - 6 = 3*c. Solve c*z - 3*w = -8*w - 20, -2*w - 8 = -2*z for z.
0
Suppose 6 = 5*a - 14. Solve 2*m = 3*w, 3*m - a*w = 8*m for m.
0
Suppose 2*v = 2 + 2. Let a be (v - 0)/(-2)*-3. Let p = 4 - 0. Solve -a*y - 5*t - 15 = -y, -3*y + p*t + 35 = 0 for y.
5
Suppose -7 - 10 = -z + 5*j, 4*j = -2*z - 8. Solve 3*s + 3 = -3*a, 5*s + a = z*a + 19 for s.
3
Let i be (-3)/9*(-9 + 0). Suppose 8 - 23 = -i*q. Solve 4*v + 27 = -4*t - 5, -q*v = -2*t + 12 for t.
-4
Let n(b) be the third derivative of -b**4/12 - 7*b**3/3 - b**2. Let g be n(-8). Solve -3*v = 5*t + 8, -t - g*v - 6 = 3*v for t.
-1
Suppose 0 = -5*h + 3 + 12. Suppose -2*p - 82 = -4*l + 3*l, h*l = -p + 211. Suppose 2*k + l = 6*k. Solve 0 = -r + 4*m - 14, -5*r = -4*m + k + 4 for r.
-2
Let s = -41 + 44. Solve -5*u + 2 = 2*t, 0 = -u - s*u for t.
1
Suppose -4*j + 248 = -4*g, -j + 0*j = 4*g + 238. Let k be 2/(-6) - g/18. Suppose v - 52 = -v. Solve 8 - v = -2*o - 5*r, -o + k = r for o.
-1
Let f be (2 + -2)*(-2)/4. Let j be 6/4 + (-77)/(-14) + -5. Solve f = -w + j*c - 0*c + 7, -4*w + 4*c = -24 for w.
5
Let v be 2/8*1*8. Solve q = v*g + 2*q - 7, 0 = 2*g + 5*q + 5 for g.
5
Let h = 9 - 13. Let o be -3 + (-1 - -4 - 2). Let u be (o + -7)*h/12. Solve -u*q + 2*q = -5*f - 30, -15 = 2*f - q for f.
-5
Suppose -4 = 2*t - 18. Solve 3*r = 3*w + t*r, 0 = w + r + 1 for w.
-4
Suppose 0 = -3*r + k + 28, 0 = -5*r + 2*k + 3*k + 60. Suppose 3*h - r*h + 10 = 0. Let y = h + 8. Solve -a - y = -5*z, 5*a = 4*z + z - 30 for a.
-5
Let v = -23 - -23. Solve 2*z - 3*c - 2*c + 22 = 0, -2*c + 8 = v for z.
-1
Suppose 19*k - 23*k = -8. Solve -6 + 18 = -4*s, -2*f + 2*s + k = 0 for f.
-2
Let v(y) = -y**3 + 9*y**2 + 7*y + 11. Let o be v(10). Let x = o + 39. Let m be 40/6*3 - -1. Solve -3*c = -n - 7 + m, 0 = -4*c - x for n.
-1
Let h(t) = t**2 + 8*t + 5. Let m be h(-8). Suppose m*f - f - 4*p = 0, 4*f + 2*p - 18 = 0. Solve -2*k = 4*l, 2*k + f*l = l for k.
0
Suppose -2*j - 5*c = -11, -4*j + 3*c - c + 10 = 0. Solve j*k - 4*z = -7, -24 = -0*k - 4*k - 3*z for k.
3
Let b be ((-2)/(-6))/((-3)/(-45)). Let l = -1 + b. Solve 0 = -l*x - 3*i - 2*i + 3, -5*x = 2*i - 8 for x.
2
Suppose 5*g = 2*k + 58, -5*g + 2*k + 3*k + 70 = 0. Let y = g - 4. Let a(d) = d - 1. Let q be a(y). Solve -u - h - 9 = -6*u, q*u + 3*h = 13 for u.
2
Suppose 0 = 6*l - 5*l. Solve -4*g + 14 = -l*g + 2*z, 5*z = g + 24 for g.
1
Suppose j - 4 = -4*a - 3*j, 0 = -3*a - j + 9. Let q be 28/8 - a/(-8). Let f be (-8)/(-2) - 2/2. Solve 0*y - f*n = y - 16, -q*y = -4*n for y.
4
Let k be 0 + (15/(-3) - 3). Let g = k - -8. Solve -3*s = -5*o - 1 + 14, s + 2*o - 14 = g for s.
4
Let p = -37 + 42. Solve 4*y + 2*g = -2*g + 20, -2*g = -p*y - 3 for y.
1
Let w(o) be the second derivative of -o**5/20 + o**4/3 + 3*o**2/2 + o. Let j be w(4). Suppose -9 = j*f - 6*f. Solve c = -2*x + x - 5, -2*x = -f*c for x.
-3
Suppose -3*i + 15 = 5*f - 13, -f = -4*i + 22. Solve 2*m = -0*m - q - i, -3*m = -3*q + 18 for m.
-4
Let k = 7 - -11. Suppose 37 + k = 5*o. Solve 3*g - 5*f - 25 = 0, -4*g + f = -33 + o for g.
5
Let r = 1 + 0. Solve s = i - r, -3*i - 3*s = -0*i - 21 for i.
4
Let x(m) = m**3 + 9*m**2 + 14*m + 3. Let z be x(-7). Solve -3*d = 4*j - d - 22, d = z for j.
4
Let t(k) = 5*k**3 - 2*k**2 - k + 2. Suppose 0 = u + 2 - 3. Let j be t(u). Solve x + 10 = 3*m + 2*x, j*m - 2*x = 10 for m.
3
Let q(t) = -t. Let z be q(2). Let v be (-14)/z - (3 - 1). Let j(k) = k**3 + 8*k**2 + 4*k + 4. Let h be j(-7). Solve h + v = 5*s - p, p + 5 = 0 for s.
5
Suppose 0 = 5*l + 2*x - 5, -9 = 4*x + 11. Solve 4*q + 2*k - 20 = 0, 0 = 3*q + l*k + k - 20 for q.
4
Suppose 3*s = 2 + 1. Let g = s + 1. Solve q - 2 = g*o + 4, -o - 21 = -5*q for o.
-1
Let r(x) = -x**2 + 7*x + 1. Let j be r(7). Let o be (j + -2)/1 - -10. Let s be 24/o + (-2)/(-6). Solve -l = -5, s*q + 0*l + 31 = 5*l for q.
-2
Suppose -3 = -4*y + 1. Suppose 3*l - 115 = 8*l. Let t = l - -42. Solve 4*i - t - y = 2*j, 0 = 5*j - 3*i + 22 for j.
-2
Let m be (-5)/((-10)/4) + 1. Suppose m*s - 90 = -2*s. Suppose 2*v - s = -2. Solve -2*f = 2*u + v, 5*u + 6 = -4*f - 9 for f.
-5
Let z = -18 - -38. Solve 5*k - 2*k = -x + 16, 3*x + 2*k - z = 0 for x.
4
Let t be 0/(2 + 2 + -2). Solve 2*z = -j - t + 4, -z - 4*j - 5 = 0 for z.
3
Let m be ((-12)/(-8))/(2/(-8)). Let u(b) = -b - 1. Let v be u(-4). Let p be ((-10)/m - 1)*v. Solve -p = -0*a - a, 2*o - a = -6 for o.
-2
Let k be (14/7)/(-1 + 2). Suppose k*q - 3*c = 17, 0*c + 4*c = -12. Let i = 21 + -7. Solve -4*g + h = i, 0 = -g + q*g + 5*h - 1 for g.
-3
Let q(j) = 14*j + 2*j**3 + 4*j**3 + 16 - 12*j**2 - 7*j**3. Let d be q(-13). Solve 5*o - d*x = 15, -x - 3 - 2 = -3*o for o.
0
Let q be (-10)/(-4 + 9) - -4. Solve -r + p - 3 = 0, q*p - 6*p = -5*r - 13 for r.
-1
Let h = 7 + -5. Let x be -1 + 1*-2 + 15. Let s = x + -7. Solve 0*r = s*a + h*r - 2, 3*a + 4*r - 4 = 0 for a.
0
Let z(s) = 4*s**2 - 13*s - 6. Let k(y) = 3*y**2 - 12*y - 5. Let j(o) = -3*k(o) + 2*z(o). Let w be j(10). Solve 9 = v - w*l, 5*l + 5 = -10 for v.
0
Suppose g = 18 + 18. Suppose -3*p - p = g. Let n = -7 - p. Solve 0 = -n*y - 4*q - 26, -5*y + q = 4*q + 30 for y.
-3
Let x = -17 - -19. Suppose -4*k - x*k = -18. Solve -3*l = -a, k*a = -3*l - 2*a - 18 for l.
-1
Let j = -12 + 16. Solve -16 = 4*w - 2*n, -j*n + 22 = 3*w - 6*w for w.
-2
Let j = 10 - 9. Solve -4*q = -0*t - 5*t + j, 5*t - 10 = -5*q for t.
1
Suppose 5*o + 2*o - 35 = 0. Solve 0 = -f - 0*p - 5*p + o, -2*p = 0 for f.
5
Suppose -9*i = -4*i - 5, -m = i - 4. Suppose 2*k = m*k + 3. Let f = 8 + k. Solve -2*s - 6*v = -v + 14, 8 = -4*s - f*v for s.
3
Let i = -110 + 115. Solve 4*z - 5*t - 9 = 2*z, 0 = i*z - 5*t - 15 for z.
2
Let m = -6 - -49. Let t = 63 - m. Suppose 4*d - 5*w - 45 = 0, -3*w = -2*d - 5*w + 18. Solve 3*g = -5*u - d, g = 2*g - 3*u - t for g.
5
Suppose -4*b - 21 - 11 = -4*v, 0 = -b + 3. Solve 5*x = l + v, -5*x + 2*l = 5*l - 7 for x.
2
Let o = 11 - 11. Solve l + 9 = d, d + 2*l + 6 = -o*l for d.
4
Suppose 3*r + 5 = 23. Solve 0 = 2*q - 2, -3*m + 5 + r = -4*q for m.
5
Let o be 20/(-6) - (-14)/(-21). Let u = o - -14. Solve -u = -l + 5*j - 4*j, -10 = -5*l - 3*j for l.
5
Let i(f) = -3*f + 30. Let l be i(8). Solve -5*y - 2*s = -5 + 11, -3*y = 2*s + l for y.
0
Let a(p) = 6*p**3 + p**2 - p. Let r be a(1). Suppose 0*f = -2*f - r. Let j(o) = -o - 3. Let t be j(f). Solve -5*g = 2*z - 6*z + 15, t = z + 4*g + 12 for z.
0
Suppose -4*q = -2*n + 26, 0 = 2*n + q - 4*q - 22. Let w = 4 - 2. Solve n*z - 4*m = 7, 5 = -5*z