4, 1 = c*k - l for k.
1
Suppose -5*k + 30 = -3*h - 8, k + 3*h - 4 = 0. Solve w - 4*n + k = 0, 0 = -0*n - 5*n + 15 for w.
5
Let u = -3 - 3. Let n be ((-3)/3)/(2/u). Let g be -4*((-7)/9 + 6/(-27)). Solve -n*m = g*d - d, 0 = 3*d - 2*m for d.
0
Suppose -3*x + 0*x + 60 = 0. Solve x = k + 5*u, -5*k - 3 = -u + 1 for k.
0
Let c be (-1)/2 - 6/(-4). Suppose 0*j + 11 = 4*t - j, t - 4*j = -16. Suppose 4*x - 3*x = 7. Solve -f + c = -t*g - x, -5*f - 35 = 5*g for g.
-3
Suppose 4*p - 19 + 3 = 0. Suppose -8*f + p*f = 0. Suppose 2*u + 0*u = f. Solve -2*j - 4*q = 14, q - 3*q - 6 = u for j.
-1
Let k(g) be the third derivative of -g**4/12 + 2*g**2. Let v be k(-1). Solve 0 = d - 4*o - 19, 13 = d + v*d - o for d.
3
Let k(p) = 10*p - 5*p + 3 + p**2 - 3 + 2. Let o be k(-5). Solve -2*j - 2 = 0, 0*g - o*j + 1 = -g for g.
-3
Let v(n) = -3*n**3 + 2*n**3 + 0*n - 2*n**2 - n. Let d be v(-1). Let m = d + 2. Solve 2*h - 20 = -2*q - m*q, -2*h + 4*q = 12 for h.
2
Suppose -2*a = -3*f + 26, -2*f + 28 - 2 = 3*a. Solve -3*k = -k - 3*q + 2, -3*q = 2*k - f for k.
2
Let k(i) be the second derivative of -i**3/3 - i**2 - 5*i. Let c be k(-3). Solve -c*f + 0*s + 2*s + 26 = 0, -2*s = -5*f + 31 for f.
5
Let n be (1/2)/((-4)/(-168)*3). Solve n*q = 2*q - 5*p, 5*q = -4*p + 1 for q.
1
Suppose -3*p = s - 23, 5*s - s = -5*p + 43. Suppose -5*z - p = -22. Let g be (2/z)/(2/15). Solve -3*w + 0*v - 2*v = 11, w + g = -v for w.
-1
Let x be 1/2*0 - -1. Suppose x + 1 = q. Solve -n = w - 8, 7*w - q*n - 5 = 2*w for w.
3
Let q be 1*(3 + -2)*5. Suppose -5*i = q*g - 10, 2*g = i - 3*g - 2. Let u be 4/(-6)*(-114)/4. Solve -h = i*j + 2*j + u, -2*h = j + 3 for h.
1
Let f be 94/12 - 5/(-30). Solve 4*q + 2*n + f = 6*n, 0 = -5*n for q.
-2
Suppose 0 = 3*q - 3. Solve 0 = 3*h - 5*h - 2*t - 18, -3*t + q = -4*h for h.
-4
Suppose 0*w = -4*w + 16. Solve -l = 5*r - 24, 0 = -r - w*l + 1 for r.
5
Let j(n) = n**2 - 7*n + 3. Let g be j(7). Solve 5*i + 0*o = o - 25, g*o - 31 = 4*i for i.
-4
Suppose -2 = -4*b + 10. Suppose -b*i = -0*i - 9. Solve -3*f = -4*n + 20, -f = -i*n + 15 - 0 for f.
0
Let c = 2 - 2. Let l(p) = -p**2 - p + 6. Let o be l(c). Let u be -2*5/5 + 6. Solve -q + o*q + 25 = 0, 5*b + u*q + 5 = 0 for b.
3
Suppose -3*g + 3 = -4*g. Let r be g + 3/(3/4). Let k = -1 + r. Solve -2*u = -s + 4, -u - 4*s - 2 = -k for u.
-2
Suppose -4*v + 2 = -5*m + 43, 5*m = -5*v + 5. Suppose m*p = 2*p + 12. Solve -4*y = -2*t + 28, 7 = -p*t - 4*y + 3 for t.
4
Let x(j) = 2*j. Suppose 0 = k + 2*k - 3. Let h be x(k). Suppose h*v - 8 = -0*v. Solve 2*z - 4 = v*p - 2*z, -2*p + 3 = -z for p.
4
Let u(f) = -f**2 + 8*f + 2. Let n be u(8). Solve -3*d - 8 = n*s, -6*s + 3*s - 5*d = 13 for s.
-1
Let i be 792/27 + 1/(-3). Solve 4*m + 1 = -3*c + 6*m, -3*c - 5*m - i = 0 for c.
-3
Suppose 4*u = 20, 5*g + 5*u - 73 = -23. Solve 13 = -4*x + 5*b, 0 = 2*x + g*b - 3*b + 2 for x.
-2
Let y = 21 - 2. Solve -3*n - m = 2*n + 23, 4*n + m + y = 0 for n.
-4
Suppose 4*f = -2*c + 8, -f = c - 0*c - 4. Let x be 0 - (-1 - f) - 1. Solve -3*a + 4*w + 8 = -x, -3*a + 5*w = -13 for a.
-4
Let v(b) = -2*b**2 + 17*b - 15. Let h be v(7). Solve 2*x - 2 = 0, 5*j = -3*x - 1 - h for j.
-2
Suppose 6 = -3*v, 2*z - 3*v - 1 = 29. Let x = z - 9. Solve t + 25 = -3*g - 2*g, -7 = -2*g + x*t for g.
-4
Let v(i) = -i**3 + 12*i**2 - 12*i + 14. Let u be v(11). Let r be 40/7 + 6/21. Let z be ((-20)/(-6))/(4/r). Solve 8 = -u*x + x, z*x = -5*t + 5 for t.
5
Let u = 2 - -2. Solve -u*v + v - 16 = 5*w, 5*w - v + 8 = 0 for w.
-2
Let h(y) = -y - 2. Let q be h(-2). Suppose q*j + o + 6 = 2*j, 0 = 2*o - 8. Solve 0 = 5*p + 4*z + 8, j*p + 5*z - 2 = -12 for p.
0
Let z be -4 - ((-88)/10 - 8/(-10)). Solve 4*m = h - 25, 4*h - 30 = z*m - 2*m for h.
5
Let x be 6 + 25/(-4) - (-2)/8. Solve 2*q = 4*a - x*q - 8, -a - 4*q + 2 = 0 for a.
2
Let h be (-4)/(-48)*39 - (-3)/(-12). Solve -a = h*b - 1, -1 = -4*a + 3*b + 3 for a.
1
Suppose 4*q = -2 + 10. Suppose 4 - 20 = q*j. Let t = 19 + j. Solve 0 = 3*m + 3*a + 2*a + 35, 0 = m - 4*a - t for m.
-5
Suppose 0*k + 4*k = 16. Let i be (-1 + 20/12)*3. Solve 0 = -5*v + k*j + i, 0 + 2 = 4*v - 3*j for v.
2
Suppose -7*b + x = -2*b - 30, -15 = -5*b - 2*x. Solve -3*y = b*n - 9 + 23, -4*y + n + 12 = 0 for y.
2
Suppose 5*w - 17 = -3*m, -2*m - 4*w = -3*m. Solve q - 8 = 5*b, m = 3*q - 3*b - 8 for q.
3
Let c = 9 + -8. Let d = 3 - c. Solve d*q = 3*h + 16, 12 - 40 = -4*q + 4*h for q.
5
Let n(d) = -d**3 - 2*d**2 - 5. Let b be n(-3). Solve -2*y = 3*z - 3*y - 2, 7 = b*z + 3*y for z.
1
Let o(b) = -b**3 + 2*b**2 + 5*b - 3. Let j be o(3). Suppose -u - 1 = j*k, -2*k - 2*u - 2 = -k. Solve k = 4*c + 4*x + 12, 3*c - 5*x = 2 + 5 for c.
-1
Let d(l) = 2*l - 5. Let o = 8 + -4. Suppose 0 = -2*z - 6, o = -y + 3*z - 6*z. Let w be d(y). Solve 3*r + 0*f = 3*f, w*f = -r - 6 for r.
-1
Suppose -113 + 17 = -4*o. Solve -6*r + 3*r = 5*n - 30, 3*n = -3*r + o for n.
3
Suppose -17 + 9 = -4*k. Solve -20 = -4*i - 3*m - m, k*m = 5*i - 11 for i.
3
Let x be (-12)/16 + (-22)/(-8). Let l be (-1 - 0)/((-1)/3). Let b = -13 + 18. Solve x*d + 7 = o, b*o = -l*d - 9 - 8 for o.
-1
Let d(n) = 2*n**2 - 2*n - 1. Let u be d(2). Suppose -15 = -2*c - u*h, -3*c = 2*c - 3*h - 27. Solve -c*w = g - 5*w + 3, -g = 4*w for g.
-4
Suppose 3*p + f + 33 = -12, p + 1 = -5*f. Let n = p + 19. Solve 6*w = 3*w - 4*u + 23, 2*w - u = -n for w.
1
Suppose 0 = -3*s - 3 + 15. Solve -s*g = -3*y - 4, -2*y - 19 = 4*g - 3 for g.
-2
Let w be (-5)/(2/(-4)*2). Suppose w*p + 5*o = 30, -p - p + 3*o - 3 = 0. Suppose d = -p*t + 23, 34 = 3*d + t + t. Solve 9 = 4*j - a - d, -5*j = -5*a - 40 for j.
3
Let k(f) = 2*f + 8. Let p be k(-8). Let n(d) = -d**2 - 9*d - 3. Let l be n(p). Let x = -4 + l. Solve 2 = g, 5*g + x = -2*b + 17 for b.
3
Let n(b) = b**3 + 4*b**2 + 2*b + 1. Let j be n(-3). Let t be (4 + j + -4)/2. Solve 5*k + 15 = -5*o, -t = o + k + k for o.
-4
Let j be (-1)/5 - (-248)/40. Solve 0 = 2*w - j*w - r - 8, 3*r = -3*w + 3 for w.
-3
Suppose 3*f = -2*f + 30. Let n be (f/5)/((-6)/(-20)). Suppose n*w - 10 = 2. Solve w*h - 13 = -2*a, 0 = h + 2*a - 7 for h.
3
Suppose -6*l = -11*l + 15. Solve 2*x - l*n = -8*n - 1, 5*x = n + 11 for x.
2
Suppose -z + 3*z = -78. Let d be z/(-15) - 8/(-20). Solve -24 = 3*w - d*m, -4*w = -m + 8 + 9 for w.
-3
Let k = -9 + 12. Solve 0 = m + k*m + 5*y + 26, 4*m - 3*y = -10 for m.
-4
Suppose 0 = 3*i + 12, 4*y - 2*y + 4*i = -12. Solve -2*p - 2*t = -2, -5*t - 15 = -y*p - 41 for p.
-3
Let a = -6 - -6. Solve -11 = 3*q - 5*r, q + 4*r = -a*q + 19 for q.
3
Let u(w) = -2*w - 11. Let q be u(-6). Solve f = 0, 2*i - f - q = -5 for i.
-2
Let l be (-4)/(-6)*(-60)/8. Let b(h) = -h**2 - 6*h - 1. Let g be b(l). Solve -3*k + 4*c = c + 6, -k - g*c = 12 for k.
-4
Let u be (-1)/(-2 + (-7)/(-3)). Let s = 3 + u. Solve -3*h + 2*y - 6 = 0, y + s = -5*h + 3 for h.
0
Let p(j) = -3*j + 2. Let w be p(-5). Suppose 3*x - 1 = w. Solve q - 4*q = 3*l - x, 0 = -3*l + 15 for q.
-3
Let a be 56/10 - (-18)/(-30). Suppose -4*m + a*v = -16 + 4, 4*m + v = 12. Solve -2*g = -d + m*g + 20, -d - 20 = 3*g for d.
-5
Let w be (-1)/(1/(-2)) - -2. Suppose 5 + 7 = w*p. Suppose 4*o + 64 = 2*k, -4*k + 0*o = -3*o - 108. Solve -1 + 11 = -p*u - l, 4*l + k = -4*u for u.
-2
Let c(o) = -o**3 + 3*o**2 - o + 1. Let s be c(2). Solve 3*g - 4*q + 16 = 0, s*g - 2*q - 8 = -4*q for g.
0
Suppose -5*c + 13 = -2. Solve -4*s + 1 = -3*k, -4*s - c*k = -2*k - 21 for s.
4
Let c(d) = d + 6. Let t be c(6). Let i(r) = r**3 + 3*r**2 - 4*r + 3. Let f be i(-4). Suppose t + f = 5*z. Solve z*l - 24 = 5*l + 4*x, 3*l - x + 8 = 0 for l.
-4
Suppose 2*u + 20 - 2 = 0. Let v be (u/6)/((-3)/8). Solve 3*q + 11 = -4*x, -4*q + v*x + x + 6 = 0 for q.
-1
Let t be (-1 + 2)*2 + 2. Let a(r) = 3*r - 12. Let m be a(8). Let i be (m/(-7))/((-5)/35). Solve -t*d = -c + 13, d = -2*d + 3*c - i for d.
-3
Let a = -13 - -16. Solve 2*s - 10 = -s - f, 4*f - 10 = a*s for s.
2
Let w = -8 + 17. Let n be w/6*(-8)/(-3). Suppose -4*k + 4*s + 11 + 37 = 0, s = -3*k + 28. Solve -b + 6 = r, r - k = -n*r for b.
4
Let b be -1 + 3 + (-160)/(-8). Suppose -3*h + 1 = -0*t + 2*t, b = 2*h - 4*t. Solve -4*o + 2*v + 13 = -h*o, -4*v = 5*o - 9 for o.
5
Let c(b) = 14*b**2 - b. Let n be c(-1). Let r = 36 + -25. Let q = r + -8. Solve 0 = q*g, 3*y + n = -5*g + g for y.
-5
Suppose -x = -0*x - 5. Let r be 0/(-1) - (x - 7). Solve r*a - 5*a + 3*z - 9 = 0, 0 = 5*a + 2*z - 6 for a.
0
Suppose 40 = 3*c