 3*v - 3, 3 = -3*w + 5*w + 3*v. Suppose 0 = -3*y - 9 - 0, j - 3*y - 14 = w. Solve -5*d = -4*d - j for d.
5
Suppose 0 = 4*l + 4 - 24. Suppose -95 = -l*n - 0*n. Suppose -6 = -n*j + 16*j. Solve -2*w = -4*w - j for w.
-1
Suppose 32*k - 38*k = -60. Solve 5*s + 15 = -k for s.
-5
Suppose 5*z - 34 = 4*z. Suppose 36*m + 2*g = 37*m + 30, 2*m = -5*g - 51. Let u = z + m. Solve -k + u = k for k.
3
Let y(t) = 2*t**2 + 26*t + 5. Let b be y(-13). Suppose -w + 3 = b*d, 2*d + d + 3 = w. Solve 0*g - g - 1 = d for g.
-1
Let z be 352/56 - 4/14. Suppose o + z*o = 56. Solve b + b = o for b.
4
Suppose t = 3*r + 39, 2*r + 5*t = -2*r - 52. Let o(l) = l**2 + 13*l + 8. Let n be o(r). Solve 0 = 3*y - n*y - 15 for y.
-3
Suppose -6*n + 2*g = -n - 21, 0 = -3*n + 2*g + 15. Suppose 0*x = -n*x. Solve -16 = -4*q - x*q for q.
4
Let w be (3 - (-10)/(-3))*-6. Suppose 8 - w = 2*d. Suppose 15 = -3*b, -k + 4*b + 20 = -d*k. Solve -3*y + 15 = -k*y for y.
5
Suppose s + 2*s - 11 = -5*h, 0 = -4*s - 2*h + 10. Suppose -3*k + 13 = -s. Suppose -3*x + k*p - 16 = 0, -2*x - 17 = 5*p - 48. Solve 2*l + x = 11 for l.
4
Suppose -8*y - 2254 + 2358 = 0. Solve -y*b = -11*b for b.
0
Suppose -q = 2*d, -4*q - 4*d = -0*d. Suppose q = -n + 2*n. Suppose 4*a - 3*a - 3 = n. Solve -a*j - 15 = -8*j for j.
3
Suppose 3*p + 5*t = -76, 5*p + 4*t = 2*t - 114. Suppose 8*s + 1287 = 21*s. Let o be 18/s + (-172)/p. Solve -q - q = o for q.
-4
Suppose 2*l = 4*i + 10 + 22, -4*l + 2*i = -76. Let r = -25 - -3. Let j = 22 + r. Solve -2*t + 7*t + l = j for t.
-4
Let z = 1 - -1. Let p be z + -13 + (5 - 7). Let s(m) = -m**3 - 13*m**2 - m - 6. Let u be s(p). Solve -3*a + 1 - u = 0 for a.
-2
Let r be 12/(-10)*(-13)/((-117)/(-15)). Suppose 3*h + 2*w + 3 = 13, -20 = -4*h - 4*w. Suppose 2*b = -0*b + 4. Solve h*i = -b*i + r for i.
1
Suppose 5*k - 89 + 134 = 0. Let w(l) = 3*l + 11. Let t(r) = -r - 1. Let a(v) = -2*t(v) - w(v). Let p be a(k). Solve -n - 4*n = p for n.
0
Suppose 0 = 10*p + 4*p - 504. Solve 3*c - p = 12*c for c.
-4
Suppose 2*w + 48 = 3*t, 2*w = -t + 6*w + 6. Solve 4*s + 26 = t for s.
-2
Let j = -389 + 393. Solve 3*z = j*z + 2 for z.
-2
Suppose 277 = 14*q + 235. Solve -5*v - q = -18 for v.
3
Let h(z) = 3*z**2 - 6*z - 29. Let l be h(5). Solve l*c + 4 = 14*c for c.
-2
Let m(w) = -w**3 - 2*w**2 + w - 6. Suppose 0 = -13*g + 12*g - 3. Let b be m(g). Solve b = -0*r - 5*r - 10 for r.
-2
Let l = 2 + 14. Solve 9*j - 2 = l for j.
2
Let h(x) = -8 - 5 + 3 + 2*x. Let d be h(6). Solve t + 4 = d*t for t.
4
Let p = 1311 - 1304. Solve -9*o = 7 - p for o.
0
Let f(y) = y**3 + 57*y**2 - 51*y + 408. Let m be f(-58). Solve -m*r - 15 = -7*r for r.
3
Let t(h) = 4*h**2 + 3*h + 13. Let b(a) = -5*a**2 - 2*a - 12. Let o(y) = -5*b(y) - 6*t(y). Let x be o(10). Solve -g + 1 = x for g.
-1
Suppose 28 = 2*r + 5*p - 1, 3*r + p - 37 = 0. Solve 0 = -3*a - r + 24 for a.
4
Let n(y) = y**3 - y**2 - y + 6. Let t be n(0). Suppose -6*s + 8*s - t = 0. Suppose -4*d + s + 9 = 0. Solve 4*f = -d - 1 for f.
-1
Suppose 72*t = 65*t + 105. Let j = 23 + -13. Let d = j - 7. Solve 2*q = -d*q + t for q.
3
Let c = -1 - -7. Let f(g) = g**3 - 6*g**2 + 7. Let h be f(c). Suppose -4*k + h + 9 = 0. Solve 0 = i + k - 2 for i.
-2
Suppose 3*h - 2*z - 79 = 0, 5*h + 7*z = 6*z + 110. Solve m - h = -22 for m.
1
Suppose -26*d + 3*s = -22*d + 4, 12 = -2*d + 4*s. Solve 0 - d = -o for o.
2
Suppose -27 = -5*s + 4*i, -1 = -i - 4. Let y = 25 + -18. Solve -h - y = -s for h.
-4
Suppose 4*z + 20 = 2*u + 2*z, 0 = 2*u + z - 8. Suppose -2*j + 4*j = u. Let p(m) = m - 1. Let d be p(j). Solve 0 - 6 = -d*f for f.
3
Let n(z) = -z**2 + 9*z - 6. Let l be n(8). Let p = 0 + l. Suppose 3*a = -4*q + 1, p*a + 18 = -0*q + 2*q. Solve q*j = -0*j - 8 for j.
-2
Suppose -150*t + 1752 = -126*t. Solve 0 = 20*g + t - 13 for g.
-3
Let i = 87 + -19. Let u be i/20 + (-8)/20. Suppose -t = -5*x - 16, 4 = -2*t - u*x + x. Solve t = c + 6 for c.
-5
Let l be (1 + (-2 - -1))/(-1). Suppose -j = -l*j. Suppose -34 = -3*s - 2*u + 22, 5*s + 2*u - 92 = j. Solve -6 = 3*m - s for m.
4
Let t(c) = -3*c**3 - c**2 + 1. Let f be t(-1). Solve -f*w + 6 = -0 for w.
2
Suppose 0 = -7*o - 6*o + 39. Solve -33 = -15*j - o for j.
2
Let y = -169 - -173. Solve -y*g + 7 = 3 for g.
1
Let y be (-110)/(-6) + 2/(-6). Suppose 18*r - 14*r = g - 12, r = g. Let d be 8/(-12)*y/r. Solve 2*a = 3*a + d for a.
-3
Suppose 3*i + 15 = -0*i. Let c be (i + -1)*(-14)/28. Solve 19 - c = -4*q for q.
-4
Let p be (2 - 3/6) + (-67)/(-2). Suppose p = 5*g + 2*h, 2*g - h = -2*g + 15. Solve g*m = -5 - 0 for m.
-1
Let z(k) = k**2 - 6*k + 7. Let y be z(4). Let a = 1 + y. Let s be -2 + -1 + 10 + -2. Solve -s*q = -a + 10 for q.
-2
Let p be ((-35)/10 - -3)*12. Let u be (-20)/(-15) + (-4)/p. Suppose 7*f - 3*f - 9 = -5*o, 3*f - 1 = 2*o. Solve 0 = -u*n - o - 1 for n.
-1
Let k = 1750 + -1725. Solve 3*i = -k + 40 for i.
5
Let c be (0 - 4)*(-12 - -15). Let j be (-7 - c)/((-2)/(-2)). Suppose 2*d + 4*w = 16, -d = -j*d - 4*w + 16. Solve d*y = -y + 2 for y.
2
Suppose 4*p - 37 = 3*p. Suppose -3*b - 152 = -4*f, -23*f + 20*f + 2*b = -113. Let v = p - f. Solve -x - v + 3 = 0 for x.
1
Let x be 3/6 + 17/(-2). Let i = x + 12. Suppose 0 = d - b, 2*d - b - 2*b = 0. Solve i*w - 3*w - 4 = d for w.
4
Let q(g) = -g**3 + 14*g - 3. Let l be q(3). Solve -22*h + 76 = -l for h.
4
Let k(x) = -x**3 - 17*x**2 + 2. Let t(n) = -n**3 + 8*n**2 + 3*n - 11. Let d be t(8). Suppose 4 = -r - d. Let i be k(r). Solve -p + 2 + i = 0 for p.
4
Let j = 60 + -40. Let h = -20 + j. Solve -5*z + 2 + 3 = h for z.
1
Suppose -3*m - b = -4, 5*b - 4*b + 20 = 5*m. Suppose 76*v = 80*v + 3*g - 22, 4*v - 2*g = 12. Solve m*k = -k - v for k.
-1
Let z(g) = -2*g + 4. Let o be z(-5). Let q be 3 + ((-4)/(-6))/(o/21). Solve q*x = -0*x - 12 for x.
-3
Suppose -17 + 5 = -3*v. Let h be v*((-4)/22 + 82/88). Suppose 5*b = 2 + 3. Solve -b = 2*r + h for r.
-2
Let k = 2125 - 1667. Solve 4*q - 474 + k = 0 for q.
4
Let y be (4 - 2)/(-1 - (-10)/8). Solve -4*o + 2*o - y = 0 for o.
-4
Let x be 13 + -2 + (-2)/((-4)/(-2)). Solve 0 = 5*t - 5 - x for t.
3
Let m = -1124 - -1126. Solve -m*f + 8 = -0*f for f.
4
Suppose -3*t - 4*p = -5*t, -t + p = 0. Suppose 8 = 2*f - t*f. Suppose 0 = -2*s - 0*s + f. Solve -4*u = s + 2 for u.
-1
Let z be 9 + -2 - (-85 + 54). Solve 7*u + z = 59 for u.
3
Let x be (-5)/((-25)/(-5))*-88. Let f = x + -84. Solve 8*h + 12 = f*h for h.
-3
Suppose 1 = -3*l + v, 3*l + 3*v - 6 = 9. Let y(d) = d**3 + 4*d**2 - 2*d - 8. Let u be y(-4). Solve h = -u*h + l for h.
1
Let r be (-4)/6 - (-4 - 24/9). Let t be 2/(-8)*-6*8/r. Solve -t*z + 0*z = 0 for z.
0
Suppose -w = 3*w - o + 48, 24 = -2*w - 4*o. Let m be 7 - (2/(-3))/(w/54). Solve m*a = -9 - 3 for a.
-3
Suppose 10*u - 4*y = 12*u - 194, 5*u = 2*y + 497. Solve -8 = -u*t + 95*t for t.
2
Suppose 4*z = 17*z. Solve z = k - 0*k + k for k.
0
Let t(k) be the third derivative of -k**6/120 + 19*k**5/60 - 3*k**4/4 + k**3/2 - 2*k**2 + 7*k. Let i be t(18). Solve -i*s = -0*s + 6 for s.
-2
Suppose 4*m - 33 = -3*r, 8*r = 12*r - 4*m - 16. Solve -12 = -3*g + r*g for g.
-3
Suppose 16 = 9*i - 11. Solve i*v - 12 = 3 for v.
5
Let v(d) = 5*d - 7. Let a be (-4)/4 - (-6 + -1). Suppose -3 = z - a. Let y be v(z). Solve -3*x + y + 4 = 0 for x.
4
Let o(z) = 10*z - 86. Let u be o(9). Solve -11 = -u*f - 19 for f.
-2
Suppose -3*k = -k - 4*o + 2, 6 = 3*o. Suppose k = 2*b - 3*f + 6, 2 = -4*b + 2*f. Suppose -9 = -3*w + 3*x, 2*x - x - 15 = -5*w. Solve b = -w*s + 2*s + 5 for s.
5
Let r be 546/30 + (-12)/10 + 1. Suppose -4*n + 20 = 0, -2*h + r + 0 = 2*n. Solve 0 = -5*o + 6 + h for o.
2
Suppose 0*q - 5*q = -60. Suppose 0 = 4*n - 5*n - 4*n. Suppose -3*o + 12 = 2*f, n = 5*o - 8 - 12. Solve -3*i + q + 0 = f for i.
4
Suppose 600 = -18*t + 3*t. Let m = 45 + t. Solve -2*s + 1 = m for s.
-2
Let m(o) = o**3 + 5*o**2 - 4*o + 14. Let h be m(-6). Let w be (4 - 0)*(-1)/(-2). Solve h*v - w - 2 = 0 for v.
2
Suppose -3*w - 4*l = -0*w - 13, -12 = -2*w - l. Let n = -3 + w. Solve -2*v = -v - n for v.
4
Let b be (14/(-6))/(2/(-6)). Let n = 106 - 76. Let l be 3/n*25*6/5. Solve -4*u - l = -b for u.
1
Let t(s) = s**2 + 9*s + 12. Let x be -4 + (3/(-3) - 2). Let l be t(x). Let u = l - -8. Solve -5*m + 3*m = u for m.
-3
Suppose -3*l + 10 + 0 = -j, -4*j + 15 = -l. Solve 0 = -7*k + j*k - 4 for k.
-2
Let f = -273 - -277. Solve 0 = f*x - 2*x for x.
0
Let b = -976 - -1000. Solve 