.
4
Let k = 25 - 10. Let w be (1 + 2)/6*8. Solve -w*l - k = 1 for l.
-4
Let v(g) = g - 6. Let s be 1 - (-5)/(-3)*-3. Let m be v(s). Solve -2*n + n + 5 = m for n.
5
Let s(c) = c + 16. Let z be s(-11). Suppose -g + 8 = -z. Solve -3 = 5*i - g for i.
2
Let m be ((-76)/16)/((-1)/4). Suppose -6*v + h - m = -3*v, v + 5*h + 1 = 0. Let p = 6 + v. Solve -3*n + p*n = 6 for n.
-2
Let r(n) be the third derivative of n**6/720 + n**5/120 - n**4/12 - n**2. Let o(b) be the second derivative of r(b). Let k be o(-1). Solve k - 4 = 2*f for f.
-2
Suppose -5*j + 3*s = -2*s + 15, -4*j + 2*s - 4 = 0. Solve -j - 2 = -3*g for g.
1
Let j(z) be the second derivative of -z**4/12 - 2*z**3/3 + 7*z. Let h be j(-4). Solve -3*d + 6 + 6 = h for d.
4
Suppose k + 2 = 7. Suppose 0 = 5*z - 5*q, 4*z - z + 6 = k*q. Let a(w) = w**2 + 5*w + 5. Let f be a(-5). Solve 0 = -2*j + z*j - f for j.
5
Let n(q) = -q**3 - 3*q**2 + 2*q - 4. Let g be n(-4). Suppose 1 = -5*d + 141. Solve -g*f + 12 - d = 0 for f.
-4
Let u(i) = -i**3 + 2*i**2 + 3*i - 3. Let j be u(2). Let z be (-2)/(-5) - j/(-5). Solve -16 = 5*t - z for t.
-3
Let l = 9 - 6. Let r = 9 - l. Solve y = r*y - 10 for y.
2
Suppose 0*f + 4*t - 40 = -4*f, -3*t = -4*f + 47. Suppose -3*p - 2 + f = 0. Let w = 3 + p. Solve -w*i = -i - 25 for i.
5
Let l be (1/(-2))/((-2)/12). Suppose 2*d = -0*d - 4, -d + 4 = l*u. Solve -m - u = -4 for m.
2
Suppose 0 = -3*r + 4*i + 44, -3*i - 55 = -4*r - r. Suppose 3*k - t = r, -1 = -t - 6. Solve -2*y + 9 = k for y.
4
Let l(m) be the third derivative of -m**4/24 + m**3/6 + 2*m**2. Let f be l(-3). Solve -f = v - 3 for v.
-1
Let u be -4 + 8 + 0/4. Let y be u + 2/(-4)*0. Solve 1 = -3*r + y*r for r.
1
Let v = 25 - 21. Suppose 2 + 4 = 2*t. Let g = v - t. Solve 4 + g = w for w.
5
Let a(d) = 5*d**3 + 20*d**2 + 21*d + 1. Let h(w) = -w**3 - 4*w**2 - 4*w. Let i(p) = -2*a(p) - 11*h(p). Let b be i(-2). Solve -s + 1 = -b*s for s.
-1
Suppose z - 2 = 4. Let h be (-3)/2*(-10)/15. Solve -z + h = -5*w for w.
1
Suppose 1 = 4*s + 5, -4*s - 22 = -3*m. Suppose j = -2*j + m. Solve v + 2 = j*v for v.
2
Let b = 8 - 20. Let s = -7 - b. Suppose -3*w + 52 = 4*k, 0 = s*k - 0*w - w - 46. Solve -2 = 2*l - k for l.
4
Let v = -157 + 161. Solve -3*g + v*g - 4 = 0 for g.
4
Let a(r) = -r + 8. Let j be a(-6). Suppose 2*o + 3*i - j = 0, -o = -2*o + 2*i. Solve -3 + 7 = o*k for k.
1
Let g be (7 + 41)*(-4)/(-6). Suppose 5*l = -2*h + 5*h + g, 12 = -3*h. Solve -4*m + 16 = -l for m.
5
Suppose 0 = -5*m - 10, -2 = 3*q - 4*m - 10. Solve -u + q*u = -3 for u.
3
Suppose 0 = -2*m + 6 - 2. Suppose 5*w - 3*w - 8 = 0, 3*w = -2*u + 14. Let f = u + 5. Solve 5*r - f = m*r for r.
2
Let h(r) = -r**2 + 26*r + 58. Let s be h(28). Solve -18 + 8 = s*n for n.
-5
Suppose 2*d + 5*a = -3*d + 35, 4*d + 2*a = 18. Solve -3*g = -5*g + d for g.
1
Suppose n = -5*s + 2*s + 9, s - 16 = 4*n. Let v be (3/(-1))/(3/n). Suppose -a + v*a = 56. Solve 5*p = a - 3 for p.
5
Let s = 4 - 3. Let t = 5 - s. Solve -2*b = -t*b + 2 for b.
1
Suppose 1 = -3*t - 5. Let c be t*((-27)/(-2))/(-3). Solve c = -2*p - 1 for p.
-5
Suppose -4 = -g - 2. Suppose -2*d = g*d + 8. Let w = d - -9. Solve -w*a + 2*a = -10 for a.
2
Let f = -14 + 20. Suppose 15*q - 6 = 13*q. Solve q*n + 0 = f for n.
2
Let r(l) be the second derivative of -l**5/20 - 7*l**4/12 + 4*l**2 - 2*l. Let o be r(-7). Solve p = 3*p + o for p.
-4
Let h(a) = a + 4. Let o be h(-6). Let u be o/(-2) + 5 + 0. Solve -d = -u*d for d.
0
Let g be (-6)/(-3 + (-3)/(-3)). Solve 3*k - g = 12 for k.
5
Let b(z) = -7 + 4 + 3 - 4*z. Let i be b(-1). Solve 6 = i*r - r for r.
2
Suppose -4*q + 50 = 10. Suppose -4*w + 0*w = -5*z + 24, 3*z + 2*w = q. Solve 0 = 4*p + z for p.
-1
Suppose 4*b - 18 + 2 = 0. Let u = 13 + -8. Suppose 23 = b*x - u. Solve -x = 5*w - 2 for w.
-1
Suppose -3*j + j + 10 = 0. Suppose 4*h - 5 = 2*h + d, 0 = j*h - 3*d - 12. Suppose 0 = -h*a - a + 4. Solve a = u - 0*u for u.
1
Suppose 0 = 3*q + 2*g - 5, -3*q + 8 = 4*g + 1. Suppose -2*r + q + 1 = 0. Suppose -6 = 2*t - 5*f, -t + 3*f + r = 5. Solve 3*s + 4 = -t for s.
-2
Let a be (-32)/(-18) + (-2)/(-9). Suppose -5*o = 15, 0 = -a*m + 2*o + 15 - 1. Suppose -m*z + 10 = z. Solve -z = f - 6 for f.
4
Let n be -20*(-3)/12 - (1 + 2). Solve 2*t - 6 + n = 0 for t.
2
Let t(h) = h**3 - 5*h**2 + h + 5. Let w be t(5). Suppose -r + w = -2*x, 0*r + 4*r = 5*x + 25. Solve r = 7*s - 2*s for s.
0
Suppose 3*v = 5*v - 10. Suppose 0 = -0*h - 5*h + 5*k - 5, -v*k = h - 11. Solve -3*w - 8 - h = 0 for w.
-3
Let y(f) = f**2 - 10*f + 12. Let r = 18 + -9. Let j be y(r). Solve 0*p - p + j = 0 for p.
3
Let y = -18 - -23. Suppose -y*m + 3*m = -6. Solve 0 = 2*d + m*d + 5 for d.
-1
Let z(n) = 2*n**2 - 4. Let x be z(3). Suppose 2*u - 2*v - v = 10, 4*u = 3*v + x. Solve 0 = u*i + i + 12 for i.
-4
Let c(j) be the first derivative of j**4/4 - 8*j**3/3 + 9*j**2/2 - 7*j + 1. Let o be c(7). Solve -o*r = -2*r for r.
0
Suppose -4*b + 6*b - 2 = 0. Let i = b - -1. Solve 4*v - i - 2 = 0 for v.
1
Let m = 14 - 14. Solve o = -m*o - 2 for o.
-2
Suppose -2*j = 3*j. Suppose 0 = -4*x + n + 14, 0*x - 5*x + 16 = -2*n. Let f be (-6)/21 + x/14. Solve f = -j*p + p + 2 for p.
-2
Let p = -51 + 54. Solve 0 = -p*t + 2*t - 5 for t.
-5
Let r(h) = -3 + 7 + h - 6. Let t = -6 - -10. Let p be r(t). Solve -q - q = p for q.
-1
Let x(y) = -2 + y + 11 - 1. Suppose -3*a + 0*a + 20 = -4*s, -a + 36 = -5*s. Let z be x(s). Solve z*t = -t + 1 for t.
1
Let s = 2 - 0. Solve -s*x = 3*x + 25 for x.
-5
Suppose -2*y - 25 = -0*y - 3*o, -3*y - 4*o = 63. Let l = y - -29. Solve 2*c = 6*c - l for c.
3
Let w = -12 + 14. Let h be w - (-3)/(6/8). Solve -5*k + h = -14 for k.
4
Suppose -17 = -2*k - 3*f, k = f + 6 + 5. Let d = -10 + k. Solve 2 = -d*g + 2*g for g.
1
Let a(x) = x + 12 + 2*x**2 + 2 + 6 - x**2. Let o be a(0). Let r = 37 - o. Solve 2*s - r = -7 for s.
5
Suppose -13 = -5*a + k + 8, 4*k - 1 = 3*a. Solve a = n - 0 for n.
5
Suppose -4*v = -4*i - v + 283, 4*i - 277 = 5*v. Let j be i/5 + (-10)/(-25). Solve -j = 3*u - 6*u for u.
5
Let n = -5 - -19. Suppose -5*s = -6 - n. Suppose -s*d + 8 = -4. Solve -d*p + 5*p = -10 for p.
-5
Suppose -3*r = 2*a - 5, 3*a - a - 2 = -2*r. Suppose -2*w = -r*w - 2*t + 1, 3*t = -3*w + 6. Solve 0 = b + w*b - 12 for b.
3
Let r(n) = -n**3 - 3*n**2 + 2*n - 5. Let g be r(-4). Let x be 0 - (2 + -1 - 5). Solve 5 = g*a - x for a.
3
Let g be -3 - (-1 - 2)*1. Let s = -16 - -11. Let x(h) = h**3 + 6*h**2 + 4*h - 2. Let b be x(s). Solve 6*y - b*y = g for y.
0
Let u be 21/(-14)*(-1 + -1). Suppose 6*t = u*t. Solve t*v = 3*v + 3 for v.
-1
Let y = 2 - -3. Let q = y + -1. Solve -8 = -q*c + 12 for c.
5
Suppose 0 = -5*x - 2*f + 26, -2*x + 2*f + 2*f = 4. Solve 5*g + x + 1 = 0 for g.
-1
Let g(w) = -3*w + 8. Let j be g(-6). Let m = -56 + 78. Suppose j = 3*t - 2*n, -3*t + n + 6 = -m. Solve 0 = 5*b + t for b.
-2
Let f be 1 + 0 - (-2 + -1). Let q be 63/13 + f/26. Solve 20 = -5*c - q for c.
-5
Suppose 16 = 4*f, -4*f - 37 = -5*d - 2*f. Let k = 11 - d. Solve 0*n = -k*n + 4 for n.
2
Suppose -2*r - 1 = -3. Let w = r + 0. Solve w - 13 = -4*h for h.
3
Suppose 3*k - 2*u - 4 = 0, -5*u - 5 = -6*k + k. Suppose 5*y = k*y. Suppose y = -r - 2*r. Solve 4*x = 8 - r for x.
2
Let u(o) = o**3 - 2*o**2 - 2*o. Let t be u(3). Suppose -12*l - t = -13*l. Solve -7*v = -l*v - 12 for v.
3
Let k(f) = -f - 2. Let i be k(-2). Solve s + 2 - 4 = i for s.
2
Suppose -3*y = -2*f + 30, -3*y - 54 = -f - 3*f. Suppose 4*q - f = -2*i, -3*i + 15 = 2*q + 3*q. Suppose 3 = q*l - 12. Solve 3*g - l = -11 for g.
-2
Let z(g) = -g**3 - 10*g**2 - 9*g + 1. Let q be z(-9). Solve 0 = -2*s + 3*s - q for s.
1
Let b(g) = -g**2 - 4*g - 1. Let h be b(-3). Suppose h*a - 7 = w - 2, -w - 3*a = -15. Let v be ((-6)/7)/(3/(-21)). Solve 0 = -w*u - 9 - v for u.
-5
Suppose 5*g = -s - 705, 3*s - 685 = 2*g + 3*g. Let y be g/(-44) - (-4)/(-22). Let u be y/1 + 18 + -6. Solve k + u = 4*k for k.
5
Suppose -5*a + 16 = -q, 10*a - 4*q = 5*a + 4. Solve -a*u = u for u.
0
Let a(j) = j**2 - j. Let r be a(-1). Suppose d = -r*d - 9, 4*b = -5*d - 15. Solve b = 3*m - 0*m - 3 for m.
1
Let r(d) = d**3 + 7*d**2 + 4*d - 7. Let t be r(-6). Suppose t*g = -0*g. Solve g = -8*i + 6*i for i.
0
Suppose 3 + 1 = l. Let d(v) = v**2 - 4*v + 3. Let i be d(3). Suppose 0 = -i*o + l*o - 20. Solve -o*s + s = 4 for s.
-1
Suppose -2*r + 8 = l, 2*l - r + 6 = 3*l. Solve x = 2*x - l for x.
4
Let y(f) = -