t, -n*w - 6 = -5*w - 2*m for w.
2
Let k(x) = 4*x + 2*x - 2 - 3*x - 12. Let i be k(6). Solve i*c - 32 = 4*s, 0 = 2*c - 5*s - 50 + 22 for c.
4
Let h(n) = 3 - n + 2*n - n - 2*n. Let i be h(-13). Solve 0 = 5*l + b + i, -4*l - l - 13 = -3*b for l.
-5
Let d(c) = -2*c + 3. Suppose 3*l = -5*h + 24, 0 = -l - 3*l - 5*h + 32. Suppose -3*f = 5*f + l. Let a be d(f). Solve 0*s + 2*n = -s, a*n - 10 = 0 for s.
-4
Suppose 0 = -h + 1, 4*h - 12 = -9*z + 5*z. Let u = 16 - 11. Solve u*j - g - 10 = -0*j, -z*j + 4*g = -22 for j.
1
Let b = -500 - -534. Solve 2*y + 1 = x - 6, 0 = 3*x + 5*y + b for x.
-3
Suppose j = 5*j - 44. Let k = j + -7. Solve -3*l = -5*n + l - 23, 4*l = -4*n - k for n.
-3
Let t = -27 - -55. Let l = t + -20. Solve q - 1 + 6 = -2*a, -a = -3*q - l for q.
-3
Let l = -2819 - -2841. Let t = -5 - -8. Solve 0*h = 2*x + t*h - 11, 4*h = x + l for x.
-2
Let n = 7 - 4. Let h be (-9)/(-135)*-5*-6. Solve -o = 5, 14 = -a + n*a - h*o for a.
2
Let h be (3 - (3 + -4))/2. Let r be (5 - 3)/(h/5). Solve 3 = -r*l + l + y, -2*y = 2 for l.
-1
Let m = 45 - 87. Let j = 48 + m. Solve -2*y - j = -5*y, -4*y = t - 3 for t.
-5
Let w be -3 + (-8 + 4)/(-1). Let m = w + 11. Let l be (3/(-12))/(4/(-32)). Solve c - 4*x + l = m, -4*c + 14 = -3*x for c.
2
Let f(m) = 6. Let k(y) = y - 1. Let q = -12 + 13. Let j(z) = q*f(z) - k(z). Let x be j(4). Solve 5*g - 4*u = -6, -x*u - 2 = 2*g - 5*u for g.
-2
Let o be 7 - (11 - 7)/(-4). Let u = 13 + -6. Solve 2*y - 3*l - u = o, 0 = -y - 3*l - 15 for y.
0
Let a = -1195 + 1195. Solve 2*y + 3*j - 6 = a, 6 = 5*y + 2*j + 2 for y.
0
Let d = 4 - -2. Suppose 0 = -7*a + d*a + 2. Solve 3*v + 13 = a*z, 2*z = -v + 5*v + 18 for v.
-5
Let w be 32/448 - 69/(-14). Solve -w = -3*c - 2*j - 0, 16 = 4*j for c.
-1
Suppose -d + 2*o + 82 = 0, -2*o = 3*d - 259 - 11. Let u = d + -53. Suppose 4*f - u = -f. Solve 4*v + 5*a = -15, 0 = -2*v + 4*a - 7 - f for v.
-5
Suppose 0 = 7*u - 5*u. Solve -4*w - 16 = -u*w - 5*t, -8 = 2*w + 3*t for w.
-4
Suppose -3*k = -2*o - 6*k - 1, -5 = -2*o + 3*k. Suppose -4*h + 2*z + 4 = 0, h - 2*z - o = -2*h. Solve -11 = -5*c - 0*c + h*p, 4*p = 3*c for c.
4
Suppose -6*x + 2*x - 16 = 4*t, 19 = 4*t - 3*x. Suppose -q - n + 1 = 0, -2*q - 4*n - 5 = -t. Solve 5*y - 1 - 3 = -w, q*y = 4*w - 16 for w.
4
Let c = 21 - 19. Let p(q) = -q + 3*q + 4*q + q**c + 2. Let j be p(-6). Solve 6*k - 24 = 5*m + j*k, 3*k + 17 = -5*m for m.
-4
Let f(s) = s**2 + 14*s + 25. Suppose 0 = -a + 7*a + 78. Let m be f(a). Solve m = -2*z + 2*g, -z + 4*g - 14 = 4 for z.
-2
Let y be -16*(6 - (-49)/(-8)). Solve x = y*t - t - 2, 10 = -t + 5*x for t.
5
Suppose k = 2*k - 4. Let o = k - 7. Let g = 8 + o. Solve -h + 6 = -2*j, 5*j - 2*j - 17 = -g*h for h.
4
Let t be 24/9 - (-2)/(-3). Suppose t*d = -0*y + 3*y - 68, -4*y + 4*d = -92. Let s = -18 + y. Solve -w = 4*w + 15, s*w + 28 = 4*i for i.
4
Let i be 39/9 - (-3)/(-9). Suppose 4*l = 4*g - 36, g - 6*g + 31 = -i*l. Let u be (1/3)/(l/(-84)). Solve 0 = -3*t + 2*k - 7, -4*t + u*k + 2 = 12 for t.
-3
Suppose 11 = -12*g + 119. Solve 2*i = -i - 3*u - g, -5*i - 9 = -u for i.
-2
Let b = 74 + -65. Suppose -b*d = -d. Solve -3*q - 7 = 4*m, 2*m - 19 = 3*q - d for q.
-5
Let r(m) = -m + 4. Let u be r(0). Suppose -4*k = -12, -5*k = -3*h - 11 - u. Solve -24 = -5*s + 3*i, -i = 2*s - h*s - 3 for s.
3
Let a(p) = p**3 + 4*p**2 + p + 5. Let t be a(-4). Solve 2 = -x, -2*x + t + 7 = -4*w for w.
-3
Let g be 0/((6 - 4)*-3). Solve 10*s - 7*s = -5*i + 9, g = -3*i - 4*s + 1 for i.
3
Suppose 5*d = -d + 168. Let n = -8 + d. Solve -2*u - 2*u - q = 4, 0 = -5*q - n for u.
0
Suppose -4*c = 5*c - 153. Let y = -12 + c. Solve 1 + 21 = -5*b - 4*l, -2*b - y*l = 19 for b.
-2
Let w be (-5 + 0)*(2 - 1). Let b(x) be the first derivative of -x**2 - 8*x - 87. Let o be b(w). Solve c + 6 = -o*y, -c = 2*c - 3*y - 27 for c.
4
Let g be (96/10)/((-4)/(-10)). Suppose 3*n = -5*z + 3 + 11, 4*z - g = 4*n. Solve b = -z, 4*i + 5 = b + 1 for i.
-2
Suppose -27 = 34*k - 43*k. Solve -k*w - 4*o - 1 = 0, 3*w + 0*o - 5*o = -19 for w.
-3
Let t(d) be the third derivative of 23*d**4/24 - d**3/6 - 33*d**2. Let c be t(1). Solve 4*w + 3*l + 1 + c = 0, 0 = -2*l - 2 for w.
-5
Let k(d) = -d**3 + 6*d**2 + 10*d + 1. Let g be k(7). Suppose -20*s = -g*s + 6. Solve 10 = -2*c, 6*c - 2*c + 20 = s*p for p.
0
Let v(c) = 2*c**2 + 3*c + 3. Let x be v(-3). Let r be (-134)/(-26) - (-14)/(-91). Solve -p + 3*s = 7*s - x, 5*p = -r*s for p.
-4
Suppose 88*h - 84 = 81*h. Solve h + 2 = -2*n - 2*m, 2*m = 2*n - 6 for n.
-2
Let s = -27 - -27. Suppose s*h - 4*w = 5*h - 24, 4*h = w + 15. Let x = -2 + h. Solve x*n + k = 3, -3*n - 5*k - 9 = 4 for n.
4
Suppose -14*d = -18*d + 20. Solve w - d = -3*r + 5*w, 0 = -w + 1 for r.
3
Suppose -4*m + 13 - 5 = 0. Suppose -44 + 174 = 65*u. Solve c - 2 = -w, u*c - m = -0 for w.
1
Suppose -5*t + 0*c + 3*c + 7 = 0, 5*t + 2*c = 12. Solve 0 = -4*h + h - 12, -5*h = -t*a + 10 for a.
-5
Let g = -40 - -68. Solve 5*t - 2 = 2*h - 0, -4*t - 5*h = -g for t.
2
Let c be (-3)/6*-1*12. Let x be 0*(c/(-4))/3. Suppose -2*b + 4*f + f + 21 = x, -4*b + 18 = -2*f. Solve -s + 2*n = 7, 0*s - 5 = b*s - 2*n for s.
1
Suppose -4*c + 45 = -7*c. Let b(x) = -x**3 - 14*x**2 + 17*x + 30. Let u be b(c). Solve 2*t + 11 = -u*t + h, 5*t - 4*h + 35 = 0 for t.
-3
Suppose 6*y + 72 = 8*y. Let i be (-8)/y + 40/18. Solve t + 1 = w, -i*t = 2*w - 0*t - 6 for w.
2
Let k = 51 + -49. Suppose 5*h + k*v - 14 = 0, -15 = -4*h + h + v. Solve -h*x = i - 10 + 23, 3*i = -x - 6 for i.
-1
Let j be (-402)/(-14) - (42/(-49))/3. Let b = j - 25. Solve 4*n + 3*s - 2 = -20, -n - b*s - 11 = 0 for n.
-3
Let u be 0 + ((-24)/(-4) - 4). Solve -3*v - m = 8, 0 = u*v + 3*m + 2*m - 12 for v.
-4
Suppose 15 = 26*c - 23*c + 5*v, -3*v + 15 = 3*c. Solve 0 = -n - 9*q + 7*q, -c*q = 2*n - 2 for n.
-4
Let z be (-5)/(3 - 8)*2*2. Solve z*d - 2*v = 37 - 11, 6 = -2*v for d.
5
Let g(t) = -t**2 + 8*t - 6. Let i be g(4). Suppose 2*a + 4*v + 0 = i, 4*v + 1 = -a. Let y = 0 + 1. Solve n - 4 = -2*d, -3*n + a = -5*d - y for d.
0
Let r = -23 - -37. Let z(q) = -q**3 + 14*q**2 + q - 3. Let k be z(r). Solve 0 = -p + 5*b + 30, 0 = 2*p - 2*b + k - 31 for p.
5
Suppose n - 2*u - 4 = 0, 0 = 5*n - 0*u - 5*u - 20. Solve 0 = -0*l + l + t - n, 16 = l + 5*t for l.
1
Suppose 3*i = 2*i - n, 0 = 4*i + n. Solve g = -l - 0*g + 1, 5*l + g - 13 = i for l.
3
Suppose -39*f = -27*f - 324. Solve 3*n + 14 = -4*u, -n - 5*u + 10*u + f = 0 for n.
2
Let x be 108/(-11) + (-8)/44. Let u be (-123)/(-5) + (-4)/x. Suppose 2*d - u = -5*f, 8 = 3*d + 4*f - 12. Solve 5*b + 4*o - o + 21 = d, 0 = 2*b + o + 8 for b.
-3
Let j(s) = s**2 - 10*s + 20. Let r be j(8). Let u be 2*(r - 0/2). Solve -4*c + 2*a + 14 = -6*c, a - u = 2*c for c.
-5
Suppose -t + b = t - 4, 5*t - 3*b = 12. Solve t = 3*z + 6, 4*w + z - 3*z = -8 for w.
-3
Let d = 23 + -15. Let o = 11 - d. Solve 0 = o*g - 7*g - 2*h + 12, -g = 5*h + 15 for g.
5
Let c be 2/8 - 7/(-4). Let v be (-906)/(-54) + c/9. Let u = 15 + -12. Solve -u*w + 5*b = v + 13, 2*b = 5*w + 31 for w.
-5
Let i(c) be the third derivative of c**6/120 + 3*c**5/20 - 11*c**4/24 - 7*c**3/6 + 6*c**2. Let n be i(-10). Solve -n*w = -3*u + 27, w + 1 = u - 2*u for u.
4
Let b be (4/4)/2*52. Let w be 80/(-6)*(-39)/b. Let y = w - 15. Solve -4*r - 2*m = -10, -r - 5*m + 2 = -y for r.
2
Let s be (-2 - (-68)/6)*177/118. Solve -u + s = -3*y, 10 + 0 = -5*y - 5*u for y.
-4
Let f(v) = v**3 - 6*v**2 + 6*v + 1. Let h be f(5). Let c(l) = -l**3 + 2*l**2 + 48*l - 132. Let g be c(3). Solve 0 = -3*u - g*r + h, -5*u - 2*r - 8 = -3 for u.
-3
Let z(b) = 14*b**2. Let y be z(-1). Let d = -12 + y. Suppose d*u = -4*n - 1 + 17, -2*u - 24 = -4*n. Solve -3*k = 4*t - 3 - 8, -30 = n*k - 3*t for k.
-3
Suppose -13 = -2*k + 17. Suppose d = 35 - k. Let a(v) = 7*v - 44. Let i be a(7). Solve 5*y - 5*f = -d - i, 5*f - 25 = 4*y for y.
0
Let z(r) = 7*r**2 - 167*r. Let l be z(24). Solve 2*a + 4*m - l = -2*a, 5*a + m = 10 for a.
1
Let t = -17 + 25. Suppose p - 22 = -26. Let w = t + p. Solve -5*l + 24 = 2*r + 2*r, 0 = 2*r - w*l + 14 for r.
1
Let o(g) = g**2 - 5*g + 7. Let j be o(1). Let m = -7 - -10. Solve -4*y + 6 = -4*s - 10, -m = 2*s + j*y for s.
-3
Let t(l) = -l - 5. Let z be (16/(-10) - -2)*-25. Let p be t(z). Solve -5*u = 2*m - u + 22, -p*u - 20 = 0 for m.
-3
Suppose -5*d = 3*a - 8*a - 140, 0 = 2*d + 5*a - 42. Suppose -22*k - 20 = -d*k. Solve 3*n - k = 4*s - 5*s