n = 2*o + 3*n + 12. Let a = 0 + 3. Solve o = a*m + 12 for m.
-4
Let w be (-16 - -6)*-2*1. Solve -13*p - w = -17*p for p.
5
Let d = -24 - -27. Suppose -d*f + 0*m = m - 13, 3*f - 2*m = 28. Solve f + 0 = -2*a for a.
-3
Let u be 20/2*1/2. Let d be 0*(63/(-6) - -11). Solve -v = -d*v + u for v.
-5
Let k be (-3)/(-8)*8 - 1. Solve 1 = -k*h + 5 for h.
2
Let d = -545 + 572. Solve -2*q - d = -19 for q.
-4
Let w be 15 + 0 + 2 - -3. Suppose 8 = 4*d - 16. Solve -d*y = -y - w for y.
4
Suppose 4*k + 12 = 2*n + 2*n, 3*k + 5*n - 31 = 0. Suppose -6*q + k*q = 12, 3*c = 5*q + 30. Solve -4*x = -c*x for x.
0
Let o(v) = v**3 - 12*v**2 + 24*v - 31. Let c be o(10). Solve c*x - 23 = -32 for x.
-1
Let k(a) = 13*a**2 - 2*a + 19. Let j be k(4). Solve -222 = 3*w - j for w.
-1
Suppose 0 = -22*p + 34 + 76. Solve -p*w = -3*w for w.
0
Let g be (-24)/(-9) - (-2)/(-3). Let q(s) = s**3 + 7*s**2 + 11*s + 12. Let u be q(-6). Let r = u + 21. Solve -r*i + 4 + g = 0 for i.
2
Let z(j) = 0*j - 6 - 2*j + 0*j. Let g be z(-5). Let s be (2 - g) + 4/1. Solve s*k - 1 - 1 = 0 for k.
1
Let f = -54 + 59. Let y be f/1 - 33/(-11). Solve -4*p = y + 8 for p.
-4
Suppose -g = 3*g - d - 95, 3*g = 3*d + 60. Suppose 0 = q - 5*t + g, -2*t + 0*t + 10 = q. Solve q = -4*s - 0*s + 12 for s.
3
Suppose -297 + 311 = 2*k. Solve 18 = -d + k*d for d.
3
Suppose -8*a + 3*a = -40. Suppose 3*i - 7 = s, -a*i + 41 = 2*s - 3*i. Solve -s*q = -4*q + 8 for q.
-2
Let m(y) = y + 2. Let i be m(0). Let x be (-5)/(0/1 + -1). Suppose 0 = -x*u + i*u. Solve 2 + u = b for b.
2
Let t(h) = -2*h**3 - 11*h**2 - 5*h + 5. Let n be t(-5). Solve 0 = n*d - 26 + 36 for d.
-2
Let z(o) = -3*o - 59. Let n(b) = b + 20. Let i(m) = 7*n(m) + 2*z(m). Let w be i(-15). Solve -20 = 3*p - w*p for p.
5
Suppose -25*c = -11*c - 70. Solve c*f + 18 = -2 for f.
-4
Let q = -68 - -68. Suppose -2*w + 14 = 4*g, -3*g + 1 + 2 = q. Solve 5 = -w*s - 0 for s.
-1
Let l be (-7 + 6)*(-10)/2. Suppose 4*i + l*d - 12 = 0, -i = -d + 3*d. Solve -y = y + i for y.
-4
Let u(b) = -b**2 + 22*b - 92. Let h be u(16). Solve f = -f + h for f.
2
Suppose 0 = 3*p - w - 34, 0 = 4*p + 15*w - 12*w - 54. Solve 10*c + p = 6*c for c.
-3
Let z = 439 - 419. Solve 0*s = 10*s + z for s.
-2
Suppose 5*c = 15, 2*z - 3*c = -2*c + 29. Let p(w) = -31*w**2 + z*w**2 + 14*w**2 + 7*w - 4. Let x be p(6). Solve 0 = x*a - 3 - 3 for a.
3
Let c(b) = -13*b - 18. Let q(n) = 7*n + 9. Let h(z) = -6*c(z) - 11*q(z). Let s be h(-8). Solve 2*k - s - 1 = 0 for k.
1
Let c = -52 - -63. Suppose -5*r = -h + 17 - 55, -3*r = 5*h - 6. Suppose j + 4 - r = 0. Solve -j*i + 4 = -c for i.
5
Let j = 13 - 2. Let v = 4 + -6. Let i be j/3 + v/(-6). Solve -i*l = 1 + 7 for l.
-2
Suppose 0*n + 7 = a + n, n + 5 = 2*a. Solve 6*t - a*t = -5*t for t.
0
Let d = -4 - -11. Let t(h) = -2*h**2 - 25*h - 8. Let x be t(-12). Let k be (x + (-2 - 0))*2. Solve 0 = -k*l - d - 5 for l.
-3
Let w(h) = -h**3 + 8*h**2 - 5*h + 40. Let j be w(8). Solve j = -l + 2*l for l.
0
Let o be 9/12 - 25/(-20). Suppose o*h = 7*h - 15. Solve n = -2*n + h for n.
1
Suppose -y + 10 = -21. Let d(c) = -9*c + c + 30*c**2 + 17 - y*c**2. Let i be d(-9). Solve 4 = 4*m - i for m.
3
Suppose 32 + 176 = 4*h. Let p = -37 + h. Let z be -5 + (3 - -6) - 0. Solve z*b - p = b for b.
5
Let f = 3 - 2. Let r = -32 - -49. Let m = r + -14. Solve f + m = 4*z for z.
1
Let h(k) be the second derivative of -k**5/20 - k**4/12 + k**3/2 + 2*k**2 - 5*k. Let t be h(-2). Solve -3*a + 10 + t = 0 for a.
4
Let y = -612 - -629. Solve 0 = y*m - 15*m + 2 for m.
-1
Suppose l + 8 = 3*k, 0 = 5*k + 22*l - 17*l. Solve -3*q - k = 4 for q.
-2
Let o be 5*(5 - 1 - 3). Suppose -8 = -o*w + 2. Solve w - 1 = -p for p.
-1
Let y = -3 - 0. Let q be (10/y)/((-16)/(-24)). Let o = 7 + q. Solve -o*z - 2*z = 16 for z.
-4
Let o be 3*-7*161/(-147). Solve o*v - 58 + 12 = 0 for v.
2
Let v = -41 - -46. Suppose 13*i = 8*i + v. Solve 2*w + 5 = i for w.
-2
Suppose -2*h + 5*t = 5 - 2, 4*h - t - 3 = 0. Suppose 0 = -3*d - p + 14, -5*d + 13 = 5*p - 17. Solve 0 = -o - h - d for o.
-5
Let i = 582 + -580. Solve i*r + 0 = 2 for r.
1
Suppose 4*w = -m + 16, -2*m + 2*w = -0*w - 12. Suppose -8 = -10*q + m*q. Solve -q*i + 2 + 2 = 0 for i.
1
Let p be (1/2)/(-2*(-3)/(-72)). Let t(q) = q**2 + 12*q + 36. Let n be t(p). Solve n = 4*b - 1 + 9 for b.
-2
Let a(c) be the second derivative of -c**3/6 + c**2/2 - 7*c. Let i be a(-5). Suppose -4*q = -i*q - u + 5, 5*q - 2*u = 8. Solve -q*n + 5*n = 6 for n.
2
Suppose 0 = -5*n - 207 - 148. Let l = n + 74. Solve y + l = 5 for y.
2
Suppose -10*q + 50 = -0*q. Suppose -5*g + 15 = 0, 3*n + 3*g = 4*n + q. Solve 0*y = -2*y + n for y.
2
Let s = 52 - 48. Solve -9*i = 14 + s for i.
-2
Suppose 75 = 7*l + 12. Solve 20 = -l*g + 4*g for g.
-4
Suppose 4*d - 8 = 12, 4*v - 4*d = -20. Let n be (v + -1)/((-2)/16). Solve n = -2*w + 4*w for w.
4
Suppose -a + 10 = -x, -3*a + 10 = x - 20. Suppose -17*q = -15*q - a. Suppose -u + 6*u = q. Solve -2*l + u = -3*l for l.
-1
Let g(c) = 5*c - 2*c - 3 - 3*c + c. Let s be ((-8)/4 + -5)/(-1). Let k be g(s). Solve -2*a = -k*a + 8 for a.
4
Suppose -3*y + 2*o - 22 = -5*y, 0 = -3*y - 2*o + 31. Let q(a) = -3*a - 8. Let h be q(-7). Let m = h - y. Solve -m*w - 20 = -4 for w.
-4
Let r(o) = -o**2 + 25*o. Let n be r(25). Let i = n - 0. Solve i = 3*l + 9 + 6 for l.
-5
Suppose -a + 6 = -0. Suppose -a*i - 10 = -8*i. Solve 3*p + i + 7 = 0 for p.
-4
Suppose -10 = -5*o, -58*p + 57*p - 2*o = -18. Solve 4*j = -p - 2 for j.
-4
Let j(k) = -k**3 + k**2 - 3*k + 3. Let f be j(2). Let w(h) = -59*h + 118*h - 4 + 7*h**2 + h**3 - 60*h. Let g be w(f). Solve g*x + 4 = -2 for x.
-2
Let z(a) = a**2 + a + 1. Let m(o) = -28*o**2 - 6*o - 5. Let n(f) = -m(f) - 2*z(f). Let l be n(-1). Let i be -4*(-3 + l/10). Solve -i*d + 10 = -0*d for d.
5
Suppose -3*g - 16 + 6 = -4*c, -g = c - 6. Suppose 5*z - 15 = 245. Suppose -5*y - 3*x + z + 73 = 0, -4*y - 3*x = -100. Solve -y = g*i + 3*i for i.
-5
Let o(v) = v**3 + 12*v**2 + 10*v - 6. Let w be o(-11). Suppose 0 = -w*r + 10, 0 = -f + 4*r + 4. Let z = f - 9. Solve 0*d = -z*d - 3 for d.
-1
Let l(b) = -b - 3. Let w be l(-3). Suppose -n + 14 - 10 = w. Solve -o + 1 = n for o.
-3
Suppose 0 = 4*w + 3*w - 56. Suppose -6*x = -4 - w. Suppose -2*b + 5*n - 2 = b, 3*b = -x*n + 5. Solve 4*o - 9 = -b for o.
2
Let b(w) = 3*w + 34. Let r be b(-10). Solve r*p - 17 = -37 for p.
-5
Let x = 2815 - 2791. Solve -7*l = -l + x for l.
-4
Let u = -28 + 14. Let z = 12 + u. Let p be 0/(-2)*z/(-6). Solve -m - 4 + 6 = p for m.
2
Let w be 426/24*4 - -4*1. Let l be (135/w)/(1/5). Solve j - l = 4*j for j.
-3
Let r be (-3)/(3/(-2)) + 2. Suppose 0 = -t - 3*t + 5*f - 10, 3*t = -2*f + 4. Suppose t = -8*o + r*o + 8. Solve 6 + o = 4*k for k.
2
Let y = -60 + 58. Let c(s) = 5*s**2 + 5*s + 5. Let d be c(y). Solve -5*x = -0*x + d for x.
-3
Let l = -209 - -349. Let k = -138 + l. Solve 0*t = k*t + 4 for t.
-2
Suppose 7*t = 6*t + 4. Solve -t*j = -j for j.
0
Let g = 7 + -19. Let a = -12 - g. Solve a = 5*r - 5 for r.
1
Suppose 3*u - 3 = -3*i, -u + 0*u + 2*i - 14 = 0. Let b = 8 + u. Solve -b*l + 8 = -0*l for l.
2
Let c = -14 - -18. Let b = c + -17. Let k be (-13)/b - 2*-1. Solve -k = -h + 4*h for h.
-1
Suppose 271*d = 279*d - 16. Solve 6*i = d*i + 3*i for i.
0
Let r(y) = y**2 + 38*y + 139. Let n be r(-4). Solve -n*x - 6 = -x for x.
-3
Suppose -60 = -3*v - 2*v. Suppose -c - 3 + v = f, 16 = -f + 4*c. Suppose -f*r = -2 - 10. Solve -y = r - 4 for y.
1
Suppose 4*y + 272 - 748 = 0. Solve -y*i - 6 = -122*i for i.
2
Suppose -w = -5*w + 16. Suppose 0 = -2*c - 5*y + 7 + 7, -w*y + 14 = 3*c. Solve -5*u - 17 + c = 0 for u.
-3
Let k be 62/10 - 3/15. Let g(r) = -r**3 - 4*r**2 - 7*r - 1. Let m(u) = u**2 + 1. Let q(a) = g(a) - 3*m(a). Let s be q(-6). Solve s*p - k = -0 for p.
3
Let f(m) = 3*m**2 - 9*m + 7. Let q be f(8). Let g = q - 120. Suppose -3*w - 2*r = 2, -5*w - 4*r + 0*r - 6 = 0. Solve g*p - w*p = -25 for p.
-5
Let l be ((-2)/7)/((-9)/63). Solve 5*i = l*i for i.
0
Let s(j) = -j - 3. Let a be s(-8). Suppose 3*t + 5*z = -2 - 2, -5*z = a*t - 10. Solve -t - 5 = -4*l for l.
3
Suppose -g = i + i + 2, 8 = -4*i. Suppose 0 = 3*a + 5*v - 26, -g*a = -a + v - 6. Let n be 0*a/(-6) - -14. Solve -3*z - n = -5 for z.
-3
Let f be ((-30)/(-4))/(-5) - (-13)/2. Solve -7*b + 8 = -f*b for b.
4
Let a(j) = j**3 + 11*j**2 + 8*j + 30. Let d be a(-10). Solve 0 = -7*f + 15 - d for f.
-