Solve -10 = 5*y + a*n - 3*n, 5*n - 8 = y for y.
-3
Let a be 4/(-18) + (-14464)/(-1017). Let m = 1 - 1. Solve -t - y = -7, t - 3*t + 5*y - a = m for t.
3
Let a be 8/10*(1155/6)/(-11). Let y(u) = -u**3 - 15*u**2 - 17*u - 35. Let x be y(a). Solve -4*f - x + 29 = 2*j, 4*j + 2*f = 14 for j.
1
Suppose 0 = -4*b + 3*b - 144. Let a be b/68 - 2/(-17). Let k be -1 + (4 - (a + 5)). Solve 3*y + 4*f = 20, 3*f = 4*y - k - 10 for y.
4
Suppose -8*y = 29 - 13. Let p(z) = z**3 + 2*z**2 - 7*z - 11. Let n be p(y). Solve 8 = i - 2*o - o, -o = -n*i + 8 for i.
2
Let b be 145/(-87) - 1/(6/(-28)). Let x be 0 + (-2)/(-3)*96. Suppose x = 5*y - y. Solve -y = -3*s + 2*r - 4*r, 0 = b*s + r - 11 for s.
2
Let i = -12 + 34. Let w be 18 + (-5)/(20/(-8)). Suppose w = 4*r + 8. Solve r*d + 3*a = 3, -2*d + 3*a = -a + i for d.
-3
Let v = -3 - -11. Let j(p) = p**3 - 7*p**2 - 8*p + 2. Let r be j(v). Suppose -6*t = -5*t. Solve r = -2*f, t = -3*o - 2*f - 18 + 1 for o.
-5
Let c = -208 - -212. Solve -6*a + c*a = 2*s - 10, -5*a = -5*s - 5 for a.
3
Let t be (38/(-95))/(-4*(-2)/(-60)). Solve -5*k + 2*j + t*j - 5 = 0, 4*j = -4*k + 28 for k.
3
Suppose 3*i + 13 + 14 = 3*l, -5*i = 3*l + 13. Solve -4*a + 2*s + 7 = 25, -l*a - 2*s = 6 for a.
-3
Let p be 1/7 - (-1 + (-102)/21). Suppose -4*y = p - 18. Solve 0 = -3*q + 2*q - 2*b + 3, 0 = -3*q - y*b + 12 for q.
5
Let c be (-4)/(-3)*4008/16. Suppose 4*a - 2*l - c = 0, l = -2*a - 0*l + 157. Suppose 0*x - 3*x + a = -5*p, -4*p = 0. Solve 5*h - x = -4*n, 4*n - 11 = 1 for h.
3
Suppose -6*y - 61 - 29 = 0. Let o = y + -3. Let n be o/(-5)*(-20)/(-3). Solve 3*h + 2*t = 13, 2*h - n - 3 = -5*t for h.
1
Suppose n - 7 = -g - 2, n = 4*g - 20. Suppose 6*l - 8*l = n. Solve 9 = 3*w - 3*c, -5*c = -w - l*c + 11 for w.
1
Let b(u) = -u**2 - 11*u + 16. Let c be b(-12). Let y(s) = -s - 2. Let v be y(-2). Suppose -4*o + 11 - 3 = v. Solve -d + c*k = 14, 4*d - o*k = -6*k + 4 for d.
-2
Suppose -4*s + 3*t = -0 + 1, 19 = 5*s + 3*t. Let p = 2 - s. Solve -5*f - k - 3 = p, -3*k + 1 = f - 4 for f.
-1
Let t = 14 + -16. Let x be 2/(-4)*(t - -2). Let s be (20/(-15))/((-4)/18). Solve 2*m - 2*a + s = x, -a + 4 - 1 = -5*m for m.
0
Let t = 15 + -13. Let w be t/(-3 + 44/12). Solve 3*f - 20 = 2*f - w*i, -5*f + 5*i = 0 for f.
5
Let k(h) = -h. Let d(q) = -q**2 + 17*q + 32. Let m(g) = d(g) - 5*k(g). Let s be m(22). Solve -4*w - s = -z - 10, z = 2*w + 12 for w.
-5
Suppose -4*f - 8*x + 3*x = 7, 0 = -3*x - 9. Solve -f*y = -u - 3, -2*y + 4*y - 3*u = 9 for y.
0
Suppose 2*t = 113 - 17. Let f = t + -46. Solve -f = 2*v + 2*g, -v + 3*g - 7*g - 13 = 0 for v.
3
Let c be ((-3)/12)/(3/(-12)). Suppose 4*f - c = 5*y, 35 - 14 = 3*f + 3*y. Suppose 57 = f*z + 5. Solve -5*s + z = -3*b, -3*b + s = -0*s - 7 for b.
4
Let t(y) be the first derivative of -y**4/4 - 3*y**3 + 3*y**2 - 10*y + 16. Let g be t(-10). Solve 5*p = -2*r - 21, 0 = -3*p + 4*r - g + 7 for p.
-5
Let l(r) = -r. Let n be -5*2/(30/(-9)). Suppose -n*g + 6 - 18 = 0. Let o be l(g). Solve a - o*u + 8 = 0, -8*a + 3*a - 23 = -3*u for a.
-4
Let p(b) = -b**2 + 24*b - 41. Suppose -3*r - 16 + 82 = 0. Let g be p(r). Solve -i - 13 = 5*z, 2*z - 3*i - g = 5*z for z.
-3
Let z(r) = -2*r + 1 + 1 - 5 + r. Let k be z(-7). Solve -p = k*b + 10, 2*b + 2*p = -0*b - 2 for b.
-3
Let t(d) = 2*d**3 + 13*d**2 + 6*d + 4. Let w be t(-6). Suppose -i - 3*o + 27 = i, 0 = 2*i + w*o - 32. Solve 2 = m + m - 2*c, -4*c = -2*m - i for m.
5
Let p(s) = -s**3 - 26*s**2 + 53*s - 84. Let l be p(-28). Solve 3*m + 5*w + 21 = l, 3 = -4*m + 2*w + 1 for m.
-2
Let n(a) = a**3 + 10*a**2 + 8*a - 7. Let r be n(-9). Suppose -4*v - 35 = -3*f, r*f + 30 = 4*f - 4*v. Solve 0 = 4*l + 12, 3*l - f*l - 26 = -4*m for m.
5
Suppose 5*u + 153 = -5*p + 48, 76 = -4*p - 2*u. Let v = 34 + -49. Let z = v - p. Solve z*l - 15 = 4*l + 5*g, 5*l + 3 = -g for l.
0
Let f(l) = l**3 - 7*l**2 + 13*l - 15. Let r be f(5). Solve r = s + 2*d + 2*d + 7, 0 = s - d + 2 for s.
-3
Let a = -26 - -18. Let p be (a/16)/(1/(-8)). Let t = -2 + p. Solve t*i - d = -4, 5*i - 3*i + 5*d - 20 = 0 for i.
0
Let d be (16 - 15)*0/2. Suppose n - 4 + d = 0. Let r be n/10 + (-230)/(-50). Solve -5*q + 30 = -r*u, -q = -4*u + 2*q - 22 for u.
-4
Let f be (-7)/28 - (-2)/8. Suppose 0 = 4*z + 3*s - 15, -z - 2*s = -f*s. Let r be (-12)/6*z/(-4). Solve -5 = r*o - 8*o - 4*u, 2*o = -u + 2 for o.
1
Let f(j) = -j**3 - 2*j**2 + 4*j + 3. Let a be f(-3). Suppose -40*s + 44*s - 20 = a. Solve -s*x - 4*t + 8 = -1, 3*x + 1 = -4*t for x.
5
Let a be (30/(-4))/(1/(-2)). Let p be (10/a)/(6/171). Let r = 20 - p. Solve -r = d - 3*q + 4, 0 = 4*d - q + 20 for d.
-5
Suppose -7*g - 44 = -3*t - 2*g, 52 = 4*t - 5*g. Solve -p = p - 8, -i + t = p for i.
4
Let o be 404/(-36) + 4/18. Let g = o + 11. Suppose -k - 3*z = -13 - 2, g = 4*k - 3*z. Solve 3*q - 2*q + 1 = k*r, -5*q = -2*r + 18 for r.
-1
Let c(n) = -n**3 + 8*n**2 - 7*n + 2. Let l be c(7). Solve -5*a = 5, 3*f - l = 5*a + 12 for f.
3
Let b = 7 - 2. Suppose -b*p = 4*j - 22, -j = 2*p + 2*j - 6. Solve -m + 3*f - 2*f - 6 = 0, m + 5*f - p = 0 for m.
-4
Let q(u) = -u**3 + 9*u**2 - 9*u - 5. Let p be q(8). Let a = -17 - p. Let d be 1 - (-4 - a) - -3. Solve 4*r - 6*w + d*w = 18, -5*r + 4*w + 21 = 0 for r.
5
Suppose 5*a - 4*z = -0*a + 26, 4*z = -16. Let w(n) = -3*n - 18. Let x be w(-6). Suppose x*q - 13*q = -65. Solve 5*j + 4*l + q - 26 = 0, -4*j = a*l - 18 for j.
5
Let t(v) = -v**2 + 6*v. Let s be t(5). Suppose -s*i + i = -68. Let c be i/6 + 9/54. Solve 3*w + 12 = 3*g, -2*g + c*g = -4*w - 21 for w.
-5
Suppose 255*t = 237*t + 36. Solve 3*c = t*w + 8, 2*w = -4*c + 9*c - 16 for w.
2
Let c be 0/((10 + -8)*2/(-4)). Solve c = 4*b - 2*m - 14, -m + 3 = 4*b - 2 for b.
2
Let n(s) = 2*s - 8. Let m be n(4). Solve -4*q + w = -3*w + 16, m = -5*q + w - 24 for q.
-5
Suppose p = -3*v + 6, 66*p = v + 67*p. Suppose 3*k - 4*w = -2*w + 11, 5*k = -w + 14. Solve -2*h - 2*z - 3 - k = 0, 2*h = v*z - 6 for h.
-3
Let c = -67 - -71. Let l(z) = z + 2. Let j = 13 + -10. Let a be l(j). Solve a*s = -5*q, q + c*s + 0 = 6 for q.
-2
Suppose -3*g + 45 = 3*a, -5*g + 0*a + 2*a = -47. Suppose -9 = -5*m + g. Solve m*y - 2 + 10 = -5*k, -4*y - 8 = 4*k for y.
-2
Let z(q) = q**2 - q + 21. Let l be z(0). Let k be l/4 - (-1)/(-4). Suppose -5*u + 2*a = -13, -10*a = -3*u - 5*a + 23. Solve r + u = -1, -23 = -k*s + 4*r for s.
3
Let l(b) = -b**3 - 6*b**2 + 6*b - 5. Let j be l(-7). Let d = 5583 - 5583. Solve -j*m + 2 = d, -3*q + m = 2*q + 6 for q.
-1
Let c be 2/(-8)*2*0. Suppose 3*q + 2 = 2*v - 0, c = -q - 5*v + 5. Solve -5*a = -3*u - 27, -5*u + a = -q*a + 23 for u.
-4
Suppose -56*w = -62*w + 114. Solve -5*g = 4*f + 1, -g + w = -f - 3*f for f.
-4
Let t = 130 - 128. Solve 0 = x - t*c - 3 + 7, 0 = 5*x + c + 20 for x.
-4
Let j = -351 - -355. Solve -7 = -j*v + 3*s - 30, -5*v + s = 15 for v.
-2
Let w(d) = d**2 - 8*d - 6. Let u be w(9). Suppose 5*p = u*p + 16. Suppose 6*r - p*r = -56. Solve 0 = -4*n - 16, 2*n - 8 = 4*s - r for s.
3
Suppose 48 = -19*r + 23*r. Suppose 0*k = -4*k + r. Solve -2*v + 22 = v - 2*c, -3 = k*v + 3*c for v.
4
Let h = 58 - 55. Solve 0 = 3*x + 4*r + 5, -15 = 4*x - 0*x - h*r for x.
-3
Let u be 4/(-6)*120/(-16) + 2. Suppose -t - 1 = -2*c + u, 14 = 3*c - 2*t. Solve -2*p - 12 = -z, p + p + 14 = c*z for p.
-5
Let s be 4/(-8) - 56/(-16). Solve 2*u - 8 = s*h + 1, -4*u - 7 = -h for u.
-3
Let c be 0 + (-11)/((-66)/24). Solve 1 = m + 2*v, c*m - v - v = -6 for m.
-1
Suppose 3*d = -c + 56, 2*d + 5*c - 64 = -d. Solve 5*b - d - 10 = 2*h, -5*h - 36 = -4*b for h.
-4
Let q = -23 + 26. Suppose -5*t + q = 3. Solve t = a - 4*u + 11, a + u = -2*u + 3 for a.
-3
Let d be -3 - (8 - 25/4)*-4. Solve 4*a = -4*l - 16, d*l + 1 = 2*a - 21 for l.
-5
Let i(r) = r**2 + 12*r - 25. Let s(c) = c**3 + 2*c**2 - 14. Let y be s(0). Let z be i(y). Solve -9 = 3*j - 3*p, -3*j + z = -4*j + 4*p for j.
-3
Suppose -13 - 12 = 5*r, -5*o + 4*r + 20 = 0. Solve 0 = 5*m - o*t - 4*t + 12, -3*m + 12 = 4*t for m.
0
Let h be ((-24)/6)/((-2)/2). Suppose -i - i = -h. Suppose 5 - i = c. Solve 0 = -2*u - c*v + 9, 4*v = -1 + 13 for u.
0
Let m(x) = x. Let c be m(0). Suppose i - 1 - 5 = c. Let y be (i/(-5))/((-2)/5). Solve -y = n, -4*h - 23 = 3*n - 2 for h.
-3
Suppose -5*b + 20 = 25, -4*z - b + 19 = 0. Solve 3*t + 3*x + 12 = 3, -8 = z*t - 2*x for t.
-2
Let n be 3 + -3 + (-6 - -8). Let x be ((-32)/20)/(n/5). Let j(w) = -w - 4. Let p be j(x). Solve