 0 = 8*x - 6*x - 12. Suppose -x*t + 14 = t. Solve 15 = -t*b - 5*v, 4 = -2*v + 2 for b.
-5
Suppose 0*x + 20 = 2*x. Let l(a) = a**2 - a - 4. Let n(h) = -h**2 - 14*h - 7. Let d be n(-13). Let t be l(d). Solve 0 = 5*y - 0*y + v + t, 5*v - x = 3*y for y.
-5
Let y be (-95)/(-2) + 1/(-2). Let b = y + -34. Suppose 0*u + 2 = 2*p - u, -3*u = p + 6. Solve 5*q + 17 = 3*x, b = 3*q - p*x + 4*x for q.
-1
Suppose t - 5 - 5 = 0. Let c(y) = 20*y + 442. Let p be c(-22). Solve p*w + g = -6, -g = -w - 5*g - t for w.
-2
Let l(z) = z - 7. Let y(s) = 3*s - 21. Let b(p) = 17*l(p) - 6*y(p). Let u be b(-6). Solve 2*g = v + u, 0 = -5*v - 5*g - 3 - 2 for v.
-5
Let m(y) = -y**3 - 38*y**2 + 39*y + 4. Let f be m(-39). Solve 4*p = -4*r + 20, -5*r = f*p - 17 - 7 for r.
4
Let t(x) = -x**2 - 2*x - 5. Let n be t(-5). Let s = n + 20. Solve s = -3*f + 4*z - 8, 0 = f - 2*z - z + 11 for f.
4
Let q(w) = 3*w**3 - 1. Let j be (2/4)/(3/(-6)). Let m be q(j). Let f = 8 + m. Solve 5*l + 2 = -f*v, 0 = -3*v - 4*l + l for v.
2
Suppose 12*p + 14 = 50. Solve v - 6 = -f, 17 = 7*f - 3*f - p*v for f.
5
Let t be (0/(-2))/((-4)/(-8)*4). Suppose 3*w + 22 = -p, -2*w = 4*p - p + 38. Let i = p + 15. Solve i*g - 4*u = -3, t*g - u = -g for g.
-3
Let y = -81 + 105. Solve 32 = 3*a - 4*p, -4*a + y = -3*a - 4*p for a.
4
Suppose 6 = 6*k - 3*k. Let c be 5 - 0*k/(-6). Solve -3*g = 2*t + 5, -2*t - 40 = -c*t + 5*g for t.
5
Suppose -5*g = -g - 160. Let a = 24 - g. Let l = a - -20. Solve 2*j - 6 = 2*w - 0*w, -2*w - 10 = -l*j for w.
-1
Let v(o) = o**3 - 4*o**2 + 9*o - 69. Let i be v(5). Solve -m - s - 4*s = i, 3*s + 3 = 0 for m.
4
Let n be (10/(-6) + 1)*-3. Suppose 5*u - n*u = 3. Suppose m - 5*m = 8*m. Solve m = -0*j + 3*j + s - u, -2*j - 2*s = -2 for j.
0
Suppose -4*x = -j - 13, 0 = 3*x + 4*j - j - 21. Solve -4 = x*f, a + 2*f = -3 + 4 for a.
3
Let p(v) = -v**3 - 2*v**2 - 2*v - 11. Let h be p(-3). Let d = 3 + -3. Solve -h*z - 12 = d, 5*o + z = -5 + 2 for o.
0
Let d = -399 + 406. Solve -4*c - 4*r = -12, 0 = c - 3*r - 0 - d for c.
4
Let c be (-130)/(-18) + 18/(-81). Let m = c + 4. Let l = -4 + 7. Solve -4*a = 2*j - 5*j - m, j = 2*a - l for a.
-1
Let m(f) = -4*f - 8. Let o be m(-3). Let k be (o - (6 - 3))*13. Suppose -k = -2*d + 7. Solve i - 5 - d = -4*p, 45 = 5*p - 4*i for p.
5
Suppose -20 = 3*r + 5*y, -19*r + 14*r = -3*y - 12. Solve 5*z = 3*d - 0*z + 19, -5*d - z - 13 = r for d.
-3
Suppose -5*u + 3*c + 124 = 0, 2*u - 13 = -5*c + 49. Suppose u - 142 = -4*w. Solve -a - f = 8, a - 4*a - 4*f = w for a.
-3
Let g be (-65)/(-21) + 80/(-840). Solve 0 = l - 0*l - 4*b - 14, 0 = -g*l + 4*b + 10 for l.
-2
Suppose 32*i - 28 = 18*i. Solve -5*k - 4 = -s - 3*k, 5*k + 11 = i*s for s.
-2
Let l be 16/1 - -1*4. Let f = -18 + l. Solve a = f*j + 2 - 8, 5*a + 5*j + 15 = 0 for a.
-4
Suppose -2041*q + 2047*q - 48 = 0. Solve 3*s + s = n - q, n + 3*s + 13 = 0 for n.
-4
Suppose 2*x - 2*j = 2*j + 76, x + 2*j - 34 = 0. Suppose 3*v - x = -3*v. Let y = 0 + v. Solve 4*f - 4*u = 0, 3*u - u = 5*f + y for f.
-2
Suppose 6 = -3*n + 3*j, -17*j + 20 = -12*j. Solve n*w + 8 = -s, 5*w - 3*s + 8 = -1 for w.
-3
Let w be (5/3)/((-8)/(-24)). Suppose -2*m - w = -3*y, -12 = -y - m - 2. Solve 5*v - i - 24 + 5 = 0, 5*v - y*i = 35 for v.
3
Let r(q) be the third derivative of 5*q**4/24 - 13*q**3/6 - 6*q**2. Let s be r(7). Suppose 3*d + 7 = s. Solve -10 = -5*k + d*t, -t - 10 = -6*t for k.
4
Let l(b) = b**2 - b + 2. Let r = -36 + 38. Let g be l(r). Solve 4*c = -3*k - 7, -g*c + 4*k + 19 = -9 for c.
2
Suppose 0*o + 4*o = 12. Let y(q) = -q**2 + 4*q. Let c be y(3). Suppose 28 = 5*p - 3*r, -c*r = 4*p + p - 52. Solve -2*n + p = 2*j, -4*j + n = o*n - 8 for j.
0
Let o(x) = -x**2 + 43*x - 115. Let f be o(3). Solve -7*b + 3*b + 4*g - 36 = 0, -f*g = -4*b - 40 for b.
-5
Let c = 199 + -194. Solve 3*j + c*k - 10 = 0, -51*k = j - 55*k + 8 for j.
0
Let w(j) = j**3 + 6*j**2 + 8*j + 56. Let g be w(-6). Solve -2*z = -g*a + 3*a + 1, -2*z + 4*a - 2 = 0 for z.
-3
Let f = -3 - -4. Let a be (-119)/(-14) - (-3)/6. Suppose 4*h = -3*s - a, -6 = 2*h - 0*h + 2*s. Solve h = m + f, 4*j + j = -m + 14 for j.
3
Suppose -3*d = -8*d - 45. Let c be 0 + d/(-3) - -3. Let g be (-52)/(-10) + c/(-30). Solve 1 = 3*k + p, 3*k + g*p + 2 = -5 for k.
1
Let a(n) = n**3 - 6*n**2 + 3*n - 8. Let v be a(6). Let t be v/(-45) + (-141)/(-27). Solve -t*j + 5*q + 40 = 0, 0*j + 14 = 3*j - q for j.
3
Let h(j) = -3*j - 3. Let i(m) = 1 + 0 + 1 + 3*m. Let v(t) = -3*h(t) - 2*i(t). Let y be v(4). Solve 2 + 0 = b, 3*f - b = -y for f.
-5
Suppose -5*k + 56 = -2*x - 64, 3*k - 61 = -x. Solve -5*y - 3*s + 7*s + k = 0, -2*y + 19 = -5*s for y.
2
Suppose 0 = -22*r + 301 + 403. Solve -2*n = 5*j - 25, 4*j - n + 5*n - r = 0 for j.
3
Suppose -21*d + 9*d = -36. Solve 0 = d*v + t, -4*v - 3 = -t + 4 for v.
-1
Let u = 3 + 0. Let y = 4 - u. Suppose 2*d - 7 + y = 0. Solve 3*c + 31 = -4*o, 5*c + 17 = d*o - o for c.
-5
Let y(f) be the third derivative of f**5/60 - 31*f**3/6 + 15*f**2 - 3*f. Let k be y(6). Solve 3*w = -k - 4, 5*h = -5*w for h.
3
Let y(z) = -z**2 - 14*z + 35. Let k be y(-16). Solve -1 = k*t - 0*g - g, 5 = -5*t + g for t.
-2
Let b = -2278 - -2281. Let w = 0 + 6. Solve -3*m - 1 = 3*c + 5, 0 = m + b*c + w for m.
0
Suppose 20 = -0*h + 2*h. Let o be (h/6)/((-20)/(-24)). Suppose 0 = o*y + 3*y. Solve -5*u + 17 = -m, y = 3*u + m - 5 - 2 for u.
3
Let p = -45 - -46. Let a be p/(45/20 - 2). Solve -a*r + 7 = 4*v - 9*v, 2 = -r for v.
-3
Suppose 2*q = -s + 3*s + 12, 2*q + s = 21. Solve -c - c - q = -u, -5*c = -3*u + 22 for c.
-5
Let c = 90 - 54. Let a be 8/c - 32/(-18). Let o(q) = -q**3 - q + 4. Let s be o(0). Solve a*n - d + s = 0, 0*n + 4*n + 4*d = -8 for n.
-2
Suppose 4*c + 0*w + 3*w - 28 = 0, -c + 3*w = 8. Solve r - 5*d = -d + 8, c*r = -d - 19 for r.
-4
Let z(m) = -m**2 - 6*m + 2. Let r be z(-6). Suppose -r*p + 20 = 3*p. Solve -2*l - 14 = d - 7*l, p*l - 15 = -3*d for d.
1
Suppose 0 = 3*k + 4*f - 4, 3*k - 2*f + 6 - 4 = 0. Suppose 22 + 12 = 2*h. Solve -z + 1 = 0, 4*w - 3*z - h = -k*z for w.
5
Suppose -28 + 34 = 3*x. Suppose -k - k + 2 = x*u, -5*u = -2*k + 30. Solve -5*b = -3*i - b + 14, 5*b + 15 = k*i for i.
-2
Let q(a) be the third derivative of a**6/120 - a**5/15 - a**4/8 - a**3 - 5*a**2. Let i be q(5). Solve -4 = -2*h - 4*n, -i*h + 0*h - n = 6 for h.
-2
Let q(f) be the first derivative of -7/2*f**2 - 6 - 1/4*f**4 - f - 2*f**3. Let o be q(-5). Solve -4*i + 5*v = -32 + o, -5 = 2*i + 3*v for i.
2
Let k(c) = 36*c - 52. Let o be k(4). Let p = o - 92. Solve 0 = -p*z - 2*z + 2*j + 14, -2*j + 6 = 2*z for z.
5
Suppose -4*q + 0*s - 3*s = 4, 2 = 3*q + s. Solve 0*u - 4*u = -q*p - 6, 5*u = 3*p + 9 for u.
0
Let z be -8*12/(-48) + 0. Solve -4*f - 5 = -3*m - 9, -2*f = -z for m.
0
Let z be 3 + (-1 - (-20 - 1)). Let p = 26 - z. Suppose 0 = -s - 0 + p. Solve 9 = -s*d, 3*d = 2*k + d - 8 for k.
1
Suppose -77 - 73 = -25*s. Solve 3*p = 4*w, -2*w = -4*p - 4 - s for w.
-3
Let d be (0 - (-6)/9)*-3. Let b be (0 + 1)*(0 - d). Suppose 0 = -3*c - 3*i + 21, 9 + b = c + 3*i. Solve 2*o = -3*f + 19, c*f - 2*o = 19 + 2 for f.
5
Suppose 0*c = 2*c, 140 = -5*m + 3*c. Let a be m/(-4)*(-2 - -3). Solve n + 17 = 4*v, -2*v + v - 2*n - a = 0 for v.
3
Suppose -4*v - d = -3, 10*v - 12*v - 5*d - 21 = 0. Solve 2*l - 5*y - 24 = -v*l, -5*y = -5*l + 25 for l.
1
Suppose -14*s + 25*s = 0. Solve 0*z = -z - 5*b + 26, -5*z + 5*b - 20 = s for z.
1
Let j(b) = -b**3 + 2 + 3*b**2 - 3*b**2 + b**2 + 3. Suppose -m = 4*m. Let o be j(m). Solve -o*r + 4*g = -7 - 20, -r + 18 = -5*g for r.
3
Let v(u) = 2*u**2 - 4*u - 4. Let y be v(4). Let k(q) = -q**2 + 12*q + 15. Let g be k(y). Solve -3*j = -4*a - g, -2*a - 12 = -3*j + a for j.
1
Suppose 0*x - 3 = x, -5*u - x = -37. Suppose u = 3*w + w. Let f be 1 - (4/3 + (-14)/6). Solve 3 + 4 = j - f*q, -w*j = 3*q - 7 for j.
5
Let m be 6/(-2) - (0 + 3). Let y be (42/2)/(m/(-8)). Suppose -5*u = -4*s - y - 13, 5*s = -5*u + 5. Solve 0 = u*k - 3*t - 0 + 6, -k - 2 = -t for k.
0
Let g be (96/(-224))/(2/(-14)). Solve -2*y - n = g*n - 10, -4*y = -2*n - 10 for y.
3
Let x = -184 + 186. Suppose 3 = -0*f + f. Suppose 0 = -x*q, f*r + q - 3 - 3 = 0. Solve 4*k - 11 = -3*i, 0 = -r*k - 3*k - 5*i + 20 for k.
-1
Suppose -5*s + 3*i = -3*s - 19, -2*s = 2*i + 6. Solve 4*k + 0*t = 4*t - 20, -3*k - 11 = -s*t for k.
-1
Suppose 3*b - 2 = -8. Let t be 1/(-2) + (-4)/16*b. Suppose -3*u + 36 = -5*v, 45 = 