s - 4*w = -8, -d*w = 3*s + 2*w - 10 for s.
0
Let h be 1 + -2 - 1/2*-4. Solve -t + h = -n + 2, 2*n - 5*t = 11 for n.
-2
Let r = 4 + -2. Let w = 4 - r. Suppose -w = -0*v - v. Solve 4*d + 11 = 3*n, v*d - n - 3*n = -18 for d.
1
Let i(b) = -2*b + 1. Let l be i(-2). Suppose -3*j - j + 26 = 3*c, -20 = -3*j - 2*c. Solve 4*x + 2*q + 6 = 0, -2*q = -l*x - j - 4 for x.
-2
Let a(d) be the first derivative of d**3/3 + 3*d**2 - d - 1. Let j be a(-3). Let f = j - -15. Solve -l + 25 = 4*q, 3*l - 30 = 2*q - f*q for q.
5
Let h be (-15)/(-4) + (-7)/(-28). Solve h*t + 3 = 5*s, t + 2*t + 7 = -s for t.
-2
Let w be (1 + -2)/(2/(-4)). Solve 4*b + 4*f = 3*f + 6, -f + w = 2*b for b.
2
Let i = 48 + -44. Solve 0 = 5*f + 6*l - l - 10, 3*f - 8 = -i*l for f.
0
Let h = 10 - 0. Let c(a) = -a**2 + 2 - 13*a + 0 + 7*a. Let o be c(-6). Solve -y - 14 = -5*t + h, -o*y + t = 3 for y.
1
Let d be 4/(-10) - (-96)/15. Suppose -4*r + d*i + 12 = 2*i, 29 = 5*r + 2*i. Suppose 2*g + 8 - 12 = 0. Solve -r*o + 3*y + 25 = -y, g*y = -5*o + 25 for o.
5
Suppose -10 - 5 = -5*g. Solve 5*y = -g*f + 40, 5*f + y - 12 = 18 for f.
5
Let v(h) = -h**2 + 46. Let a be v(0). Suppose -2*w = -4*z - 62, -2*w + 7 + a = -z. Solve 5*b - 12 = -3*y + w, -3*b = -4*y + 1 for b.
5
Suppose -5*w = 6*x - 3*x - 36, -5*w + 26 = -2*x. Solve -y + 4*s = -w, -2*y + 5*s + 0*s = -6 for y.
-2
Suppose y - 8 = -3*y. Solve 2 = -4*t - 4*l - y, 2*t = 4*l - 2 for t.
-1
Let j(m) = m**2 - 6*m - 19. Let o be j(9). Solve n = -4*b + 5*n - 24, 2*n = -3*b - o for b.
-4
Suppose -4*f - 1 = -37. Let o be -1*2*f/6. Let u be 5/3*(-9)/o. Solve 28 = -u*d - 3*q, 0*q - q - 6 = d for d.
-5
Let x(j) = j - 4. Let g be x(4). Solve g = -2*u + 3*s + 4 + 2, 0 = -2*u - 4*s - 22 for u.
-3
Suppose 8*x - 27 = -11. Solve 4*r - v + 14 = x*v, v = r + 3 for r.
-5
Suppose 4*h + 0*h - 12 = 0. Solve 0 = -4*t + 5*s + 10, 4*s - h*s = -3*t + 17 for t.
5
Let q = -21 + 25. Solve 0 = c + 3*c - w - q, -4*w = c - 1 for c.
1
Suppose n = -3*q - 2 + 17, 2*n = 3*q - 15. Suppose 0*v + v + 5*d + 22 = 0, n = -5*v + d + 20. Solve 3*x - 5 = -2*u - 1, 28 = -4*u + v*x for u.
-4
Let p(s) = 3*s**2 - 3*s - 4. Let j be p(3). Let w = j + -11. Solve w*f - 2*n = 6 + 4, 5*f + 2*n = 6 for f.
2
Suppose -2*h = 2*o - 10, -4 - 5 = -3*h. Solve 14 = -4*p + 2*b - o, 3*p + 3*b = -12 for p.
-4
Let q(p) = -4*p**3 + 6*p**2 - 3. Let g(r) = 11*r**3 - 17*r**2 + r + 8. Let h(a) = 3*g(a) + 8*q(a). Let x be h(2). Solve 5*j - 3*k - x = 6*j, -j - 2 = k for j.
-2
Let r be (-2 + 0)*(-3)/2. Suppose 5*t + 2*h = 57, -4*h + 0*h + 4 = 0. Suppose -15 = 8*s - t*s. Solve -r*v - s*j = -v + 12, -1 = 3*v - j for v.
-1
Let n(c) = -2*c + 2. Let d be n(6). Let s = 15 + d. Solve -x = s*u - 24, 0*x + 2*x = -3*u + 13 for x.
-1
Let s be (0/2 + 2)*1. Suppose 0 = -5*r - 2*x + 41, 4*x = -4*r - x + 26. Solve 0 = -2*l + a + r, -15 = -2*l - s*a + 5*a for l.
3
Let n = 6 + -4. Suppose j - 15 = 3*v + 4*j, 4*j + 6 = 3*v. Let l be -2 - 2/(v - -1). Solve n*t + 3*b = -t + 3, 2*b + 8 = l for t.
5
Suppose 82 = 2*f - 4*f. Let k = 71 + f. Solve -3*w + 4*q = 2*w - 28, 5*w = 5*q + k for w.
4
Let s = -7 - -3. Let t be 2/(s + (-22)/(-5)). Solve 3*c - 5 = -4*k, -5*k + 37 = -t*c - 13 for k.
5
Suppose 4*d = -4*t + 36, 2*d = t - 2 + 5. Suppose t*o = 3 - 13. Let a be (0 - o) + 2/1. Solve -3*c + 28 = 4*i, -2*c + a = -4*i + 3*c for i.
4
Let v = -5 + 8. Solve c - 4*c + v*x + 6 = 0, -c = -5*x - 6 for c.
1
Let c = -1 + 1. Let b be (-2 - 32/(-28))*-7. Solve c = -b*r + r, m + 2*r + 4 = 0 for m.
-4
Let s = 8 - -20. Solve -4*u = 2*b + s, -2*b - 2*b - 31 = 3*u for b.
-4
Let n(c) = -2*c + 1. Let i be n(-3). Suppose 2*t = 3*t + 3. Let q be (t/3)/(-1) + 2. Solve 0 = 5*x - k + 4*k + 7, 2*x + i = q*k for x.
-2
Suppose 0 = 3*w + 5*r - 39, 3*w + 4*r = r + 33. Suppose h + w - 13 = 0. Solve 2*l = h*d - 22, 5*d - 4*l = -l + 23 for d.
4
Let s = 26 + -21. Solve 12 = 5*h + 2*t, -h + s*t = 6 - 30 for h.
4
Let s be 2 + (-6)/(-9) + 24/(-9). Solve 2*c + 5*h = 15, 5*c - 3*h + 8 + 1 = s for c.
0
Suppose -4*o = 2*r + 4, -o - 3 = 3*r + 4*o. Solve u - 4*d - 11 = 0, 0*d - 3*d = r*u + 32 for u.
-5
Let c be 0 + 1 + 1 - -30. Suppose m - c = -3*m. Solve 4*v - 3*t = t + 8, -5*v - t = m for v.
-1
Let o(c) = -7*c**2 + 27*c - 10. Let z(q) = 4*q**2 - 14*q + 5. Let r(j) = 3*o(j) + 5*z(j). Let n be r(6). Solve w + n = 4*k, 3*w = 6*w + 2*k + 5 for w.
-5
Let k = 7 + -3. Solve -2*w = 2*b - 6, -k*b - 3*w + 16 - 3 = 0 for b.
4
Suppose 4*w + 3*x + 44 = 0, 4*w + 0*x = -x - 36. Let l be ((-24)/w)/(6/4). Solve 0*g = -4*b + 3*g, l*g = -3*b + 17 for b.
3
Let y = 40 - 37. Suppose -35 - 20 = 5*k. Let j = -8 - k. Solve -9 = -y*w + g, 4*w = 3*w + 5*g + j for w.
3
Suppose -2*a - 2*n + 8 = 0, -3*a + 6 = -6*n + 3*n. Solve a*g = 5*f - g, 4*g = -5*f for f.
0
Suppose -q = 3*q. Suppose q = z - 5 - 0. Suppose 2 = -z*j + 6*j. Solve 0 = j*v + o + 2, -1 = -4*v - 3*o - 3 for v.
-2
Let w be (-6)/(-2)*((-100)/(-15) + -6). Solve 3*j + 23 = -5*i, 0*j = w*i + 2*j + 10 for i.
-4
Let l = 18 + -1. Let o = -14 + l. Solve -o*b + 1 = -2*x - 4*b, 8 = -x + b for x.
-3
Suppose 7 = -j - 4*a, 4*j + 2*a = -3*a + 16. Suppose -y + 17 = 3*g, -y - 6 = -5*g + 17. Suppose g*c = 7 + 8. Solve 5*r + 5 = 2*v, 2*v - j = -2*r + c for v.
5
Let w(q) = -2*q**2 + 4*q - 2. Let l be w(2). Let k(a) = -2*a**3 - 3*a**2 + 2. Let n be k(l). Solve 0 = -5*u - 5*j + 15, -9 = -5*u - 2*j + n for u.
3
Let f = 3 - -6. Let x be f/(3 - 0) - -2. Solve -5*t - 3*i - 2 = 0, -4*t + x*i - 4*i = -12 for t.
2
Let g be (-15)/10*(-2 + 0). Suppose 0 = g*k + 4*w - 6, -k = -6*k - 2*w + 10. Solve -k*h - 3*v = -8, h - 5 = -4*v - 1 for h.
4
Let z(l) = -l**3 + 7*l**2 + 9. Let k be z(7). Suppose 0 = -6*a + 3*a + k. Solve a*n = -4*c - 9, 0*n + 3*c = n - 10 for n.
1
Suppose -3*k + 7*k + 44 = 4*i, -4*k + 2*i = 54. Let h be ((-1)/1)/(4/k). Solve -3*r = -h*b - 9, 3*b = -0*r - 2*r - 11 for b.
-3
Suppose -d - 165 = -12*d. Suppose 0 = 5*w + 2*o - 21 + 4, -5*w = -5*o - 10. Solve w*m = 2*h + 6, m - 5*h = -m + d for m.
0
Suppose -79*k + 15 = -74*k. Solve 4*n = 2*p, 0 = -k*p + n + n for p.
0
Suppose -2*s = 5*u - 20, -4*s = 3*u + 3 - 1. Solve 5*o - 4*m - 4 + 7 = 0, -u = 2*o - 4*m for o.
1
Suppose 4*c - 4 = -12. Let j be c/4*6/(-1). Suppose j*l = -l + 3*t + 29, 19 = 5*l + 2*t. Solve q + 2*q + 11 = -l*s, -5*q + 5*s + 35 = 0 for q.
3
Let y = -12 - -14. Let z = 2 + y. Solve v + 0 = 4*g - 1, 0 = 4*g - 4*v - z for g.
0
Let t be 1/(3*2/30). Suppose 0 = -t*d - 5, -r - 2*d = r - 4. Solve -5*v + r*s = 26, -6*v = -2*v + 5*s + 6 for v.
-4
Let f be ((-9)/(-3))/(-3)*1. Let w be (2/6)/(f/3). Let z(j) = -24*j**3 - j**2 - 2*j - 1. Let t be z(w). Solve 2*g = -0*g - 5*c - t, 2*c + 10 = -g for g.
-2
Let z = -7 + 9. Let o be 28/21*(z + 1). Solve 4*d - o*a + 13 = 37, -5*a = 3*d + 22 for d.
1
Suppose s = -s. Let q = s - 7. Let o = 11 + q. Solve 0 = 4*h + j + 5, -o*j + 1 = 5 for h.
-1
Suppose 4*d = -2*g + 4, 3*g + 0*g = d + 13. Suppose 0 = -q + 3, -q = k + 3*q - 9. Let z = k - -16. Solve -g*f + z = 3*r, -2 = 5*r - 2*f - 15 for r.
3
Let m be (72 + -73)/(1*1/(-17)). Solve 0 = 6*y - 2*y + 4*s - 4, -2*y - 5*s + m = 0 for y.
-4
Let g = 11 - 8. Let m = g - -1. Solve -3*f - 5*q = -0*f + 4, 0 = -4*q + m for f.
-3
Let z be (1 - -1)/(3/6). Suppose n = -n. Suppose -b = -2*t + 4*t, n = t + 4*b + 14. Solve p - t*p - 3*w + 4 = 0, z*w = 0 for p.
4
Let l = -41 + 47. Solve -l*g = -g - 10, -5*q - 20 = -5*g for q.
-2
Let x(h) = 2*h**2 - 6*h - 7. Let w be x(5). Let p = w - 11. Solve -4*t + p*m = -4, -4*m = 5*t - 0*m + 21 for t.
-1
Let f(d) = d**2 - d - 4. Let h be f(3). Solve 3*s + h*m + 2 = 0, 6*s + 16 = 3*s + 5*m for s.
-2
Suppose -5 = -2*s + f, 4*f - 12 = -3*s + f. Suppose 3 = 4*z - 9. Solve -q + s = -w - 1, -3*q = z for w.
-5
Let a = 1 + 2. Suppose 0 = -w - 2*w. Let o be 0 + 4 + (w - 0). Solve s - 16 = -o*c, -5*c + a*s - 4*s = -20 for c.
4
Suppose 4 = -18*j + 20*j. Solve 5 = -3*b + 2*n, j*b - 3*b - n + 5 = 0 for b.
1
Let j be (4 - -1) + -3 - -64. Suppose -2*s - s = -j. Solve r + 29 = -r + 5*a, -s = r - 4*a for r.
-2
Suppose 5*a + s - 12 = 0, -5*a - 1 + 4 = 4*s. Let n(r) = r**2 - r - 2. Let t be n(-2). Solve 0 = x - 2*x - 4*z + 9, 5*x - t*z + a = 0 for x.
1
Let r = -57 - -68. Solve 0 = 5*h + 3*k + 17, -3*h - 3*k = r - 2 for h.
-4
Let z(t) = -t**2 + 19*t - 59. Let w be z(15). Solve -3*n + i + w = -5, -5*n = -5*i - 20 for n.
1
Suppose 20*q - 16 = 18