-k + 15, 0 = -y - 4*k + u for y.
5
Let b = -3 + 11. Solve 3*g + 16 = 2*u, 3*u - 2*g - 6 = b for u.
2
Suppose 1 = 6*b - 2*b - 3*t, 0 = 2*b + 2*t - 18. Let j be 2/b*(-2 + 6). Let s be ((-12)/j)/3 - -4. Solve 4*f = s*p + 20, 6*f = 2*f + p + 18 for f.
4
Suppose 0 = -t + 4*t - 3*s - 24, 3*t + 3*s - 24 = 0. Suppose 3*u + 20 = t*u. Suppose -u*o = -2*o - 4. Solve 3*l - o*l = -5*v + 9, 4*l = 5*v + 11 for l.
4
Let a(w) = w - 5. Suppose 4*o = -38 + 6. Let z be a(o). Let d = -8 - z. Solve 0*t + 14 = -d*t - v, -5*t - 20 = -5*v for t.
-3
Let v = -26 + 42. Solve 3*l = -4*a + 4, 4*l - l + v = a for l.
-4
Let r(q) = -q**3 + 11*q**2 - 28*q - 8. Let c be r(6). Let w(u) = -u + 9. Let l be w(5). Solve -2*j = c*z - l*j - 10, 10 = 2*z + 4*j for z.
3
Suppose -i + 0*i + 5*v = -18, -2*i = 3*v + 3. Solve -z - 4*j + 4 = 1, -i*j = -4*z - 26 for z.
-5
Suppose 3*j - 30 = 8*j. Let i(h) = -2*h - 7. Let d be i(j). Suppose g = d*g. Solve -p = -m + 4*p + 10, g = 5*m + p + 2 for m.
0
Let x = 6 + 2. Solve 0 = -2*p - 4*n + x, 2*p + 0*n = -n + 5 for p.
2
Let x(f) = -2*f**3 - 2*f**2 + 5*f - 3. Let i be x(-3). Solve -2*s + 5*d + 21 = 0, 2*s + s - 3*d = i for s.
3
Let t(b) = b - 16. Let q be t(0). Let w be (-20)/q*(13 + -1). Solve -5*m - w = 0, -p + 3 = -3*m - 8 for p.
2
Suppose -5 = -t - 1. Solve 5*r - 25 = 0, t*k = 3*k - r + 3 for k.
-2
Suppose -3*o + 7 = 5*g + o, 5*g - 2*o = 19. Solve 5*z = g*s - 5*s, -5*s = z for z.
0
Let z = 40 - 35. Solve -4*n + 0*h + 15 = 5*h, -5*n = z*h - 20 for n.
5
Let n = -31 + 33. Let r be ((-1)/(-1))/(2/6). Suppose 2*a - 2 = -r*b, -3*b + n*a - 2 = b. Solve -5*z - 2*h + 5 = 0, -2*z - 2*h + 4*h + 16 = b for z.
3
Let y(k) = k**2 + k + 1. Let w be y(5). Suppose -h - 19 = -5*s + 8, 5*s - w = 3*h. Solve -s*o + m - 9 = 0, -3 = o - 6*o - 2*m for o.
-1
Suppose 0*p - 17 = -2*g + 3*p, -3*g + 2*p + 18 = 0. Solve -g = h, 3*k + 0*h - 1 = h for k.
-1
Suppose -15 = 3*h - 8*h. Let n be ((-3)/(-4))/(h/60). Let c = n - 3. Solve 0*t - 4*t - 2*m + c = 0, 5*m = 20 for t.
1
Suppose 8*a = 3*a. Suppose o = -3*o + 8, a = -5*t + 5*o. Let n be ((-2)/4)/(t/(-60)). Solve -4*j + j = 2*h + n, -2*h - 4*j - 20 = 0 for h.
0
Let l = 16 + -14. Suppose -l*f + 28 = 4*t - 16, -t = -2*f + 29. Solve 0 = 5*c + 2*j - f, c - 5 = -3*c + j for c.
2
Let x be (-1)/2*2*-13. Let o = 31 - x. Suppose -2*l - 5*f + 24 = 0, -l + 4*f - o = -2*l. Solve r = l*w - 12, 3*r + r + 18 = 2*w for w.
5
Let q = -109 - -114. Solve 4*w + 5 = 5*n - 7, 2*n - 18 = -q*w for w.
2
Let c(z) = -z**2 - 9*z - 10. Let v be c(-7). Suppose -b + v*g + 18 = 0, 3*g - g = 5*b - 18. Solve -y + 2 = 2*j, 0*y = -b*j + 3*y + 10 for j.
2
Suppose 45 = 5*w + 3*h - 52, -15 = -w - 5*h. Suppose 2*v = -2*v + w. Solve v*y - 3*p + 8*p + 25 = 0, 3*y = -p - 5 for y.
0
Let m = 207 - 204. Solve 3*a - 3*b - 24 = 0, -3*a - m*b - b = 11 for a.
3
Suppose 0*j - 3 = -j. Suppose 0 = j*f - f - 16. Solve a + 4*a + 2*d - f = 0, 4*a - 13 = 5*d for a.
2
Let n = 2 + -2. Let z(v) = v. Let p be z(6). Suppose -3*w + w + p = n. Solve 3*f = -4*y - 29, f + 17 = -y - w*f for y.
-5
Let f(c) = -c**2 - 4*c - 1. Let g be f(-3). Suppose 5*q + g*b = 6*b + 30, 24 = 2*q - 4*b. Suppose q*z - 16 = -2. Solve 23 = 5*h - 4*v + 10, h = 4*v - z for h.
5
Suppose -4*i = 3*x - 18, i + 4*x + 1 = 4*i. Suppose r + i*r = 0. Solve -5*b + 2*v + 25 = 0, -3*v = 4*b - r*b - 20 for b.
5
Let p(g) = g**2 - 6*g. Let h be p(7). Suppose 2*d + 23 = 3*l + h, 5*d = -l - 6. Solve -5*s = 25, -5*s - 24 = y + l for y.
-3
Let v be (2/6)/(3/45). Solve a - v = 2*h, 2*h + 15 = 3*a - 2*h for a.
5
Suppose s + 2 = 2*y, 4*y + y - 2 = 4*s. Solve 2*t + 5*r = -5, y*t - 3*r = -0*r + 19 for t.
5
Suppose -2*j - 5*g + 23 = -2, 0 = 2*j - g + 5. Let u be 10/(-2)*(j - 1). Solve k + 0*k - u*n + 13 = 0, 5*k + 7 = -4*n for k.
-3
Let y(u) = -4 + u**3 + u + 2 - 2 + 2 - 7*u**2. Let r be y(7). Solve -5*l - 3*k + r = 2*k, l = 3*k + 5 for l.
2
Let p = -66 - -69. Solve 0 = -2*u - p*l + 12, -3*u - 2 = -3*l + 10 for u.
0
Let m(n) = -n**2 - n. Let y be m(-1). Let f be 4*-1 - (y - -1). Let h = f + 7. Solve -25 = -2*u - u - 2*b, h*b = 10 for u.
5
Let t be (-2)/(-7) - 2/7. Let k = 7 - t. Let w = 8 - k. Solve -4*z + 0 = 5*i - w, 2*i - 4*z = -22 for i.
-3
Suppose 0 = -2*v - 4*j - 1 + 9, -5*j + 10 = -2*v. Let g be (-8)/4*(-12)/2. Solve v*h + 4*h + 8 = 0, 3*t - g = 3*h for t.
2
Let o(l) = -2*l - 60. Let t be o(-31). Solve t*n = p - 5, -5*p + 0*p + 4*n = -1 for p.
-3
Let d = -52 + 53. Solve 0*g + 2*w = -2*g, 0 = -g - 2*w - d for g.
1
Suppose 0 = -4*y - 5*o + 24, 13*y - 3*o = 11*y + 12. Solve -4*w + y = -3*r - 10, 5*r = -20 for w.
1
Let o = -17 + 22. Solve o*d + 25 = 5*r, 4*d + 4 = -3*r + 19 for r.
5
Suppose -3*u + 47 = -5*v, -2 = 2*v + u + 19. Let z = -5 - v. Solve 2*k + 2*a - 4 = 2, 0 = -3*k - z*a + 7 for k.
4
Let t(s) be the second derivative of -s**5/20 + s**4/3 - s**3/3 - s**2 - 2*s. Let h = -1 - -3. Let g be t(h). Solve 2*a = -p - g*a + 20, -a = -3*p + 8 for p.
4
Suppose -65 = -5*y + 35. Suppose z + 4 - y = -3*b, 0 = -2*b - 4*z + 14. Solve b*a = t - 3, -2*a + 5 = -a - 3*t for a.
-1
Let h(x) = x**3 + 7*x**2 + 7*x + 3. Let j be h(-6). Let c = 5 + j. Solve 5*u - 4*d = -11, u + c*d + 17 = -4*u for u.
-3
Let m(v) = -v**2 + 9*v + 0*v - 7 + 3*v**2 - 3*v**2. Let z be m(7). Suppose 4*l = -4*i + 36 - 4, -2*i - 4*l = -26. Solve i*n + z + 7 = 2*x, 2*x = -n + 6 for n.
-2
Suppose 0 = -3*b + 2*b. Solve 19 = -3*c - 4*z, b = c - z - 1 - 2 for c.
-1
Suppose 5 = r - 0. Let d be ((1 - 2) + 6)*r. Solve j - 2*s - 5 = 0, 0*j + d = 5*j + 2*s for j.
5
Suppose 0 = -i + 5*q + 10, -3*i + 18 = -0*i - 3*q. Let o = -2 + i. Solve 0*l - t = o*l + 2, 0 = -3*t - 6 for l.
0
Let b = -4 - -7. Let t be (3 + -6)/b - 2. Let y be (4 + t)*2 + -2. Solve -2*q - 5*h - 23 = y, -q + 2 = -0*h - 2*h for q.
-4
Let u(k) = k**3 + 4*k**2 - 5*k + 2. Let m be u(-5). Solve 3*o = 15, -5*o + 14 = -p - m*o for p.
1
Let q(o) = o**3 - 6*o**2 - 18*o + 19. Let j be q(8). Solve -3*m = -j, 0*m - m + 6 = -h for h.
-5
Let u be 4/(-10)*(2 - 7). Suppose -u*k - 3 + 1 = 3*q, 5*k + 26 = 3*q. Let c be 1 - (-2)/(-4)*-2. Solve -c = 4*f - 2*a, f - q*a - 1 + 0 = 0 for f.
-1
Let p be (1/(-2))/((-1)/10). Suppose 0 = -3*m - p*x - 5 - 2, 5*m = -3*x + 15. Let o = -16 - -19. Solve 3*d - 29 = 4*q, o*d + m = -0*d - 3*q for d.
3
Let n(c) = c**2 + 4*c - 1. Let i be n(-5). Solve -4*b - 19 - 1 = -4*f, i*f - 21 = 5*b for b.
-1
Let i be -4*(-2)/(5 + -3). Solve 1 = f - 0*f, -f + i = -3*o for o.
-1
Let b be 5 + (0/(-2) - 0). Suppose -b*o - 4 = 1. Let f be -2 + (1 - o) + 4. Solve -10 = -5*n - 5*t, -4*n + f*t = -t + 28 for n.
-2
Suppose -5*c = -15, -7*q + 3*q = -c - 37. Let j be (-32)/(-12) + (-1)/(-3). Let r be 9/((18/4)/j). Solve 2*v - v + r = f, 2*v - f + q = 0 for v.
-4
Let o be -4*(-3 - (-27)/12). Solve -3*t = -2*m - 9, m - 18 = 6*m - o*t for m.
-3
Suppose -4*t + 6 = 3*k - 6, t = 4*k - 16. Suppose -5*j + 4*y + 41 = 0, 0 = y - t + 4. Solve -j*v - g = 11 + 8, v + g = -7 for v.
-3
Suppose 2*x - 147 = -5*x. Solve 5*j = 4*y + 27, 0 = 5*y - 5*j + 3*j + x for y.
-3
Suppose -18 = -3*b + 5*b. Let o(i) = -3*i - 22. Let u be o(b). Solve -4*j + u*t + 9 = -21, 0 = 3*j - 3*t - 21 for j.
5
Let g = -6 + 11. Suppose 8 = -g*a + 9*a. Solve a*w = -2*t - 8, -w - 3*w = -2*t + 16 for t.
0
Let d = 4 - -9. Let s = -26 + 29. Solve 0 = 3*q + t + 10, -5*t + s = -5*q + d for q.
-2
Let y = -4 + 6. Suppose -4*d + y*c + 19 = 5*c, -c + 1 = 0. Solve 2*p - 4*p = -3*g - 11, 3*p = d*g + 15 for p.
1
Suppose 6*q - 2*q = -24. Let b = -4 - q. Solve -a - 4*h = -b*h, 5*h = -2*a for a.
0
Let f(m) = -m**3 - 13*m**2 - 14*m - 17. Let r be f(-12). Let d = r - 8. Let t = 1 - d. Solve -3*b - t = i - 5, 5*i + 25 = 5*b for i.
-3
Let v be ((-7)/(-3) - 0)*3. Let n = -10 - -32. Suppose 4*i - 2*f - 6 = 0, 3*i + 4*f - n = -1. Solve -2*z + 6 = c - 5*c, -i*c = -z + v for z.
-5
Suppose -2*y = -4*f, -5*y - 13 = 2*f - 37. Suppose -2*h + t = -16, -2*t = h + y*h - 58. Solve 0*w - h = v - 2*w, 2*v = -2*w + 4 for v.
-2
Let g(n) be the first derivative of n**3/3 + 3*n**2/2 - 3. Let d be g(-4). Suppose s = -d + 15. Solve 4*u + u + s = -4*y, 6 = -2*u for y.
1
Suppose -3*y = 2*y + 10, 2*x - y - 6 = 0. Suppose -2*k + 12 = x*k. Solve -3*d = -k*r - 6, 5*d - 2 + 7 = 0 for r.
-3
Let b(d) = -2*d - 12. Let v be b(-12). Solve 0*q + 4*y + v = q, 5*q - 22 = y for q.
4
Let h be (-144)/(-42) - (-8)/14. Solve h*j + 5