). Solve 4*k = -u + 3*u + g, 0 = -2*u - 2*k + 2 for u.
-3
Let d(k) = -k**3 - 2*k**2 - k + 2. Let u be d(-2). Solve -4*r + u*b + 4 = 0, -4*r - b + 4*b = -3 for r.
0
Let s = 35 + -17. Let w be (s/5)/(4/20). Solve 4*v - 1 = -2*h + 13, 5*v + 2*h - w = 0 for v.
4
Let n be (-1 + -5)/((-6)/4). Suppose -n*s = -7*s. Solve 3*k - 3*d = 0, -2*k + s*k + d = 5 for k.
-5
Let p(o) = 5*o**3 - o + 1. Let b be p(1). Let r(g) = g - 8. Let q be r(7). Let s = q + b. Solve -4*n - 16 = s*l, -3*n + l + 4*l = 4 for n.
-3
Let m = -11 + 15. Let x = 17 - 17. Let f be (-2)/(8/(-12) + x). Solve -4*b - m*y = 20, f*b + 0*y + 15 = -y for b.
-5
Let r be 6/(-8) - 18/8. Let s be 0/1 + (r - -4). Let b be (0/s)/(2 - 4). Solve 3*d + 8 = -h, 4*h + b + 18 = -5*d for d.
-2
Let z = 7 - 0. Solve 4*q = k - z, k + 4*k - 5 = 5*q for q.
-2
Let g(t) = t**3 - 6*t**2 + 6*t - 2. Let l be g(5). Suppose 5*n - 3*k - 25 = 0, k + l = -2. Solve -3*s + 0*s + 13 = 4*q, -q - n = -s for s.
3
Suppose -3 = -n, 0 = w - 3*w + 2*n + 20. Solve -5*d + 15 = 2*r, -3*r - w = -5*r - 3*d for r.
5
Let i be (-1)/5 + 105/25. Solve 5*h - 4*b - i = 0, 0 = -4*h - 2*b - 2 for h.
0
Let s = -2 - -5. Solve s*w + 5 = -v, -2 + 10 = -2*w - 3*v for w.
-1
Suppose -3*o - 6 = 5*f - 25, -2*o - 4 = 0. Solve 0 = f*m - k + 16, -3*m + 4*m + 24 = -5*k for m.
-4
Suppose 0 = -3*d - 0*d + 51. Suppose 3*q + d = -g - q, -g = -q - 8. Solve 4*l - g*o - 4 = 1, l - 5 = 2*o for l.
-1
Suppose -5*r - 5*c = -5, -r - 3*c - 3 - 2 = 0. Solve -5*i + g + 6 = 0, 5*i - 5 - 4 = r*g for i.
1
Suppose -13*r = -14*r + 2. Solve 2*g - 9 = y, g - r*g - 1 = 5*y for y.
-1
Let v = 38 + -33. Solve 5*q - 2*z = -0*z + 25, -4*q + v*z + 37 = 0 for q.
3
Suppose 4 = 5*k - 3*k. Solve 30 = 3*x - 2*h - h, -5*x + k*h = -35 for x.
5
Let p = -2 - -4. Let c = 21 - 4. Suppose p*s + 3*f - c = 0, -5*s + 5*f + 1 = -s. Solve h - s = -3*n, -3*n + 5 = -1 for h.
-2
Suppose -2*m - m = -3*c - 6, 4*m = 3*c + 11. Suppose 6 = -c*i + 5*i. Let s = -6 + 8. Solve i*x = 4*y - s, 0*y + y + 4*x - 10 = 0 for y.
2
Suppose 8 = 2*f, 0*i + i + 5*f - 24 = 0. Suppose 5 = 3*s - 43. Solve s = -3*y + v, -2*v = i*y - 4*v + 24 for y.
-4
Suppose 4*j - 49 = -3*w, -3*w + 19 = 2*j - j. Let v be (-81)/(-15) - 4/10. Let a = j - v. Solve -4*l = -a*y, 3*l + 2*y = -2*l for l.
0
Suppose w = 6 - 1. Suppose 2*s = -n - 14, 3*s = -n - 2*n - 30. Let g be (-6)/(-4) + 3/n. Solve 3*z - 19 = w*o, z - g = 3*o + 8 for o.
-2
Let k be (1 - 1)*(-1)/2. Suppose -z + 5 - 1 = k. Let d be 6*(z/(-6) + 1). Solve 4 = d*w - b, w + b - 5 = 3*b for w.
1
Let h(u) = -u**2 - 4*u - 1. Let d(w) = -w - 16. Let n be d(-13). Let k be h(n). Solve 4*j = 3*g - 15, 0 = -5*j + 3*j + k*g - 8 for j.
-3
Suppose 0 = 15*a - 10*a - 15. Solve 0 = -3*q + 4*n - 6, -5*q - a*n + 17 + 2 = 0 for q.
2
Let z(n) = n**2 + 2*n - 2. Let c be z(-5). Suppose -4*a + c = -a - 4*b, -10 = -5*b. Solve -2*m = t + 1, 5*m + 3 = -5*t - a for m.
1
Let z(g) = g**3 - 11*g**2 + 10*g + 3. Let f = 2 + 8. Let o be z(f). Solve -n - 9 = -o*p - 2, 0 = -5*n - 3*p - 17 for n.
-4
Let y(m) = m**3 + 8*m**2 + 5*m - 2. Let c be 14/(4 + -4 - 2). Let w be y(c). Solve 3*g - u = -0*u + w, -2*g = u - 8 for g.
4
Let x(w) = -w**3 + 4*w**2 + 6*w - 3. Let n be x(5). Let k be (n/(-4))/((-3)/42). Solve -3*a = -4*t - 18, 2*a + t - k = 2*t for a.
2
Suppose 8 = -3*d + 5*d. Solve 0 = -p + 5*z + 10, -4*p + d*z + 8 = -p for p.
0
Let b = 4 + 0. Let w(t) = t**2 + 7*t + 6. Let k be w(-6). Solve k = 5*x + 3*q - 9, 0 = -2*x + b*q - 9*q + 15 for x.
0
Suppose -14 = -3*v + d, -v + 3*d + 12 = -6. Solve -v*r = 3*j - j - 2, -r - j = 0 for r.
2
Let m be ((-16)/(-6))/(4/(-18)). Let v = m - -14. Solve i = 4*w + 15, 0*w - v*i = 2*w for w.
-3
Let l(g) = -g**3 + 3*g**2 - g - 1. Let y be l(3). Let b be 4*((-9)/y - 2). Let h = 2 + 0. Solve b = 3*v - 5*t + 2, h = t for v.
3
Let k be (2*-1 + 4)/2. Let c be ((-9)/6)/(k/(-2)). Solve z + w = -c, -w - 2*w = 3 for z.
-2
Let p = -14 - -46. Suppose p = 4*z + 12. Suppose -3*q - 9 = -3*r, 0*r = -q + 5*r - 15. Solve -5*m - 3*g - 25 = q, 5 = -z*m + 4*m + 3*g for m.
-5
Let k be (-3)/(-6)*-2*-5. Solve -3*m + k*d = -3, -m + 2 - 1 = -d for m.
1
Let i be (-4)/5*(-75)/6. Suppose 3*a = 6 - 0, 0 = -q - 4*a + i. Solve -5*y + 20 = -5*m, -5*y + 3*m - q*m = -24 for y.
5
Let m = 8 + -5. Let d be (6/3 - 3) + m. Solve 2*b + 13 = -4*j - 9, 3*b = -d*j - 13 for j.
-5
Let o = 1 - 3. Let t be o/(-6) - 260/(-12). Solve -4*x + 9*x = 3*r + t, 4*r + 5*x = -6 for r.
-4
Suppose 4*w = -4*h - 8, -6*w - 19 = -4*h - w. Solve n + 3 = 4*q - 4, 0 = n - q + h for n.
1
Suppose 0 = -5*s + 2*k + 28, 0 = -3*s - 0*k + 4*k + 28. Solve 0 = 3*q + s*r + 2, 5*r + 2 = q - 10 for q.
2
Let s(x) = -10 - 4 + 2*x + 2. Let f be s(6). Solve -5*u + 20 = -5*d, -d - u - 6 = -f for d.
-5
Let r = -221 + 331. Suppose -5*a + r = -0*a. Let z(g) = g**2 - 12*g - 7. Let b be z(13). Solve 0 = 5*v + 3*o - b*o + a, 2*o - 10 = v for v.
-2
Let q be ((-16)/(-6))/(2/3). Solve -r + 9 = 3*k, -4*r = 3*k + q - 13 for r.
0
Let p = -14 - -26. Solve 0 = 4*g - 2*s + p, 17 + 5 = -3*g - 5*s for g.
-4
Let n = 12 - 0. Suppose 2*a = 5*a - 6. Suppose 6*b - a*b = n. Solve 43 = 5*z - 5*l + b, 5*l + 28 = z for z.
3
Let f = -19 + 25. Solve -30 = -4*k + 4*v - f*v, -v + 5 = 0 for k.
5
Let v(p) = -2*p - 21. Let d be v(-12). Solve 2*h - 7 = f, -44 + 10 = -5*h - d*f for h.
5
Let l(a) = -3*a + 2 + 3*a**2 + 3*a**3 + 0*a**2 - 4*a**3. Let d be l(2). Solve -4*o + 4*q + 0*q = d, -3 = o - 2*q for o.
3
Let x = -18 + 20. Solve -14 = 4*c - 2*u, 2*c - 4*u = -x*c - 24 for c.
-1
Let n be -1*6*(-1 + -22). Suppose -2*u = -4*u + n. Suppose 2*i - u = -i. Solve 5*f = 2*t + i, -5*t + 4*t + 2 = 2*f for f.
3
Let m(l) = -6*l - 48. Let t be m(-8). Solve n + 3*n + 28 = 5*f, -2*f - 4*n = t for f.
4
Let i(v) = -2*v. Let j be i(-1). Suppose 3*o - 2*y - j = -o, -3*y = -5*o. Solve 3*u - 6 = 3*h, h + 4*u = o*h for h.
-4
Let h be (-82)/(-26) + 8/(-52). Solve 0 = -3*g - b - 10, 0*g - h*g + 2 = -2*b for g.
-2
Suppose 0 = -6*i + 3*i + 57. Let p be (3/(-5))/(4/(-20)). Let d = -1 + p. Solve -2*t - 4*g = 5 + 17, -d*g + i = -5*t for t.
-5
Suppose -3*h - 2*h + 46 = -2*n, 4*n + 12 = 0. Suppose i = 1, -2*i - h = -0*a - 2*a. Let z = 0 + a. Solve 4*v = v - z*g - 16, 5*v + 2*g - 5 = 0 for v.
3
Suppose -2*t + z = -6, t = z + z. Suppose -v - 5*r - 6 = -2*r, 2*v + t*r = -14. Let d = -6 - v. Solve -1 = 3*n - 16, -q - 19 = -d*n for q.
-4
Let z be 2 - (2 + -1)/1. Solve -5*b + 4*t = 5, 5*b + 4 = -2*t - z for b.
-1
Let c be (-1)/(((-12)/(-3))/16). Let u be (-5 - c)*0 + 5. Solve l + 6 = -3*v + 4*l, -v = -4*l + u for v.
-1
Suppose -19 = -4*j - 3*v + 4*v, 0 = -3*j + 5*v + 10. Solve -2*k = -p - 0*p, j*k + 3 = 4*p for k.
1
Suppose -2*o + 9 - 3 = 0. Suppose -2*q + 8 = 2*q. Solve -q*d = a + 2*a - 7, 0 = -5*a + o*d + 18 for a.
3
Let r be (-5)/3*(-4 - -1). Suppose 0 = 3*y + w - 0*w - 10, 2*y = w + r. Suppose -10 = -4*c + y*f, f = -4*c - f + 20. Solve s + 2 = 3*m, -m = m - 2*s - c for m.
0
Suppose 0*p = -2*p. Suppose 4*a + p = 16. Suppose -1 = -n - 0*n. Solve 2*j - a*r = -n + 25, 2*r + 28 = 5*j for j.
4
Let v(p) = p**2 + 10*p + 13. Let c = -17 + 8. Let n be v(c). Solve 0*w - 2*w + n*r + 8 = 0, 4*w + 5*r + 10 = 0 for w.
0
Let d = -2 + 3. Suppose u - 1 = d. Suppose 36 = b - 5*s, 0 = -b - 0*s - 4*s + 18. Solve -u*l = -0*l + 2*w + 6, -3*l = -4*w - b for l.
2
Let p = -1 - 0. Let m be p/3 - (-35)/15. Suppose y + 8*v - 3*v + 17 = 0, 3*y + 3*v + 3 = 0. Solve -m*q - 1 = -2*n - 3*q, 4 = y*n - q for n.
1
Let g = 9 + -9. Suppose 5*m - 2*m = g. Solve v + m*v - 2*d - 4 = 0, 10 = v - 4*d for v.
-2
Let q(w) be the third derivative of w**4/12 - 7*w**3/6 - 3*w**2. Let s be q(6). Solve -2*k + s*d = 0, 2 = k + 2*d - 7 for k.
5
Let o = 2 - -4. Suppose 0 = 5*a - 4*z - 309, 3*a = 7*a - 4*z - 244. Suppose -r - a = -o*r. Solve -4*n - g + r = -0*g, -2*g = 3*n - 6 for n.
4
Let h = 6 + 1. Suppose 2*f = f + h. Suppose 2*r - 3*r = r. Solve r*m + f = 5*c - m, 0 = -3*c + m + 3 for c.
2
Suppose 5*g = 3*g. Suppose -2*k + 2*j + g*j = -36, 8 = -2*j. Solve 3*c - 6*c + 7 = x, -4*c + k = -x for c.
3
Let m(g) = 3*g - 8. Let s be -2 + (3 - 5) - -8. Let d be m(s). Solve 0 = -d*r - n - 5, -2*r + 3*n = -2*n - 25 for r.
0
Suppose -5*o = 3*s - o + 5, -5*o - 40 = -3*s. Solve -3*r + s*p - 29 = 0, -2*r - 4*p = -7*r - 31 for r.
-3
Suppose 7 = 2*v - 3. Suppose 20 = -5*c - 4*g, 2*g = -2*g - 20. Suppose c