 = -66 - t. Suppose -4*z + 76 = n, -4*z = 4*n - 2*n - m. Solve -5*q + z = -0 for q.
4
Let b = -74 + 80. Solve -b = 4*r + 2 for r.
-2
Suppose 5*n - 2*z - 20 = -3*z, -4*n + 5*z = 13. Solve 0*k = k - n for k.
3
Let l = 92 + -72. Solve -4*v + 4 = l for v.
-4
Let n be 6/21 + 132/28. Let w = 9 - 5. Solve -w*d - n + 21 = 0 for d.
4
Suppose -5*n = -2*j - 18, 0*j + 5*j = -3*n - 14. Solve 6 = 4*h - n*h for h.
3
Let p = -20 - -29. Solve -4*i = -i + p for i.
-3
Let b = 81 - 81. Solve 0 = -3*s - b + 15 for s.
5
Let v = -65 - -71. Solve 2*c = 5*c + v for c.
-2
Let n(i) = -3*i - 3. Suppose -2 = -2*u - 8. Let l be n(u). Let f = 3 - 0. Solve -f*w + 0 = l for w.
-2
Let z(a) = -23*a**3 - a**2. Let o be z(1). Let j be 5/(-2)*o/30. Solve -h + 2*h = -j for h.
-2
Let u(g) = 3*g - 15. Let j be u(12). Solve 4*v + 1 = j for v.
5
Let h(w) = -w + 10. Let t be h(8). Let v = t - 2. Solve 3*s + v - 15 = 0 for s.
5
Let a = 42 - 18. Suppose 3*r - 22 = w, 5*w - 37 = -4*r + a. Let i be (-4 - -33)*(-2)/(-2). Solve -i = 4*z - r for z.
-5
Suppose 4*b - 8 = 8. Solve -1 = h + b for h.
-5
Let w be (-1 + 0 + 3)*1. Let k = -3 + 7. Suppose 3*a + 2*p = 5 + 2, 0 = k*a - 3*p - 15. Solve 5*v - w = a*v for v.
1
Let s(l) = l**3 - 3*l**2 + l + 1. Let k be s(3). Suppose 5*r - k*b - 35 = 0, 3 = 3*r + b - 1. Solve -q = r*q for q.
0
Let c(t) = t**3 - 5*t**2 - 5*t - 2. Let w(x) = x**3 + 3*x**2 - 4*x + 2. Let p be w(-4). Suppose -30 = p*z - 7*z. Let n be c(z). Solve -4*g = -2*g + n for g.
-2
Let s be 4/24 - 5/30. Solve -5*q - 2 - 3 = s for q.
-1
Suppose 13 - 4 = 3*s. Let i = 5 + s. Solve -2*c - i = -0*c for c.
-4
Suppose -4*x + 42 = 3*r, -5*r + 4*x + 0*x + 38 = 0. Solve 0 = -2*g - 3*g - r for g.
-2
Let h = 11 + -7. Let z be (0 + (-2)/h)*0. Solve z*w - w = -4 for w.
4
Let y(d) = d**2 + 4*d + 5. Let m be y(-4). Suppose 0 = 3*n - 1 - m. Suppose -k - 5 = -n*k. Solve z = k*z for z.
0
Suppose -2*j = j. Suppose 2*n + 30 = 5*n - 5*h, -4*n = 4*h - 8. Solve j = 4*b + 3 + n for b.
-2
Let m be 2 - 2*9/3. Let d = 6 + m. Suppose -d*u + k + 5 = 0, 3*u - 27 = -8*k + 3*k. Solve -u*b + b + 6 = 0 for b.
2
Let r(y) = -y**2 + y. Let o be r(1). Let u(v) = 2*v + 19. Let x be u(-8). Suppose c - x*c + 10 = 0. Solve 15 = -o*p + c*p for p.
3
Suppose -2*q - 2*q - 76 = k, 0 = 4*q - 2*k + 88. Let z = q - -10. Let s = z + 22. Solve -4*v = -4 + s for v.
-2
Suppose -2*v = 4*c - 2*c - 22, -c + 27 = -3*v. Solve c = -3*j - 2*j for j.
-3
Suppose 3*m + 4*v = 32 - 4, 0 = -5*m + 4*v + 4. Suppose -m*x = -7*x. Let d be (-3 - -2)*(x - 0). Solve 3*q - 1 - 2 = d for q.
1
Let y be (8 + -1)*(-2 + 1). Suppose -v + 4 - 8 = 0. Let i = v - y. Solve l = i*l for l.
0
Suppose x + 17 = 3*z - 4*x, 5*z - 16 = -4*x. Suppose 5*l + 2*j = 26, -j - 8 = -z*l + 5. Solve 0 = -3*n + l*n - 4 for n.
4
Suppose 0 = 2*n - 4 - 0. Solve -n*s = s + 9 for s.
-3
Let b(c) = 5*c**2 - c**3 + 0*c**3 + 1 - 4 - 3*c. Let t be b(3). Let i(q) = -q**2 + 5*q + 2. Let n be i(4). Solve 3*x - n = t*x for x.
-2
Suppose 0 = -d - 3*b + 15, -6*b + 25 = 5*d - b. Solve 0*j - j = d for j.
0
Let u(g) = g**3 + 5*g**2 - 6*g + 6. Let f(d) = -d**3 - 5*d**2 + 6*d - 6. Let k be f(-6). Let t be u(k). Let q be 3 - (9/3 + -3). Solve 0 = -q*r + 9 + t for r.
5
Let k(n) = n - 5. Let v be k(5). Let g(y) = y**3 - y**2. Let o(s) = -s - 2. Let u(c) = g(c) - o(c). Let w be u(v). Solve w*l - 3*l + 4 = 0 for l.
4
Let y(d) = d**2 - 7*d + 7. Let o be y(6). Let j = 4 + -1. Let c = o + j. Solve w = -c*w - 5 for w.
-1
Let b(v) = 2*v - 7. Let j be b(5). Solve -y - 2*y + j = 0 for y.
1
Let o(v) = -v - 13. Let z be o(-21). Let f be (-1)/2 - (-1)/2. Solve 4*q - z + 0 = f for q.
2
Suppose 0 = 5*q + 8 - 43. Let w = q + -2. Suppose 0 = 2*t - w*j + 5, 8 = 5*t - 5*j - 2. Solve -2*n - t = 3*n for n.
-1
Suppose 8*y - 5*y = 3. Solve -y = -3*c + 8 for c.
3
Suppose -25 = -5*v - 0*v. Suppose p + 4 = v*p. Solve n + p + 4 = 0 for n.
-5
Let v be 2/(-2)*0/5. Solve v*g = -g - 3 for g.
-3
Let c = 4 + -2. Suppose c*j - 7*j = 0. Solve 2*v = -j*v for v.
0
Let y = -6 + 11. Suppose 2*h - 2*c = 12, -2*c - 3 = y. Solve h*b + 0 = -2 for b.
-1
Suppose -3*k - 4 = -4. Solve 2*i = -k*i - 10 for i.
-5
Let l = 22 - 19. Solve -6 = l*o - 0*o for o.
-2
Let u(w) = -3*w**3 - 3*w**2 - w - 5. Let d(o) = -4*o**3 - 2*o**2 - o - 6. Let y(x) = 2*d(x) - 3*u(x). Let v be y(-5). Let t = v - -4. Solve t*p - 6 = -p for p.
2
Let a = -70 + 166. Let p be (a/9)/(6/9). Solve d - p = 5*d for d.
-4
Suppose -5*y = y. Solve y = -3*v - 0 + 3 for v.
1
Let w(c) = -c**3 + 6*c**2 - 7*c + 4. Let g be w(4). Solve 0 = -3*s + g*s - 25 for s.
5
Let n(s) = -s**2 - 8*s + 7. Let a(w) = -w**2 + 3*w + 5. Let b be a(5). Let d be n(b). Let j be 1/3 - d/(-6). Solve 4*x - j = -0 for x.
1
Suppose -2*p + 104 = 54. Solve 3*h + p = 8*h for h.
5
Suppose 0 = 2*g + 15*g - 3*g. Suppose 4*z + 2*i - 16 = -2*i, -2*z + 4*i + 20 = 0. Let r = 11 - z. Solve g = 2*d - r + 3 for d.
1
Let k(n) be the third derivative of n**5/60 + n**4/3 + n**3/3 - 2*n**2. Let s be k(-8). Solve 3*b = -s*b for b.
0
Let i(g) = -5*g - 7. Let b be i(-7). Suppose 4*r = -2*p - 2*p + b, 2*r - 5*p + 7 = 0. Solve -w = 2 - r for w.
2
Let q = -1 + 4. Let l = 5 + q. Solve -5*a = l - 3 for a.
-1
Let v be 2*3/(-6) - -2. Let r = v - 1. Solve r = x - 5 - 0 for x.
5
Suppose -v + 1 = -3*z + 2*z, -3*v + 12 = 0. Suppose -c + 52 = z*t, 2*t + 2*c + 8 = 3*t. Solve -t = -4*r - 0 for r.
4
Suppose -5*i + 5 + 20 = 0. Let q = 29 - 17. Suppose 2*z + q = 4*z. Solve -3*o + z = -i*o for o.
-3
Suppose 0 = -4*w - 2*s + 30, 3*s - 26 = -2*w - 1. Suppose 36 = w*l - 39. Solve l = 3*h + 2*h for h.
3
Let j be ((-1)/(-3))/((-2)/(-24)). Suppose j*r + 28 = 12. Let k(s) = -s**2 - 6*s - 6. Let v be k(r). Solve 0 = 3*o - v*o - 2 for o.
2
Let t be -1 + 1 + (-5 - -5). Suppose -5*k = -3*k + 3*x, t = k - 2*x - 7. Let s = -3 + k. Solve -w + 1 = -s for w.
1
Let s = 1 - -4. Suppose 4*i + i - s*r = 25, -4*i - 4*r = -12. Solve i*d = -d - 20 for d.
-4
Let n be 1/(1/1) - -3. Let g be -2 - -4*(n - 3). Solve g = -4*c + 6 for c.
1
Let u be (-4)/10*(-11)/((-33)/(-150)). Solve 5*m + u = 10*m for m.
4
Let n(x) = 7*x**2 + x. Let r be ((-3)/2)/(1/(-2)). Suppose 2*h + h + r = 0. Let t be n(h). Solve -j + t*j - 25 = 0 for j.
5
Let w be (5 + -2)/((-4)/(-12)). Suppose o + 2*t = 16, 109 = 4*o + 5*t + 42. Let p = -13 + o. Solve -1 = p*c + w for c.
-2
Suppose 6*a + 27 = 9*a. Suppose -p - q = 0, -2*q - a = -0*p - p. Solve -p*b - 2 - 1 = 0 for b.
-1
Suppose -3*m = -0*m + 12. Let a(q) = -q - 4. Let k be a(m). Suppose 0 = -k*s - 3*s. Solve 2*p + 2 = -s*p for p.
-1
Let s(r) = 0*r + 2 + 0*r - 2*r. Let n be s(-5). Let m be 8/n*(1 - -5). Solve m - 16 = -3*z for z.
4
Suppose 5*y - 7 = 2*p, 0 + 5 = -5*y + 5*p. Suppose -l - y = -5. Solve -b + l*b - 1 = 0 for b.
1
Suppose -3*u = -0*u. Suppose 7*m - 45 = 4*m. Solve u*b = -3*b - m for b.
-5
Suppose -4*u + 4*i = 32, -4*i + 2*i + 34 = -5*u. Let k(r) = r**3 + 6*r**2 - r - 2. Let a be k(u). Solve 5*n = -1 - a for n.
-1
Let f(g) = -4*g - 24. Let u be f(-11). Solve 7*j - u = 3*j for j.
5
Let c(d) = -d - 4. Let j be c(-7). Suppose -r = -j*r. Let l = -8 - -12. Solve b + l = -r*b for b.
-4
Let h be (14 - 9) + 6/(-2). Solve h = 2*j - 8 for j.
5
Let x be 0/((-6)/(0 - 3)). Let m = 5 - x. Solve 10 + 10 = m*v for v.
4
Let w be (-1 - -3) + 1*5. Let t = 1 - 6. Let m = t + w. Solve -m*q = 3*q for q.
0
Suppose 0 = 2*k - 2*m + 14, 4 = 5*k - 2*k + 2*m. Let s be (k + 1)*(-7 + 5). Solve 0 = s*g - g + 2 for g.
-2
Suppose -3*j - 5 = -14. Let l be (-1)/(16/(-14) - -1). Solve l - 19 = j*s for s.
-4
Suppose 2*c = -f + 2, -c = 4*f - 9*f + 10. Solve f*u + 8 = 4*u for u.
4
Suppose -5*a + 84 = 4*t - 0*t, 0 = 5*a - 20. Let v = t - -6. Solve 0 = 5*k + v - 2 for k.
-4
Let a be (-1*5)/(-6 - -5). Suppose -4*f + 35 + 50 = 5*v, -2*f + 3*v = -37. Solve -r = -a*r - f for r.
-5
Let f be 1*(-9)/(3 + -6). Solve f*x - 8 = 1 for x.
3
Let f = -44 + 56. Solve 3*y + f = -y for y.
-3
Let n = 78 - 77. Solve n = -0*r - r for r.
-1
Suppose 0 = -8*y + 2*y + 126. Solve -1 = 4*n - y for n.
5
Suppose 2*y + y + 15 = o, -4*o + y + 5 = 0. Solve -b = -o*b - 5 for b.
5
Suppose -3*i + 13 = -x, 0 = i + i + x - 2. Solve w - 8 = i*w for w.
-4
Suppose 2*d + 3*d = 10. Let f be d/4 + (-3)/(-2). Solve -f + 0 = y for y.
-2
Let c = 7 + -5. Let w(i) = -i - 2. Let o be w(c). Let h = 4 + o. Solve 0*n - 3*n - 3 = h for n.
-1
Let o(j) 