4*k - s = 3*m, -3*k + 17 = 3*m - 5*m for k.
5
Let l = 52 + -49. Solve 0 = -5*z + 3*k + 12, 2*z = -z - l*k + 12 for z.
3
Let p(b) = -17*b + 2. Let r be p(-2). Let g be 2/9 + 100/r. Solve g*t - 2*y + 6 = 0, 5*t + 1 = y - 2 for t.
0
Let p be (5/10 + 1)*2. Solve w = g - 2*g, -g - 2 = p*w for g.
1
Let h = -46 + 100. Suppose -2*p = p - h. Solve -4*y + 4*b + 16 = 0, -5*b - 9 = 2*y + p for y.
-1
Let b = 93 + -59. Let k(o) be the first derivative of o**4/4 - 2*o**3 + o**2 + 2*o + 2. Let p be k(6). Solve 4*h + 20 = -2*a, 4*h + a - p = -b for h.
-5
Suppose -b - 5*a - 9 = 0, 28 + 11 = 4*b - 5*a. Solve -4*c + r - b = -1, 5*c + 4*r = 20 for c.
0
Let c(k) = k**3 - 2*k**2. Let u be c(2). Suppose 0*l = -2*l. Let d = u - l. Solve -4*w - n + 16 = d, 2*w + 4*n = -w + 25 for w.
3
Suppose 5*w + g - 13 = 7, 5*w = g + 10. Let s = -4 + 7. Suppose -n + 12 = s*n. Solve -u + 18 = 3*u + w*k, -n*k = u - 9 for u.
3
Let r = -22 - -32. Suppose z + r = -d, -d + 0*d - 31 = 4*z. Let n = -4 - z. Solve 3*v - 12 = -2*y, 4*y + n*v - 9 - 9 = 0 for y.
3
Suppose 3 = 2*b + 1. Suppose 3*z - 18 = -6. Let u = b + z. Solve 3*t + 2 - 5 = 4*f, u*f - t = -1 for f.
0
Let u = 15 - 9. Solve -u = 2*i, -4*o - 5*i - 2 = 33 for o.
-5
Let i be (3 - 3) + 3 - -2. Suppose -p + 3*r + 12 = 0, 3*p + i*r = 11 + 11. Solve -a + 5*y + 14 = 0, 2*a - 5*y - p = 9 for a.
4
Suppose 0 = -o + 2*o + 198. Let q be o/(-42) - 4/(-14). Solve q*a = 4*h - 15, 6 = 2*h - 3*a - 3 for h.
0
Let p = 6 - 6. Suppose p = -4*f + 4 + 16. Suppose o - 4*a - 5 = 0, -4*a - f - 5 = -2*o. Solve 0 = 4*w + o*t - 4, -4 = -w - 2*t for w.
-4
Let d be (2/(-8))/((-6)/72). Solve 5*f + 1 = -d*z + 4, -27 = 3*z - 5*f for z.
-4
Suppose -2*z - 16 = -6*z. Suppose z*o - 3*o - 2 = 0. Suppose 0 = -0*h + o*h. Solve h = -3*d - d + 20, 2*d = -3*y + 22 for y.
4
Suppose -5*r - 4 = -19. Suppose 0 = 2*i + 3*i. Solve i = r*f + 5*y + 15, 1 + 5 = -2*y for f.
0
Suppose 2*g - 12 = -5*z, 2*z - 4 = -3*z - 4*g. Solve 2*h - 6*y + 16 = -2*y, 6 = 3*h + z*y for h.
-2
Let i(x) = 5*x + 4. Let h(q) = q. Let m(g) = -4*h(g) + i(g). Let t be m(0). Let a be -3 - -2 - -1*3. Solve 0*c - a*c + 13 = f, -4*f + t*c = 8 for f.
3
Let y(q) = -q**2 + q + 1. Suppose 3*d + 15 = 3*t, 7*t = 2*d + 2*t + 25. Let b be y(d). Solve 0 = -5*p + b + 4, 0 = 4*s + 5*p + 7 for s.
-3
Suppose 108 = 3*n + 12. Let a = n + -22. Solve -3*s - 7 = -5*z, -4*s - a = -s - 2*z for s.
-4
Suppose 0*l = l. Solve 4*r - 4 = l, d + 2*d - r = -7 for d.
-2
Let z = -74 + 140. Suppose 34 = 4*f - z. Let i = f - 9. Solve -5 = 6*l - 3*l - 5*j, -j - i = -4*l for l.
5
Let f be (-5)/(-10)*(9 + (-12)/4). Let v(z) = -z**2 - 4*z - 4. Let i be v(-3). Let g be 3*3*i/(-3). Solve -5*k = f*h + 1, -g*k + 9 - 30 = -5*h for h.
3
Let l = 39 + -25. Suppose -l*d = -10*d. Solve 4*q + 2*j - 10 = d, 0 = q - 3*j + 2*j - 4 for q.
3
Let q = 14 - 5. Let w = q - 4. Solve -3*o + 20 = w*g - g, -3*o = -5*g + 25 for o.
0
Suppose -3*u + 54 = 3*s, -u + s + 8 + 0 = 0. Solve -16 = -5*m - 4*j, 2*m + m - j - u = 0 for m.
4
Let x(t) = -t**2 + 4*t + 2. Let w be x(4). Let k(m) = 3*m**2 + 0 - 1 - 2*m**2 + 0*m**2 - 2*m. Let l be k(3). Solve -l*b = j - 4, -3*b - w*j = j - 3 for b.
3
Suppose -3*v = -6*v + 24. Suppose 0 = 11*y - v*y - 12. Solve -2*j = 2*j + y*a - 16, -a + 2 = 0 for j.
2
Suppose 0 = -d - 0*d + 4. Let r be (2/d)/((-3)/(-156)). Suppose -4*c + r = 3*t, 5*c - 23 + 2 = 2*t. Solve 0 = c*v + 2*k - 5*k, 5 = -5*v + 4*k for v.
3
Suppose 2 = 3*c - 7. Let i(b) = 2*b**2 + b + 1. Let h be i(-1). Solve c*l + 2*d + 21 = 0, l + 3*d - h*d + 8 = 0 for l.
-5
Let l be (-2 - 15/(-9))*-3. Let s = 5 - l. Solve 0 = -4*o, s*o = -5*n + 2*o for n.
0
Let h(x) = x**3 - 7*x**2 + 6*x + 1. Let q be h(6). Solve -2*d + 4*d = r - q, -5*r = -2*d - 5 for d.
0
Let f be -2 - 3*(-6)/(-3). Let u(w) = -w**2 - 7*w + 10. Let r be u(f). Solve 2*b - 2 + 0 = r*y, -5*y - 4*b + 22 = 0 for y.
2
Suppose 102*m = 97*m + 25. Solve 5*r - w - 2 = 0, -m*w + 12 = r - 4*r for r.
1
Suppose -4*q = -6*q. Suppose 3*y + 4*a - 5*a - 71 = q, 73 = 3*y + a. Suppose 5*b = b + y. Solve b = 2*u - 3*o, 3*o - 3 = u - 2*u for u.
3
Let a be -2 - (-2 + 0 + (-3 - -3)). Solve 0 = -5*n + q + 19, -n + 5*q + 23 = -a*n for n.
3
Let d = -2 - 4. Let w(h) = h**2 + 4*h + 1. Let m be w(d). Solve -2*z + 2*g = z - m, 0 = -z + 2*g + 7 for z.
3
Let s = -6 + 9. Suppose -4*o = -a + 6, s*o - 9 + 4 = -4*a. Solve -3*y + 5*r - 17 = 0, 4*y + 3*r = 14 + a for y.
1
Let b be (-4 + -1)*(-3 + 2). Suppose d - 10 = -b. Suppose 0 = 5*i - 35 + 5. Solve g - 5*v = -v - i, d*v = -3*g - 1 for g.
-2
Let y be (20/8)/((-10)/(-8)). Solve -n - 2*d + 2 = -d, 31 = -y*n + 5*d for n.
-3
Let h = 5 - -19. Suppose 0 = 4*u - 0*u + 8. Let q = 7 + u. Solve -2*i + 9 + q = g, 0 = 4*i + g - h for i.
5
Let b be ((-2)/(-4))/(1/(-10)). Let g be 2*(-3)/6*b. Let q = 6 - 6. Solve j - 2 = g*c + 6, q = 2*c - 3*j - 2 for c.
-2
Let g(y) = y**2 - 5*y + 1. Let c be g(5). Solve -m - 1 = -a, -m - 2*a = 2*a + c for m.
-1
Suppose -3*q = -4*q + 10. Let p = q + -5. Solve u - 3*u - 6 = 0, p*r - u = 13 for r.
2
Let n = 70 - 67. Suppose g = 3*h - g - 2, -2 = 3*h + 2*g. Suppose -4*s + 3*b - 3 = h, -n*s + b + 0*b = 1. Solve 2*r = -s*r - a + 5, 0 = r - a - 7 for r.
4
Let t(c) = c**2 + 4*c - 8. Let m be t(-6). Suppose 0 = -m*g - 0*g. Solve 2*k = 2*s - 8, g = k + s + s - 2 for k.
-2
Suppose 4*g - 14 = 10. Suppose 2*p - 2 - g = 0. Solve -2*k = f - 9, k - 2*k = p*f - 8 for f.
1
Suppose -115 - 32 = 3*r. Suppose 4*w = -5*x - 158 + 5, -w - 4*x - 52 = 0. Let u = w - r. Solve 2*k = 3*z - 9, -4*z - 5 = 5*k - u for z.
3
Let h(z) = 2*z**3 - 10*z**2. Let g be h(5). Solve g = 2*w + c - 2*c, c = -w - 3 for w.
-1
Let y be (2 - 0) + -2 - -6. Let z = y + -1. Suppose -5 = 3*b - 0*b - 5*d, z*b + d = 29. Solve 24 = -5*c + t, 0*t - 20 = -b*t for c.
-4
Suppose -y - 2*y = -5*y. Solve w + y*w = -f + 3, -5*f - 3*w + 9 = 0 for f.
0
Let d be 0 + (-3*2)/(-2). Suppose -8*k + 104 = -4*k. Solve -2*m = -2*q - 4, -6*m - k = 5*q - d*m for q.
-4
Suppose 33 = 4*n - 47. Let a = 52 + -47. Solve a*i + 5 = 5*p - n, 5*p = -5*i - 15 for i.
-4
Let o(g) = -6*g - 8. Let f(u) = -5*u - 7. Let j(k) = -7*f(k) + 6*o(k). Let d be j(-8). Solve 0 = 3*z + 3*q - d, z + 5*q = -z + 15 for z.
0
Suppose -3*d = -3*k - 6, 2*k + 4*d = 3 + 5. Let x = 31 + -29. Solve x*q - 4*b - 4 = 0, 3*b - b + 4 = k for q.
-2
Suppose 0 = -4*i - 4*c - 24, 0*c = 5*i - c + 18. Let x be 0*i*4/(-32). Solve x*m = m - d + 5, 0 = -4*m + 3*d - 20 for m.
-5
Suppose 0 = 4*l - 13 - 7. Suppose -1 = -3*u + l*m, -2*u + 9 = 3*m + 2*m. Suppose o + 7 = -u*z, -4*o - 4*z = -0*o + 12. Solve c + c = -4*j, 3*c + o = -5*j for j.
1
Let x = -1 - -2. Let w = 2 + x. Solve b - 1 = g, 4*b + 0*b = -w*g - 10 for g.
-2
Let b(h) = -3*h**2 + 1. Let z be b(-1). Let c = z + 6. Let q(r) = -r**2 - 6*r. Let i be q(-6). Solve -c*l + 1 = 3*j - 3, i = -2*j + 3*l - 3 for j.
0
Let d = -14 - -24. Suppose -3*m = 3*r + 5 - 35, m + d = r. Solve 4*h = -c - r, 4*c - 8*h - 23 = -3*h for c.
2
Suppose p - 3 = 2. Suppose -3*m = -3*z + z + 18, 3*z - 28 = 5*m. Suppose p*w - 20 = -5*l, w + 4*l - z = 1. Solve 0 = h - w*h + 4*k - 18, 5*h = -5*k for h.
-3
Let r(k) = k**2 - k - 1. Let u(i) = i**3 + 12*i**2. Let w be u(-12). Let t = w - -3. Let g be r(t). Solve g*y - 2*y - 5*o = 15, -5 = -y - o for y.
5
Suppose 3 = -j + 6. Suppose -6 = -w - j. Solve -w*q - 2*k = 8, 3*q - k + 5 = -0*q for q.
-2
Let o be 2*((-34)/4 + 3). Let x = o - -39. Suppose 3*z = 7*z - x. Solve -2*n - 3 = 2*m + z, 0 = -3*n + 3*m + 3 for n.
-2
Let r = -23 + 25. Solve 2*b + 2 = 5*k - 0*k, -3*k = 2*b + r for b.
-1
Let v(a) = a**2 + 17*a + 70. Let h be v(-7). Solve -f = 3*x - h - 5, 3*f = -4*x for f.
-4
Let j be -64 - 0*(-3)/9. Let y be (j/20)/((-2)/10). Suppose 0 = -2*f + 6*f - y. Solve r = s, -f = r + r for s.
-2
Let b(n) = -n**3 + 7*n**2 - 7*n + 4. Let g = 10 - 6. Let d be b(g). Let a(p) = -p + 12. Let v be a(7). Solve u = -v*o - 15, -o - 6 = -4*u - d for u.
-5
Suppose -f - 4*l = 2, f + 20 = 6*f + 5*l. Let n = f + -3. Solve u = 4*q - 9, -n*u = 2*u - 15 for q.
3
Let d(m) = -m**3 + 5*m**2 + 8*m - 9. Let i be d(6). Suppose -2*q = -q - i*n - 12, 0 = -5*q - 2*n + 9. Solve q*h = 5*v + 4, 4*h - 2*v = 3*v + 2 for h.
-2
Let z(y) = y + 1. Suppose 4*i = 6*i + 6. Let p = i - -5. Let k be z(p). Solve -24 = r + k*r - 4*a, 3*a = -r + 10 for r.
-2
Suppose -3 = 13*s - 14*s. Solve -2*l - s*l + 