for m.
-5
Let v = -8 - 3. Let h = v + 26. Let c = -158 + 161. Solve -h = -c*g - 2*g for g.
3
Let q = 40 - 35. Let u = -8 + 5. Let l = u - -5. Solve -l*k - q = -1 for k.
-2
Let n = -26 - -28. Suppose 0 = -g - n*x - 1, -x - 12 = -3*g + 6. Let q be (3/5)/(g/25). Solve -q*c - 2 = -c for c.
-1
Let u = -301 + 335. Let l(a) = 26*a. Let d be l(-1). Let s = d + u. Solve n + n = -s for n.
-4
Let p be ((-27)/(-6) + -4)*20. Suppose 0 = -11*z + p*z + 6. Let u be 39/z + 5/(-2). Solve -u*q + 14 = -2 for q.
4
Let b = -103 + 103. Suppose 0 = -5*d - 2*v + 210, -145 = -6*d + 2*d + 3*v. Suppose 4*w = -4*j - 5 + 85, 0 = 3*w - 2*j - d. Solve b = 5*u - u - w for u.
4
Let c(a) = 2*a - 13. Let f be c(9). Suppose -v = -f*v - 2*o + 42, v + 2*o - 15 = 0. Let w = -10 + 14. Solve w*x = v + 3 for x.
3
Let y(w) = -w. Let r be y(8). Let m = r - -13. Suppose m*g + 6 = -4*k - 0*k, -4*g = k - 4. Solve -g*b + 5*b = -12 for b.
-4
Let s = -827 + 834. Solve n - s + 11 = 0 for n.
-4
Let u(f) = -4*f - 31. Let y be u(-9). Solve 0*z + y*z = 20 for z.
4
Let l = 299 + -299. Solve 10*v - 7*v = l for v.
0
Suppose -2*o + 192 = d + d, -2*d + 4*o = -204. Let q = d + -96. Solve -q*i + 3 = -3 for i.
3
Suppose -961 + 737 = -32*g. Solve g*r - 6 = -20 for r.
-2
Suppose -3*k - m - 10 = k, 4*k + 3*m = -14. Let o be 2/k*(-2 + 2). Let z(b) = -2*b + 16. Let c be z(2). Solve o = -n - 3*n + c for n.
3
Suppose -5*a = -9*a + 8. Suppose a*k - 8 = -2*k. Suppose 5*w + 3*d - 1 = 0, -k*d + 7*d = -3*w - 9. Solve -5 = -s + w*s for s.
-5
Let v(k) = k**2 - 2*k + 1. Suppose 0 = 5*r + 1 - 21. Suppose -12 = r*b - 4. Let p be v(b). Solve 5*n + 6 = -p for n.
-3
Suppose -k + 0*k - 44 = 0. Let n be (6/2)/((-33)/k). Solve -n*b + b = 0 for b.
0
Suppose -3*f + 5*f - 3*k = 13, f + k - 4 = 0. Let x = 287 + -286. Solve f*l - 6*l - x = 0 for l.
-1
Let m = 22 - 43. Let j = m - -85. Let g be (1/(-1))/((-16)/j). Solve -n + 0*n = -g for n.
4
Let z(v) = -v - 6. Let d(f) = -2*f - 12. Let t(g) = -3*d(g) + 5*z(g). Suppose -6 = -4*b + 5*n - 3, -5*b - 27 = 4*n. Let k be t(b). Solve 16 = -k*x - x for x.
-4
Let a(x) = 7*x - 1. Let d(g) = -8*g. Let j(z) = 7*a(z) + 6*d(z). Let c be j(11). Solve -c*i = 2 + 2 for i.
-1
Let k(r) = -7*r - 75. Let v be k(-11). Solve 0 = v*b - 3*b for b.
0
Suppose 10*l = -3 + 43. Solve -b - l*b - 25 = 0 for b.
-5
Suppose 3*h - 12 = -3*v, -3*v - 14 = -4*h + 2. Suppose h*d - 33 = r, 32 = d - 3*r - 2*r. Solve -3*s + d + 2 = 0 for s.
3
Let p be -1 - (-2 + 3)*2. Let m be 0/4 + (-1 - p). Suppose 3*k - 6*k = u - 3, 4*u = -3*k + 12. Solve m*w + w = u for w.
1
Let g be (-237)/4 - 5/(-20). Let u = -33 - g. Let h = -25 + u. Solve -h = 2*x - 3*x for x.
1
Let w be 4/8*(-40)/(-2). Suppose 3*j + 1 = v + 3, v = 2*j + 1. Suppose -2*x + 18 = v*x. Solve x*r - 4*r = -w for r.
5
Suppose 0 = -24*s - 32 + 104. Solve -2*d - 2*d = -s*d for d.
0
Let y = 16 + -14. Suppose 7*h = y*h - 35. Let s(r) = r**3 + 8*r**2 + 6*r - 7. Let g be s(h). Solve -4 = -g*c + c for c.
-4
Suppose 0 = w + w + n - 28, -11 = -w - 2*n. Suppose 0 = 13*g - 8*g - w. Solve 8*b - g*b = 25 for b.
5
Suppose 36*s - 20 = 32*s. Suppose m - 5*j = 18, -m + 3*j = -17 + s. Solve 0*b - b + m = 0 for b.
3
Let l = 240 - 232. Solve 3 = -y + l for y.
5
Suppose -26 + 3 = -5*y + 2*v, -3*y = v - 5. Suppose u + 4 = y*u. Solve -6 = -k - u*k for k.
2
Let s = -8 + 14. Let p = -8 + s. Let f be (4/(-2) - p)/(-1). Solve -v + f*v = 4 for v.
-4
Let z = 23 - 17. Suppose 0 = z*y - 8*y + 6. Suppose 23 = y*c - 2*g, 0*g + 18 = 3*c + 3*g. Solve -3*t + c = 4 for t.
1
Suppose -c + 2*a + 26 = -2*a, -a + 19 = 4*c. Let u be (-4)/c + 115/15. Let o = 10 - u. Solve 0*y - o = y for y.
-3
Let c(h) = h**2 + 4*h + 5. Let s be c(-4). Let f = 20 - 20. Let u(r) = 6*r + 29. Let z be u(-4). Solve f = z*x - 4*x + s for x.
-5
Let x = 5 - 2. Let m be 21/x*1 + -2. Suppose 4*a = a + 2*y + 4, 3*a = m*y + 1. Solve -a*t = -t for t.
0
Let a = 370 - 356. Solve -15 + a = x for x.
-1
Let v(p) = -115*p + 114*p - 8 - 6. Let t = 16 + -30. Let u be v(t). Solve u*g - 2*g + 10 = 0 for g.
5
Let n be -7*(5 - 78/14). Solve -n = 4*s - 3*s for s.
-4
Let f = 16 - 19. Let w be (1 + 1)*(2 - (4 + f)). Solve -d + w = 1 for d.
1
Let z(n) = 3*n - 3. Let j be z(1). Suppose -3*q - 29 = -65. Solve 3*l + l - q = j for l.
3
Suppose 19*b - 28*b + 35*b = -44*b. Suppose 0 = -3*v - 0*v. Solve v = -b*x - 4*x for x.
0
Let k(a) = -a**3 - 4*a**2 - 2*a + 4. Let p be k(-3). Let v be (-3)/((-1 - p) + 1). Suppose 0 = -5*c - 5*d, -2*c + 2 = -v*d - 8. Solve -g = -c*g for g.
0
Suppose 25*v - 18 = 132. Solve 2 = 2*s - v for s.
4
Suppose 5*d = 5*r - 4*r + 74, -2*d + 4*r + 26 = 0. Solve 6*i - 9 = d for i.
4
Suppose 5*l = 56 + 74. Solve 30*b - l*b - 16 = 0 for b.
4
Let f = -742 - -742. Suppose 5*u = 0, -2*l + 3*u = -0*l - 4. Solve l*x + f = 6 for x.
3
Let n(u) = u**3 - 7*u**2 - 5*u - 17. Let o(a) = a**3 + 9*a**2 + 18*a. Let h be o(-4). Let f be n(h). Solve -f*l + 3 = -4*l for l.
1
Let u = -1101 + 1101. Solve 14*d = -u + 14 for d.
1
Let z(k) = k**3 + 16*k**2 - 16*k + 22. Let j be z(-17). Suppose -j*q = 14 - 44. Suppose 4*g - x - 2*x - q = 0, -x = -5*g + 13. Solve 3*v - g + 6 = 0 for v.
-1
Let g be (-50)/(-4) - 11/22. Let y = -6 + g. Solve -5*s + 1 - y = 0 for s.
-1
Suppose -8*g + 13*g - 15 = 0. Let z be (-3)/9*-7 - (-2)/(-6). Solve z*y + g = -y for y.
-1
Let y = 82 + -62. Solve y*o - 6 = 23*o for o.
-2
Let i = 262 + -255. Solve 0 = i*v - 10*v - 6 for v.
-2
Suppose 0 = -7*j + 2*j + 5. Suppose 2 = p + j. Suppose p = -4*i + 9. Solve -i*x - 6 = x for x.
-2
Let a(v) = -6*v + 18. Let h be a(3). Solve h = 2*z + 4*z + 18 for z.
-3
Suppose 0 = -3*m + 2*a - 56, -4*a - a + 36 = -m. Let c = -29 - m. Let n = c + 19. Solve t - 3 = -n for t.
-3
Let o(f) = 2*f**2 - 3*f + 2. Let c be o(4). Let d = -19 + c. Solve d*w = -3 - 12 for w.
-5
Suppose -3*k + 10*b + 3 = 9*b, 0 = -2*k - 5*b + 19. Let t(y) = y + 10. Let j be t(0). Solve -k*o - 4 = -j for o.
3
Let h = -6 - -19. Suppose -2*m - 5 = -h. Solve 16 = m*t - 4 for t.
5
Let n(u) = -u + 10. Let l be 3/6*(5 + 11). Let o be n(l). Solve 0 = -o*k + 3*k + 4 for k.
-4
Let a be (-2)/5 - 3317/(-155). Solve a*m = 18*m + 9 for m.
3
Suppose -25 = -5*s - 0*s. Suppose 0*w = s*w - 20. Solve -4*z = -24 + w for z.
5
Suppose 696*z - 705*z = -54. Solve k = z*k - 10 for k.
2
Let g = -18 + 29. Let z be 308/g*(-12)/(-14). Let u be (-6)/(-15) + z/15. Solve -p + u*p = -5 for p.
-5
Suppose 16*f - 56 = 20*f. Let h(x) = -x**3 - 13*x**2 + 16*x + 31. Let i be h(f). Solve -3*r - i = -4*r for r.
3
Suppose 5 - 2 = f. Suppose l + 4 = -f*k + 7, 5*l + k - 29 = 0. Solve -l*m = -m + 10 for m.
-2
Let a(h) = -h**2 + 3*h + 210. Let v be a(-13). Solve -v*t + 9*t + 21 = 0 for t.
-3
Let v be (-1)/1*(-2 + -1). Suppose v*i - 4*i = -1. Solve -3 = 2*r + i for r.
-2
Suppose 5*u - 9 = 4*u. Let l = u + -4. Solve -20 + l = 5*v for v.
-3
Let b = -650 - -688. Solve b*p = 43*p for p.
0
Suppose 0 = 3*s + 4*j - 23, j - 23 = -4*s - 1. Let w = -6 - s. Let r = w + 16. Solve 2 = r*f + 12 for f.
-2
Suppose 26*m - 161 + 31 = 0. Suppose -t = -3 + 1. Let s = m - t. Solve -4*n = -n + s for n.
-1
Let k(y) = -y + 1. Let l(b) = -11*b + 27. Let d(i) = 4*k(i) - l(i). Let t be d(4). Solve t*h - 20 - 5 = 0 for h.
5
Suppose -44 - 46 = -6*d. Solve 0 = -5*m + 8*m + d for m.
-5
Let d = -62 - -82. Solve -6*u - d = -11*u for u.
4
Suppose 55*n = 4*n + 306. Solve -4 = 2*k - n for k.
1
Suppose -1 = -i + 7. Suppose -6*j - 4 = -i*j. Solve 4 = 2*s + j for s.
1
Let p be (-12)/(-102) - 32/(-17). Let y = p - -1. Solve -y*v - 6 - 6 = 0 for v.
-4
Let b(i) = 5*i**2 - i. Let w be b(1). Let a be w/6*(12/6 + 1). Solve -7*l + a*l = 0 for l.
0
Suppose 5*y = -5*c - 100, 0 = -y - 2*c + 5*c - 12. Let n = -12 - y. Solve n*r = r + 15 for r.
3
Let h(m) be the third derivative of 5*m**4/24 - 13*m**3/6 - 10*m**2. Let x be h(3). Solve -16 = x*i + 2*i for i.
-4
Suppose 15 + 8 = a + 4*c, 5*a + 2*c = 25. Suppose -2*y + 2 = -5*s - y, 6 = -s + a*y. Solve -2*b + s = 4 for b.
-2
Suppose -23*m + 24*m + t = 4, 5*m = t + 20. Let n = -13 + 22. Solve m - n = -5*w for w.
1
Let g be ((-30)/(-13))/(142/1846). Solve 35*n - 29*n - g = 0 for n.
5
Suppose -2*x + 5*i + 12 = 2*i, 0 = -2*i - 4. Let z(k) = 13*k**2 + k - 2*k**3 + 4*k**3 - 3*k**2 + 14 - k**x. Let s be z(-10). Solve s*v = 5 + 7 for v.
3
Let x be (0/(-1))/(8/8). Suppose d + 3 - 7 = x. Solve 2 = -d*n - 