.
5
Let x(p) = -10*p**3 - p**2 + 1. Let u be x(1). Let s be (-3)/15 + (-42)/u. Solve s*f - 2*f = -2 for f.
-1
Let d be 7 - (4 - 2 - -1). Suppose d*g = -0*g. Solve 2*l + 3*l + 5 = g for l.
-1
Let h(s) = -s**3 + 5*s**2 + 7*s - 4. Let z be (-21)/(-49) + 39/7. Let l be h(z). Solve 1 - 5 = -l*g for g.
2
Let x be 31/3 - 12/36. Let l = x - 5. Solve 0 = -l*s + 3*s for s.
0
Suppose -y - 3*h - 9 + 28 = 0, -4*h + 2 = -y. Let s = 12 - 6. Let r be (-1 - 2)/(6/(-8)). Solve -s*j + r*j - y = 0 for j.
-5
Let p be ((-28)/(-5))/((-6)/(-15)). Let z = p - 8. Solve -2*j = -0*j + z for j.
-3
Let j be (-1)/(-2) - 2/(-4). Let p be (0 + (0 - -2))*j. Suppose -12 = 2*m - 5*m. Solve 0*t - m = -p*t for t.
2
Suppose -5*z = 71 - 86. Solve -l - z = -0*l for l.
-3
Suppose 3*z = 8*z. Suppose 25 = -z*j + 5*j. Solve j*s - 8 + 3 = 0 for s.
1
Let b(w) = -4*w + 12. Let t be b(2). Solve 4*q = 6*q + t for q.
-2
Suppose 0 = 5*u - 5*z - 30, -5*z - 7 = 3. Solve -7 + 3 = -u*j for j.
1
Suppose -4*s + 2*n = -8*s + 10, -s + 3*n + 13 = 0. Solve -18 - 2 = s*q for q.
-5
Let j(a) = -a**3 + 1. Let x be j(2). Let u = x + 12. Solve 0 = 3*g - 4*g - u for g.
-5
Suppose 3*r + 4 = 2*v, -r - 5*v = 3*r - 33. Solve r = k + 6 for k.
-4
Let z = -37 + 42. Solve -27 = z*d - 2 for d.
-5
Let x = -14 + 19. Solve x*d - 16 = 9 for d.
5
Let y(w) = w**3 - 21*w**2 - w + 23. Let m be y(21). Solve m*b = -0*b + 4 for b.
2
Let y be (-3)/(-18) - 92/(-24). Let w = y - 1. Solve 0 = -0*x + w*x - 3 for x.
1
Suppose -31 = -4*b + 17. Suppose 0*o - 3*o = -b. Solve o*h = -19 + 3 for h.
-4
Let c be 12/(54/16 - 3). Suppose -2*s - 5*v + 10 = -0*s, 0 = 4*s - 3*v + c. Let d(w) = w**3 + 6*w**2 + 6*w + 7. Let f be d(s). Solve -f*z - 2 = -10 for z.
4
Let g(x) = -x**3 - 9*x**2 + 23*x + 11. Let u be g(-11). Solve -2*n - 8 + 0 = u for n.
-4
Suppose 4 = c + 2. Let n(y) = y**2 - y + 1. Let h be n(1). Let a = 3 + h. Solve -c*p + a*p = -2 for p.
-1
Suppose 0 = 3*a - 0*a. Solve l + 4*l = a for l.
0
Let o(c) = 3*c - 4. Let n be o(3). Suppose -6*b - 4*l + 20 = -4*b, n*b = -4*l + 26. Suppose -b*a - 2*a = -8. Solve -16 = a*r - 6 for r.
-5
Suppose -3*f = -8*f + 10. Let m be 2*(2/2 + 1). Let i = m - f. Solve i = -v + 3 for v.
1
Let c be 16/(-32) + 46/(-4). Let r be 60/(-8)*8/c. Solve 3 = -r*j + 23 for j.
4
Let b be (-182)/(-56) + -1*3/12. Solve -l = -b*l + 4 for l.
2
Let c = -9 + 14. Suppose -5*x + 20 + c = 0. Solve -10 = -x*y - 35 for y.
-5
Let o(z) be the third derivative of z**5/60 - 7*z**4/24 + z**3/3 + 2*z**2. Let n be o(7). Solve -n*g + 4 = -4 for g.
4
Let a = -20 + 34. Solve 0 = 4*n - 6 + a for n.
-2
Let j = -4 + 4. Suppose 4*a - 5*l = 27, 0 = -a + 3*l - 8*l + 38. Solve 4*c - 1 + a = j for c.
-3
Let k(s) = s**2 - 4*s - 1. Let l be k(5). Solve d = -0*d - l for d.
-4
Let t(j) be the third derivative of j**4/24 - 4*j**3/3 + 10*j**2. Let g be t(10). Solve 0 = -4*a - 10 + g for a.
-2
Suppose 0 = 3*n - 6*n + 54. Suppose 5*g + s + 38 = 0, n - 3 = -5*s. Let w(t) = -t - 7. Let d be w(g). Solve -c + 5 = -d*c for c.
5
Suppose -4*w - 16 = 4*f, -5*f + 1 = -5*w - 19. Let d = 24 - 20. Suppose d*h - h = f. Solve h = -k + 1 + 2 for k.
3
Suppose 17*n - 412 + 157 = 0. Solve 2*s + n = -3*s for s.
-3
Let k(o) = -o**2 + 11*o + 24. Let c be k(12). Solve 5*z - z = c for z.
3
Let l be 9 + (1 - (-3 + 1)). Solve 2*c + c = l for c.
4
Let l be 0 - 3 - (0 - 1). Let q be (-1)/l - (-33)/2. Suppose 5*s + 3*t - q = 0, 2*s - t = -0*s + 9. Solve 0 = -s*g - 1 - 3 for g.
-1
Let z(k) = k**2 - 2*k. Let g be z(0). Suppose t = -d, -4*t - 5*d + g = 3. Solve 0 = -l - t for l.
-3
Let h(k) = 4*k**2 - k + 1. Let c be h(2). Let f be 12/42*-1 - (-136)/(-14). Let v = f + c. Solve v*a + 0*a = -25 for a.
-5
Suppose 5*x - 16 - 4 = 0. Let r = x - -2. Suppose l = r + 4. Solve -2*v = -0 - l for v.
5
Let r = 29 + -19. Suppose n - 5*k = -4*k + 17, 5*n - k - 77 = 0. Let h = n + -10. Solve -3*b = -h*b - r for b.
-5
Suppose 0*w + 7 = -2*w - 3*p, 5*w + p + 24 = 0. Let m = w - -8. Solve m*c + 3 - 12 = 0 for c.
3
Suppose 4*l - 40 = -0*l + 4*b, -2*l = 3*b. Suppose 5*h + 4*o - 59 = -0*h, 0 = h - 4*o - 31. Solve l*a - h = a for a.
3
Let a be 1*(-6)/(-1) - 2. Let v = a + -1. Solve 0 = v*d + 2*d + 15 for d.
-3
Let a = 16 + -12. Suppose 2*f - 2*n = -n + 10, 4*f - 3*n = 24. Let t = f + -3. Solve t = a*h + 3 + 13 for h.
-4
Suppose -5*j + 7*j = 2*r, -2*r = 3*j. Solve 4*s - s = j for s.
0
Let h(g) = -2*g + 14. Let c be h(10). Let w be -40*(-1)/c*-3. Solve w = -2*r - 2*r for r.
-5
Let r = -21 - -24. Suppose 0 = -3*o + 5*q + 31, 4*q = -2*o - r - 13. Solve o*s - 7 = 3 for s.
5
Let w(a) = -a**3 - 5*a**2 - a - 3. Let j be w(-5). Let p be (-8)/j*1/(-2). Suppose -2 = 2*r + y + 3*y, -2*y + 4 = 2*r. Solve -r*d + p - 7 = 0 for d.
-1
Suppose 0*m - r + 1 = -m, 2*m - 5*r = -14. Solve 0 = j + m + 1 for j.
-4
Suppose r = 3*r - 10. Suppose -r*u + 17 = -13. Let k be (u - 7)/((-2)/2). Solve k + 2 = -3*g for g.
-1
Suppose v = -0*v + 3. Suppose -v*u = -2*u. Solve -1 = -n - u*n for n.
1
Suppose 2*v = 5*n - 7, v + 4*n - 16 = -0*v. Solve -4*k + v - 12 = 0 for k.
-2
Let p = 24 - 12. Suppose -2*w = -0*w + 2*a - 46, 4*w - 2*a - 98 = 0. Suppose 0 = -5*u + 5*k + 22 + 18, -u + w = -5*k. Solve 0*c - u*c = p for c.
-3
Let y(k) = 3*k**2 - k + 1. Let v(c) = c - 2. Let b be v(3). Let o be y(b). Solve -2*t = -o + 1 for t.
1
Let g = -2 - 3. Let p be -4*(10/4)/g. Solve 2*t + 0*t + p = 0 for t.
-1
Let d(y) = -y - 3. Let x be d(-11). Let v be (-2)/(-8) - (-62)/x. Solve -v + 4 = -c for c.
4
Suppose -5*d = -8 - 27. Suppose 0 = -2*w - 4, 5*s + 4*w + 4 = -4. Solve -d*p + 2*p - 15 = s for p.
-3
Let b = -16 - -19. Solve 1 = z + b for z.
-2
Let q be 6/8 - (-29)/4. Let s be (0 + 0)/(q + -6). Solve 5*z + 20 = -s*z for z.
-4
Let l(r) = -2*r. Let i be l(-1). Let h(u) be the second derivative of u**4/12 + u**3/2 + u**2/2 - u. Let j be h(-4). Solve j*b = i*b - 6 for b.
-2
Let q be (-7)/(-2) - 2/(-4). Suppose -5*d + 16 = -q. Suppose 2*n - 6 = d*y, -n - y + 9 = 2*n. Solve -6 = n*k - 5*k for k.
3
Let l = 0 - -1. Suppose 3*a = 18 - 0. Let j = a - l. Solve -7 = j*w + 3 for w.
-2
Let c(o) = -2*o**3 - 2*o**2 - o. Let z be c(-1). Let v be ((-6)/(-12))/(z/40). Solve x + 4*x + v = 0 for x.
-4
Let j = 5 - 2. Let b be (-4)/(-12)*(-6)/2. Let k be 2/b - (-14 - 1). Solve 5*m = j - k for m.
-2
Let i be 2/(4/6) - 1. Suppose i*k - 40 = -3*k. Suppose k = 4*s + 2*z, 0*s + 3*s - 6 = -z. Solve w - 3 = s for w.
5
Suppose 0*c - 5 = -5*c. Let i be (1 - c) + 2 - -6. Suppose -3*x + 50 = i. Solve -x = -2*r - 4 for r.
5
Let h = -44 - -48. Solve -h = -2*b - 0 for b.
2
Suppose -5*w = -0*w. Suppose -4*o + w*o + 3*s = -28, 3*o - 4*s = 28. Solve -2*u + 0*u + o = 0 for u.
2
Let k(n) = 12*n + 14*n + 14 - 41*n + 14*n. Let q be k(8). Let l = -2 + 5. Solve -l*u = -u - q for u.
3
Let h(p) be the third derivative of p**5/30 + p**4/6 + p**3/2 - 2*p**2. Let g be h(-2). Solve 0*c - g*c = 15 for c.
-5
Suppose 8 - 5 = x. Suppose x*a + 2*a = 20. Solve -4*i - a = -0 for i.
-1
Let p be 1/5 + (-48)/(-10). Suppose -p = -5*n + 5. Solve -c - n*c = -9 for c.
3
Let t(r) = 2*r + 2. Let j be t(-1). Solve 0 = -j*x + 4*x + 12 for x.
-3
Let y = 17 - 21. Let p be 5 + (y - -1) - 2. Solve p*u = 5*u - 10 for u.
2
Let j(i) = 0 + 2 + 4*i - 5*i - 3. Let n be j(-4). Solve -2*y - n = -y for y.
-3
Suppose -2 - 8 = -2*q - k, k = 2. Solve 0*i - q = 2*i for i.
-2
Let x be -1 + 0 + (-2 - -3). Suppose f + 4 - 5 = x. Let r = f - -3. Solve 0 + 4 = -r*i for i.
-1
Let t(z) = 2*z**2 - 5*z - 3. Let b be t(4). Suppose 4*f + c = -0*f + 15, b = -2*f + 5*c. Solve -f*w - 2 = 4 for w.
-2
Suppose 0 = -4*d - l + 13, d + 0 + 13 = 3*l. Solve 2*m + d = 4*m for m.
1
Let w = -22 - -37. Let f = 16 - w. Solve -5*z = 11 - f for z.
-2
Suppose c + 2 = 5. Let r = -55 + 14. Let j = -25 - r. Solve -c*x - x = -j for x.
4
Let q be (-8)/20 + 22/5. Solve -m - 25 = q*m for m.
-5
Let g(p) = 20*p**3 - 2*p**2 + 1. Let f be g(1). Let n = f + -12. Let z be ((-3)/9)/((-3)/36). Solve z*u + 3 = n for u.
1
Let c be (-16)/2*(-4)/8. Solve c*a + 6 = a for a.
-2
Let g(b) = 4*b**2 + 1. Let a be g(-1). Let d(m) = -3*m - 25. Let i be d(-9). Solve i*y - 5 - a = 0 for y.
5
Let x be 0 - -1 - (-2)/(-2). Let v = -17 - -18. Suppose v = -2*l + 7. Solve -k + l*k - 2 = x for k.
1
Let k be (50/(-15))/(4/(-6)). Suppose 2*p - 32 = 3*u - k, -15 = -5*p - 3*u. Let j = -6 + p. Solve -o - o = j for o