= 5*s + 5*j for s.
4
Suppose 5*k - 210 = -9*k. Let y(w) = 0*w - 2 - 11 + w. Let b be y(k). Solve -1 = l, 4*g = g - 2*l - b for g.
0
Let l(d) = d**3 + 4*d**2 - 3*d - 9. Let b = 11 + -15. Let s be l(b). Solve 3*q = 3*v + 27, 0 = s*q - 2*q - 2*v - 14 for q.
4
Let g(t) = 11*t - 20. Let w be g(2). Solve l - p - 4 = 2, -w*l - 5*p - 2 = 0 for l.
4
Suppose -4*h - 5 = -117. Suppose -2*z + 2*x + 42 = -h, 80 = 3*z + 2*x. Solve -2*r = 4*n - z, 2*n = 3*r - n for r.
5
Let o(d) = -124*d - 617. Let f be o(-5). Solve -10*x = -4*m - 5*x + 32, 5*x = -f*m - 11 for m.
3
Let m(d) = 2*d - 9. Let p be m(6). Suppose 2*x = 5*s - 23, -3*s + 8 + 5 = -x. Solve -3 = p*a - 3*y, a + s*y = y + 5 for a.
1
Let h = 25 + -21. Suppose -j - 2 = c - 1, h = 5*j - 4*c. Solve 3*x + 2*x + 10 = 5*q, q + 3*x + 10 = j for q.
-1
Suppose -15*r = -231 - 24. Solve 5*m + 5*p = 25, -2*m - 4*p = m - r for m.
3
Suppose 0 = -4*z - 3*q + 91, 0 = 4*z + z - 5*q - 140. Solve 5*g + u - 2*u = -z, 5*u = 0 for g.
-5
Let i = 18 - 15. Suppose i*h - 3*r = 6*h - 45, -4*r = 0. Solve -3*n = -3*s - h, 0*n - n - 15 = 4*s for n.
1
Suppose 102*t = 103*t - 4. Let r be 2*t + (-21 - -16). Solve 0*h + h = 5*f + 12, -h + r*f = -6 for h.
-3
Suppose 1693*g = 1684*g + 36. Solve 4*p - g*u - 21 = p, -5*p - 3*u = -6 for p.
3
Let z(n) = n - 3. Let s be z(-2). Let v = s - -21. Suppose -2*k - 10 = -4*a + 6, 4*a - v = 4*k. Solve 2*l - 5*u = 14, -5*l + k*u + 5*u = -5 for l.
-3
Let m(d) = -d**3 + 28*d**2 - 73*d + 3. Let h be m(3). Solve 5*y + 14*c = h*c + 50, 2*y = 5*c - 15 for y.
5
Suppose 2*j - 2*c - 46 = 0, -4*j - 3*c + 83 = 2*c. Suppose -5*f = -32 + j. Solve 0 = -f*t - 2*t + 8, 0 = 3*o + 2*t - 13 for o.
3
Suppose 3*f - 335 = -5*r - 93, -3*r = 2*f - 146. Solve r - 34 = -2*b - o, -4*b = -4*o + 12 for b.
-5
Let g be ((-34)/(-51))/(1/6). Solve n = -2*z + 9, -g*z + 29 = z - 4*n for z.
5
Let q be -11*(-1 + (-63)/(-77)). Solve 4*u - 20 = -q*w, 2*w + u + u = 12 for w.
2
Let z = -72 - -68. Let o(c) = -9*c - 29. Let y be o(z). Solve -5*q - 3*t = 10, -30 = 3*q - y*t + 4*t for q.
-5
Suppose 61 + 39 = 50*z. Solve -2*l + 3*d - 8 = z, 0 = d - 4 for l.
1
Suppose -6*m + 110 = 5*m. Suppose -m*l = -11*l + 1. Solve 3*o + 4*i = 0, 3*o - l = -3*i + 2 for o.
4
Let x = -831 - -836. Solve 4*r + x = u, 4*u - 5 = 3*u + r for u.
5
Suppose 2*b - 7*b = -20, 4*j = -3*b + 32. Suppose p = -4*l + 3, -p + j*p - 12 = -2*l. Solve l = 4*h - 5*d + 30, -3*d + 2*d = -h - 7 for h.
-5
Let x(b) = -b + 4. Let q(l) = 1. Let p(n) = -3*q(n) + x(n). Let j be p(-2). Solve -4*h + a - 8 = 0, -4*a + 0 - 7 = -j*h for h.
-3
Let c be (-25)/(-7) - (9 + (-330)/35). Solve -4*k - 3*p + 15 = -c*p, -5*p = -k + 18 for k.
3
Let a be -2 - -6 - (7 + -5). Suppose 0 = -j + a*q + 14, -10 = -3*j + 2*j + q. Suppose -6 = -4*o + 2*o. Solve 5*s + i = j, -5 = -o*i - 2 for s.
1
Let w(x) = x + 47. Let m be w(-42). Solve 0 = m*b + 4*g + 10, g + 4*g = 5*b - 35 for b.
2
Let t be (1/1)/(1/19). Let h = 21 - t. Solve 3*x - 20 = -h*r, 4*x - 4*r + 2*r - 8 = 0 for x.
4
Suppose -3*w + 5 = -6*q + 2*q, w + q = 4. Solve -2*y - 20 = w*s - 9, 4*s = y for y.
-4
Let s = 601 - 581. Solve -5*r = -m - s, -2*r + 0*m + 15 = m for r.
5
Suppose -1403*a = -1408*a + 60. Solve -4*y + a = 0, 2*d - 4 = -y - 7 for d.
-3
Let r = 159 + -157. Solve 2*a = 2*y - 6, 5*y + 2*a - 6 = -r*a for y.
2
Suppose 7*d - 267 = -232. Solve -4*y + 5*y + 5*s = 21, 0 = -4*y + d*s - 16 for y.
1
Let y(u) = 2*u - 26. Let l(j) = j - 9. Suppose -6*h + h + 15 = 0. Let g(k) = h*y(k) - 8*l(k). Let d be g(-4). Solve -10 = -d*m + n, 4*m + 5*n - 8 = n for m.
4
Let q(y) = -6*y - 68. Let b be q(-12). Suppose -5*l - 2*t = -25, b*l - 6*l + 4*t + 34 = 0. Solve 5*r + 5*c = 5, -4*c + 7 = -r - l for r.
-2
Let z(s) = s**3 + 12*s**2 + s + 12. Let b be z(-12). Solve -3*d + 5*i + 6 = 0, 0 = -d + i - b*i for d.
-3
Suppose 10*g - 63 = -3. Solve 4*f - 27 = -5*l, 5*f + 3*l - g = 6*f for f.
3
Let j = -1700 - -1711. Solve -n + 7 = -5*o, -9*n + 5*o + j = -6*n for n.
2
Suppose 9*c + 30 = 4*c. Let i(a) = -a**3 - 35*a**2 - 38*a - 105. Let d be i(-34). Let z = c + d. Solve 4*n - 2*v = 16 - 6, 0 = 4*n + v - z for n.
5
Let j = -234 - -238. Let l = -44 + 62. Solve y - w - w = 12, -y - j*w = l for y.
2
Let p = 0 - -3. Suppose -z + 72 = 52. Let g be ((-12)/20 + 1)/(4/z). Solve -x + g*l = 7, x + p = 2*x + 3*l for x.
-3
Suppose 4*w - 68 = -4*i, -i + 0 - 3 = -3*w. Suppose -i*t = -2*t - 40. Solve -4*k + 24 = t*o, -k - 8 + 22 = 5*o for k.
4
Let i(c) = 6*c - 33. Let t be i(6). Solve 4*g + u = t, g + u = -2*u - 2 for g.
1
Let j(o) = -o**3 - 5*o**2 + 6*o + 6. Let q(n) = 2*n - 15. Let i be q(0). Let z = i - -9. Let s be j(z). Solve -3*h = -4*f - 5, h + 14 = -3*f - s for h.
-5
Suppose 47*w + 4 = 48*w. Solve w*m + a = -17, 0 = -3*m + a - 2 - 2 for m.
-3
Suppose 0 = -10*j - 2*j - 24. Let v be j*(-2)/(-12)*-15. Solve 0 = 4*n - 4*i, -2*n - 3*n - v = -4*i for n.
-5
Suppose 2*o = -z - 7 - 1, -2*z = -8. Let w be (-4)/(8/o) + 2. Solve -5*m = w, -28 = -5*s - m - 9 for s.
4
Let w be ((-6)/9)/(-2 + 48/27). Let x be -1 + ((-184)/(-44) - 4/22). Suppose 0 = -4*h + 5*h - 4. Solve u - 5*u - x*f = -h, -3*u = 3*f - w for u.
1
Suppose -4*a + t + 4 = 0, -2*a - 2*a - 20 = 5*t. Suppose -6*s + 4*s - 20 = a. Let v = s + 15. Solve -3*j + 4 = 2*h, 7*j = 3*j - v*h + 17 for j.
-2
Suppose -10*y = -72 + 42. Solve j - 12 = -y*o, -2*j - o = -0*o - 9 for j.
3
Let b = -68 - -72. Solve b*r + 4*p = -32, 3*p + 22 = -4*r + p for r.
-3
Suppose 0 = -18*c - 52 + 106. Solve c*d - d = -i + 10, -i = d - 6 for d.
4
Let r(u) = -u**3 - 10*u**2 - 27*u - 5. Let d be r(-3). Solve 3*w = y + 8, 2*y - d = -5 for w.
4
Let n(d) = -d**3 - 18*d**2 - 16*d + 30. Let t be n(-17). Solve 0 = c + 2*c + m - t, -4*c + 5*m - 8 = 0 for c.
3
Suppose 22 + 8 = 4*b - 2*r, -5*b = 2*r - 42. Suppose -15 = 6*o - 9*o. Solve 2*c + o*k = -c + 23, -2*k = -b for c.
1
Suppose -2*o + 6*o = 0. Let s = 3638 + -3637. Let l(m) = m**3 - 4*m**2 + 3*m + 1. Let n be l(3). Solve -w - 4*t = 0, 2*t - n - s = o for w.
-4
Let x be 22/14 - (-3)/7. Let f = x - 12. Let c = f - -15. Solve c*w = 2*d + 3*w, 0 = -5*d - 2*w - 35 for d.
-5
Let g = 50 + -47. Solve -2*a = g*t - 2 - 2, 4*a - 24 = 2*t for a.
5
Let c = -89 - -101. Let j = c - 7. Solve h + 5*n = -2*h + 7, n + j = h for h.
4
Let c be 2/(2*(-2)/(-8)). Suppose c*r - 2*r = 10. Solve 11 = 2*b - 3*k, r*b - k = k for b.
-2
Let n be (-24)/4 + 5 + 5. Solve -16 = -4*w + z, n*w = -5*z + 10 + 6 for w.
4
Let j be (-8 + 8)/(6/2). Solve j = -4*b - 16, 4*d + 8 = b - 8 for d.
-5
Let q(w) = -w**2 - 7*w - 4. Suppose -8*n - n = 54. Let i be q(n). Solve i*b = 5*v - 41 + 16, -b - v - 2 = 0 for b.
-5
Let x(d) = -d**3 - 33*d**2 + 65*d - 149. Let o be x(-35). Solve -3*r = -u - 1, -o*u + 29*u = -5*r - 17 for u.
-4
Let m = 94 + -60. Let r be (-2)/4 + 119/m. Solve -3*d = -k + d + 5, k + r = -4*d for k.
1
Let m(i) = -2*i + 4. Let j be m(-5). Let b(v) = 2*v**2 + 37*v + 22. Let f be b(-18). Solve 7*u = 3*u + 3*t - j, 3*u = -t - f for u.
-2
Let h(c) = -c + 16 + 25*c**2 + 3*c - 18*c**2 + c**3. Let g be h(-7). Solve -i - 5*k = -5, g*i + k - 1 = -0*i for i.
0
Let u(w) = -w + 9. Suppose -5*j - b + 3*b = -40, -8 = 2*j + 4*b. Let p be u(j). Solve 4*a = p*y - 6, 2*y + 2*y = a + 8 for y.
2
Suppose 2 + 22 = -12*b. Let o = -2 - b. Solve 4*g - 6 - 1 = 3*l, o = 3*l + g + 2 for l.
-1
Let m(f) = -3*f - 39. Let n be m(-14). Solve -3*w - 5*x = 22, -n*x - 10 = 3*w - 2*w for w.
-4
Suppose 0 = -4*i + x - 120, -i - x = -17 + 47. Let q be (-6)/(-4)*2*i/(-18). Solve -4*g + 30 = -q*z, 10 = 2*z + 3*g - 1 for z.
-2
Suppose 0 = -10*j + 22*j + 36. Let q = -6 + 5. Let z be (-1 + j - 1)/q. Solve z*t - 4*w + 50 = w, 5*t + 35 = 2*w for t.
-5
Let o(m) = -m**3 - 6*m**2 + 5*m - 8. Suppose -3*g + 68 = -5*g. Let l = g + 27. Let a be o(l). Solve 3*p + z = -4*z - 6, 3*p - 2*z + a = 0 for p.
-2
Let s be 25 - (6/(-2))/(-1). Suppose -d + 5*l + s - 7 = 0, 4*d = -3*l - 9. Solve -2*y - 2*u = -18, d*u + 23 = 3*y + 2*u for y.
5
Let t(l) = l**2 + 6*l + 8. Let o be t(-5). Solve -3*a - 4 = -a, -o*v = 5*a - 2 for v.
4
Suppose 4*p = -5*c + 3*p + 19, -4*c - 5*p = -32. Suppose c*a = -4*o + 9, -o = -2*a - 5 - 0. Solve -o*j = -2*r - 5, 2*j + j = 5*r - 1 for r.
2
Let y = 93 + -53. Suppose 2*p - 5*f = 5*p - y, -2*p = 3*f - 25. Let u(o) = -17*o - 456. Let j be u(-27). Solve 0 = -j*v - c + 12, v + 2*c - p = 4 for v.
3
Suppose 3*