 + 4, 4*z = j + n for z.
2
Suppose -75*l = -72*l - 12. Suppose -l*r = -0*r - 12. Solve 3*s = -4*h - r, 2*h + s = 2*s - 9 for h.
-3
Let x = 51 + -65. Let y = x - -16. Solve y*g + 4*n = 16 - 2, 0 = -5*g - n + 17 for g.
3
Suppose 22 = -34*t + 45*t. Solve 0*d + 4 = 2*s - 2*d, t*s - 3*d = 9 for s.
-3
Let f(m) = m**3 + 17*m**2 - 18*m + 2. Suppose -9 = -0*k + k - 3*v, -4*k - 4*v - 84 = 0. Let b be f(k). Solve 5*q + 5 = b*p, -5*q - 5 = p - 2*p for q.
-1
Suppose 0 = -4*r - 3*l - 72, 7*l - 4*l - 54 = 3*r. Let p = r + 24. Solve -2*k + 2*q + p = -0, -k = -3*q - 9 for k.
0
Suppose -2*k + 13 = 3*b, -7*k = -3*k + 4. Solve 5*f - r + 9 = 0, -b*f + r - 6*r = -15 for f.
-1
Suppose 16*b = -63 + 79. Let n be (-2)/3 + 2/3. Solve 5*p = 3*p + y - b, n = -3*p + 3*y - 6 for p.
1
Suppose -2*t + 7 = -3*t. Let l(z) = -2*z + 3*z - 4 + 0*z - 2*z. Let f be l(t). Solve n - 4 = 5*k, -5*n = f*k - 6*k + 2 for k.
-1
Suppose -z = -4*f + 59, 2*f = -5*z + 7 + 6. Suppose 0*j - 5*j + f = c, -5*c + 12 = -4*j. Solve k + 6 = j*m, -3*m = -k - 2*m - 3 for k.
0
Let j(p) = 2*p**3 + 13*p**2 + 6*p + 8. Let w be j(-6). Solve -w*b = -13*b - 5*g + 10, 4*b - 5*g = 35 for b.
5
Let p(z) be the second derivative of z**5/20 + z**4 + 2*z**3 + 13*z**2/2 - 16*z. Let u be p(-11). Solve 4*l + l = -5*s, 3*l = -u*s + 1 for s.
-1
Suppose -32 + 608 = 4*v. Let r = -117 + v. Solve 4*m - r = 3*j, 4*m + 15 - 2 = -5*j for j.
-5
Let o = 4 + -4. Let q = 257 + -255. Solve q*s = 2*b + 2, 4*s + 5*b - 2*b + 17 = o for s.
-2
Suppose -q + 27 + 1 = 3*h, -32 = -3*h - 2*q. Suppose -3*b = -2 - 7. Suppose b*c = -4*t - t + 62, 4*t = -4*c + 48. Solve -4*n + 0*n - t = d, -2*d = -n + h for n.
-2
Suppose 5*k + 4*n - 2*n = 19, 0 = -4*k + 5*n + 35. Suppose -k = -0*s - 5*s. Suppose -2*p + 13 = s. Solve 0*x + x = 3*z + 6, p = -5*x - 3*z for x.
0
Suppose 4*a + 3*w = -82 + 117, -5*a = 4*w - 44. Solve -3*x - 8 = 5*j, -8*x + 9*x = -3*j - a for x.
4
Let t be 8/(-10 + 6)*(-1 + 0). Solve -1 = 3*z + 4*y, -5*y = t*z + 3*z for z.
1
Let p(d) = d**3 + 9*d**2 - 1. Let y be p(-9). Let i be (-3)/(-9) - 5/(-3). Let r = i - y. Solve -s + 2*x = 2*s - 5, 0 = -r*s + 5*x + 17 for s.
-1
Suppose 9*p = 2*f + 4*p - 31, 16 = 2*f - 2*p. Suppose 2*c + 2*l + 4 = -0, -c + 14 = -f*l. Solve -5*o - 5*v + 31 = -c*o, 0 = 3*o - v - 1 for o.
2
Let y = 1 - 1. Let i be (-3)/(87/(-28) - -3). Suppose -29 - i = -3*f. Solve 2*h + 5*d = f, y = h - 0*h + 5*d - 17 for h.
2
Suppose -17*c + 14*c + 6 = 0, -4*f - 3*c + 14 = 0. Solve 5*w + 17 = -2*t, -12 + 2 = f*w + 4*t for w.
-3
Suppose 9 + 6 = 3*t. Suppose 2 = -2*n - 0, -21 = f + 2*n. Let k = f - -43. Solve t*c - 10 = 0, c - 3*c = -5*o - k for o.
-4
Suppose 2*m + 7 = -5*o, -m + 2*o = -0*m - 19. Suppose -5*p + m = 4. Let s = 6 + p. Solve s*t + 4*k - 23 = 4*t, 14 = 4*t - 3*k for t.
5
Suppose 26*t = -13*t + 234. Solve 3*k + t = -5*u, -5*u - 17 + 2 = 0 for k.
3
Let g(l) = -l**2 + 7*l - 9. Let f be g(3). Solve f*t - 4 = t, 4*x - 4*t + 8 = 0 for x.
0
Suppose 4*b = -4*j + 32, -2*b = j + 3*b - 24. Solve -3*x - 6 + j = -5*q, -x + 6 = 5*q for q.
1
Let m = -128 + 134. Solve -3*g = 3*x + m, 2*x - 4*x - 4 = -5*g for g.
0
Let x = -11 + 11. Suppose -3*b - s = 4, -6*s + 2*s = -4*b. Let f be (-1)/((-1)/((-5)/b)). Solve 6 = -c - x*z + z, -2*c = f*z - 9 for c.
-3
Let p(b) = -b**2 + 22*b + 5. Let m be p(19). Let o = 73 - m. Solve -w = 3*w + k - o, 2*w + 5*k = 19 for w.
2
Suppose -4*s + 25 = -p + s, s = -4*p + 5. Suppose 3*m - 42 = 3. Solve -5*b + h + m = p, -b + 2 + 1 = h for b.
3
Suppose 2*p - 8 = 2*c, 3*c = 2*p - 3*p + 8. Suppose -3*b = -6*b. Suppose 4*v = -b + 8. Solve p*w - v = 3*q, 3*q - 3 + 23 = -4*w for w.
-2
Let q be (-4 + (3 - 0))*(4 + -4). Solve -30 = -2*g - 4*v, q = v - 4*v + 15 for g.
5
Let c(j) = -138*j + 555. Let d be c(4). Solve -t + 3*r - 5 = t, 2*t + 5*r - d = 0 for t.
-1
Let k = -2 + 22. Let y = 25 - k. Suppose -2 - 8 = -y*o. Solve 2*f = -o*f + 3*h + 5, 2*f = -5*h + 9 for f.
2
Suppose -5*j - 10 = -2*f, 0 = -2*f - 0*f + 4*j + 10. Suppose 5*v = v - f*h + 44, -5*v = -h - 26. Solve 2*u = -4*z - 22, 29 = -5*z + 2*u - v*u for z.
-5
Suppose -22*q = -19*q - 33. Let g be 20/11 - (2 + (-24)/q). Solve 2*y - 5 = 4*n - 15, -y = 5*n - g for y.
-3
Suppose 0 = -8*p + 673 - 169. Suppose -5*m + 12 = 3*h - p, 4*m + 100 = 4*h. Solve -w + 3*w = -5*d + h, w - 2*d = -10 for w.
0
Suppose -5*b = -3*b. Suppose b = 3*l + 3 + 3. Let x be 164/14 - l/7. Solve 4*i + 3*j + 35 - x = 0, 4*i = -4*j - 28 for i.
-2
Let w(o) = -o**2 - 16*o - 32. Let j be w(-13). Suppose -j = -p - 5. Solve 0 = p*x + 3*c + 9, -3 = -2*x + 4*c - 5 for x.
-3
Let q = -5 - -2. Let j(l) = -4*l - 9. Let w be j(q). Suppose 0 = -6*x + 5*x. Solve -6 = -o + 4*r + 7, x = -5*o + w*r + 31 for o.
5
Suppose -5*c + 2*c = 4*d - 28, -5*d + 28 = 2*c. Solve -5*a + 37 = c*k, -3*k - 19 = -2*a - 6*k for a.
5
Suppose 0 = -24*o + 25*o - 24. Let g(v) = -v**3 + 25*v**2 - 23*v + 7. Let k be g(o). Solve -3*a + 6*a + t = -18, -5*a - k = 2*t for a.
-5
Let f be 4 - (6 + -2) - (2 - 2). Solve -t + v = -1, -5*v + f*v = 0 for t.
1
Let i be 2*(18/21)/((-20)/(-35)). Solve 0 = 3*w - 2*b - 14, 0 = i*w - b - 3*b - 22 for w.
2
Suppose 54*v - 47*v - 35 = 0. Let s(w) = w**3 - 8*w**2 + 6*w + 10. Let y be s(7). Solve 4*b + 8 = 3*n, -2*b + 1 = y*n + v for n.
0
Let a(y) = 2*y**2 - 3*y. Let s be a(0). Suppose s = 5*c - 17 - 8. Solve 5*f - c*d = -20, -2*f + 3*d + 0 = 7 for f.
-5
Let r = 350 - 346. Solve r*i - 5*w - 25 = 0, 2*i + 0*w = -5*w - 25 for i.
0
Suppose -2*d = 4*u - 24, -2*u + 3*u - 1 = 2*d. Suppose 0*h = d*h - 5*i, -4*i = -4*h. Solve 4*w + c = 2*w - 7, h = 2*c - 6 for w.
-5
Suppose 4*q - 5*f - 57 = 2, f + 79 = 4*q. Let n be 4/14 + 92/(-28). Let z be (1 - 2/1)*n. Solve p = -g - z, -4*p = -8*g + 3*g + q for g.
1
Let p = -8 - -11. Let i = p - -19. Solve -s - 2 + i = 5*a, -4*a - s + 17 = 0 for a.
3
Let v be (2 + (-2)/3)*(-9)/(-4). Suppose -v - 3 = -2*z. Solve -z*x + 3 = 12, -n = 4*x + 15 for n.
-3
Let o(m) = m**3 - 5*m**2 + 4*m + 2. Let g be o(4). Let q = -12848 + 12851. Solve 4*n - 6 = -g*b - 0, q*b - 7 = -5*n for n.
2
Suppose 2*h - t = 1, 0 = -3*h - 0*t - 2*t - 16. Let m be 300/96 + h/16. Solve m*y = 4*s + 10, s = y - 5*y - 12 for s.
-4
Let t be 2*(-12)/(-8)*1. Solve 7*m + t*b + 16 = 2*m, -b = -5*m - 8 for m.
-2
Let k = -421 - -421. Solve b + 0 - 1 = 5*w, -w + 5*b - 5 = k for w.
0
Suppose -2*n + 5*l = -20, l + 9 = 4*n + 5. Let u be 3 - n/(-2 - -4). Solve u*j - 4*t + 4 = 5*j, j = -5*t + 2 for j.
2
Let j(q) = q**3 - 35*q**2 - 36*q + 7. Let h be j(36). Solve -5*a = 4*n - h, 0 = -3*a - n - 3*n + 9 for a.
-1
Let z(v) = -2*v + 7. Let k be z(3). Let b be (-5 - -5) + 2/k. Let y be (-3)/(-9) - 1/3. Solve -b*h = -3*p - h - 6, y = -h for p.
-2
Suppose -9 = -2*j + y, -2*j + 1 + 3 = 4*y. Let q be 2/j*(2 + -2). Suppose q = -3*c + 4*o + 25, o + 6 + 3 = c. Solve -3*x - h = -c, 2 + 6 = 2*x + h for x.
3
Suppose -9*h = -8*h - 4. Suppose -4*u + 12 = h. Solve -u*b = l - 0 + 11, 0 = 5*l - b for l.
-1
Suppose 4*h + 8 = 0, -s = -h + 6*h - 51. Let w = s - 58. Solve -b - b = 3*z + w, -5*b - 20 = -5*z for z.
1
Let f be 2 + 3 - (3 + -1). Suppose -j + f = 2. Let k be 0*((j - -3) + -3). Solve 3*r + k*r = -3, s - 4*r = 9 for s.
5
Let c = 46 + -28. Let s(u) = 2*u**3 + 7*u**2 - 4*u + 13. Let k be s(-6). Let d = 147 + k. Solve 0 = 4*j + d*l - 24, -3*l = 5*j - 4*l - c for j.
4
Let r = -33 - -39. Suppose 6 + 0 = r*m. Let y be m/((3/1)/6). Solve -4 = y*p, 0*p = -n + p for n.
-2
Suppose 0 = 5*o - 59 + 9. Suppose r + r = o. Let z be -2*(-3)/9*3. Solve 5*x = 2*c + 35, -z*c - r*x = c - 10 for c.
-5
Let q be (-28)/((-5)/10*(-4)/(-3)). Let u be 3/(q/260) - 8/14. Solve -4*i - v = -2*v + u, 4*i + 2*v + 12 = 0 for i.
-4
Let o = 144 - 141. Solve -5*g + o*s + 15 = 0, -3*g - 5*s = -4*s + 5 for g.
0
Let z(q) = 5*q - 16. Suppose s - 5*s = -16. Let r be z(s). Solve -4*d = 3*l + 2 + 3, -5*l = r*d + 11 for d.
1
Suppose 5*z = 27*z - 484. Solve 2*q + 4*l = -6, -4*q - z = 5*l - 10 for q.
-3
Suppose 156*h - 8 = 154*h. Solve 5*r - 8 = 2*s - 4*s, 0 = -4*s - 4*r + h for s.
-1
Let b be (-1 - 5) + (-2 - -9). Solve 3 = m - b, 2*x - 10 = -3*m for x.
-1
Let l(g) = 41*g + 41. Let o be l(-1). Suppose 4*a + 8 = -2*b, 14 + 11 = 5*b - 5*a. Solve -d = -2*z, o = -3*z + 4*d - 7 + b for z.
1
Suppose -5*v + 15 = -0. Let m = -37 + 38. Let o be m*(-3 - (0 - 3)). Solve -3 = -p + i, o = 2*p + i - v for p.
2
S