= -2*u - b for u.
-1
Let j(d) = 2*d + 2. Let x(r) = r**3 + 16*r**2 + 16*r + 15. Let y be x(-15). Let n be j(y). Solve 3*c = 2*c, 3*c + 4 = n*f for f.
2
Let p = -10 + 11. Let b be (0 + 1)/(p/5). Solve 5*y - y - 17 = -b*u, -5*u = y - 8 for y.
3
Let d be 10 - 1*(-1 + 5). Solve 5*w - 10 = -2*n, -2 + d = -2*n + 2*w for n.
0
Let i(k) = -k**3 - 8*k**2 - 13*k - 4. Let d be i(-6). Solve f = d*s + 2*f, 0 = 3*s - f for s.
0
Let p = 0 - 0. Let i = 27 - 24. Solve p*w + 6 = -4*b + 2*w, 0 = -i*b + 5*w + 13 for b.
-4
Suppose 2*d - 40 = 3*c - 3*d, 5*c - 4*d = -45. Let b(r) = -r - 3. Let y be b(c). Solve 10 = 2*w - 4*a, y*a - 12 = 6*a for w.
-1
Suppose -4*c + 12 + 4 = 0. Solve 3*y + c - 3 = 4*r, -4*y = -5*r + 2 for y.
-3
Suppose 3*o - 39 = 4*p, -3*o - p - p + 57 = 0. Solve -5*g + 2*m = -o, 0*g + 4*g = m + 16 for g.
5
Let h = -4 - -6. Solve -1 = 3*k + 2*l, 3*k + l + 0 = -h for k.
-1
Let n be 2*(-3)/12*-6. Suppose 0 = n*p + 12, 0 = 5*r + 2*p - 0*p - 17. Suppose -z + r*o = 2*z, -14 = -4*z + 2*o. Solve -2*c + l = -1 + 4, -z*c = -4*l for c.
-4
Let a = 30 - 28. Solve -a*l + 10 = 4*v, -v + 5 = -0 for l.
-5
Let y be 1 - (-1 - (-1 - -3)). Let i = y - 0. Solve -2*j = -3*d - 0 - 21, j + 17 = -i*d for d.
-5
Suppose 0 = -2*w - i - i + 12, 3*w - 23 = 2*i. Let h be (-6)/(-2)*(-2)/(-3). Suppose -2 - 12 = -h*r. Solve a = -2*p - w, -4*p = 3*a + r + 8 for p.
-3
Suppose -3*u - 3*r + 25 = u, 3 = -3*u + 5*r. Let o be 12/u + 1 + -1. Suppose -6*n + o = -5*n. Solve 0 = 3*i + n*q, -i - 8 = 3*q - 4 for i.
2
Let m(y) = y**3 - y + 2. Let o be m(-2). Let w be 1 - ((-5 - o) + -1). Solve w*d - 9 = 2*q - 27, 2*d + 23 = 5*q for q.
3
Suppose -5*t - 5 = a, 4*a + 5*t - 12 = -2. Solve 3*g - 3*c + 24 = 0, -g + 0*g = a*c - 10 for g.
-5
Suppose 0 = 5*a - 4*x + 53 + 2, -3*a = -2*x + 35. Let l = -10 - a. Suppose 2 = -l*q + 27. Solve -s = -2*z + 2 - 0, q*s - 17 = z for z.
3
Suppose 5*o - 13 - 2 = 0. Solve -4*i - v = -15, -3*i + o*v + 11 = -4 for i.
4
Suppose 5*k - 16 = -6. Solve -k*l - 2*l + 4 = 4*m, 0 = -3*m - l - 5 for m.
-3
Suppose -3*l + 33 = 4*d - d, -2*l = -2*d - 26. Solve 4*a = -0*x - 2*x - l, 3*x = 0 for a.
-3
Let w = 19 - 13. Let m = w - -21. Solve 13 = i - 0*p - 2*p, -4*i = -3*p - m for i.
3
Let r be ((-16)/(-24))/((-2)/27*-3). Solve -2*a + 20 = 2*u, -2*a + r*u - 20 = -3*a for a.
5
Suppose 3*q = -4*j + 2*q + 4, -4*j = -3*q - 20. Let h = 7 - j. Solve 3*l - 2 = -u + h, -l + 9 = -u for l.
4
Let b(y) = y**3 - 4*y**2 - 13*y + 11. Let d be b(6). Solve 0 = 3*z + n + 15, -2 = z + d*n + 3 for z.
-5
Let d(v) = -3*v - 42. Let l be d(-15). Solve -2*x = -s - 7, -l*s + 14 = -0*s + x for s.
3
Suppose 0*n + 2 = n. Suppose -x - 16 = -4*i, -4*x = -3*i - 1 - 0. Suppose -3*m + 8 = -x. Solve 8 = -n*r - 3*s, -12 = 4*r - 4*s + m for r.
-4
Let c(p) = 2*p**2 - p + 2. Let u be c(2). Solve -4*x - u = -0*x + 4*m, 2*x = 2*m - 8 for x.
-3
Let r = 28 - 17. Solve t = 5*z - r, 4*z - t + 4 - 13 = 0 for z.
2
Suppose 4*y + y = 0. Suppose -3*k = -4*z + 7, y*z + 19 = 5*k + z. Solve 2*h = 3*h + k*o - 11, -3*h + 5 = -5*o for h.
5
Suppose 0 = -l - 2 - 4. Let a be 15/l*70/(-25). Solve g - 5*j - 14 = 0, -g + 3*j + a = -3 for g.
4
Let b(j) = -2*j + 1. Let c be b(-11). Solve -3*d = 5*f - c, 0 = 4*f + 2*d - 5 - 13 for f.
4
Let t be -2*1*(-3)/2. Let p = -10 - -13. Solve -2*r = -4*x + 14, 9 = p*x + x + t*r for x.
3
Let r = -2 - -5. Suppose -3*o = -o - 12. Let d = -1 + o. Solve 2*n = -d*m - r, -5*m + 14 = -5*n - 11 for n.
-4
Let y = 3 + 2. Suppose 5*i - 9 = -3*g, 3*i + 4*g + 1 = 2. Suppose -2*u - 2*d = -0*u - 10, -2*u + 15 = -i*d. Solve 3*m = -5*s - y, -u*s + 2*s + m = 21 for s.
-4
Suppose -4*m - 5*f + 74 = 0, -3*f + 54 = 3*m - 0*m. Suppose i = -3*i + m. Solve -4*k - i*h = -16, 0 = -k - h - 2*h + 8 for k.
2
Let k = 13 + -9. Let m be ((-26)/k)/(2/(-12)). Let p be 1/(-3) - m/(-9). Solve -12 = 5*i - 3*r + 18, 0 = 4*i - p*r + 32 for i.
-3
Suppose -12*x + 75 = -141. Solve v = -3*h - 2*v + 21, -4*v + x = -h for h.
2
Let r(x) = 0 - 3 + 15*x + 2 + 0. Let c be r(3). Suppose -3*v + 4*b = -27, 5*v - b - c + 16 = 0. Solve 4*w + v*p = -9, -2*p - 1 - 13 = -w for w.
4
Suppose -3 - 5 = -4*z. Let u be (-3 + 2)/((-1)/z). Let y(a) = 4*a**3 - 2*a**2 + 1. Let h be y(1). Solve 4*f - 19 = h*v, -2*f + u*v - 18 = 6*v for f.
1
Let t(k) be the first derivative of k**4/4 - 5*k**3/3 + 3*k**2/2 - 3*k + 5. Let c be t(5). Solve -5*r + 5*m = -0 + 30, -2*r = 4*m - c for r.
-2
Let z(h) = -h**2 + 3*h - 5. Let r be z(5). Let f = -23 - r. Let o = f - -10. Solve -2*s - 11 = -5*u, 2*u = -o*s + 4*u - 2 for s.
2
Let x(t) = -t**2 + 10*t + 2. Let i be x(7). Let b = -16 + i. Suppose b = 3*k - 20. Solve 2*m + j = -m - 9, 0 = 3*m - 2*j + k for m.
-3
Let j(u) = -u**3 - 8*u**2 + u - 10. Let l be j(-8). Let o = 33 + l. Suppose 0 = -0*d + 5*d - o. Solve 0 = 5*q + d*p - 5, -q - 3*p = -0*p - 1 for q.
1
Suppose 5*k + 2*n + 15 = 0, 0*n = 3*n. Let o = k + 3. Solve 4*d - 4 = 3*s, 4 = s - 4*d - o for s.
-4
Let f be (-4)/(-2) - (-9 - -8). Solve 0 = -2*q + 8, -2*c = f*c - 5*q + 20 for c.
0
Let g be 1*-1 + -17 + 0. Suppose -14 + 90 = -l. Let a be (-6)/27 + l/g. Solve 5*p = -a*k, 5*p = 3*p + 3*k for p.
0
Let f(i) = 2*i**2 + 4*i + 3. Suppose -n + 4*d = 2*d - 5, -n + 9 = -3*d. Let r be (n/2)/(3/4). Let m be f(r). Solve -l = m*l - 4*u - 16, 16 = 4*l + 2*u for l.
4
Let d be -1 + 2 + -1 + 2. Suppose 2 = -d*n + 2*g, -5*n + 3*g = -0*n - 3. Let h be (1 - (2 + -1))*-1. Solve -m - 15 + 1 = n*x, h = 3*m - 4*x + 3 for m.
-5
Suppose -3*s + 0*u = -4*u + 25, 2*s + u + 13 = 0. Let q = -3 - s. Suppose 3*j - r = -0 + 3, 5*r = -5*j + 25. Solve j*g + 0*x - 5 = -x, 2*g + 2*x = q for g.
3
Suppose -5*i + 15 = -25. Let p(a) = -a - 12. Let t(h) = -4*h - 48. Let f(g) = -9*p(g) + 2*t(g). Let d be f(-9). Solve -3*s - i = -2*r, 4 = d*r - 5*s - 9 for r.
1
Let c(m) = m**2 + 6*m + 3. Let t(g) = g**2 + 7*g + 3. Let u(n) = 6*c(n) - 5*t(n). Let q be u(0). Solve -d - i + 2*i = -q, 5*d - 15 = -5*i for d.
3
Suppose -20 = -8*l + 4*l. Solve 5 = -3*i + 2*d + 16, -3*d - 17 = -l*i for i.
1
Let t(v) be the second derivative of -v**4/12 - 3*v**3/2 - 9*v**2/2 - v. Let q be t(-7). Solve 0*f = q*f - 5*k - 10, -4*k = 2*f - 16 for f.
4
Let u(r) = r**2 - 3*r + 3. Let a be u(3). Suppose -a*n + 15 = q, -4*q + 5*n = 4 + 4. Solve -s = -q, -s = -5*b - 0*s - 18 for b.
-3
Suppose 3*d - 5*a - 80 = 0, 0*a = -d + 4*a + 36. Suppose -13 = 2*j + 3*c - 1, 2*j = -5*c - d. Solve j = -5*n + 25, 0 = 3*b - 2*n + 3 - 2 for b.
3
Let s be ((-6)/(-5))/(2/15). Let j = s + -5. Solve 0 = -3*u + 3*t + 19 - 4, -j*u - 4*t = 20 for u.
0
Let o be (17/4 - 4)*12. Suppose 3 = -o*j + 18. Solve -3*u - 4*k - 18 = 0, -2*u + 3*k + 0*k + j = 0 for u.
-2
Let z be -1*(2 - 0 - 50). Suppose -5*r = -2*c - 75 + 15, 4*r = c + z. Suppose -3*a + r = 3. Solve 0 = 4*s - a*f - 1, 0*s - s - 4*f - 14 = 0 for s.
-2
Suppose -13 = -5*q + 42. Solve -5*d = -4*s - q, -2*s + 2*d = -4*s + 8 for s.
1
Suppose 2*o = 4*z + 3*o - 25, -5*o + 45 = 4*z. Suppose -3 = z*w - 13. Solve 0 = -5*g + 3*i + 40, 3 = -g - w*i - 2 for g.
5
Let r be (0 + -2 - -6) + -1. Suppose 5 = 3*v - 1. Solve -r = -m + v*m + 5*a, 0 = -m - a + 1 for m.
2
Suppose 0 = -m + 4 - 2. Let v be (2/(-2))/(1/(-2)). Solve -8 = 3*g + u, -8 = -0*g - v*g + m*u for g.
-1
Suppose 11*k - 75 = 8*k. Solve 2*p + 2 = -2*z - 16, 5*z = -k for p.
-4
Let i be 212/18 + 12/54. Solve -5*p + 13 = -2*h - 11, -i = -2*p + 2*h for p.
4
Let l = 1 - -24. Solve 5*v - 4*g - 35 = 0, -l = 2*g + 3*g for v.
3
Let y be 26/6 - 1/3. Suppose 0 = -3*c + 4 + 5. Let j be c/((-3)/2 - -3). Solve 15 = -j*u - 5*x, u - x + 0*x + y = 0 for u.
-5
Let c be 160/14 - 12/28. Let w = -2 - -7. Suppose 0 = t + 2*t + i - c, -2*t = -w*i - 13. Solve 0 = -3*l + l + 4*p + 20, t*p + 20 = 0 for l.
0
Suppose 5*o - 2*q = -0*o + 71, 5*o - q = 68. Let i = -13 + o. Solve 5*z = p - 11, 4*z + i = 5*p + 8 for z.
-3
Let c be 1/((-1)/(-2)) - -3. Let f(x) = 3 - 4 - 3*x + 4*x. Let l be f(c). Solve -12 = 3*o - d, -l*o + 2*d - 5 = -3*d for o.
-5
Let a(b) be the third derivative of b**5/20 + b**4/24 - 6*b**2. Let z be a(1). Solve -4*l = -4*w + 16, -z*w = -4*l - w - 16 for l.
-4
Suppose 4*i = -3*k - 2, -k - k = -4*i - 12. Solve k*v = -5*b - 5, v = -4*b - 0*v - 7 for b.
-3
Suppose 0 = 4*m - 4*o + 12, -15 = -2*m - 6*o + o. Solve 3*u + 17 = -4*c, 4*c + 9 - 1 = m for u.
-3
Suppose 15 = -2*o + 3*o. Solve 5*q - 24 = 3*x, 2*x - 5*x - 