lve 4*k = -4*s - o, -d*k + 6 = s - 1 for s.
-5
Let m = 3 - -1. Let p be ((-32)/40)/(m/(-10)). Solve p*a = -2*w - 4 - 8, -4*w + 21 = -5*a for w.
-1
Let w(m) = -m + 5. Let g be w(6). Let n(d) = -13*d**3 + 2*d**2 - 1. Let k be n(g). Solve 4*q - 8 = -f, 2*q - 2*f = -0*f + k for q.
3
Let p(j) = 8*j. Let s be p(1). Let f(v) = v - 2. Suppose 0*d - 20 = -5*d. Let t be f(d). Solve u + s = 2*u + 2*k, -t*k + 6 = 0 for u.
2
Let b(u) be the third derivative of u**5/60 - u**4/8 - 7*u**3/6 + 6*u**2. Let q be b(5). Solve 0*k = -2*r - 4*k, q = 3*r + 3*k for r.
2
Let t be (10 - 8) + (1 - 3). Solve u - j = t, -3*u = -4*j - 0 - 4 for u.
-4
Suppose -t - 20 = -4*h, 5*h = -4*t + 3*h - 8. Let g(r) = -r**2 - 4*r + 2. Let u be g(t). Solve -2*k - 2*k = -u*s + 14, 2*k = 4*s - 22 for s.
5
Suppose 2*z - a - 14 = 0, 0 = -a + 1 - 5. Let o(j) = -j**2 + j + 2. Let i be o(0). Solve -z*n + 2*u = -i, -5*n + u = -0*n - 1 for n.
0
Suppose -3*x - 6 = -21. Let p be 4 - (3 + -1)/2. Suppose 2*w + 11 = -p*j, w + 23 = -x*j - 0. Solve 0 = -3*s + v, -5*s - w*v = 2*v - 17 for s.
1
Suppose 0 = -t - 4*v - 2, -2*t + 3 = -0*v + v. Solve t*z + 22 = -3*z + 2*j, 2*j = 3*z + 14 for z.
-4
Let d(x) = -x**2 + 4*x - 2. Let s be d(3). Let f be (-4)/(-8)*-4*s. Let g be f/(-9) - (-50)/18. Solve 3*h = -4*c - 7, -g*c - 2*h - 2*h = 14 for c.
2
Let c = 14 - 11. Let z be (-5)/((-10)/4) + -2. Solve c*q + 0*q - 4*k = -26, 5*k - 25 = z for q.
-2
Let p be 37/4 - (-1)/(-4). Suppose -u - 45 = -4*g, 6 - 49 = -4*g - u. Let k = 12 - g. Solve r - p = d - r, -k = 5*d + r for d.
-1
Suppose 5*t - 32 = -3*w, 0 = -2*t - w + 3 + 10. Suppose 4*v + 3*x = -t, -4*v + 0*v - x + 3 = 0. Solve 4*m - 5*u = 2*m - 9, -3*m + 3 = -v*u for m.
3
Let a = 9 - 3. Suppose 2 = 2*t - a. Solve 2*n + 0*w + 4*w = 0, -22 = -t*n + 3*w for n.
4
Suppose 0 = -7*i + 2*i + 25. Solve -i*z - w = 4*w, 5*z - 2*w + 14 = 0 for z.
-2
Let h = -1 - -6. Suppose 2*p + 16 = 2*a, -4*p + 3*p = 3*a - 12. Suppose -b + 0 = -2. Solve -x + h*x = -4*l + 16, a*x = -b*l + 17 for x.
3
Suppose b - 2*g = 12, 4*b - 23 = -2*g + 5. Suppose 5*v - 16 = -s + b, -4*v + 16 = 4*s. Solve 2*y - 6*c = -3*c - v, -4*c + 5 = -y for y.
-1
Let w(g) = -40*g - 5. Let k be w(-2). Suppose -7*p = -4*p - k. Solve -5*u = p, -26 = a - u + 6*u for a.
-1
Suppose -i = -4*w - 15, 8*w - 5*w + 12 = i. Solve i*n - 10 = -3*v - 2*n, -3*n = 5*v + 10 for v.
-5
Suppose 0*i = 2*i - 4, 6 = s + 3*i. Solve 5*z - 2*d + 26 = s, -2*z + 2*d = -0*d + 14 for z.
-4
Let r(g) = 2*g**3 + 2*g**2 - 2*g + 1. Let f be r(1). Solve -l + 2 = 3*l + z, 0 = f*l + 4*z - 8 for l.
0
Let q = 18 + -12. Solve q*u = 2*u + 3*x + 18, -2*x = 4*u - 8 for u.
3
Suppose 5*r = -4*g + 14 + 2354, 0 = r. Suppose -d = 3*d + g. Let a be d/(-8) - (-2)/4. Solve 4*w = 3*t + a - 4, 5 = -w - t for w.
0
Let y = 2 + 3. Suppose 5*o + v = -4*v - 20, -3*o - 16 = 4*v. Solve -6*i - 5*z = -y*i - 17, o = 3*i - 3*z + 21 for i.
-3
Let c(i) = -i**2 - 5*i + 1. Let v be c(-6). Let p(b) = -2*b - 8. Let d be p(v). Solve 0 = o + 4*f + 1, 0 = 5*o + d*f - 2 + 7 for o.
-1
Suppose 2*q - 6*z + 4*z - 10 = 0, -4 = 2*z. Solve -4 = 3*k + k + 5*r, -5*k - q*r = 5 for k.
-1
Let l(c) = c**3 + 7*c**2 - 8*c + 3. Let p be -2 - (4*2)/1. Let d be -20*(2 + 16/p). Let h be l(d). Solve -9 = -h*s - 0*s + 2*b, -s - 3*b - 8 = 0 for s.
1
Suppose 8*d - 4*d - 12 = 0. Solve 0*w = 3*w + 15, d*p - 4*w - 11 = 0 for p.
-3
Suppose 5*i + 9 = 3*h - 8, 18 = 5*h + 2*i. Let c = -2 + h. Solve -11 = 4*o + g + 5, 0 = 2*o - c*g + 8 for o.
-4
Let b = 6 - 4. Let v = b - 0. Let m(n) = -3*n - 4. Let p be m(-6). Solve p = 4*i + v, 19 = f + 5*i for f.
4
Let r be 1/2 + 47/2. Suppose 0 = -2*t + 3*t. Solve -r = 2*q - 4*j, 4*j = 3*q - t*q + 28 for q.
-4
Let o = 16 + -15. Let l be 42/12 - o/2. Solve -2*t = -4*u, -t + l - 4 = -u for u.
-1
Suppose -5*h = -2*g - 19, -h - 8 = 4*g - 5*h. Solve 0 = -o + 3*o - 2, 4*n - 7 = -g*o for n.
1
Let t(s) = -s**3 - s**2 + 5. Let w be t(0). Solve 4*y = -4*b + 24, w*y - 28 = 4*b - 7 for y.
5
Let f be (-9)/(-4) - (-8)/(-32). Let l be (3/(-3))/(f/(-6)). Solve u + 1 = -2*j - 4, -j - l*u = -5 for j.
-4
Suppose -z + 12 = -0*z. Solve 3*q + z = q - 4*w, -q + 19 = -3*w for q.
4
Suppose 0*r - r = -3. Suppose 5*f = 2*f. Solve 2*b - r*g = 3*b + 6, 4*b + 2*g - 6 = f for b.
3
Let g(s) = 8*s + 6. Let o be g(-3). Let i be o/(-6) - (-2 + 3). Solve c = 2*c - 5*f, -i*c - 4*f = 14 for c.
-5
Suppose -3*z = -5*r + 40, -4*r = 3*z - 5 - 0. Solve 4*l - 2*h = -2, -h - 8 = -r for l.
-2
Let m = -13 + 16. Let p be (-5)/5 - m*-1. Solve -p = -2*y - 2*j, -4*y + 7*y - 3*j = 15 for y.
3
Suppose 7*h = 6 + 29. Let z = 9 - h. Solve -p = -5*d + 4*p + 20, -z = -d + 2*p for d.
4
Let w = 3 + -1. Suppose 5*j = j + 4. Let y be w - (-5 + -2 + j). Solve g = 2*a, 0 = -g + y*a - 4*a for g.
0
Suppose 3*s = 3*u - 2*s + 5, -u + 4*s = 11. Suppose 0 = -0*f - 4*f. Solve 0 = -x - u*z, 2*x - 5*z = -f*x for x.
0
Let b(g) be the first derivative of g**3/3 + 9*g**2 + 3*g - 9. Let i be b(-18). Solve z = 5*x + 1, 8*z - 4 = 4*z - i*x for z.
1
Let s(o) = o**2 + o. Let z be 3 - 1/((-1)/(-2)). Let w be s(z). Suppose 5*j - 7*n - 10 = -2*n, -4*j = 5*n - 44. Solve 3*k = w*y + j*k + 12, -y = -k + 1 for y.
-3
Suppose 3*z = 6*z - 12. Suppose z*y = 3*y. Solve -h - i - 1 = 0, -i = 3*h - y*i + 7 for h.
-3
Let b be (0 - 0) + -1 + 1 + 4. Suppose -4*y - y = -20. Solve j - 2*q - 17 = -b*j, 16 = y*j - q for j.
5
Let k(a) = 6*a**2 + 2*a + 1. Let f be k(-1). Suppose -2*o = -2*b - 2, -2*b = -f*o + b + 11. Solve 0 = 2*i - 4, o = -5*c - 0*i + 2*i for c.
0
Suppose -2*b = -0*b - 4. Let x = 14 + -8. Suppose -o - b*o = -x. Solve 0 = 2*i + 4*z + o - 16, 0 = -4*i + 4*z - 20 for i.
-1
Let c(w) = w**3 + 4*w**2 - 3*w + 1. Let b be c(-4). Let i = -8 + b. Solve -q + i = f, 5*f - 3*f = 3*q - 10 for f.
1
Let u be (1 - -1)*-1 + 5. Suppose k - 6 = -u. Solve k*h + 12 = 3*n, -3*h - 2 = -n + 3*n for h.
-2
Let u = 25 - 6. Solve -2*a - 18 = -3*p - p, -u = -4*a - 3*p for a.
1
Let w be (-32)/(-7) + 76/(-133). Solve q - 3*h = -9, -2*q = 5*h - w - 22 for q.
3
Let x = -122 + 122. Solve -l - 25 = 4*n, l + x*l = 2*n + 5 for n.
-5
Let h = -18 - -18. Solve c - 4*t + 16 = h, 0 + 1 = 4*c - 3*t for c.
4
Let c(f) = -f - 8. Let w be c(-13). Solve 0 = w*d + j + 1 + 21, 5*j = -2*d + 5 for d.
-5
Suppose -5*i - g = 7 - 35, 5*g + 34 = 4*i. Solve -2*o - i = -v - 0, -5*v - 3*o + 17 = 0 for v.
4
Let o(s) = -3 + 1 - 2 - 5*s + s**2. Let m be o(6). Solve i - 8 = 2*c, 17 = m*i - i - 5*c for i.
2
Suppose 3*x + 84 = 96. Let l = 2 - 2. Solve l = -4*q - 0*o + 5*o + 8, 2*q - x = 2*o for q.
2
Let c(u) = u + 4. Let h be c(8). Let q = h + -6. Suppose -5*z = 0, 2*v - 4*z = q*v - 20. Solve 0 = -5*s + 3*g - g - 4, 10 = v*g for s.
0
Let n = 18 - 14. Solve 3*u + 15 = -n*t + t, u = 5*t + 1 for u.
-4
Suppose -s = 7*q - 2*q - 15, 2*q = -3*s - 7. Let w be 2/5 + (-18)/(-5). Solve 0 = -2*v - q*k - 22 - w, 2*v - 4*k = 6 for v.
-5
Let r(u) = 0 + 17 - 15*u**2 - 2*u**3 + 2*u**3 - u + u**3. Let c be r(15). Solve 30 = -5*n - 5*v, -c = -5*n + 2*n + 2*v for n.
-2
Let c = 106 - 103. Solve 6 = -c*p - 3*m, 9*p + 14 = 4*p - 3*m for p.
-4
Suppose 5*o - 4 = -0*o - 3*x, o = -3*x - 4. Let z(p) = 2*p**3 - 2*p**2 - p - 2. Let y be z(o). Solve -y*u - 2*c = -14, 9 = 4*u + 3*c - 6 for u.
3
Let c be 54/15 - 12/20. Solve 32 = -0*x - 3*x - 4*u, -c*x + 5*u = -13 for x.
-4
Suppose 0 = 7*w - 3*w. Solve 3*f - 5*l = -40, w = f - 0*f - 3*l + 20 for f.
-5
Let o(x) = -x**2 - 6*x + 4. Let p be o(-5). Solve 3*j + 5*u + p = -j, j + 2*u + 6 = 0 for j.
4
Let s(h) = 5*h. Let j(l) = 5*l - 1. Let q be j(-1). Let r be 0 + (-3)/(q/8). Let v be s(r). Solve -3*z = 4*d + 19, -z + 5*z + 4*d + v = 0 for z.
-1
Let k(h) = -h**3 + h**2 - h - 13. Let y be k(0). Let a = 18 + y. Solve a*p + 41 = -5*v + p, 4*p - 9 = 5*v for v.
-5
Let k be -1 + 3/((-6)/(-8)). Suppose -11 + 1 = 2*w + 5*y, 8 = -w - 4*y. Solve -4*q = 4*m + 4, w = -k*q + 3*m - 8 - 1 for q.
-2
Let k(q) = -q + 4. Let x be (-6)/(-15) + 6/(-15). Let p be k(x). Solve m - 2*i = 3*i + 1, 0 = -p*i - 4 for m.
-4
Let l be (-2)/(-10) + (-1)/5. Suppose -5*p - 5 = l, 5*p + 1 = i - 2*i. Solve -2*c - i*x = 8, -c + 4*c = -4*x - 12 for c.
-4
Let k(s) = -s**3 - 4*s**2 - 2*s - 3. Let z be k(-4). Let v(x) = -x + 15. Let d be v(11). Solve 13 = -z*m - d*h, -h - 5 = 2*m + m for m.
-1
Let r(l) = l + 8. Let c be r(-6). Let w = c - -4. Solve 0 = 5*u + 2*i - 