 5*f - 26 for n.
-1
Suppose 2*b - 43 = -2*b - 3*j, 2*b = -2*j + 24. Let s = b - -5. Suppose -6*u + 2*u = -s. Solve -n - 4*v = -13 - 0, -19 = -u*n - 2*v for n.
5
Let v(n) = n**3 - 1. Let j be v(2). Let g be 2/10 + (-234)/45. Let m = j + g. Solve 4*l + x - 15 = m*x, -3*x = -4*l + 5 for l.
5
Suppose -5*v = -9*v + 24. Solve -4*l + 0*l = -20, -w - v = -2*l for w.
4
Let t = -1 - -1. Suppose 0 = -11*h + 5 + 17. Solve 3*w - 3*k - 12 = h*k, t = k for w.
4
Suppose -3*g = -3*k + 18, 5*k - g = -2*g + 12. Suppose 2*j = k*j. Let o(f) = -f - 2. Let v be o(-5). Solve -4*q = -0*q + x - 4, v*x = j for q.
1
Let s(u) = u**2 + 15*u - 39. Let g be s(-18). Solve -2*v + 2*m = 0, -2*v = m + 3 - g for v.
4
Suppose -6*r = -14*r + 16. Solve -r*u - 8 = 2*c, 2*u + 5 = 4*c - 9 for c.
1
Let u be -7 + 17 - (-1)/(1 + 0). Solve 3*c + 3 = -3*r, 2*r + 3*r + 3*c = -u for r.
-4
Suppose -13*v + 18*v = 35. Suppose 4*b - 5*w = -12, v*w - 3*w = -2*b + 20. Solve 0*n = -5*n - 5*t, b*n - 5 = -t for n.
5
Let t = 16 - 10. Suppose 0 = 3*n - t*n. Let c be (0/(-1))/(1 + n). Solve p - 8 = 3*s, c*s - 5*s = -5*p + 30 for s.
-1
Let g = -95 + 174. Let m = g - 56. Solve -4*l + 3*r + 0 = -1, 5*r + m = -4*l for l.
-2
Let k(s) = -3*s - 2. Let y(w) = -4*w - 3. Let v(x) = 3*k(x) - 2*y(x). Let z be v(-2). Solve 7*q - 2*q + 6 = -2*d, -z*d = -q - 6 for q.
-2
Let g be 5*1 - (-10 + 12). Solve -x + 0 = -g*q - 1, 5*x = -2*q + 5 for q.
0
Let x(j) = -j**3 - j**2 + j + 3. Let y be x(0). Solve 0 = l + 5*w + 5, 5*l - y*l - 4*w + 10 = 0 for l.
-5
Suppose 0 = -5*u + 5 + 10. Solve -u + 1 = -2*p, -p = 3*q + 2 for q.
-1
Let w(v) = -v + 6. Let m be w(3). Suppose -3*x = m, 0 = 5*c - 3*x - 1 - 27. Solve 3*h = 4*o - 16, -4*o + c*h + 8 = -2*o for o.
4
Let s be ((-33)/(-6))/((6/24)/1). Let f be (18/4)/((-9)/(-12)). Suppose 3*z = -f + 18. Solve 0 = -4*q - p - s, -q - z*q - 23 = -p for q.
-5
Suppose 8*y = 15*y - 21. Solve n + 2*u - 6 = 0, -2*n + y*u = -5*n + 3 for n.
-4
Suppose 5*o - 10 = 5*s, -s = 2*o - o - 8. Suppose 3*u - u + 5*c = 48, 5*c = o*u - 50. Let m = u + 2. Solve -2*n + 38 = 4*w + m, 2*n = 4*w - 2 for n.
5
Suppose -2*r - r + 3*j = 9, -3*r + 26 = 4*j. Suppose -r*m = -3*m + 10. Let u be (m/6)/((-1)/(-3)). Solve -3*l + 5*y = -31, 5*l + u*y + 17 = 2 for l.
2
Let q = -29 - -32. Solve -y + q = k, 0*y - 2*y + 4 = 3*k for y.
5
Let t = -21 - -48. Let n = t - 19. Suppose -4*y - f + 18 = -2*f, 0 = y - f - 6. Solve -4*r - n - 8 = -4*q, y*q + 2*r = 4 for q.
2
Suppose 0*o - 4*o = 0. Suppose -x - 3*x + 12 = o. Suppose 0 = -3*t - 3*j + 3, -2*t = 3*j + 2*j + 10. Solve 4*p + 5*f + t = -p, x*p + 2*f = -1 for p.
1
Let w(n) = -n**2 + 5*n + 8. Let z be w(6). Suppose 2*i + 3*h = h + z, 3*i = 2*h + 8. Solve 5*o - 3*y + 18 = y, 0 = -y + i for o.
-2
Suppose 2*t = -3*c + 15, 4*c - 27 = -0*c - 5*t. Solve 4*d + 1 = -c*x - 15, -2*d + 5*x - 8 = 0 for d.
-4
Let h(v) = v + 1. Let z be h(2). Let y(u) = 4*u**2 - z*u**2 + 0 + 0*u + 3*u - 1. Let m be y(-4). Solve m*w = g - 11 - 0, 5*g = w - 1 for w.
-4
Let f(t) = -10*t - 26. Let l be f(-3). Let o = 0 - -4. Solve -l*n + 8 = w - 6*n, 16 = -2*w - o*n for w.
0
Let k be (-66)/(-8) - 10/40. Suppose k*q = 3*q + 20. Solve -2*d + q*l + 8 = 0, 5*d - 4*l + 0 = -4 for d.
-4
Suppose l - 6*r - 23 = -r, -l + 3*r + 15 = 0. Let s(u) = u**3 + 5*u**2 + 5*u + 1. Let q be s(-3). Solve q*j = 4*k - k - 14, 16 = l*k - 5*j for k.
2
Suppose 0 = 2*m + 4 - 2. Let k = 6 + m. Solve 5*b - 3*l + k = -2, -16 = -4*b - 3*l for b.
1
Let v(t) = -t**3 - 4*t**2 + 6*t + 5. Let p be v(-5). Suppose 20 = -p*j + 4*j. Suppose -3*i = -8*i + 20. Solve -1 = f + i*a - 0, j*a = f + 10 for f.
-5
Suppose 2*f = 13*f - 99. Solve -2*h = -n + f, 5*h + 5*n = -0*h + 15 for h.
-2
Let u(l) = -l**3 + 6*l**2 + l - 3. Let d be u(6). Solve -w + 2*k + 4 = 0, -d*k - k = 8 for w.
0
Suppose 5*d - 12 = 2*d. Solve -d*y - 16 = 2*i, i + y + 11 = -3*i for i.
-2
Let k(n) = 6*n + 33. Let d be k(-5). Solve 25 = i - 6*i - d*s, s = 2*i - 1 for i.
-2
Let x = 13 - 2. Let u = x + -5. Suppose 4*w - 54 = u. Solve 4*i + 12 = f, f - 6*i = -i + w for f.
0
Suppose 1 + 3 = 2*j. Suppose 4 = 2*y - j. Solve -y*u - 2*u = 2*v + 19, -11 = 3*v + 4*u for v.
3
Let n = 4 + -28. Let p = n + 34. Let r(q) = q**3 + 5*q**2 + 2. Let t be r(-5). Solve -t*i = -5*b + 35, -3*b + 3*i + p = -4*b for b.
5
Let k(t) = -t + 2. Let b be k(2). Let g be b + -2 - (-6)/1. Solve -r - 4*q + 18 = g*r, -q = -r for r.
2
Suppose 3 = 3*m - 3*a, 5*m + 0*m - 3*a = 3. Solve 0 = -3*z - x - 3*x + 17, 2*x - 4 = m for z.
3
Suppose -2*f + 26 = -5*g - 6, -3*g = 4*f - 64. Let t be f/6*(-15)/(-10). Solve 3*y = -0*y - t*c + 31, 0 = 5*y - 4*c - 9 for y.
5
Let u(g) = -2*g. Let m be (-8 + 9)/(-2 - -1). Let t be u(m). Solve -t*f + 2*v = 12, 0 = -3*v - 8 + 23 for f.
-1
Let b be (4/3)/(6/117). Suppose -4*h - 2 + b = 0. Solve 2*q + 7 = -h*x + x, 4*x + 12 = 0 for q.
4
Let s be ((-246)/(-26))/3 + (-24)/156. Solve t + 2 = 4*h, -4*t - s*h + 2*h - 8 = 0 for t.
-2
Let z = -122 + 126. Solve 12 = z*l, 2*l + 5 = -5*q - 9 for q.
-4
Suppose 4*d - 1 = 19. Let v(a) = a**3 - 6*a**2 - 3. Let i be v(6). Let p = d + i. Solve -q - 18 = -0*u - 4*u, -p*q + 12 = 4*u for u.
4
Let m be 21/(-14)*(-20)/(-6). Let g be (1/2)/(m/(-30)). Solve -3*f - 12 = -g*i + f, -3*f + 12 = 3*i for i.
4
Let o be ((-9)/((-270)/12))/((-2)/(-20)). Solve 3*y = -4*d + 20, -o*y + 25 = 2*d + 3*d for y.
0
Let z = -27 + 15. Let v = -8 - z. Solve -v*s + 5 = 3*j, j = -4*s + 10 - 3 for s.
2
Let o be (5 + -4)/((-2)/6). Let h = o - -5. Suppose h*k = 6*k. Solve k = -m + 2*x + 3, 7*m + x - 3 = 3*m for m.
1
Let f(x) = 2*x - 5. Let w be f(7). Let l = w + -4. Solve -4*h - 21 = 5*v, -l*v - 17 = 2*h + 6 for v.
-5
Let z be (-50)/6 + (-6)/9. Let c be (z/(-12))/((-2)/(-8)). Suppose c*u = 2*x - 22, -3*x + 0*x + 3*u = -27. Solve 0 = 4*r + i - 1, 4*i + 8 = x*r + 3*i for r.
1
Suppose -2*q - 2*u + 4 = -4*q, -5*u + 10 = q. Let c = 5 + q. Solve 6 = b - 3*m, 3*b - b - c*m = 10 for b.
0
Let g be 94/14 + (-10)/(-35). Let v = 7 - g. Suppose -2*t + 4 + 6 = v. Solve t*r - 1 = p - 2, -5*p = 4*r + 24 for r.
-1
Let s be (5 + 15)*2/(-5). Let g = -3 - s. Suppose -t = o - 5*o + 18, -o - g = -5*t. Solve -4*j = 5*x + 8, o*x = -j + 6*j + 10 for j.
-2
Let z(k) = 7*k + 99. Let o be z(-14). Solve -p = -1, 2*q - 2*p + o = -7*p for q.
-3
Suppose 0 = -3*a - 5*p + 113, -5*p + 49 = 4*a - 100. Let n = a - 14. Solve 2*f = 4*c - 2*c - 2, -2*f - 4*c + n = 0 for f.
3
Suppose -4*p + 0 - 4 = 0. Let f be (4*-8)/2*p. Solve -w = 3*y - y - 7, y = -3*w + f for w.
5
Suppose -13*g = -8*g - 10. Solve -2*i + 13 = -5*s, g*i - s + 2*s = 7 for i.
4
Let p = -16 + 2. Let k be (-32)/(-14) + 4/p. Solve -3*v = k*i + 14, -4 = -0*i + 4*i for v.
-4
Suppose -2*k = -2*c + 8, -3*k = 5*c - 4*k - 12. Solve 15 = 5*v + b, 3*v - c = b - 1 for v.
2
Let z = -9 + 13. Suppose j + 1 = z. Solve -j*f + f - 4*s = 14, 0 = -4*f - 4*s - 12 for f.
1
Suppose -o - 21 = 5*p + 13, 2*o = 3*p + 10. Suppose -2*m = 3*m + 50. Let r = p - m. Solve 0*c - 2*c = -3*n + 2, 4*c + n + r = 0 for c.
-1
Let i = -10 + 7. Let x = 13 + i. Suppose -4*z + x = z. Solve z*k = -5*y + 6, 4*k + 10 = -k for y.
2
Let l = -1 - -4. Let d = 7 - 10. Let i be (7 + d)*10/8. Solve 2*y + 8 = -l*w, -2*y - i*w = -4*w for y.
2
Let g(t) = -t**2 - 7*t - 9. Let y be g(-4). Solve 4*r - f = -4*f + 32, y*f = 5*r - 13 for r.
5
Let r(w) be the third derivative of -5*w**4/24 + w**3/6 + w**2. Let i be r(-2). Let g = i + -5. Solve 5*m = -4*o + 8, 0 = -4*m + 2*m - 3*o + g for m.
0
Let p(y) = -y**3 + 12*y**2 - 2*y + 24. Let m be p(12). Solve -4*n - 5*g + 6 = 0, 1 = -3*n - m*n - g for n.
-1
Let g = 34 - 4. Solve 0 = -2*j + 5*t + g, -j + 2*t - 2 = -15 for j.
5
Suppose -f + 13 = -4. Suppose 5*z - 122 = -f. Solve p + 2 = 5*x - 4*x, -2*x = 3*p + z for x.
-3
Suppose -5*m + 10 = -3*m. Solve -5*l + m*k = 15, 4*l + l + 3*k = 25 for l.
2
Suppose 0 = -11*k - 10*k + 63. Let u = 1 + 2. Solve -u = -k*x + b + 2, 2*x + 20 = -4*b for x.
0
Suppose 15 = 5*b - 5*c, 5*b + 6*c + 12 = 2*c. Solve -5*g + 4*s - 28 = 0, b = -4*g - 0*g - 4*s - 8 for g.
-4
Let v = -9 + 22. Suppose 4*o - v + 5 = 0. Solve 5*u - 3 + 13 = -o*p, 3*u = -12 for p.
5
Let y = 11 + -9. Suppose 3*u - y = -u - 2*a, -12 = 4*a. Solve -2*l = -4, -u*l = 3*v - 1 + 3 for v.
-2
Let m(t) = -t**3 - 7*t**2 - 7*t + 9. Let o be m(-6). Solve 5*h + o = -5*d, 2*h + 3 + 2 = -d for h.
-2
Let q = -50 - -53. So