2*k - h = 4*h - 35, -g*k = -4*h + 5 for k.
5
Let a = -2 + 10. Suppose -3*t = -5*t - 8. Let j = t + a. Solve 5*f = 4*h + 18, h + 0*h + j = f for f.
2
Let z(t) = -t + 1. Let i be z(-4). Let n(h) = -h - 1. Let c be (12/10)/((-7)/35). Let a be n(c). Solve 2*j + a = x, 2*x - i - 5 = -4*j for x.
5
Let w be (-10)/(-4)*(-16)/(-20). Solve u - 5*u = 4*x - 32, -w*u + 4*x - 8 = 0 for u.
4
Suppose -60 = -14*w + 10. Solve -5*b = -w*j - 5, 4*b - 17 = -3*j + 1 for b.
3
Let t be (1*3)/((-2)/(-6)). Let h be (-2)/(-11) - (-53)/11. Solve 3*n + m + t = n, -h*n = -5*m for n.
-3
Let c(l) = l**2 + l + 2. Let x be c(-2). Let o = x + -1. Solve 3*k = -4*q + 11, -o = 3*q - 0 for k.
5
Let l = -1 + 5. Let d(y) = y**2 - y - 6. Let o be d(0). Let u = o + 11. Solve t - 3 = -l*z, u*z - 3 = 2*t - 9 for z.
0
Suppose 11 = -5*x + 5*i + 31, 5*x - 4*i - 20 = 0. Let t = 1 - 1. Let u be (-1 + 2 - t) + x. Solve 0*c - 4*o = -c + 15, 0 = -5*c + 4*o - u for c.
-5
Let m = 219 - 204. Solve -4*k + 10 = 2*s - 0*s, 5*k + 5*s - m = 0 for k.
2
Suppose -2*z = -0*z - 4. Suppose -4 = -2*h - 2*k, -3*k + 5*k + 2 = h. Let u be 2/(h/(-5))*-1. Solve 0 = -z*f - 4*l - 8, -u*f - 6*l = -2*l + 14 for f.
-2
Suppose -3*t - 1 = -4*i + 2, -2 = 2*i + 2*t. Let g(n) = -n + 8 - 10 + 2*n + 12. Let l be g(i). Solve 3*s - l = -u, -3*s - 2*u = -7*u + 14 for s.
2
Let v(l) = -l - 6. Let k be v(-8). Suppose -3*u + 10 + k = 0. Solve 4*r - 13 = -0*n + n, -10 = u*n + 5*r for n.
-5
Let t = -14 - -14. Suppose 5*a - z = 18, 3*a + 7*z - 3*z - 20 = t. Solve -4*j - a*p = 16, p + 17 = -5*j - p for j.
-3
Suppose -y = -2 - 3. Suppose 0 = 2*c + 3*t - 100 + 11, -c = -5*t - 51. Suppose -y*f + c = -19. Solve -19 = -4*g - o, 4*g - 2*o = -o + f for g.
4
Let x be 7 + (-2 - 0/3). Let o(u) = -2*u - 6. Suppose -3*n + 4*j = 1 - 9, -4*n - 21 = j. Let c be o(n). Solve -3*h + c*y = -y, -3*y = 2*h + x for h.
-1
Let m = 9 - 5. Suppose -c = -15 + m. Solve 3*g = -5*b - 1, 6*b - c = 3*b + 4*g for b.
1
Suppose -88 = -7*h + 101. Let l be (2/3)/(6/h). Solve -a + 3 = -2*x, 5*a + l*x + 9 = x for a.
-1
Suppose 0 = -o - 1 - 9. Let t = -10 - o. Solve 2*s - 22 = -t*s - 4*a, 3*a - 3 = 3*s for s.
3
Suppose 3*u + 1 = -3*n + 4, -2 = u + 4*n. Suppose 2*d = -u*d. Solve -2*z + d + 3 = -p, -5*z = -p for z.
-1
Let u be ((-6)/10)/(5/(-25)). Solve -4 = -4*y - l, -4*y - u*l = -0 + 4 for y.
2
Suppose -4*h + 4 - 1 = -u, -3*h + 3*u = 9. Let q be 27/12 + 2*5/(-40). Solve q = -m, 3*t - 4*m + h - 10 = 0 for t.
0
Suppose 0 = 5*s - 2*o + 6, 3*o = 3*s - 0 + 9. Solve s = 5*x + 2*n - 5*n + 14, -n + 18 = -5*x for x.
-4
Let n = 4 + 1. Let a be (-3)/(-9)*-4*-3. Let v be a*-1*n/(-4). Solve -4*j + 4*k = -32, -v*j + 3*k = -3*j - 21 for j.
3
Let l(b) = 6*b - 4. Let w be l(6). Solve 4*c = 4*t + w, -5*t + 11 = 5*c + 1 for t.
-3
Suppose 0 = -z + 1, 0 = 4*f + z - 5*z - 32. Let c be (2 - -2)*f/12. Let x = 2 + c. Solve o = -x*i - 24, -4*i = 4*o - 10 + 26 for o.
1
Let w = 1 + 1. Let z be (-2*2)/(-3 + w). Solve 4*r + n + 2 = 4*n, z*r - 5*n - 2 = 0 for r.
-2
Suppose -4*m - 16 = -0*m + 4*h, 2*m - 12 = 3*h. Let x be (-3)/(-3) - -2 - m. Solve 7*z - x*z + 20 = 0, 2*d - 5*z = 33 for d.
4
Suppose 0 = 3*c + 2*q - 8, -2*c - 2*c - 5*q = 1. Solve 5*n = 4*d - c, 2*d = -4*n - 0*n - 10 for d.
-1
Suppose 0 = 4*o - 0*o + 28. Let g = o - -15. Solve -3*d = d - 5*z - 4, -d - z - g = 0 for d.
-4
Let c = 1 - -3. Let n(q) = q**3 - 5*q**2 - 6*q + 3. Let o be n(6). Let m be 13/o - 3/9. Solve 0 = -m*y - 2*t - c, 2*y + t = -4*t - 18 for y.
1
Suppose 4*v - 6*v = 0. Let f = -1 + 1. Solve r + 4*w + 1 - 18 = v, -4*w + 16 = f for r.
1
Suppose 59 = 4*m - 5*u + 20, 5*m - 39 = 3*u. Solve -m = -3*r + t, 2 = -4*r - t + 3 for r.
1
Let q(r) = -5*r - 21. Let o be q(-5). Let w = -9 - -13. Solve -4*n + 9 = 2*j + 1, -w*n = 3*j - o for n.
4
Suppose 0 = -5*i - 15, -2*i = -4*a - a + 26. Let z(v) = -v - 3*v**2 + a*v**2 - 6*v + 7. Let p be z(6). Solve 3*n = 2*u - 11, -2*u - 4*n + 3 = -p for u.
4
Let l(r) = 2*r - 6. Let h be l(6). Let j = 2 - 8. Let k(c) = -c**2 - 7*c - 2. Let z be k(j). Solve -3*q - 17 = 5*p, h*p - 2 = z*p + q for p.
-1
Suppose -2*y = -4*l - 5 + 15, 15 = -5*y. Let k be ((-2)/l)/(4/(-10)). Suppose -4*g = -15 - k. Solve 3*f + 3*u - 13 = 4*f, 2*u - 3 = -g*f for f.
-1
Suppose -5 = 3*i + 5*u, 3*i - u - 5 = 4*u. Solve 20 = -4*g - 4*k, -2*k + i = -4*g - 2 for g.
-2
Let u(b) be the first derivative of b**4/4 + 14*b**3/3 + b**2/2 + 18*b + 1. Let o be u(-14). Solve 0*q = 5*k + q + 10, -o*k - 5*q + 13 = 0 for k.
-3
Suppose -n + 21 = 3*o, 33 = 5*o + 13. Suppose 2*m - n = -m. Solve -m*v = -3*q + 4*q - 4, 4*q + 2*v - 6 = 0 for q.
1
Let k be (-15 + -1)/2*(-3 + 1). Let r be -7*1*(-2 - -1). Suppose 0 = -y + r + 1. Solve 3*o + 2 = -3*x - k, -2*x = -2*o - y for x.
-1
Let i be (4/(-10))/((-5)/50*1). Solve -2*m + i*m + 2*t - 2 = 0, t + 7 = -5*m for m.
-2
Let x = -8 - -5. Let j = 1 - x. Solve -2*r = -j*t - 6*r + 16, 12 = 4*t + 2*r for t.
2
Let t(j) = j**3 + 9*j**2 + j + 12. Let c be t(-9). Solve -4*w - 3*r + 6 = -0*w, c*r = -6 for w.
3
Let v be 3/(-2)*(-8)/6. Suppose 0*m + 5*m - 5 = 0. Let y = v - m. Solve 2*o + 2*h + 12 = 0, 2*h - y = -3*o - 18 for o.
-5
Let x = -45 - -47. Solve x*h = -3*z - 5, 5*h - 16 = 3*z - z for z.
-3
Let z(i) = -i**2 - 5*i + 2. Let b(g) = 2*g**2 - 4*g + 3. Let k be b(2). Suppose -k*r = 2*r + 25. Let q be z(r). Solve 3 = 5*m + 2*l + 1, -q*l + 2 = 2*m for m.
0
Let b be (-2)/(-4) - (-3)/2. Let z(s) = -2*s - 1. Let w be z(-2). Let a be (38/8)/((-2)/(-8)). Solve 3*x = l - a, -w*x = 3*l - b*x - 7 for l.
4
Let u(i) = i**2 + i - 1. Let c be u(2). Suppose 0 = c*q + 3*a - 13, 2*q = -3*q + 4*a + 41. Solve -5*d - 4*m = -11, 4*d + q*m = -0*m + 7 for d.
3
Suppose -3*f + 15 = 2*f. Solve 2*k - 5*l = 28, -f*k + 2*l = -2*l - 28 for k.
4
Let v = 5 + -1. Let s(i) = -i + 4. Let z be s(4). Suppose z = -0*b - v*b + 8. Solve b*g = j - 3, 4*g - 5*j + 29 = 8*g for g.
1
Let o(n) = -n**3 - 4*n**2 - n - 2. Let b be o(-4). Solve -5*c + 34 = -3*y, 5*y - 2*y = b*c - 19 for c.
5
Suppose -3*r + 18 = -3*c, 14 = -0*r + 4*r + c. Solve -u - r*n + 9 = 0, -6*u + u = 4*n - 13 for u.
1
Let g(k) = -k**3 + 7*k**2 - 2*k + 4. Let q be g(5). Suppose 4*w - q = -0*w. Solve 3*y + w = t, -6 + 1 = 5*y + t for y.
-2
Let i be (12 - 6)/((-6)/(-4)). Solve -3*v - 2*v - 16 = 3*q, -i*v = 4*q + 16 for v.
-2
Let x(m) = -m**2 - 9*m + 2. Let t(y) = 3*y + 1. Let s be t(-3). Let i be x(s). Solve -w = -0*w - 5*n + i, -n = -1 for w.
-5
Let n = -8 - -9. Solve -4*c = 2*m - 20, -2*m + 5 = n for c.
4
Suppose 3*u - 2*v = -0*v + 16, -4*u + 4*v + 24 = 0. Solve 0 = -3*b + 5*w - 3, -u = 3*b + b + w for b.
-1
Suppose -2*z + 52 = 2*z. Suppose -4*y + 19 = -z. Suppose -j = 3*j - y. Solve -n - j - 2 = 2*a, 0 = -5*a - 2*n - 12 for a.
-4
Suppose -6*x = -3*x - 3, 4*x = 4*p - 76. Solve 2*b = -3*f - 17 - 3, -4*f = b + p for b.
-4
Let h(f) be the third derivative of f**6/120 + 7*f**5/60 - f**4/12 - f**3/6 + 4*f**2. Let d be h(-7). Solve -4*o + 2*o = -3*z - 21, -d = 2*z - o for z.
-5
Let l = -4 + 8. Let z = -53 + 84. Solve l*x + 4*u = 4, x = 5*x - 3*u + z for x.
-4
Let g(q) = -q**3 + 2*q**2 + 7*q + 8. Let y be g(4). Solve 5*i - 2*r = -21, -y*r + 6*r = 2*i + 6 for i.
-5
Let w = -13 - -23. Solve 8 = 5*x + s - 0, 5*s + w = 0 for x.
2
Let h = -19 - -20. Let a be 1 - (3 + -5)*h. Solve 15 = 2*r + a*r - l, 4*r - 5*l = -9 for r.
4
Let g(c) = -c**3 - 9*c**2 - 8*c + 4. Let b be g(-8). Solve 13 = b*d + 3*q, -5*d - 4 = -4*q - 28 for d.
4
Let y(c) = -6*c - 15. Let x(h) = -5*h - 14. Let a(d) = -5*x(d) + 4*y(d). Let p be a(-7). Solve 4*n - 12 = -p*o - n, -o + n = -4 for o.
4
Let b be -9*-2*(-1)/(-6). Suppose 5*j + 1 = -2*p - 2, b*p = -j + 2. Solve 5 = -2*d + 3, u + d + p = 0 for u.
0
Let t(m) = m**3 - 5*m**2 + 3. Let x be t(5). Solve -3*o - 3*d = 18, 3*o + 0 - 6 = x*d for o.
-2
Let z(r) = r**3 - 7*r**2 - 8*r + 3. Let w be z(8). Solve -2*b - d = -0*b + 4, 0 = 3*b - w*d + 24 for b.
-4
Let k(y) = 2*y + 6. Let s be k(-7). Let o = s + 8. Solve o*f - 2*c = 3*f, 2*c = -2*f for f.
0
Let b = -9 - -11. Solve 5*h - 14 = 5*r + 6, 0 = b*h - 3*r - 12 for h.
0
Suppose 0 = -0*m + m - 4. Let i be 4/(-3)*(-6)/m. Solve 0 = i*v + 3*z - 3, 2*z = -v + 3*z - 1 for v.
0
Let i(x) = x**3 - 6*x**2 - 5*x - 10. Suppose -3*z + 4*b = -17, -4*b + 6 = 2. Let s be i(z). Solve s*d + 5 = o - 8, -2*d = 8 for o.
-3
Let h(d) = 7*d**2 - 1. Let j be h(-1). Suppos