-5*i + 4. Solve -4*t = -t - 4*j + 26, 2*t + j - i = 0 for t.
-2
Let v = 43 + -21. Suppose 3 = m - 5*u, u = 4*m - 2*u + v. Let a = m - -10. Solve a*s - 7 = c, -s - 3*s - c = 0 for s.
1
Let d = 2 - -1. Let b = 1 + d. Solve 3*p - 4*t = -5, 0*t - 25 = -p - b*t for p.
5
Suppose -31 + 19 = -3*q. Solve q*w - 20 = -4*t, -3*t - 5 = -2*w - 0*w for t.
1
Let f = 14 + -9. Suppose f*p - 7 = 4*p. Solve 2*o + h + p = 0, -2*o + 6 = -4*h + 28 for o.
-5
Let r(d) = d - 3. Let p be r(5). Solve 6*t - 3*t + 3*b = 12, -4*b = -p*t - 10 for t.
1
Let p(b) = 0*b - 7*b**3 + 1 + 3*b + 2*b**2 - 5*b + 4*b. Let m be p(-1). Solve z - m = 2*q, -4 = -z - 0*z for q.
-2
Let d = 31 + -18. Suppose 3*c - 29 = d. Solve c = 2*k + 3*h, k + 5*h = -2*k + 23 for k.
1
Suppose -15 = -2*h - 9. Solve -3*u + i + 8 + 3 = 0, i - 13 = -h*u for u.
4
Suppose 0 = -2*q + 3*o + 15, -5*q + 0*q - 3*o + 6 = 0. Let l(w) = 3*w + 1. Let a be l(q). Let k = a + -6. Solve -7 = -2*z + i, -4*z + 0*z - k*i = -32 for z.
5
Let v = -33 - -43. Solve g = -3*d - v, 5*d + 5*g + 10 + 0 = 0 for d.
-4
Let h(m) = -m**3 - 4*m**2 + 3*m - 7. Let l be h(-5). Let c be -10*(6/(-5))/l. Solve 4*w + c = -4*i, i = 4*w - i + 22 for w.
-4
Suppose -5 = -2*l + 3. Let u = -19 + 27. Solve -p = -h - h + u, 3*h + l*p = -10 for h.
2
Suppose 4*a = 6*q - 4*q + 28, 3*a - 31 = 4*q. Suppose 14*o - 11*o = 15. Solve 2*m - 2*v - 1 = -3*v, -a = o*m + v for m.
-2
Let t(u) = u**2 + 9*u + 16. Let z be t(-7). Solve -z*p - w + 6 + 0 = 0, 5*p - 5 = -5*w for p.
5
Let f(j) be the first derivative of -j**2/2 + 12*j + 5. Let c be f(8). Solve 0 = -u + r + r - 3, -12 = c*u + 3*r for u.
-3
Let t be 10 - -2*(-9)/6. Let r be (-4)/14 - (-2)/t. Solve r = -5*n + 25, 0*f - f + 18 = 3*n for f.
3
Let p(j) = j**3 - 9*j**2 + 11*j - 13. Let t be p(8). Solve -2*k + 14 = s, -3*k = 4*s - t - 20 for s.
4
Let o = -6 - -8. Suppose 3*s - 7 - 5 = 0. Solve -28 = o*w - 5*j, 28 = -s*w + 2*j + 4 for w.
-4
Let c = 70 + -2. Suppose -4 + 38 = -2*y + 2*h, 5*h - c = 4*y. Let d be y/(-6) + 3/18. Solve -2*t + d*s + 11 = 0, -5*s = 2*t + t - 7 for t.
4
Let u be (-152)/(-36) + 4/(-18). Solve 0 = b + u, 0 = 5*d - 5*b + 4*b + 21 for d.
-5
Suppose -b + 5*s = 15, 2*b - 3*s = 4*b - 22. Suppose -18*i + 6 - 6 = 0. Solve 2*p - 3*p = -b*a + 18, i = -a + 4 for p.
2
Let j(g) = 6*g**2 - g + 1. Let b be j(1). Let y(l) = 6 + l - b. Let k be y(5). Solve -1 = -2*t - t + 2*z, 4*z = -k*t - 35 for t.
-3
Let b be 2 - (3 - (0 - -3)). Solve 4*q - 8 = b*q + t, -2*t = 0 for q.
4
Let l = 0 - 2. Let c(y) = -5*y + 2. Let s be c(l). Let x = -54 - -57. Solve 0 = -2*z + x*k - s, -3*z - 6 = -3*k + 9 for z.
-3
Let r = 89 + -86. Solve -3*g - 3*o = 12, 2*g + r*g + 4*o + 21 = 0 for g.
-5
Let w(d) = -d**3 - d + 3*d - 6*d**2 + 4 - 1 - 2. Let g be w(-7). Let c be 136/g + (-4)/(-18). Solve -2*u - 28 = 4*i, 4*i - c*u - 2 = -6 for i.
-5
Let n = 1 - 4. Let a be (9/(-2))/(n/8). Let w(s) = s**2 - 12*s + 13. Let x be w(11). Solve -10 = -u - 0*u + 3*t, -x*u + 4*t + a = 0 for u.
-2
Let d(x) = x**2 + 11*x + 7. Let i be (-22)/(1/((-1)/(-2))). Let v be d(i). Solve -1 = a + 4*k + v, 4*a + k + 2 = 0 for a.
0
Let q be (12/(-15))/(1/(-5)). Let r = 207 + -116. Suppose 0 = -q*g + r - 11. Solve 5*p = -x - 16, x - 3*p - p - g = 0 for x.
4
Let g(r) = r**3 + 2*r**2 - 2*r - 2. Let a be g(-2). Let s = a + 1. Suppose -s*t = t - 12. Solve -2*w - b = -1, -3*b + 4 = t*w - b for w.
-2
Let n(c) = -c**2 + 11*c - 10. Let r be n(10). Suppose 4*z - 29 = 3*x, r = 2*z - x - 5 - 8. Solve 5 = 3*t + 5*h, 30 = -0*t - 2*t + z*h for t.
-5
Let w be 1/(-2)*(-48)/6. Let j = w - 4. Solve -5*p + 2*d = 30, 2*p - 4*d + 28 = -j*d for p.
-4
Let a be 16/(-6)*(-12)/8. Suppose -4*o + 5 = o - c, o - 17 = -3*c. Solve r + a + 0 = 5*q, 8 = -3*q - o*r for q.
0
Let w(o) = o**3 - 8*o**2 + 12*o + 3. Let d be w(6). Suppose -3*y + 6*y = 6, 0 = 3*x + 5*y - 19. Solve 4 = 2*n - d*n + i, -4*i + 15 = -x*n for n.
-1
Let q be -5*-2*4/20. Solve -18 = -4*r - 2*h, h + 6 = r + q*r for r.
3
Let y be 17 + (-9)/(-3) + -3. Solve -5*h - 3*q = -y, 2*q = h + q - 5 for h.
4
Let j = 8 - 2. Suppose j*z - 110 = z. Let l = 35 - z. Solve y + 0*y = -3*f - l, 3 = -3*y + 3*f for y.
-4
Suppose 5*b - 83 = 6*s - 10*s, -b = 1. Solve -t + s = -5*t - 2*l, -5*t - 5*l - 35 = 0 for t.
-4
Let c = 178 - 93. Suppose c = 4*n + d, 0 = -5*n + 2*d + 15 + 101. Suppose -16 = -4*p, 0*p = u + 5*p - n. Solve -i + u = -4*w - 19, -i - 14 = 3*w for w.
-5
Suppose -4*v + 5 = -11. Suppose -5*d = -3*w + 95, -3*w + v*d = -0*d - 94. Suppose -4*n + n = -w. Solve -2*q = -4*c - n, 6 = c + 5*q - 19 for c.
0
Suppose 25 = 7*l - 80. Solve -k + 4*z + z + 12 = 0, 5*z = -l for k.
-3
Let m = 7 + -15. Let g = 10 + m. Solve -g*f + 5*r + 6 - 1 = 0, -3*f = -3*r + 6 for f.
-5
Let f = -1 + 6. Solve 0 = -3*m - f*k + 6, -4*m + m - 2*k = 3 for m.
-3
Let p be 2*3/(-2)*-7. Let u = p - 14. Let i(k) = k**3 - 7*k**2 + k - 2. Let c be i(u). Solve 0*t - 5*t = 4*q - 23, 0 = -4*q + c*t - 7 for q.
2
Suppose 0 = -5*q - 5*d, 3*q - 8 = 6*q + 5*d. Let z = -30 - -32. Suppose z*h = 8*h - 12. Solve l - 12 = 3*a, h*a + 2*a = -q*l for l.
3
Let b(u) = u + 6. Let m be b(-1). Solve -p + 5 = -6*p + 5*q, m*p + 13 = -3*q for p.
-2
Let v be (-36)/8 + 5 - 1/(-2). Solve -f - 3*s = v, f = -f - 5*s - 3 for f.
-4
Suppose -31 = 14*l - 87. Solve 6*s = t + l*s + 1, 0 = 5*t - 2*s - 19 for t.
5
Let n = -7 + -1. Let j = 13 + n. Solve -i = -6*i - 2*h - 7, -j*i - 10 = 5*h for i.
-1
Let c = -9 - -12. Solve c*h = 7*h + 20, 2*w = -5*h - 19 for w.
3
Suppose 18 = 2*v - 2. Suppose 3 + 0 = -k. Let c = v + k. Solve z - 2*y + c*y + 17 = 0, -4*y - 8 = -2*z for z.
-2
Suppose -4*q + 2 = -2*y - 0*y, -1 = 5*q + y. Solve 3*v + 23 = 4*l, -v = -l + 7 - q for v.
-5
Let b(n) = n + 6. Let r be b(-3). Suppose a - 16 = -r*a. Solve 12 = a*f, 4*i = -3*f + 10 + 3 for i.
1
Suppose 0 = s - 4 + 1. Solve -5*y = -4*p - 32, 4*p = -y + s*p + 1 for y.
4
Suppose 0 = 3*m + 3, -2*p - p - m = 4. Let q be ((1 + p)/4)/1. Solve 0 = -5*l - c + 7, q = -4*l + 2*c - 3*c + 6 for l.
1
Let q(r) = -r**3 + 6*r**2 + 8*r - 5. Let y be q(7). Suppose y*i = -2*i + 24. Solve i*p = 2*h + 3*p - 6, -3 = -h + 4*p for h.
3
Let y(m) = -108*m**3 + m + 1. Let h be y(-1). Let b be h/14 - 4/(-14). Solve 5*a = -s - b, 2*a + s - 1 = -3 for a.
-2
Suppose 9 = -3*n - 5*t, -2*t + 0 - 6 = 0. Suppose -m = -0*m - n. Solve -6*q + 4*q = 2*s - 4, -m*s - 4*q = -6 for s.
1
Suppose -y - 12 = -f, 3*f = -2*f + 2*y + 51. Suppose 15 = f*j - 4*j. Solve 3*q + j*i - 12 = 0, 3 = 2*q - 3*i - 0*i for q.
3
Let u be (-7 + 3)*(-1)/2. Solve -3*n - 5 = u*c, -3*n + c + 23 = -4*c for n.
1
Suppose 3*s = 8*s + 65. Let n = -9 - s. Solve -4*c + n = -5*g + 3, 0 = 5*g - c + 4 for g.
-1
Suppose -4*x - 3 = 3*c - 37, 0 = 4*c - x - 58. Suppose -3*n - 5 = -c. Let i be (-10)/3*(-6)/4. Solve n = -5*j - 2*l, 0*j - i*j - l = 4 for j.
-1
Let t = -3 - -5. Suppose 12 - 2 = t*p. Solve p*c - 2*a - 21 = 0, -a - 7 - 11 = -4*c for c.
5
Suppose -5*f + 5 = 5*u, -4*u = f - 21 + 5. Suppose -4*g - 5*a = -41 + 15, u*a - 18 = -2*g. Solve -3*b - t + 1 = -3*t, g*t - 22 = -2*b for b.
3
Suppose -b + v + 3 = 0, 2*v = b - 4*b - 1. Let h = b - -1. Solve -3*i + s - 6 = 5, h*s = -i + 1 for i.
-3
Suppose -5*f - 12 + 2 = 0. Let y be (1/f)/(4/(-40)). Solve -3*z + 5*n = y, -z - 3*n = -4*n - 1 for z.
5
Let h be (-2)/(-3) + (-16)/24. Solve n + 16 = 4*w, -n = -h*w + 2*w - 8 for w.
4
Let o(l) = 3*l - 60. Let j be o(21). Solve 8 = g + 4*q - 3, -g = j*q - 8 for g.
-1
Let i = -11 + 10. Let m be (27/9)/(i + 2). Suppose -5*d = -q - 38, m*d + 0*q + q - 26 = 0. Solve -2*a + 2*h = -4, -3*a + 2*h + 0*h + d = 0 for a.
4
Let o be ((-1)/(-1))/(2/(-2)). Suppose -i - 3 = -3*t + i, -4*t = i - 15. Let w = t + o. Solve 0 = c - 4*d + 5, -5*d + w*d = -2*c for c.
3
Let m = 19 + -15. Solve 2*v - p = 9, v - 5*v = -m*p - 24 for v.
3
Suppose -u - 9 = 2*u. Let y(p) = p**2 + p + 1. Let x be y(u). Suppose -3*k = 1 - 10. Solve k*j - x = -3*v + 2, -v - 2*j = -4 for v.
2
Let u = 1 + -2. Let d be (u + 1 - -1) + 4. Solve -d*r - 3*o = 7, 0*r - 12 = -4*r + 2*o for r.
1
Let p(w) = w. Let u = 20 + -13. Let s = 11 - u. Let z be p(s). Solve 0 = -z*c + g - 14, -g = 3*c + 8 - 1 for c.
-3
Suppose 0 = 5*w - 4*c - 20, -5*w + c = 3*c + 10. Let l be (w + -4 + 0)/1. Let k = l - -7. Solve 12 = -4*s - j, j + 3 + 7 = -k*s for s.
-2
Let i = 5 - 3. Let l = 1 + i. Solve -l*n + 3 = -3*a, 3*a - 4*a +