 -3*j - 5*a + 256 = 193, 0 = -3*j + 6*a - 3. Solve -5*u - j = 2*l + 2*l, -5*l + 2 = u for l.
1
Suppose 6*n + 4*n - 140 = 0. Suppose 0 = 2*c - n + 8. Let s(w) = -w**3 + 8*w**2 + 11*w - 7. Let v be s(9). Solve 4*o = 4*p + 10 + 6, 4*p - c*o + v = 0 for p.
1
Suppose -12*b + 48 = -0. Let n(c) = 2*c**2 + 2*c + 1. Let k be n(-2). Suppose k*x = 2*x. Solve b*y + 2*m = -x*y, 0 = 4*y + m for y.
0
Let s be (-7)/((-42)/(-36)) - -6. Suppose -22*r + 33 + 11 = s. Solve 0 = r*m + 5*w + 2, 4*w + 4 = -m + 3 for m.
-1
Suppose -25*s + 21*s = 512. Let y = s + 131. Solve -4 = y*t - 5*r, -t + 3*t + 5*r + 11 = 0 for t.
-3
Suppose 197*b - 2 = 202*b - 4*q, 3*b = 2*q. Solve 0 = -b*c + 44*j - 45*j, -5*c + 4*j = 0 for c.
0
Suppose -3*q + 4*m - 26 = 0, 6 = 2*m - 4. Let b be (-20)/(-5) + 14 + q. Solve 3*d = -4*f + b, -2*f = 3*d + 3*f - 17 for d.
4
Suppose -175 = 5*a - 135, -2*h = -4*a - 38. Solve -2*w + 6*w = 4*z, 0 = -w + h*z for w.
0
Suppose -2*q = -b - 68 + 61, q + 5*b = -13. Solve -17 = 5*t + 4*j, q*t = -88*j + 83*j for t.
-5
Let j be 54/10 - (-9)/15. Suppose -40 = -5*o + 10. Let z be ((-380)/30 + o)*(-6)/4. Solve -v + 5 = 0, z*x + 2*v = -4 - j for x.
-5
Suppose -3*a = -7*a - 2*n + 56, -4*a + 72 = -2*n. Solve -11*p = -2*d - a*p, d - 3*p = -11 for d.
-5
Let n(v) = 78*v + 9754. Let y be n(-125). Solve -3*r = -2*r + y*t + 24, 7*t = -35 for r.
-4
Let s(l) = -3*l**3 + 16*l**2 + 32*l + 16. Let g(u) = -u**3 - u. Let c(j) = 2*g(j) - s(j). Let t be c(18). Solve -4*n - 2*x = -14, -3*n - 3*x = 2*n - t for n.
1
Let y(f) = -f + 4. Let i be y(0). Let l = 7 - i. Let b(c) = -c**3 - 9*c**2 - 16*c + 11. Let j be b(-3). Solve -l*a - 14 = 5*r, -2*a + r = -0 + j for a.
-3
Let b(f) = 5*f**3 - 2*f**2 + 6*f - 4. Let w be b(1). Solve -28*a + w = 5*j - 33*a, 4*j - 28 = -4*a for j.
4
Suppose 4*f - 13*g - 8 = -17*g, -2*g = 5*f - 13. Solve 2*b - 6*b + 3*c = 23, 3*c + 12 = -f*b for b.
-5
Suppose 90*r - 81*r - 6 = 12. Solve -3*t = p + 18, -36*t + r*p + 1 = -35*t for t.
-5
Suppose 10*x - 13*x = -s - 29, 3*x = -4*s + 34. Let o(k) = -9*k + 93. Let w be o(x). Solve g - 1 = -2*q + 5*q, -2*q - 3*g + w = 0 for q.
0
Let n be 3 - -35 - 99/(-33). Solve 27 = 5*h + 7, 4*h - n = 5*k for k.
-5
Let d be ((-36)/16)/((-90)/80). Solve -i + 14 = 2*i - d*k, -4*i + 3*k + 19 = 0 for i.
4
Let f be (4480/1400)/(((-2)/15)/(-1)). Solve -141*t + 5*x = -142*t + 29, -t + f = 4*x for t.
4
Suppose 6*v + 0*v + 1644 = 0. Let k = -274 - v. Solve k = l + 2*b + 13, 0 = 2*l + l - 4*b - 11 for l.
-3
Let a(l) = -l**2 - 9*l - 30. Let z be a(-6). Let v = z - -11. Let t be ((-36)/6)/(4*v)*8. Solve 0 = 2*r + 3*h - 1, -h + t = 5*r - 3*h for r.
2
Let w(i) = -i**3 + 8*i**2 - 4*i - 21. Let n be w(6). Let a(t) = -3*t**2 + 79*t + 57. Let p be a(n). Solve -6*r + 25 = -p*c - r, -5 = -3*c - r for c.
0
Suppose -639 + 255 = -24*v. Solve 5*k = -y + 11, k = -13 + v for y.
-4
Let h = 9496 - 9482. Solve 6 = 3*m, -h + 1 = -i - 5*m for i.
3
Suppose 20*x + 11*x - 184 - 1118 = 0. Let l = -27 + 71. Let n = l - x. Solve 3*q = -5*d + 1, -10 = n*q - 0*d - 2*d for q.
-3
Suppose -14 = -3*v - 5. Suppose -2*k = -a - 7, 5*k = -3*a + 4*a + 22. Suppose a*r + 16 = 5*h, 4*r - 3*h = 2 - 5. Solve 3*n + r = y + 4*n, 2*n - 4 = -v*y for y.
-2
Suppose -8*n - 31*r + 28*r = -7, -5*n + 3*r = -19. Solve -18*j = -22*j + n*u + 18, -5*u = j + 1 for j.
4
Let g be (-2 + 140 + 2)*(-11)/22. Let q = -66 - g. Let k = 87 - 84. Solve q*v = -5*o - 27, -k*v = -v + 4*o + 18 for v.
-3
Let f = -3867 + 3870. Solve -f*k - 2*l = -16, 5*k + 5*l = -1 + 31 for k.
4
Let p(o) = o**3 - 7*o**2 + 5*o - 1. Let c be p(4). Suppose -51*a - 396 = -63*a. Let r = c + a. Solve -r*y = -4*b - 24, -2 = -2*y + b - 4*b for y.
4
Suppose 2*u - 31 = u - 3*w, 2*u - 3*w = 53. Solve -3*k - 3 = 4*g, -95*k - u = -g - 90*k for g.
3
Suppose -46 + 42 = -2*c. Suppose p = 2*q + 17, c*p - 20 = 5*q + 19. Suppose -p*d = 6*d - 39. Solve -4*r + 5*f = 18, -4*r = -r + d*f for r.
-2
Let z = 1 + 8. Suppose z*t = 2*t - 98. Let j be -5 - (-2)/(-4)*t. Solve -4*r - w + 14 = 0, r - w - j = -2*w for r.
4
Let w be (-2835)/42*(-20)/90. Solve 0 = w*a - 18*a - 5*v + 35, 3*a - 4*v = -1 for a.
5
Let v = -255 + 258. Let y(n) = -32*n + 98. Let z be y(v). Solve 8*u + 4 = 4*u + 4*a, 2*a - 14 = -z*u for u.
3
Let z = 133 + -131. Solve -4*c - 10*b + 8*b - z = 0, 3*b - 30 = 5*c for c.
-3
Let v = 14251 + -14234. Solve 4*w - 21 = y, -3*w - 53*y = -54*y - v for w.
4
Suppose 43*w - 46*w - 6 = 0. Let u be -4 - (2/w + -12). Suppose 6 = h - 10. Solve -3*t = 5*k - 10, 5*k + u + h = 4*t for k.
-1
Let a = -1 - 1. Let r(f) = 5*f + 10. Let j be r(a). Solve -u + j + 4 = 0, 11 = -5*c - u for c.
-3
Let z(j) = 698*j + 4890. Let y be z(-7). Solve -3*c - 12 = -w, -18 = -w - w + y*c for w.
3
Let a be (-229 - -6)*(-10 - -9). Let p = -219 + a. Let z be 6/27 + 7/9. Solve 0 = 4*k - k - p*l - 1, z = -l for k.
-1
Let d = -12431 + 12436. Suppose k + 4*k - 70 = 0. Solve -18 = -h - d*s, h - 2*s + k = -2*h for h.
-2
Let x = 350 - 26. Suppose -26*v + 14*v = -x. Solve 19 = -4*f - 3*i, -5*f - 7 = -5*i - v for f.
-1
Let d(r) = -r**3 - 21*r**2 - 4*r - 42. Let t be d(-21). Let c be (t - 40)*(-3)/(-2). Solve o = -5*g - 30, 0 = -2*g - 0*o + c*o + 5 for g.
-5
Let r(i) = 2*i + 38. Let q be (-1 + 2 - -2)/((-10)/(-170)). Suppose 2*z = 0, -2*s - q = s - z. Let u be r(s). Solve 3*o - 4*y = 4, -u*o + 20 = 4*y - 4 for o.
4
Let m = 91219 + -91215. Let j = -8 - -4. Let o(q) = -2*q - 5. Let k be o(j). Solve 0 = k*a - m*a - v - 1, 4*v = -4 for a.
0
Suppose 4*j + 5*b - 10 = 0, 0*b = b + 2. Suppose 0 = 2*v - j*v + 15. Solve 4*a - s - 2*s - 31 = 0, -45 = -v*a + 5*s for a.
4
Let w = -183 + 130. Let t = 58 + w. Suppose u + 0*r + 2*r = -5, 0 = -t*u - 2*r + 15. Solve 0 = -3*x + 5*x - u*g - 19, 3*g + 15 = 0 for x.
-3
Suppose 3*p = 7*p - 3*v - 72, -20 = 5*v. Let m(b) = b**3 - 13*b**2 - 30*b + 3. Let f be m(p). Solve -3 = -f*j + a, a - 6 = 5*j + 3*a for j.
0
Let g = 687 - 687. Suppose g = 11*j - 141 - 2. Solve j = 3*r - f, -r + 5*f + 15 = -8 for r.
3
Suppose 0 = 5*j + 4*p - 26, -2*j + 22 = 3*j + 3*p. Let f = 17097 + -17093. Solve 4*c - 1 = -5*w, 3*w + 9*c + j = f*c for w.
1
Let c(b) = b**2 + 68*b + 134. Let j be c(-2). Solve -k - j*v = -7, 5*v + 9 = 3*k - 1 for k.
5
Let h be (0 - 1*-11) + -1. Suppose 0 = -4*t - 4*k + 5 + 27, 2*k = 10. Suppose v + 5*g - 6 = t, g + 3 = v. Solve 8 = -2*n - v*p - h, 5*n + 27 = -4*p for n.
-3
Let v(b) = 2*b. Let l be v(1). Let w = -185704 - -185727. Solve -4*f - 2*u = -3*f - 9, 5*u - w = -l*f for f.
-1
Let f be (-1)/5 - (-58016)/80. Suppose 0 = 9*q - 38*q + f. Solve 0*k + k - x - 5 = 0, 5*x = -4*k - q for k.
0
Let m(i) = -i**3 - 9*i**2 - 10*i - 14. Let d(x) = -2*x**3 + 11*x**2 - 7*x + 2. Let t be d(5). Let s be m(t). Solve s*v - 17 = 5*y, -4*y + v + v = 12 for y.
-5
Let p(c) = -8*c + 165. Let x be p(20). Suppose d = -3*u - 7, 5*u = -5*d - 0*u + x. Solve 25 = -4*z - z, 3*f + d*z = -13 for f.
4
Let t be ((-6)/30)/((-4)/20)*5. Suppose 3*r - 4 - 2 = 0, 2*h - 4 = r. Solve 12 = a + h*o, 16 = 3*a - 0*a + t*o for a.
-3
Suppose 1 = 4*v + 3*y, v + 15*y = 10*y - 4. Solve -4*d + 7*w + v = 4*w, 0 = -2*d - w + 13 for d.
4
Let k = 46783 - 46778. Solve 0 = -51*g + 50*g - k*r - 9, -r = 4*g + 17 for g.
-4
Let d = 59 + -59. Suppose d = -2*b - 5*i + 17 + 12, -2*b - 11 = -3*i. Suppose g + 5 = b*g. Solve 12 = 2*s - 3*w, -s - w + 2*w = -g for s.
3
Let j = 902 - 611. Let b = j - 286. Solve 3 = -y, q + b*y - 4 = -16 for q.
3
Let z be (-1)/(-3) + 473/129. Let r = 43 + -39. Suppose -5*t + r*d = -0*d - 14, -1 = d. Solve -4*g + 4*f + 8 = -0*g, z*g - t*f = 2 for g.
-1
Let h(l) = -3*l**2 - 104*l + 1689. Let q be h(12). Solve -5*f - 13*s + q*s - 27 = 0, s = 5*f + 12 for f.
-3
Let h = -6 - -10. Let o = 254223 + -254221. Solve 0 = -2*x - g - o, 3 = -h*x - g - 5 for x.
-3
Let y = -164 - -236. Let g = -70 + y. Solve 4*x = -g*q - x - 12, 3*q + 3*x = 0 for q.
4
Suppose -5*z - 30 = 0, 0 = 331*u - 334*u - 5*z - 15. Solve 0 = m + q - 10, -u*m = -2*q + 66 - 81 for m.
5
Let x be (0/(0 + -3 - 0))/(39 - 37). Let p = 30 - 19. Suppose c + m + 4 - p = 0, -4 = -m. Solve x = w - f - c, -2*f = -w - 4*w for w.
-2
Suppose 29*d = 30*d + 41. Let w = -36 - d. Solve 25 = 5*f + w*g, f - 7*g + 1 = -2*g for f.
4
Let t = 25 + 48. Let b = 82 - t. Suppose 9*m = b + 9. Solve 0 = -d + 5, 5*z = m*d + 14 - 44 for z.
-4
Let f(r) = -r**2 + 178*r + 3106. Let