 1 + 7, -4*i = y*x - 4 for i.
-1
Suppose 0*m = -4*m + 8. Let b(o) = o**2 - 2*o + 2. Let j be b(m). Suppose d = j*d. Solve 5*n - 4*a = -2*a + 17, 3*n + a - 8 = d for n.
3
Let b be (-48)/(-27) + (-2)/(-9). Let c(j) = 0*j - 3 + 8*j**2 - 10*j**2 - 5*j - j**3 + 2*j. Let p be c(-2). Solve -5*i = -4*h + p + 1, 5*i - 2*h = -b for i.
0
Let g be ((-2)/8)/(3/(-36)). Solve -4*k + 10 = -2*w, 5*k = -2*w + g*w + 5 for w.
-5
Let p(f) = -f**3 + f**2 + f + 19. Let k be p(0). Solve n + k = -4*i, 5*i + n = -2*n - 29 for i.
-4
Suppose 2*d = -3*d + 10. Suppose -90 + 36 = -4*y - d*a, -a = 3. Let k(g) = 2*g**2 + 2. Let p be k(-1). Solve -u = p*x - 3 + 18, y = -5*x for u.
-3
Let u(l) be the third derivative of 1/3*l**4 - 2/3*l**3 - 2*l**2 + 0 + 0*l. Let y be u(3). Solve 0 = g + 5, -2*j - 2*g - 2*g - y = 0 for j.
0
Let v be (6/4)/((-3)/(-8)). Solve 3*r + 1 = 5*q, -v*r + r - 5*q = -19 for r.
3
Suppose -a + 3 = -i + 8, 4*a - i = -8. Let o = a - -8. Suppose -o = -z - 2. Solve -5*v = -10*v + z*w - 35, -10 = -5*v - 4*w for v.
-2
Suppose 5*r + 12 = 2*f + 3*r, 0 = 5*f + 5*r + 20. Let w = 0 - 0. Suppose b + 2*b - 6 = w. Solve -3*n = -3*u + 3, u - b*n = -6*n + f for u.
1
Suppose 4*z + u = 25, -2*z + 11 = 2*u - 3*u. Let x(n) = n**2 - 12*n - 26. Let c be x(14). Solve g - z = 5*d - g, -5*d - c*g - 14 = 0 for d.
-2
Let c be 22/55 + (-4)/10. Solve -9 = -0*n + 2*n - 3*x, c = 5*n + 5*x + 10 for n.
-3
Let a(g) = g + 28. Suppose 3*c + 5*s + 10 = -27, 2*c = 3*s - 31. Let u be a(c). Solve p + 3*q + 13 = 0, 2*p + q = 5*q + u for p.
-1
Let b(a) = -3*a - 2 + 4*a + 0*a. Suppose 3*t = 5*m - 30 - 1, 2*m - 4*t - 18 = 0. Let y be b(m). Solve 0 = -5*u - y*l - 24, 1 + 5 = -2*l for u.
-3
Suppose -1 - 1 = -y. Let k be (1/(-2))/(y/(-16)). Solve k*b + 12 = 0, -2*t + 4*t = -3*b - 17 for t.
-4
Suppose -y + 3 + 1 = 0. Suppose z = -2*z - 4*r - 8, -z = -y*r - 24. Solve -3*x + n + 5 = 0, 5*n + z = -6 for x.
1
Let g be (-2)/6*5*-3. Solve g*n - o = -3, 2*o = 3*n + 5*o + 9 for n.
-1
Suppose -5*h - 41 = -4*o - 6, 5*o = -4*h + 13. Let v be h/9 - (-176)/6. Solve 6*z - z = -3*a - v, -3*a - 1 = -2*z for a.
-3
Let p be 2/(-4) - 14/(-4). Let d = p + -6. Let l be 1/d - 19/(-3). Solve -3*c + l = 3*u - 4*c, -5*u = c - 18 for u.
3
Suppose 0 = 4*j - 3 - 13. Solve j*m + 2*k + 0*k - 26 = 0, k - 5 = 0 for m.
4
Let y = 3 - 1. Suppose -y*a + 6 + 2 = 0. Suppose -a*v + 71 = -5. Solve 0 = l - 3*g + 5, g - v = -2*l - 2*l for l.
4
Let j = -28 + 29. Solve 6*o = 2*o - g - j, -2*o - g = -1 for o.
-1
Let z = -16 + 24. Let g = 16 - z. Solve -i - 5*m = 5, g*m = 3*i + 3*m - 5 for i.
0
Let m = -14 + 17. Solve m*k + 9 = 3*l, 15 = k + 3*l + 6 for k.
0
Let g(w) = w**3 - w**2 + w - 2. Let z(b) = -b - 4. Let u be z(-6). Let x be g(u). Suppose i - 2 = x. Solve -q = h - 4, -h + i*q - q - 26 = 0 for h.
-1
Let c = 1 + 2. Solve 2*l - c*l = -5*y - 9, -5*y - 5*l - 15 = 0 for y.
-2
Let u be (1*8/3)/(2/3). Solve 0 = -0*g - 5*g + 4*q + 35, -2*g - u*q = 14 for g.
3
Let a be 1 + 3 - (-18)/9. Solve 0 = -4*b - 8, 3 = c - 3*b - a for c.
3
Suppose 0 = 5*h - 10 - 35. Suppose v + 3 = -h. Let k = v + 17. Solve -k*i + 5*y = -4 - 6, 15 = 5*y for i.
5
Let f(k) = k**2 - 8*k + 15. Let l be f(6). Solve -2*n - 2*n = b - 1, 4*b + l*n = 17 for b.
5
Suppose 4*k - 3*f - 23 = -10, -5*k + 2*f + 11 = 0. Let w = 1 - k. Let y be (w/(-2))/(2*-1). Solve 3*i = 2*a - y*a, 4*a = 4*i - 4 for a.
-3
Let c(b) = 2*b**3 + 17*b**2 + 8*b + 2. Let p be c(-8). Solve q - 2*g = g - 4, p*q + 4*g - 12 = 0 for q.
2
Let q(o) = -o**3 - 2*o**2 - 4. Let b = 1 + -4. Let c be q(b). Let g = -23 + 28. Solve -2 = -c*h - 3*k, 4*k - 2 = -g*h - 1 for h.
1
Suppose -4 = 2*l - 3*t, l - 2*l = -2*t + 4. Solve b - o + 17 = -l*b, -5*b - 13 = o for b.
-3
Suppose -7 = -2*u - 3. Solve -4 = 3*f + u*m, 0*f - 10 = -4*f + 5*m for f.
0
Suppose -3*w + 0 = 5*k - 4, -3*k - w + 4 = 0. Suppose -k*r + 7*r + 20 = 0. Let i be 1*(-2 - r/2). Solve 4*q - 4*c + 8 = i, -4 = 5*q - 0*c + c for q.
-1
Suppose 2 = 2*z + 5*a, -4*a = 3*z - 0*a - 10. Suppose 2*c + 3*t = -3*c + 2, -c = -5*t - z. Let r = c - -1. Solve 3*b - 4*w + r = 0, 4 = -3*b + 5*w - 0 for b.
2
Let d(s) = -s**2 + 17*s - 20. Let o be d(14). Solve -2*j - 3*j + 4*f + 2 = 0, -4*f - o = 5*j for j.
-2
Suppose -3*x - 8 = -5*x. Solve -x*c = -9*f + 4*f + 11, -1 = f for c.
-4
Let l be (4/(-10))/(-2) - 29/(-5). Suppose 20 = 6*f - f. Solve -4 = -4*b + f*w, -3*b + 4*w = -0*w - l for b.
-2
Let n = 40 + -4. Suppose -3*m - 3*o + 43 = 2*m, -4*m + n = 4*o. Solve -2*a - 4 = -2*c - 0*a, -5*a - m = -3*c for c.
1
Suppose 0 = 2*d + 20 - 50. Suppose 0 = 2*n + 3*n - d. Suppose 0 = 3*u + 4*g - 18, n*u + 6 = 3*g + g. Solve 3*b - 8 = u*x, 5*x = x + 2*b for x.
2
Let w = 10 - 8. Suppose -w*o = -3*c + 8 + 1, -2*o + 2*c - 4 = 0. Solve -5*z - 25 = -5*r, -6 = -2*z + o*r - 5*r for z.
-1
Suppose y + 4*p - 1 = -8, -y + p = -13. Let z be 24/((y/4)/3). Let h = 3 - 0. Solve 0 = 3*i + 4*o + z, -i + h*o + 16 = -o for i.
-4
Suppose -t = 3*m - 17, 4*m - 2*m = 5*t. Suppose i - 8 = -i. Let c(g) = 3*g**2 - 2*g - 5. Let u be c(4). Solve -4*d = -p + 14, m*p - 9 = -i*d - u for d.
-4
Let n(p) = -p**3 - 3*p**2 - p - 3. Let b be n(-5). Let j = -25 + b. Solve -4*x - 2*g + j = 1, 3*g = 3*x - 6 for x.
5
Suppose -4*u + 3 = -5. Suppose -7*b - 5*w + 30 = -2*b, -2*b + 27 = 5*w. Suppose t = 2 + b. Solve 2*q - 2*a - 6 = 0, u*q - t*q - 12 = 2*a for q.
-2
Let w = 124 + -117. Solve -2*z - z = -q + 1, -5*z - w = -3*q for z.
1
Suppose 3*q = -9 - 9. Let k be 27/q*4/(-6). Solve -y - i = k*i + 7, 0 = y - i - 3 for y.
1
Suppose 0 = o - 2*o + 12. Let a be 0/1 + o/1. Solve -i + 5 - 3 = 0, 4*s = -4*i + a for s.
1
Let k(z) = z - 7. Let q be k(14). Solve 0 = -4*j - 5*m + 14, -j - 2*m - 2 + q = 0 for j.
1
Suppose 0 = 2*n + l - 2, 3*n = -0*l - 5*l - 4. Suppose 0 = -2*j - 19 - 11. Let m = 15 + j. Solve v - 2*v - 5*t = m, n*t - 23 = -5*v for v.
5
Let g be (-31 - -14)*1*-1. Solve d = -5*m + 16, -3*m - m = 5*d - g for d.
1
Let n(f) = -8*f - 12. Let d be n(-2). Solve 0 = -3*a - d*g - 19, -4*g - 7 = a - 2*g for a.
-5
Suppose -8 - 18 = l. Let z = l - -37. Suppose z - 31 = -4*o. Solve 0 = o*j - 2*t + 18, 16 = -3*j + 2*t + 2 for j.
-2
Let i(c) = c**2 + c. Let x be (1/4)/(15/60). Let t be i(x). Solve 4 = -y, t*y = 2*s + y - 14 for s.
5
Suppose 7*o = 6*o. Solve -3*k + 11 = -b, o = 4*b + 4*k - k - 31 for b.
4
Let z be (2/5)/((-4)/(-20)). Solve z*j - 4*j = 2*q - 8, 0 = 5*j + 2*q - 14 for j.
2
Let o be ((-6)/(-20))/(34/85)*8. Solve -5*g = 4*k - 21, -2*g - 5*k = -k - o for g.
5
Suppose 3*v + 3*k + 12 = 0, 0 = -2*v - 3*k - 2 - 10. Solve u + 2*f = -3*u + 4, -5*u + f + 5 = v for u.
1
Let z(r) = 3*r - 9. Let t be z(6). Solve -5*b = c - 0*c - t, 16 = 4*c for b.
1
Let k = 131 + -128. Solve -r + 4*u - 3 = 0, -r = k*u - 2 + 5 for r.
-3
Let b(n) = n**2 - n + 11. Let f be b(0). Let p = -8 + f. Solve 3*z + 1 = r, 3*z = -2*r + 8 + p for r.
4
Suppose 2*m - n = -3*m + 27, -5*m = -2*n - 29. Suppose -5*d + 10 = -2*a, -m*a = -d - a + 2. Solve 2*y = d*w + 4, 3*y - 2*w - 9 = -0*y for y.
5
Let z(u) = -3*u - 1. Suppose 2 + 10 = -c. Let t be 3*(-2)/c*-2. Let d be z(t). Solve -4*w = -d*y - 13 - 11, 5*w - 12 = -2*y for w.
4
Let a = 24 - 21. Suppose 3*v - 2*i = 6, 2*i - 16 = -a*v + 2. Solve v*t + 5*w = 12, -t - 5*w + 23 - 5 = 0 for t.
-2
Let k = -2 - -6. Suppose 3*r = 3*v - r + 6, 2 = -2*v + 2*r. Let f = k - v. Solve 4*n - 5*q + 3*q = -16, -1 = -n - f*q for n.
-3
Suppose -3*i - 6 = 0, -7 - 10 = -5*x - 4*i. Solve x*g - 2*v + 17 = 0, 0 = -4*v - 18 + 2 for g.
-5
Let v(c) = c**3 - 2*c**2 - 7*c - 2. Let d be v(4). Solve -4*m + 1 = t - 6, 10 = -d*t for m.
3
Let g be (1 + -5)/4*0. Suppose g = 3*w - 39 - 69. Solve 2 = -2*t - 3*y - 2, -5*t = -4*y - w for t.
4
Suppose -3*j = -q - 8, 2*j = -3*q + 6 + 14. Solve -2*r + j*p = 4, -4 = 2*r - 2*p + 5*p for r.
-2
Let a(b) = -b + 13. Let i(r) = -r - 1. Let t be i(-10). Suppose -w - o = -t - 2, 0 = w - 2*o + 1. Let d be a(w). Solve 24 = 5*q + 4, d = -5*z + 4*q for z.
2
Suppose -x = -2*x + 15. Suppose 3*l - r = x, -5 = -l + 3*r - r. Solve 1 = -l*w - 4*p, 2*w + 4*p = w + 3 for w.
-1
Let r = 41 - 17. Solve 0 = 4*v - 16, 0 = -3*d - v - 2*v + r for d.
4
Let j(r) = 6 - r**2 - 1 - r**3 - 2*r + 3*r - 3. Let w be j(0). Solve k = -w*t + 9, -2*k + t = 4*t - 14 for k.
1
Suppose -2*f - 3*v = -26, 4*v = -4*f + 2*v + 44. Let l = f + -7. Solve 1 = -3*a + 4, l*j + 2*a = -4 fo