e -2*n = 4*k - 3*n - 16, n + 7 = k. Suppose -k*o + 15 = -2*o. Let i be o/(-10) - (-9)/2. Solve 6 = i*t - r + 2*r, -12 = -t + 3*r for t.
3
Suppose -3*v + 5 + 7 = 0. Let d be v/(-14) - (-2)/7. Suppose d = 2*k - 2*w - 12, 4*k + k = -3*w + 6. Solve -y - 6 + k = o, 5*y + 3*o = -9 for y.
0
Let a = 18 + -12. Solve 0 = 3*b + a, -f + 6*f - 3*b + 9 = 0 for f.
-3
Suppose 0 = 3*n - 6*n. Suppose 2*d - 7*d + 415 = n. Suppose -3*z + 10 = -d. Solve -5*s + 2*c + c - z = 0, -4*s - 28 = -4*c for s.
-5
Let w = 53 + -51. Solve 0 = m - 2*b, 2*m = -w*b + b for m.
0
Let n(a) = -a + 8. Let w be n(6). Let q be ((-3)/w)/(2/(-40)). Solve -2*s - q = -5*k, 0*k = 2*k + 2*s + 2 for k.
4
Let u(n) = -n**3 + 5*n**2 + 4. Let m be u(5). Suppose -m*s + 23 = 3. Solve 2*z - 2*r - r - 16 = 0, -2*r - 18 = -s*z for z.
2
Suppose 0 = -0*y + 5*y - 55. Suppose -3*q + y - 2 = 0. Solve 0 = -2*x + 7*x, -x = -3*k - q for k.
-1
Let p be (-9)/(-6)*(-32)/3. Let b = -11 - p. Solve 2*t - t + 1 = 0, -b*x = -5*t - 10 for x.
1
Let l = 32 - 27. Solve 24 = -2*d - 4*w, -l*d + 14 = 5*w + 54 for d.
-4
Suppose 0 = -2*x - d + 24, 3*x + 3*d = 7*x - 28. Solve -3*r + r = -2*v - 10, 0 = 5*v + x for r.
3
Let v(c) = -c - 2 + 5*c - c**2 + 3*c. Let y be v(4). Solve -6 = -t - 4*o + 3*o, -o = 2*t - y for t.
4
Let v = 34 + -14. Solve -4*i - 4*x = v, -x - 11 = 3*i - 2*x for i.
-4
Suppose -5*m - 4*p + 0*p - 5 = 0, 4*m - p = 17. Suppose 2*u - z = u - 3, -21 = -3*u - m*z. Solve o + c - 14 = -o, u*c = -2*o + 18 for o.
5
Let i = 16 - -4. Let c be (-32)/(-10) - 4/i. Solve 3*t = 4*s - 8, -c*t + s = -6*t - 13 for t.
-4
Let i be (-2328)/(-78) - 1*2/(-13). Solve -3*p + 25 = k - 3*k, 5*p - i = k for p.
5
Let r = -9 + 14. Solve 0 = -4*d - 5*j + 5 + 11, -r*d - 2*j + 20 = 0 for d.
4
Let y = 20 - 15. Solve 2*t - y*t = 2*r + 13, -3*r = -3*t - 18 for r.
1
Suppose 5*t + d = -0*d + 32, 0 = -4*d + 8. Suppose -t = -0*y - y. Solve -3 = -g, -2*u = -0*u - 2*g + y for u.
0
Let d = 7 - 4. Suppose -3*k + 4 = -2*k. Let q(j) = -j**3 + 4*j**2 + j - 4. Let o be q(k). Solve -2*l = -3*l + p - 1, o = 4*l - d*p - 1 for l.
4
Let h(d) = d. Let c be h(3). Let j be (-9)/6*2 - -7. Solve -4*b + c*b = 2*w + 1, -2*w = j*b + 16 for b.
-5
Let w(b) = b - 6. Let o be w(8). Suppose f + 6*j = o*j - 11, -15 = f + 5*j. Solve -2*k = -k + 3*d + 5, f*d + 5 = -k for k.
-5
Let s(d) = -1 - d + d + d. Let a be s(4). Solve 3*k + 4*m + 10 = 0, -a*m = -2*m + 4 for k.
2
Let v(l) = -l**2 - 10*l + 4. Let r be v(-10). Suppose -4*a = 3*s - 3, a + r*s = 2*s - 3. Solve -i - a*t - 10 = 0, 3*i + 12 = -2*t - t for i.
-1
Let x(c) = -1 - 3*c**3 - 6*c**2 + 6*c**2 - c + 4*c**3. Let q be x(2). Suppose n - q = -0*n. Solve 5*t = 5*r + 25, t + t + 25 = -n*r for r.
-5
Let n be 20 + -1 + -2 + 1. Solve 5*u - d + n = 0, 0*d = -3*d + 9 for u.
-3
Suppose 4*t = -0*t + 32. Solve -2*g + t = -2*w, 3*g = -w - 4*w - 20 for g.
0
Let j(x) = x**2 + 8*x - 28. Let u be j(-11). Let n be ((-1)/(-2))/(1/8). Suppose 9*y - n = u*y. Solve 0 = -3*v + 4*o + y + 1, 4*v - 4 = 4*o for v.
2
Let n(y) = 2*y - 6. Let x be n(4). Let l(c) = 6*c**2 - 2*c - c**3 + 2 + 0*c - 2*c**x. Let f be l(3). Solve -8*a + 5*u - 5 = -3*a, f*u = -a + 23 for a.
3
Let p(c) = c**2 + 6*c - 5. Let m be p(-7). Suppose 4 = 3*a - m. Solve a = -3*f + 2*d - 3*d, -10 = -3*f + 5*d for f.
0
Let y be (4/3)/(2/6). Solve m = -y*m - 5, 4*k + 2*m - 6 = 0 for k.
2
Suppose -3 + 2 = u - 4*d, -4*u - d = -64. Suppose a - 3*q = u, 7*a - 4*a + q = 5. Solve -5*o + s = 23, a*o - 3*s + 11 = -s for o.
-5
Suppose -b - 4*b - 5 = 0. Let y be (-1)/(-2*b/(-4)). Solve 0 - 2 = -y*d + 3*q, 2*q = 0 for d.
1
Let w = -3 + 3. Solve -i + 4*b = 3*i + 12, w = i + 3*b + 3 for i.
-3
Suppose -4*t + 30 = -2. Let y = 6 - 4. Suppose t = -4*v - 4*f, y*v + 5*f + 14 + 5 = 0. Solve 5*w - 3*a - v = 0, 2*a = 2*w + 3 - 1 for w.
3
Suppose 7*j = -2*j + 45. Solve 0 = -4*r - j*a - 51 + 6, 2*a + 5 = r for r.
-5
Suppose -2*x = -u - 11, 0 = 2*u + x - 6*x + 26. Let s be (3 - 9/u) + -3. Suppose 0*n - 15 = -s*n. Solve 2*k - 5*o = 2, -n*k - o - 18 = -2*o for k.
-4
Let c be 1/4*2*-10. Let u = -103 - -96. Let i = c - u. Solve 0 = 2*y + y - 2*d + 7, -5*y - i*d - 1 = 0 for y.
-1
Let g = -12 - -18. Let z(f) = -f + 6. Let k be z(g). Solve k = 3*v - 5*h - 26, 3*v + 3 = -h + 5 for v.
2
Suppose 0 = -4*s - 5*b + 13, -3*s = -0*s + b - 7. Solve -3*h = -4*y + 8*y, 17 = -s*h + 3*y for h.
-4
Suppose 4*f - 4 = 2*f. Suppose 0*g = -5*v + g + 19, 0 = -5*g - 20. Solve -4*q = q - 5*i + 10, -5*i + v = f*q for q.
-1
Let d = 9 + -5. Let p = 14 + -9. Solve 0 = -4*u - p*t - 32, d*u + 6 = -4*t - 22 for u.
-3
Suppose 4*l = 0, -2*f = f + l. Suppose 4*y + 18 = 3*t, -2*t = 4*y - f + 8. Suppose 5 = 24*m - 23*m. Solve -w = 6*g - t*g - m, 0 = 5*g + 5*w + 5 for g.
2
Suppose -11*j + 12 = -7*j. Let x be (-54)/(-15) + 4/10. Suppose -x*a = -4*i - 12, -a - 3*i - 9 = -0*i. Solve a + 1 = -r - 2*k, -4*r + j*k = 4 for r.
-1
Let f(z) = 2*z - 9. Let x be f(6). Let t = x + 2. Solve 5*g - t = 5*y, -g + 2*y = -0*g - 1 for g.
1
Suppose -q + 42 = 6*q. Suppose -5*g + 10 = 3*y, 0*y + 2*y - 6 = -4*g. Solve -3*b + 3*c = q, 0 = -2*b + y*c - 2 + 4 for b.
-4
Let w be 0/(2 + -4) + 2. Suppose -3*o - 3*g + 6 = -0, 0 = -w*o - 4*g. Solve h - 1 = o, -4*r = 2*h - 30 for r.
5
Suppose -p = n - 2 - 1, 0 = -3*n + 15. Let o = 5 + p. Suppose -41 - 1 = -o*x. Solve 2*l + 10 = -5*q - x, -3*l - 22 = 4*q for l.
-2
Let h = -10 + 14. Suppose 3*q = 2*q + h. Solve -q*n - 1 = -5*y, -n = n + y + 11 for n.
-4
Let s = -13 - -15. Solve i + 3*a + 8 = 0, 2*i = -a + 1 - s for i.
1
Let b(y) = y**3 - 7*y - 5*y**2 - 8 - 2*y**2 + 0*y**3. Let o be b(8). Let n be 3 - (1 + o) - 0. Solve s + 0 = d - 8, n = 4*d + 2*s for d.
3
Suppose 6*z - 3*z = 9. Solve 3*k - 5*b = -10, 7*k + 2*b - 30 = z*k for k.
5
Let s be (-26)/(-10) + (-21)/35. Solve s*b + 12 = 2*m, -4*m + 14 = -3*b - 7 for b.
-3
Let y = -51 - -74. Let m = -21 + y. Solve 0 = 2*o + 10, o = 2*p + m*o - 5 for p.
5
Let p(f) = -5*f**3 + 2*f + 1. Let o be p(-1). Let k be -2 - -6 - (o + -5). Solve -l = 2*t - 7, 6 = k*l + t - 2 for l.
1
Suppose 3*x = -4 + 34. Solve -3*w + 3*y - 15 = 0, -2*y + x = -0*w + 2*w for w.
0
Let t(k) = k**3 + 9*k**2 + 6*k - 11. Let o be t(-8). Suppose -3*n = 3*s, -n + s + 11 - 3 = 0. Solve -7 = -3*c - n*x, -3*c - 15 = -o*x + 14 for c.
-3
Let m(q) = -q**2 - 2*q + 2. Let p be m(-4). Let y be 2/(-3)*27/p. Suppose 0 = -5*n + 6 + 9. Solve u - 9 = y*z + 6*u, -n*z = -3*u - 15 for z.
2
Let d = -3 + 5. Suppose 3*r = 5*r - 4, 4*u - 12 = d*r. Solve -5*c - w - 18 = 0, 0*w + 8 = -u*c - 4*w for c.
-4
Suppose 0 = 5*b - 0*g - 2*g - 21, -b - g = -7. Suppose 0*l - 5*y = b*l - 20, -4*y = -16. Solve -4*r - 6 = -i, l = -i - 5*r - 3 for i.
2
Suppose 31 = 5*d - 4*a, d + 2*a - a = 8. Suppose 12*l - 15 = d*l. Solve l*u + s - 7 = 4*u, 4*s = 16 for u.
-3
Suppose 0 = 2*b - 5*k - 33, 3*k = -2*k - 25. Solve 0 = 8*z - 3*z + 2*v + 6, z + 12 = -b*v for z.
0
Suppose -8*c + 4*c = 0. Suppose 3 = -c*z + 3*z. Solve 3*b - 3*v = -12, 5*v = -z + 11 for b.
-2
Let l(z) = z**3 - 3*z**2 + 2*z - 3. Let q be (6/3 + -3)*-3. Let m be l(q). Solve -10 = 5*x, 0*o + m*x = o - 9 for o.
3
Let z(p) = 2*p**3 + 19*p**2 + 7*p - 9. Let w be z(-9). Solve -a + 12 = 4*v + 4*a, -3*a = -3*v + w for v.
3
Let s = 28 - 24. Solve -5*m = i - 3 - 20, s*i + 3*m = 7 for i.
-2
Let d be 48/28 + 4/14. Let p be 0/((-1)/1 - d). Solve 4*o + 4 = p, 4*j + o - 6*o = -3 for j.
-2
Let k(n) = -4*n - 1. Let f be k(-4). Let y be (-4)/12 - 26/(-6). Suppose t = y, 3*b + 0*b - 2*t = 7. Solve 5*w + 0*w + 4*d = -b, 4*w = -d - f for w.
-5
Let y(h) = -h**3 + 9*h**2 - 6*h + 4. Suppose -2*i = i - 24. Let x be y(i). Solve -2*c = -5*f - x, -2*c - f + 14 = -3*f for c.
5
Let x(s) = s + 15. Let j be x(-13). Solve 2*n = 4*n + 5*g - 16, -j*n = -g + 8 for n.
-2
Let r be 3*3/2 + (-6)/4. Solve -2*o + 10 = -2*q - r*q, 0 = 5*o for q.
-2
Let b(i) = i. Let c be b(2). Let q = -10 + 16. Solve 0 = 3*s - 3*f + q, -c - 14 = 3*s - 5*f for s.
3
Let y be 51/6 - (-2)/4. Solve -4*f - y = -4*k + 19, -4 = -k for f.
-3
Let s = -3 + 4. Let t(h) = 1 - s - h + 9. Let n be t(7). Solve -2*r + 0*r = -2*m + 8, -4*m - n*r - 8 = 0 for m.
0
Let o be 10/2 + (-1)/1. Suppose 0 = -0*m - 5*m. Let w = m + 1. Solve -o*z + 2 = -i - 2*z, -z = 5*i - w for i.
0
Let u = 194 - 189. Solve -1 = 5*z + 9, u*z + 15 = -5*d for d.
-1
Suppose -4*m = -9*m + 155. Suppose 4*w = q + 143,