e d(7). Suppose k*f + 2*f = x. Solve -3*n = 4*v + 31, n = -3*n - 2*v - f for n.
-5
Let t(r) = 2*r - 10. Let k be t(8). Let o = k + -2. Solve 0 = 5*w + o*v - 4 - 3, -4*v - 17 = -3*w for w.
3
Let v(s) = -7*s**2 + 3 - 5*s**3 + 2*s**3 - 13 - 2*s + 2*s**3. Let f be v(-7). Solve -f*x - 12 = -2*z, -z = -x - 5*z + 6 for x.
-2
Let u = -2 - -2. Suppose u = -5*b + 6*b. Suppose -p + 9 = -d, 0 = -b*d + 4*d + 12. Solve -2*a + p = -n, -4*a - n + 12 = 2*n for a.
3
Let s(y) = -y**2 - 9*y + 2. Let j be s(-7). Let l = -11 + j. Solve g + 4 = l*p + 19, 0 = g for p.
-3
Let x(r) = 9*r + 2. Let f be x(2). Suppose a + 0*b = 2*b, 5*a = 5*b + f. Let p be 1/((-14)/a - -2). Solve 5*w - 3*j = p, -5*j = -3*w - 2*j for w.
2
Let l(z) = -z**2 - 6*z - 4. Let p be l(-4). Suppose p*w = 5 - 37. Let h be 8*w*2/(-4). Solve 4*t - h = -n - 3*n, 20 = 4*n for t.
3
Let b(r) = r**3 - 7*r**2 + 2. Let k be b(7). Let p = 9 + -5. Suppose k*z = p*z. Solve 3*g + 5*u = 2*u + 21, z = -5*g + u + 17 for g.
4
Let k = 11 - 15. Let d be (k/(-10))/((-1)/(-5)). Solve 5*s = -d*q + 2, -2*s + 5*q = 3*s + 5 for s.
0
Let t(c) = -c**2 - 8*c - 10. Let b be t(-6). Solve -2*m = -4*o - 12, -o + b = m - 1 for o.
-1
Let c = 6 + -3. Solve -2*r + 11 = t + 2, 2*t - c*r = 4 for t.
5
Let y(b) = -2*b - 6 + 0 + 3 + 6. Let n be y(-8). Suppose 3*q = n - 4. Solve 0 = -5*u + 4*g - 45, 3*u + 3*g + 25 = q*g for u.
-5
Let r(j) = j + 17. Let l be r(-13). Solve -5*x + 3*k = 23, -4*x - l = k + 11 for x.
-4
Let z(n) = 5*n**3 - 2*n**2 - n. Suppose 0*u = -5*u - 5. Let m be z(u). Let x = m + 11. Solve -5*p - 10 = x*k, 2*p = k - 4 - 3 for p.
-3
Suppose -4*i - 3*d + 20 = -2*d, -4*i + 20 = -d. Suppose -i*p - 2*g + 9 = 0, -p = -3*g - 8 - 4. Solve 5*s = 5*z - 20, p*s + 3*z = -s - 23 for s.
-5
Suppose 8*v = 3*v + 10. Solve -a + r + r = -1, v*a + 5*r + 16 = 0 for a.
-3
Let y be 2*(2 + 0/1). Solve 7*h - 2*h + 4*i = -35, 3*i = y*h - 3 for h.
-3
Let i = -18 + 38. Solve 0 = -4*c + i, 2*c + 0*c - 13 = -3*n for n.
1
Suppose -3*b + 4 = d - 14, 2*d - 5*b - 58 = 0. Solve -3*v = o - 4*v - 1, o = -4*v - d for o.
-4
Suppose -2*q - 3*q - 27 = -3*o, -q + 13 = 4*o. Solve -o*z - k = -7, -k = z + 3*k + 17 for z.
3
Let r be 8/5*(-20)/(-8). Let x be 93/(-9)*-3 + 4. Solve -x = m - 6*m + 5*j, -12 = 4*m + r*j for m.
2
Let b(y) = y - 2. Let r be b(6). Suppose x - 2*x = 0. Solve 2*u - 12 = -2*n + 3*n, -r*u + 4*n + 28 = x for u.
5
Let j be 1/((-5)/(-5))*0. Suppose 5*u + 4*m = -5, 0 = u - 0*u - 3*m - 18. Solve -s + u*z - 7 = j, -s + 4*z = -0*s + 8 for s.
-4
Let p(b) = -b**3 - 5*b**2 - 4*b - 2. Let k be p(-5). Let m(u) = 2*u - 7. Let i be m(6). Let j = 1 - -1. Solve 1 = 2*c + 7*t - j*t, -k = -i*c + 3*t for c.
3
Let w = 18 - 14. Suppose -w*h + 0*h + 24 = 0. Solve h*j = 2*c + j + 5, -j - 6 = c for c.
-5
Let o be (48/30)/(4/10). Solve o*v = -10*g + 5*g - 26, -2*g = 4*v + 20 for v.
-4
Suppose 4*c + 3 = a - 3, 4*c + 24 = 4*a. Let j be -1*(-7 - (2 + 0)). Solve -4*o + a = -m - j, -3*m - 10 = -5*o for o.
5
Suppose -29 = -5*j - 4. Let l be 6/j*50/20. Solve 2*n + 2*n = 3*c - 20, -10 = -l*c - n for c.
4
Suppose -r = -4*t + 8, -5*t - 3*r + 17 + 10 = 0. Solve t*z = 7*l - 3*l + 25, 3*l + 12 = 0 for z.
3
Suppose 3*w + 3*y = -y + 32, 5*y = -4*w + 41. Solve w = -4*q - 0*h + 3*h, h + 4 = 0 for q.
-4
Let g be ((-8)/10)/(2/(-10)). Let f = 6 - -2. Solve -13 = -c - 4*r, -g*r + 2*r = -f for c.
-3
Suppose 0 = n - 5*y - 16 - 10, -5*n + y = -82. Solve o - n = -4*t, o - 2 + 10 = 4*t for o.
4
Let r = -1 + 7. Let s(u) = -11*u - 9 + 5*u + 8*u. Let c be s(r). Solve -c*n - 2*h - 1 = 0, -h - 2 = 3 for n.
3
Suppose 2*x - 15 = -3*x. Suppose 1 = x*h + d, -d = -5*h + 3*d - 4. Suppose -t + 3 = -h. Solve -y - 11 = 3*u + 2, 0 = -4*u + t*y for u.
-3
Let j = -16 - -19. Let g be (6 - j)*(-2)/(-3). Solve -4*q - 2*c = g*c, c = 2*q + 3 for q.
-1
Let a = -9 - -13. Suppose -p = a*p - 10. Solve 5*m - 3*f - 16 = 0, p*m - 3*f - 8 = -f for m.
2
Let p be 0 - (-6 - (-12)/4). Solve 1 = -3*r - 4*s, -3*r = 2*s + p + 2 for r.
-3
Suppose -o - 3*t = 9, 0*o + 9 = -4*o - 3*t. Suppose 5*c - 7 - 13 = 0. Solve o*k - 20 = c*q + 2*k, q + 2*k = -11 for q.
-3
Let c(z) = z**2 + 3*z + 2. Let b be c(-3). Suppose b*f + 0*f = 16. Let y = 13 - f. Solve 0*w - w - y*o = 7, -3*w - 3*o = -3 for w.
3
Let y(s) = -s**3 - s**2 + 3. Let a be y(0). Suppose -21 = -j + a. Solve 5*n - j = -c, n = 4*c + 5*n - 32 for c.
4
Suppose 2*a = a - 7. Let t = a + 13. Solve 2*q + 2 = -2*w - t, -2*w - 13 = -3*q for w.
-5
Let t be 2 + 4/4 - 0. Suppose 0 = t*y - 4*y. Solve y = -5*n + 3*n + 4*c + 6, -3*n + 8 = -5*c for n.
1
Let a = -4 - -7. Solve 0 = -4*x - 5*b - 7, 2*x - a*b = -0*b - 9 for x.
-3
Let p be 2/(-6) - (-16)/3. Let o(u) = u + 15. Let h be o(-12). Solve h*l + 17 = 5*f, p*l + 15 = -6*f + f for l.
-4
Let c(y) = -y + 24. Let f be c(16). Solve -4*a - 8 = 0, -f = -2*z + z + 2*a for z.
4
Let w(y) = -y + 16. Let h be w(11). Solve h*z + 22 = 3*m, -5*z + 6*m - m = 30 for z.
-2
Let m = 1 - -3. Let p = 12 - m. Let r = p + -3. Solve 2*y + 4*x = -0*y - 14, r*y + x = -26 for y.
-5
Let r be 10 + -1 + (-2 - -2). Suppose -6 = -r*q + 6*q. Let g be (0 + 2)/(0 - 2) + 4. Solve -1 = -5*y - 3*z, y + q + g = 2*z for y.
-1
Suppose -5*n = -4*h - 145, -5*h = -4*n - 0*h + 125. Suppose -5*a = -n - 45. Solve 0 = 5*t - v + 26, -3*t = -t - 4*v + a for t.
-5
Let t = -2 - 0. Let h be 85/25 - t/(-5). Solve 0 = z + n + 3, z - n - 2 = -h for z.
-2
Let m = -50 + 52. Solve -3*s + 3*w = -0*s + 6, -2 = s + m*w for s.
-2
Let h be -6*4/(-2) + 0. Suppose 0 = 4*i - 4 - h. Solve i*o - 3*t = 3*o + 14, 5*t + 25 = 0 for o.
-1
Suppose 2*y - 24 = -y. Solve 4*i - h + 0 - 10 = 0, h - y = -5*i for i.
2
Let p(b) = -b**2 - 9*b + 10. Let o be p(-9). Let v = o + -7. Solve 0 = -2*q - v*n, 4*n - 1 = 7 for q.
-3
Let o be (-189)/12*(4 + -8). Suppose o = 4*b - b. Solve -b = -3*l - 0*l + 5*h, 7 = -l - 3*h for l.
2
Suppose 4*k = 7 + 5. Suppose -2*t + 9 = u, -4*u + 4 = -k*t - 10. Solve 19 = j - 4*f, 3*j + 3*f + 1 = -t for j.
3
Suppose n = -4*o - 8, 7*n - 8 = 2*n - 4*o. Suppose 0 = -0*m - m. Let g be 5/2 - (-1)/2. Solve 3*j = -i - 3*i, m = n*j + g*i - 7 for j.
4
Suppose 0 = t - 1. Let u(b) = -b**3 - 3*b**2 + 4*b + 1. Let l be u(-4). Let f be t + l - (-1 - -1). Solve -5*c + 13 = f*g, 7 - 18 = -3*c + 2*g for c.
3
Let u be 7/(28/(-16))*-1. Suppose -u*a - a = 0. Solve 3*d - 24 = -5*y, 5*y + 2*d - 5*d - 6 = a for y.
3
Suppose 4*p + 1 = 5. Let i be 4/(p*2/1). Solve 5*m - i*l = -6, -l - 10 + 2 = 3*m for m.
-2
Suppose 0 = -3*u + 2*u. Suppose 2 = -2*w - l + 9, 3*w - 3*l = 33. Suppose 3*j = j + w. Solve -j*k + 9 = -4*q - 20, 2*k - 6 = u for q.
-5
Let i = 16 + -10. Let n be (-1 - -2)/(1/i). Let j be ((-15)/(-4))/((-3)/(-12)). Solve -j = l - 0*l + 5*b, 0 = 3*l - 2*b - n for l.
0
Let j(b) = 4*b + 4. Let l be j(-7). Let q = l + 27. Solve -4*z - 4 - 6 = q*c, -4*z = -2*c for c.
-2
Let b(s) = -s**2 + s - 4. Let k be b(-4). Let r = 35 + k. Solve -4*x - 2 = -3*o, -2*x + 1 + r = 5*o for x.
1
Suppose -p + 11 = -3. Solve 5*s + 3*k - 20 = 0, -5*s = 2*k - 1 - p for s.
1
Let b(z) = z**3 + 7*z**2 + z + 8. Let v be b(-7). Let y be (-3 + 2 + 1)*v. Solve y = -3*n - 4*d - 10, n = 3*n - 3*d - 16 for n.
2
Let h = -13 - -26. Let q = -8 + 12. Solve q*y + w = 2 + 9, h = -3*y - 5*w for y.
4
Let n = 24 - 11. Suppose -4*x = -s + 16, 19 = 3*s - 2*s - x. Suppose 0 = -4*q + s, 4*i - 4*q + n = q. Solve -5*z + 2*d + 1 = -d, 3*z = 3*d + i for z.
-1
Let k be 6/(-12)*(-1 + -1). Let o be 0/(k*(2 - 3)). Solve o = 3*a + 2*a + 5*x + 20, -4*a = -2*x + 16 for a.
-4
Suppose -16 = 2*p - 6*p. Suppose -x - 129 = -p*x. Solve 4*h + 20 = 0, -5*c + x - 18 = -5*h for c.
0
Let x be -2*(-3)/6*-11. Let q be ((-6)/(-8))/(x/(-44)). Solve -4*r - 4*j = 24, -q*r + j - 2 = -0*r for r.
-2
Let p(o) = -o**3 + 6*o**2 + 7. Let h be p(6). Suppose -4*q - 8 = -2*q. Let w = q + h. Solve 5*y + 3*u - 23 = 4*u, -w*y + 2*u = -11 for y.
5
Suppose 7 + 5 = 4*b. Suppose b*t - 5*t = -26. Solve 2*h - 10 = -v, t - 3 = 3*h - v for h.
4
Let l = -8 + -7. Let o = l - -19. Solve -2*v = o*c + 19 + 1, -3*c = -2*v + 8 for c.
-4
Suppose b + 1 = 2, 0 = -3*a + 2*b + 16. Solve -5*r - 23 = 4*w, w - a*r + 2*r = 10 for w.
-2
Let o be -3*(-2 + 1) - 2. Solve 0 = 2*f - g + 15, g = 4 + o for f.
-5
Suppose -5*m = -1 - 9. Suppose -3*s = -2*a + 7, -a - 14 = 3*s + 4*a. Let v be ((-4)/3)/(2/s). Solve -4*c - u - 16 = v*u, m*u + 7 = c