= b*r. Let p = w - 18. Solve 8*k - 4*k + 28 = -p*j, 3*j + 5*k + 27 = 0 for j.
-4
Let h = 92 + -87. Solve -h*w = -2*t + 20, 4*t - 19 = -3*w - t for w.
-2
Let d = -46 + 36. Let p be (-4)/(-6) - -2 - d/(-15). Solve 2*y + 12 = 3*s - y, 0 = 4*s + 2*y + p for s.
1
Suppose 2*w + 18 = -4*x, 7 - 2 = -x. Let a be ((-9)/(-15))/(w*1/10). Solve 2*u + 3*y = 7, -4*u + 4*y + a = -18 for u.
5
Let k(q) = q**3 - 8*q**2 - 19*q - 7. Let s be k(10). Solve s*w = -n + 7 + 5, 0 = 3*n + w - 4 for n.
0
Suppose 0 = 9*r - 29*r + 500. Solve -5*s + 3*k + 13 = 4*k, 5*s - r = -5*k for s.
2
Suppose 0 = -4*x - 4*h - 4 + 28, 5*x - 24 = h. Suppose 0 = 14*y - 7*y - 77. Let t = 14 - y. Solve x*m + 30 = -t*z + 7*z, -2*m + 4*z - 24 = 0 for m.
-2
Let k(n) = -6*n + 162. Let z be k(26). Solve -2*v - 2*f = -0*f + 8, -2*f - z = 4*v for v.
1
Let p = 3 + 1. Let s(m) = -m**3 + 13*m**2 + 14*m. Let f be s(14). Let d be 5*(f + 3 - 2). Solve -k + 2*j = p*j + 13, d*k + 20 = -j for k.
-3
Let i(q) = -q**2 - 14*q - 17. Suppose 0*y = y - b + 8, 5*b = 2*y + 4. Let j be i(y). Solve -5*p - 13 = -2*x, -4*x + 2*x + j = -3*p for x.
-1
Suppose g + 0*a - 20 = 2*a, 3*g = a + 60. Let b = 25 - g. Solve i + 11 = n - i, 0 = n - b*i - 20 for n.
5
Suppose -11*a + 45 = -87. Solve 4*g = o - a, 0 = -5*g + 6*o - 2*o - 26 for g.
-2
Suppose 15 = 4*h - 7*f + 2*f, -f + 6 = h. Solve -1 = -2*u + u, 4*d + h*u = -11 for d.
-4
Let y(t) = -t**2 + 55*t - 250. Let b be y(5). Solve b = -3*i - 2*s + 9, 10*s + 3 = -3*i + 12*s for i.
1
Suppose 0 = -2*b - 3*b + 25. Suppose 3*c = -b*i - 3, 0 = -3*i + 5*c - 2*c - 21. Let a be (14/i - -4)*-6. Solve a*s = -4*q + 20, 2*s + 10 = 3*q - q for q.
5
Let u = 774 - 771. Solve -3*q + 9 = -3*o, -u*o - 23 = q + 3*q for q.
-2
Let r be -3*234/(-54) + (1 - 6). Solve z = -z + d - r, -d = 0 for z.
-4
Let n = -277 + 282. Solve 5 = 5*a - n*m, 4*a + 5*m - 4 = -0*a for a.
1
Let v be (-6)/45 + (-412)/60. Let l be (2 - 1)*(-91)/v. Solve 3*t + 2*a - 3 - 9 = 0, -t + 5*a = l for t.
2
Let x(h) = h - 13. Let g be x(19). Solve g = -2*u, -4*u - 15 = i + u for i.
0
Let c(q) = -q**3 + 7*q**2 + q - 7. Let t be c(7). Suppose t = -7*u + 6*u + 4. Solve -2*b = -4*o + 11 - 1, u*b + 20 = 0 for o.
0
Let y be 40/3 + 4/(-3). Suppose k - 3*k = -y. Suppose 2*j + 16 = k*j. Solve 28 = 3*m + 4*q, -m + j*q - 8 = m for m.
4
Suppose 2*g = 3*u - 15, -3*u - 2*g - 51 = -66. Solve 5*d + u - 32 = 4*p, -3*d = 2*p - 3 for p.
-3
Let m be 2/(-3) + 34/6. Let n = m + -5. Suppose -3*z + 4*i + i + 15 = n, 3*z + 2*i = 15. Solve 5*j + 38 = -4*q + 8, 0 = -2*q + z*j for q.
-5
Let w be 5 - (-2 - -5) - 2. Let j be 0 - (w - 1) - 4. Let k be 0*(0 + 3)/j. Solve -2*v = -5*o - 18, k = 5*o + v + 3*v + 24 for o.
-4
Suppose -4*x - 5 + 17 = 0. Suppose -5 = -b - 2*v, 3*b - v - 4*v = 4. Suppose b*y = -4*t + x, -1 + 4 = -y. Solve 0 = -2*n + 2, -2*n = 2*d - t*n + 3 for d.
-1
Suppose 0 = -2*z + 27*z - 125. Solve p = -z*l + 12 + 13, 5*p - 5 = -l for l.
5
Suppose -19*w = -12*w - 14. Solve 0 = -2*s - t + 4, -5*t + 18 = -5*s - w for s.
0
Let p = -15 + 17. Suppose 0 = -o + 2, -5*z - o - p*o = -6. Suppose -m - m + 8 = z. Solve 15 = 4*b + q, -q + m = 2*b + 3*q for b.
4
Let d = -8 - -11. Let t = 33 + -18. Let y = 0 + t. Solve 3*u - y - d = -2*g, -g + 5*u = 17 for g.
3
Let d = -54 - -59. Suppose -3*u + 4*u - 7 = r, 0 = -4*u + d*r + 32. Solve 0 = u*m + 2*m + 4*j + 17, -4*m + 2*j = -2 for m.
-1
Let m be (-5)/(((-3)/66)/(2/(-4))). Let u = m - -58. Solve -2*d = -a + u*d + 15, -2*a - 3*d = 22 for a.
-5
Suppose 18*y - 22*y = 32. Let c = -8 + 21. Let r = y + c. Solve -g + 5*u = 0, -r*g = u - 30 + 4 for g.
5
Suppose -2*t + 4*d - 8 = 0, -8*t + 3*t + d + 16 = 0. Solve -2 = k - t*l, 2*k + 3*k - 4*l + 10 = 0 for k.
-2
Let s = 7 + -5. Let x(p) = -p**3 - 2*p**2 - p + 2. Let u be x(-2). Suppose -u*b + 6*b - 6 = 0. Solve -o = -s*y - 0*o - 4, b*y + 13 = -2*o for y.
-3
Let c(h) = -h**2 + 9*h + 4. Let z be c(0). Let y(w) = -w**3 + 12*w**2 + 3. Let n be y(12). Solve z*v + 4 = -p + n*p, 3*v + 1 = p for p.
4
Suppose 0 = -10*n + 8 + 42. Solve 4*o = -3*j + n, o = -3*j - o - 5 for j.
-5
Suppose -3*x = 2*b + 2, 7*x - 4*x = 4*b - 32. Suppose b*w = -0*w - y + 50, -2*w - 5*y + 43 = 0. Solve 0 = q + 2*k + 8 + 1, 2*q = 5*k + w for q.
-3
Suppose 2*j + 3020 = -5*s, 7*s + j = 3*s - 2416. Let f be (-4)/(-18) + s/(-36). Let t = -17 + f. Solve t = 3*y + 2*r - 19, 3*r - 37 = -4*y - 2*r for y.
3
Suppose 0*b + 3*b - 1763 = -5*g, -2*b + 1410 = 4*g. Suppose 0 = 3*j - 7*j + g. Let s be j/4 - 1 - -1. Solve -4*w = -3*v + 7, 3*v = w + 7*v - s for w.
2
Let f(n) = 4*n**3 + n**2 - 1. Let m(r) = 17*r**3 + 5*r**2 + r - 4. Let k(z) = -9*f(z) + 2*m(z). Let s be k(-2). Solve -3*y + s + 3 = 4*x, y - 6 = -x for x.
2
Let n(c) = 7*c**2 + c + 1. Let a = -4 - -3. Let j be n(a). Let g be (0 - 1) + (48 - 44). Solve -2*f - b - 3 = j, g*b = 2*f - 6 for f.
-3
Suppose -2*i = 2*k - 14, 3*i + 0 = 4*k + 7. Let j(n) = -n**2 + 4*n + 5. Let y be j(4). Let u = y - k. Solve 5*x + 2*t + 40 = -u*t, -2*t = -x + 1 for x.
-5
Let x be (-12221)/(-505) + 6/(-5). Solve -8 = 25*m - x*m, -4*s + 24 = -m for s.
5
Suppose 4*z + 20 = 4*o, 4*z + 8 = -2*o + 18. Solve 2*q = 5*g + 15, -o*q + 4*g = -0*g - 29 for q.
5
Let c(d) = -3*d - 35. Let m be c(-13). Solve m*q = -2*g - 10, 0 = 5*g - 3*g + 2*q + 6 for g.
-1
Let s(t) = 20*t**2 - 3*t. Let l be s(-2). Let m = l + -78. Solve -4*u = 3*g + 2, -5*g = -2 - m for u.
-2
Let p be ((-4)/(-6))/((-40)/(-900)). Suppose -p = -11*u + 6*u. Solve -u*j + 6*j - 5*k - 6 = 0, 0 = -3*j - 2*k + 6 for j.
2
Let r be -14 + 20 - (-1 + 6). Solve 3*o + 5*g - 18 = 0, g - 5 + r = -o for o.
1
Let y(s) = -7*s + 4. Let u be y(-3). Suppose -8*w + u = -3*w. Suppose 0 = 4*a - w - 11. Solve -a*c - 7 = -p - 2, -2*p - 2*c = 10 for p.
-3
Suppose 4*v = -k + 5*k + 40, k = -5. Let o be (-274)/6 - 3/9. Let j = -34 - o. Solve v*b = 2*b - j, -3*b = -5*d + 17 for d.
1
Let r = -104 - -54. Let y be (-21)/(-5) - (-10)/r. Suppose -o = -3*l + 4, 5*o + 2 = 2*o + y*l. Solve 0 = -3*k + 7 + o, -4*k + 22 = 2*c for c.
5
Suppose 0 = -m - 1 + 3. Solve -m*f - 10 = -0*f, a + f + 4 = 0 for a.
1
Suppose 0 = -23*k + 24*k - 3. Solve 13 = 4*h - 2*a - 1, -3*h + k*a = -18 for h.
1
Let q(n) = -n**2 - 3*n - 2. Let b be q(-3). Let t = 1 - b. Suppose f - t*f = -4. Solve -2*a - 5*d - 15 = -f, -13 = 3*a + d for a.
-4
Let v be 2*1/((-1)/(-1)). Let g(f) = f**2 + 21*f + 94. Let t be g(-15). Solve t*j = 2*u - 6, v*j - 3*j = -3*u + 14 for j.
1
Let w(u) = 7*u + 41. Let i(y) = -29*y - 165. Let q(k) = -2*i(k) - 9*w(k). Let f be q(-8). Solve f + 4 = -z, j = -3*z - 18 for j.
-3
Let f = 201 + -321. Let m = -120 - f. Solve -5*q = -m*q + u + 23, 0 = -2*u - 6 for q.
-4
Let s = 5 - 1. Solve 3*r = -s*t + 35, -15 + 0 = -3*t for r.
5
Let g be 5/(-5) + 2*3. Let a be 5 - 10 - -9 - (-23 + -1). Solve -g*m + m + 4 = 3*f, -5*f + a = -4*m for m.
-2
Let g = -19 - -19. Suppose 2*x - 5 - 5 = g. Suppose -4*m + 16 = x*u, -5*m + 20 = -4*u - u. Solve -3*k + 3*o - 6 = u, -2*k = -8*o + 5*o + 7 for k.
1
Let x(m) = m**3 - 9*m**2 - 10*m + 6. Let c be x(10). Suppose -3*f + 0 = -3*s - c, 2*s - 26 = -3*f. Solve -6 = -2*z - 3*h + f, 0 = -4*z + 5*h - 20 for z.
0
Let z be (-9)/21 + (-636)/(-14). Suppose 5*h = -0*h - z. Let i = h + 11. Solve 5*m = -5*d + 25, i*m - 3 = 5*d + 7 for m.
5
Let a(b) = b**2 + 9*b - 26. Let j be a(-11). Let k be j/(-10) + (-156)/(-60). Suppose 0 = -k*o + 15 - 3. Solve g + 0*g = 3*c + 3, 2*g + 4 = -o*c for g.
0
Let b be ((-3)/(-2))/(-3)*0. Suppose 0 = -4*n - b*n - 5*v - 18, -5*v - 20 = 5*n. Let t be (-1)/n*(5 + -1). Solve 5*k = -0*a + t*a - 2, -5*a - 22 = k for k.
-2
Let a be (-25 + 31)*2/3. Suppose -a*q - 1 = -17. Solve 0 = -q*m + l - 19, 2*m - 2*l = 5*m + 6 for m.
-4
Suppose -4*p - 5*o - 6 = -22, -5*p - 3*o = -20. Solve -4 = b - 2*z, -3*b + 4 = -z - p for b.
4
Let i(z) = z**3 + 6*z**2 - 2*z. Let f be i(-6). Let o(h) = 4*h - 9. Let l be o(7). Suppose f = -u + l. Solve 5*j = 2*k, 3*j - u = -j + 3*k for j.
-2
Let a = 69 + -47. Suppose 0 = -2*j + 20 + a. Let o be (-6)/8 + j/28. Solve k = 4*w + 21, 4*k + 2*w + w + 11 = o for k.
1
Let o = 10 + -6. Suppose 0*r + 30 = 5*r. Let v be r - 1 - (-9 + 12). Solve -d = -2*s - 3, 3*s - v*d = -d - o for s.
-1
Let z be 7 + -7 + 7 + -2. Solve -2 = -4*m + 5*j, -2*j + z*j = 6 for m.
3
Suppose 4*u = a - 16, 1 + 0 = 4*a + 5*u. Suppose a*c + 12 - 44 = 0. Solve 0 = -4*l + g + c, -