 Solve s = -s + m for s.
4
Suppose -c = -2*z + 8, 4*z - 4*c - 20 = -0*z. Suppose 34 = -z*k + 43. Solve 4*y = k*y for y.
0
Suppose 3*k - 12 = -2*o, -1 = 3*o + k - 5. Let x = o - -2. Suppose -x*r = -r. Solve 3*d - d + 6 = r for d.
-3
Let d = -2 + 5. Let s(z) = 8*z**2 - 6 + 2*z + z**3 - 9*z + 6*z. Let y be s(-8). Solve d - 9 = -y*a for a.
3
Let p(k) = 8*k + 14. Let x be p(-1). Solve -13*a + x = -7 for a.
1
Let d = -1967 - -1971. Solve 171*y + d = 169*y for y.
-2
Let m(k) = k**3 + 2*k**2 - k + 9. Let u be m(-3). Solve u*x = -0 + 3 for x.
1
Let y(d) = 14*d - 55. Let u be y(5). Solve 2*o - 5 = -u for o.
-5
Let d(f) be the third derivative of f**6/120 + f**5/10 - 5*f**4/8 + 5*f**3/3 - 25*f**2. Let z be d(-8). Solve -b - z = -0 for b.
-2
Suppose 102 + 48 = 6*t. Let d(h) be the third derivative of h**5/60 - h**4/6 - 7*h**3/6 - h**2. Let p be d(6). Solve 0*b - p*b + t = 0 for b.
5
Suppose 2*r = w - 10, 3*w + 3*r = r - 2. Solve -w = -14*d + 12 for d.
1
Let m(k) = 36 - 13 + 23 + 2*k + 0. Let d be m(-20). Solve n = d*n - 25 for n.
5
Let k(c) = -c**3 + 15*c**2 + 18*c - 32. Let q be k(16). Solve 4*a + a - 5 = q for a.
1
Suppose -2*m = -32 - 14. Suppose l - m = -q + 5*q, -2*l - 4*q - 2 = 0. Suppose -5*z + l = -3. Solve -6 = -z*n + 4 for n.
5
Suppose 24 = 2*x + 2*x. Let s be 2*2/(-14) + (-40)/7. Let h be (x/(-4))/(s/28). Solve 2*g = -15 + h for g.
-4
Let w(b) be the third derivative of -b**5/60 - 7*b**4/24 + 3*b**3 - 39*b**2. Let s be w(-8). Solve -3*t + t = s for t.
-5
Let l = 520 + -518. Solve l*m = -m + 15 for m.
5
Suppose h - 9 = 2*c - 2*h, -4*h + 12 = 2*c. Let w(q) = -q + 8. Let t = 17 + -25. Let p be w(t). Solve -4*r + c = p for r.
-4
Let j(n) = -n**2 - 13*n - 36. Let a be j(-7). Solve -4*i = -10*i - a for i.
-1
Let s = 11 + -12. Let v be s/(-1) + (-15 - -19). Suppose -v*k + 3*k - o + 24 = 0, 12 = k - 5*o. Solve -k = -n + 4*n for n.
-4
Let l be (-96)/(-10) - (252/20 - 13). Solve 0 = l*s - 8*s + 4 for s.
-2
Let k be -7*(22/(-7) + 3). Let g be 0*2/(-4)*k. Solve 4*i + i + 20 = g for i.
-4
Let k = 16 + -11. Let b be k*((-156)/(-20) - 3). Suppose -2*t + 4*t - b = 0. Solve -4*z = -t - 0 for z.
3
Let t(v) = 12*v - 35. Let i be t(3). Let s(r) = 3*r**2 + 4*r - 2. Let j be s(i). Let y be (-4)/6 - (-76)/6. Solve 3 = j*a - y for a.
3
Suppose -q + 4*f = 3, q + 0*f - 3*f = 0. Let u be (q - 12)/((-6)/8). Solve -u*s + 6*s = 2 for s.
1
Suppose 0 = 5*a - 5*n - 65 + 10, 0 = 4*a + 2*n - 74. Solve -a = 6*m + 14 for m.
-5
Let m(u) = 7*u - 100. Let w be m(15). Solve -w*o + 5 + 15 = 0 for o.
4
Let m(i) = 6*i**2 + 2*i + 1. Let r be m(-1). Suppose 5 = r*x + 4*p, 0 = 4*x - p - 3 - 22. Solve x*a + 0*a - 25 = 0 for a.
5
Let w = 25 - 23. Suppose w*b + 6*b = 24. Solve -i - b = 1 for i.
-4
Suppose -280 = -56*b - 14*b. Solve -b*z = 10*z - 42 for z.
3
Suppose -14*u - 8*u + 66 = 0. Solve 5*h - 8*h = u for h.
-1
Suppose 0 = 4*g - 2 - 38. Suppose 3*j - 15 = 0, -n = j + j + g. Let x be -3 - n/(0 + 4). Solve 4*o = x*o for o.
0
Suppose -4*u + 4*m = -4 - 0, -2*m = 0. Solve 0 = -5*q + 6*q - u for q.
1
Let c be 3 + -7*14/(-98). Solve -v = -0*v + c*v for v.
0
Suppose -5*g - a + 14 = 0, 5*a - 10 = 2*g - 21. Suppose 0*s = -4*l + 2*s + 14, -23 = -4*l + 5*s. Solve -g*x - l*x = 25 for x.
-5
Let o = -904 - -928. Solve 5*m - o = 13*m for m.
-3
Suppose 5*t + 3*s = -381, 0 = 4*t + 3*s - 147 + 453. Let y = 78 + t. Solve 5*k + y = 6*k for k.
3
Suppose -4*q + 2*x = -22 - 8, 0 = -2*x - 10. Suppose -5*m = -10*m + 30. Solve -q*n + 2*n - m = 0 for n.
-2
Let n(r) = -r**3 - 9*r**2 - 22*r - 112. Let b be n(-8). Solve b = c - 9 + 6 for c.
3
Let d be (0 + 2/(-2))/((-2)/6). Solve d*j = 6*j + 12 for j.
-4
Let s = 0 + 2. Let h be 12/(-8)*12/9. Let b = h - -14. Solve s*t - b = -2 for t.
5
Suppose -2*o + 4*u - 30 = -12, -28 = -3*o - 5*u. Suppose -3*y + o = -11. Suppose -12 = -0*b - 3*b. Solve -5*v - b = -y*v for v.
-4
Suppose 54*n = 4*i + 56*n - 92, 68 = 4*i - 4*n. Solve 0 = 7*c - 28 + i for c.
1
Let n = 41 - 31. Suppose -n - 6 = 4*m. Let z(s) = -s**3 - 3*s**2 + 4*s + 2. Let a be z(m). Solve 0 = 2*f + a - 6 for f.
2
Suppose -20*p = -6*p. Solve 54*s - 58*s + 20 = p for s.
5
Suppose -3*m + w + 41 = 0, 48 = 10*m - 6*m + 2*w. Solve -m = 5*g + 12 for g.
-5
Suppose -4*l = x - 21, 4*l - 15 = 5*x - 0*l. Let r = x + -7. Let i = 8 + r. Solve -i*a - 3*a = 25 for a.
-5
Let q(l) = -2*l. Let w be q(-3). Let n = 4 + 1. Suppose -n*m = -13 - 12. Solve 0 = m*g + 1 - w for g.
1
Suppose -4*y - 60 + 104 = 0. Solve 5*p = -y + 1 for p.
-2
Let s(t) = -t - 3. Let r be s(-9). Suppose 6 = -3*o, -2*j + 2*o = r*o. Solve 3*d - j*d + 1 = 0 for d.
1
Suppose -4*k + 8*i - 3*i = -105, i = 2*k - 57. Solve -17*t + k = -55 for t.
5
Suppose -l + 136 = 4*u + 551, 4*l + 85 = -u. Let b = 109 + u. Suppose 0 = 4*s - 5*n - 9, -5*n + n = 4. Solve -p - b = s for p.
-5
Let x be (-10)/(-65) - 37/(-13). Suppose 0 = x*j - 26 - 34. Solve 2*r = -3*r + j for r.
4
Let c be 4 - (-10 + -7 - -8). Solve c - 9 = -2*a for a.
-2
Let m = -560 + 562. Solve m = -12*h + 10*h for h.
-1
Suppose -13*k + 14*k - 13 = 0. Suppose -x + h = 3*x - k, 3*x + 4*h = -14. Solve 0 = -w - x*w - 15 for w.
-5
Suppose -4*g = -3*h - 5, 6*g = 3*g + 3*h. Solve -g = -11*p - 27 for p.
-2
Let x = -1453 + 1463. Solve 1 = -3*o + x for o.
3
Let b(x) = -45*x - 1. Let c be b(-1). Suppose 4*q + c = -2*t + 126, 5*q + 2*t - 100 = 0. Let w be 6/q + (-5)/(-3). Solve 15 = -w*d - d for d.
-5
Let y be (-32)/(-48) + 20/6. Suppose o + y*o = d - 1, 3*d = -4*o + 3. Solve -3*u = -o*u - 15 for u.
5
Suppose -3 = 4*y - 15. Let k(x) = x**2 - 1. Let m be k(1). Let a(q) = q**3 - q**2 + 3. Let l be a(m). Solve l*u - 9 = -y for u.
2
Let x be ((-1)/1)/(2/(-44)). Let s = -66 - -56. Let p = x + s. Solve k - p = 4*k for k.
-4
Suppose 2*a - 137 = -5*d, 4*d + 51*a - 46*a = 130. Suppose 50 = 5*k + 3*p - 6*p, -14 = -3*k + 5*p. Solve -8*s = -k*s + d for s.
5
Let y(s) = -6*s - 122. Let k be y(-23). Solve 9*t - k*t + 35 = 0 for t.
5
Suppose -4*r + 54 = 2*n + 10, -36 = -4*n + 5*r. Solve 18*g = n*g for g.
0
Let w = 5 + -5. Suppose -3*a - 5*p = -21, -5*p = -a - w*a - 13. Suppose 2 = -3*s + a*o - 4*o, o + 1 = s. Solve 0 = u - s*u for u.
0
Let c be (-2)/(-1) + 2/(8/180). Let s = c + -45. Solve -6 = -2*o - s for o.
2
Let p = -7 - -3. Let m(v) be the third derivative of -v**6/120 - v**5/20 + v**4/12 - v**3/3 - 4*v**2. Let d be m(p). Solve d*n = n - 25 for n.
-5
Let y be (-42)/9*21/(-14). Suppose -71 = -y*r - 1. Solve -2*o + r = 3*o for o.
2
Suppose 5*i + 25 = 5*p, -2*p - 72 = 4*i - 22. Let q(s) = -7*s - 66. Let d be q(i). Solve -d*z - 5 = -5*z for z.
5
Suppose 5*z - 25 = -2*i, -i - 3*i + 4*z = 20. Suppose -2*k + 18*k = i. Solve 4*v - 8*v - 12 = k for v.
-3
Let d be 3*(8 + (-8)/24). Solve 9*j - 13 = d for j.
4
Let j = 168 + -161. Solve -j*z = -3*z + 8 for z.
-2
Let o(x) be the first derivative of x**4/4 - 7*x**3/3 + x**2/2 - x - 3. Let z be o(7). Suppose b - 6 = -m + 3*b, -2*b + z = m. Solve a = -a - m for a.
-3
Let s be (-9)/(-3) - (0 + 1). Let d(v) = -v**2 - 6*v + 10. Let u(p) = -p**2 - 5*p - 7. Let y be u(-5). Let f be d(y). Solve f*i + s = -10 for i.
-4
Let t = 40 - 45. Let k = 15 + t. Solve -x = x + k for x.
-5
Let y = 889 + -867. Solve 21*w - y*w = -4 for w.
4
Let t(r) = 189*r - 1887. Let w be t(10). Suppose 5 = 2*s + 3*s. Solve w*q - s = 5 for q.
2
Let f(a) = a**2 - 4*a - 2. Let s be f(5). Suppose s = -z + 2, 0 = 2*i - z - 13. Let r = 6 - i. Solve 0 = -r*t - t - 3 for t.
-3
Let z be (-21)/28*(-1)/((-6)/(-16)). Let u be 215/10 + z/4. Solve 10 - u = 4*g for g.
-3
Let r(o) = -3*o - 15. Suppose 0 = 3*u - 3*p + 15, 0*u - u - 25 = 3*p. Let g be r(u). Solve -c - 2*c - g = 0 for c.
-5
Let p = -1357 + 1392. Let z(y) = y**2 + 3*y - 2. Let j be z(-5). Let n = p - j. Solve 0 = -4*b - n + 7 for b.
-5
Suppose -2*y + 5*f + 35 = 0, 2*f = 2*y - 3 - 23. Solve -10*b = -12*b - y for b.
-5
Let c be ((-6)/(-4))/((-9)/(-30)). Suppose 3*g - c*g + 14 = 0. Suppose -5*d + 3 = -g. Solve -7*r = -d*r - 15 for r.
3
Suppose u = 4 - 1. Suppose u*b = 8*b. Let y be 4 + -1 + b/(-3). Solve -y*w - w + 16 = 0 for w.
4
Let l be (-1 - (-2 - -3)) + 18. Suppose -1887*m + 1892*m - 80 = 0. Let r = l - m. Solve 4*s + r*s = 0 for s.
0
Suppose -5*u + 42 = -2*c + 13, -4*c = u - 19. Solve -u*l + 1 = -6*l for l.
1
Let w be 2/(0 - 3/(-12)). Let y be (-4)/w*-4 - 6. Let j be -2 + (5 - (3 + y)). Sol