-1)/j). Solve 3*f = y + 9 for f.
4
Let r = -4 - -11. Solve -3*m + 20 = -r*m for m.
-5
Suppose 3*a + 4*x - 3 = -x, -4*x + 18 = 5*a. Suppose 33*n - 34*n = -3. Solve -o + n*o = -a for o.
-3
Let o(i) = i**3 + 7*i**2 - i - 3. Let p(v) = 2*v - 19. Let b be p(6). Let j be o(b). Solve u = j*u + 3 for u.
-1
Let i(q) be the third derivative of 0*q + 1/60*q**5 + 1/4*q**4 - 1/2*q**3 - q**2 + 0. Let f be i(-7). Solve f*j - 15 = -j for j.
3
Suppose 0 = -8*f + 9 + 7. Solve -f*u + 12 = -5*u for u.
-4
Suppose y = -16 + 4. Let c be 4/y*-1*15. Suppose 3*i + 4 = c*g, -2*g - i + 8 = g. Solve g*m = -0*m + 2 for m.
1
Let q(u) = 3*u**2 - 1 - u**2 + 6*u**3 + 0. Let k be q(1). Solve 2*a - 5 = k*a for a.
-1
Let j = -28 + 52. Suppose -j = -a - 4. Solve f = -4*f - a for f.
-4
Suppose 4*l - w - 19 = 0, -5*l - w + 23 = -2*w. Suppose 15 = -y + l*y. Solve -10 - 5 = y*b for b.
-3
Let w(b) = -b - 2. Let r be w(-2). Suppose -14 = -r*d - d + 4*h, 5*h = -2*d + 2. Let l be (-2)/d + (-1)/(-3). Solve l = -k - 0*k for k.
0
Let a(l) = -l**3 + l**2 - l + 3. Let f be a(0). Suppose 5*w - 5 = -x, 0 = 2*x + 4*w - 0*w - 4. Solve 4*b - f*b + 3 = x for b.
-3
Let g = 20 + -10. Let p = g - 7. Solve 2*y - 4 = p*y for y.
-4
Let i = -93 + 103. Solve 12*n = 7*n - i for n.
-2
Let r = 4 + -2. Let m = 1 + r. Let b(f) = f**3 + 14*f**2 + 13*f + 1. Let c be b(-13). Solve -2*s + c = -m for s.
2
Let h be 0/(-1) - (-5 + 1). Suppose -4*y - 8 = 2*j - 20, -2*y = h*j - 18. Solve j*m - 5*m = -1 for m.
1
Suppose 3*j - w = 7, 3 = 4*j - 3*j - w. Suppose 0 = -2*f - 5*h + 4, 5*h - j*h - 12 = -2*f. Suppose 4*r + 4 = f. Solve 6*l + 8 = r*l for l.
-2
Suppose -4*k + 98 = 2*m, 4*m = 3*k + 2*m - 77. Solve -6*y + y = k for y.
-5
Let a(w) = -w**2 + 6*w - 3. Let k be a(5). Suppose -g + 5*z = -k*g + 27, -3*z = 2*g - 19. Solve 2*t - 4 = -g*t for t.
1
Let d be (-28)/3 - 3/(-9). Let x = -5 - d. Suppose -2*v + 3*v = x. Solve -v*b - 12 = -4 for b.
-2
Let l(k) = k**2 - 11*k + 14. Let a be l(10). Let m(o) = o**2 - 10*o + 9. Let p be m(9). Solve p = -n + a*n + 9 for n.
-3
Let a = -59 + 63. Solve -a*f + 2*f = -8 for f.
4
Let q(v) = -v**3 + 5*v**2 + v. Let h be q(5). Suppose -4*z = -5*z + h. Solve -4*p = p + z for p.
-1
Let p(k) be the third derivative of k**5/60 + k**4/3 - 7*k**3/6 + 6*k**2. Let v be p(-9). Solve -t = v - 3 for t.
1
Let w be 3/(-12) + (-15)/(-12). Let g(u) = u**3 - 2*u**2 - 3*u + 3. Let d be g(3). Suppose -d*s - 5 = a + a, -s = a + w. Solve a*b + 0*b + 10 = 0 for b.
-5
Let d(u) = -u**2 - 6*u - 5. Let p be d(-4). Let x = -1 + p. Solve -c + x*c - 5 = 0 for c.
5
Let i(b) = 3*b + 5. Let a be i(0). Solve -a*m - 2 = -3*m for m.
-1
Let k = 10 - 9. Let h be (4*-1)/k + -2. Let u = h + 6. Solve -4*y + 3*y - 4 = u for y.
-4
Let t(i) = -i - 4. Let v be t(-6). Let r(u) = -u**3 - 5*u**2 - 5*u - 5. Let d be r(-4). Let c be -1 - (2*d - -1). Solve s - 1 - v = c for s.
3
Suppose -2*p = 1 - 3. Solve -5*m + p = 6 for m.
-1
Suppose -g - 4 = -i, -4 = -3*i + 4*g + 4. Let f(c) = -c**3 + 7*c**2 + 8*c - 10. Let j be f(i). Let h be 0*(-3 + j/(-4)). Solve -4*y = -h*y for y.
0
Let r be (-5)/(-5) + -3 - -5. Solve 4*f - 1 = r for f.
1
Suppose 0 = -j + 5*r - 9, 0*j + 4*r = 2*j. Solve -j*x = -x - 15 for x.
3
Suppose -b + 2 = 1. Let l be (4 + -3)*(b - 1). Solve l = -w - 3 + 1 for w.
-2
Suppose -3*o - 2*j - 12 = 0, -o - 5*j - 2 = 2. Let x = o - -9. Solve x*h - 2*h = 15 for h.
5
Let t(v) = 1 + 8*v - v - 7 + 0*v - v**2. Let q be t(4). Solve -r + 1 = q for r.
-5
Suppose 9*c = -0*c. Solve 0*a - a + 3 = c for a.
3
Let a = 49 - 44. Solve 8*t - a = 3*t for t.
1
Let q be ((-6)/(-4))/((-1)/(-2)). Suppose 0 = v - 3*u + 11, 3*v - 1 = 5*u - 14. Solve -23 + q = v*p for p.
-5
Let n(m) = -2*m**3 - 17*m**2 + 10*m + 11. Let d be n(-9). Suppose 0 = g - 8 + 3. Solve -7*r + d*r = g for r.
-1
Let y(r) = -r**2 + 5*r - 2. Let n be y(3). Suppose 0 = -j - n*j. Solve j = 2*h + 2 + 2 for h.
-2
Let k(j) = -j + 10. Let x be 7 - 1 - (2 - 3). Let l be k(x). Suppose 0 = -2*b + b + l. Solve -b*c = 2*c for c.
0
Let j = -16 + 11. Let g be j/(15/9) + 7. Solve -g*b = -0*b - 4 for b.
1
Let o be (28/12*3)/1. Solve -4*y - o = -19 for y.
3
Suppose -3*h - 8*r + 3*r - 200 = 0, 4*h + 248 = -2*r. Let c be (h/(-6))/(2*1). Solve c*l - 3*l = 10 for l.
5
Let x(m) = -2*m - 6. Let a be x(-4). Solve -a = 4*d + 6 for d.
-2
Let q(w) = w - 1. Let t be -2*3/(-12)*12. Let m be q(t). Solve 3*l = m*l for l.
0
Let u(i) = -i**2 - 12*i - 9. Let z be u(-11). Solve -6 = z*s - 0 for s.
-3
Suppose 0 = -r + 4*m - 10, 3*m = -2*r - m + 16. Suppose -4*q + 22 = -r*s, -2*q + 0*q + 21 = -3*s. Solve l = q*l for l.
0
Let t be ((-24)/16)/(3/(-4)) - -1. Solve -t*v - 15 = -6 for v.
-3
Suppose 4*l = -2*j - 14 - 42, -2*l + j = 20. Let v be l/1 - (-3 + 2). Let n = v + 15. Solve -k + 25 = n*k for k.
5
Let r(s) = s + 7. Let q be r(-5). Let o be (12/(-15))/(q/(-95)). Solve -13 = -5*d - o for d.
-5
Let l(w) = w**2 + 7*w - 8. Let h be l(-8). Solve h = u - 5*u for u.
0
Let j(u) = u**2 - 10*u + 5. Let m be j(10). Solve -21 = m*r - 1 for r.
-4
Let c(p) = p**3 + p**2 - 2*p - 2. Let x be c(-1). Solve -8*y + 2*y = x for y.
0
Suppose 2*i = 2, 8*i = -2*b + 4*i + 18. Let c be 1*-1*1 + 12. Let z = c - b. Solve 0*t + z*t = 0 for t.
0
Let x(k) = -k**3 - 5*k**2 + 5. Let i = 10 + -17. Let w be (-2)/i + (-111)/21. Let u be x(w). Solve -9 = -u*d + 16 for d.
5
Let i = 7 - 2. Solve -i*t + 10*t = 15 for t.
3
Let n be 4/(-10) + 42/5. Suppose 0 = -3*k + 1 + 17. Suppose -2*o = -k*o + n. Solve 5*d + 7 = o for d.
-1
Let i(m) = -m**3 - 10*m**2 - 10*m + 10. Let j be i(-9). Let z = 21 - j. Solve -5*f + z = -8 for f.
2
Suppose 0 = -2*m + m + 4. Solve -2*n + n = -m for n.
4
Suppose 4*y + 2*k - 18 = 10, y + 5*k - 25 = 0. Let b(g) = -4*g - 1. Let q be b(7). Let a = 40 + q. Solve a - 1 = y*n for n.
2
Let g(c) = 2*c - 8. Let d(m) = m**3 + 8*m**2 - 11*m - 12. Let s be d(-9). Let h be g(s). Solve -h = 5*w + 1 for w.
-1
Let h be (-4)/(-2) - (14 - 12). Suppose -2*l + 8 = -h. Solve 4*i + l = 24 for i.
5
Let x = -77 + 92. Solve -x = 4*n + 1 for n.
-4
Let z = 62 + -58. Solve 0 = -v + z*v + 9 for v.
-3
Suppose n + 0*n - 4 = 0. Suppose 3*z = -z + n. Solve 0 = w + z - 0 for w.
-1
Let m be -3*(1 + 0)/(-1). Let j be -1 + ((-840)/(-36) - (-2)/3). Solve -j = 4*t - m for t.
-5
Let d = 4 + -4. Solve 4 = k - d*k for k.
4
Let u be (1 + 0)/1 + 2. Suppose u*h = -5*w + 8, -3 = -w - 3*h + 1. Let t be 1*((-2)/w - -8). Solve t = -3*z - 3 for z.
-3
Let w = -92 - -92. Solve -2*h + 9 - 1 = w for h.
4
Let j be ((-2)/3)/(-4 + (-11)/(-3)). Solve -3*n + 5 = j*n for n.
1
Let a be (-6)/1*(-1 - -2). Let d be (-12)/(-9)*a/(-4). Solve k = d*k for k.
0
Let w = -14 - -24. Solve 4*s + s = w for s.
2
Let f(b) = -b + 18. Let x be f(10). Solve -x = 2*o + 2 for o.
-5
Let n(z) = z**2 + 2*z - 3. Let u be n(-3). Let q(c) = c**3 - 4*c**2 - c + 6. Let f be q(4). Solve -g + f = -u*g for g.
2
Suppose 0*t - 1 = -t. Solve 0 = 2*b - 3 + t for b.
1
Suppose 4*j - 10 = -j. Let r be ((-30)/(-3))/j - 3. Solve 2*q + 2 + r = 0 for q.
-2
Let b(f) = f**3 + 2*f**2 - 4*f + 2. Let h be b(-3). Solve 0 = -5*a - h - 0 for a.
-1
Let d = -3 + 4. Let i(a) = -d + 2*a**3 - 2*a**2 + 4*a**2 - 9*a**3. Let r be i(-1). Solve -3*z = -r*z - 10 for z.
-2
Suppose 6 = 3*q - 9. Let o(r) be the second derivative of r**4/12 - 2*r**3/3 - 5*r**2/2 + r. Let z be o(q). Solve -5*y + y + 12 = z for y.
3
Suppose 4*b = 2*b - 2. Let f = 1 - b. Solve -f = 3*z - 11 for z.
3
Let k be -6*((-6)/(-4))/(-3). Suppose -2*l + 3 = 4*z - l, 0 = -k*l + 9. Suppose 0*i - i + 3 = z. Solve 0*w = i*w + 3 for w.
-1
Let c = 11 - 15. Let d be c - (0 + -1 + -3). Solve -4 + d = m for m.
-4
Let q(h) = h**3 + 6*h**2 - 6*h + 10. Let l be q(-7). Solve -5 = -l*z + 4 for z.
3
Let s = -5 + 7. Suppose s*g = -2*g. Solve 0 = -g*v + v for v.
0
Suppose -3*j + 2*f = f - 8, -4*f + 2 = 5*j. Solve 5*t = j + 3 for t.
1
Let j be ((-6)/(-12))/(3/12). Solve j*l + 13 = 3 for l.
-5
Let h be 2*(1 + 6/(-2)). Let j = -2 - h. Solve 7*a - j*a = 5 for a.
1
Suppose 115*v = 112*v. Let o(i) = -i - 3. Let t be o(-6). Suppose 0 = -t*n - 0*n. Solve -2*q + 4 + v = n for q.
2
Suppose -4*j + 7 = 19. Let r be 2/(-9 - j)*-9. Solve r*f - 8 = -f for f.
2
Suppose 3*z = 6 + 6, -3*z = -2*m + 42. Let h = m + -13. Let v = h + -11. Solve 0*l = -3*l - v for l.
-1
Let i = -22 + 11. Let g(c) = -c**3 - 12*c**2 - 11*c + 6. Let j be 