5
Let d(l) = -l**3 + 3*l**2 + 8*l + 4. Let w be d(5). Let j be 4/(-72)*w*5*3. Solve -m + j = 4 for m.
1
Let w be 8/(-2 - (-40)/15). Suppose 0*g = 3*g + 4*o - 16, 0 = 3*g - 3*o + w. Solve g = -0*i + 4*i - 12 for i.
3
Let s = 42 - 36. Suppose s*n = -0*n + 2*n. Solve n*k = k - 2 for k.
2
Suppose -5*y - 21 = -8*y. Solve 0 = -y*z + 4*z + 15 for z.
5
Let r = 2 - 2. Let h = 6 - -3. Suppose r = -h*i + 6*i + 9. Solve b + 4 = -i*b for b.
-1
Let h = 11 + -14. Let r(j) = -j**3 - 3*j**2 + j + 3. Let a be r(h). Solve a = 4*c + 7 + 13 for c.
-5
Let y be 12*3/((-18)/(-3)). Suppose 0 = 7*d - y*d. Solve -l - 1 = -d*l for l.
-1
Let c be (-2)/8*(-72)/(-72)*0/3. Let d = -34 - -50. Solve d = -c*n - 4*n for n.
-4
Let x = -12 - -12. Suppose -3*k - 2*o + 2 = x, -k + 2*o - 14 = -o. Let a = 2 - k. Solve -a*f = -7*f for f.
0
Suppose 0 = -5*i - 4*j + 5, 7*i - 5 = 2*i - 2*j. Suppose a - 3*a = 0. Solve -4*v - 3 - i = a for v.
-1
Suppose 185*l = 179*l + 36. Solve -96 + 84 = l*m for m.
-2
Let u(s) = -s**2 - 8*s - 12. Let q be 9/(-18)*(0 - -6). Let z(n) = -2*n**2 - 16*n - 24. Let r(d) = q*z(d) + 5*u(d). Let m be r(-8). Solve f + m = -3*f for f.
-3
Suppose 3*q - 70 = 3*u - 4, -2*q + u + 39 = 0. Let s(z) = -z**3 - 6*z + 0*z**3 + q*z**2 - 5 - 22*z**2. Let n be s(-4). Solve 5*p + 2 = -n for p.
-1
Let w be (0 + (-4)/5)*-5. Let x(z) be the third derivative of -z**6/120 + z**5/20 + z**4/6 + z**3/2 - 8*z**2. Let y be x(w). Solve -y*s + 20 = 2*s for s.
4
Let p(d) = d**2 + 45*d - 229. Let b be p(5). Solve 20*u = b*u - 2 for u.
2
Let g be 26/10 + -8*2/(-40). Solve -12 = g*z + z for z.
-3
Suppose -13 = 3*y - 5*r, 0 = -5*r - 1 + 11. Let g(v) = 15*v**2 + 3*v + 2. Let c be g(y). Solve 5*u = 11 + c for u.
5
Let u be (1 - 1) + (-10)/(-5) + 23. Let i = u + -7. Let h(y) = -3*y - 1. Let o be h(-2). Solve -o*l - i = 7 for l.
-5
Suppose 0 = 36*p - 608 - 4. Solve -9*q - p*q - 104 = 0 for q.
-4
Let r(c) = -c**2 - 9*c - 6. Let d be r(-7). Let z be (2 - -4)/(1/(-2)*-4). Solve -s + d = z*s for s.
2
Let r(f) be the third derivative of f**5/60 + f**4/24 - 5*f**3/2 + 21*f**2. Let i be r(-5). Solve -2*m + m + i = 0 for m.
5
Let w = -235 + 242. Solve -w*s - 5*s = 0 for s.
0
Let h be (2/12)/((-22)/(-132)). Let u be 0*(-2)/8*h. Solve 4*o - 8 - 4 = u for o.
3
Let h = 279 - 268. Solve 3*r + 1 = -h for r.
-4
Let m(y) = y**2 - 35*y + 250. Let u be m(9). Solve -13 = -u*z + 51 for z.
4
Let k = 1898 + -1896. Solve k*p - 4 = p for p.
4
Let h(q) = -13*q + 44. Let u be h(3). Suppose 5*d = 2*d + 2*o - 2, -3*d = -3*o + 6. Solve d = -w + u for w.
3
Suppose 34*m + d + 7 = 38*m, 0 = 5*d - 5. Suppose 0 = -r + 5*r - 4. Suppose t = 2 + r. Solve m = t*g - g for g.
1
Let v = -60 - -18. Let f = -40 - v. Solve -4*q - 2 = -f*q for q.
-1
Let q = -89 - -126. Let x = q + -68. Let m = 38 + x. Solve -2*i = -m*i for i.
0
Let g be 1/3 - (-219)/(-9). Let l be g/132 + (-31)/11. Let x(a) = -a**3 - 2*a**2 + a + 4. Let j be x(l). Solve j*n - 5*n = 25 for n.
5
Let h = 1292 + -1290. Solve -h*w + 3 = 9 for w.
-3
Let u be (-2)/7 - 195/(-21). Suppose 4*z - 86 = -5*x, 0 = -3*x + 3*z + 79 - 22. Let o = x - u. Solve -o = -6*q + 3*q for q.
3
Suppose h - k = 0, 3*k = 7*h - 2*h - 6. Solve 1 = -c - h for c.
-4
Let c be ((-1)/(-5))/((-5)/(-30))*-10. Let b be 2*2 - (c - (-10)/5). Solve -4*u - b - 2 = 0 for u.
-4
Let t be (-5 - -2)/(-3) + 3. Let x be ((-187)/1122)/(1/(-12)). Solve -x*a + t = -4 for a.
4
Suppose 0 = 6*x - 9 - 9. Solve -5 = -2*o + x for o.
4
Let x(g) = 3*g + 59. Let m be x(-14). Let l = m - 13. Solve s + 3*s = -l for s.
-1
Let p(v) = -48*v - 10. Let i be p(-4). Suppose -10*m + i = 62. Solve -4*a - m = -a for a.
-4
Let n(s) = -2*s**2 - 6*s + 25. Let l be n(-4). Solve 0 = -l*y + 3*y + 14 for y.
1
Let o = -1599 + 1608. Solve -109*z - o = -112*z for z.
3
Let w(k) = -25*k**2 + 282*k + 20. Let c be w(10). Solve 15 = 337*i - c*i for i.
-5
Let x(f) be the third derivative of f**6/120 - f**5/12 + f**4/12 - 7*f**3/6 - f**2. Let j be x(5). Let u = -198 + 201. Solve 0 = -2*k + j*k - u for k.
3
Let v = -3 + 12. Let r be -2 + 9 - (-36)/(-9). Solve r*s + 3 + v = 0 for s.
-4
Suppose -4*i - 6 = -2*m, 0 = -m - 3*i - i - 3. Let v be ((3 + 1)/4)/m. Solve 3*g - v = 14 for g.
5
Suppose 4*f - 11 - 109 = 0. Suppose 7*i - 2*i = f. Suppose i = 2*q + q. Solve q*g = -1 + 7 for g.
3
Let q = -4 - 63. Let n = -67 - q. Solve -2*p = -n*p + 2 for p.
-1
Let v = -71 + 74. Suppose -v*i - 4 + 10 = 0. Solve 4*p - 14 = i for p.
4
Let w be 4 + ((-6)/(-24) - 17/4). Solve -5*v + 27 - 2 = w for v.
5
Let y(d) = -2*d**2 - 11*d + 10. Let s be y(-6). Suppose f + 22 = 2*f + s*u, -3*f + 4*u = -2. Let m = 53 - 27. Solve f - m = 4*n for n.
-5
Let p = -221 + 229. Solve -3*n + p - 5 = 0 for n.
1
Let r = 14 - 12. Suppose -4 = 2*y - 8. Suppose 6*d + 2*w - 15 = 3*d, y*d + 2*w = 10. Solve r*v = d - 7 for v.
-1
Suppose -5*g = 2*h - 27, 26 + 4 = 5*g + 5*h. Suppose -3*i - 3*y = 2*i - 36, 3*y + 18 = 4*i. Suppose -k - 60 = -i*k. Solve -d = -g*d - k for d.
-3
Let s be (9 + -1)*(-5)/(-2). Suppose -14*u = -15*u + 136. Suppose -14*m + u = 3*m. Solve 4*f - s = -m for f.
3
Suppose -5*u = -3*p + 13 + 2, 0 = -3*u. Suppose 0 = p*l + t - 0*t - 13, -14 = -4*l - 2*t. Solve 3*j + l = j for j.
-1
Suppose 19*k - 119 - 223 = 0. Solve -37*w + 43*w - k = 0 for w.
3
Let k be (-2*(-27)/36)/(9/96). Solve 4*u + 36 = k for u.
-5
Let i = -140 - -128. Let o be -8*(-6)/9*(-9)/i. Solve -3*b = -o*b for b.
0
Let y = -12 + 14. Suppose 0 = 3*m + 3*l + 2*l - 22, -l - 6 = -y*m. Suppose -m*k = k. Solve 4*b - 8 + 28 = k for b.
-5
Let w be 12/(-5)*(195/6)/(-13). Let l be (w + -9 - 3*-1)/1. Suppose 0 + 2 = k. Solve -m - k*m + 6 = l for m.
2
Suppose 0 = 2*p + 78*i - 82*i - 28, 4*p + 9 = -5*i. Let u(s) = -s - 11. Let b be u(-6). Let a = 5 + b. Solve p*w = 4 - a for w.
1
Let r = 4 + 0. Suppose -5*i = r*i - 36. Solve -2*y + i = -3*y for y.
-4
Suppose -2*d - 2*z = -4, d - 3*z - 19 = -d. Let i = -1188 - -1188. Solve i = d*h - 3*h - 4 for h.
2
Let i(n) = -2*n**2 + 9*n - 4. Let o be i(4). Suppose o*f + 2*f - 2*w + 6 = 0, -f - 8 = 4*w. Let h be 3/f + (-975)/(-52). Solve 0 = 5*r + h + 2 for r.
-4
Suppose 3*x = -7 - 17. Let m(k) be the first derivative of -k**3/3 - 5*k**2 - 13*k + 14. Let y be m(x). Solve 11 = 4*l + y for l.
2
Suppose m + 3*d = 5*d - 7, -4*m + 2*d = -2. Suppose 2*y + 6 = 5*j, 2*y + 0*y = -2*j + 8. Let f be (-2)/7 + (-37)/(-7). Solve m = j*p + f for p.
-1
Let y = -579 + 586. Solve -y*f = -4*f - 12*f for f.
0
Let a = -824 + 833. Solve -3 = 3*o + a for o.
-4
Let n(b) = -23*b - 4 - 1 + 7*b + 14*b. Let r(z) = -4*z**3 - 2*z**2 + 2*z - 1. Let h be r(1). Let v be n(h). Solve -6 - 4 = v*c for c.
-2
Let o(d) = 12*d + 101. Let f be o(-8). Solve -7*i = -f*i + 10 for i.
-5
Let s = -11 - 1. Let i be (18/24)/((-3)/s). Solve i*r = 1 + 2 for r.
1
Let o be (-318)/(-54) + 4/36. Solve -o*z = 2*z + 32 for z.
-4
Let h(g) = g**3 + 5*g**2 + 3*g - 4. Let c be h(-3). Suppose -6*y + 2175 - 2055 = 0. Solve -c*d + 0*d - y = 0 for d.
-4
Suppose -b + 112 = 13*b. Solve 3 = g + b for g.
-5
Let i(f) = -2*f**3 - 4*f**2 - 3*f - 2. Let b be i(-2). Let q = 19 - 16. Suppose -q*m = m - 52. Solve -3*w + b = m for w.
-3
Suppose -6*n = -n - 5*a - 35, -3*n + 1 = a. Let h be ((3 + -2)*0)/2. Solve -k - n = -h*k for k.
-2
Suppose 0 = 5*i - 5 - 95. Solve -4*d = -0*d - i for d.
5
Suppose 0 = 14*c - 16*c + 18. Suppose -4*z - 25 = -c*z. Solve z = -3*s - 2*s for s.
-1
Let r(n) = n**2 + 8*n - 3. Let t be r(-8). Let l(v) = -v**2 - 2*v + 7. Let y be l(t). Solve -2*f = -f + y for f.
-4
Suppose 12*k = -19*k + 310. Solve 13 - k = -f for f.
-3
Let c = -206 + 240. Solve -15*t - c = 2*t for t.
-2
Suppose 7*g = 5*w + 3*g, 0 = -4*w + 3*g. Let n = w - 30. Let x = n - -30. Solve x = 3*y - 0*y - 9 for y.
3
Suppose 5*k = 4*k + 10. Solve 5*f = k + 5 for f.
3
Suppose -2*d = 6, -2*g + 15*d = 18*d - 5. Solve -g*f + 21 = 7 for f.
2
Suppose 0 = -23*k + 19*k - 5*s - 7, 4*k + s = 5. Solve -121 = k*w - 111 for w.
-5
Suppose -4*b + 5*s + 49 = 0, -2*s - 21 = -2*b + 3. Suppose 6*n - b*n - 65 = 0. Let w = n - -15. Solve -w*h + 2 = -0*h for h.
1
Suppose 20 = 5*c - c. Let u = -90 + 126. Solve 0 = -c*h + u - 11 for h.
5
Let l = -84 - -86. Suppose 2*m - 4*f + l*f = 8, 12 = m - 5*f. Solve -u + m*u = 0 for u.
0
Let y be 0/(1 - -1) + 5. Let d be (-2)/y - (-1 - (-34)/(-10)). Solve o + 5 = -d*o for o.
-1
Suppose 3*l = 