-2*n = 0 for k.
-3
Suppose -7 = -2*x - d, 1 = -x - 3*d - 3. Suppose i = -i + 40. Solve -s = x*u - i, 9*u - 10 = s + 4*u for s.
5
Let q be 58/12 - (-2)/12. Solve y = 3*a + 2 + 5, 0 = q*a + y + 25 for a.
-4
Let d be (-9)/3*-1*-2. Let y(v) = -13*v - 25. Let l(h) = 7*h + 13. Let r(s) = d*y(s) - 11*l(s). Let c be r(-5). Solve -3*b = -c*a + 1 - 6, 2*b = 3*a for a.
2
Let a = 11 + -8. Suppose -19 = -4*u - 0*u + 3*p, 0 = -5*p - 5. Let c be (-56)/(-8)*(20/4 - 4). Solve 2*r = a*b - c*b - 4, 5*b + 5 = u*r for b.
-1
Suppose 10*w + 8 = 5*w - 4*n, 5*n + 10 = 0. Suppose -2*b - 4*p = 4, w = -4*b - 4*p - 2 + 6. Solve 3*v + 5 = b*s - 3, -4*s + 8 = 0 for v.
0
Let z be (-1 - 2)*55/(-15). Let y = z + -9. Suppose 0 = -3*l - 5*b + 29, 4*b = -5*l - 0*l + 31. Solve l*v + 2*c = 5*c + 18, -y*c + 8 = 3*v for v.
4
Let q = 15 - 9. Suppose 3*m - q = 9. Solve -3*a - 10 = 4*v - a, -3*v - m*a = 18 for v.
-1
Suppose 5 = b + 1. Suppose -107 = -0*z - b*z + 3*n, 3*z = -2*n + 59. Solve -4*x + 4*q - z = q, -4*x + 2*q = 18 for x.
-2
Suppose -20 = -2*p - 2*p. Solve 0*l - 18 = p*o - l, -4*l = -3*o - 4 for o.
-4
Let t = -5 - -9. Suppose -4*b = -6*b + t. Solve 0 = b*r + f + 15, -3*f = 5*r + f + 45 for r.
-5
Let f(d) = d**3 + 6*d**2 - 2*d - 5. Let q be f(-6). Suppose -4*v = q + 1. Let y = v + 2. Solve 0 = 3*k + 2*x + 4, -k = -y*x - x - 7 for k.
2
Let q(v) = -3*v**3 + 2*v - 1. Let p be q(1). Let m be p/(2 + (-12)/5). Suppose 15 + 10 = m*o. Solve -3*w = o*k - 3*k + 1, -3 = w + 2*k for w.
1
Let b be (-2)/5 + 96/15. Suppose -b*s + 9 = -3*s. Solve 2*h - 7 = -s*y, 0 = 8*y - 3*y - 4*h - 41 for y.
5
Suppose 0*p - 5 = -5*p. Let g be 4*(6/4 - p). Solve 0 = -g*y + 3*h - 9, 4*y + y - 2*h = -6 for y.
0
Let z = -2 - -3. Solve 3*i - 2*a = -z, 0*i - 2*a + 13 = i for i.
3
Let p = 38 + -13. Solve 3*k + 3*f + 17 = f, 0 = 3*k + 4*f + p for k.
-3
Suppose 0 = -a - 2*u - u - 5, 4*u = a - 16. Solve -6 = 4*s + r, -a*s - 3 + 1 = -r for s.
-1
Suppose -5*l = 0, -2*l - 4 = -5*a + 16. Suppose 4*b - 4 - a = 0. Solve k - 13 = o + b*o, 5*k - o = 23 for k.
4
Let a be -2 - (77/(-15) + 6/45). Solve -a*f = -2*p, -p + 5*p = -4*f - 20 for f.
-2
Let l be (-3)/4 - (-121)/44. Solve 0 = -2*g - 4*y + 2*y + 4, -5*y - 25 = -l*g for g.
5
Let l = -35 - -25. Let q be (297/(-45))/(2/l). Solve -18 = 4*o - 2*i + 3*i, 4*i = 5*o + q for o.
-5
Let c = 42 - 24. Let p be (3/6)/(3/c). Solve 0 = -5*v - 5, -2*v + p = 2*x + v for x.
3
Suppose v + 28 = 3*d, 2*d - v - 6 = 12. Let o be (d/30)/((-1)/(-6)). Solve 2*u = -o*c - 6, 4*c + c + 15 = -3*u for c.
-3
Suppose 0 = l - 3. Solve c = -4*c - l*h + 1, -c - 5 = -2*h for c.
-1
Suppose 2*m + m = -j + 22, 4*j - 3*m = 28. Let v be j/45 - (-25)/9. Solve 3*c = -h - v, -5*c = -2*h - 0 + 16 for c.
-2
Suppose 0 = 3*d - 2*u - 11, 0*d - 3*u = -2*d + 4. Solve 3*b - 5 = d*a, b + 4*b + 29 = -a for a.
-4
Suppose 2*f = -2*w + 6, -2*f = 3*w - 8*w - 13. Solve 2*i - 7 = b, 0*i = f*b - 2*i + 22 for b.
-5
Suppose -15 = -6*p + 3. Solve -2 = 4*m - 5*v - 30, p*v + 10 = -m for m.
2
Let q(g) = -g**2 + g - 10. Let b be q(0). Let f be ((-8)/b)/(6/15). Let v(d) = -d**2 + 6*d - 5. Let r be v(5). Solve -f*y + 0*y = 3*x + 10, r = -2*x - 4 for y.
-2
Suppose s = -3*d - 2*s + 39, -3*d = -2*s - 64. Solve -5*x - 4*j - 24 + 8 = 0, 0 = -5*x - 2*j - d for x.
-4
Let b be -4 + 3/((-12)/(-32)). Solve b*c + 5 = 2*l - 25, -2*c - 2*l = 0 for c.
-5
Let f(w) be the first derivative of w**4/4 - 6*w + 2. Let h be f(0). Let y = -4 - h. Solve -y*b = -5*b + 5*a - 19, 2*b = a - 1 for b.
2
Let t(z) = -z**3 - 5*z**2 + 8*z + 15. Let s be t(-6). Solve -4*g + 5*x - 8 = -1, -s*x + 3 = -2*g for g.
-3
Let j(n) = n**3 - 5*n**2 + 10*n - 7. Let o be j(3). Let i be (3/2)/((-2)/(-12)). Solve 4*y + i = -o*u, -4*y + 12 = -y for u.
-5
Let m be (-3)/((-6)/10) - 0. Solve -m*q - 2*p = -6*p + 45, 3*q - 3*p + 30 = 0 for q.
-5
Suppose x - 2*x - 1 = 0. Let n = 7 - x. Let z be n - (-2)/6*-3. Solve -3*v + 4*w - z = -25, -w - 11 = -4*v for v.
2
Suppose 72 = 14*q + 4*q. Suppose -5*f - 5*s + 18 = -2, -s = 0. Solve -2*x = q*y + 4, -y - f*x = -0*y + 15 for y.
1
Suppose 0 = -3*f + 17 + 1. Suppose 0 = -3*j - 3*v - 9, -5*j + 3*v + 25 = -0*v. Solve -13 = 3*a + j*o, -f*a - 23 = -a + 2*o for a.
-5
Let b = -17 - -19. Solve -y + 5*x + b = -0*y, -5*y - 3*x = -10 for y.
2
Suppose -33 = -3*b - 2*b + 2*k, 0 = -b - k + 1. Solve 5*v + 5 = c, 2*v - 5*v + 19 = -b*c for c.
-5
Suppose 0 = -5*i + 24 - 4. Suppose -i - 11 = -3*j. Suppose 0 = j*n + u - 15, -n - 7 + 1 = 2*u. Solve 18 = -4*p + b, 4*p + n*b + 30 = 2 for p.
-5
Let o = 2 - -1. Suppose -o*b = -b. Suppose a + 4*a - 2*h - 16 = 0, a + 3*h = -7. Solve 5*k - 21 = -4*q, 5*k + a*q = -b*q + 13 for k.
1
Let k be 2/(-8) - (-21)/4. Solve 0 = 3*n - n - 5*v - 5, k*n - v = -22 for n.
-5
Let r(x) = -x**3 + 10*x**2 + 11*x - 9. Let i be r(11). Let w = i - -12. Solve 3*c = 0, c = 5*j + w*c for j.
0
Let g be 0*4/(-2 - 2). Solve -f = -1, -3*l + 4*l - f + 2 = g for l.
-1
Let w = 2 - 2. Suppose 15 + w = 3*l. Suppose l*c = 5*a + 15, 5*a = -4*c + 2*c + 34. Solve -g - h - c = 0, g + g + h + 12 = 0 for g.
-5
Suppose -y = 4*u - 6, 2*u + 3*y = y. Suppose -3*m = 5*k - 2*m - 23, 4 = -u*k + 4*m. Solve -2*p = -5*z, -3*z + 6*z = -k*p for z.
0
Let k = -50 + 50. Solve 5*o - 5 = 5*j, k = o - 5*j + 4 - 13 for o.
-1
Let j be (-1)/3 + 12/9. Solve -3*d = -5*c + 19, -3*d - j = -c - 2 for d.
2
Suppose 7 = 2*n + 3. Suppose -i + 15 = n*i. Let x = -3 + i. Solve -x*z = -4*r - 8, -z + 4*r + 3 = -3 for z.
2
Suppose 2*a + 8 = 6*a. Suppose 0 = -v - 1 - a, 0 = -2*h - 5*v - 11. Solve 6 = 5*t - 4*d, -d - h = -4*t + 3*t for t.
-2
Suppose 0 = j - 2*j - 7. Let s be (-26)/j - 6/(-21). Let b = 21 - 15. Solve 3*h + 2*t = -10, -s*h + t - b = -0*t for h.
-2
Suppose 12 = 4*i - 8. Suppose -3*z + i = -1. Solve z*w - 3*t = -3*w - 5, -2*w - 2*t + 14 = 0 for w.
2
Suppose -3*c + 25 = b, -2*c = 2*c + 4*b - 44. Solve -q + 10 = 4*u - 7, 3*q = -u + c for u.
4
Suppose 5 = 5*i - 3*z + 2, i + 4 = -4*z. Solve -4*k + 4*c - 20 = i, -2*c + 5*c - 19 = 5*k for k.
-2
Let g be (-4)/6*(-1 - -4). Let v be -7 + 11 + g/1. Solve l = -2*k - 1, 3*k - 4*k + v*l = 13 for k.
-3
Let c be (-3 - -4)*5/1. Suppose -2*j - c*o = -j + 1, 0 = -4*j - 3*o - 21. Let x be (-39)/j - (-1)/2. Solve x*a + 20 = 3*a, -b + 5*a = -23 for b.
-2
Let c = -15 - -11. Let h = 3 - c. Solve -3*y + 6 = v - h, -4*y = 3*v - 24 for y.
3
Let t(g) = -g**2 - 7*g - 8. Let c be t(-3). Solve -5*f = -r - 14 + 31, c*f + 16 = 2*r for f.
-3
Let g = -9 - -8. Let y = g + 3. Solve -5*j - 31 = 5*u - 6, -9 = y*u + j for u.
-4
Suppose 0 = -17*i + 4 + 30. Solve 2*m = i*u + 16, 5*u - 5 = 6*u for m.
3
Let w be (9 + (-5)/5)*1. Let j(y) = y**3 + 5*y**2 - 3*y - 2. Let c be j(-3). Suppose -3*n - 7 = -c. Solve 4*z + 3*k - 6 = 0, -n*z + 5*z + w = 4*k for z.
0
Let a = 155 - 153. Suppose 5*p - 7 - 18 = 0. Solve v - p*v = -4, 0 = x - v - a for x.
3
Let x = -2 - -3. Suppose 2*o = 3*o - x. Let v be 5/o + (2 - 2). Solve -p + v*p + 11 = 5*f, -4*f + p = 0 for f.
-1
Let m(b) = -b**3 + 12*b**2 - 11*b + 2. Let g be m(11). Suppose 63 = -g*y - 5. Let x = 51 + y. Solve -3*q = s - x, 15 = q + 4*q - 5*s for q.
5
Let m(w) = -7*w + 4*w - 1 + 7*w**2 - 1 - w**3. Let g be m(3). Suppose -3*p - g = -8*p. Solve -p*r + 30 = -5*q, 3*q = -r - 4 - 10 for r.
1
Let a(b) = -b**2 + 8*b - 8. Let l be a(6). Suppose 3*x = -2*r + 7*x, l*r = 4*x. Solve r = u - 3, -3*u = -4*h - 5*u + 22 for h.
4
Suppose 4*i - 9 = -3*u, -u - 4*i + 9 = -2. Let d(q) = -4*q - 1. Let r be d(u). Solve -3 = -5*v - 4*c + 3*c, -9 = v - r*c for v.
0
Suppose -w - 3*r + 35 = -0*w, 3*w - 35 = 5*r. Solve -2*v - w = -4*o, -4*o - 4*v + 6 + 2 = 0 for o.
4
Let a = 31 - 2. Let z = 30 - a. Suppose w + 9 = 4*w. Solve -2*h + z = 3*b - w, 0 = -2*b - 4 for h.
5
Let z = -50 - -82. Let f = -23 + z. Solve 0*b + r - 13 = 3*b, b = 5*r - f for b.
-4
Suppose -14 = -r - r - 2*u, -3*r = u - 13. Suppose 0 = 4*p - 8 - 0. Solve -10 = 2*s - r*t, p*s = -3*t - 0 + 2 for s.
-2
Let w be ((-4)/3)/((-11)/33). Solve 0 = -i + 4*f - w, -5*i + 3*f = -3*i + 3 for i.
0
Let l be 1/(-1 - (-16)/18). Let u be 24/l*(-12)/8. Solve 0 = -3*x + 3*q, -2*x + 2*q - u = -q for x.
4
Suppose 0 = 5*n - 2*g - 15, -g = 4*n - 3*g - 12. Solve 0 = -4*w + 2*a - 14, -n*w = a - 5*a + 13 for w.
-3
Let i(y) = y**2 + 1. Let x(w) = 3*w**2 - 2*w - 2. Let k(t) = 2*i(t) - x(t). Let p be k(4). Let j = 0 - p. Solve -2*a + z 