 a = -6*j. Solve -16 = 4*u + s, -j*u - 3*s = s - 6 for u.
-5
Let b be 1 - (48/(-36))/((-2)/(-3)). Solve -5*x = -0*m + 2*m + 8, 0 = -b*m - 12 for x.
0
Let o(z) = -z + 9. Let w be o(7). Let s = -58 + w. Let m = -34 - s. Solve -6*t + t = 4*l + m, 5*l + 13 = t for t.
-2
Let x = -26 - -23. Let f = x - -10. Suppose -2 = -2*r + 6. Solve -i + r*k = -f, 0 = -3*k - 5 - 1 for i.
-1
Let x = -350 - -361. Solve -3*f = -4*u + 25, 5*f + u = -0*f - x for f.
-3
Let s(j) = 5*j - 5. Let i be s(2). Suppose 2*z + 3*p + 9 = 0, -p = i*z + 4*p + 10. Suppose -u + 16 = z*u. Solve u*b - 5*x = -3*x + 20, -2*b = -4*x - 10 for b.
5
Suppose 4*x = 2*a + x - 2, 4 = 2*x. Suppose 3*j = -5*n - 6, -2*j = 3*n + 2*n + a. Solve -3*d = 0, -d + n*d = -2*w + 10 for w.
5
Suppose 0*p = p - 5. Let b be (2 + -2)*(4 - p). Solve 2*d + b*d + 3*j = -5, d + 4*j + 15 = 0 for d.
5
Let l(k) = -2*k**2 + 24*k - 29. Let i be l(10). Solve -4*h + i = -3*p, 2*p + 7 + 5 = -2*h for h.
-1
Let u(m) = 17*m + 3. Let l be u(-4). Let p = l + 68. Solve -5*w - 20 = -0, p*o = -w - 7 for o.
-1
Let c(j) = -11*j + 59. Let g be c(5). Solve q = 2*l - 2, 2*l = -2*q - g - 6 for q.
-4
Let d(g) = -g**2 - 33*g - 33. Let i(k) = -2*k**2 - 82*k - 82. Let a(w) = -12*d(w) + 5*i(w). Let t be a(8). Solve -3*m = 5*n - t*m + 13, 19 = -2*n - 5*m for n.
-2
Suppose 5*i - 48 = -4*o + 1, -5*i - o + 61 = 0. Suppose -4*c + 4*w - 48 = -0*w, 30 = -3*c - 3*w. Let f = c + i. Solve -f*r + 7 = n, 0*n - n = -3*r + 8 for r.
3
Let l be 1/1 + 23/((-23)/(-4)). Solve -3*g - 1 = 4*v + 2, 0 = l*v + 5*g for v.
-3
Let p = -169 - -171. Solve -4*k = -k - 3*c, p*k + 3*c = 15 for k.
3
Let z = -24 - -42. Suppose -j - 5 + z = 0. Suppose 5*w = 5*y - 105, 3*y + 2*w - 3*w = 53. Solve -2*u + 2*f = -5*u - y, -u + j = -3*f for u.
-2
Let w = -39 - -24. Let q be (-1 + -2 - -8)*3. Let j = w + q. Solve 2*h - 4*z - 14 = j, 0 = -3*h - z - 4*z - 1 for h.
3
Suppose 0 = 10*w - 247 + 47. Solve w = -3*a - 4*p, -3*p - 10 = 4*a - 6*p for a.
-4
Let r = 10 - 4. Let j = r - 6. Suppose 4*t + 3*u + 15 = 2*t, j = -5*t - 3*u - 15. Solve 3*w + 2*y + 4 = t, -w + 4*y = 2*w - 26 for w.
2
Let j(y) = -y - 7. Let p be j(-7). Suppose p = -4*w - h + 18, 5*w - 2*h = 29 - 0. Let v = 2 - -2. Solve w*a - v*i + 33 = 0, 0 = -2*i - 2 + 6 for a.
-5
Suppose 25*l - 34 = -2*i + 20*l, 0 = -i + 5*l + 2. Solve -p = 4*f + i, f + 2 + 2 = 0 for p.
4
Let t(r) = -r + 8. Let l be t(6). Suppose 0 = l*b + b. Solve 3*v - 3*x + 27 = b, 23 = -2*v + x + 2*x for v.
-4
Suppose -15 + 39 = 4*i + 2*b, -4*i + 36 = 5*b. Solve w = i*d - w - 4, 0 = 2*d - 3*w - 2 for d.
1
Let u(l) = -l**3 - 2*l + 2. Let r be u(0). Solve -13 = 3*p + 4*g, -3*g + 8 = -3*p - r*g for p.
-3
Let x = -5 + 16. Let a be (x - 11)/(4/(-2)). Suppose a*d + 4*d - 16 = 0. Solve -4*g + 4*z = -16, d*g = g - 2*z + 2 for g.
2
Let i = -17 + 20. Let s(f) = -3*f + 11. Let l be s(i). Solve 0 = t + 4, -x + l*x + t + 6 = 0 for x.
-2
Let n(s) = -32*s + 130. Let b be n(4). Solve -2*h - 5*v = 3*h - 10, 5*v - 4 = -b*h for h.
2
Suppose 10 = -h + 14. Solve -2*w + h*x + 8 = 0, w + 4 = 5*w + 4*x for w.
2
Suppose -2*z = 2*n - 22, -3*n - z + 4*z + 39 = 0. Solve -3*j = -4*j - 2, 2*j + n = 4*h for h.
2
Let a be (-2)/9 + (-76)/(-18). Let i(t) = -t**3 - 5*t**2 - 6*t - 5. Let m be i(-4). Solve 21 = -m*s - a*k, 4*s + 0*k + 18 = -2*k for s.
-3
Let q(a) = -2*a + 16. Let j be q(10). Let x(u) = -2*u - 5. Let r be x(j). Solve -5*z + 15 = 0, 6*b + r*z = 3*b for b.
-3
Let n(m) = 5*m**3 - m**2 + 5*m - 5. Let h be n(1). Solve 45 = -0*i + 5*i - 4*y, -h*y = 4*i for i.
5
Let h(l) = l**3 - 23*l**2 + 20*l + 28. Let t be h(22). Let r = 2 - t. Suppose 0 = 3*o - 6 - 0. Solve r = 3*f + 3*k, f + f - o*k = 0 for f.
3
Suppose 3*t = 2*t. Suppose t = 4*j - 68 + 8. Suppose -4*x - j = -7*x. Solve -x*h + 3*n = 2, 10 = 3*h + 2*n - n for h.
2
Let k be 64/(-6) + (-1)/3. Let r = 14 + k. Suppose 5*n - 17 = 4*j - r*j, -10 = -2*j - n. Solve -15 = 3*y, -2*i - 12 = j*y + 11 for i.
-4
Suppose 13*c - 14*c - 6 = 0. Let v be c/(-1 - 2) - -3. Solve 0*j + j - 2*l + v = 0, -17 = 5*j - 2*l for j.
-3
Let c be 2/(-2) - (-2 - 3)*1. Suppose -c*k = 0, 2*f + 3*k = 6*f - 12. Let y = -3 + 4. Solve i + 16 = -5*q, -f*i + q + y = -i for i.
-1
Let v = -2 + 3. Let y(w) = 2*w - 4. Let q be y(5). Suppose -q*g = -5*g + 4*g. Solve -2*c - 6 = g, -3*f = -4*c + v + 2 for f.
-5
Let b(l) = l. Let i be b(-1). Let c be i*(-9)/(-12)*-4. Let a = 4 - c. Solve -2*m = j + a - 0, 15 = -5*j - 5*m for j.
-5
Let v = -4 - -6. Suppose 24 = -5*h + 4*c, c + 1 = -3*h - 10. Let p be 6/(h + 2) + 3 - -2. Solve v*o - s + p = 1, -3*o + 5*s + 2 = 0 for o.
-1
Let a = -1810 - -1827. Solve f - a = 2*z - 4*f, 9 = -3*z + 2*f for z.
-1
Let q be -3*(0 - (-2)/(-3)). Let r = 1 + q. Solve r*p = -a - 11, p = -3*a + 6*p + 23 for a.
1
Suppose 5*w - 5*h - 18 = -3*h, 16 = -4*h. Suppose 4*u = -5*z - 22 - 23, 0 = z - u + 18. Let r = -9 - z. Solve r*q + 2*x - 1 = 1, -w*q = 2*x for q.
1
Let a = -24 - -26. Solve -7*c + 2*c = -a*x - 6, 3 = -x + c for x.
-3
Let p be -1*0*4/20. Suppose -10*y + 9*y - 13*y = p. Solve 2*x + 3*k = 6, y = 2*k - 4*k for x.
3
Suppose -6*u = 67 - 97. Solve 4*c + 5*v + 3 + u = 0, 3*c - 5 = -v for c.
3
Let q = 19 + -17. Let k = 6 + -19. Let f = -8 - k. Solve -f*s = -q*v - 26, -v - 17 = -2*v - 5*s for v.
-3
Suppose -6*m - 36 = 24. Let b = m - -10. Solve n + 0*k + 4 = -k, -3*n - 2*k - 11 = b for n.
-3
Let a be -9 + (-36)/(-20)*5. Solve i - 5*j = a, j + j + 12 = -2*i for i.
-5
Let a = -410 + 415. Solve -5*k + 2*b = 30, 0*k + 29 = -k + a*b for k.
-4
Suppose -96*h - 192 = -1248. Solve 0*y = -4*y + 2*t + 26, 3*t = -y - h for y.
4
Let c = 1 + -53. Let t be (-4)/(-18) + 2 + c/(-9). Solve -4*u = -t, 3*l + 0*l = u + 4 for l.
2
Let m(y) = -y**2 + 2*y + 146. Let b be m(13). Solve -b*o - k - 2*k = -6, -25 = -2*o + 5*k for o.
5
Suppose 112 = 4*u - 3*l + 43, 2*u = 5*l + 45. Solve d = -w + 1, 3*w + 2 - u = 2*d for d.
-2
Suppose 43 = -47*f + 137. Solve -f*j - 16 = -2*l, -l + 3*j = -0*j - 18 for l.
3
Let q = 1099 + -1094. Solve 2*d - q - 1 = 5*s, -4*s = 2*d + 12 for d.
-2
Suppose 5*j - 34 - 11 = 0. Solve -3*z - y = -2, -7 - j = -4*z - 4*y for z.
-1
Let h be 1*(1 - (-1 + 0)). Solve -p = 4*p - i - 18, 0 = -5*p + h*i + 16 for p.
4
Suppose -4*o = y + 1, 2 = 118*y - 116*y + 4*o. Solve n + 10 = 3*z, 3*n + 2*z - 11 = y for n.
2
Suppose 4*o - 6 = -5*g, 4*g - 12*o - 5 = -15*o. Solve -g*z + 5*q - 33 = 0, -z - q - 14 = -3*q for z.
-4
Let m = 81 - 79. Suppose 0 = -o - 3*u - 4, 3*o + m = u - 5*u. Solve -4*x = -n + 29 - 8, -o*n = -3*x - 17 for n.
1
Let j be 69/9 - (1 + 4/(-3)). Let f(g) = g. Let t(n) = 3*n - 7. Let p(i) = -4*f(i) + t(i). Let u be p(-7). Solve 3*q + 5*x + j + 2 = u, -2 = -2*x for q.
-5
Suppose 3*g = -g. Suppose -8 = -2*p - g*p. Suppose 4*r + 45 - 9 = 3*f, -p*r = -12. Solve -4*m + 5*j = 13, -m - 5*j + f = -4*m for m.
3
Let r = -239 + 243. Solve 4*c = 4*f - 16, f + r*c = -f - 16 for f.
0
Let g = -9 + -9. Let z = g - -20. Solve 4*y + 4*o = 0, 0 = -z*o - 15 + 5 for y.
5
Suppose -3*o - 5*b = -53, -7*b + 12*b - 31 = -o. Solve -3*v + o = -4*g - 1, -3 = g + 3*v for g.
-3
Let c = -197 + 192. Let a(n) be the second derivative of n**3/6 + 9*n**2/2 - n. Let p be a(c). Solve 0*m - m = -2*o - 12, p*o = -20 for m.
2
Let a(b) = -13*b - 582. Let c be a(-45). Solve -g - g + 31 = 5*x, 4*g = -c*x + 27 for x.
5
Let l = -40 + 156. Let p be l/(-87)*(-1 - 1*2). Solve -8 = p*b + r - 0*r, 3*b - 1 = r for b.
-1
Suppose 0*a + m - 55 = 5*a, 11 = -a - 2*m. Let y(h) = -2*h - 20. Let q be y(a). Solve 0 = q*l + 2 - 0, 2 = 4*i - 2*l for i.
0
Let u(o) = o**2 + 6*o + 24. Let b be u(-10). Let t = b - 61. Solve -t*h - 5 = -5*m - 11, 0 = -2*m - 2*h + 4 for m.
0
Let l(w) = w**3 - 5*w**2 - 7*w + 7. Let k be l(6). Let i be (-51)/(-12) - k/4. Let v be (2 - 2) + -2 + i. Solve 5*x = -5*f - 35, 2*x + 2*f + 18 = -v*f for x.
-5
Let o(y) = y**2 - 11*y - 22. Let p(w) = -2*w - 1. Let v be p(-7). Let b be o(v). Solve 4*r = 5*g - 2*g - 13, -b*g + 8 = -3*r for r.
-4
Let d = 70 - 50. Suppose -2*g = -6*g + d. Suppose -4*b + 3*c = -c - 4, 3*b = 2*c + g. Solve b*u - 6*u = -r + 2, 0 = -2*u + 5*r - 10 for u.
0
Let y = -11 + 95. Let c = -81 + y. Solve 10 = -5*l - 4*j, -c*j - 12 + 3 = 3*l for l.
2
Let z(g) be the third derivative of g**6/120 - 2*g**5/15 - 5*g**4/12 + 11*g**3/6 - 9*g**2. Let f be z(9). Solve 3*d + 4*l + 9 = l, -d - f*l = 3 for d.