 2*p, 4 = -2*p + 2 for k.
1
Suppose -n + 60 = -6*n. Let j be 21 + n/3 + 1. Let p = -13 + j. Solve -p*l - 15 = -5*h, 5*h - 3 = -l - 0*l for l.
-2
Suppose 4*b - 5*b = 5, -3*q + 3*b + 24 = 0. Suppose w + 0*w = -v, v = w + 6. Solve 0 = q*h + v*j - 15, -2*h - 3*j - 4 = -8*j for h.
3
Let f be ((-15)/3)/((-2)/10). Let a be 12/10*70/21. Suppose 5*b = a*b - 3*i + 21, -b = -4*i + 14. Solve -d + 6*j = j - f, -2*d - b = 4*j for d.
5
Let h = 0 + 0. Suppose 136 = -474*r + 482*r. Solve 5*v + 0*u - 4*u - r = h, 0 = 4*u - 8 for v.
5
Suppose b = 7 + 17. Suppose -6*c = -9*c + b. Solve 2*z - c = -2*z - 3*k, -5*z + 3*k - 17 = 0 for z.
-1
Suppose 5*n + 1 = -4*l, 5*n - 5*l - 23 = 4*n. Let o be 42/7*(4/n - 1). Solve 0 = -4*m - o*g - 20, -m = -2*m - 3*g - 10 for m.
-4
Suppose 3*b - 2 - 88 = 0. Let v be (20/(-25))/((-4)/b). Let q = -3 + v. Solve t - 3 + 1 = 5*z, -5*t - 12 = -q*z for z.
-1
Suppose -m - 7 = -y, 36 = -3*y - 3*m + 45. Solve 11 = -4*t + 2*g + 1, y*g + 8 = -t for t.
-3
Let m be (1/(-2))/(1/(-52)). Let u = m - 24. Suppose 0 = 3*p, 0*h - 3*h + 6 = -4*p. Solve h*y = -u*a, 0 = -3*y - 4 + 16 for a.
-4
Suppose -s - 2*c = 2, 0*c = -4*s + 2*c + 2. Solve s = -3*f - u - 7, -u + 2 + 3 = 0 for f.
-4
Suppose -x - 2*x - 4*g + 6 = 0, -x + 2 = -g. Let l be (2 - x)/(-3) - -2. Solve -a + 3 = -l*o, -2*a - 2*o = -5*a + 9 for a.
3
Let d(g) = g + 11. Let l be d(-5). Suppose 16 = 4*p, -l*c + 3*p = -c - 88. Suppose 3*s + s - c = 0. Solve -s*r - 4*u + 15 = 0, -2*r + 0*u = 4*u - 18 for r.
-1
Let p be 2/4*12/3. Suppose -q = 5*d + 23, -p*d - q + 12 = -4*d. Let i = -1 - d. Solve 13 = -4*x - v, 0 = 2*x + i*v - 6 + 2 for x.
-4
Suppose 0 = 3*b + 4*l - 17, -5*l = -3*b - 2*l + 3. Solve 5*v - 25 = 0, b*v = 5*r + 6*v for r.
-3
Let j = -310 - -312. Solve 0 = -4*n + j*m - 0*m - 14, 2*m + 2 = 0 for n.
-4
Let v = 16 - 12. Suppose -5*n - 8 + 33 = 5*w, 0 = v*n - 8. Let j = 16 - w. Solve -3*q - 2*u = j, -5*q - u = -q + 9 for q.
-1
Suppose -9*x = -3*x - 6. Solve -7 = 3*j + a + x, -5*j - 4*a - 4 = 0 for j.
-4
Suppose 2*x = -4*p + 71 + 17, 2*x = 4*p - 72. Suppose 0 = 18*w - 14*w - p. Solve -f - 3*f = w*o + 30, 0 = f + o + 7 for f.
-5
Suppose 0 = -2*m + 7*m - 25, w + 2*m + 11 = 0. Suppose -172 = -23*c - 494. Let p be (12/w)/(2/c). Solve 36 = 4*q - 5*s, 0 = -p*q + 4*s - 0*s + 32 for q.
4
Suppose 0 = -4*g + 14 - 2. Suppose -4*d + 3*r = -g*d + 12, 5*d - 2*r = 5. Let m(j) = 4*j + 40. Let f be m(-10). Solve -u = -4*t - 16, t + d*u = -f*t - 17 for t.
-5
Let m be 2*1*(-8 + 21). Suppose 2*v - m = -2*p, -3*v + 3 + 34 = 2*p. Solve 2*o - 3*g + v = 0, 0 = -4*o - 6*g + 2*g + 8 for o.
-1
Let i = 7 + 10. Suppose d = 4*h - 5 + i, 5*d = 0. Let t be (-3 + 6)*(4 + h). Solve 5*c - 11 = 4*k, 2*c + 6 = -4*k + t*k for c.
-1
Let v be ((-10)/(-8))/((-69)/(-276)). Solve 0 = -4*u + 5*j + 7, 0 = 5*j - 10 + v for u.
3
Suppose -2*l - 3*l + 12 = 3*p, 0 = l + 3*p. Solve -a + 4*f = 2*a - 8, -l*f = -5*a - 5 for a.
-4
Let g(o) be the second derivative of -o**4/12 + 4*o**3/3 + 2*o**2 + 8*o. Let c be g(8). Solve -c*b = -4*u - 4 - 4, 3*u + b = 2 for u.
0
Suppose -4*g + g + 93 = -5*c, 0 = -2*g - 2*c + 46. Suppose 3*j + 3*p - g = -p, -30 = -4*j - 3*p. Solve -5*u = -2*f - j, 6*u = f + 3*u + 3 for f.
-3
Suppose -8*b + 26 = -6. Solve 5*y - 25 = g, y = -3*g + b*y - 15 for g.
0
Let r be 150/(-125)*20/(-6) + 0. Solve r*o - 2 - 4 = 2*g, 2*o - 23 = -3*g for o.
4
Let z be 1/(2*11/(-550)). Let q = -100 - -71. Let a = z - q. Solve -2*v + 1 = -5*l - a, 2*v = 0 for l.
-1
Let b = -1790 + 1797. Solve -3*f - 12 = 3*r, -3*f + 3*r + 15 = -b*f for f.
-3
Suppose s + 4*s = 20. Suppose -5*d + 5*q - 5 + 15 = 0, 0 = -2*d - s*q + 4. Solve 0 = -3*w + 5*w - 5*r + 13, w + 5 = d*r for w.
1
Let x be 1*(1 - (2 - 1)). Suppose x*t = 2*t - 56. Let k be 30/4*(-48)/(-120). Solve 5*w - 40 = 3*a, a - 8 = k*w - t for w.
5
Suppose r + 10 = 4. Let j be 4/(8/r) + 31. Suppose -5*q + j = -2. Solve q*k - 2*k = -4*t, 5*t + 4*k + 1 = 0 for t.
-1
Let j = -69 - -71. Suppose -2*m + p = -8, m + j*p + 2*p = 22. Solve -21 = -5*b + m*s - 2*s, 15 = 2*b + 5*s for b.
5
Suppose 0 = -0*k - k - w + 12, -w - 36 = -3*k. Suppose k*q = 10*q. Suppose 4*d - 25 = i, 9*d = 4*d - 5*i + 50. Solve h = g - 1, q*h - g = -3*h + d for h.
4
Let p(o) = -o**2 - 11*o + 2. Suppose -r + 4*r - 12 = 0, -3*s - 45 = -3*r. Let x be p(s). Solve 3*a - 9 = 0, -x*l - 25 = 4*a - 9*a for l.
-5
Let j = -237 - -237. Solve j = 2*w, -5*s + 6*w = 2*w for s.
0
Suppose -8*y - 5*v = -10*y + 15, y = 5*v + 10. Solve 10 = 5*x + y*f, 2 - 6 = 4*f for x.
3
Suppose -7*i + 266 = 21. Let t = i + -32. Solve -3*p - 24 = t*n, 3*p - 8*p = 4*n + 37 for n.
-3
Let c(y) = y**2 + 77*y + 637. Let d be c(-68). Solve h - 3 = -4*q + 2, 0 = q + 5*h - d for q.
0
Suppose 0 = 5*r - 11 - 4. Suppose -r*j - 4*y = 8, -3*j - 6 = -5*y - 43. Solve 4*c = -d - d + 30, 0 = -4*c + j*d for c.
5
Let x = -316 + 316. Solve 4*s - 2*d + 6 = x, -9*s - 8 = -6*s + 2*d for s.
-2
Let d(o) = -o - 4. Let q be d(-7). Suppose -24 + 2 = -5*r + q*z, -z + 4 = 4*r. Solve -7 = -r*t - 3*m, t - 5*t = -3*m + 31 for t.
-4
Suppose -5*f - 2*g = -132, 2*f = g + 55 + 5. Let l be (-7)/(f/16) + 7. Solve 2*j + 19 = 2*r - l*j, -3*j - 12 = -r for r.
-3
Suppose 3*l = 2*d - 12 - 8, 4 = -d - 2*l. Suppose -4*y + 31*x = 26*x + 23, 4*x = -4*y + 40. Solve 0 = -i + s - 5, y*i - i + d*s - 2 = 0 for i.
-3
Let y(s) = 10*s + 383. Let c be y(-38). Solve -18 = -4*r - i, 8 = i + c*i for r.
4
Suppose -224 = 13*z - 6*z. Let n = z + 36. Solve n*u - 5 = -s, u = 5*s - 3*u - 1 for s.
1
Let z(h) = h**2 - 4*h + 2. Let a be z(0). Let u = 7 + -4. Solve 10 = 5*t - t - a*m, -u*t + 5*m = 10 for t.
5
Let g = -160 + 162. Solve -4*h + 16 = -4*l - g*h, -5*h = -2*l for l.
-5
Suppose h - 5 = -1. Suppose 0 = -0*o + h*o. Suppose -5*v - 3*s + 21 = o, 4 = 2*v + s - 4. Solve -v*q + 1 - 2 = 5*x, 2*x + 2*q - 2 = 0 for x.
-2
Let c(x) = x - 3. Let s be c(-4). Let m = -2 - s. Let z be 1 + 11 - 10*(-6)/(-6). Solve z*d - 5 = -3*r, -m*d + 4 = 4*r - 5 for r.
1
Let w = -704 + 706. Solve 0*m + 3*k + 26 = -4*m, -w*m + 2*k = 6 for m.
-5
Suppose 4*l = d - 4, -2*d - 2*d = 4*l + 4. Suppose -y + 4 = d, -35 = -5*a - 6*y + y. Solve -q = 2*q - a, 0 = 4*h - 5*q + 21 for h.
-4
Suppose -2*m - 2 = 4*w - 2*w, 4*m = 5*w - 31. Let u(z) = 3*z - 6*z + 3*z - 5*z + z**2 + w. Let k be u(5). Solve k*b = -3*i - 0 - 3, 2*i + 10 = -4*b for b.
-4
Suppose -4*f - 3*x - 111 = 0, -f - 3*x + 81 = -5*f. Let r = -12 - f. Let k = -10 + r. Solve 0 = -5*b - 3*z - 14, -5*b - 8 = 3*z - k*z for b.
-1
Suppose -6*l + 9 = -3*l. Suppose 0 = l*b - b. Let j be (b*2/(-4))/2. Solve 0 = q + 4*i - j - 5, -3*q - 15 = -3*i for q.
-3
Let n = -37 - -42. Suppose 5*r + 4*h - h = 5, 0 = -5*r - n*h - 5. Solve -r*t = 0, 0 = -0*d + d + t - 2 for d.
2
Let r(n) = 2*n - 23. Let s be r(13). Suppose l - 11 = 3*l - 3*m, s*l + m = 11. Solve -g - l*i = 4, i + 1 = -2 for g.
2
Suppose 4*x = 5*f - 29, -6*f + 10 = -3*f + 5*x. Solve -4*m = -2*p + 4 + 14, -f*m = 4*p - 10 for m.
-2
Let n = -51 + 49. Let b be (-2 - -1)*n + 4. Solve -3*y + 5*y - 3*o - b = 0, -4*y = 4*o - 12 for y.
3
Suppose 2*h + 5*i = -2, 4*h - 5*i - 26 = -0*i. Solve -4*c + h = 3*a - 7*a, c - 3*a = -1 for c.
2
Suppose -2*b = 2*b + 3*c - 29, -4*c + 32 = 4*b. Solve 2 = 2*t - b*t + y, 0 = 2*t + 4*y + 20 for t.
-2
Suppose 48*u = 51*u - 30. Suppose 12*q = u*q + 8. Solve f + 21 = -q*f + c, -3*f + 3*c = 3 for f.
-5
Suppose 0 = 7*q - 630 + 609. Solve 32 = q*f + 4*o, 0*o - o = 5*f - 25 for f.
4
Suppose p - 37 = -2*i, 4*i = 4*p + 69 - 1. Let c be 0 + 3 + (2 - 0). Let y = c + i. Solve -j + y = -5*f, -2*j + 5 - 34 = 5*f for f.
-5
Suppose 50 = -71*a + 81*a. Let i be ((-1)/2 - -1)*-4. Let k = i - -2. Solve -a*b + 5*w = -25, 3*b + 3*w + k - 3 = 0 for b.
3
Let x = -28 + 48. Let o be x*(4 - (-30)/(-8)). Solve 4*l = -o*c - 1 + 9, 3*c + 2*l - 4 = 0 for c.
0
Let o be (-129)/(-5) - (-7)/35. Suppose 2*k = -2 - o. Let x = k - -27. Solve 4*v + x = -5*l, -3*l + v - 13 = -l for l.
-5
Suppose 3*n = -i + 17, n - 3 = -i + 2*i. Let x be (-3)/(2 - n)*-2. Let y be (1*-16)/x + -3. Solve 4*j - 2*f = -y*f + 11, 4*j - 32 = 4*f for j.
5
Suppose -88*h - 70 = -510. Solve -h*r + 1 = 3*q + 6, 3 = -q - 3*r for q.
0
Let k = -18 - -33. Let c = k + -10. Solve 0 = -5*x + 5*f + 15, -c*x + f - 2 = -1 for x.
-1
Suppose 12*k = 5*k. Let x be (k/4 - 0)/(-3). Solve t + 4*m = -14, -3*t + m = -x*m + 3 for t.
-2
Sup