*d + 5. Let w be i(7). Solve -3*y = w*f - 7, -4*y - f - 3 = y for y.
-1
Suppose 2*v = -4*a + 8, -a - v = 4*v + 7. Solve 0*k - 8 = a*z - 2*k, 4*k = -5*z - 28 for z.
-4
Let q = 14 + -28. Let a = q - -19. Solve -2*l - i + 6 = 0, a - 25 = -5*l - 5*i for l.
2
Let p be -1*2 + -6 + 4. Let m = 8 + p. Solve 1 = -b - 3, -5*i + m*b = -41 for i.
5
Let p = 77 + -75. Solve -2*k - 3*y - 4 = 0, 4 = -3*k + 2*y - p for k.
-2
Suppose 3*c - 18 = -0*c. Let p be (-34)/(-9) - 8/(-36). Solve 3*g = -4*v + 2*v - c, -2*v - 8 = p*g for v.
0
Suppose 3*h + 2 = 2*k + 26, -5*k = 0. Suppose -22*z = -24*z + 8. Solve 0 = y - z*w - 8, 4*w + 12 + h = -2*y for y.
-4
Let b be (-1 + -4 - -4)*(1 + -6). Solve -b*y - 3*i = -6, -2*i = 4*y - 2*y - 4 for y.
0
Let t(n) = -n**2 + 4*n. Let j be t(2). Let l be j/(-14) - (-46)/14. Suppose 5*u = 20, -4*s - 2*u - 8 = -24. Solve -p - l*p + w = 6, -3*w = -4*p - s for p.
-2
Let w = 43 + -38. Solve 4 - 10 = -2*r - w*u, r + u = 0 for r.
-2
Suppose -28 = -t - 3*t. Suppose 3*b + t = 22. Solve h + 3*h - b*x - 11 = 0, 5 = h + x for h.
4
Let i(j) = 0 - 1 + 11*j**3 + 7*j**3 - j**2 + 2*j. Let v be i(1). Solve -5*a - 2*h - v = 0, 5*h - h = -16 for a.
-2
Suppose 12 = 8*d - 4*d. Suppose -5*o - l + 15 = 0, 4*o + 4*l - d = 3*o. Solve 4*m + 5*p - 18 = 2*m, o*m + 4*p - 13 = 0 for m.
-1
Suppose 2*k = 5 + 3. Suppose -k*x = -4 - 0. Let z = x + 2. Solve 3*n + 12 = 4*n - 3*r, r + z = 0 for n.
3
Let m(x) = 10*x - 15. Let j be m(2). Solve -3*g - 34 = 5*z, -z + 5 + j = -5*g for g.
-3
Let s(y) = -2*y**2 - y. Let o be s(-2). Let h be (-2)/6*2*o. Suppose 2*u + 4*q - h = 0, -4*u - q - 2 = -3. Solve 4*n + f + 11 = u, 0*n - 3*f = -n - 19 for n.
-4
Suppose 0 = -4*l - l. Solve -5*p + t + 4 - 7 = l, -8 = 4*t for p.
-1
Suppose 3*g = -4*c - 0 + 8, -4*g = 0. Solve 0*m + 4*m + c*r + 8 = 0, 5*r = -m - 11 for m.
-1
Let d(x) = -x**2 - 4*x + 5. Let g be d(-4). Let o = -3 + g. Suppose 0*k + 30 = 5*k - 5*w, -k = o*w + 6. Solve -4*u = 2*v + 21 + 3, 5*v + 12 = k*u for u.
-4
Let j = 1 + 5. Solve -2*s + j*s = -2*m + 6, -2*m + 4*s = 10 for m.
-1
Let y be (7 - -4)/(-2 - -1). Let h = 11 + y. Solve -3*k + 2*q - 20 = h, 0 = 2*q - 11 + 3 for k.
-4
Let v be (2 - 2)/(-4 - -2). Suppose v = 4*u - 75 - 29. Let s be u/6 - (-1)/(-3). Solve -f - 4*q + 25 = s*f, 3*q = 0 for f.
5
Suppose 22 = 4*z - 2*z. Suppose -3*l + 12 = j, -2*j = 4*l - 3*j - 9. Suppose -4*x + 4 = -l*d, 3*d - 7 - 1 = x. Solve -2*b - d*t = -b, -5*t - z = 4*b for b.
-4
Let k = -5 + 8. Let s(t) = -t**3 - 6*t**2 - t + 1. Let i be s(-6). Solve 2*q + 8 = -4*v, -k*q + i + 5 = -2*v for v.
-3
Let r(y) = -y**3 - y**2 + 2*y + 3. Suppose 0 = -2*u - 4. Let q be r(u). Solve q*z = -4*k + 8, 4*k = -0*z - 5*z for k.
5
Suppose -2*z - 10 = -4*z. Let x(p) = 3*p**2 - p + 1. Let f be x(1). Suppose 0 = 2*h - f - z. Solve h*i - o = 2*i - 4, 0 = 3*i + 4*o + 6 for i.
-2
Let w = 34 - 30. Solve -3*y - y = -3*d - 3, -4*y - w = 4*d for y.
0
Let h(c) = -c**3 + 11*c**2 + c - 8. Let q be h(11). Solve 4*l - q*f = -12, 0 = -5*l + 4*l - 5*f - 3 for l.
-3
Suppose -u + 3 = -0*u. Suppose u*n = -7 + 19. Suppose -4*a + 59 = -13. Solve -p = -4*b + a, n*b - 9 - 7 = 2*p for b.
5
Let j = 34 + -31. Solve j*p - 11 = 2*n, 0 = -4*n + 3*p - 7 - 0 for n.
2
Suppose -5*z + 3*m - 1 + 9 = 0, 0 = -3*z - 5*m - 2. Let y = z - 1. Let v(w) = w**2 + w + 5. Let k be v(y). Solve -i + 3*u - k = 0, -11 = -3*i - 2*u - 2*u for i.
1
Suppose 15 = 4*y - 5. Let s be 17/4 - 3/12. Let z = 7 - s. Solve y*m + 18 = 2*i, -z = 2*m + 4*i + 9 for m.
-4
Let c be ((-4)/10)/((-2)/10). Solve -5*v + 4*z - 15 = 0, -4*v + 5*z = c + 19 for v.
1
Let x = 42 - 7. Let c = x - 12. Solve 1 + 1 = -2*m, 2*m = 5*t + c for t.
-5
Let j = -17 + 6. Let z = j - -15. Solve 0 = -3*s + z*l + 11, 1 = -2*s - 0*l + l for s.
-3
Let l(o) be the first derivative of -o**3/3 - 3*o**2 + 10*o + 2. Let u be l(-7). Suppose -2*v - u = -3*v. Solve 0 = b + g + 7 - v, 4*b + 16 = g for b.
-4
Let c(z) = 13*z. Let w be c(1). Let d be w - (4 + -3 + 1). Let j = d + -8. Solve 0 = 5*r - h + 24, 0 = -j*r - r + 2*h - 24 for r.
-4
Suppose 4*m = -0*m + 16. Let w(p) = p**2 + 7*p - 14. Let g = 14 + -24. Let s be w(g). Solve 2*z + 5 = -m*x - 3, -2*x + s = -4*z for x.
0
Let s be (-18)/(-10) - (-1)/5. Let n be (-4)/10 - 96/(-40). Suppose n*w = -2 + 12. Solve 5 = a, -a + w = 5*g - s*a for g.
2
Let o(q) = 3*q**2 - 2*q**2 + 6 - q - 3*q. Let c be o(4). Suppose -3*a + 0 = -c. Solve m - g = a, 4*m - g - 2 = -0*m for m.
0
Let l = -6 - -9. Solve -4*h + 0*u + l = -3*u, -u + 18 = 5*h for h.
3
Let g = -13 - -9. Suppose 0 = -h - 4*v - 26, 3*v - 4*v - 23 = 3*h. Let k be (-1)/h - g/(-24). Solve 3*x - 2*x = -2*m - 2, -m + x - 4 = k for m.
-2
Let y = -9 - -15. Let x(k) = -k**2 + 5*k + 8. Let p be x(y). Solve u - 5*u - 2*z - 18 = 0, 0 = -p*z - 10 for u.
-2
Suppose -1 + 13 = 2*u. Let s(o) = -6*o - 4*o**2 + o**3 + 4 + 6*o. Let t be s(4). Solve -p + t*f - u = -6*p, f - 5 = -3*p for p.
2
Let y(a) = -a**3 - 5*a**2 + 6*a + 4. Let s be y(-6). Let u = 2 + s. Solve u = 2*h - n - n, 0 = 5*n + 25 for h.
-2
Let k(l) = -l + 0*l - l**2 - l**2. Let w be k(1). Let i = w + 8. Solve 6*r = r - a + 12, i*r - 2*a - 21 = 0 for r.
3
Let d = -2 + 4. Suppose 0 = -3*y - 2*v + 12, 3*y - 7*y = d*v - 16. Solve 0*h + 2*h + 2 = -3*t, -y*t - 4*h = -4 for t.
-4
Let i be 24/15 + (-4)/(-10) - 0. Let h = -8 - -11. Solve -r - 3*x = -9, h*r = -i*r - 3*x + 21 for r.
3
Suppose a - 3*k = -a - 8, -4*k = -16. Let n = 1 + -1. Suppose n = 2*p - 8 - 12. Solve 2*c = z - 2, -5*c - 3*z = a*z - p for c.
0
Suppose 0 = 30*p - 22*p - 200. Solve -3*f - h = -8*f - p, 2*f = -5*h - 10 for f.
-5
Let v be 0 - (-8 + -2)/5. Solve -s = -2*a - 9, -2*s - a - v*a - 10 = 0 for s.
1
Let w(b) = 2*b**2 + 5*b - 3. Let a be 2/8 + (-119)/28. Let y be w(a). Solve 4*j = -2*c + 26, -2*c = -j - 2*j + y for j.
5
Let w = -3 + 4. Let g = w + 1. Suppose 0 = h - 2*h + 4. Solve -h*q + 4 = -3*v, -q + 2 + 10 = g*v for v.
4
Suppose -3*p + 8 = -p + 4*g, 4*p - 2*g - 6 = 0. Suppose -4*x = 2*r + 2, 0 = x + 3*x + 4*r + 12. Solve -x*b = p*k - 6, -3*k + 8*k + 2*b - 6 = 0 for k.
0
Suppose 4*n = 2*i + 12, 0 = 4*i + n - 6*n + 12. Suppose 4 = 3*k - 8. Solve k*s - 4*z = s - 12, 0 = -i*z for s.
-4
Let s(n) = -n + 1. Let p be s(4). Let z(a) = 2*a**2 + 5*a + 2. Let i be z(p). Solve -3*o - 4 = i*w, 4*w - o - 5 = 2*w for w.
1
Let d be (4/3)/((-2)/(-6)). Suppose 3*k = 3*f + 9, -2*k + 3*k + 1 = -3*f. Solve d*q - 34 = -q + 3*j, q - k*j = 11 for q.
5
Suppose 5*w - i - 12 = -2, w + i - 2 = 0. Solve -w*k = k - 4*d - 9, 4*k - 3*d = 5 for k.
-1
Let u(m) = 22*m**2. Let n be u(-1). Suppose -5*s + 6 = -4*f - n, -3*s + 33 = 3*f. Suppose 4*b - s = -0. Solve 2*x - b*z = 18, 0 = -2*z - 8 - 2 for x.
4
Suppose 0 = -3*b - j + 14, 2*b + 2*j - 8 - 8 = 0. Solve 2*f = -2*k + 10, -4*k - b = f - 14 for k.
2
Let a = 0 + 2. Solve 0 = 3*j, 5*z + a*j - 3*j - 5 = 0 for z.
1
Let d = 89 + -61. Solve -4*l - 5*s = d, -3*l + 3*s = -2*l - 10 for l.
-2
Suppose 0 = -0*m + 2*m. Suppose -5*l + 0*l + 30 = m. Solve -3*w - 12 = -l*w + u, -28 = -5*w - u for w.
5
Suppose -5*d + d + 8 = 0. Let t be -15*-1*(d - 0). Suppose 3*j - 10 = 5. Solve 2*v - 4*y - 6 = -t, -j*y = 5*v for v.
-4
Suppose 0 = l - 6 + 3. Let b = -3 + l. Solve 0 = -3*c + 5*q + 9, b*q = 2*q for c.
3
Let i be ((-12)/(-4)*-1)/(-1). Solve 2*x - x + 8 = -3*c, 0 = c + i*x for c.
-3
Let f be (6/(-5))/(6/(-20)). Let d be -1*(1 - 4) - -16. Solve -5*u + 5 - d = f*b, -4*u - 6 = -2*b for b.
-1
Suppose -3*k + 39 = d + 1, 2*k + d - 27 = 0. Solve 0 = -4*l + 2*y + 14, -l + 3*y = 3*l - k for l.
5
Let u(k) = 6*k. Let a be u(3). Suppose 0*r + a = -3*r. Let z(m) = m**2 + 4*m + 5. Let f be z(r). Solve 5*w - 13 = 5*p + 2, 3*w = 5*p + f for w.
-1
Suppose -4*i - 2*t = 2 - 6, -2*i - 5*t = 6. Let d be (-32)/(-8)*(1 - 0). Solve -i*x + x = 5*v, 0 = -d*v + 3*x for v.
0
Suppose -2 + 6 = 4*b. Let l = b + 1. Solve r + 3*n - 3 = -l*n, 3*r + 4*n - 9 = 0 for r.
3
Let u = -5 + 7. Suppose 0 = -4*y, y + 8 = 2*g - 4*y. Suppose 2*j - 40 = -4*o - u*j, 0 = -g*o - 5*j + 45. Solve 2*c = 3*i + i + 20, -i = -c + o for c.
0
Let d = 78 + -73. Solve s - d*b + 3 = 0, 3*s - 5*s - 6 = 2*b for s.
-3
Let p(d) = d**2 + 5*d + 6. Let y be p(-4). Suppose 2*s = -s. Solve s = y*c - 2 + 4, 5*r - c = 21 for r.
4
Let u(o) = -o**3 + 4*o**2 - o + 4. Let d be u(3). Let r = d - 8. Let p be 21/9 + r/(-6). Solve -p*q + 3*q = x, 0 = -