0 = 4*w - 7 - a for w.
2
Let m(f) be the second derivative of f**5/20 - 5*f**4/12 + 5*f**3/6 + 2*f**2 + 23*f. Let y be m(4). Solve 7*j = 3*j + y for j.
2
Let c = 75 - 69. Suppose c + 2 = -4*i, -47 = -5*w + i. Solve -x = -4*x - w for x.
-3
Suppose -8*t - 45 = -23*t. Solve l - 4*l = t for l.
-1
Let y(m) be the third derivative of m**4/24 + 8*m**3/3 + 2*m**2. Let r be y(0). Let n be 7 + (2 + -7 - -3). Solve n*x + r = x for x.
-4
Let l be 176/6 - (4 - (-42)/(-9)). Let t be (6/(-10))/((-36)/l - -1). Solve 16 = t*c + 1 for c.
5
Let j = 1892 + -1886. Solve -j*x + 1 = 7 for x.
-1
Let s be (10/(-3) + 0)/(2/(-3)). Let x(q) = -2*q**2 + 12*q - 8. Let o be x(s). Solve -3*i = -4 - o for i.
2
Let c = 723 - 715. Solve -11*q - c = -15*q for q.
2
Suppose 0 = 6*x - 9*x + 12. Let b be (-21)/12*(x - 28). Let m be b/28 - 6/(-4). Solve 0*r - 12 = -m*r for r.
4
Let v(x) be the second derivative of -x**4/12 - x**3/3 - x**2/2 + 3*x. Let o be v(-1). Let j(z) = -z**2. Let c be j(o). Solve c = 4*g - g + 6 for g.
-2
Suppose 35*w - 30*w - 20 = 0, 2*w - 152 = -3*o. Solve 42*d - o*d = 30 for d.
-5
Suppose -2*d - 57 = -3*d. Let o = 59 - d. Solve o*p - 15 = 7*p for p.
-3
Suppose -5*k + 0*k = a + 9, 0 = 2*a - 5*k - 27. Solve -a*f = -9 + 27 for f.
-3
Suppose 0 = -2*f + 6 - 0. Suppose 0 = -f*b - 14 + 44. Suppose 13*a = b*a + 6. Solve -j + 1 = -a*j for j.
-1
Suppose -3*r + 29 = 3*j + 2*r, 0 = 2*j - 3*r + 6. Suppose j*m = -3*g + 57, -3*m + 4*g = -0*g - 64. Solve x - 5*x = m for x.
-5
Let c = -42 + 36. Let t be -6*((c - -5) + 4/6). Solve t*a - 2 = -0 for a.
1
Suppose 5*r + h = 5*h + 4, -3*h = -12. Suppose r*i - 9 = 35. Suppose i*q - 10*q = 0. Solve 3*s - 7*s = q for s.
0
Let z(r) = r**2 - 9*r + 28. Suppose 9*c - 80 = -c. Let v be z(c). Solve 2*w + 2*w = v for w.
5
Let g(w) = w**3 + w - 1. Let y(b) = 3*b**3 - 11*b**2 + 12*b - 10. Let m(x) = 2*g(x) - y(x). Let v be m(10). Suppose u - 5*u + v = 0. Solve -4 = 6*n - u*n for n.
-1
Let s = 181 - 173. Solve -3*n = -s - 7 for n.
5
Let k(i) = 2*i**3 + i**2 - 8*i + 3. Let g be k(2). Solve 5 = -g*w - 9 for w.
-2
Let m(j) = -j**3 - 19*j**2 + 2*j + 46. Let w(i) = -i**3 + 17*i**2 - i - 2. Let f be w(17). Let p be m(f). Solve -o + p = o for o.
4
Suppose 10 = o - 7. Let l(m) = o - 2*m + 6*m - 6*m. Let s be l(7). Solve 6*y = s*y for y.
0
Suppose -17 = -4*h + 23. Let f = -67 + 67. Let k be h - (1 - 3 - f). Solve 5*i = i - k for i.
-3
Let x = -40 + 20. Let f be x/6*12/(-10). Let k = 8 - f. Solve -1 - 11 = k*m for m.
-3
Suppose -3*w - 28 = 4*y - 32, 4 = 2*w + 4*y. Solve w + 12 = -3*j for j.
-4
Let b be ((-216)/(-63))/((-20)/(-70)). Solve b = -3*s + 12 for s.
0
Let n = 1553 - 1553. Solve 2*d + 4*d = n for d.
0
Suppose -2*z + 7 = -3*g, -4*g + g + 25 = 2*z. Suppose -2*i = -8 - z. Solve x + i = 5*x for x.
2
Let m be (1 - 1)*(0 - -1) + 11. Suppose 0*l - 9 = -l. Suppose 5*z - 5 = -5*y, -5*y = -z + 4*z - l. Solve 2*w - m = -y for w.
4
Suppose 4*u + 5*u = 288. Solve 29*h - u*h - 15 = 0 for h.
-5
Suppose 0 = 3*s + 2*y - 7 - 24, -4*y + 53 = 5*s. Suppose -3*w + 9 = -s. Solve 0 = -0*z - 3*z - w for z.
-2
Let o(c) = -c + 2. Let s = -21 + 25. Suppose -s*t + 4 = -4*f, -3*t - 5*f = -2*f + 3. Let h be o(t). Solve -h*x = x for x.
0
Let l(p) be the second derivative of -p**5/20 - p**4/6 + 2*p**2 + 4*p. Let w be l(-2). Let s be w/2*2*2. Solve 3*y - s*y = 0 for y.
0
Suppose -6 = -8*u + 18. Let y be 2/(-6) - (-13)/u. Solve 5*i + 4 = y*i for i.
-4
Let t = 6 + 24. Suppose t = 9*c - 3*c. Solve 0 = c*g + 5 for g.
-1
Suppose -14*y - 3 = -11*y. Let h be y/(-2)*(-9 + 9). Solve h = -0*z + 3*z - 9 for z.
3
Suppose 11*t - 8*t - 60 = 0. Suppose -n + t = 5*k, -n + k = -k - 34. Suppose 0 = 2*m + 3*m - n. Solve -3*l + m = -0*l for l.
2
Suppose 31 = -5*k + 2*w, 0 = 6*k - k - 4*w + 27. Let r(l) = -l**3 - 8*l**2 - 7*l. Let z be r(k). Solve 5*c = -z*c + 25 for c.
5
Let t = -274 + 275. Solve -t = -a - 0*a for a.
1
Let i be (-568)/28 - 4/(-14). Suppose -8 + 48 = 2*c. Let x = c + i. Solve v - 6 + 3 = x for v.
3
Suppose 0 = 3*s + 2*l - 71, 5*s + 2*l - 41 - 80 = 0. Let r = -1 + 1. Suppose 0 = -a - r*a + s. Solve -6*y = -y - a for y.
5
Suppose -3*x = -5*t + 36, 3*t - 43*x - 36 = -46*x. Solve -20*n + t*n = -11 for n.
1
Let q be 0/(2 + (1 - -1)). Suppose f - 6*f = 10, -3*z - 3*f - 3 = q. Solve z = -b - 3 for b.
-4
Let j be (-2*13)/(5/(-1 + -24)). Solve -j = -7*d + 33*d for d.
-5
Let g = -9 + 13. Let s(w) = g*w - 5 + 5*w - 3*w - 5*w. Let i be s(11). Solve -3*h + 15 = i for h.
3
Let d(h) = 5*h**2 - 12*h + 1. Let j be d(6). Solve -110*i + j*i = -5 for i.
5
Let w(d) = -d**2 - 7*d - 2. Let b be w(-6). Let l(q) = 2 - b - q**2 - 2 - 2 - 6*q. Let t be l(-4). Solve -3 = j + t*j for j.
-1
Let f be 0/(((-1)/1)/1). Let q(c) = -8*c + 19. Let r be q(2). Solve f*b = -r*b for b.
0
Let z(y) = y**3 - 12*y**2 - 15*y + 208. Let l be z(12). Solve -l*r - 30 = 54 for r.
-3
Suppose 0 = -2*t - 5 - 1. Let o = 13 + t. Solve 4*b + o + 10 = 0 for b.
-5
Let n be (-176 - -181) + 2/(2/5). Solve 6*m + n = m for m.
-2
Let l = 39 + -31. Suppose 0 = l*v - 10*v + 8. Solve -15 = v*d + 5 for d.
-5
Let f be (3 + 0 + -4)/(15/(-30)). Solve -f + 0 = -p for p.
2
Suppose 5*s - 3*x = 150, -4*x + 10 = 30. Let u = -66 + 94. Let w = u - s. Solve 0 = -2*g + 3 - w for g.
1
Let s = 426 + -424. Solve -s*v - 17 + 11 = 0 for v.
-3
Suppose -146 - 22 = -21*l. Solve 0*f = 2*f + l for f.
-4
Let o be -18 + 16 + -1 + 4. Solve -3*g + 2 = -o for g.
1
Let w = -61 + 52. Let k be ((-24)/w)/(-4) - 17/(-3). Solve -6 = -k*d + 3*d for d.
3
Let o be (-8)/(-64) - (-4)/(-32). Solve o = -3*f - 7 + 10 for f.
1
Suppose 0*x = 2*x - 10. Suppose -2*d + 2*a = -0*a + 2, -25 = -x*a. Solve 5*g - d = 11 for g.
3
Let z(u) = -2*u**2 + 2*u. Let i be z(0). Solve -28 + i = 7*b for b.
-4
Let d(g) = -g**3 + 6*g**2 - 8*g + 7. Let y be d(5). Let r(b) = -7*b**3 - 4*b - 3. Let c be r(-1). Let p = y + c. Solve p = 2*t + 3 - 9 for t.
3
Let p = -80 + 85. Solve -7*m + 8*m = p for m.
5
Suppose 4*n = -8*n + 108. Let d be (n + -4 - 4)*(2 - 1). Solve 3*a + d = -8 for a.
-3
Let w be (-3)/(-9) - (-40)/6. Solve -2 = 6*z - w*z for z.
2
Suppose -7 + 32 = 5*w. Suppose 5*j + w*y + 2 - 27 = 0, -y = -2*j - 2. Solve -j = b + 2 for b.
-3
Suppose -4*d = -2*w + 24, w = 3*w - d - 27. Suppose -6*r + w = r. Solve 5*j - r = 8 for j.
2
Let p be 1*4 - 27/(-45)*5. Solve -p*w = w + w for w.
0
Let l(t) = -t**3 - 5*t**2 - 5*t - 1. Let d be l(-4). Suppose -9*v + 60 = -d*v. Solve -3*n = 2*n + v for n.
-2
Suppose 0 = w + 2 - 12. Suppose 3*n - w = 8. Let b(v) = v**2 - 7*v + 8. Let a be b(n). Solve 0 = 4*x - a*x for x.
0
Suppose 2*l - 151 = -3*k, -2*l - 2 + 0 = 0. Let m = k + -48. Solve -m = -2*f + f for f.
3
Let d(u) = -8*u**3 - u**2 + 1. Let g be d(-1). Solve -4 = -g*k + 4*k for k.
1
Suppose 62*u = -3218 + 9356. Solve 7*v + u = 64 for v.
-5
Let t be -6 + 13 + -1 + 0. Suppose -6*b = -3*b + 12. Let v be 30/b*(-2)/3. Solve -2*r - t = -v*r for r.
2
Suppose -7*n + 25 = -2*n - 5*s, -s = -4*n + 11. Solve -n = -2*x + 4 for x.
3
Let j(k) be the third derivative of -k**4/12 + k**3/2 + 7*k**2. Let z be j(0). Suppose 50 = 2*b + z*b. Solve -3*i - b = 2*i for i.
-2
Let y be 33/(-4) + 2/8. Let q be 0 + y/6*(-3)/2. Solve -q*x + x = 0 for x.
0
Suppose 2*h - 3*j = 9, -2*h - 3*j + 7 = -4*j. Suppose h*u - 49 = 11. Solve -5*k + k - u = 0 for k.
-5
Let m(k) = k - 8. Let o(v) = 3*v**2 + v - 1. Let g be o(2). Let u be m(g). Solve -4*w + u = -7 for w.
3
Let j(s) = -s**2 - 9*s + 6. Let f be 2*-1 + -8 - (-17 + 14). Let t be j(f). Solve -3*g - 2*g - t = 0 for g.
-4
Suppose 4*k - 63 - 185 = 0. Let i = 65 - k. Solve -1 - i = c for c.
-4
Let l(h) = 9*h**2 - 124*h**3 + 4 - 2*h + 7*h + 122*h**3. Let o be l(5). Solve o*z - 2*z = -6 for z.
-3
Let b = 28 - 28. Suppose 0 = h + 5*v - 17, -4*h + 5*h = -3*v + 17. Let f = h + 8. Solve b*t = -5*t - f for t.
-5
Let d = 27 - 27. Let u(q) = q - 8. Let m be u(d). Let g be (m - -4)/1*-2. Solve 8 + g = 4*f for f.
4
Let j = 56 + -44. Suppose -8 = 8*d - j*d. Solve t - d = 1 for t.
3
Let h(z) = 9*z + 27. Let i be h(-3). Solve i = -2*w + 3 + 1 for w.
2
Suppose -36 = -3*m + 96. Suppose 0 = 4*p + 4*q + m, 3*p - 5*q = -3*q - 8. Let n be p/4 - 27/(-18). Solve n*l = -4*l for l.
0
Let d be (-96)/(-9)*(-39)/(-13). Solve -6*w - d = 2*w for w.
-4
Let m(n) = 6*n**2 + 41*n + 14. Let q be m(-7). Solve 16*z - q*z = 25 for z.
-5
Let u = 