+ 5*o, 0 = u + o - 2 for u.
3
Let g = 28 + -26. Solve -3*s = -0*s - 5*y, 0 = -4*s + g*y + 14 for s.
5
Suppose 0 = 5*p - 3*p, 5*p = -4*j + 8. Let k = 11 - j. Solve -s + 6*s - k = -3*l, 0 = -3*s - l + 3 for s.
0
Let m be (5 + -2)/((-22)/5 - -5). Solve w + 3*n - 7 = 0, 2*w - 2 = -m*n + 9 for w.
-2
Let b(j) = 2*j. Let w(g) = g**2 - g + 1. Let y(q) = -b(q) + 2*w(q). Let v be y(3). Suppose -4*a - v = -5*a. Solve -12 = 5*t + a, k - 3*t = 12 for k.
0
Suppose 4*m + 3*v - 15 = 0, -4*v + 20 = 3*m + 2*m. Solve 2*p - 2*s - 14 = 0, 0 = -m*p - 5*p + 4*s + 30 for p.
2
Let v be (-28)/(-5) - 2/(-5). Suppose -10 + v = -f. Solve -k + f*i - 7 = 0, 0*k - 2*i - 10 = 4*k for k.
-3
Suppose 38 = 3*b + 4*t, 9 + 4 = b + t. Solve 5*f + b = 4, 2*i = -5*f for i.
5
Let b = 7 - 14. Let y = -4 - b. Solve -y*r - 40 = r + 5*j, -4*j = -2*r + 6 for r.
-5
Suppose 3*j + 4*t = 16, j = -3*j + t + 34. Solve 4*f + q + j = 1, 9 = -3*f + 3*q for f.
-2
Suppose 3*y + 8 = 5*n - 27, -y = 5*n - 15. Suppose -4*p + 8 + 8 = 0. Solve 29 = -s + 5*m, -p*s - 41 = -m - n*m for s.
-4
Let m be (-30)/(-4)*(-6 - (-102)/15). Solve 3*p - 3*s + 18 = 0, m*p + 4*s + 8 = 2*p for p.
-4
Let c(r) = 2*r - 9. Let y be c(6). Let o = y + 0. Suppose -2 + 11 = o*u. Solve 5*z - 4*i - 20 = 0, -z + 2*i + u + 7 = 0 for z.
0
Let d(b) = -b**3 + 9*b**2 - 8*b + 3. Let v be d(8). Solve -v*n = 4*m - 28, 0 = 2*n + m + m - 16 for n.
4
Let p = 7 + -15. Let f = p - -20. Suppose 2*n - f = -4. Solve 12 = -2*o - 3*t, 4*o + t - n = 6*o for o.
-3
Suppose 0 = -6*i + 2*i - 36. Let y = 306 + -560. Let w be y/(-9) + 2/i. Solve -a - a = 5*j - 5, -j + 5*a + w = 0 for j.
3
Let y be 2/(-9) - (-180)/81. Suppose -3*t + t = -10. Solve 0 = -3*s + 4*m - 3*m + y, -t*m = -2*s - 16 for s.
2
Suppose 0*a = -5*a + 20. Suppose 3*w + 4*g - 3 + 0 = 0, 5*w + 4*g = 5. Suppose k = w + 3. Solve -i + a*t = i + 4, k*t - 4 = 0 for i.
0
Suppose 0 = -3*y + 3*w + 33, w - 8 = -y - w. Let t = y - 19. Let z be 6 - (-1 + t/(-3)). Solve 6 = -4*f - 3*s, -5*f - 2*s + 0*s - z = 0 for f.
0
Let n(u) = -u + 5. Let o be n(1). Solve 4*g - 12 = 4*m - o, -3*g - 5*m - 18 = 0 for g.
-1
Let u(g) be the second derivative of g**4/6 + 5*g**3/6 - g**2 - 8*g. Let q be u(-4). Solve 0 = 3*a - 2*t - 7, t + q - 34 = -4*a for a.
5
Suppose 5 = i + x - 4, -3*x = -15. Solve -i*y - 2*g - 4 = 0, -y - 4*g - g - 1 = 0 for y.
-1
Let x(g) = 2*g**3 + 3*g**3 + g + 0*g. Let o be x(-1). Let t be 2 + 0*3/o. Solve 4*q + 0*h = -h - 17, q - 2*h + t = 0 for q.
-4
Let y = 4 + -2. Suppose y*k + k - 6 = 0. Let p(v) = -v**2 + 6*v - 1. Let m be p(5). Solve 4*f - k*o + 12 = -0*o, -o = -m for f.
-1
Suppose 5*y - y = 60. Suppose 5*n - 190 = -y. Suppose 0*j - 5*j = -n. Solve -f - 6 = 3*a + 2*f, -f = 2*a + j for a.
-5
Suppose 4*b - 5*t = 3, b - 6*b + 5 = -5*t. Let d = -5 - -8. Solve 2*j + 1 = 3*k - d*j, -4*j - b = -3*k for k.
2
Let i(r) be the second derivative of 0 + 2*r - 3/2*r**2 - 1/6*r**3. Let q be i(-7). Solve 0 = -3*y - q*n + 16, -y - 4*n + 23 = 7 for y.
0
Suppose -45 = 4*i - 125. Solve 0*d = -d + v + 8, -d + 5*v + i = 0 for d.
5
Suppose 4 = 5*w + 3*a - 6, -w + 2 = a. Solve -w = -5*f - 3*n, 0 = -4*n + 2*n + 8 for f.
-2
Suppose 0 = -2*g + x + 8, 4*x - 12 - 10 = -g. Suppose 3*z = 2 + 7. Let w be (g/4)/(z/40). Solve 5*s - 5*p = 10 + w, 5*p = 2*s - 24 for s.
2
Let j(d) = d - 4. Let b be j(7). Suppose 3 + 3 = b*t. Solve 6*x = n + t*x + 5, -4*x + 8 = -4*n for n.
-1
Suppose 0 = -3*t + 4*t. Suppose t*z - 11 = z. Let q be 6/(-12) - z/2. Solve q*b + 17 = w, -5*b + 3 = w + 16 for w.
2
Suppose -5*v - 2*a = -19, -2*v + 0*a = 3*a - 12. Solve 2*y + 5*n + 5 = -v*y, -3*n = 4*y + 8 for y.
-5
Let x = 14 + -5. Suppose -2*i - 3*i + 6 = 2*j, 4*i - 9 = -3*j. Solve -a - 2*z - j = 0, -a - z - x = a for a.
-5
Let b = -12 + 14. Solve -3*i + l - 11 = 0, 5*l = 3*i - b*i - 1 for i.
-4
Let f = 9 + 4. Let k be 50/f + (-8)/(-52). Solve -k*a - p - 2*p = 4, 5*p = 0 for a.
-1
Let v(w) = w**2 - 4. Suppose -9 = -3*b - 0*b. Let y be v(b). Solve y*i - 21 = f, 5*f - 16 - 24 = -4*i for i.
5
Let y(b) = b**2 + 4*b + 5. Suppose -d - 12 = 2*d. Let s be y(d). Solve -2*j = w + 11, 4*w - s*j = 8*w + 32 for w.
-3
Let c = 16 + -4. Suppose 0 = -3*k + 3*i + c, 5*k + 0*i = 3*i + 16. Solve k*f = u + 6 - 3, 4*u - 32 = -3*f for f.
4
Suppose 16*d + 2 = 17*d. Solve -o - 2*q = 1, -4*q = o - d*o + 5 for o.
1
Suppose -3*c + 4*y + 13 = -0*c, -4*c - 16 = 3*y. Let t = c - -6. Solve 3*j - d - t = -0*j, 5*d + 10 = 0 for j.
1
Suppose 5*s - k + 23 = 0, -3*s + 7*k = 2*k + 5. Let h = 7 + s. Suppose -h*n + 3*n - 7 = -r, 2*n = 6. Solve -3*o - 22 = -8*m + r*m, 0 = -2*m - 5*o - 2 for m.
4
Suppose 1 = -4*s - 15. Let a be (-1)/(-2) - s/(-8). Solve a*p = 4*f - 4*p + 20, -4*f - 15 = p for f.
-4
Suppose -5*g + y + 2*y + 33 = 0, 3*y = -3*g + 39. Solve r + 0*k + 13 = 3*k, g = -3*r + 3*k for r.
2
Suppose 0 = -3*l + 2*g + 30 - 6, g = -3*l + 33. Solve 3*a + a + 3*j = -20, 2*a = 5*j - l for a.
-5
Suppose -6*k + k = 30. Let d(p) = -5*p. Let y(m) = 5*m. Let q(c) = k*d(c) - 5*y(c). Let u be q(3). Solve 6*f - 3*f - u = -4*t, 4*t - 2*f - 10 = 0 for t.
3
Let x = 8 + -5. Let j(f) = 3*f - 3. Let s be j(x). Let k = s + -3. Solve -m + 5*a - 16 = m, -22 = -5*m - k*a for m.
2
Let y(f) = -f**2 + 6*f + 5. Let l = 0 + 18. Suppose -2*q + 5*q - l = 0. Let t be y(q). Solve 3*r = -t*j + 7, -2*j + 4*r = -0*r - 8 for j.
2
Suppose 15*s - 21 = 8*s. Solve -2*r + 0*r - 23 = -5*l, -s*l + 5*r = -29 for l.
3
Let q(n) = n**2 - 4*n + 2. Let t = 12 - 8. Let g be q(t). Solve -g*h + 10 = 2*f, 0 = 4*f + 2*h - 0*h - 18 for f.
4
Let n be (-4)/(-14) + (-188)/(-28). Let v = n - 5. Solve -2*c + v*p + 3 = 15, -3*c + 5*p - 28 = 0 for c.
-1
Let j(n) = -n**2 - 25*n - 61. Let l be j(-22). Let g(c) = -c**2 + 6*c - 4. Let y be g(4). Solve b = -l*d + 2*d + 11, -y*b + 30 = 5*d for d.
2
Let u(g) = -g + 2. Let o be (-1)/(2/16*-2). Let h be u(o). Let w be 1 + h/(6/3). Solve -4*i + 22 = 2*m, w = -m + 3*m + 5*i - 27 for m.
1
Let u be -2 - (-35 - 6/3). Suppose -4*n + 53 = -u. Solve -4*q = -3*c + n, 4*c + 4*q - 5*q = 12 for c.
2
Let r be 3/(-9 + 0) - (-50)/15. Let a(c) = -c - 2. Let i be a(-7). Solve -i*s + 4*w - r = 0, 3*s - 3*w - 1 = -4 for s.
1
Let j be (-12 - 2)*(-4)/8. Solve j*m + l = 3*m + 14, 2*m + 3*l - 2 = 0 for m.
4
Suppose j + 0*j - 5 = 0. Suppose 0 = -j*y - 3*f + 3 - 5, 5*f = -20. Solve 0 = y*c - 3*w + 2, 3*c + 4 - 2 = 4*w for c.
2
Let i = -21 - -13. Let a be i/3*3/(-2). Solve 3*z + 18 = -3*g, a*z = -5*g - 31 + 2 for z.
-1
Suppose 0 = -4*g + v + 18, -3*g = -0*g - 5*v - 22. Solve -2 = 2*p + 3*c - 0, g*p + 4*c + 4 = 0 for p.
-1
Let f = 6 + -2. Solve f*r - 3 = 4*m - 9*m, 4*m + 6 = r for r.
2
Let c = -15 + 17. Solve 3*m - 16 = o, o = c*m - 2*o - 20 for m.
4
Suppose -5*h = -4*p + 13, p - 2*h - 29 = -4*p. Let w(z) = -z**3 + 6*z**2 + 8*z + 8. Let v be w(p). Solve -v = 4*n - 3*l, 5*n + 7*l - 2*l + 10 = 0 for n.
-3
Suppose 2*y + 2*y = 16. Solve 5*o + 3*l + 11 = 0, -o - y - 6 = -2*l for o.
-4
Suppose 10 = q - 6*q. Let n = q + 2. Let w be 107/7 - (-16)/(-56). Solve -5*j + 6 = -n*t + 2*t, -j = 5*t - w for t.
3
Let v be 8/(-28) + 80/(-14). Let r be (-22)/v + 8/6. Solve 1 = -x - 3*n + 6, 0 = x - r*n - 5 for x.
5
Let u(j) = 2*j - 2. Let o be u(3). Solve 2*n - 20 = 3*l, 5*n = -l - o*l for l.
-4
Let j = -2 + 0. Let c be 5/(22/10 + j). Solve 0 = -2*k + 3*u - u, -c = -3*k - 2*u for k.
5
Suppose 4*z - 3*x - 35 = 0, z + 5*x - x + 15 = 0. Suppose 2*u - 11 = -a + z*u, -3*u - 17 = -4*a. Solve -a*j - 3*n = 2*n + 10, -4*j = 3*n + 6 for j.
0
Let o = -14 - -8. Let n = 9 + o. Solve -j - 3*j = -2*m - 12, -5*j + n*m = -13 for j.
5
Let z be (-20)/(-15)*(0 + 18). Suppose -2*j = -0*d - 4*d + 10, j - 9 = -5*d. Let l be 0/((-2 + j)/(-3)). Solve l = 3*q - s + 14, -3*q - z + 5 = -2*s for q.
-3
Suppose -5*f = g, -f - 2*f + 18 = -3*g. Let t(b) = b + 4. Let u be t(-5). Let v be (f/(-2))/u*6. Solve 3*x - 7*x = 4*s + 4, s + 1 = v*x for x.
0
Suppose 0 = 5*f - 3 - 2. Let l(b) = 13*b + 1. Let v be l(f). Let m be 136/14 + v/49. Solve -g - j = -m, 3*g + 5*j = 32 + 8 for g.
5
Let r(p) = p**3 + 4*p**2 + 2*p + 2. Let v be r(-3). Suppose 13 = v*a - 3*y - 40, 5*a - 2*y - 52 = 0. Solve -5*f + 10 = 5*j, -a = -j - j for f.
-3
Suppose -3 = c - 5*z - 11, 4*c = -4*z + 8. Solve -c*d = h - 0 + 11, 5*h - 5 = 5*d for d.
-3
Suppose -u + 3 = o - 3, -15 = -4*o - u. Solve -x = -4*d - o - 1, 0 = x + 3*d + 