2. Let t = m + 7. Solve 0 = -r - 1 + t for r.
3
Let p(s) be the third derivative of 2/3*s**3 + 0 + 7/24*s**4 - 2/15*s**5 + 3*s**2 + 1/120*s**6 + 0*s. Let b be p(7). Solve -t - 3 = -b*t for t.
1
Let f be 19 - (1 - 22)/(-3). Solve -6 = 15*k - f*k for k.
-2
Let s = 543 + -477. Solve 2*h + s = 56 for h.
-5
Suppose 2*h - 30 = 5*i + 1, 0 = 3*i + 4*h + 29. Let g(m) = m + 7. Let r be g(i). Solve -6 = -3*z - r for z.
2
Let j = -3 + 9. Suppose 3*p - 4 = 5*r + 5, 3*r + 12 = 4*p. Suppose r = 3*c - 11 - 4. Solve -j*k + c = -k for k.
1
Let f(p) = -2*p - 10. Let z be f(-6). Suppose q + 3*o + o - 20 = 0, -2*q = z*o - 22. Solve -s - q = 3*s for s.
-2
Suppose 0 = 4*g + 4*l - 36, 0*g - 5*l = 4*g - 35. Let m = 13 - g. Suppose -2*s + 34 = r + m*r, 0 = r - 5. Solve -13 = 5*c + s for c.
-4
Let t be (10/(-8))/((-15)/60). Suppose 2*v = -2*v - 2*b + 24, -t = -3*v + 5*b. Solve 0 = 2*d - d - v for d.
5
Let o(l) = -l**3 - l**2 + 8*l + 9. Let z be o(-3). Suppose 4*d + 8 = 3*m, 3 - 8 = -5*d. Solve m = -5*s + z*s for s.
-2
Let a(f) = 2*f**2 + 3*f. Let h be a(-2). Suppose 0 = -3*p + 2*p + h. Suppose 5*r = p*n + 14, -6 = r - 4*r + 2*n. Solve 3*u + r = -u for u.
-1
Let a be (24/40)/(3/15). Let i(z) = 2*z**2 - z + 2. Let s be i(2). Solve b - s = -a*b for b.
2
Let q = -26 - -35. Suppose 0 = 4*l - q*l + 5*b + 60, 5*l = b + 64. Solve 0 = -4*u - l - 3 for u.
-4
Let w = -9 - -11. Let o(s) = 1 + s - s**2 + 3 + w + 0. Let v be o(3). Solve v = -2*x + 2 for x.
1
Suppose 0 = -38*d + 30*d + 264. Solve 5*y = d - 8 for y.
5
Let l(h) = h**2 - 4*h + 3. Let n be (0 - -7) + 5 + -2. Let q(o) = o**2 - 11*o + 14. Let y be q(n). Let d be l(y). Solve 0*f - d*f + 12 = 0 for f.
4
Let f(k) = k**2 - 24*k - 163. Let r be f(29). Let n(i) = -i**3 + 4*i**2 + 8*i + 4. Let t be n(6). Let x = r - t. Solve -x*h = -6*h + 12 for h.
3
Let x(k) = 2*k**2 + 42*k + 1. Suppose 0 = 10*q + 286 - 76. Let c be x(q). Solve c + 3 = -2*z for z.
-2
Let s = 7 - 2. Suppose s*f - 36 = -4*f. Solve -g - f - 1 = 0 for g.
-5
Suppose -4*b - 4*a + 48 = 0, 0 = -5*b + 4*a + a + 40. Solve b = 5*c - 15 for c.
5
Suppose 4*u - 24 = -8*u. Suppose 0 = -3*l - 2*q - q - 3, -3*q = 9. Solve -l*o - u = -o for o.
-2
Let l = -64 - -35. Let z = -27 - l. Solve -u = -z*u - 4 for u.
-4
Let n = 13 + -7. Suppose 10*b - 8 = n*b. Solve r + b = 4 for r.
2
Suppose -5*i = 3*d - 44, 4*i - 11 - 37 = -4*d. Solve 11*s - d = 7*s for s.
2
Let f = 1 + 14. Let z = 18 - f. Solve -z = 5*t + 2 for t.
-1
Let c = -4 + 32. Let g be c/(-8)*4/(-7). Solve g*h - 12 = -2*h for h.
3
Let s be (-1)/(-3) + 24/9. Let w = -353 + 357. Solve s*l - 4*l - w = 0 for l.
-4
Let o be (-5)/((-15)/6)*(-22 - -24). Solve -2*s + 4 = -o*s for s.
-2
Let l be (-5 - -4)/(0 + (-3)/9). Let i(v) = 3*v**2 - 1. Let p be i(2). Suppose 0 = 5*d - p - 64. Solve 0 = l*t - 8*t - d for t.
-3
Let s = -180 + 183. Solve 1 - 13 = -s*f for f.
4
Let w = 87 - 87. Solve w = -0*l - 2*l + 6 for l.
3
Let f(l) = -l - 2. Let r be f(-2). Suppose 5*s = -y + 1 + 8, 0 = -3*s + 2*y + 8. Let d be (-25)/(-25) + 1 + 1. Solve d*m + s*m = r for m.
0
Suppose -12 = -19*m + 13*m. Suppose -4 - 4 = -m*q. Solve -q*k = -k for k.
0
Suppose 4*t = 5*s - 16, 2*s + 8 = -2*t - 0. Let x(q) = 2*q**2 - 6*q**2 + 13*q**3 + 5*q**3 - 19*q**3. Let u be x(t). Solve -2*b = -10 - u for b.
5
Suppose 0*a + 2 = -a - 2*p, -3*a = 4*p. Suppose -2*i + 30 = -i - a*c, 20 = -5*c. Solve 5*w + i = 4 for w.
-2
Let a be (1 - 5)/(-1) + 0. Let k be 2/(12/60 - (1 - 1)). Suppose -10 = c + a*s, k + 10 = 4*c - 4*s. Solve c*n = 7*n for n.
0
Let d = -75 - -91. Suppose 3*n - 7*n = -d. Solve -3*t + n*t = 0 for t.
0
Suppose -96*q + 95*q + 2 = 0. Solve q*u = -6*u - 40 for u.
-5
Suppose 7*y = 4*y + 135. Suppose -11*x + y = -8*x. Solve -7*i + x = -2*i for i.
3
Suppose -308*p + 313*p = 2*n - 45, 0 = -n + 5*p + 40. Suppose 3*o + 3 = 6. Solve -2*r = -o - n for r.
3
Let x be (-1 - -1 - -1) + 1. Let w(s) = -2*s + 14. Let u be w(14). Let b = 16 + u. Solve b*v + 0*v - x = 0 for v.
1
Let v be ((-5)/9)/(9/27)*-9. Suppose 1 = -3*i - 8, 0 = 3*z - 4*i - 15. Let t(a) = 6*a - 1. Let x be t(z). Solve -2*f = -x*f + v for f.
5
Let u be (-6)/(8/(-4) - -1). Let q(d) = 2*d - 4. Let t be q(u). Let j = t - 0. Solve 4*k = j*k + 12 for k.
-3
Suppose -51*x = -27*x - 25*x. Solve 13*s - 16*s - 9 = x for s.
-3
Let i = 51 + -72. Let l = 35 + i. Suppose l = 2*t + 3*t + 4*u, -26 = -3*t + 2*u. Solve 0 = -3*a + a + t for a.
3
Let d(a) be the second derivative of -a**5/20 - a**4/4 + 2*a**3/3 - 5*a**2 + 13*a. Let n be d(-5). Solve w + 3*w = n for w.
5
Let t(w) be the second derivative of -3*w**5/20 + 3*w**4/4 + w**3/2 + w**2 + 25*w. Let y be t(3). Solve 0 = -8*n + y*n + 9 for n.
-3
Suppose 2*k - 14 = 10. Let b be 22 + (3 - 4 - 3). Suppose 24*s = b*s + 24. Solve -s*v = -0*v + k for v.
-3
Let z(h) = 5*h**3 - h**2 - h. Let t be z(-1). Let l(k) = -2*k. Let m be l(t). Suppose 2*u - 12 - 4 = 0. Solve -m = u*c - 3*c for c.
-2
Let t(q) = 4*q**2 + 55*q - 55. Let c be t(1). Solve c*g + 69 = 57 for g.
-3
Suppose 23*d - 4 = 157. Let u(z) = -1. Let p(k) = k. Let q(f) = 3*p(f) - 4*u(f). Let m be q(d). Solve m = 3*b + 2*b for b.
5
Let x(v) = 3*v**3 + v**2 + 3*v - 3. Let b be x(1). Suppose 2*s + 3*d - 12 = 0, 8 = 5*s + b*d - 15. Solve -2*n = 5 + s for n.
-4
Let s(k) = 2*k + 8. Let n be s(-4). Suppose 5*p + 3*c - 2*c - 77 = n, 5*p + 4*c = 68. Suppose -p = -2*l + l. Solve -o = -5*o + l for o.
4
Suppose 2*f + 35 = 3*h, h - 35 = -3*h + 5*f. Suppose -5*b + d = 2*d - 20, -b - 4*d - h = 0. Solve 0 = 3*a - b + 2 for a.
1
Let o(t) = -t**3 - t**2 - t + 32. Let f be o(0). Let r = 34 - f. Suppose -2*l = l - 9. Solve -r*a + l = -7 for a.
5
Let x be 4 + (0/(-1))/4. Suppose -6 = -7*v + x*v. Let z be (-1)/(((-3)/(-2))/(-3)). Solve -v*y + 20 = z*y for y.
5
Let i(s) = 2*s**2 + 24*s - 53. Let w be i(-14). Solve -31*z = -28*z - w for z.
1
Let z(t) be the third derivative of t**6/120 - t**5/5 + t**4/24 - t**3 - 3*t**2. Let g be z(12). Solve 3*d + 0*d + g = 0 for d.
-2
Suppose 2*k + 1 = -3*u, 5*u + k - 3*k = 25. Suppose -u*a + 24 = 3*a. Solve -14 = a*d - 6 for d.
-2
Suppose -f + 8 = f. Let h(b) = -b**3 - 5*b**2 + 8*b + 40. Let s be h(-5). Solve s = f*v + v for v.
0
Let k(j) = -j**2 + 4*j + 14. Let t be k(7). Let z = t + 9. Solve 3*w - z = 2*w for w.
2
Suppose f - 15 = -b - 4*b, -4*b + 12 = -3*f. Solve f*z = 5*z + 15 for z.
-3
Suppose 0 = 3*i - 1 - 5. Let u(b) = b + 11. Let h be u(-6). Suppose -h*n + 18 + 7 = 0. Solve -n = -i*o - 3 for o.
1
Let d(i) be the third derivative of i**4/8 - 14*i**3/3 - 10*i**2. Let q be d(11). Solve q*n = n for n.
0
Let o = 223 - 219. Let f(b) = b**3 + b**2 + b + 5. Let y be f(0). Let z(g) = 2*g + 2. Let h be z(y). Solve h + o = -4*a for a.
-4
Let h be 2/5 - (-123)/5. Let i(c) = 4*c**2 - c - 8. Let p(a) = 11*a**2 - 2*a - 23. Let n(l) = 8*i(l) - 3*p(l). Let g be n(-3). Solve g*j = 7*j - h for j.
5
Let m = -199 + 206. Solve -m*x = x + 8 for x.
-1
Suppose 2*k - 15 = -k. Let s(r) = 6*r - 9. Let l(t) = 7*t - 10. Let d(u) = k*l(u) - 6*s(u). Let v be d(2). Solve v*p + 15 = -p for p.
-5
Let k(a) = a + 11. Let n be k(-6). Suppose 2 = -n*g - 3*p, -g = -0*g + p. Let i be g/2*4/(-1). Solve -12 = i*d + d for d.
-4
Suppose 2*y - 20 = 5*w - 4, 0 = 2*y - w - 8. Suppose y*h - 24 = 4*f - f, -6 = 3*f. Solve h*s - s = 0 for s.
0
Let r = 3014 - 2924. Solve g + 88 = r for g.
2
Let r(d) = -d + 1. Let b be r(-4). Let z = b - -14. Suppose -7*h - z + 75 = 0. Solve -k = k + h for k.
-4
Let m = -20 + 17. Let p be -4 + m + 6 + 4. Suppose -2*c = -4*l + 14, -3*l + c + 21 = p*c. Solve l = 5*u - 0 for u.
1
Suppose 5*y + 3*a - 24 = 0, 8*a = -3*y + 4*a + 21. Suppose 4*j - 2*r - 30 = -0*j, 0 = -r - 5. Solve -4 - j = y*d for d.
-3
Let x(d) be the third derivative of d**6/120 + d**5/10 + d**4/8 - d**3 - 7*d**2. Let z be (-15)/2*(1/(-3) - -1). Let u be x(z). Solve -6*f = -4*f - u for f.
2
Suppose -3*a = -0*r - 4*r + 1, -5*a = -2*r + 11. Let z be 4*(r + 4 + -1). Suppose -4*s - 20 = -z*v, -v - 5*s + 0*s = 13. Solve v*t = 1 + 1 for t.
1
Let c(r) = -r**2 - 7*r + 2. Let v be c(-7). Let d(l) = 2*l**2 + 10*l - 2. Let o be d(-7). Suppose 2*u - 4*f + 22 = 3*u, 3*u + v*f = o. Solve -u = -j - j for j.
3
Let t be 14 + 12/(-3) + -1. Suppose t*j - 3*u - 70 = 4*j, -6 = -j - u. Solve -8 = -j*r + 9*r for r.
4
Let d = -1 - -25. Let w = 29 - d. Suppose 4*a - 3*t - 2*t = 60, w*a + 5*t =