2*y - 5. Solve -j*m + 5*m - 8 = 0 for m.
4
Let a(l) = -2*l**2 - 12*l + 6. Let s be a(-6). Let z be (3 - s)*(-5 + 4). Solve -n = z*n for n.
0
Let o = 1780 - 1777. Solve -23*w + 26*w = o for w.
1
Let x = -43 - -45. Suppose -5*o = -3*y + 6, -2*o = x*o. Solve -p - 12 = y*p for p.
-4
Let u be (-1)/(-3) + (-1380)/(-18). Suppose 5*t - 98 = -4*g, 3*t - 3*g + 2 - u = 0. Solve 4*w + 2 = t for w.
5
Let f(q) = q**3 + 6*q**2 + 5*q + 8. Suppose 3*l + 2*c = 82, 2*c + 158 = 3*l + 2*l. Let s be (-29)/5 + 24/l. Let r be f(s). Solve r*a = 5*a for a.
0
Suppose -27 = -21*p + 36. Solve -12 = -0*n + p*n for n.
-4
Suppose 6*v - 11*v - 181 = -2*h, -4*h + 2*v + 354 = 0. Solve -87*g + 2 = -h*g for g.
-2
Suppose 2*u + 0*u - 48 = -4*g, 0 = 2*u - 5*g - 75. Let v be (-10)/u - (-25)/3. Let c = -6 - -10. Solve -c*s + v = -0*s for s.
2
Let m(c) = 3*c**2 - 14*c + 7. Let l be m(6). Let v(y) = 19*y**2 + l*y**2 - 16*y + y**3 + 15 - 64*y**2. Let n be v(15). Solve 2*k + k = n for k.
0
Let a be (28/35)/(6/(-165)). Let v = a - -28. Solve -2*c - c = v for c.
-2
Let i(m) = 51*m**2 + 289*m + 4. Let u be i(-6). Solve -101*x + u*x - 5 = 0 for x.
1
Let y be ((-1)/(-2))/(2/(-24)). Let u(h) = -h**2 - 8*h - 7. Let l be u(y). Solve l*o - o - 12 = 0 for o.
3
Suppose 0 = 4*t + 4*p - 92, -7 = 5*t + 4*p - 118. Solve 5*d - t + 4 = 0 for d.
3
Let h(c) = -c**3 - c**2 + c + 4. Let x be h(0). Let q be (-4 - -2 - 9)*3. Let t = q - -46. Solve x = 3*g + t for g.
-3
Suppose 16*d = 14*d + 14. Solve -1 - d = 4*q for q.
-2
Suppose 4*x - 9 = -4*o + 19, 2*x = 5*o - 21. Suppose 5*k - l - o = l, 4*k + 3*l - 4 = 0. Solve 0 + k = -p for p.
-1
Let w(f) = -3*f - 21. Let b be w(-7). Suppose 3*i = -3*r + 5*i + 4, b = r - 2*i + 4. Solve -9 = r*q - 29 for q.
5
Let p(y) = -y + 6. Let f be p(7). Let k be 3 + (-1 - f) - -2. Solve 4*m - 3*m = -k for m.
-5
Let x(q) = -q**3 + 12*q**2 + 10*q + 41. Suppose 0 = -5*g + 20 + 45. Let p be x(g). Solve -5 = -u + p*u for u.
-5
Let y(b) = b**2 - 25*b + 19. Let g be y(24). Let o be 10*(g - (-145)/25). Solve 2 = 5*n - o for n.
2
Suppose -4*o - 35 = -4*v + 1, 0 = 3*o + 15. Suppose -b = -v*z + 20, 0 = -2*b - 4*z + 6*z - 10. Solve -2*p + 4*p - 8 = b for p.
4
Let t(p) = -p**3 - 7*p**2 - 8*p - 6. Let a be t(-6). Let m(w) = -1. Let y(r) = r - 13. Let b(q) = a*m(q) - y(q). Let u be b(3). Solve -3 = -3*f + u*f for f.
-3
Let w(o) = -69*o + 8. Let d be w(0). Solve -26*p + d = -24*p for p.
4
Let u be 25 + 2 - -4*1. Suppose -4*p + 3*j + u = 6, -4*p + 4*j = -28. Let l be (-1)/(-2)*p + 4. Solve l*h - h = -5 for h.
-1
Let m = -144 + 144. Solve -4 = f - m*f for f.
-4
Suppose 5*k - 1 - 19 = 0. Suppose k = 3*x + x. Let y = -505 - -508. Solve -d = -y - x for d.
4
Suppose 3*l + 24 = 3*i, -3 = -3*i - 3*l + 3. Solve -i*j = -7*j + 10 for j.
5
Let w(m) = -m**3 + 4*m**2 + 6*m - 4. Let t be w(5). Let f(a) = 20*a**2 + 1. Let b be f(t). Suppose j + 2*p = b, 0 = -j + p + 2*p + 41. Solve 5*x + 4 = j for x.
5
Let n = 8 - 3. Suppose -n*x + 3*f = -2*x + 3, x - 5 = -f. Suppose 5*k = x*k. Solve -4*q = -k*q - 12 for q.
3
Suppose 3*a - 22 = 14. Let k be 6/(-4) - (-18)/a. Suppose k = 2*w - 0*w - 10. Solve -24 = -w*m + 1 for m.
5
Let p be ((-4)/3)/((-34)/51). Let r be (-1 - -1) + -3 + (8 - p). Solve 8*x = r*x for x.
0
Suppose 4*w = -t + 7, 2*t + 3*t = -w - 22. Suppose 3*x + 0*x = w. Let j be 5 - x*(-4 - -3). Solve -6 - j = -3*z for z.
4
Let o be -9 - (-7)/((-21)/9). Let p = -10 - o. Solve -2 = -d + p for d.
4
Let f = -5 - -8. Suppose 3*s + d - 87 = -d, 0 = 3*s + d - 90. Suppose 0 = c + 4*c + q - 29, 5*c - q = s. Solve -f*h - c = 6 for h.
-4
Suppose -l + 130 = -5*j, -6*j - 570 = -5*l - j. Solve -21*b - l + 26 = 0 for b.
-4
Suppose 5 - 2 = v. Suppose -2*x + 3*u = v, 5*x + 2*u = -0*u + 21. Let h be 14 - 10 - (x - 1). Solve -z - h*z = 3 for z.
-1
Suppose -k + 20 = k + 4*x, -x = -2*k. Solve -6*b + 4*b - k = 0 for b.
-1
Suppose -44 = -2*w - 2*w. Let v be (w + -14)*10/3. Let u(y) = -y**3 - 10*y**2 - y - 4. Let o be u(v). Solve -k = -o*k + 10 for k.
2
Suppose 5*n = -3*v + 2*v + 133, 0 = 2*n - 4*v - 40. Let t = -26 + n. Solve 0 = b - t - 2 for b.
2
Let i(v) = v**2 + 23*v + 80. Let m be i(-19). Solve m = -3*o + 1 for o.
-1
Let d = 14 + -2. Let y(f) = -9*f - 14. Let i be y(-2). Solve i*s = -0*s - d for s.
-3
Let k(c) be the first derivative of -c**3/3 + 17*c**2/2 + 3*c - 3. Let v be k(17). Solve -f = 5 - v for f.
-2
Let q(h) = h**2 + 23*h - 55. Let r be q(-25). Let l be r + 2 + 1 + 2. Solve 0 = -c - l*c + 1 for c.
1
Suppose 4*c = i + 3, -2*c - 3 = -5*c + i. Solve c*q + 5*q = -20 for q.
-4
Let j = 1344 - 1344. Solve -3*f + j*f = -6 for f.
2
Let a = -50 + 106. Let g be (-3)/(4 + (-230)/a). Let k = 7 + 1. Solve 4*l = -k + g for l.
5
Let m = -9 + 18. Let x = -1177 - -1201. Solve x = 3*z + m for z.
5
Let z(u) be the first derivative of -5*u**4/4 - u**2/2 - 2. Let s be z(-1). Let v = 2593 - 2567. Solve -s = 5*i - v for i.
4
Let g be (1 - -1)/(4/2). Suppose 0 = -4*m - 3*y + 31, 5*m - m + 2*y - 30 = 0. Suppose m = 4*b - g. Solve c = -b*c - 6 for c.
-2
Let z(u) = -u + 1. Let f be z(-1). Let y be 42/(-3) + 0 - -2. Let h be 3 + (0 - y/(-4)). Solve -f*q = -h*q for q.
0
Suppose 1 = 2*z + 19. Let a be 63/z*1/(-7). Solve -4 = 5*r + a for r.
-1
Let w be (-2)/(-5) + (-52)/(-20). Let z(j) = 2 + 3*j**2 - 6*j**w + 7*j**3 - 2*j**3. Let o be z(3). Solve -2 = -4*v + o for v.
1
Let q(l) = 15*l - 26. Let n be q(2). Let k be 3 - (1 + 23)/(-2). Solve -n*w - k = w for w.
-3
Let t be -2*(-1 - (-3)/(-6)). Suppose 6*r - 4*r - 46 = 4*j, -4*r - 5*j = -40. Let o be 87/r - 2*(-2)/20. Solve 3*q = -o - t for q.
-3
Let w be 0/((-3 + 5)*-1). Suppose 10*q - 8*q - 8 = w. Let o = q + -2. Solve -o - 2 = -k for k.
4
Let g(l) = 4*l**2 - 28*l + 36. Let d be g(6). Solve -14*q + d = -2 for q.
1
Suppose -2*r = 7 - 37. Suppose -r*a = -16*a + 7. Solve 8 + a = 3*w for w.
5
Suppose -5*m = 4*r + 10, 9 = m + 4*r - r. Let w = 8 + m. Solve -w*n - 4 = -n for n.
-4
Let s(q) = q**2 + 9. Let j be s(-7). Suppose -j = -5*b + 4*p, 0*b - p = 2*b - 18. Let v(t) = -t + 4. Let w be v(4). Solve w = y + y + b for y.
-5
Suppose p = -2*i + 7, 26 = i - 5*p + p. Suppose 5*b + 14 = i*b. Suppose -b*c + 10*c = -12. Solve 0*z - 9 = -c*z for z.
3
Let s = -24 - -34. Suppose -5*w + s = -0. Suppose -4*k + o = -17, -5*k + w - 7 = 4*o. Solve -7 = k*n + 5 for n.
-4
Let l = 54 + -50. Suppose l*s - 7*s = -27. Let m be -9*3/9*-1. Solve -m - s = 3*q for q.
-4
Suppose 4*l - 12 - 12 = 0. Let y(a) = a**2 - 12*a + 38. Let c be y(6). Solve s - c + l = 0 for s.
-4
Suppose -65*h - 2 = u - 62*h, -4*h = -3*u + 20. Solve -7*v = -u*v for v.
0
Suppose 6 = 2*h + 5*v, h + v - 4*v - 25 = 0. Let b be 2 + (-1)/((-1)/3). Solve 0 = b*l + 7 + h for l.
-4
Let x be 2*6*(-1)/(-2). Let g(m) = -142*m - 140. Let n be g(-1). Solve -x = -4*v + n*v for v.
3
Suppose -t + 11 = c, 0 = -3*c - 2*t - 11 + 41. Let u = -12 - -17. Solve n = u*n - c for n.
2
Let u be 3/15*-2*(-5)/2. Solve 9*r + u = -8 for r.
-1
Let k be (-330)/9 + (-2)/6. Let a = k + 40. Solve -a*q + 10 = 2*q for q.
2
Let x(q) = -3*q + 2. Let g be x(4). Let j(a) = -a - 10. Let r be j(g). Suppose -5*i + 0*i + 5 = r. Solve -v - 1 = i for v.
-2
Let w = 197 - 195. Solve -4*z - 14 + w = 0 for z.
-3
Suppose 4*u = -9*g + 5*g, -3*u - 15 = 0. Solve g*r + 1 = -19 for r.
-4
Let d(l) = 31*l + 18. Let f be d(-6). Let s be f/(-36) + 4/(-6). Solve 7*i = s*i - 12 for i.
-4
Let t be (38 - 35) + 0/(-2). Solve -n - t*n = -2*n for n.
0
Suppose 5 = m - 0*m. Suppose -5*j + 2*q = -3*q - 10, -m*j + 19 = 4*q. Solve -j*i + 22 = 10 for i.
4
Suppose p + 4 = 3*p - f, -4*f + 8 = 0. Let l = 87 + -72. Let j(u) = u**2 - 15*u + 4. Let a be j(l). Solve a*c + p = 23 for c.
5
Let h be (20/8)/((-15)/(-12)). Let b be 48/h - (0 - -2). Let d be (1 - -1 - -1) + b. Solve -d = -4*k - k for k.
5
Let h(i) = i - 3. Suppose -4*o - o = -3*u - 46, -32 = -3*o + 4*u. Let w be h(o). Solve 5 = w*f - 10 for f.
3
Let x = 3 - -6. Let r(o) = o**3 + 37*o**2 + 2*o + 78. Let l be r(-37). Let c = x - l. Solve 0 = -c*a - 16 - 4 for a.
-4
Suppose -d - 12 = d. Let v be ((-10)/d - 1) + 6/(-9). Solve v*z + 15 = -3*z for z.
-5
Suppose -15 = -2*q - 5. Suppose 0*d = 3*d + 4*l + 44, -q*l = d + 33. Let j be 8/(-3)*6/d. Solve j*u = u for u.
0
Let j(f) = 6*f - 4 + 0*f - 5*f + f**2 + f. Let o be j(-4). Let h be o*(-4)/(-16) + 2. Solve 0*q + q = -h for q.
-3
Let o = 