for m.
-2
Let m(c) = c**3 - 9*c**2 + 14*c + 10. Let g be m(7). Let r be (-6)/(-21) - g/35. Solve -2*i + 6 - 2 = r for i.
2
Suppose -82*x = -64*x - 180. Solve 2*h = x*h + 24 for h.
-3
Let p be (56/(-70))/(4/10). Let f be 3 + (2 - 3) + p. Solve -5*v - 5 = -f for v.
-1
Suppose 2*m = -2*s - 8, -3*m + 1 - 13 = 5*s. Let d be (1 - s) + 5 + -2. Let q be (-120)/(168/(-7)) - 11*-1. Solve d*c = -0*c + q for c.
4
Let b be 26/169 + (-22)/(-26). Suppose 5*q = -l + 8, -5*l + 9 = -5*q - b. Solve f = -q - 2 for f.
-3
Suppose -4*w - 2*v - 2*v = -8, 4*v = -16. Suppose 3*q = w, -i - 4*q = -5 - 8. Solve i + 5 = -2*m for m.
-5
Suppose -2*a + 15 = -17. Let q be (-4)/a - 9/12. Let j be (3/(0 + -3))/q. Solve -j = -o + 1 for o.
2
Let p(w) = -2*w**3 - w**2 - 1. Let c be p(-1). Let r be 0*(-2 + (-9)/(-6)). Solve r = -y - c + 2 for y.
2
Suppose 8*q = 7*q + 24. Solve -6*v = -18*v + q for v.
2
Let j(y) = -y**3 + y**2 - y - 3. Let c be j(0). Let w be (-24)/(c*3/9). Let k = 24 - w. Solve -s = -k*s + 1 for s.
-1
Let m be (15/6)/((-230)/(-736)). Solve -z - m*z = -45 for z.
5
Suppose 0 = -3*k - 3*n - 6, 4*k + 5 = -5*n - 7. Let t be ((-2)/6)/(k/6). Let f be t - 1 - (-8 + 0). Solve -4*z = -z - f for z.
2
Let d be 2/7 + (-40)/(-7). Let p(m) = -m**3 + 5*m**2 + 5*m + 3. Let i be p(d). Let o be -6*(1/1 + i). Solve 7*f - 3*f = -o for f.
-3
Suppose 0 = -19*l + 220 + 46. Solve -1 - l = -3*b for b.
5
Suppose 14*h = 252 - 252. Let o be 1 + 0/(-2) - -1. Solve -c + o*c = h for c.
0
Let l be 1 - ((-54)/(-6) - 12). Suppose -5*c + 0*c = -4*o + 29, 4*o - 3*c - 19 = 0. Let w be o - (1 - 6/1). Solve -5*j - l = -w*j for j.
4
Let m be (0/(-2) - 0)*-1. Suppose -x - 4*x = -4*k + 54, m = 3*k + 4*x - 25. Solve 0 = 2*w + 1 - k for w.
5
Let i(a) = -a + 7. Let g = -8 - -11. Let h be i(g). Suppose 2*n + 3*n = 0. Solve n*t + 20 = -h*t for t.
-5
Let r = 162 - 98. Suppose -14*l + 10*l = -r. Let i = -42 - -45. Solve l = -y - i*y for y.
-4
Let i(q) = q**3 - 2*q + 5. Let v be i(0). Suppose 4*w + 6 = -5*u + 17, w + 1 = 0. Suppose 2*n = 2*b + 10, -v*b = -4*b - u. Solve n = 3*p - 4 for p.
4
Suppose -5*p = 2*w - 3, -w = -0*p - 5*p - 9. Suppose -5*z + 8 = -w*z. Solve -2*x = 2*x - z for x.
2
Let t(a) = 5*a - 28. Let r(n) = 5*n - 27. Let l(f) = -4*r(f) + 3*t(f). Let j be l(4). Solve -p = -0*p + j for p.
-4
Let i = 908 + -907. Solve -6*a = i + 5 for a.
-1
Suppose 6*n = 2*n + 2*o + 64, 2*o = 0. Solve -n + 4 = -3*b for b.
4
Let h = 95 + -90. Solve 14 = h*l - 11 for l.
5
Let d = 111 + -107. Suppose 0 = -3*w + d*x + 32, 5*w - x = 4*x + 45. Solve 0 = -w*t + 8 - 24 for t.
-4
Suppose 22 = 13*s - 56. Solve s*d + 12 + 0 = 0 for d.
-2
Let y be -1*(-5 + 1 + 2). Suppose 2*a = 4*t - t - 1, y*t - 6 = 0. Solve 8 = -4*c - a for c.
-3
Let o be -4 + 9 + (-8 - -8). Solve -3*i - 10 = -o*i for i.
5
Let p = 38 - 32. Solve 0 = -p*l + 10*l + 12 for l.
-3
Suppose 20 = -s + 3*s. Suppose -5*p + 19 = -2*t, -4*t + 5*p - 3 - s = 0. Solve -4*m + m = t for m.
-1
Suppose -11*d = -23*d. Solve d = 7*g - 2*g + 5 for g.
-1
Suppose 135 = 75*x - 390. Solve -6*p = 1 - x for p.
1
Suppose -5*k = -6*k + 53. Let i = 61 - k. Solve 5*f = i + 2 for f.
2
Let n be (2/(-4)*1)/((-5)/10). Let t be (((-10)/15)/(n/27))/(-2). Solve -1 = -2*u + t for u.
5
Let t(w) = -w**3 - 17*w**2 - 16*w + 2. Let b be t(-16). Suppose b*i - 3*i = -4, 5*y - 4*i = -16. Solve 3*j = -y*j + 6 for j.
2
Let x be -12*4/(-3) + 4. Let o = x - 42. Let f = 24 + o. Solve -f*a - 2*a + 20 = 0 for a.
5
Let u be ((-20 - -7) + 13)/(-6). Let o be ((-1)/2)/(1/(-8)). Solve o*f = -u*f for f.
0
Let i(k) = -6*k - 98. Let x be i(-17). Solve 11 = x*b + 3 for b.
2
Suppose 5*i + 16 = 3*r + 1, -3*i + 20 = 4*r. Solve -2 = -7*n + r*n for n.
1
Let p(w) = -w**2 + 6*w - 5. Let r be p(5). Suppose 3*x = 5*q + 21, 0 = 4*x + 3*q - r + 1. Let u be 0*(2/2)/(-2). Solve u = x*c - 4 for c.
2
Let f(s) be the first derivative of 8*s**3/3 + s**2 + 2*s - 2. Suppose 3*b - k = 0, -5*b + 5*k + 14 = 4. Let c be f(b). Solve 3*d = d + c for d.
4
Suppose 204 = -2*l + 14*l. Solve h = l - 15 for h.
2
Suppose 2*k - 7 = 1. Solve -k*w = -w + 12 for w.
-4
Suppose -747 = -2*l - 741. Solve 0 + 3 = -l*w for w.
-1
Suppose 0 = 2*g + 4*g - 132. Suppose 0 = -g*z + 25*z + 6. Let p(c) = 2*c**2 + 2*c + 1. Let a be p(z). Solve 0*k + a = -k for k.
-5
Suppose -3*k + 3*i - 21 = i, -3*i + 9 = 0. Let m = k + 8. Suppose 4*v - 16 = -2*q, 5*q - 2*v = 2 + 2. Solve -5*z - m = q for z.
-1
Suppose 106 = 23*i + 37. Solve -i*k + 87 = -32*k for k.
-3
Suppose 15*f - 22*f = -35. Let b = 1 - -11. Let q(h) = 3*h**2 + h + 1. Let r be q(-1). Solve f*j = r + b for j.
3
Let b(y) = -y**3 - 5*y**2 - 9*y - 11. Let n be b(-4). Suppose 0 = 12*m - n - 15. Solve m*k + 0*k = 6 for k.
3
Suppose 0 = -3*g + 3*q + 21, -9 + 74 = 5*g + q. Suppose z = 3*z + g. Let j(t) = -t**3 - 5*t**2 + 7*t + 6. Let m be j(z). Solve 2*d + m = 6 for d.
3
Let h(r) = -4*r**3 + r**2 - r + 1. Let q be h(-1). Solve 2*l + 20 = q*l for l.
4
Let u be (2 + 1)*9/135*25. Solve 7 - u = 2*i for i.
1
Let c = 11 - 8. Suppose c = 4*h - 13. Let r(q) = q + 1. Let y be r(4). Solve -y*u - 16 = h for u.
-4
Let w(a) = a**3 - 9*a**2 + 7*a + 13. Suppose -6*z + 2*z + 28 = -4*p, 44 = 5*z + 4*p. Let c be w(z). Solve -k - 20 = -c*k for k.
5
Suppose -5*o + 89 + 145 = 4*y, -170 = -3*y - o. Suppose -2*u = u - a - 28, 3*a - y = -5*u. Solve 4*h = 2 + u for h.
3
Let r(y) be the third derivative of -y**4/24 + 5*y**3/3 - 5*y**2. Let z be r(5). Suppose -20 = v - 5*k, 0 = 5*v - z*k + 8 + 12. Solve 3*u - 6*u - 12 = v for u.
-4
Suppose -11*c + 10*c - 7 = 0. Let j = -4 - c. Solve -4*r + 5 = -j for r.
2
Let v = -264 - -309. Solve 20 = -41*g + v*g for g.
5
Let d = -1049 + 1067. Suppose y - 6 = -2*y. Suppose 5*c - 15 = 2*c. Solve d = -c*g - y for g.
-4
Suppose a - 3*a + 4*m + 2 = 0, 5*m - 35 = -5*a. Solve -a*o - 481 = -476 for o.
-1
Let z(y) = -y**3 - 6*y**2 - 7*y. Let q be z(-7). Suppose -88 = 2*i - q. Solve -10 = i*k - 35 for k.
5
Suppose -8 - 7 = -3*q. Suppose q*o - 2*o = 15. Let s = 7 + -5. Solve s*n + o = n for n.
-5
Let g(p) = -2*p**3 + 4*p**2 + 2. Let f(n) = n**3 + 1. Let w(s) = f(s) + g(s). Let y be (1*(-2)/(-4))/(8/64). Let x be w(y). Solve -2 = -x*l + 4 for l.
2
Suppose 5*u + 24 = -56. Let m = -13 - u. Suppose -5*n - 4 = -2*g, -10 = -5*g - 0*g. Solve m*j = -n*j + 12 for j.
4
Let y(r) = -r**3 - 4*r**2 + 11*r - 2. Let j be 38/(-6) - (-1)/3. Let z be y(j). Suppose g = 3*g - 2. Solve 7 = -z*v - g for v.
-2
Let g be (-11)/(33/(-39)) + 73. Solve -5*n + 76 - g = 0 for n.
-2
Let g be 63/(-14)*-2*(-3 + (-50)/(-15)). Suppose 4*h + r - 28 = 2*r, -5*h + 10 = 5*r. Solve -h*j = -g*j + 6 for j.
-2
Let p(n) = 5*n + 50. Let q be p(-10). Solve 5*l + l = q for l.
0
Suppose 0 = -a + 15 - 10. Suppose 118 - 138 = -a*b. Solve 3*n + b = 2*n for n.
-4
Let h = 37 - 35. Suppose b - 2*b = 0, -h = -2*j - 4*b. Let m be 2/3*(1 - -5). Solve m*d + j = -11 for d.
-3
Suppose 5*s - 2*s = w + 26, -4*s + 5*w = -20. Solve -24 = 4*p - s*p for p.
4
Let t = -77 - -79. Let z(l) = 2*l**2 - 2*l - 1. Let f be z(-1). Suppose -f*u = -t*u - 4. Solve m + 3 = u*m for m.
1
Let i be ((-3)/(-1) - 2)*4. Let a(j) = 2*j - 16. Let z be a(13). Suppose 0 = 10*b - 5*b - z. Solve i*q - b = -6 for q.
-1
Let q(u) = 4*u**2 + 6*u + 4. Let j be q(-6). Suppose 15*y - 19*y = -j. Suppose 0*a = 4*a - y. Solve -2*r + a = 3 for r.
2
Let i = -87 + 91. Suppose 3*u = 4*u - 2. Let n be (-12)/9*3/(-2). Solve i*h - n = u for h.
1
Let s be (2/(-6))/((-2)/12) + 6. Solve 0 = -4*v - 12 - s for v.
-5
Suppose 6 = 2*q + q. Suppose -4*s + 3 = -17. Suppose -2*a - 2*k = -18, 0 = -2*a - 2*a + s*k. Solve -a*i = -q + 12 for i.
-2
Let d(a) = 8*a + 288. Let q be d(-36). Solve q*m - m = -2 for m.
2
Let s(h) = h**2 + 2*h + 18. Let n be s(0). Solve n = -0*j + 6*j for j.
3
Let j be 5*(5/(-25))/((-1)/6). Suppose 4*w - 2*w + 2 = 0, 4*z - 85 = 5*w. Solve -j*c + c + z = 0 for c.
4
Suppose -3*u = p + 21, -p + u + 4*u + 3 = 0. Let q be (p + -1 - -3)/(-1). Solve -2*w = -4*w + q for w.
5
Suppose 5*q + 4*d - 10 - 13 = 0, -d - 7 = -3*q. Suppose p - q*p = 0. Let v(s) = -s**3 + 6*s**2 + 2*s - 9. Let y be v(6). Solve p = f - y*f + 8 for f.
4
Let i be 1*4 + 120/6. Let r = -23 + i. Solve r = 2*g - g for g.
1
Let b = 2618 - 2611. Solve -l + 12 = -b*l for l.
-2
Let g be (-60)/(20/(-2)) + -2*1. Suppose -2 = -j - 1. Suppose -9*d = -4*d - g*x - 13, d + j = 2*x