o + 14. Let c be l(3). Solve -c - 9 = 7*k for k.
-2
Let r(b) = 7*b + 76. Let i be r(3). Solve 0 = 91*l - i*l + 24 for l.
4
Let v be 2/(-2) - 1*-3. Let z = 224 + -327. Let a = z + 104. Solve -v = n + a for n.
-3
Suppose 0 = 3*a - 3*h + 14 - 149, -3*h = 5*a - 257. Solve 4*z - 65 = -a for z.
4
Let v(g) be the first derivative of -g**2 + 12*g - 2. Let s be v(5). Suppose s = -5*m + 22. Solve m = w + 3 for w.
1
Let x be (-70 - -76)*6/4. Solve 3*h - 6 + x = 0 for h.
-1
Let u be 11 - -2 - (-3 - -4). Suppose -n - 3*n + u = 0. Solve 12 = -c - n*c for c.
-3
Suppose y - 6*q = -2*q, -5*q = 2*y. Let c be 4 + (y/5)/1. Solve -c = 2*j - j for j.
-4
Let j be 4/(-6)*(-151 + 1). Suppose -5*n + j = 5*f, -3*n + 2*f = 6*f - 55. Solve z - 6*z - n = 0 for z.
-5
Let o(c) be the third derivative of -c**5/60 + 5*c**4/12 - c**3/2 + 8*c**2. Let u be o(9). Suppose -u*i = -2*i - 20. Solve 10*f = i*f - 20 for f.
-4
Let c = 32 + -23. Suppose f + 4*f - 170 = 0. Suppose 5*n + 3*p = -p + f, -5*n + 35 = 5*p. Solve 3*d + c = -n for d.
-5
Let i = -11 + 17. Let k = 1 + -2. Let c be (-1 - -6)/(2 + k). Solve -i*z - 2 = -c*z for z.
-2
Let x = -16 + 26. Suppose -x = m - 26. Suppose 3*l = d + 10, -l - 4*l + d = -m. Solve 10 = l*f - 5*f for f.
-5
Let g be 3/18 + (-15)/(-18). Let l be (3/4)/(g/4). Solve 7 = l*f + 1 for f.
2
Let f be 454/14 + (-448)/(-784). Solve m = -10*m - f for m.
-3
Let u = -15 - -17. Suppose 4 = u*c - 2*z, c + z = -0*z + 4. Suppose v = -v. Solve c = 3*w - v for w.
1
Suppose 3*j + r = 9, 2*j - 5*r + 12 = 6*j. Suppose -n + 12 = 3*n. Suppose 0 = -j*a - 9 + 3, 0 = -l - 3*a - n. Solve -1 + 4 = -l*z for z.
-1
Let z(q) = q**3 - 3*q**2 + 4*q - 2. Let f be z(2). Let g be (-18)/(-9) - (-4)/(-2). Suppose g = -c + 2*c. Solve c = -t + f*t - 4 for t.
4
Suppose -n + 4*v - 27 = -6, -4*v + 19 = n. Let a be 1*(5 - (2 - n)). Solve -k - k = -a for k.
1
Let i be 24/(-15)*(-5)/2. Let w be ((-1)/(6/2))/(1/(-3)). Suppose -3*z - 1 = -w. Solve 5*b - i*b = z for b.
0
Let a(v) = -v**3 - 5*v**2 - 3*v - 3. Let g be a(-5). Solve -g*u + 5*u - 14 = 0 for u.
-2
Let b = 73 - 1. Let o be ((-6)/(-8))/(-6 - (-438)/b). Solve o = 5*s + 29 for s.
-4
Let s(o) = 1 + 0 - 5*o + 4*o + o**2. Let y be s(2). Solve 5*i + y = -7 for i.
-2
Let y(r) = r**2 + 3*r. Let f be y(-4). Suppose -f*h + 12 = 2*h. Solve h*d = 5*d - 9 for d.
3
Suppose 4 = -2*a + 8. Let m = 51 - 46. Solve -h + a*h = m for h.
5
Suppose -5 - 1 = -3*l. Suppose 40 = -4*m - 0*u + 5*u, -4*m = -2*u + 52. Let i = -9 - m. Solve -l*t + i = t for t.
2
Suppose -5*f = 3*l - f - 46, 0 = -4*l + 2*f + 76. Let z = l + -17. Solve -q + 2 = -z for q.
3
Let o(r) = -6 + r**2 - 2*r + 3 + 2 + r + r**3. Let z be o(-1). Solve u = -z - 5 for u.
-5
Let g = -4 + 6. Let f be 354/(-472) + 27/4. Solve 0 = g*c + f - 4 for c.
-1
Let g = -9 - -25. Suppose 2*h + 3*h = 80. Let r = g - h. Solve 4*v - 8 + r = 0 for v.
2
Let y be ((-48)/20*-5)/(4/8). Solve -v - 29 = -y for v.
-5
Let r(y) = 9*y - 35. Let i be r(4). Solve -5*x = -4*x + i for x.
-1
Let w = 6 - 2. Solve -8 - w = 3*z for z.
-4
Let q(h) be the first derivative of -h**3/3 + 5*h**2/2 + 2*h - 8. Let c be q(4). Suppose 2*r = -2*b - c, 6 + 22 = 4*b - 4*r. Solve -b + 3 = -o for o.
-1
Suppose -4*d - 3*j = -184, -d + 4*j + 57 = -8. Let k be d/14*16/28. Solve -k*r + 6 = -4*r for r.
-3
Let g be 2/((-2)/5) - 1. Suppose 24 = 341*t - 337*t. Let x = t + g. Solve 2*s + x*s = 6 for s.
3
Suppose 7*s - 7*s = 22*s. Solve -8*d - 5*d + 13 = s for d.
1
Suppose -b + z - 6 = -3, -b + 5*z = 15. Suppose -4*o - 15 = -9*o + 4*q, q = 0. Let h be o/(3 - (0 + b)). Solve k + 3 = h for k.
-2
Suppose 0 = -3*j - 3*j - 360. Let u = -53 - j. Solve 0 = -3*r + u*r - 12 for r.
3
Let v be -2 + 6 - 2/2. Let m be (-1 - -3 - 2)/1. Solve v*g + g = m for g.
0
Let r = -73 - -89. Let d be -1 - (1 - r/4). Solve 0 = g + d*g - 12 for g.
4
Let v(n) be the first derivative of -n**3/3 - 2*n**2 + 2*n - 3. Let j be v(-4). Suppose 4 = -5*a + 3*o, j*a + 7*o - 2*o = 17. Solve -9 - a = 5*h for h.
-2
Let x be -5*1*-2*78/20. Let t = 41 - x. Solve 3*p + t*p = -5 for p.
-1
Let j = -70 - -77. Solve -g + j*g - 18 = 0 for g.
3
Let r be (-2)/(7/(-70)*1). Solve 4*z - 9*z - r = 0 for z.
-4
Let a = -29 - -91. Let o = -54 + a. Solve u + u = o for u.
4
Suppose -108 = -o - 103. Solve o*r + 10 = 3*r for r.
-5
Suppose 4 - 70 = -6*y. Solve 6*s - y*s = 0 for s.
0
Let d be 4 + -4 + (1 - -1). Suppose 0*a + 2*a = -d*m + 26, 5*a + 4*m - 67 = 0. Suppose 3*v = -5*l + a, 2*l - 3 = l + 4*v. Solve l*f + 9 = -0*f for f.
-3
Let z be -1 + 134 - 10/2. Suppose -5*w = -z - 52. Solve -16 = -5*d - w for d.
-4
Let f(t) = 29*t - 1. Let c be f(1). Let v be (c/49)/(4/14). Suppose -v*o - 12 = -5*o. Solve o*x = -7 - 13 for x.
-5
Let t(x) = -2*x - 21. Let h(n) = -n - 10. Let u = 26 - 17. Let r(o) = u*h(o) - 4*t(o). Let l be r(-9). Solve -1 - 11 = l*d for d.
-4
Let r = 323 + -319. Solve r - 16 = -3*f for f.
4
Let w = -14 + 22. Suppose -3*n = -6, -5*n + 26 = 2*d + w. Solve d*z = 5*z + 1 for z.
-1
Suppose 41 = 5*l - 59. Suppose 9*h - l = 4*h. Solve -8*g - 16 = -h*g for g.
-4
Suppose 0 = -2332*q + 2337*q - 25. Solve -q*h - 17 + 37 = 0 for h.
4
Let r = -618 - -627. Solve 5*j + r = 14 for j.
1
Let o(j) = -j + 19. Let u be o(17). Suppose -6*d + 12 = -u*d. Suppose -1 = -2*f + 3. Solve 0 = -t - d + f for t.
-1
Let c(o) = -o**2 + 16. Let p be c(-6). Let q = 19 + -37. Let d be ((-27)/q)/((-6)/p). Solve d*h - 6 = 3*h for h.
3
Let c = 38 + -18. Suppose g = -4*g + c. Solve -2*v = -g*v for v.
0
Suppose -9*i = 8 - 53. Let k(o) = 2 - o**2 - 6 + 8*o - 4. Let f be k(6). Solve -i - f = 3*c for c.
-3
Let y be (-8)/4 - (-5 + 7). Let f(x) = 2*x**3 + 7*x**2 - 4*x. Let z be f(y). Solve 8*r - 3*r - 15 = z for r.
3
Suppose 0 = -s - s - 4*j + 44, -5*j = 4*s - 73. Suppose -3*x = 5*v - 6 - 3, -4*x = 3*v - s. Suppose -w - 4*d + v = 1, -2*w + 5*d = -11. Solve -r = -w*r for r.
0
Let p = -1505 + 1522. Solve -2*k + p - 7 = 0 for k.
5
Suppose -30 = -2*j + 10. Suppose -9*d + 91 + 89 = 0. Suppose 5*b - d = -5. Solve -8*f + b*f = j for f.
-4
Let w = -3 - -6. Suppose 4*z = -69 + 45. Let p be (1 + -5)*(z - (-11)/2). Solve -p*i = w*i for i.
0
Let l = -9 - -5. Let q be (2/l)/((-12)/48). Let c be 6/(-15) + (-12)/(-5). Solve q*w + c = -2 for w.
-2
Let m = 16 + -16. Suppose -5*d + m*d = 0. Solve 0*l + 4*l = d for l.
0
Let u(o) = o + 30. Let l be u(-25). Let i be (-1 + 1)/((-7 + l)*1). Solve i = 3*c + 8 - 2 for c.
-2
Suppose 1 - 1 = -7*w. Let q be -2 + 2 + 4 + (w - -4). Solve q = -x - x for x.
-4
Let n = -147 + 151. Solve -2*z = -6*z + n for z.
1
Let x(b) = 8*b - 4. Let l be x(1). Solve 2*n - l*n - 2*n = 0 for n.
0
Let z(u) = -20*u + 147 - u**2 + 84 + 2*u**2 - 190. Let s be z(18). Solve 0 = s*l + 2 + 3 for l.
-1
Suppose 4*b = p - 2*p + 14, 0 = 2*p + 3*b - 13. Solve -p*y = y - 15 for y.
5
Let a = 308 - 308. Solve a = -v - 0*v + 2 for v.
2
Suppose -z - 1 = x - 0*z, 4 = -3*x - 4*z. Let k(u) = u + 6. Let r be k(-6). Suppose 2*q + r = 2. Solve x = l + q for l.
-1
Let i(x) = x**2 + 5*x - 12. Let w be i(-7). Suppose -b - w*b = 0. Solve b*n + 2*n - 6 = 0 for n.
3
Let i(c) be the first derivative of c**4/4 + 7*c**3/3 - 11*c**2/2 - 12*c + 7. Let n be i(-8). Let b be (n/(-10))/(8/(-60)). Solve 0 = 2*f + f - b for f.
3
Let p(a) = -a**2 + 12*a + 118. Let d be p(18). Solve d*q = 3*q - 28 for q.
-4
Let i = -131 + 251. Suppose 0*s + 10*s = i. Solve 2*t + s = -2*t for t.
-3
Suppose 82 + 14 = 12*d. Solve d*b + 18 = 2*b for b.
-3
Suppose -o + 8 = j, 8*j = -5*o + 7*j + 28. Suppose -8*x = -4*x. Let l be 3 - (0 + 1 - x). Solve -l*f = -o + 1 for f.
2
Let l(z) = 2*z + 3. Let h be l(7). Suppose -16*y + h*y - 5 = 0. Suppose -5 - 15 = -y*v, 5*g - 4*v = 14. Solve 10 = m - g*m for m.
-2
Let g = -9 - -13. Let z(i) = 2*i**2 + i - 1. Let p be z(1). Suppose -5*b + 16 = p*v - 1, 0 = 5*b + v - 16. Solve k + b = g*k for k.
1
Let w(f) = 3*f + 23. Let t be 10 + -6 - (9 - 0). Let s be w(t). Solve 2*m + 2 = s for m.
3
Let n(f) be the second derivative of -f**5/20 + 5*f**4/4 + f**3/3 - 5*f**2 - 32*f. Let z be n(15). Solve 4*y + 0*y + z = 0 for y.
-5
Let k be 3/(-6)*10/(-1). Suppose 2*v = 5*i + 5, k*v + 0*v = -4*i - 70. Let u be ((-8)/10)/(4/v). Solve 0 = 5*q - 3 - u for q.
1
Suppose -8*d = -7*d + 14. Let m be (-2)/4 - (105/d + 1). Solve -1 = -u - m for u.
-5
Let m(c) = -c - 25. Let x be m(-29). Solve x = -2*l +