. Solve -5*m - x = -2*m for m.
-5
Let p = 1248 + -1244. Solve p*r + 9 - 1 = 0 for r.
-2
Let a(r) = 13*r - 166. Let b be a(13). Solve -b = 4*p + 13 for p.
-4
Let s = 7 - -8. Suppose 0 = 22*d - 25*d + s. Solve -d*p - 13 - 12 = 0 for p.
-5
Suppose 0 = -12*n + 17*n + 140. Let g = n + 31. Suppose 1 + 5 = 5*j - l, l + 2 = j. Solve -g*f + 10 = j for f.
3
Let h = 10 + 0. Suppose 2 = -8*z + h*z. Solve 0 = 3*b + z + 5 for b.
-2
Let d = 124 + -124. Suppose d = -u - 60 + 66. Solve -t - 2 = -u for t.
4
Let r(o) = o**2 - 8*o - 14. Let f be r(9). Let d(n) = -n**3 + 5*n**2 + n + 1. Let w be d(5). Let x be (1/f)/(w/(-30)). Solve 2*z + x = -5 for z.
-3
Let b = 63 + -57. Let x(g) = -g**3 - g**2 + g + 5. Let c be x(0). Solve c*o - 3*o = -b for o.
-3
Suppose -308*a + 310*a = 32. Solve -13*n = -a*n + 12 for n.
4
Suppose -24*y - 21 + 141 = 0. Solve 4*j - y*j + 5 = 0 for j.
5
Suppose 0 = 3*o - 0*o. Let d be ((-30)/(-40))/(2/104). Suppose o*a = h - 5*a - 19, 5*h = -3*a + d. Solve 2*k - h = -1 for k.
4
Let g(v) = -v**3 - 2*v**2 - 4*v - 3. Let w be g(-1). Suppose w*c = 5*c. Solve -3*s + s + 2 = c for s.
1
Let n(u) = -u + 8. Let x(i) be the first derivative of -i**2/2 + 2*i - 8. Let w be x(2). Let k be n(w). Solve p = -3*p - k for p.
-2
Let u(o) = o**3 - 3*o**2 + 4. Let y be -8 + 8 - 1*-3. Let g be u(y). Suppose 4*x = -g*b + 32, 2*b - 6*b = -5*x - 23. Solve 4*n - b*n - 15 = 0 for n.
-5
Let g be (3/(-24))/((-1)/16). Solve -2*z = 4 - g for z.
-1
Let u = -6 - -9. Suppose 3*y = 4*y + x + 1, 2*x = 0. Let h = 26 + y. Solve -u*g - 2*g = -h for g.
5
Suppose 6*d = 7*d - 2. Suppose d*y - 40 = -3*x, -2*y + 4*y = 4. Suppose 3 + x = 5*w. Solve -w*f - f = -16 for f.
4
Let n(i) = i**3 + 11*i**2 - 12*i + 7. Suppose 5*h - 72 = 11*h. Let c be n(h). Solve -1 + c = -3*f for f.
-2
Let c = -24 - -35. Let h = -13 + 18. Let l(b) = 7*b + 295. Let k be l(-37). Solve -h*v = c - k for v.
5
Let b = 34 - 38. Let m = b + 4. Solve -5*o - 3 - 22 = m for o.
-5
Let k(v) = -14*v. Let c be k(-5). Suppose -5*j + 3*l - c = 0, -2*j = -6*j - 3*l - 29. Let m = j - -21. Solve 0 = -9*s + 4*s - m for s.
-2
Let i = -16 - -19. Suppose 0 = d - 2, -3*t + 4*d = i*d + 2. Solve -5*u - 20 = -t*u for u.
-4
Let r = 0 + 0. Let i be (-6)/(-4)*12/(0 + -6). Let a be 4 - 3/9*i. Solve r = 2*m - m - a for m.
5
Let s = 227 + -223. Let c be 38/6 + (-4)/(-6). Solve -c + s = -m for m.
3
Let s be 0/2 - (-2 - 1). Suppose s*k + k = 8. Suppose 0 = 4*m, k*f - 6 - 2 = -4*m. Solve -f*t = -9 + 1 for t.
2
Let r(w) = 6*w - 47. Let m be r(14). Solve 0 = m*l - 23*l - 70 for l.
5
Suppose -q = 5*d + 4 + 7, 4*q + 10 = -3*d. Let x = -2 - d. Solve x*g - 2 = g for g.
-2
Let w = 128 - 124. Solve 0*c - 4 = w*c for c.
-1
Let i(z) = -45*z - 360. Let q be i(-8). Solve q = 2*r - 6 + 12 for r.
-3
Suppose 0 = 27*f - 12*f. Solve 2*l - 3 + 7 = f for l.
-2
Let v be -114*9/(-126)*14. Solve -3 = -v*z + 111*z for z.
1
Let t = 84 + -76. Suppose -10*g + 11*g = t. Solve -6*k + 2*k - g = 0 for k.
-2
Let s be (-9 + 6)/(1/5). Let k be (8/10)/((-3)/s). Suppose k*u - 3*u = 3. Solve l - 20 = -u*l for l.
5
Let q(c) be the third derivative of -c**4/8 + c**3/3 - c**2. Let m be q(-2). Suppose -m = 4*a, 4*n - 5*a + 16 = 74. Solve u - n = 4*u for u.
-4
Let m be 1/4 - 5/20. Suppose -2*q + 6 = -m*q. Suppose 8*y - 3*y - 10 = 0. Solve 0 = y*g - q*g - 4 for g.
-4
Suppose 3*f + 20 = 7*f. Suppose 5*k = -a + 27, 3*k - 1 = -4*a + f. Suppose 31 = 2*c + 27. Solve -c*h - k = -2 for h.
-2
Let i = 72 - 68. Suppose 0 = -0*f - f - 2*k + 6, -i*k + 12 = -3*f. Solve 0 = 3*x - f*x - 15 for x.
5
Suppose 0 = 2*g + w, -5*w + 0*w - 26 = -3*g. Solve g*z + 5 = 3 for z.
-1
Suppose -8 = -7*b + 3*b. Let f = 386 - 375. Suppose 3*i = -b*y + 9, i + 3*y - f = -3*i. Solve -41 = i*p - 16 for p.
-5
Let t(c) = -4*c + 88. Let v be t(21). Solve 0 = 2*y + v + 4 for y.
-4
Suppose -18 = 4*h + 38. Let i be (-20)/h - (-4)/7. Solve 0 = -k + i*k - 1 for k.
1
Let x = 1801 - 1799. Solve -6*u - x*u - 40 = 0 for u.
-5
Let y = 0 + 5. Let s = 913 + -909. Solve 3 = -s*l - y for l.
-2
Let p(l) = 13*l - 3. Let s be p(2). Suppose 0 = 22*g - s*g. Solve g - 2 = -x for x.
2
Suppose z + 5*w + 25 = 0, -2*w - w - 15 = 0. Let a(m) = 2*m**2 + 18*m + 30. Let h be a(-7). Solve h*u + z*u + 6 = 0 for u.
-3
Suppose -4*s + 3*a + 69 = 0, a + 15 = s - 2*a. Suppose 2*r = s - 6. Solve -2*x = -0*x + r for x.
-3
Suppose 0 = -3*h + 21*h - 1134. Let s = h + -62. Solve 2*l + s = -5 for l.
-3
Let j(p) = -p**2 - 7*p - 4. Let c = 16 - 20. Let f be j(c). Suppose -4*z = -2*z - f. Solve -o = -5*o - z for o.
-1
Let v(c) = -c + 13. Let z be v(8). Let i = z + 5. Solve 4*l + i + 10 = 0 for l.
-5
Let c = -85 + 90. Suppose c*k + 2*j - 5*j - 34 = 0, -5*j - 40 = -5*k. Solve -3 = 4*v + k for v.
-2
Suppose 0 = -19*q - 49*q + 1632. Solve q = 4*w + 32 for w.
-2
Let q be (0 + 3)/(-3)*-1*1. Let x be 2 + 8/(-1 + 3). Let z = x + -3. Solve -s = -z - q for s.
4
Let q(s) = -10*s**2 - 1. Let r be q(1). Let a = -8 - r. Let t(y) = 3*y - 51. Let m be t(17). Solve b - a*b = m for b.
0
Let p = 49 + -46. Suppose -2*n = h - p*n - 5, 2*h + n - 4 = 0. Solve -h*j = -2*j + 5 for j.
-5
Let a be (0 - 0)*(-3)/9. Let j be (a/2 - -2) + 13. Suppose -k = 2*k - j. Solve 0 = k*i + 7 + 3 for i.
-2
Suppose -4*c + 2*c = 0, 4*f - 4*c = 40. Let v = -11 - -4. Let g = f + v. Solve -g*h + 5 = -4*h for h.
-5
Let u(s) = -s + 6. Let o be u(-10). Suppose -o*v + 2 = -15*v. Solve 3*x = 4*x - v for x.
2
Suppose -3*v = 3*c + 2*v - 21, -4*c + v + 5 = 0. Suppose 4*x - 26 = n + 6, 0 = -c*x - 2*n + 16. Suppose 2*j - x = -4. Solve 4*p + 2 = -j for p.
-1
Let w(c) = c**2 + c - 1. Let n be w(3). Let a(d) = -d**3 - 9*d**2 + d + 4. Let o be a(-9). Let j = n + o. Solve -s + j*s + 10 = 0 for s.
-2
Suppose -11 = -2*m + 17. Suppose 0 = f + 1, n - 2*f + m = 5*n. Solve n*s + 4 = -4 for s.
-2
Let h = 2386 - 2383. Let c(p) be the first derivative of -p**3/3 - 4*p**2 - 5*p - 1. Let q be c(-6). Solve -q = -5*s + h for s.
2
Suppose -4*b = -4*l - 44, 0 = b + 5*l + 2 + 11. Solve -b - 23 = -6*c for c.
5
Let b(j) = -j**3 - 18*j**2 + 41*j + 23. Let p be b(-20). Solve -8 = p*r - 2 for r.
-2
Suppose g + 275 = 5*l, -2*l + 4*g + 12 + 116 = 0. Solve 54 = z + l for z.
0
Let x(o) = -3*o - 19. Suppose 4*z = -4*z - 56. Let c be x(z). Solve 20*p - 18*p - c = 0 for p.
1
Let l = -15 - -26. Solve 12*o = l*o + 4 for o.
4
Let p be ((-5)/2)/((-5)/10). Let r = p - 14. Let b = 9 + r. Solve b = y - 0*y + 1 for y.
-1
Let f = -388 - -180. Let p be f/(-56) - 2/(-7). Suppose x = p*x - 21. Solve 0 = 5*t + x + 8 for t.
-3
Let t(z) = -13*z - 18. Let g(x) = 11*x + 18. Let k(h) = 6*g(h) + 5*t(h). Let a be k(-14). Solve a*b - 5 = 3 for b.
2
Suppose 0 = -3*g + 10 + 2. Solve -g = f - 1 for f.
-3
Suppose 5*i + 8 = 3*a, a - 14 = -2*i - 2*i. Let o be -1 - (5 - 5) - -5. Suppose -18 = o*q - 13*q. Solve 0*g + a = q*g for g.
3
Let s be 11 + (-36)/63 + (-24)/7. Suppose 3*g = -3*y + 39, -3*y + 3*g + s = -14. Solve y*h - 5*h = -10 for h.
-2
Let x = 51 + -43. Suppose a = -3*t, 3*a + x = t - 2*t. Solve 2*z + t = 3*z for z.
1
Suppose 0 = 2*d - 0 - 10. Let t(s) = 3*s - 16. Let w be t(6). Suppose 0 = d*p - w*p - 9. Solve 5*a - p*a = 0 for a.
0
Let v be 1*(-3 + 2) - (-403)/13. Solve -8 = -v*r + 28*r for r.
4
Let c = 60 - 19. Suppose z = 5*b - c, -2*b + 4*b + 2*z = 14. Solve -b = -x + 5*x for x.
-2
Let m(g) = 21*g + 7. Let l(u) = -10*u - 4. Let z(k) = -7*l(k) - 3*m(k). Let y be z(0). Solve 5*p + 13 + y = 0 for p.
-4
Let m be 1 + 0 + 2 + -3. Suppose 6*d - 8*d = m. Suppose 2*p + p - 42 = d. Solve 3*q + 1 + p = 0 for q.
-5
Let z(w) = 2*w + 0*w**2 + 6*w**2 - 2*w**2 + 1. Let u be z(-1). Let l = u - 0. Solve 0 = l*a + 2 - 14 for a.
4
Let c be 0*(-3 + 42/12). Let x(b) = -b + 15. Let m be 220/18 - 4/18. Let h be x(m). Solve c = d + 4 - h for d.
-1
Suppose 4*c = 2*z - 12 + 46, z = -4*c + 25. Let t = 118 + -98. Solve c*y - 3*y = -t for y.
-5
Let m be 1 + (-2 - -1) - (75 + -114). Let w = m - 37. Solve 2 = 2*u - w for u.
2
Let u be (-2)/4*(-55 - -11). Let k = u + -23. Let o be (k + 4)/3*3. Solve o*b + 1 = -8 for b.
-3
Suppose g - 5*l + 79 = -0*l, -5*l - 217 = 3*g. Let m = g - -86. Solve -2*a = -5*a + m for a.
4
Suppose 44 = 14*k - 3*k. Solve 6 = 2*i + k for i.
1
Let y = -76 - -81. Suppose -49 = y*o - 89. Solve 5*n - n = -o for n.
-2
Suppose -36*m + 96 = -12*m. Solve 12*y - m*y = -32 for y.
-4
Let o 