= -5*n + 4*y + k for n.
4
Let v(d) = -d + 25. Let t be v(13). Solve 3*z - t = 3*g, -g - 6 = -5*z - 2 for z.
0
Suppose -5*l + 31 = 4*t, 4*t - l = 2 + 11. Solve -3*s + 0*h - t*h - 5 = 0, s = -3*h - 10 for s.
5
Suppose 0 = -p - 3 + 2. Let k be ((-3)/p)/3*0. Solve 4*b = -5*f - 21, 5*f + 17 = -k*f - 3*b for f.
-1
Let q be ((-120)/5)/(6/(-4)). Solve d + a = -2*d + q, -2*d = -2*a - 8 for d.
5
Let t be 3*(1 - (-34)/6). Let i be (3/(-2))/((-6)/t). Solve -m - i*c - 1 = 15, -4*m - 13 = 3*c for m.
-1
Suppose -14 = -3*i + 5*c - 4*c, -4*i - 5*c = -6. Suppose p - 3 - 3 = -4*l, -5*l + 18 = -4*p. Solve -5*n + i + 4 = 2*d, 0 = -l*n - 5*d + 20 for n.
0
Let m(l) = l**3 - 6*l**2 + 5*l + 2. Let a be m(5). Solve 0 = k - a*v + 14 - 1, 2*k + 14 = v for k.
-5
Let a = 1 - -2. Let i = 1 + a. Suppose 1 = i*w - 15. Solve 2*j + j = -5*p - 11, 4*j = w*p + 28 for p.
-4
Let a = -32 + 37. Solve 0 = -5*z + 5 + a, 10 = -3*m - z for m.
-4
Suppose 5 + 3 = 2*b. Let o(t) = -t + 8. Let c be o(b). Let i(l) = l + 2. Let j be i(8). Solve g + j = -z + c*g, -2*g + 8 = 0 for z.
2
Let g be (-2)/(-3)*9/3. Suppose 3*w + 2*w = 0. Suppose w = 2*o + g*o. Solve 5*m - 2*d + d - 27 = 0, o = -5*d - 10 for m.
5
Let p = 20 - 1. Let h = p - 19. Solve h = -7*y + 2*y, -y = -5*s + 5 for s.
1
Let p be -3*(0 + (-4)/3) - -2. Solve -u = 4*o + 15, -o - 5*u - 12 - p = 0 for o.
-3
Suppose y = 5*l - 0*y - 108, 0 = -2*l - 5*y + 54. Suppose -5*a = -0*a - 5. Suppose a = -i + 5. Solve -2*f - l = i*m, 3*f = m - f - 17 for m.
-3
Suppose -4 = 5*r - 6*r. Solve -r*f + 7*f - 11 = -m, f - m + 3 = 0 for f.
2
Let t be (40/5)/(-3 + 2). Let d be (3/(-6))/(2/t). Solve -3*p = -4*c + 17, 4 = 2*c - d*p - 4 for c.
5
Let g(n) = n**3 + 25*n**2 + 22*n - 44. Let b be g(-24). Solve -b = 4*s + 5*l, 3*s + 3 + 0 = 5*l for s.
-1
Let m be ((-4)/(-3))/((-8)/(-24)). Suppose 3*f - 3 = -m*v, 0 = -f - 0*f - 3*v - 4. Solve 2*q = -6, -4*q - 23 = f*h - 3*q for h.
-4
Let a(s) = -6*s + 10. Let f be a(-5). Suppose 4*m - 25 = -5*p, 5*m + 4*p = -2 + f. Solve -8*c - o - 7 = -3*c, -3*o - m = 4*c for c.
-1
Suppose -4*q = -2*x - x + 17, -q = x - 1. Suppose -x = 5*v - 13. Suppose 5*i = 19 + 1. Solve -l = 3*b, -v*l + 0*l - 2*b + i = 0 for l.
3
Let w(a) = 3*a + 0*a**2 + 2*a**3 - 2 + 0 - 4*a**2. Let p be w(2). Solve p*c + 0*j = 2*j + 12, 12 = -3*j for c.
1
Suppose l - 5 = -1. Let w be 4/22 + (-2061)/(-99). Let m = 26 - w. Solve l*h = c - 14, -2*c - m*h - 8 - 3 = 0 for c.
2
Let w(c) = -3*c + 3. Let l be w(-3). Let k(v) = v - 10. Let s be k(l). Solve -s*h = 2*h - 3*n - 11, 0 = -h - 4*n - 2 for h.
2
Suppose q - 8 = -3*q. Let p = q + 2. Solve -3*w + 17 = 4*d + 2*w, -p*w = -4*d - 28 for d.
-2
Let i(o) = o**2 - 5*o + 6. Let b be i(4). Suppose -t + 1 = -b. Let u(y) = -27*y. Let z be u(-1). Solve -4*j - z = 5*w, -3*j + t*w - 4*w = 12 for j.
-3
Let v = 5 + -3. Let o(p) = 19*p**2 + 2*p - 1. Let g be o(1). Solve 13 + v = -5*t + k, 0 = -4*k + g for t.
-2
Suppose 0 = -4*f + 3*l + 13, -6 = 2*f + 4*l - 18. Solve c - 20 = -4*o, 6*o - 3*o - 15 = -f*c for c.
0
Let w(x) = x**3 + 6*x**2 - 2*x + 2. Let k(s) = -s - 1. Let j be k(4). Let h be w(j). Solve 5*u = c - 5*c - h, 3*u = -15 for c.
-3
Let n = 14 + -14. Solve -2*r + 2*f - 9 = f, -2*r + 4*f - 24 = n for r.
-2
Suppose 8 = 2*k - 2*a - 3*a, 2*k + 3*a - 8 = 0. Solve j = -k*y + 4*j + 16, -2*y + 8 = 3*j for y.
4
Suppose 2*c + 0*m = 5*m + 26, 0 = 3*m + 12. Suppose c*f = -f. Suppose 2*z + 4 = 0, -5*g + z + 16 - 4 = f. Solve -g*w - w = -3*y + 9, -9 = -3*y for w.
0
Suppose 0 = -3*i - z + 14, -4*i + 0*i + 24 = -4*z. Solve p + 15 = i*a + 2*p, a = -5*p + 3 for a.
3
Suppose 3*r = -r - 124. Let x = -25 - r. Solve 2*z = -4*c + 4 + x, 0 = 3*c for z.
5
Suppose -5*a + 5*y + 10 = 3*y, -8 = -4*a - 3*y. Solve 0 = 2*r - 3*j - 7, 0*r - a*j = r for r.
2
Let y = 101 - 97. Solve 3*g + 4*h - 15 = 0, y*h + 2 - 15 = -g for g.
1
Let a(b) = -b**2 + 8*b - 4. Let l(y) = 7*y - 1. Let z be l(4). Let q be z/4 + 2/8. Let v be a(q). Solve -4*i - 8 = -2*x, -x = 3*i + v - 7 for x.
4
Let i(f) = 2*f**2 - 7*f + 6. Let y be i(5). Let a(l) = -l - 4. Let o be a(-9). Solve 1 = -o*v + y, 3*w - 5*v = -5 for w.
5
Suppose 0 = 8*b - 3*b - 15. Suppose b*o - 5*a = 2*o - 25, -a + 5 = 5*o. Solve -m + 4*w + 9 = o, -m - 3*w = -6*m + 28 for m.
5
Let m be 2/(-4)*-2*5. Suppose -4*p + 2 = -26. Let k(y) = y**2 - 7*y + 4. Let s be k(p). Solve -2*h + 5 = -s*d + d, 0 = -2*h + m*d + 15 for h.
-5
Let v be 0 + (-6)/3 + 6. Let u be (-27)/(-6)*v/3. Solve 0 = -k - 4*l - 7, 2 = 2*l + u for k.
1
Let y be (-12)/5*15/(-6). Suppose y = -3*x + 21. Solve 0 = 4*h - 20, 3*c + h = -h - x for c.
-5
Let c = 64 + -44. Suppose 0 = -2*y + c. Solve -3*m + l = 3*l - 4, -4*m + 2*l = -y for m.
2
Let u = 83 - 79. Solve -12 = 4*q, -u*f + 4*q + 21 = q for f.
3
Let h(u) = -u + 16. Let f be h(9). Suppose -3*q - 2*a + f = -7*a, -5*q - a + 21 = 0. Solve -12 = -3*r + 3*t, 3*t - 3 + 1 = -q*r for r.
2
Let w(n) = n**3 + 7*n**2 + 7*n - 6. Let t be w(-6). Let x(y) = -y**2 - 13*y - 8. Let z be x(t). Solve 0 = -z*i - 8, -2*p + i - 1 = -p for p.
-3
Suppose -7*n = -3*n + 2*u, 0 = 2*u. Solve 0 = -2*f + 3*o - n*o + 4, 7 = f + o for f.
5
Suppose -124 = -5*x + 3*r, 0*r + 126 = 5*x - 2*r. Let t = -22 + x. Solve -2*u - t*b = -3*b + 6, -4*u - 5*b = 0 for u.
-5
Suppose 2 + 3 = j. Suppose 40 = -o + j*o. Let m = -2 - -5. Solve 4*h = 2*a + 12, o = m*a - h + 3 for a.
4
Let f = 112 - 110. Solve -3*x = -0*x - 2*r - 5, 0 = f*r - 4 for x.
3
Let t be 1 - (-1 - (0 + -3)). Suppose x - 5*x - 10 = -2*y, 4*y + 5*x + 6 = 0. Let h = t + y. Solve 3*a - 5*z + 2 = 5, h = -2*a - z - 11 for a.
-4
Suppose 0 = 2*y - o - 7, 6*o + 12 = 4*y + 2*o. Solve 2*b + 2 = y*f, -2*f + 4*b - 4 = 2*b for f.
3
Suppose 0 = 3*m + x - 0*x - 14, 0 = -m + 2*x - 7. Suppose -l = 5*j + 7, 2*j = -l + 2 - m. Solve 5 + 1 = 3*k, l*n - 3 = -3*k for n.
-1
Suppose -4*d + 52 = 2*v, 5*d = v + v + 47. Let t = 14 - d. Suppose t*y - 4*p = 18, -3*y + 7*p - 2*p + 21 = 0. Solve -2*j + 7*j = -y*o, 5*j - 3*o = 25 for j.
2
Suppose -3*t = 4*t - 14. Solve -5*h = o, -11 - 12 = -5*o - t*h for o.
5
Let i(a) = a**3 - 22*a - 10. Let c be i(5). Solve c*n + 35 = -5*f + 5, 4*f + n + 18 = 0 for f.
-4
Suppose -4 = -4*z + 20. Let x be (-2)/z - (-8)/6. Suppose 0 = 4*h - 3*h - 5. Solve 3*r = -4*w - x, 3*w + 13 = -h*r + 4 for w.
2
Suppose 0 = -4*v + 6*v. Solve v = -n - 5, 4 = -3*r - 4*n - 16 for r.
0
Suppose 11*u = -55 + 99. Solve -2*s + 5*s = -9, -u*v - 4*s - 12 = 0 for v.
0
Let w(i) = -5*i - 10. Let f be w(-3). Solve 5*u - 10 = -5*p + f, -2*u + 4*p - 6 = 0 for u.
1
Let k(g) = -7*g**2 + g**3 - 3*g**2 + 6*g + 2 + 4*g**2. Let t be k(5). Solve -q - t = p + 3*q, 0 = q + 3 for p.
5
Suppose -25 = 2*r + 5*z, r + 0*z = z - 2. Let q = -2 - r. Let u(k) = k**2 - 2*k. Let l be u(q). Solve h - 6 = -3*h - 2*x, -l*h + 12 = 4*x for h.
0
Let x(h) = 19*h - 3. Let f be x(-1). Let p = f - -25. Solve 5*m - 5*v - 15 = 0, 0*v = -2*m + p*v + 6 for m.
3
Suppose -8*n = -10*n - 4. Let j(g) = -5*g - 7. Let s be j(n). Solve -5*k - 3*o = 13, -s = -2*k + 2*o - 21 for k.
-5
Let u(n) = -n**3 + 4*n**2 + 2*n - 6. Let j be u(4). Suppose -6*y = -j*y - 12. Solve -3*i = -2*p + y*p + 10, 2*p + i = -5 for p.
-1
Let h be 2*1 - 65/(-5). Suppose -2*v + 5*v = h. Suppose 3*y + 6 = -5*f, -2*y + 4*f + 0*f = -18. Solve r = -1, v*r - y = -3*a - 14 for a.
-2
Let g(p) = 11*p - 1. Let s be g(2). Suppose 5 = -4*w + s. Solve 3*j - w*u - u = 3, 2*u + 3 = 3*j for j.
1
Suppose -4*v + 3*f = -15, v + 9 = 5*v + 3*f. Suppose -v - 1 = -2*j. Solve 0 = -2*r + 3*c + 17, -4*r = -j*r + 2*c + 8 for r.
1
Let x(z) = -z. Let a be x(1). Let i be (-93)/(-15) + a/5. Solve 0 = 2*q - i, 0 = d + d - 2*q for d.
3
Let b = 13 - 13. Solve 0 = -2*a + p - b + 5, 3*p = 5*a - 13 for a.
2
Suppose -j - 8 = -5*j. Suppose 0 = -j*x - x. Solve x = 3*t + 5*p + 31 + 3, 4*t + 2 = 2*p for t.
-3
Suppose 4*l - 12 = -0*l. Suppose 3*x + 0*x = -3*p + 3, -2*p + l = 3*x. Suppose p = 3*f - 9. Solve 3*j - 8*j = -2*b + 30, -32 = -4*b + f*j for b.
5
Suppose 2*i - 4*i = -10. Let d = -9 - -15. Let o = d + -3. Solve -12 = o*v + 2*v + 4*w, 0 = 2*v + i*w - 2 for v.
-4
Suppose -o = -0*y - y, -3*y + 7 = 4*o. Let a = o + 3. Solve a = p - f, 0 = p + 5*f + 3 + 23 for p.
-1
Let n be 4/14 + 78/21. Suppose p - 10 = -5*m, -p + 13 = 4*m + n. Suppose 0 = -o + m. Solve 0 = -2*c + i - o, 2*c + 2*i - 2 = c for c.
0
Suppose -10 - 4 = -2*c + 4*