 32/12*(-3)/2. Let s be r(x). Let q(z) = z**3 + z + 20. Let w be q(0). Solve 4 - w = -s*f for f.
4
Suppose -3*f + 4 = -14. Let i be (4/14)/(f/42). Solve 0*s = i*s for s.
0
Let y = -1 - -3. Let s be (-312)/1716*(0 - 11). Let t be ((-12)/5)/((-6)/20). Solve -y*d = -t + s for d.
3
Let d(m) be the third derivative of 0 - 4*m**2 + 1/2*m**4 + 7/6*m**3 + 1/60*m**5 + 0*m. Let t be d(-13). Solve 2*s = 7*s - t for s.
4
Suppose -4*p = -3*m - 23, 0*m - 3*p + 17 = -2*m. Let v be -1*1/m*0. Solve -6*d + d = v for d.
0
Suppose 0 = -5*v - 4*o - 52, 16 + 9 = -2*v - 3*o. Let q = -16 - v. Let z = q - -14. Solve 2 = -4*b + z for b.
1
Let v be -1*((-6)/(-15) + 87/(-5)). Let n = 25 - v. Solve m + n = -3*m for m.
-2
Let h = -294 + 309. Solve 6*c - h = 3*c for c.
5
Let k(y) = y + 11. Let u be k(-7). Suppose 0 = g - 4*v + 1, -2*g + 3*g = -u*v - 9. Let z be (2/g)/(14/(-70)). Solve z*i = i for i.
0
Suppose 556*c = 553*c + 21. Solve -3*w + c*w = 0 for w.
0
Suppose -13 = -4*x - 1, -3*x = 5*w - 24. Let i(j) = -4*j + 2. Let g be i(w). Let a be (-194)/g - 2/5. Solve 0 = 5*z - a + 4 for z.
3
Let g(t) = t**2 + 17*t + 7. Let j be g(-17). Solve -j*m = m for m.
0
Suppose -17*t + t = -96. Solve -2*g - g = t for g.
-2
Let v be 3*4*(-2)/(-12). Suppose -v*y + 5 = -5. Solve 1 = -y*a - 9 for a.
-2
Let t be ((-76)/(-95))/((-4)/10). Let b be -12*(t + 21/12). Solve -3*n = -b - 3 for n.
2
Suppose -5*n = 3*r - 5 + 20, -2*r + 3 = -n. Let k = -2 + 2. Solve h + r*h - 3 = k for h.
3
Let c(o) be the first derivative of o**3/3 + 4*o**2 - 16*o + 2. Let a be c(-10). Suppose -a*n + 3 = v, -3*v + 5 = -4. Solve b = -n*b + 5 for b.
5
Let h(k) = -2*k**2 - 9*k - 1. Let g be h(-4). Let u = -5 - -10. Solve g*f = -u - 7 for f.
-4
Suppose 0 = -2*v - 2*r + 8, 0 = 32*v - 28*v - 4*r - 48. Solve 0 = 3*u - v + 11 for u.
-1
Suppose 0 = m + 2*s - 1, 4*m - 4*s - s = 17. Suppose 0 = -r - 5*l + 36, -m*l + 0 - 4 = -r. Solve 0 = -2*h + 6*h + r for h.
-4
Let k(l) = -2*l**3 + 4*l - 10 - 9*l**2 + 23 + l**3 + 7*l. Let m be k(-10). Solve 2*t = m*t for t.
0
Let k(t) = -3*t**3 - 4*t**2 + 3*t + 2. Let g be k(-2). Suppose -10*w + 81 = 31. Solve 7*n - w*n = -g for n.
-2
Suppose -186*n + 191*n = 4*v + 22, 2*v = -3*n. Let p be ((-8)/10)/(2/(-35)). Solve p = -n*g + 6 for g.
-4
Let p be 2 + -1 - (4 - 12). Let s(m) = m**3 - 8*m**2 - 8*m - 10. Let z be s(p). Let h be z/(-3) + 6/(-18). Solve 0 = -5*f - h*f for f.
0
Let s(h) = -2*h**2 + h + 96. Let j be s(7). Solve -x - 8 + j = 0 for x.
-3
Suppose 5*r + 77*m = 72*m + 20, -r + 8 = 3*m. Solve -9 = r*a - 1 for a.
-4
Let y = -453 + 459. Solve y*u + 2 = 4*u for u.
-1
Let y(v) be the third derivative of -v**6/120 - 2*v**5/15 + v**4/24 + 2*v**3 + 21*v**2. Let o be y(-8). Solve o = 2*b - 4 for b.
4
Let o(y) = 11*y**2 - 3*y - 2. Let f be o(-1). Solve -f*l - 15 = -9*l for l.
-5
Suppose -2*j = 3*j + 5*q - 475, -3*j + 5*q = -317. Let v be 29/9 - 22/j. Suppose 0 = v*h - 6*h. Solve -2 = -h*d + d for d.
-2
Let b be (-9)/(-15) + (-12)/(-30). Solve 16*r - b = -81 for r.
-5
Let n be 0/1 + 2/(4/6). Let i be (n - -1) + (-17 - -9) - -14. Solve -4*y + 2*y + i = 0 for y.
5
Let s(a) = -2*a**3 - 18*a**2 - 15*a + 21. Let q be s(-8). Solve 0 = 10*w + q - 23 for w.
1
Suppose -13*j - 25*j = -456. Solve -j*z + 28*z + 64 = 0 for z.
-4
Suppose -4*o = -o - 9. Let r(k) be the second derivative of k**4/12 - 7*k**2/2 + 15*k. Let n be r(o). Solve -n*z + 3*z = -2 for z.
-2
Let g(l) = -l**2 + 10*l - 8. Let w be g(8). Let n(h) = -2*h**2 + 18*h - 14. Let z be n(w). Solve -z*a = a - 6 for a.
2
Let g = -2060 - -2060. Solve -73*q + 64*q + 9 = g for q.
1
Let g be (-117)/(-4) + 5/(-20). Let z = -27 + g. Let h(u) = -u**2 + 5*u. Let f be h(4). Solve z*i = -0 - f for i.
-2
Let f(b) = 64*b - 256. Let v be f(4). Solve v = 8*l + 3*l + 33 for l.
-3
Let t be -5*((-16)/4)/4. Suppose -48 - 17 = -t*v. Let d = v - 8. Solve 5*s - 5 = d for s.
2
Let r(m) = -22*m + 337. Let j be r(14). Solve 10*a + j = -1 for a.
-3
Suppose 4*c - 24 = 8*c. Let f be ((-3)/9)/(1/c). Solve 4 = v + f for v.
2
Let q(d) = -d**2 + 3. Let u be q(-5). Let f = u - -25. Solve 1 = g + f for g.
-2
Suppose -68*i = -298 - 586. Solve 59 = -i*q - 6 for q.
-5
Suppose -k - 5*i = 11, -13 + 4 = 3*i. Suppose 4*t - 72 = 3*p, -4*t - k*p = -0*t - 44. Solve t = -6*c + c for c.
-3
Let s(r) = r**3 - r**2 - 52*r + 6. Let i be s(8). Solve 0 = -9*n - i + 11 for n.
-3
Suppose 3*p + 2*x = 26, 0*p + 5*x - 10 = -2*p. Let s = -243 - -247. Solve -6 - p = s*o for o.
-4
Let a(l) = l**3 + 6*l**2 - 2*l - 9. Let w be a(-6). Suppose 4 = 3*f + f. Suppose -4*r + 45 = 5*t + 9, -3*r = 2*t - 13. Solve -w*s - f = t for s.
-3
Suppose -2*d = -0*d - 94. Suppose -3*w - d = 13. Let z be (32/w)/((-4)/30). Solve t = 4*t - z for t.
4
Suppose f - 6 = 14. Suppose -41 = -70*k + 239. Solve 0*u = -k*u + f for u.
5
Suppose 0 = -s + 2*s + 6. Let x be 0 - (s + (-2)/(-1)). Let f(n) = 17*n**2 + 256*n + 25. Let a be f(-15). Solve 0 = x*p + a - 2 for p.
-2
Let j be 32 + -44 - (2 + -23). Solve -13*x = 17 + j for x.
-2
Suppose -12 = -3*o + 3*g, -3*o = -2*g - 9 - 5. Solve 0 = -3*w + o*w - 15 for w.
5
Let b(v) = v**3 + 9*v**2 + 8*v. Let h(s) = s**2 - 9*s + 10. Let z be h(6). Let l be b(z). Solve -x = -l*x - 1 for x.
1
Let b(c) = c**2 + c + 1. Let v(j) = -j**3 + 5*j**2 - 10*j + 6. Let u(l) = 4*b(l) + v(l). Let y be u(8). Let r = y + -24. Solve r*p - 3*p + 1 = 0 for p.
1
Suppose 8*q - 9*q = -3*g - 20, 0 = 3*q + 5*g - 4. Solve 0 = -q*l + 12*l for l.
0
Let s be (18/(-18))/((-7)/3 + 2). Suppose 2*q + 13 - 3 = -2*l, 0 = q + s*l + 15. Solve 2*j - j = q for j.
0
Let w = 5 + 5. Suppose -l = -12*l. Solve l*v + w = -2*v for v.
-5
Let l(t) = -t**2 + 8*t + 5. Let w be l(8). Let a(n) = -n**2 + 8*n - 11. Let i be a(w). Solve i*m = 3*m + 1 for m.
1
Let g(i) = 2*i. Let z be g(3). Let c(t) = -t + 23. Let r be c(9). Suppose 2*o + 3*s = r, 2*s - 6*s = -4*o + 8. Solve -2*q = -z*q + o for q.
1
Let c be ((-8)/(-3))/4*-51. Let f = -33 - c. Solve f + 3 = 2*i for i.
2
Suppose -4 = -8*l + 7*l - 2*t, -3*t + 9 = 2*l. Solve -3*y + 0 = -l for y.
2
Let m = 701 + -694. Solve -m = -7*i - 35 for i.
-4
Suppose -7*t - 6 = -10*t. Suppose -35 = -l - 4*x - 6, -t*x = 2*l - 28. Solve -3*d - l + 3 = 0 for d.
-2
Let c = -19 + 75. Solve 6 = -10*a + c for a.
5
Let u(m) = 5*m**3 - 24*m**2 + 3*m - 7. Let w be u(5). Solve -4*x - 29 + w = 0 for x.
1
Let l(p) = p. Let f be l(3). Let j = -25 - -37. Suppose 0 = -4*a + 5*a - j. Solve 3*u + a = f for u.
-3
Suppose -2*o = 10 - 12. Suppose 5*u - j - 1 - 14 = 0, -j = -u - o. Solve -8 = 4*h + u for h.
-3
Let a(z) = -z**3 + 3*z**2 + 11*z + 13. Let d be a(-2). Solve 17 = -7*r - d for r.
-4
Let p(y) be the second derivative of -y**3/2 + 19*y**2 - 16*y. Let l be p(11). Solve l = 4*c + c for c.
1
Let c = 199 - 126. Let m = 147 - c. Let k be m/8 + (-8)/32. Solve -4*b + b - k = 0 for b.
-3
Let g be 238/21 - (-4)/6. Solve -4*x + x = -g for x.
4
Suppose -5*z = -z. Let w be 60/24 + (1/6)/(4/12). Solve y + w + 2 = z for y.
-5
Let b = 5 - 2. Suppose b*r - 3 = -5*z + 7, -r - 5*z = -10. Solve -5*f - 2 - 3 = r for f.
-1
Suppose 134*b - 72 = 126*b. Solve b*y = 14*y for y.
0
Let i(h) = -h**3 - 4*h**2 + 4*h + 6. Let t be i(-4). Let q be (-22)/t + (-4)/20. Let w be (-1 - q*-2) + 2. Solve w*z = -4 - 1 for z.
-1
Suppose 5*t - 70 = k - 6*k, 5*t - 38 = -3*k. Let f = 19 - k. Let i be -3 + f + 0/2. Solve -2*c - 1 - 9 = i for c.
-5
Let j = -1087 - -1142. Solve 39 = 4*t + j for t.
-4
Let n(k) = -2*k**2 - 13*k + 9. Let s be n(-7). Solve s*g = -2*g - 4 for g.
-1
Suppose 15 = 12*v + 3. Solve 7 = 3*u + v for u.
2
Suppose 0 = 46*j - 36*j - 20. Let l = -8 + 8. Solve y - j = -l*y for y.
2
Let d(u) = -2*u. Let a be d(0). Solve a = 132*y - 135*y + 12 for y.
4
Let v be (-2 - 0)/(-2) - (1 - 4). Solve 18*w - 16*w + v = 0 for w.
-2
Let r = -42 + 44. Let u be 1/2 + 11/r. Solve -g - u = 2*g for g.
-2
Suppose 3*p = 3*p + 2*p. Suppose -6 = -2*f - 0. Solve p*d - 9 = -f*d for d.
3
Let r(n) = n**3 - n. Suppose 11 = 3*y - 1. Let v be -3*y/(-12) + -2. Let s be r(v). Solve 5*c + 2 - 12 = s for c.
2
Suppose 5*u + 17 + 5 = -o, -5*o + 30 = -3*u. Suppose -5*d + 2*l + 22 = 0, 541*l - 544*l = 18. Solve 0 = -o*m + m - d for m.
-1
Let u be 6/(-45) - (-47)/15. Let x(k) = -7*k**2 + 2 - k**u - 12 + 6 - 7*k. Let h be x(-6). Solve -6*z - 16 = -h*z for z.
-4
Let a(y) = 3*y - 3. Let x be a(2). Suppose 0 