+ -23. Let p = w + 17. Let d = -5 - p. Solve -2*k + k + 15 = -d*j, -4*j + 5 = 5*k for k.
5
Let m be (16/(-24))/(2/6). Let n be ((-4)/m)/(4/10). Suppose 3 + 6 = 3*c. Solve 2*v = -2, 2*s - n = -c*v + 2 for s.
5
Let v(b) = -1 + 3 + b**2 - 2*b**3 - 1 + 2*b. Let a be v(-1). Solve -4*k + 10 = -2*u, -k + 2*u + 13 = -a*u for k.
1
Suppose 0 = -g + 1 + 2. Suppose 0 = -3*v + t - 3 + 1, -t + 2 = g*v. Solve v = -2*k - 8, -3*c - 3 = -k + 2 for c.
-3
Suppose 0 = -5*m + 2*w - 3, -4*w + 5 = 4*m + 13. Let x be 3 + (-2 + m - -2). Solve 2*f + 7 = 3*q, -x*f = -0*f - 4*q + 10 for f.
1
Let m(p) be the third derivative of -p**4/24 + 5*p**3/2 + 2*p**2. Let n be m(11). Solve 4*s = -0*c + 2*c - 20, 2*c = n for s.
-4
Let q(w) = -w**3 - 4*w**2 + 4*w + 2. Let x be q(-5). Let k = -5 + x. Solve 3*c = 3*h, -5*h = k*c - 0 - 14 for h.
2
Let s(m) = m**3 + 7*m**2 + 3*m - 14. Let x be s(-6). Solve -b - 9 = x*f, 5*b + 2*f - 7*f - 5 = 0 for b.
-1
Suppose -5*g + 17 = -w, 3*w + 7 = 4*g - 0. Solve -4*r + 10 = 2*f, 4*r - 5 = -w*f + 2 for r.
4
Suppose 5*k = 4 - 204. Let l be 2/3 + k/(-30). Solve -3*j = -l*z + 11, -j - 5*z + 0*z = 15 for j.
-5
Let x(s) = -s + 10. Let p be (-4)/6*-6 - -3. Let u be x(p). Solve -f + w + 1 + u = 0, 0 = 5*w + 20 for f.
0
Suppose -9 = -3*l + 6. Solve -2*f - b + 3 = 0, -5*f + f - 1 = -l*b for f.
1
Suppose 5*i - 35 = -0*i. Let m = -5 + i. Solve -m*q - 1 + 4 = 5*p, 4 = 4*p for q.
-1
Let j be (4 + -10)*(-1)/3. Let c(m) = m - 4*m - 10 + j + m. Let y be c(-6). Solve 2*b + 2*k + 6 = 0, y*b + 10 = -k - 4*k for b.
-5
Suppose -4*m = 15 + 1. Let u be 4/(m/(-3)) - -5. Solve 2*a + 2 = 2*w, -4*w + 2*w - u = 3*a for a.
-2
Let x = 19 - 16. Suppose 41 = 5*f + 4*i, 3*f - x*i = 27 + 3. Solve -3*l + 4*t = t + f, -3*l - 8 = -4*t for l.
-4
Let g be (-2)/(2*3/(-12)). Suppose 0 = -3*p, f - g*p - 4 = -0*f. Solve -2 - 2 = -t - 5*h, -t + f*h = 5 for t.
-1
Let c(q) = 28*q + 1. Let a be c(1). Solve -2*y = -5*k - a, -y + 28 = -4*k + 3*y for k.
-5
Let v(w) = -4*w - 1. Let t be v(-1). Solve -3 = -5*q - 4*z + 3, -4*q + 4 = t*z for q.
-2
Let g(d) = -3*d - 8. Suppose c + 2 = -2. Let t be g(c). Solve 0 = 2*x - 3*h + h - 4, 3*x = -t*h + 6 for x.
2
Let v = 61 - 31. Let y be 132/v - (-2)/(-5). Solve t - 13 = 3*s - y, -3*s - 3*t = 9 for s.
-3
Suppose 7*g - 53 - 80 = 0. Solve -3*a - g = -u, 3*u - 32 = 4*a - 0*u for a.
-5
Let n be 74/9 + (-6)/27. Solve -5*z + n - 33 = -3*r, -4*z + 7 = 3*r for r.
5
Let j be ((-10)/8)/((-3)/12). Suppose -19 = -2*i + j. Let w be (-9)/i + 45/12. Solve -2*y - 25 = w*y, -3*y = -k + 15 for k.
0
Suppose 0 = -5*r + 9*r + 16. Let c be (1/1 + r)*-1. Solve -3*n + l + 3 = -2*l, c*n - l - 3 = 0 for n.
1
Let k be (8/(-6))/((-1)/3). Let u(q) = -3*q + 69. Let r be u(23). Suppose 15 = s + 2*s. Solve s*v = k*v - 1, r = 3*j + 4*v - 11 for j.
5
Let j = -8 + 8. Solve 3*x - 2*g - 4 = -j*x, 5*g + 17 = 4*x for x.
-2
Let q = -3 - -10. Let c(r) = -r + 9. Let d be c(0). Solve -d - q = h + 3*o, -5*h - 5*o = 30 for h.
-1
Let a(k) = -15*k - 101. Let u be a(-7). Let z = 3 + -1. Suppose -z*v + 3 = -v. Solve -x = u, 2*q - 12 = v*x + 2 for q.
1
Suppose 2*s - 3*w - 43 = 2*w, 5*w = -2*s - 7. Solve -u - k = 7, u - 3*k = -2*u - s for u.
-5
Suppose -15 = -3*r + 4*j + 72, 0 = 3*r - j - 78. Solve 5*s + r = -5*t, 0 = s + 4*s - 4*t - 11 for s.
-1
Let g be (-9)/(-6) - (-6)/(-4). Let s = 2 + g. Solve -s*n + 0 = -2*b + 8, -17 = 2*b + 3*n for b.
-1
Let h = 6 - 2. Solve -3*z - 2 = -2*r + 5, -h*r = -5*z - 13 for z.
-1
Let c(l) = -3*l + 2. Let n be c(-1). Solve 4*i + 3*k = -24, 2*i + n*k + 26 = -0*i for i.
-3
Let g = 31 + -19. Suppose 0*k + k = g. Suppose -4*q = -3*f - 2*q + k, 3*q + 8 = 2*f. Solve -2*c + 5*w = 2 - 10, 3*w = f*c - 16 for c.
4
Let b = -29 + 41. Let d be (-1)/(-3)*(2 - -7). Solve -3*x - b = 5*m, 6 = d*m - 2*x - 2 for m.
0
Let m(o) = o**3 + 3*o**2 - 9*o - 1. Let b be m(-4). Solve -1 = f + k - 0, -2*f = -5*k - b for f.
2
Suppose 5*u - 10*u + 25 = 0. Solve -u*a + 2*c = 3*c + 1, 5*a - 3*c = -17 for a.
-1
Let b be (((-12)/6)/4)/((-1)/34). Suppose -3*v + 15 = 0, 3*d + v - 2 = 6*v. Solve 2*x + 21 = 4*s - d*s, -5*s - 4*x = b for s.
-5
Suppose 3 - 10 = -y. Solve 0 = -3*a + w - y, 4*a - 8*w + 20 = -4*w for a.
-1
Let k = -19 + 26. Suppose 5*h - l - 5 = -2*l, k = h - l. Solve -g - 5*u - 12 = 0, 4*u = 2*g + g - h for g.
-2
Suppose 0 = -v + 11*v - 30. Solve p + 2*p = v*h, -5*h + 3*p = 0 for h.
0
Let g be -9 + 1/(-2)*4. Let u = g - -13. Solve 8 = u*a - 2, -f = -4*a + 15 for f.
5
Suppose 0 = -2*b - 0 + 16. Suppose -b = t - 5*t. Solve -2*c - 3*w + 29 = -7*c, 3*w = t*c + 17 for c.
-4
Let w = 97 - 92. Solve -11 = 2*d - 3*z, 2*d + w*z - 2*z = 19 for d.
2
Let q be (-3)/(-2 + (-1)/(-1)). Suppose 3*o - 4*m + 3 = -0, q*o - 3*m = 0. Suppose -2*c - 2*c + 96 = 0. Solve 0 = y + x - 1, -o*y - y = -x - c for y.
5
Let x(w) = -8*w - 7*w - 1 + 2. Let z be x(-1). Let s be ((-498)/(-42) + -11)/(2/7). Solve 4*h = -5*a - 22, s*h - 2*a = 7*h + z for h.
-3
Suppose -13*j = -13 - 13. Solve 3*y - 2*p - 3 + 14 = 0, 4*p - 2 = j*y for y.
-5
Let c(f) = -f**2 - 4*f + 1. Let v be c(-4). Suppose -y = -r - v, 2*y - 3*r + 2 = -0*r. Solve 3*b + y = -4, 4*b + 16 = -s for s.
-4
Let b = -7 + 13. Solve 0 = -2*f + 2*c + b, 5*f - c = 5 + 2 for f.
1
Let f be (-4)/(-2) + (8/4 - 2). Solve f*u = z - 0*z + 12, 0 = 5*u + 5*z - 15 for u.
5
Let x be -11 + 19 - 6/2. Solve -3*n + 17 = -i - 0*i, -x*n = 3*i - 5 for n.
4
Let n = -32 + 32. Solve n = -5*t + 5*g + 25, 0 = 4*t + g - 2*g - 14 for t.
3
Let b(a) = a**3 - 2*a**2 - 3*a + 4. Let g be (1 + -3 - 0)*-1. Suppose -4 = -g*w + 4. Let y be b(w). Solve 4*p = 5*m - y, -4 + 16 = 4*p + 4*m for p.
-1
Suppose 0 = -2*u + 4*j + 10, -j = -0*u - 5*u + 34. Solve -z = 2*k, k = 3*z - 0*k - u for z.
2
Suppose 3*t + 15 = 3*k - 6, -2*t = -3*k + 23. Let i be 6/k - (-8)/6. Let w be (3 - 14/4)*-10. Solve -2*u = -4*d - i, w*d - 5*u + 5 = d for d.
0
Let k(p) = -p + 3. Let l be k(3). Let j be 4/2*(-2 + l). Let a be -1 + 6*j/(-6). Solve -a*i - 2*i + 28 = -3*s, -2*s = -3*i + 17 for s.
-1
Let q be (-8)/6*(-8 + 14). Let g = q + 13. Solve 3*l + 5*a + 27 = -0*l, 4*a = -g*l - 32 for l.
-4
Suppose 11 + 4 = 5*y. Suppose -2*q + 25 = y*q. Solve -15 = -5*b + q*n, -6 = -4*b - 3*n - 1 for b.
2
Suppose s = 2*c - 16, s = -c - 6 + 14. Suppose p + 0 + c = -3*b, b + 16 = -3*p. Let f = -3 - p. Solve -3*x - 7 = -j - f*x, 3*j - x = 15 for j.
4
Let d(m) = -m. Let r be d(-3). Solve 4*v + b = 10, -2 + 0 = r*v - 4*b for v.
2
Suppose 4*n = 2 + 14. Suppose -d + 3*h + 0*h = -17, 4*d + 4*h = n. Solve -a = -3, -d*l - 8 = -a + 5*a for l.
-4
Suppose 0 = -6*x + 2*x + 3*z + 17, 5*x + 2*z - 4 = 0. Let q = x + 3. Solve 5*u = -4*j + 40, -3*u = -q*u - 2*j + 18 for u.
4
Let z(m) = -m**2 - 5*m - 1. Let r be z(-4). Solve 0 = j + j - y - 10, 3*j = r*y + 21 for j.
3
Suppose -v - 7 = -3*u, -2*u - 2*v - 1 = 3*v. Let j = 21 + -11. Suppose m = -o + 5, -4*m - u*o - j = -26. Solve 0 = 2*p - 4*z + 14, -5*p = -8*z + m*z + 15 for p.
1
Let u(o) = -o**2 - 9*o - 16. Let j be u(-5). Solve 0 = -3*w + d - 7, -1 = j*w + 3*d + 4 for w.
-2
Let w(k) = -k**3 + 9*k**2 + 9*k + 10. Let p be w(10). Solve 0 = 2*v - 4*x - 6 + 4, p = 3*x for v.
1
Suppose -3*d = -a + 4, -8 = -a + 4*d + d. Let s = a + 4. Suppose h = 4*m + 25, s*h - 3*h - 4*m - 15 = 0. Solve -3*w + 5*w = -y - 5, -4*w - h = -3*y for y.
-1
Suppose 2*w + 2*o = 20, -3*o + 2*o = 4*w - 34. Suppose 3*z + s = 14, z = -5*s + 6 + w. Solve -z = -3*u + 5*a - 27, 2*u - 4*a + 18 = 0 for u.
-1
Let u = -1 - 0. Suppose 2*c + 3 = -4*k + 5, -c + 1 = 4*k. Let q be c/u - (2 - 3). Solve 5*j - y = q, 0*y = -2*j + 3*y for j.
0
Let k = 106 - 103. Solve 0*s = -5*s - k*t + 1, -3*s + 5*t = -21 for s.
2
Suppose 5*j + h - 14 = -0*j, 2*h + 17 = 5*j. Let t = -17 + 32. Solve w - t = -z - j*z, 5 = -w for z.
5
Let s(v) = -3*v - 20. Let q be s(-8). Solve 0 = -4*a + y + 3 - 7, 2*a = y - q for a.
0
Let m(g) = g - 2. Let w be m(6). Suppose 0 = v - 6*v - w*n - 15, -2*n - 11 = 3*v. Let i = 3 - v. Solve 0 = -2*f - 0*f + i, 2*h + 7 = f for h.
-1
Let s(x) = -x**3 + 9*x**2 + 10*x + 8. Let c be s(10). Suppose -c = -h - 3*h. Solve -4*b = -7*b + t - 5, -4*t + 10 = -h*b for b.
-1
Let f be 1/4 - (-30)/8. Suppose 0*l - 5*x = -2*l - 6, f*x = 2*l + 4. Let w = 3 + l. Solve 0 = -2*y + w*b + 12 + 6, b = -2 for y.
4
Suppose 6*g - 20 = 2*g. Suppose -6*s = -g*s - 5. Solve -4*j + i - 1 = 12, -15 = s*i for 