0, -3*s = 3*d - 8*s + l for d.
1
Let s be -2*(14/(-8) - 45/60). Suppose 11*o - s*o - 66 = 0. Solve -f = 3*g - o, 3*f - 17 = -f - 3*g for f.
2
Let y = 91 + -32. Let i = y + -55. Solve i*n + 4*b + 24 = -0, -18 = n + 5*b for n.
-3
Let h be -1 - (-15)/6*(5 + -3). Let o = 6 - 4. Let j be 5 - (o - 1)/1. Solve -3*z - r - r = -j, h*z = -r - 3 for z.
-2
Let y(n) = -n + 6. Let z be y(-2). Suppose -2*w - 48 + z = 3*l, -107 = 5*w + 4*l. Let x = 28 + w. Solve -x*s = -b + 24, 0 + 4 = 4*b + 3*s for b.
4
Let a(r) = -3*r - 4. Let n be a(-3). Suppose -5 = -5*b + n. Suppose -2*j = b*j. Solve 5*v = 4*s + 4, -2*v + v - 2*s + 12 = j for v.
4
Let g be 6/4*(-10 - (-484)/33). Solve 0*c - 4*c - 10 = -2*h, g = 5*h - 4*c for h.
-1
Let w(x) = 25*x - 320. Let d be w(13). Solve 0 = -f - h + 3, d*h - 1 = -2*f + 2 for f.
4
Let o(a) = -a**3 - 6*a**2 - a - 2. Let n be o(-6). Suppose 4*c - 28 = n*s, -c + 17 = -s + 5*s. Solve 5*m = -2*j + 11, j = -2*j + m - c for j.
-2
Let n be ((-210)/(-60))/(21/30). Solve 5*j = -n*p + 20, 28 = 2*j - 5*j + 5*p for j.
-1
Suppose -36 + 9 = z. Let i(w) = 3*w + 91. Let q be i(z). Suppose t = 2*t - 4. Solve t*s = -2*d + q, 5*d = -s - 2*s - 3 for s.
4
Suppose -14*w + 22 = -20. Solve -2*t - 13 = 5*i, w*t = 3*i + 4 + 8 for i.
-3
Suppose 5*o - 3*o = -4*f + 10, -5*f = -5. Solve 5*u = -20, 2*k - 4*k - o*u = 16 for k.
-2
Suppose 3*t + 35*k + 13 = 39*k, 0 = -t - 3*k + 13. Solve 2*m = -c + 11, 2*m = m + 4*c + t for m.
5
Suppose -4*k = -y + 16, 4*k = -5*y - 0*k + 8. Suppose -y*g + 57 = -35. Let f be (-144)/(-90)*10/4. Solve 15 = -o - 3*p, -g + 3 = -4*o + f*p for o.
0
Suppose -270 = -41*p + 58. Solve 2 = -w, l - w = 4*w + p for l.
-2
Let w = 46 + 8. Let d = w - 50. Solve -4*j + 5*s - 23 = 0, 2*s - 16 = d*j - 2 for j.
-2
Suppose 0*g = 5*g - 10. Suppose 0 = a - 5*a + 12. Solve g*w + 6 = -5*q, q - 9 = a*w - 2*q for w.
-3
Suppose 3*h = 3*a + 284 - 101, 3*h + a = 187. Let s = h - 60. Solve -4*m + 2*r + 18 = s, 30 = 4*m + 5*r for m.
5
Let q be (140/25)/7 + 230/25. Solve -2*c = 2*j + q, 2*c - 7*c + 5 = -5*j for j.
-3
Suppose -3*s + 4 = 2*w - 2*s, -4*w + 2*s = -24. Suppose 2*v + 5*q = -8, -w*v + 12 + 24 = -3*q. Solve -r - 7 = -l, -4*l - v*r + 4*r = -16 for l.
5
Let z be 1/3 + (-221)/51 + 10. Solve 2*f - 2*t + 26 - z = 0, -5*f + 2*t - 35 = 0 for f.
-5
Suppose 0 = f - 6 + 7. Let r(w) = w**2 + 3*w - 6. Let u be r(-5). Let g = f + u. Solve 2*o - 2 = g*o + z, 0 = 2*o + 3*z + 9 for o.
3
Let y be 2/8 + 14/8. Let i be 1/(-1)*33*(-6)/18. Suppose -3*u + 4*z + i = -9, 2*u = -5*z - 25. Solve 2*r + 2*v + 6 = u, -5*v - 3 - 9 = y*r for r.
-1
Suppose -3*k + 3 + 6 = 0. Suppose 0 = 84*p - 87*p. Solve k*x = 3*q, 3*x - 2*q = -p*x for x.
0
Let p(c) = -c**3 + 4*c**2 - 11*c + 48. Let m be p(4). Solve 5*w + n = -8, n + m*n - 12 = w for w.
-2
Let y be (13 + -13)*(-4)/8. Solve 2*i + y*z = -3*z + 6, -4*z = 0 for i.
3
Suppose -5 = 2*d + 3*d. Let b be 2/(d*4)*-16. Suppose 2*t - 6*t = -b. Solve 0 = -t*p - 5*k - 31, 2*p = -k - 3*k - 26 for p.
-3
Let n(w) = -3 + w**3 + 6*w**2 - 3 - 4*w + 7*w. Let j be n(-5). Let l = 41 - 25. Solve 16 = -5*i + j*i - 5*h, l = -4*h for i.
4
Let s(h) = h**3 + 4*h**2 - 6*h - 3. Let v be s(-5). Suppose 3*u = -v*u. Solve -5*a = u, -m = 3*m - a + 20 for m.
-5
Suppose 25 = 11*c - 30. Suppose 0 = c*h - 5, -5*a + 0*h + 2*h = -18. Solve a*r + 3*p = 2 + 23, 3 = p for r.
4
Let l be (-82)/984 - 61/(-12). Solve -l*d + 4*u = 28, -d - 8 = 2*d + 2*u for d.
-4
Let n(y) = 2*y - y**2 - 11 + 8 + y - 7*y. Let r be n(-3). Suppose r = s + 2*s - 15. Solve 0*l + 2 = l, s*a = 3*l - 6 for a.
0
Let q(i) = 0*i - i + 7 + 4*i - 2*i. Suppose -6*t - 4 = 20. Let c be q(t). Solve -y + 14 = b + c*y, 16 = 4*y for b.
-2
Let a(u) = -11*u + 3. Let v be a(-3). Let i be v/14 - 52/91. Suppose -20 - 14 = -i*s - t, 3*t = 0. Solve -4 = 4*h, -3*q - s = -0*q + 2*h for q.
-5
Let l(s) = 2*s**2 - 15*s + 4. Let m be l(8). Solve -o - 6 = 3*b, -5*o - m = -2*b - b for b.
-1
Let l be (0 - 3/3)*7. Let d be 6/l*14/(-4). Let u be 260/12 + 1/d. Solve -5*r - 4*a = -9 + u, 9 = r - 5*a for r.
-1
Let y(x) = x**3 + x**2 + x - 1. Suppose 6*l - 12 = -6*l. Let c be y(l). Solve 6*i - g = i + 27, -5*i = -c*g - 29 for i.
5
Let p(m) = m - 4. Let t be p(10). Let q be 76/18 - t/27. Suppose q + 8 = 3*d. Solve -11 = d*z + 3*s - 3, -5*s + 45 = -5*z for z.
-5
Suppose -3*l - 17061 = -3*p, -3*p - 2*l = 2*l - 17061. Let b be (-2)/5 + p/55. Suppose 39 - b = -4*n. Solve 2*x - 4*w + n = 0, 2*x + 4*w = 6*x + 24 for x.
-4
Let l(q) = 2*q**3 + 25*q**2 - 15*q - 11. Let j be l(-13). Suppose 5*r - 15 = 2*r. Let w = 8 - r. Solve -v = -4*v - w*t - j, -3*v + 3*t - 15 = 0 for v.
-5
Suppose 0 = -3*x + 111 - 27. Solve 3*b + 2*b + x = 3*h, 2*h - 4*b = 22 for h.
1
Suppose 2*m = m + 5. Suppose 89 + 7 = 24*w. Solve 2*c - w*a + 2 = 0, m*a - 10 = 6*c - c for c.
-3
Let h(f) = 15*f - 367. Let s be h(25). Solve 0 = 3*y - 6, 2*y - s = 3*t + 5 for t.
-3
Let k = 793 - 790. Let x = -17 - -10. Let h = 11 + x. Solve 0*a = h*a, k*a = -5*i + 25 for i.
5
Let x(s) = s**2 + 17*s + 2. Let l be x(-6). Let a be 1/4 - (-16)/l. Suppose -n + 3 - 1 = a. Solve -3*c - 6 = -n*m - 5*c, 0 = -3*m - 2*c + 4 for m.
-2
Suppose 149*k - 146*k - 15 = 0. Solve 0 = -7*n + 6*n, k*g + 3*n = 0 for g.
0
Let d(w) = 4*w + 7. Suppose 3*a = 2*z - 18 + 6, z = 0. Let q be d(a). Let c be 20/(-90) + (-29)/q. Solve o = -c*u - 3, 2*u + 6 = -u for o.
3
Suppose -15*y + 14*y = 0. Suppose y = 4*h + h - 105. Solve 3*x = -0*k + 5*k + h, -k + 2*x - 7 = 0 for k.
-3
Let t(l) = -l**3 - 3*l**2 + 3*l - 1. Let d be t(-4). Let p(o) = -o**2 + 3*o. Let a be p(d). Let i = 3 - a. Solve 12 = -i*c, 2*c + 6 = -5*w + 4*w for w.
2
Let w(v) = -2*v - 2. Let q = 28 + -31. Let z be w(q). Solve -z*p - 23 = -5*m, -2*m = 4*p - p for m.
3
Suppose 5*a - 54 = -0*a + t, 2*t = -5*a + 42. Suppose 0 = -0*r - a*r. Solve 3*v = 5*z - 28, 5*v + r - 5 = -2*z for z.
5
Let p(m) = -2*m**2 + 66*m + 2. Let s be p(33). Solve 4*u + k - s*k - 14 = 0, 2*k + 13 = 3*u for u.
3
Suppose -11 = -4*a - 59. Let i be a/54 - (-292)/18. Let q = 19 - i. Solve -4*f - 3*y = -14, 0*f = -q*f - 2*y + 10 for f.
2
Suppose 63 = 22*t - t. Solve 2*i = k - 3*k - 14, 0 = -3*i + 5*k + t for i.
-4
Let j = 29 - 24. Suppose 2*s = 1 - 9, 0 = -2*i - j*s - 10. Suppose 0 = -i*d + 43 - 33. Solve -d*w - b = -2 + 3, 0 = -5*w - 2*b for w.
2
Suppose -79*m - 80 = -84*m. Solve -m = 4*p, 8 = -5*i - 3*p + 6*p for i.
-4
Suppose 12 = -3*s, -15*a + 12*a - 2*s + 7 = 0. Solve -4*f + 2*p + 10 = 0, -9*f + 20 = -4*f - a*p for f.
1
Let b = -327 - -328. Solve 4*d - 4*v = -4, -3*v = -2*d - 0*d + b for d.
-4
Let u(h) = h**2 - 15*h - 84. Let j be u(20). Solve 4*w = -5*f + 4, -4*w + 7*w = f - j for w.
-4
Let p be (-91)/(-21) + -2*(-1)/(-6). Solve -5*s = 4*n - 36, 2*n + p*s - 11 = 13 for n.
4
Suppose -68 = -5*n - 4*x, 8*x - 6*x + 6 = 0. Let k be -11 - 4/(n/(-4)). Let o be 6/k - 15/(-25). Solve -2*j = 2*d + j - 21, 5*d - 2*j - 5 = o for d.
3
Let d(u) = 2*u**2 + 1. Let i(l) = -l**2 + 7*l + 2. Let w be i(7). Let t be d(w). Let b be 48/t - (-4)/6. Solve 2*k + 10 = -4*m, -k = -b*k + 25 for m.
-5
Let o(p) = 3*p**2 - 72*p + 194. Let b be o(3). Solve n = -5, 6*n + 4 = x + b*n for x.
-1
Let x(j) = -9*j. Let k be x(-1). Suppose 5*n = k*n. Solve 0 = -n*m + 3*m + 5*t - 30, 3*m + 2*t = 21 for m.
5
Let d(s) = 19*s + 3. Let z be d(4). Let t be z/6 + 2/(-12). Solve 3 = v - g, 0 = 3*v + g + t - 2 for v.
-2
Let j(f) = f + 6. Let n be j(-12). Let r = -5 + 13. Let a be (r/6)/((-4)/n). Solve -a*h - 3 = 3*g, -h - 3*g - 1 - 2 = 0 for h.
0
Suppose 0 = 5*h - 5*u + 205, 2*h + h + 121 = u. Let s = h - -44. Solve 40 = -s*g + 4*f, 5 = -4*g - 3*f - 0*f for g.
-5
Let s(l) = -2*l**2 - l + 1. Let t be s(2). Let h = t - -12. Let d = 1 + h. Solve 3*r - 16 = 4*k + 8*r, -k = -r + d for k.
-4
Let t be 2*-1*(-5)/2. Suppose 25 - 14 = -2*i - 3*b, -2*i - 18 = 4*b. Solve -i = -o, 9 + 1 = 5*h + t*o for h.
-3
Let u(r) = 333*r**2 + 0*r - 334*r**2 + 4*r**3 - 1 + r. Suppose 6*h + 10 = h, 0 = -v + 4*h + 9. Let w be u(v). Solve -o + y = 7, -5*y = -o + w*o - 14 for o.
-3
Suppose -5*n - 16 = -2*w - 3*n, -3*n - 12 = 0. Suppose u = -w*m + 7, -5*u = -2*m - 2*m - 83. Solve -u = 5*r - 3*i, 3*r + i + 4 = -5 for r.
-3
Suppose 35 = 5*x - 5*z, -2*x + z = -3*x - 3. Suppose -5*j + 3*d + 53 = -j, j - x*d = 17. Solve h - j = 4*v, 0*h + 3*h = 2*v + 3 for v.
-3
Let r = -4 + 7. Suppose