 0 for u.
-3
Let m(u) = 9*u - 2 - 8 + 2 - u**2 + 1. Let x be m(5). Solve g + 5*b + x = 0, -g = g + 4*b + 8 for g.
2
Let v be 11 - -6 - (-2 + 5). Solve y + 5*a - 12 = 3*a, 3*y - 4*a + v = 0 for y.
2
Suppose -5*h + 33 = 8. Solve -n = -2, -3*s - 7*n + h*n = -7 for s.
1
Let z = -126 - -131. Solve -4*k = 4*u + 16, 0*k - 20 = 3*k + z*u for k.
0
Let b = -4 - -4. Let r be b/((-1)/1) - -3. Solve r*y + y = 4*t + 20, -2*t - 2*y + 2 = 0 for t.
-2
Let l(i) = -2*i. Let s be l(-4). Suppose 0 = 2*d + p - 24, 4*d = -4*p + 48 + s. Solve -3*g = 5*f + d, 1 = -f + 4*g - 1 for f.
-2
Suppose 5*b = 4*b, -4*x = 2*b. Let j = 31 + -29. Solve x = -m + 4*u - j, 5*m - u - 6 = 3*u for m.
2
Let y be 4/(-6) - (-6)/9. Suppose -7*t + 2*t = 5*x - 30, y = -5*x - 2*t + 24. Solve -2*p - p - 8 = 4*f, x = -p for f.
1
Let k = 16 + -14. Solve b + 3*v + k = -12, 0 = 3*b - 3*v - 18 for b.
1
Let f = -13 - -30. Suppose 3*b = 2*o + f, -4*o - 7 = 2*b + 19. Let i = o - -11. Solve -a - 28 = i*y + 2*a, -a = 5*y + 24 for y.
-4
Let l(w) = w**2 + w. Let y be l(-1). Let c = 2 + y. Solve 0 = -2*u + c*n + 6, 3*u - 3*n + 2*n - 7 = 0 for u.
2
Suppose -2*o + 4*a = 0, -4 + 2 = -3*o + 5*a. Solve -4*c = -2*t - 21 + 5, 5*t = -o*c + 2 for c.
3
Suppose 0 = 2*h - h - 3. Solve -g - 3*a = h, 2*g - 5*a + 6 = -0*g for g.
-3
Suppose d + 9 = 4*d. Suppose 6 = d*b - 0. Suppose b*l - a - 9 = -2*l, -5*a + 21 = 2*l. Solve -l*z - 3*t = -6*z, t = 2 for z.
2
Let b(v) = -v**3 + 6*v**2 - 5*v + 5. Let i be b(5). Let k be 3/2*(-8)/(-3). Suppose -6*n + k*n = -4. Solve -2*z - 10 = i*s, z + 2*s + n = -2 for z.
0
Suppose -8*m + 12 = -2*m. Solve m*g + g - 2*p - 9 = 0, -4*g + 8 = -4*p for g.
5
Let k(c) = -c + 8. Let g be k(5). Solve s - w = -g*w - 14, 2*w = -5*s - 30 for s.
-4
Suppose 2*p = 4*p - 56. Suppose y - 11 + p = 3*q, -4*y = -4. Suppose -q = -2*i - 2*a, i + 4*i - 4*a = 24. Solve s - w = 0, s + 3*w + 0*w - i = 0 for s.
1
Let n = 8 - 3. Solve -n*h + 24 + 6 = 5*r, h + 2*r = 10 for h.
2
Suppose -p - 1 = 4*k - 0*k, -2*p - 2 = 5*k. Solve -2*j + j + 2*z = 6, -5*j - 4*z + 40 = k for j.
4
Let c(f) = -3*f**2 + 11*f + 5. Let k be c(4). Solve 3*o = -2*j - 0*o - k, 0 = j + 2*o + 1 for j.
1
Let n = 10 + -6. Let w(r) be the third derivative of r**6/40 - r**5/30 + r**4/24 - 2*r**2. Let d be w(1). Solve 0 = v - n*l + 1, d*v + v + 2*l - 11 = 0 for v.
3
Let k be (-4 - -5)/((-1)/6). Let l be (-3)/(18/4)*k. Solve -3*r + 0*r = 5*h + 10, -l*r + 4 = -2*h for r.
0
Let c(j) = -2*j - 2. Let s be c(3). Let f be s/(-10)*30/4. Solve 4*m = 3*m + 3*w - f, -4*w = -8 for m.
0
Suppose 2*x = -2*s - 3*x - 15, 2*s - 15 = x. Suppose -14 = -s*d + 6. Solve 0 = 5*m - 5*l - 10, -3*m = -d*m + 2*l for m.
4
Let b be (10/(-3) - -3)*-6. Suppose 0 = 2*k - 7*k + 15. Let c be (k - 1) + 1 + 1. Solve 5*a + 4 = -u - 2, b*a - c = -2*u for a.
-2
Let i(z) = -2*z - 20. Let u be i(-10). Solve 44 = -4*n - 4*w + 12, -4*n - 3*w - 28 = u for n.
-4
Suppose -40 = -4*x - 4*n, -4*n + 19 = 3*x - 14. Solve 0 = s + 4*t - 16, 0*t = 2*s + 3*t - x for s.
-4
Suppose 12 = -4*v, -5*u + 3*v - 135 = 26. Let h = 52 + u. Solve -c + 5*n = h, -n - n = 2*c for c.
-3
Let q(w) = w**3 + 6*w**2 + 2*w - 3. Let t be q(-6). Let j = t + 25. Suppose 0 = -z + 5, 0 = -4*d + z + 2*z + 5. Solve -k - d*f = -6*k + 30, 2*k - f = j for k.
4
Suppose 0 = -5*x + 8 + 22. Let b = -3 + x. Suppose -b*c + 0*c = -6. Solve 4*m + 5*h = 3*m + 14, 5*m + c*h - 24 = 0 for m.
4
Let u(l) = l**3 - l**2 - l - 1. Let v be u(-2). Let t = -6 - v. Let y = t + -1. Solve -y*b - 5 = n, 2*n + 0*b + 5 = -3*b for n.
-1
Suppose w - 17 = -4*r + 4, 4*r + 3*w = 23. Let t = -3 + r. Solve -2*d - t*a - 2 - 2 = 0, 0 = 3*d + 4*a + 10 for d.
2
Let h(c) = -2*c - 2. Let o be h(-3). Suppose z - 6 - 2 = 0. Suppose -2*g + z = 2*g. Solve -2*t + 5*t = g*a + 11, -4*a - o*t + 28 = 0 for a.
2
Suppose 0 = 2*n - 5*t + 8 + 13, -21 = -3*n - 3*t. Suppose -3*u - 6 = 5*h, -h - 10 + n = 4*u. Solve 4*i + 25 = 5*g - h*i, 4*g + 4*i = -16 for g.
1
Let v be (-3)/6 - (-8)/16. Solve 4*j + 12 = 4*m - 0*j, v = -5*j for m.
3
Let w(f) = -f**3 + 7*f**2 + 2*f - 8. Let r be w(7). Solve r*c - 3*c + 3*k = -3, 0 = 5*k + 10 for c.
1
Let b be ((-2)/(-6))/(1/12). Suppose 4*j - t + 8 = b*t, -3*j = 5*t - 29. Suppose 0 = -4*q + j + 13. Solve 0 = -q*a - 12, -2*s - 23 + 6 = 5*a for s.
-1
Let n be 1 + ((-12)/(-54) - 16/(-9)). Solve -k - n = -4*g - 7, 0 = -4*g + 3*k - 4 for g.
-1
Let d be (-2 + 3)*0 + (9 - 4). Solve 9*z - 3*u = 4*z + 31, d*z + 2*u = 21 for z.
5
Let w(b) = b**2 + 4*b + 3. Let u be w(-3). Suppose -4*z + 14 + 2 = u. Let q = 7 + -3. Solve 4*n = -q*g - 16, -3*n + z*g + 0 = -2 for n.
-2
Suppose 0 = -5*m - 6 + 21. Suppose -4*p + 1 = -m. Solve -2*v = -5*o + 26, -v = -0*o + o - p for o.
4
Suppose 0 = -a + b + 1, 9 = 3*a - 0*a - b. Let x(n) = n + 11. Let f be x(-5). Solve a*m = -5*k + 5, f = -k - k for m.
5
Suppose 2*j - 2*q - 6 = 4*j, -8 = 5*j - 2*q. Let r be (4*(-1)/j)/2. Let b be (-19)/(-4) - r/(-4). Solve b = -3*g + o, g + 4*o - 3*o + 3 = 0 for g.
-2
Let r(d) = -d**2 - 11*d + 14. Let w be r(-12). Solve -5*l + w*a = 5, -4*l - 6 = -5*a - 2 for l.
-1
Suppose -5*a = -2*r - 3, -2*r - 8 = 3*a + 3. Let c be (7/(-4))/(a/4). Let b = c - 5. Solve y = -2*o, -7*y + 20 = -b*y for o.
-2
Suppose -o + w - 17 = -4*o, -3*w - 9 = -3*o. Solve 2*u = -5*f + 3, 0 = -5*u + 2*u - o*f + 2 for u.
-1
Suppose 5*w = -0*w + 3*l + 32, -12 = -2*w + l. Suppose 0 = -5*x - 5*n, w*x = 3*n - 0 + 14. Solve 0 = -5*u - 0*d + d, 0 = 3*u + x*d for u.
0
Let n = 4 + -1. Suppose 22 = 2*d - 3*p - n, 37 = 5*d + p. Let k(c) = c**2 - 9*c + 11. Let o be k(d). Solve 2*u + y + o = -4, -3*u = 5*y for u.
-5
Suppose 2*n + t + 3*t - 40 = 0, -2*n = 5*t - 39. Solve -3*r = -2*y + n, -17 - 1 = 2*r - 2*y for r.
-4
Suppose 8 = -2*z + 4*z. Solve -3*p - 22 = 3*t + 2*p, 0 = -z*t - 3*p - 11 for t.
1
Suppose -2*d + 0*g + 27 = -g, 2*d + 2*g - 18 = 0. Suppose -5*l = -4*m - 9, -3*l + 0 = -4*m + 1. Solve 4*h = m*p - 6*p - d, 0 = -3*h + p + 1 for h.
-1
Let a(x) = -x**3 - 6*x**2 + 2. Let w(u) = u**3 - 3*u**2 - 6*u + 2. Let v be w(4). Let z be a(v). Let n = 8 - 4. Solve z*o - 2 = -0*i - n*i, -o - 4 = -3*i for o.
-1
Suppose -2*l + 12 = 8. Solve 2*o = -5*q - 28, -4 = -o + l*q - 0 for o.
-4
Let w(n) = -n + 8. Let m be w(-7). Solve -r - 4*r - 5*t = m, 3*t - 3 = 0 for r.
-4
Let h = 1 + 0. Let n be (14/(-6))/(h/(-3)). Solve 5*v - 2*s - n = -4*s, v + 2*s - 3 = 0 for v.
1
Let l(r) = -r**2 + 5*r - 1. Suppose -16 = -2*y - 2*z, 0 = -5*y + 3*y - 5*z + 28. Let o be l(y). Solve 3*f - 6 = -o*k, 3*f = 3*k - 3 - 3 for k.
2
Let f(r) = -6*r**3 + r**2 + 2*r + 1. Suppose 0 = -3*u - 0*u - 3. Let y be f(u). Suppose -4*h + 8 = -0*h. Solve -k = -h*s + 7, s - y = -k - 1 for s.
4
Suppose 5*g = -3*r + 37, g - 5*r + 25 = 2*g. Suppose 2*x - 13 = -5. Suppose 2 - 8 = -3*k. Solve 4 = g*l + k*t + 17, t + x = 0 for l.
-1
Let v = 15 - 32. Let s be v/(-4) - (-1)/(-4). Suppose -s*t + 7 = y - 0, 2*y + 3*t = 9. Solve y*r + 15 = -3*g, -12 = 4*r - 2*g + 8 for r.
-5
Let o be (-4)/8 - 15/(-6). Suppose 0 = -a + o*a - 2. Solve -2*i + w + w = -6, -a*w - 11 = -3*i for i.
5
Suppose 3 = 4*d - d. Let t(y) = -y**3 - y**2 + 3. Let w be t(0). Let b = w - d. Solve 0 = -5*f - 5*m + 32 - b, 9 = 4*f + m for f.
1
Let c(r) = -r + 15. Let k be c(10). Solve 3*u + 7 = -3*t - 20, 30 = -2*u - k*t for u.
-5
Let a(f) = 5*f + 2*f - 9*f - 6. Let c be a(-4). Solve -b = -4*b + c*y + 4, 0 = -5*b - 4*y - 8 for b.
0
Let d(j) = -j**3 + 21*j**2 + 21*j + 22. Let y be d(22). Solve -5*w + 2*q - 4 = y, 3*q + 15 = -5*w + 2*w for w.
-2
Suppose -3*q = -4 - 5. Let o = 8 - 18. Let f be o/(-4) + q/(-6). Solve 2*m - 4*h = -8*h + f, 4*m + 18 = 3*h for m.
-3
Let z(x) = x**3 - 4*x**2 - 6*x + 1. Let b be z(5). Let y be (-4)/b + -1 + 2. Let v be (-2)/(-4) + y/(-4). Solve -f - 4 = v, 3*f = -2*a + 5*f + 18 for a.
5
Suppose 5*l = 4*h + 11, 0 = 4*l - 6*l - 4*h + 10. Suppose -l*t + 1 = -17. Solve -2*n - t = -d, -2*n + 2*d - 8 = n for n.
-4
Let h(q) = q**3 + 4*q**2 - 2*q - 5. Let l be h(-4). Solve -t = -6*t - 3*b - 40, l*b = 2*t - 5 for t.
-5
Let g = 1 - 9. Let s be 6*(g/6 + 2). Solve -s*a + 3*w + 10 = 0, 0 = 5*a - 0*w + 4*w + 3 for a.
1
Let d be (-1 - -7)*(-26)/(-39). Suppose 8*m - 28 = d*m. Solve 3*r - 3*g = -12, 9 = -4*r - 3*g - m for r.
-4
Let j(v) = 3*v + 12. Let p be j(-4). Solve p = -4*y + 4*b + 12, 0 = y - 6*y + 4*b + 17 for y.
5
Let k(f) = f**2 - 15*f