 Let h be f(0). Suppose 0 = -s + 3*m + m, -4*s - 2*m = 0. Solve z + s - 1 = h for z.
1
Suppose 0 = -k + 2*x + 3, -4*k + 0*k + 2*x = -24. Solve 2 = -5*d + k for d.
1
Suppose -s + 4*m + 21 = 0, 0*m - 4*m = -2*s + 26. Let f = s - 2. Suppose 3*g = 9, 3*g - 6*g = -3*l + 6. Solve 0 = f*j + 2 - l for j.
1
Suppose -6*o - 109 + 151 = 0. Solve 2*d - o = 1 for d.
4
Let p(y) be the third derivative of -y**5/60 - y**4/6 - 2*y**2. Suppose -x = -2*i + 8, 5*x + 5*i + 9 = -1. Let v be p(x). Solve v*a - 4*a - 12 = 0 for a.
-3
Suppose 9*n - 91 - 17 = 0. Suppose 0 = 2*i + 3*v - 24, 4*i + i - 60 = -3*v. Suppose -4*h + 4*l = 4 + i, -l = -4. Solve h*w + 3*w = n for w.
4
Let i(x) = x + 8. Let k be (21/(-9) + 1)*3. Let h be i(k). Suppose -6 = -h*v + 2*v. Solve v*m = 6*m - 15 for m.
5
Let o = 49 - 43. Solve h = -2 + o for h.
4
Suppose j + 2*j - 15 = 0. Suppose -5*b = 20, 4*t + j*b = -0*t - 12. Solve 3*w = -t*w for w.
0
Let f(z) = -z**3 - 8*z**2 - z - 6. Let b be f(-8). Let i be 23/1 - (-1 + b). Suppose -i - 8 = -5*l. Solve 0*v = 2*v - l for v.
3
Let m be 4*(-3 - 60/(-16)). Solve -m*z = 2*z - 25 for z.
5
Let z = -20 - -23. Solve -8*k + 5 = -z*k for k.
1
Suppose 0 = 4*c - 4*l + 8, 3*c = c - l - 4. Let z be c/(-4) + (-51)/6. Let o = -2 - z. Solve -d = d - o for d.
3
Let q be 48/10 + (-3)/(-15). Solve -q = -2*v + v for v.
5
Suppose -62 = -12*t - 2. Let a = -3 - -6. Suppose -z = a*z - 4. Solve -t*s + z = -9 for s.
2
Let d(a) = a**3 - 2*a - 1. Let x be d(2). Solve -x*g - 4 - 8 = 0 for g.
-4
Suppose -2*q = -4*l + 4, 1 = -2*q + 5. Solve 0*u = -u + l for u.
2
Suppose 4*z - 5*a - 9 = 32, -5*a = -3*z + 37. Suppose 0 = 5*u + 2*t - z, -t - 2*t = -2*u + 13. Solve 0 = -u*w - 2 - 0 for w.
-1
Let u(r) = -r**3 + 7*r**2 + 9*r - 7. Let v be u(8). Let o = 4 - v. Solve 1 = -4*m - o for m.
-1
Let b(z) = z**3 + z**2 + 3. Let y be b(0). Solve -y*s = -8*s for s.
0
Suppose 5*q + 16 = -j, -3*q = -5*j + q + 36. Solve -j*a - 1 = -21 for a.
5
Let m be ((-42)/(-9))/7 - (-2)/(-3). Solve f + 3 = -m*f for f.
-3
Suppose -2*t = 3*f, -4*f + 4*t = -t - 23. Let m(w) = w**3 + 3*w**2 - w - 2. Let c be m(-3). Solve -f*u - 3 = -c for u.
-1
Let i be 8/20*-5 + (6 - 0). Solve 0*u = -2*u - i for u.
-2
Let n be (0 - 9/(-3)) + -10. Let k = -5 - n. Solve 0*u - k*u - 10 = 0 for u.
-5
Let u be (3 + -3)*(-1)/3. Solve u = -0*m - 3*m - 6 for m.
-2
Let z be 80/(-24)*9/(-5). Solve 0*s = 2*s - z for s.
3
Suppose -16 = -4*f + 4*h, 5*f + h = 18 + 2. Suppose 2*k + f*g + 2 = 0, g - 1 = 2*k - 9. Solve -5*x + 8 = k for x.
1
Let a(f) = f**3 + 5*f**2 - 6*f - 4. Let b be a(-4). Suppose -b = -2*u - u. Solve h + u = 4*h for h.
4
Let n(v) = 5 + 5 - 5*v + 4*v + 0*v. Let c be n(8). Suppose r - 4 = -f, 2*f - 14 = -2*f - c*r. Solve f*i + 6 = i for i.
-3
Let s = -1 - -14. Let b = 18 - s. Solve 3*q = b*q for q.
0
Let k = -1 - -4. Solve -c = -4*c + k for c.
1
Let d(b) = 0*b + 5*b - 3*b + 4*b. Let a be d(2). Suppose -4*n - 16 = 0, 4*z + 6*n = n - 12. Solve -z*j + a = 2*j for j.
3
Let n be (6/(-4))/((-6)/112). Suppose -8 = -i + v, 5*i - 3*v - n = -2*v. Let b be (80/2)/2 - 0. Solve -i*t + 0 = -b for t.
4
Let z(p) = p**3 + 3*p**2 + 2. Let m be z(-3). Suppose 0 = -4*u - h - h + m, 10 = -u - 4*h. Solve -2*g + 8 = -u for g.
5
Let t(n) = n**3 - 6*n**2 - 7*n + 1. Let p be t(7). Suppose 0 = 2*q + r - 1 - 1, 2*r + 5 = 5*q. Let d = q - p. Solve d = -a - 4*a for a.
0
Suppose 38 = 5*y + c + 16, 2*c = -5*y + 19. Solve 3*l - 6 = y*l for l.
-3
Let x(t) = t**3 + t**2 + t. Let k(v) = -4*v**3 - 18*v**2 - 4*v - 10. Let i(s) = k(s) + 5*x(s). Let y be i(13). Solve -y*u = -8*u for u.
0
Let u be 1/(-2 - (-2 - -1)). Let r = u - -2. Let t = 7 - r. Solve -p - p = -t for p.
3
Let c = -7 - 2. Let d = c + 9. Solve 2*p - p = d for p.
0
Let a(v) = -v + 3. Let p(d) = -2*d + 5. Let x(o) = 5*a(o) - 3*p(o). Let c be ((-2)/4)/((-2)/16). Let b be x(c). Solve b*y + 9 - 1 = 0 for y.
-2
Let x(z) = -22 + 30 - 7*z + 3*z**3 - 2*z**3 + 7*z**2. Let b be x(-8). Solve -2 = 2*n - b*n for n.
-1
Suppose 4*y + 0 = -0. Solve x = -y*x for x.
0
Let q be (1 + 2/(-6))/((-9)/(-81)). Solve q*a - 4 = 7*a for a.
-4
Let s(m) = 0 + 6 - 4 - m**2. Let p be s(0). Solve -2*l = p*l - 8 for l.
2
Suppose -4*p = -0 - 40. Let u = p - 5. Let b = -11 + 22. Solve u*x = -b - 9 for x.
-4
Suppose 2*m - 34 = -2*u, 0 = 2*m - 3*u - 7 - 17. Suppose 0*v - m = 3*v. Let z be (-5 - v)*(-1)/(-2). Solve -n + 3 = -z*n for n.
3
Suppose -h + 4*h + 9 = 0. Let a be (-6)/(-9) + (-43)/h. Solve -n = -4*n - a for n.
-5
Let f = -183 - -184. Solve 9 = -2*x - f for x.
-5
Let t = -5 - -8. Suppose 1 = 2*g - t. Suppose -5 = -3*i + 2*i. Solve -i*b + g - 22 = 0 for b.
-4
Suppose r = 4 - 3. Let a(l) be the third derivative of l**5/60 + l**4/8 + l**3/6 - l**2. Let w be a(-4). Solve r = -w*y - 14 for y.
-3
Let d(z) be the first derivative of z**4/4 + 2*z**3 + 5*z**2/2 + 5*z - 3. Let p be d(-5). Suppose -p*q = -4*q. Solve q = 3*b - 4 - 2 for b.
2
Suppose -z + 3 = w - 0, -3*z = 5*w - 17. Suppose 3*v + 6*d - 3*d - 15 = 0, 18 = 2*v + w*d. Solve -2*i = -3*i - v for i.
-1
Let d(u) = 5*u**2 + 2*u + 1. Let p be d(-1). Suppose 0 = p*o - 31 - 21. Solve 0 = -4*a + o + 3 for a.
4
Let i(x) = 2*x + 31. Let t be i(-13). Solve w + t = 4 for w.
-1
Suppose -31 = -10*k - 11. Solve z = -k*z - 15 for z.
-5
Let x(w) = -5*w + 1 - 7 + 3*w. Let p be x(-5). Solve 5 = p*c - 3 for c.
2
Suppose 3*x + 0*y + 3*y = 12, -y = -4. Solve -2*g = -6 - x for g.
3
Let o(t) = t**2 - 3*t - 1. Let l be o(3). Let j be 0 - (-1 + l + 0). Suppose -5*h + 17 = -n, -12 = -5*h + j*n + 7. Solve -h*y + 0*y - 6 = 0 for y.
-2
Suppose -4*j + 4*f = 0, -5*j = -3*f + 6*f - 24. Solve j*m - 3 = 4*m for m.
-3
Suppose 3*f = 5*f. Suppose -k + 0*k + 6 = 0. Suppose -j + k*j - 40 = f. Solve -6*w - j = -4*w for w.
-4
Let p = -3 + 3. Let b(c) = c - 4. Let z be b(8). Suppose -2*v = -i - z - 11, -5*i = v + 20. Solve p = -v*x + 2*x for x.
0
Let m = -16 - -17. Suppose -h + 36 = w + 2*h, -4*w + 3*h = -69. Let r = -14 + w. Solve -3*p = -r + m for p.
2
Let p(q) = -q + 5. Let f be p(4). Let d = f - -2. Solve 6*s - d*s = 12 for s.
4
Let n = 0 + 1. Let f = -1 - n. Let r be 3 + f/(-4)*0. Solve 0 = -m + r*m - 8 for m.
4
Let k = -8 - -4. Let n be (-16)/k - (0 + 1). Suppose -5*f + 9 = -n*f - 3*h, -3*f = 5*h - 4. Solve 5 + 7 = f*b for b.
4
Let j = 10 - 10. Suppose -2*t = -2*x + 18, 2*t = -3*x + 7 - j. Solve 0 = -q + x*q + 12 for q.
-3
Let v be 5/1*16/5. Suppose 5*t + v = -3*x + 43, 0 = 5*t - 15. Suppose x + 2 = h. Solve h = 4*g - 2*g for g.
3
Let q be 46/2 + (2 - -1). Suppose 4*v + q = -10. Let f be -2 + 9 + v/3. Solve -f*g - 25 = g for g.
-5
Let f = 10 + -8. Suppose -h - 13 = i + 2*h, h = -5. Solve 0 = -c - i - f for c.
-4
Suppose 11*m - 19 = 47. Solve 0 = -2*s - s - m for s.
-2
Let j be 9/6 + 24/(-16). Suppose v + 4*v - 15 = j. Solve 0 = -z + v + 1 for z.
4
Suppose 2*y - 4*p = -2*p - 16, -2*y - p - 4 = 0. Let f be 2 + 4 + -2 + y. Suppose -3*q + 13 = -5*x, -5*q + 5*x + 18 = 3. Solve q = -d - f*d for d.
-1
Suppose -4*a = -a - 3, 4*y + 2*a - 22 = 0. Suppose y*x - 30 = 5*q, 4*q + 9 = x - 0*q. Solve v - x*v = 16 for v.
-4
Suppose 0 = 8*y - 5*y + 18. Let x be y*((-1)/(-3) - 1). Solve -x*a + 6 = -6 for a.
3
Let o be (-2 + (-24)/(-9))*27/6. Solve -6*s = -o*s - 3 for s.
1
Suppose -j + 11 = 1. Let d(f) = -f**3 - 2 - 1 + 2*f**3 + 2*f**2 - 4*f. Let y be d(-3). Solve 2*n + 3*n - j = y for n.
2
Let s = -11 + 12. Let o be 10/4*(3 - s). Solve -3*l = 2*l - o for l.
1
Suppose -s - 2*s = -36. Suppose -3*q + 5*i + 13 = -s, -15 = -5*q + 3*i. Let b = 1 - q. Solve -4*d + 3 = -b for d.
1
Let f(b) be the first derivative of b**2/2 + b - 3. Let n be f(4). Solve 4*z = n - 25 for z.
-5
Suppose -3*g - 2*d = 5 + 16, 3*g - 5*d = 0. Let p be (-4)/(-5)*g/(-2). Solve -p*i + i = 5 for i.
-5
Let f be (-4)/(-14) - 12/(-7). Suppose -x + l = -5, 4*x + 0*l = -f*l + 14. Solve 0 = -x*n + 7*n for n.
0
Let n(j) = j**3 - 19*j**2 + 19*j - 9. Let h be n(18). Solve -h = k - 4*k for k.
3
Suppose 4*c - 54 = 2*n, 47 = 2*c + 5*n - 2*n. Suppose 3*m + m - c = 0. Solve 0 = -m*b + 4 + 4 for b.
2
Suppose -l = -3*p + 13, 5*p - 3 = 2. Let f be 10/(-25) - 114/l. Solve 3*z = -4 - f for z.
-5
Suppose 5*o + 14 = -3*m + 38, 4*o - 5*m + 3 = 0. Let h be -3*o/(-12)*8. Let x be (-3)/2*(-80)/h. Solve 3*r = -r - x for r.
-5
Let i = 19 + -18. Solve 6*t - i = 5*t for t.
1
Let u(p) = -9*p**2 - 7*p -