m = w + 2, 7*m = 4*w + 5*m + 36. Let h be o(w). Solve 2 - h = -2*i for i.
1
Suppose 3*a - 4*a + 4*o = 5, 2*a - 20 = -2*o. Let f = 258 - 254. Suppose -3*p = -2*c, -p + f*c = a + 3. Solve -p*s = -s + 4 for s.
-4
Let x(t) = -6*t - 24. Let w be x(-4). Let o(a) = a**3 + 3*a**2 - 3*a - 3. Let s be o(-3). Solve 2*h - s + 2 = w for h.
2
Let f be (-9)/(-3) + 3 + (-2 - 0). Suppose -3*b = -2*b - 4. Suppose -4*k = b*s + 5 + 3, 2*s - 2*k - 8 = 0. Solve -q = f - s for q.
-3
Let q be (-33)/(2/(-4)*2). Let t = 69 - q. Let i = t - 34. Solve -3*r + 10 = i*r for r.
2
Let r = -981 + 1006. Solve 0*k + 125 = r*k for k.
5
Let r(s) = -3*s**3 - 14*s**2 - 7*s + 39. Let u(f) = f**3 + 7*f**2 + 4*f - 19. Let b(q) = 2*r(q) + 5*u(q). Let x be b(7). Solve 8*j - 3*j = x for j.
5
Let x = -58 + 92. Let i = 37 - x. Suppose 0 + i = u. Solve -u*b = b for b.
0
Let x be 1/4 - (-150)/40. Solve 0 = -16*n + 20 - x for n.
1
Let b = 13 - 1. Suppose 3*m + b = 4*m + 5*p, m + p = 4. Suppose -m*j = j - 9. Solve 4 = -t + j*t for t.
2
Suppose 3*f = -4*d + 102, 3*d + 18 = f - d. Let k be 11 - 2 - (26 + -21). Solve 10 - f = -k*n for n.
5
Suppose 4*v - 11 = 4*b + v, 1 = -b - v. Let c be (1/b)/((-3)/72). Solve 5*w - w = c for w.
3
Let x(l) be the third derivative of -l**5/60 + l**4/3 + 23*l**3/6 - 13*l**2. Let a be x(10). Solve 0*y + a = -y for y.
-3
Suppose 0 = 5*d + 3*m - m - 8, 5*m = -d + 20. Solve 9*n - 6*n = d for n.
0
Let n(h) = -h + 11. Let i be n(3). Suppose -5 = 3*g - i*g. Solve 4*q = -7 - g for q.
-2
Let m be -8 + 7 + -1 + 6. Let p = m + 8. Let j(y) = -y**2 + 2*y. Let w be j(2). Solve p + w = -4*x for x.
-3
Let u(x) = -x**3 - 16*x**2 + 54*x - 22. Let f be u(-19). Solve f = o - 8*o for o.
-5
Let t(x) = -x - 16. Let f be t(-20). Suppose f*s + i - 4 = 2*s, s = -5*i - 16. Solve 3 + 5 = s*k for k.
2
Let v be (4 - (-3 + 3)) + 8. Suppose -v = -2*f + 2*y, -5*f = 3*y - 57 - 5. Solve 2*k + 0 - f = 0 for k.
5
Suppose -4*c + p = 120 - 27, 0 = 3*c - 2*p + 66. Let g be (-80)/c - (-3)/(-9). Suppose -2*l = 3*l + g*d - 9, 5*l - d = -3. Solve -2*b - b - 3 = l for b.
-1
Suppose -5*k - y + 41 = 0, 0*y = -k + 4*y + 4. Solve 3 = q + k for q.
-5
Let f(o) = -o**2 + 20*o - 6. Let i be f(13). Let x = 89 - i. Solve 1 = x*w - 3 for w.
1
Suppose 4*p + 2 = 6*p. Let a(v) = 8*v**3 + 2*v - 1. Let d be a(p). Suppose 3 + d = 4*r. Solve o = -0*o - r for o.
-3
Let j(m) = -m**2 + 11*m + 29. Let d be j(13). Solve -5*y - 22 = d for y.
-5
Let s = 840 - 838. Solve -s*c - 3 = 1 for c.
-2
Suppose -4*j + 6 = -o - 13, 3*j - 2*o = 18. Solve -j*p - 20 = p for p.
-4
Let t be 165/44 - (-3)/(-4). Suppose 2*c = -2*u - 2, 2*c + 19 = 3*c - 3*u. Solve t*a - c = -a for a.
1
Let h be (56/(-35))/((-1)/(-5)). Let i = -8 - h. Suppose 10*v - 9*v - 20 = i. Solve 4*n + v = 8*n for n.
5
Let g = 18 - 13. Suppose -4*p + i = p - 29, 25 = p - g*i. Suppose -5*j + j = -20, 3*j - 15 = p*f. Solve k + f*k = 0 for k.
0
Let i be (-18)/(-15)*(-15)/(-9). Let m be 7*((-12)/(-4) - i). Let o = -175 - -194. Solve m = -3*s + o for s.
4
Let z = -22 - -23. Suppose -2 = -a + z. Solve -s - a = -4*s for s.
1
Suppose 72 = 5*a + 4*i, -2*a - 2*i + 54 = 2*a. Solve 0 = -2*v - v + a for v.
4
Let d(p) = -p**3 + 2*p + 6. Let z be d(-3). Suppose -z + 60 = 3*s. Let i(j) = -j**3 - 6*j**2 - 7*j - 7. Let c be i(-5). Solve 4*r = -c + s for r.
2
Let i(s) = -6*s + 14*s + 28 - 10*s. Let d be i(13). Solve 4*x - 10 = d*x for x.
5
Let a = -54 - -55. Suppose -a = -9*y + 8*y. Solve 3*b - 5 = y for b.
2
Suppose 0 = -3*c + 6 - 36. Let a = 15 + c. Solve 5 = -a*y - 0*y for y.
-1
Let j(h) = -h**3 + 2*h**2 + 6*h - 2. Let k be j(4). Let q(d) = -15*d - 1. Let r be q(-1). Let z = k + r. Solve -3 = -g - z for g.
-1
Let t = -33 - -36. Solve -3 = -0*v + t*v for v.
-1
Let h = 64 - 68. Let u(q) = -q**2 - 3*q + 6. Let n be u(h). Solve -5*c - 3 - n = 0 for c.
-1
Let c(o) = -o**3 + 4*o**2 + o - 4. Suppose -x - 8 = -5*k, 2 + 2 = 3*k - x. Let r be c(k). Solve 4*n - r = n for n.
2
Let i(r) = -3 + 2*r + 5 - 2*r + 5*r. Let m be i(-4). Let z be ((-3)/(-6))/((-3)/m). Solve 2*o = -z*o for o.
0
Let f be 49/17 - 8/(-68). Suppose d - 8 = t - 5*t, -26 = -2*d - f*t. Solve -1 + d = -5*z for z.
-3
Suppose 0 = -3*q + 5*u - 0 + 20, -3*q - 5*u = 20. Suppose 0*v + 25 = 5*v. Suppose -3*m = -q*m + 4*j + v, -3*m = j - 1. Solve -r - 4 = m for r.
-5
Let m(w) = -2*w**2 - 2*w + 1. Let g be m(2). Let c = 11 + g. Solve 3*q = -c*q - 15 for q.
-5
Let y be (-29)/2 + (-1)/2. Let i be ((-12)/10)/(3/y). Suppose 3*h - 28 = -l, 3*h + i*l - 44 = l. Solve 0 = -4*g + 4 + h for g.
3
Suppose 72*h - 69*h = 9. Suppose h*m + 2*r = 10, m - 3*r + 15 = 2*m. Solve m = -5*z + 3 - 28 for z.
-5
Let v(m) be the first derivative of m**2/2 - 1. Let g be v(3). Suppose j - 14 = -4*c, -5*j + 4*c = -878 + 808. Solve -j = g*p - 2 for p.
-4
Let u be ((-435)/6)/(-5) + (-57)/(-38). Solve -33*s + 37*s - u = 0 for s.
4
Let u(o) = o - 14. Let l = -1 + 6. Let b be u(l). Let k = b + 13. Solve 3*a = -k - 11 for a.
-5
Let p(t) be the second derivative of -t**6/240 - 3*t**5/40 - t**4/6 - 2*t. Let u(x) be the third derivative of p(x). Let z be u(-6). Solve s + 2*s = z for s.
3
Let b = 70 + -69. Let v be (0 - (2 + -2))/((-1)/b). Suppose -32 = -4*s + 8. Solve v = -5*c - 0*c + s for c.
2
Let d = 39 - 28. Suppose -3*q = -5*y + 13, -4*y + 4*q = -16 + 4. Let k be 639/72 + y + 15/(-8). Solve d = 5*t - k for t.
4
Let i = -915 - -926. Solve -10 = -v - i for v.
-1
Let a be (-8)/36 - (-47)/9. Suppose 0 = 4*y - 3*x - 35, y = 5*y + 3*x - a. Suppose -2*h = -0*h + 5*w + y, w + 1 = 4*h. Solve h = -4*t - 1 + 5 for t.
1
Suppose -6*u + 40 = 34*u. Solve -u + 5 = g for g.
4
Let l be (3/(-9))/(2/(0 + -222)). Let i = 40 - l. Solve -i*v - 11 = -2 for v.
-3
Suppose 9*c - 50 = 4*c. Suppose 2*g = -3*g + c. Solve -g*m + 8 = 2*m for m.
2
Let t(l) = l**2 + 14*l + 5. Let g be t(-14). Suppose 10*z = g*z + 50. Solve 3*j + z = 5*j for j.
5
Suppose 0 = 5*k + 3*f - 18 - 40, -2*k = 2*f - 20. Solve 9*w - k*w - 25 = 0 for w.
-5
Let j be 4 + ((-10)/35 - 92/(-28)). Solve -15*a + 110 = j*a for a.
5
Let v be (-4)/14 - (-174)/21. Suppose c + v = -2*z, z - 3*c + 5*c + 4 = 0. Let i be (-2)/(1*z/46). Solve i = -5*q + 3 for q.
-4
Let n(l) = -10*l + 10. Let t be n(-5). Suppose t = 6*d - 0*d. Solve -4*j - d = 2 for j.
-3
Let v be (-14220)/(-315) - (-1)/(-7). Solve -v = -0*c + 9*c for c.
-5
Let q = 148 - 128. Solve 0 = -6*m + 11*m - q for m.
4
Suppose -6 + 0 = -3*g. Suppose -4*m + 6 = -3*v, 2*m + 3*m = 5*v + 10. Let b = 0 + m. Solve b = -g*a + 8 for a.
4
Let j(f) = f**3 + 9*f**2 - 7*f + 10. Let k be j(-10). Let q = k + 22. Suppose 3 + 13 = 4*w. Solve -a + w = -q*a for a.
-4
Let k be (3 - (-5)/(-2))*18. Solve -k*y = -4*y + 5 for y.
-1
Let x = 11 - 16. Let k = -4 - x. Suppose 0 = 5*s - 6 + k. Solve v - 2*v = -s for v.
1
Suppose 2*n = 4*n - 3*i + 28, -2*i = n. Let w be n*3/((-12)/(-10)). Let t = w + 23. Solve t = -2*s - 3 for s.
-3
Suppose 3*w + w = 0. Suppose h = -y + 5*y - 31, w = 3*y + 4*h - 47. Let c = -4 + y. Solve -c*d = -3*d - 6 for d.
3
Let k be (3/4)/(6/72). Suppose -3*i + k = -r + 5*r, 2*i - r - 6 = 0. Suppose -f = i*f. Solve s + 3 + 1 = f for s.
-4
Let o = 235 + -233. Solve -g = -o*g for g.
0
Let o(r) = 2*r**2 - 35*r + 21. Let s be o(17). Solve -a = -s*a for a.
0
Let l(b) = -2*b - 15. Let r be l(-6). Let y be 104/24 - r/(-9). Solve 3 = -y*z - 13 for z.
-4
Let r(m) = 2*m - 21. Let a be r(-9). Let f = 44 + a. Solve 0*x = -f*x for x.
0
Let b(r) = -r. Let t be b(-3). Suppose -t*c + 5*x + 10 = 0, -3*c - 5*x = -2*x - 18. Solve -1 + c = -m for m.
-4
Suppose 4 = -3*i + 25. Suppose 0 = -15*n + i*n + 32. Solve 0 = o + n - 0 for o.
-4
Let y = 818 - 812. Solve y*g - 13 = -7 for g.
1
Let c = 6 + -3. Suppose -c*m - 4*v = -18, 2*m - 5*m = -5*v + 9. Solve -5*k + m = -3*k for k.
1
Let t(b) = 4*b**2 + 0*b**3 + b**3 + 2*b**3 - 4*b**3 - 4*b + 5. Let m be t(5). Let c = m + 65. Solve 7*a = 2*a - c for a.
-5
Let h = 99 + -90. Suppose -2*q = 1 - h. Solve 5*j = q*j - 4 for j.
-4
Let a(n) = n + 21. Let r(f) = -f - 21. Let y(g) = 5*a(g) + 4*r(g). Let u be y(-13). Solve 0 = -4*o + u*o + 20 for o.
-5
Let w = 412 - 410. Let l = 5 + -8. Let i be (l/(-4))/(3/24). Solve m + i - w = 0 for m.
-4
Let w = -8 + 12. Solve w*l + 8 = 16 for l.
2
Suppose 0 = -153*y + 159*y - 60. Solve y*p + 59 - 39 = 0 for p.
-2
Suppose 4*w = 5*t + 24, -3*t + 0*t = -2*w + 14.