i - 5*v + 27 = 0 for i.
-1
Suppose -12 = -12*y + 8*y. Solve -a + 5*f + 29 = 0, 2*a + 2*f - y*f = 13 for a.
4
Let c = 14 + -14. Solve -2*n + 5 = y, c = -3*y - 2*n + 4*n + 15 for y.
5
Let s be (-1 - 0) + 2 - -1. Let o be s*3 - (-1 + 3). Solve 0 = 3*h - 2*z + 11, 2*h = 3*z - o*z + 2 for h.
-1
Let s(z) = -z + 2. Let m be s(2). Suppose 5*x + 2*r - 7*r = 40, m = x + r. Solve -w + 5 = -0*w + a, -a = -x*w for w.
1
Let j = -45 + 45. Suppose t - 2 + 0 = 0. Solve -2*c - b = -t, 0 = -3*c - j*b - 4*b - 7 for c.
3
Suppose 5*q + q = 30. Solve u + 15 = q*y, -1 = -3*y - u + 16 for y.
4
Suppose 4*z + 17 = 3*v, -2*v - 3*v - 30 = 5*z. Let y be v/(-2) - (-28)/8. Suppose -6 = -y*a + 6. Solve -2 = h, 0*x + a = -5*x + h for x.
-1
Suppose 3*u + 5*a - 6 = 0, 0*a = -3*a. Suppose 2*h = s - 6, 0 = 2*s + 2*s - u*h - 12. Solve 0 = s*z - 2*y - 8, z = -4*z + y for z.
-1
Let a(v) = v**3 + 6*v**2 - 2*v - 10. Let u be a(-6). Solve -3*c - 10 = 4*p, -5*c = -u*p + p + 9 for p.
-1
Suppose -4*t + 2*a - 4 = -6*t, 0 = -4*t + 2*a + 20. Solve 0 = 4*o - r - 15, -t*o - 3 = 5*r - 0 for o.
3
Let j(n) = -n**2 + 3*n + 10. Suppose 2 = -2*m - 3*a, -5*m + 3 = 5*a - 2. Let t be j(m). Solve 4*b - 16 = t, 3*b = -2*s + 5*s + 9 for s.
1
Suppose 0 = 5*p - 5*j + 50, 3*j = -3*p - 52 + 10. Let n be (-6)/p + (-21)/(-2). Solve 2*v = 3*v + 5*l + 21, 0 = 3*v + 2*l + n for v.
-1
Let q = 7 + -2. Suppose -q*m + 2 + 28 = 4*i, -26 = -4*i - 3*m. Solve -i*o - 3 = u, 3*u + 2*o - o = -9 for u.
-3
Let m(n) = n**2 + 5*n - 1. Let u be m(-6). Suppose -4*q = u*k - 57, -34 = -4*q + q - 2*k. Suppose -5*s = -23 + q. Solve s = -o - 0*o - 3*j, j + 1 = 0 for o.
0
Let f(q) = -3*q - 13. Let t be f(-5). Solve -2*u - 3*b = 1, -2*u - b + 11 = -t*b for u.
4
Suppose 0 = -2*l - 4*x + 25 - 3, -26 = -l - 5*x. Let g be 0/(-2 - -5)*l. Suppose g*p - 4*p = -16. Solve 0 = -p*i - o + 17, -5*i + 0*o - 3*o = -30 for i.
3
Let v(n) = 2*n**3 - 1. Let s be v(-1). Let u = -3 - s. Suppose 3*r = -u*r. Solve -4*j + r*j = -4*q, 4*j - 5*q = 2 for j.
-2
Let f = -2 + 14. Solve 3*n - g = -0*n - f, -4*g + 3 = 3*n for n.
-3
Let h = 14 + -11. Suppose -c + 2 = v, -2*v + v = -h*c - 2. Solve 0*g = -3*g + v*d + 17, 5*g + 2*d = 7 for g.
3
Suppose -6*g + 5 + 37 = 0. Solve n = -2*j + 9, -3*j - g = -2*n - 3 for j.
2
Let p = -1 - -1. Solve a = 3*t + 7, p*t + 21 = -5*a + t for a.
-5
Suppose -278*y = -279*y. Solve y = 2*p - 4*d - 18, -d - 2*d = 9 for p.
3
Let c(r) = r**2 - 6*r - 7. Let g be c(7). Let i be (g + -4)*(-2)/8. Solve -i = -2*a + t + 7, -5 = -3*a + 5*t for a.
5
Suppose -3*r - 9 = 0, 0 = 3*h - r + 5*r. Solve 2*v = -5*t - 28, h = -3*v - 2*v + 4*t for v.
-4
Let v(x) = 3*x + 32. Let u be v(-10). Let t be (-2)/(-10) + 28/10. Solve 4*o = -3*m + 23, -o - u*o = -t*m + 9 for m.
5
Suppose -3*w + 2 + 13 = 0. Solve -w*m - 2*l = 11, 5*l + 10 + 0 = 5*m for m.
-1
Let n(u) = -u**2 + 7*u + 6. Let o be n(8). Let y be -3*(-4)/(-30)*-10. Let r = o + y. Solve 4*a + a + 7 = r*k, -3*k - 5*a = 27 for k.
-4
Suppose 8 = 3*k + k. Suppose 3*x + 4 = -k*l - 6, 3*l = 3*x - 15. Let s = -20 + 30. Solve 2*g = -x*w + w - 7, -5*g - s = -5*w for w.
-3
Let c(o) = -6*o - 70. Let a(b) = -b - 14. Let s(x) = -11*a(x) + 2*c(x). Let w be s(12). Solve 3*i - 6 = w*h - 4, -i + 4 = h for i.
2
Suppose -2*j = -0 + 4. Let s be (-33)/(-12) - j/8. Solve s*r = -3, -5*f + r = -3*r - 29 for f.
5
Suppose 0 = l + 6*l - 63. Solve 5*u + 25 = -5*m, -m + 3*u - l = 2*m for m.
-4
Let n(z) = z + 9. Let q be n(-7). Suppose 0 = q*b - 4, s = -s + b + 6. Solve 0 = g - 2*g + s*a + 12, 3*a = -5*g - 32 for g.
-4
Let t(r) = -14*r + 4. Let p be t(-8). Let q be (-2)/(-12) - p/(-24). Solve l - 4*w + 15 = -0*l, 5*l = q*w - 15 for l.
1
Suppose 4*k + z + 3*z = 80, 5 = -k + 4*z. Solve -3*p + 25 = -5*m + 2*p, -5*p - k = 3*m for m.
-5
Suppose 5*d - 4*f + 3 - 8 = 0, -2*f = 2*d - 20. Suppose -2*p - 3*n + 11 = 0, -3*p = -7*p - d*n + 23. Solve -p - 4 = 4*c - 3*w, -3*w = 5*c + 34 for c.
-5
Suppose 2*j + 3*q - 6 = 0, 2*j + q + 1 - 3 = 0. Let a = 4 - 2. Solve 0 = a*f + 2*z - j - 2, -2*z + 6 = f for f.
-4
Let l be ((-13)/(-5) - 2)*5. Suppose 0*h + l = -3*h. Let q be 45/(-6)*(-3 - h). Solve -3*k = 2*m - 2 + 5, -k + 4*m = q for k.
-3
Suppose -2*x - 12 = -2*p, 2*p + 2 = -p - 2*x. Solve 0*n - 4 = -p*n - 4*c, 0 = -5*n - 2*c + 10 for n.
2
Let n(c) = -c**2 + 10*c - 3. Suppose 2*u - 21 = -u. Let y be n(u). Solve -3*f = -5*x + 4, -2*x - x = 5*f + y for x.
-1
Suppose 5*u = 3*g - 45, -68 = -0*g - 4*g + 4*u. Solve 2*t + 35 = 7*t + 5*l, -g = -4*l for t.
2
Let v(u) = -3 + 7 - 2 - 4*u + u**2 + u. Let h be v(2). Suppose -5*t + t + 20 = h. Solve l - 5*p = 2*l, 0 = t*l - 3*p + 28 for l.
-5
Let t(a) be the third derivative of a**4/4 + a**3/6 + 3*a**2. Let q be t(3). Solve 4*c + 4 = 5*r + 5, c = -5*r + q for c.
4
Let m(w) = -w**2 - 6*w + 5. Let h be m(-6). Solve 4*l + 9 = -h*y, 4*y + 2*l - l = -5 for y.
-1
Suppose 0*t - 3*t - 3 = -3*a, -2*a - t + 14 = 0. Solve 0 = -a*p + 5, -11 = 3*l - 0*l + p for l.
-4
Let x(d) = -1 - d**2 - 7*d + 0*d**2 - 1. Let t be x(-6). Suppose -t*w - 2 = 5*n, 0 = -3*w - 0*w + 2*n + 10. Solve -q - 2*j = -2, w*j - 3 = -3*q - j for q.
0
Let k(p) = 4*p**2 + p. Let s be k(1). Solve -2*m - 4 = -5*o, -4*o = -2*o + s*m + 10 for o.
0
Let g be (-4)/6 - (-4)/6. Suppose k = -g*k - a + 18, 3*k + 4*a = 57. Let j = 49 - 11. Solve l = -i + 3, -5*i - k + j = -3*l for i.
4
Let v = 19 + -17. Solve -2*w - w + r = 19, 2*w - v = -3*r for w.
-5
Suppose 2*s = s + 12. Let o(b) = b - 1. Let p be o(-6). Let h = p + s. Solve -4*u = h*w - 36, u = -u - 4*w + 24 for u.
4
Let j = -12 + 18. Let i be (-81)/(-15) - 4/10. Let d(o) = o**3 + 6*o**2 + 4*o - 1. Let t be d(-5). Solve i*f - t*m = 12, 4*f + m - j = 12 for f.
4
Let l = 5 - 2. Solve c + 12 = -3*c + r, 4*c = -l*r + 4 for c.
-2
Suppose 8 = -i + 5*i. Let m = -70 + 72. Suppose q = m*g - 8, 0*g = i*g + q - 12. Solve 0*x - 11 = -x + 2*h, -5*x + 40 = -g*h for x.
5
Let h be -5 + 6 + (-1)/(-1). Suppose -c - h = -9. Suppose 0 = 3*r - c*r. Solve 4*s - 2*b - 14 + r = 0, 3*b - 4 = s for s.
5
Suppose 0 = 5*r - 5*a + 5, 0 = 3*r - r + 2*a - 2. Suppose -4*o + 0 + 8 = r. Suppose -l = 1 - 4. Solve 0 = o*s - 5*m - 26, -l*s + 4*m = -0*s - 25 for s.
3
Let a(n) = n + 1. Let z be a(-2). Let i = 8 - z. Solve -6 = 4*r + 3*o + i, o + 10 = -3*r for r.
-3
Let s(k) = -k**3 - 4*k**2 + k + 6. Let z be s(-4). Solve 0 = z*p + 4*u - 30, 3 + 12 = 3*u for p.
5
Let y(u) = u**3 - 9*u**2 - 3*u + 10. Let k be y(9). Let p = k - -19. Solve -p*q = 4*n + 10, 2*n - 12 = -4*q - 2 for q.
5
Let v be -2*(45/6)/(-5). Let h be (-2)/(6/v) + 1. Suppose h = -2*j - 22 + 66. Solve 37 = 4*b - b + 5*m, 3*b - j = -2*m for b.
4
Suppose 26*o - 19*o = 35. Solve f + o*d - 3 = 0, -4*d + 1 = f - d for f.
-2
Suppose 6 = 22*n - 38. Suppose 1 + 14 = -3*o, 2*c + 5*o + 15 = 0. Solve j + 3*i = -j + c, 0 = n*j + 5*i - 3 for j.
4
Suppose m - 6 = -2*m. Suppose 2*w + o = -0*o + 15, -w = -o - 15. Let n(z) = -z**2 + 10*z + 3. Let j be n(w). Solve -5*x - 5 = -5*b, -j = -2*b - b - m*x for b.
1
Suppose 0 = -d - 4*d. Let h = 4 + d. Solve -20 = l - 5*o, 18 + 2 = h*o for l.
5
Suppose 4*a = 3*y + 20, -48 = -0*a - 4*a - 4*y. Solve 2*o - 5*h + a = -10, -4*h - 4 = 3*o for o.
-4
Let b be 2/7*7/3*3. Suppose -2*f = -2 - 6. Solve 3*l = 9, -b*q - 2*q + f*l = 16 for q.
-1
Let f(a) = -a**3 + 2*a**2 + 3*a + 2. Let r be f(3). Solve -x = -r*x - 5*b + 23, -2*x - 2*b = -14 for x.
3
Suppose 2*f - 40 = -3*g - 14, -2*g - 3*f = -19. Solve 0 = -5*n + v - g, -2*n - 16 = 2*n - 4*v for n.
-1
Suppose 7 - 27 = 5*y - 4*d, 0 = 3*d - 15. Solve y = -4*w + 5*j - 14 + 59, 0 = -3*w + 4*j + 35 for w.
5
Suppose 5 = -5*h - 3*i - 14, 0 = -h + i + 1. Let z be 0/(-2 - (-2 + h)). Solve 5*s - 3*f = 22, -s + z*f = 5*f + 18 for s.
2
Suppose -u = -0*u - 10. Let a be (-9)/(-15) - (-34)/u. Solve -a*q + 5 = 2*r + 1, -q = -r - 1 for q.
1
Suppose -20 = -5*v + 5. Let y(h) = -h + 12. Let b be y(8). Solve b*u + 16 = -2*o, -4*o + v*u - 5 = 1 for o.
-4
Suppose 4*y + 0*y = 12. Let q = -17 + 20. Solve y*f = 3*n, 0*n = 5*n - q*f for n.
0
Suppose 2 = 3*c - 2*c. Let l = 0 - c. Let d be (-2 + 1)*(l - 0). Solve 4 = 3*v - 4*t, 0 = -d*v - 3*t + 6*t + 2 for v.
4
Let u(r) = -r**2 + 5*r + 2. Suppose -3*z + 25 = 2*z. Let l be u(z). Suppose j + 7 = -l*s + 16, 5*s - 4*j = 3. Solve n + s*f = -14, 5*n + 0*f + 31 = -2*f for n.
-5
Suppose 5*x - 3*f = -4*f + 82, 5*x = f + 78