.
3
Let b be (-7)/(-4) + 3/12. Suppose -3*p - 1 + 7 = 0. Solve p*w - 2 = b for w.
2
Suppose 4*p - 3*s - 34 = -15, 4*s - 16 = -5*p. Let k be (-1)/(p/(-26))*4. Suppose 5*q = 4 + k. Solve j - q = -j for j.
3
Let n = -28 + 94. Suppose 5*o + 5*b - 75 = 0, -o + 2*b = 3*o - n. Solve 0 = -4*d - 0*d + o for d.
4
Let c(k) = -k**3 + 3*k**2 + k + 4. Let o be c(4). Let f = -19 + 10. Let q be o/((-3)/(f/(-2))). Solve 3*i = -q - 3 for i.
-5
Suppose 1 = k + 4*q, -q - 19 - 7 = -5*k. Solve k*w + 18 = -7 for w.
-5
Let w be -60 - (-3 - 0 - -3). Let l be w/(-25) + (-4)/10. Solve -l = f - 0*f for f.
-2
Let b = -34 + 40. Solve -b*j = -4*j for j.
0
Let k be (-8)/((-2 - (-5)/2) + -1). Solve -3*s + k = s for s.
4
Let n = -5 - -4. Let k be 0/(n/(2/(-2))). Let u be k/(0 - 1*-2). Solve -c - 3*c = u for c.
0
Let b(z) = -28*z**2 - z + 7. Let n(s) = 14*s**2 + s - 4. Let h(i) = -3*b(i) - 5*n(i). Let o be h(-1). Let t be (-36)/(-10) + 6/o. Solve 6*d + 10 = t*d for d.
-5
Let d = 8 - 5. Solve 12 = -d*x - x for x.
-3
Let z(a) = -16*a**3 - a**2 + 1. Let l be z(-1). Suppose 5*k = -p + 20, 2*p = -k + 7 + 6. Solve -x = -p*x - l for x.
-4
Let u(w) = -2*w**3 - 2*w**2 + 3*w + 3. Let n be u(-2). Let i be 2 + (2 - 1) + -1. Suppose -c = i*c - 30. Solve -n*d + 5 = -c*d for d.
-1
Let j(k) be the first derivative of 1/2*k**2 + 2*k - 1. Let i be j(2). Solve -10 = i*f - 2*f for f.
-5
Suppose 10*z - 13 = 27. Solve z = -3*v + 1 for v.
-1
Suppose o - t = 39, 0 = 2*o + t + 27 - 114. Let f = o + -24. Let l = f + -11. Solve -17 = 2*c - l for c.
-5
Let r(g) = g**2 + 11*g + 6. Let b be r(-12). Suppose -10 = -2*m + b. Solve 0 = -5*z - 4 + m for z.
2
Let r be (-4)/(-18) + (-6)/27. Let l be (1 - (-6 - r)) + -2. Solve 0*o + o = -l for o.
-5
Let z = 1 - 1. Solve z*h = 2*h for h.
0
Let c(k) be the second derivative of k**4/12 - k**3 - 2*k**2 + k. Let m be c(7). Suppose -s - 6 = -3*b, m*s - 8 = -3*b - b. Solve 2*q + s*q = -2 for q.
-1
Let z be (-40)/5*(-3)/4. Let o = z - 0. Solve 0 = o*d - d for d.
0
Let l(x) = 7*x**3 - x**2 - 4*x - 6. Let i(h) = h**3 - 1. Let w(s) = -6*i(s) + l(s). Let t be w(3). Solve -t - 3 = 3*u for u.
-3
Let i = -35 - -37. Solve -7*w + i*w = 0 for w.
0
Let n be 5/(15/4)*15/10. Solve -q + 7 = n for q.
5
Suppose -2*c + 10*c - 24 = 0. Solve 0 = -s - c*s - 8 for s.
-2
Let u be (-4 + 2)/(4/(-22)). Suppose -2*s + 2*y + 16 = 6, 4*s + 5*y - u = 0. Suppose f - s = -f, -f = 4*q - 2. Solve h - 3*h + 10 = q for h.
5
Suppose 3*d = -x + 18, 0 = -3*d + 3*x + 25 - 7. Suppose -2*g - 4*l + 10 = 0, 2*g = -l - 0 + 1. Let n = g + 3. Solve -d - 2 = -n*i for i.
4
Let s = 1 + 1. Solve -4 + 12 = -s*v for v.
-4
Suppose -4*f - 19 = -75. Solve -f = -5*l + 6 for l.
4
Let l = 11 - 9. Solve l*j - 4*j = -2 for j.
1
Let i be (-6)/(-27)*6 + (-16)/(-24). Solve i*t - 20 = -2*t for t.
5
Suppose -5*w = -10*w. Solve w = -0*v - 5*v + 10 for v.
2
Let f be (-3)/(-2) - 6/4. Solve -3*n + 8*n = f for n.
0
Let c(s) = s**2 - 2. Let r be c(0). Suppose 5*h + 1 = x + 32, 5*x + 55 = 5*h. Let b be (x/(-4))/(r/(-4)). Solve b*v - 6 = 5*v for v.
-3
Suppose -2*k + 3*k + 3*z = 9, 3*k = 4*z + 14. Let w be (k/1 + -2)*4. Solve -5*l + w = -l for l.
4
Let w(z) = -z**2 + 4 + 1 - 4*z + 0 + 0. Let r be w(-5). Solve r = 4*l - 1 + 5 for l.
-1
Suppose -12 = -4*t, -2*t + 9 = 2*z - 5. Solve 3*x = -z + 16 for x.
4
Let d be 1 + 4 + 1*-2. Let i(j) = j + 8. Let p be ((-6)/(-1))/(3/(-4)). Let v be i(p). Solve -w + v*w - d = 0 for w.
-3
Let q(v) = -v**3 - 6*v**2 + 6*v - 5. Let a be q(-7). Solve -a*k - 2*k = 20 for k.
-5
Let r(c) = c**2 + 5*c + 9. Let n be r(-6). Suppose 2*b - 5*b = 0. Suppose -5*j = -b*j - n. Solve -j*w - 8 = w for w.
-2
Let r be -1 + 2 + (9 - 6). Suppose -r*s = -6*s - 4*o + 40, 100 = 5*s - 3*o. Solve -3*v = 2*v + s for v.
-4
Let p = 4 + 0. Suppose 2*j - 3*w + 8 = 0, -36 = p*j - 0*w - w. Let m be j/(-4) + 2/(-4). Solve -q - m = -0*q for q.
-2
Let c be 35/15 - 1/3. Solve 8 - c = -3*x for x.
-2
Suppose 96 + 9 = -3*i. Let o be (-218)/(-14) - (-20)/i. Solve -5*x + 0 = o for x.
-3
Suppose 0 = -10*x + 21*x - 11. Solve -l = -x + 5 for l.
-4
Let h = 7 - 3. Suppose -h = -0*y - y. Suppose y*u - 9 = -1. Solve 0 = u*s + s for s.
0
Suppose 7*n - 2*n + 5*c + 115 = 0, 95 = -5*n - c. Let w = -15 - n. Solve 3*y = 9 + w for y.
4
Let d(g) = g**2 - 21*g + 4. Let q be d(21). Solve 0 = q*v - 4 for v.
1
Suppose 0*y - 9 = 3*f - 2*y, 3 = -f - 2*y. Let b be 6 - (3 - (f - -4)). Let p be -1 + 12 + (2 - b). Solve -t - p = -4*t for t.
3
Let n(t) = -t**2 - 9*t + 10. Let u be n(-10). Solve 2*i = -u*i + 10 for i.
5
Let q = -1 + 2. Suppose -2 - q = -3*l. Solve 2 = z + l for z.
1
Let y = -5 + 12. Suppose 0*k = -b - 3*k + 19, -2*b + 3*k - y = 0. Suppose -4*x + 20 = 3*i, 0 = -0*x - b*x - 5*i + 28. Solve x*h + 1 = 7 for h.
3
Suppose -6*g - g + 91 = 0. Solve -g + 3 = -2*m for m.
5
Let u be 4/(-2 - -3) - 1. Solve 0 = d - 2 - u for d.
5
Suppose 2*h - 12 = -0*h. Suppose -3*j + h = -j. Suppose -7*v + j*v + 64 = 0. Solve -i = -5*i - v for i.
-4
Let w be 64/8 + -1*4. Solve w = -c + 5 for c.
1
Let n = 2 + 12. Solve 0 = -5*y + 39 - n for y.
5
Let t be (60 - 56)*(-1)/(4/(-3)). Solve t*f + 1 = 16 for f.
5
Let a be (48/(-9))/(4/(-6)). Let x(f) = f - 6. Let d be x(a). Suppose 2*r + 6 = 3*q - d*r, -4*q - 3*r = -8. Solve -q*h = 7 + 3 for h.
-5
Let r = 1 - 11. Let h(z) = -z**2 - 11*z - 5. Let o be h(r). Solve 0 = -o*s - 0*s for s.
0
Let g = 2 - -2. Suppose 2*l = h - 6 + 1, -5*h = 4*l - 25. Suppose 3*r + r - 16 = l. Solve 2*v - r = g*v for v.
-2
Let d = -3 - -3. Suppose -5*z + 2 = 3*v - 2, -4*z + 2 = 3*v. Suppose z*n - 4 = 4*h - 20, 19 = 5*h - 3*n. Solve -10 = -h*c - d*c for c.
2
Let v be (-1 + 4)*(-1 - -2). Let t(o) = 7*o**2 - 8*o + 3*o - 3 - 2 - o**3. Let g be t(6). Solve g = 4*r - v for r.
1
Let u(l) = 4*l**2. Let j be u(2). Let q be (-3)/(-3 + 0)*-10. Let w = j + q. Solve 19 = -5*x - w for x.
-5
Suppose 46 = 5*t + 2*c, -4*c - c = t. Let y = t + -10. Solve 2 = -d - y for d.
-2
Let d = -26 + 34. Solve -5*s = -s - d for s.
2
Let f be 2/(-6) + (-22)/6. Let x(z) = -z - 1. Let l be x(f). Suppose -l*k + 6 = -3*j, -2*k = 5*j - 8 - 10. Solve k*h - 3 = 3*h for h.
3
Suppose -4 = -4*o, 2 + 2 = w - 5*o. Let h(v) = -v**3 + 8*v**2 + 9*v + 2. Let a be h(w). Solve 0 = u + a - 3 for u.
1
Let x = -69 - -75. Solve y - x + 2 = 0 for y.
4
Let x be (-1 - 1)/(5/10). Let z be (2 + -3 + 0)*x. Solve 4 = -2*w + z*w for w.
2
Suppose 22 = 4*y + f, 5*y - f = 4 + 19. Suppose 5 + 5 = y*b. Solve -3*z + 5 = b for z.
1
Suppose 2*a + 5 = -2*q + 13, 0 = a - 3*q + 4. Suppose -3*b - b = -8. Suppose b*g = 8 - a. Solve g*s - s = -2 for s.
-1
Suppose 10 = 4*d - 10. Suppose -p = -3*o - 1, -d*o - 15 = -2*p - 3*p. Solve -6*n = -2*n - p for n.
1
Suppose 4*j - 3 = 17. Suppose 5*o - j = -4*l, -l + 2 = 2*o - 5*l. Solve b + o - 2 = 0 for b.
1
Let o = 0 - -22. Solve -4*v + 6 - o = 0 for v.
-4
Suppose -52 = -5*t + 48. Solve -t = -0*p + 4*p for p.
-5
Let j be (-70)/(-30) + 4/6. Solve 5*l - 2 = j for l.
1
Let p = 27 + -22. Solve 5*q = p - 20 for q.
-3
Suppose 5*l - 4*y + 21 = -6, 0 = 4*y - 12. Let k be l/(-2)*(-2 + 4). Solve -20 = -2*s - k*s for s.
4
Suppose 4*h - 4 = 8. Solve -s + h*s + 2 = 0 for s.
-1
Suppose 3*m - 5*v - 34 = 0, 5*v = -9*m + 4*m - 10. Solve -m*n - 1 = -2*n for n.
-1
Let v(z) = -4*z**2 + 3*z - 3. Let o(c) be the third derivative of -c**5/60 + c**4/24 + c**2. Let d(q) = -6*o(q) + v(q). Let p be d(3). Solve -2*t = p - 0 for t.
-3
Let n(y) = -y - 4. Let p be n(-7). Suppose p*z + 5 = 14. Suppose -z*g + 23 = -22. Solve 0*o - g = -3*o for o.
5
Let y = 9 + -7. Let k(g) = -g**2 - 8*g - 9. Let i be k(-6). Suppose -2 = -3*d + 2*d, -2*d = i*s - 13. Solve y*n = -s - 5 for n.
-4
Let g be (-16)/2*(27/(-6) + 4). Solve -15 = g*d - 7*d for d.
5
Let w(c) = c**2 + c - 4. Suppose 10 = 3*h - 8*s + 3*s, -h + 2*s = -5. Let m be w(h). Suppose 2*i = -0*i + m. Solve -t + i = t for t.
4
Suppose -3*c + 2*g + 2 = -9, g + 10 = 3*c. Solve 12 = -c*s - 0 for s.
-4
Suppose 5*g = 3*n + 13 + 15, -5 = 5*n. Let r be -5 + 3 - -4 - 2. Solve -g*u + r = 15 for u.
-3
Suppose 0 = -2*u - 4*f + 8, 0*f + 4*f = 0. Suppose 176 = -0*v + 4*v. Suppose 2*b - 6*b = -v. Solve 3 - b = -u*c for c.
2
Let n be (1*-2)/((-4)/40). Suppose 5*c + 25 = -4*i - 0*c, 4*c + n = -i. Suppose -5*f + 20 = 5*b + 45, -f - 5 = i. Solve -4*m - 12 = -b*m for m.
-3
Let l(c) = c**2 - 3*c + 4. Let k be l(3