 = -2 + 16 + 4*f**2 + 9*f - 3*f**2. Let b be t(c). Solve 0 = -b*n + n + 25 for n.
5
Let i = -2461 + 2464. Solve -48 = i*r - 57 for r.
3
Let c = 463 + -458. Solve n + 12 = -c*n for n.
-2
Let j(w) = w**2 - 6*w + 7. Let s be j(5). Let i be s/((-7)/3 - -3). Suppose 4*g + 2*p = 0, g = i*g - p. Solve -2 = -g*h - h for h.
2
Let n be 2/(10/(-6) + 2). Suppose 0 = 3*u - 2*m - 500, 4*u - 4*m - 566 - 106 = 0. Suppose 161*x + 6 = u*x. Solve x*s + 8 = n*s for s.
2
Suppose -2*w + g - 29 = 0, -2*g + 32 = -2*w + 2*g. Let f(m) = -m**2 - 14*m + 14. Let a be f(w). Solve 2*t + a - 4 = 0 for t.
-5
Let i be ((-1)/3 - (-63)/27)*1. Suppose -n + 19 = i*u, 3*n = -3*u - u + 41. Solve -8 = 4*v + u for v.
-4
Suppose 4*l = -5*x + 18, 11*x + l - 15 = 8*x. Solve -9*y = -x*y - 15 for y.
5
Let a(i) be the third derivative of i**5/120 - i**3/2 + 5*i**2. Let b(n) be the first derivative of a(n). Let z be b(2). Solve -z = -g - g for g.
1
Suppose -2*t + 2*b = -14, 5*t + 5 = -3*b - 0*b. Solve 0 = -z + t - 3 for z.
-1
Let b be 6/(9/3) - -1. Suppose x + 13 = 5*a, 0*x + 2*x = a + 1. Suppose i + b = 0, 6*y - x*y - 4*i - 112 = 0. Solve -t = -6*t - y for t.
-5
Let k be (198/(-81))/(6/(-54)). Solve 8*t - k = 10 for t.
4
Suppose 4*b = 2*c + 10, 0 = -2*b - 2*c + 2. Solve 0 = -8*u + b*u + 6 for u.
1
Let d(p) = 254*p + 11*p**2 - 252*p - 6*p**2 + p**3 - 4. Suppose r - 3*k - 8 = 0, -5*r + 2*k - 12 = -0*k. Let g be d(r). Solve g*n = n for n.
0
Suppose 2*g + 0*g + 4*u = -4, -3*u = -5*g + 3. Suppose d + 3*i - 15 = g, 4*d = 4*i - 18 - 2. Solve 3*j = -d*j + 15 for j.
5
Suppose -3*s - 6 = -4*c, -c + 5*s - 7 = -0*c. Suppose -c*j = -4 - 8. Solve k + k = j for k.
2
Suppose 3*d = -4*c + 104, -19*d - 4*c = -24*d + 216. Solve d = 3*x + 5*x for x.
5
Let c(b) = b**3 - 6*b**2 - 8*b - 8. Let j be c(7). Let v be 4/((-8)/j) + (-9)/6. Solve x = v*x + 20 for x.
-4
Suppose -g + 25 - 4 = 5*s, 2*s = 4*g - 84. Solve g*j = j + j for j.
0
Suppose 2*t = y + 28, 3*y + 8 = -4. Suppose a - t = -8. Let l be 2/((-2 + 6)/a). Solve -l*g = 1 - 3 for g.
1
Let u be (-8 - -8) + -2 - (-5 + -2). Suppose -13 = -2*w - 9. Solve 0 = -x + w*x - u for x.
5
Let b(z) = z**3 + 3*z**2 + 2*z. Let l be b(-2). Suppose -5*y - 3*n = 1 - l, 9 = y - 4*n. Let v be ((-15)/(-6) + y)*2. Solve 1 + v = 2*w for w.
4
Suppose 2*m - 114 = 3*l, 7*l = 6*l + m - 39. Let a = l + 37. Solve -1 = 2*p + a for p.
-1
Suppose -5*c - 9*c = -28. Solve -o = c*o + 12 for o.
-4
Let r be (-27)/36 - 87/(-4). Let x be r/6*-6*(-4)/42. Solve 0 = -x*b - 4 for b.
-2
Suppose 0 = -29*c + 46*c - 153. Solve 6*x = -c + 3 for x.
-1
Let n = -2331 - -2371. Solve -11*q = -18 + n for q.
-2
Let b be -3*(1 + (-10)/6). Suppose -3*u = -7*u - 3*c, u = -b*c - 5. Solve 5*n + 10 = u*n for n.
-5
Let d be 3*2/(-3)*-1. Solve d*c = c for c.
0
Let d(w) be the first derivative of -w**3/3 + 2*w - 3. Let y be d(0). Suppose 3*g - 7 = y. Solve 5*r + 12 = -g for r.
-3
Let i(q) = q + 9. Let t be i(-5). Suppose -2*j + 18 = 4*f, 2 = 3*j - f - t. Solve -j*r = -r - 8 for r.
4
Suppose 3*k = -2*o + 81, -18*o + 15*o + 5*k + 150 = 0. Solve 9*h + 0*h = o for h.
5
Suppose 20*c + 30*c - 1400 = 0. Solve 23*o = c*o + 25 for o.
-5
Let w(f) = -f**3 - f**2 + 5. Let g be w(0). Let v(l) = -l + 7. Let d be v(g). Let s be (d - 2)*(-2)/(-4). Solve -2*a - 1 + 7 = s for a.
3
Let j = 108 + -104. Solve -j*u + 12 = 2*u for u.
2
Suppose 2*x + 6 = 5*x. Let f be 4/(-10) - (-28)/(-5). Let w = f + 12. Solve x = 4*p + w for p.
-1
Suppose a = 2*n - 11, 5*a - 5 + 0 = -2*n. Suppose 3*f = 3*l - 4*l + n, 5*l = -5*f + 55. Let m be 2/(-6) - (-7)/3. Solve -l = -3*q - m for q.
4
Suppose 0 = -5*n, -30 = -2*v + n + 560. Suppose 0 = -3*c + t - 157, -5*t = -c + 6*c + v. Let a be 12/c - 40/(-18). Solve -3*b = -a*b for b.
0
Let t(c) = -c**3 + 6*c**2 + 3*c - 3. Let v be t(6). Let m(z) = -2*z**2 + 9*z - 1. Let q be m(7). Let i be ((-9)/4)/(q/48). Solve -v = -8*g + i*g for g.
3
Let n = -463 + 478. Solve -51*l = -48*l - n for l.
5
Suppose 4*g + 7 = 3*g. Let t be (-2)/g - (-278)/7. Suppose 3*a = 20 + t. Solve -x - 3*x + a = 0 for x.
5
Let f(q) = q**3 + 4*q**2 + 3*q + 2. Suppose 3*t - x + 8 = 0, -x = -5*t - 0*x - 14. Let p be f(t). Solve -6*v - 12 = -p*v for v.
-3
Let h = 29 - 22. Solve w + h = -6*w for w.
-1
Suppose 21 = 3*j + 3*d, 14 = 4*j - 2*j - 3*d. Solve -i + 24 = j*i for i.
3
Suppose u - m = -3 + 11, 3*m + 3 = -4*u. Solve 0 = u*n + 4 + 8 for n.
-4
Let h(x) = x + 39. Let a be h(-16). Suppose a = -m + 25. Solve i - m = -i for i.
1
Suppose 3*v + 3 = 3*l, -23*l = -20*l + 3*v - 33. Solve l = 11*f - 13*f for f.
-3
Let u = -8 - -8. Suppose -9 = -g - u. Let o = g - 7. Solve -o*w = -5*w for w.
0
Let j(t) = t**3 + 13*t**2 + 23*t + 15. Let c(q) = q. Let v be c(-11). Let i be j(v). Solve 6 + 2 = -i*r for r.
-2
Suppose -10 = 3*m - 25. Solve m*k = 9*k - 4 for k.
1
Suppose 4*w = -o + 23, -4*o + 3*w + 10 = 13. Solve -8 = o*t + 1 for t.
-3
Suppose -5*w - 8 = -4*w + 4*y, -w - 10 = 5*y. Let g(o) = o**2 - 10*o - 7. Suppose -u + 11 = -0*u. Let a be g(u). Solve -a*s = -w - 4 for s.
1
Let u(t) = t**2 - 6*t - 7. Let v = 16 - 37. Let a be (-24)/1*7/v. Let n be u(a). Solve n = -2*q + 1 for q.
-4
Let r = 14 + 11. Let a = -1 - -6. Let w(k) = -441*k - 7051. Let o be w(-16). Solve -o = a*j - r for j.
4
Suppose 3 = v - 2. Suppose 10 = -v*y - 5*t, -2 + 0 = -5*y - t. Let w be 2 - y - -1*2. Solve 0 = -w*b - b for b.
0
Suppose 7*t - 2*t = 40. Let o(f) = -f**2 + 191*f - 1098. Let c be o(6). Solve -4*p + c = -t*p for p.
-3
Let c(s) = s**2 - 7*s - 54. Let h be c(12). Solve -41 = -h*y - 35 for y.
1
Let z(t) = -t**3 + 3*t**2 + 6*t - 13. Let o be z(2). Solve -l - 12 = o*l for l.
-3
Let z be 13*4/(-12)*15. Let l = z + 69. Solve -6*m - l = -2*m for m.
-1
Let a be 12/8*(2 - (-60)/18). Solve -a*d = -9*d + 2 for d.
2
Let w be (-6)/8 + (-156)/(-16). Suppose -2*i = 4*j, -2*j - 4 = -4*i - 24. Suppose -4*d = 2*b, -2*d = -j*b - 2*b. Solve -2*g - 1 - w = d for g.
-5
Suppose -2*b = -7 - 19. Let a = b + -11. Let i = 11 - 7. Solve -i = 2*p + a*p for p.
-1
Let z be (0 + -12)/(31 - 34). Solve -3*f - z = -13 for f.
3
Suppose 400 = -13*m + 33*m. Solve m = 5*v - v for v.
5
Let q(c) = c**3 + 4*c**2 - 2*c + 1. Let h be q(-4). Suppose -3*v + 6*v + 3 = 4*x, 2*v = 3*x - 3. Solve -2*d - h + v = 0 for d.
-3
Suppose 0 = -q + 5 - 4. Let w be (-12)/(-4 + 1) - q. Suppose -w*b + 5*c = 2*b + 25, -b + 4*c = 20. Solve 0 = z - b*z + 4 for z.
-4
Let a be (-2 + (-177)/12)*(2 - -2). Let h = -64 - a. Solve -b + 1 = h for b.
-2
Suppose -30*q = 93*q - 9840. Solve -q + 86 = 3*z for z.
2
Suppose 3*v - 4*v = -5. Suppose -5*z + 10 = -v*b, -4*b + 26 = b + 4*z. Suppose -i = -3*u + 14, 2*u = -u - b*i + 26. Solve -s = -u*s for s.
0
Let s(j) = -3*j**3 - 13*j**2 + 14*j + 20. Let r be s(-5). Solve 39*v - 37*v + 8 = r for v.
-4
Suppose -4*v + 3*u + 18 = 0, 5*v + 3*u = 5*u + 26. Suppose 3*g = -0*g + v. Solve 1 = g*l + 3 for l.
-1
Let g(o) = o - 3. Let t(w) = 2*w - 1. Let n be t(-1). Let d be g(n). Let k = d + 10. Solve -3*i = i + k for i.
-1
Suppose -231 = 88*s - 583. Solve -156*f = -154*f + s for f.
-2
Suppose 3*g + 3*d - 6 = 0, d + 10 = g - 2*d. Let k = -605 - -611. Solve g*v - 6 = k for v.
3
Let o be 8 - (-6 + (-9 - -19)). Let q(l) be the third derivative of l**5/60 + l**4/6 + 2*l**3/3 - l**2. Let g be q(-3). Solve r + o = g for r.
-3
Suppose 108 = -2*y + 3*z, -61 = -5*y - 2*z - 331. Let q = -27 - y. Let g = q + -23. Solve 4*d - g = 16 for d.
5
Suppose 0 = 8*n - 43 + 3. Solve n*s = 10*s + 25 for s.
-5
Let f = -2 - 6. Let m(s) = s**3 + 2*s**2 - 6*s - 4. Let v(r) = -3*r**3 - 7*r**2 + 17*r + 13. Let u(p) = f*m(p) - 3*v(p). Let h be u(-5). Solve -o + h = o for o.
4
Let a be (-23)/(-7) - (-12)/(-42). Suppose -4*l + a = -3*l, 4 = -r + 2*l. Suppose 2*p = -r*p + 12. Solve g + p = 2 for g.
-1
Let k = -15 - -18. Suppose -a + k*a = 0. Suppose 0 = l - 2 - 1. Solve a = -l*o + o + 10 for o.
5
Let q be (-1)/(-4) + 21/(-4). Let l be ((-18)/q)/1*5. Let v = -18 + l. Solve v*s - s = 3 for s.
-3
Suppose y - 4 = 1. Let c = 5 - y. Let a be 0 - c/(-3 - 0). Solve a*p + 8 = -4*p for p.
-2
Let a(b) = b**2. Let l(k) = 3*k**2 + 2*k + 1. Let x(q) = 4*a(q) + l(q). Suppose 2*j - 10 = 7*j. Let w be x(j). Solve 3*r + w = -2*r for r.
-5
Let x be (-2*12 + 4)*1. Let q = -17 - x. Let g(s) = s**3 - 2*s**2 + s. Let w be g(2). Solve 1 = -w*a - q for a.
-2
Suppose 8 = 4*l + 8. Let q 