f/(-60). Solve o = -2*a + 4*a for a.
2
Let i(o) = 8*o**2 + o + 1. Let l be i(-1). Suppose -l*y + 0*y = 0. Solve 4*w = -y*w - 4 for w.
-1
Let y = 2 + 0. Let t be 5/(-5) + 0 + 0 + 1. Suppose t = -i + 5*i - 16. Solve i*m = y*m - 10 for m.
-5
Let h(a) = -a**3 + 8*a**2 + 4*a - 13. Let x be h(8). Solve -x*q - 5 = -20*q for q.
5
Let i(y) = -y**3 - 7*y**2 + 10*y + 20. Let m be i(-8). Solve m*g - 24 + 8 = 0 for g.
4
Suppose 17 - 13 = -j. Let l be 3/(-4) - 15/j. Solve -m - l = -1 for m.
-2
Suppose -3*u = -u - 2*q - 36, 4*u - 2*q - 80 = 0. Solve 15*r - u = 53 for r.
5
Let c(t) = 4*t + 5. Let l(s) = 8*s + 9. Let x(o) = 11*c(o) - 6*l(o). Let b be x(-1). Solve 0 = -0*q + b*q - 20 for q.
4
Let c(f) be the first derivative of f**4/4 + 13*f**3/3 + f**2/2 - 4*f + 1. Let r be c(-13). Let u = r + 29. Solve -3*k = k - u for k.
3
Let g(o) = -o**2 - 4*o - 4*o + 2*o**2 + 5*o + 4. Let c be g(0). Solve c*n = -n for n.
0
Let z(p) = 2*p**2 + 56*p - 44. Let s be z(-29). Solve -7*x - 7 = -s*x for x.
1
Suppose -36 = -6*c + 72. Let v be (-60)/c*(-6)/4. Solve 4*u + 15 + v = 0 for u.
-5
Let n(l) = 4*l**2 + 3*l + 6. Let w be n(-4). Let f = w - 13. Let g = -25 + f. Solve 0 = -7*r + 2*r - g for r.
-4
Let r(m) = m**3 + 8*m**2 + 10*m - 6. Let z be r(-6). Let b be (8/z)/4 - 182/(-39). Solve h = -0 - b for h.
-5
Let s(n) = -n**2 + 4*n + 3. Let a be s(-2). Let f = a + 11. Solve 0 = -f*r - 2 - 0 for r.
-1
Let r = 47 + -44. Solve 0*a - r*a + 6 = 0 for a.
2
Let k be (-25)/3*(-222)/370. Solve l + 20 = k*l for l.
5
Let i = -134 + 142. Let y be 4/(-24)*-6*(-1 + i). Solve -y*j + 3*j = 20 for j.
-5
Suppose -4*r + 2*r + 6 = 3*p, -p - 5*r = -15. Suppose 2*q + 3*l = -3, 2*q + 8 + p = -2*l. Let d be (1 + 6/q)*0. Solve -j = 4 - d for j.
-4
Suppose 0 = -5*c + 4*v + 54, -v + 46 = 2*c + c. Let u = c + -16. Let k be (-33)/(-2) + 3/u. Solve -6*i + k = -i for i.
3
Let b(z) = -z**3 + 5*z**2 + 24*z - 31. Let d be b(7). Solve -6 = 45*k - d*k for k.
-1
Suppose -40 = -4*t + 4*k + 52, -54 = -2*t + 4*k. Solve t*w - 12*w = -14 for w.
-2
Suppose 10*d = 13 + 7. Suppose -4*w - 2*t = -8 + 2, -w = d*t + 3. Solve 4 + 2 = w*v for v.
2
Suppose 0 = -m - 4*s + 8, -5*s + 10 + 0 = -2*m. Let t = 1 - m. Solve t + 11 = 4*z for z.
3
Let o(c) = 2*c**3 - 2*c**2 - c - 2. Let v be o(2). Suppose -v*m = 5*m - 0*m. Solve 2*s = -m*s + 6 for s.
3
Suppose -q = -2*q + 4*z + 36, -q = -z - 33. Solve i = 17*i + q for i.
-2
Let o(s) = 2*s + 70. Let f be o(-26). Suppose -t = 3, -i + f = -4*t - 2. Solve -i + 0 = 4*b for b.
-2
Let s = 1357 - 1347. Solve 76 = s*k + 26 for k.
5
Let l(r) = -r**3 + 4*r**2 - r - 6. Let w be l(3). Suppose w = -3*u - 25 + 85. Solve 9*n + u = 13*n for n.
5
Let s(c) = c**3 - 30*c**2 + 56*c + 5. Let q be s(28). Solve 6*a = q*a for a.
0
Let o = 61 + -1. Suppose -3*q + 15 = -4*n - 66, -3*n + 2*q = o. Let z be (n/4)/((-3)/8). Solve -2*p - 2*p + z = 0 for p.
3
Let c = -8 - -2. Suppose -4*k - 4*b = -48, -2*k - 2*k + 34 = -3*b. Let o = k + c. Solve o = -3*t - 11 for t.
-5
Let q = -588 - -596. Solve 5*y + 12 = q*y for y.
4
Let v be 5 + -4 - 2*3. Let t(m) = -m**3 - 5*m**2 + m + 7. Let k be t(v). Suppose 6 = 5*f - k*n, -4*f - 2*n = -4 - 8. Solve -4 = f*c + 2*c for c.
-1
Suppose -j = -4*n - 56, -4*j + 144 = -3*n + 7*n. Solve 15 = 5*v + j for v.
-5
Suppose -3*z = 4*v - 0*z - 5, 5*v - 2*z - 35 = 0. Suppose -5*t = -v*y - 175, 7*y + 37 = t + 4*y. Let b = t + -18. Solve -3*f - f = -b for f.
4
Suppose -5 = -d + 23. Let t be 4*49/d + 1*-2. Solve n + t = 2 for n.
-3
Let j(l) = -l**3 + 7*l**2 + l - 5. Let a be j(7). Suppose 0 = -h + 4*w + 29, -a*w + 20 = h + 3*w. Let g = -72 - -74. Solve -h = g*n + 3*n for n.
-5
Suppose -3*p + 4 + 11 = 0. Suppose -i = -p*i - 20. Let s be ((-2)/5)/(i/25). Solve -3*c = -s*c - 1 for c.
1
Let m be 58/6 + (5/3)/5. Suppose -3*h - b = -6, -4*h + m = h - 3*b. Solve x = -1 + h for x.
1
Suppose -6*w + 6 = -24. Suppose w*q = 56 + 44. Solve 6*s - 2*s + q = 0 for s.
-5
Let g(p) = 2 + 0*p**2 + 2*p**2 + 2 - 2*p - p. Let x be g(2). Solve 3*c = x*c + 3 for c.
-1
Let d be 4/(-10)*(-62 - -37). Solve -16*g - d = -18*g for g.
5
Suppose 8 = -3*r - 2*j + 35, -4*r = -2*j - 36. Solve -r*s + 27 = -18 for s.
5
Let i(n) = -13*n**2 + 2*n - 1. Let j be i(1). Let t be (-9 + 1)/(40/100). Let o = j - t. Solve 4*v + 0 = -o for v.
-2
Let n = 69 - 66. Suppose r + n + 0 = 0, -2*q + r = -43. Solve 3*a + a - q = 0 for a.
5
Let t(h) = h**2 - 4*h - 3. Let w be t(4). Let r be (-2 + 1)/(4 + w). Let p be 3 - (0 + 1 + r). Solve 0 = -3*u - p for u.
-1
Suppose 109 = 11*d - 1. Let a = -41 - -44. Solve -a*b = -b + d for b.
-5
Let f = -141 - -146. Solve f = 2*g + 13 for g.
-4
Let q be (-6)/(-18)*(0 - -15). Suppose -4*g - g = -q. Let s be (g + -10)/3 + 3. Solve -2*r + 6*r - 8 = s for r.
2
Let u = -67 - -102. Suppose -26 = x - u. Solve x + 7 = -4*v for v.
-4
Let k(c) = c**3 + 6*c**2 + 5*c - 7. Let f be k(-5). Let h(p) = p**2 + 10*p + 24. Let n be h(f). Solve 4*q - n = 9 for q.
3
Let r(h) = -4*h - 1. Let u be r(1). Let p be 1*u/(-3)*3. Suppose -13 = 4*y - 5*y. Solve -4*b + p = y for b.
-2
Let v(w) = 2*w**3 - 4*w**2 + 4*w - 2. Let j be v(2). Let i = 61 + -59. Suppose i*q = -0*q. Solve -2*n + j*n - 8 = q for n.
2
Let g be (-24)/(-9 - -3) + -2. Suppose x = -w + 6, g*x = -x + 4*w + 11. Let p(h) = h**3 + 2*h**2 - 5*h - 4. Let n be p(-3). Solve x = -n*c + 1 for c.
-2
Let y be (78/12 + -5)*12. Solve -5*p + y = 3 for p.
3
Let c(a) = -a + 4. Let y be c(1). Suppose y*g - 10 = g + 2*o, -4*g + o + 5 = 0. Solve h - 5 + 0 = g for h.
5
Suppose 16*u = -16*u + 1856. Solve 64*f = u*f - 24 for f.
-4
Suppose 4*k - 16 = -4*x, 4*k = x + 4*x - 29. Let w be (x - 1)*(-2)/(-4). Solve 3*j = w*j for j.
0
Let w(y) = y - 5. Let g be w(5). Let l(t) = -3*t - 18. Let z be l(-11). Let b be (-3)/9 + (3 - 10/z). Solve g*d = -2*d + b for d.
1
Let g(t) = t**3 + 11*t**2 - 2. Let c be g(-11). Let h be (-1 - (6 + -1))/c. Suppose h*m + m = 80. Solve -4*j + 0*j + m = 0 for j.
5
Let q(m) = -83*m - 1. Let l be q(5). Let s be l/72 + 6 - (-14)/18. Solve r = 2*r - s for r.
1
Suppose 0 = 2*o + 3*o - 10, -4*o = -5*c - 98. Let d = c - -25. Let i be (-490)/(-22) + (-78)/286. Solve -3*f + i = d for f.
5
Let n be 1 + -5 - (-4 + (0 - 3)). Solve -n*w + w = -4 for w.
2
Let p(k) = 2*k + 18. Let v be p(-7). Let g(i) = -i**3 + 5*i**2 + i + 5. Let q be g(v). Solve -5*h = -0*h - q for h.
5
Let d(o) be the first derivative of -o**2/2 - 4*o - 29. Suppose -2*r + r = 9. Let i be d(r). Solve -i*j - 1 = 14 for j.
-3
Let w(k) = k**2 - 9*k - 4. Let z be w(-1). Solve -z*j + 7 = 19 for j.
-2
Let w be (-48)/(-72)*(8 + 4/(-2)). Suppose -36 = -w*h - 6*a + 2*a, -a - 11 = -4*h. Solve 5*t = h*t for t.
0
Let q(j) = j**3 + 6*j**2 - j - 6. Let w be q(-3). Suppose 3*r - r = -6, 3*n - 4*r = w. Solve 3*h - 7 = -n for h.
1
Let r(n) = 0*n**2 - 7*n - 3*n - n**2. Let d be r(-10). Solve -4*t + d*t = 0 for t.
0
Let n be (-2)/(-3) - 16/(-12). Let h be (9 + -9)/(0 - n). Solve h = 4*z - 0 + 8 for z.
-2
Let b be 12/16 + 9/4. Suppose -4*r = -5*r + b. Solve -2*i + 5 = r*i for i.
1
Suppose 0 = -17*j + 18*j - 12. Solve -15 = j*y - 7*y for y.
-3
Let z(o) = -o**3 - 4*o**2 - 2*o - 1. Let q be z(-4). Let k = 71 - 48. Solve q = 4*i + k for i.
-4
Let y(m) = -11*m + 45. Let r be y(4). Solve -5 + r = -h for h.
4
Let b(u) = u**3 + 9*u**2 - 20*u + 24. Let d be b(-11). Solve -d*a + 40 = -10*a for a.
-5
Suppose 2*z = -2*z - 4. Let n(u) be the third derivative of -u**4/8 + u**3/6 - 39*u**2. Let q be n(z). Solve 0 = 2*b + 10 - q for b.
-3
Let k be 3 + 2/((-16)/24). Solve -8*z + k*z - 16 = 0 for z.
-2
Suppose 0 = -14*z + 18*z - 8. Suppose -12 = -w - z*w. Solve 9 = w*q - q for q.
3
Suppose 5*r - 4*w - 4 = r, 2*r - 18 = -2*w. Suppose -r*p + 20 = -3*o - 0, 0 = -2*o - p + 4. Solve 0*k + 2*k = o for k.
0
Suppose -4*n - n + 49 = -4*l, 43 = 5*n + 2*l. Let y = n - 6. Solve -16 + 4 = y*c for c.
-4
Let m be (-16)/(-56) + 1/(14/402). Solve 5*t = 14 - m for t.
-3
Suppose 81 = 19*m - 109. Solve 3*t + m + 2 = 0 for t.
-4
Let g = 565 - 562. Solve -20 = g*k - 17 for k.
-1
Let z(j) = 5*j**3 - 1. Let b be z(-1). Let h = b - -7. Solve -2*p + 3 + h = 0 for p.
2
Let v(d) = -d**3 - 4*d**2 + 6*d + 7. Let g be v(-5). Suppose -2*x + g = 0, 4*i + 5*x - 3 - 10 = 0. Suppose 5*n = i*n. Solve 5*z - 16 + 1 = n for z.
3
Let i = -166 + 91. Let x = 78 + i. Solve r - 5 = -x for r.
2
Let x(b) = b + 