+ 0*f**2. Let l(a) = 6*a**3 - 1. Let y be l(-1). Let n be r(y). Solve 2*c - n*c + 5 = 0 for c.
1
Suppose q + 14 = 4*i - 2, -10 = 2*i + 4*q. Let g = 8 - i. Suppose 0 = -g*b, 2*b = 8*j - 4*j - 16. Solve 0*k = -j*k + 8 for k.
2
Let d be 2/(-1) - -18 - 0. Suppose 0*w = -5*w + 25. Suppose 0 = w*y - y - d. Solve -y*g = -g for g.
0
Suppose -19 = -5*q + 31. Suppose 4*j = 3*j. Solve -5*d = -j - q for d.
2
Let f(y) = 2*y**2 - 4*y + 3. Let z be f(2). Solve 0 = o - 2*o - z for o.
-3
Suppose y - 4*k - 6 = -0*y, 0 = -y - 3*k - 1. Solve 3*d = y*d - 3 for d.
-3
Suppose -75*x + 74*x = 0. Solve x = -6*f + 11*f - 15 for f.
3
Let r = -4 + 6. Suppose y = r*y - 2. Suppose -y*b - 10 = -3*n, 0 = 2*n + 5*b + 6. Solve -2 - n = -k for k.
4
Let u be (-56)/(-30) + 26/195. Solve u*y - 7*y = 5 for y.
-1
Let q = 53 + -50. Solve -2*a - q - 5 = 0 for a.
-4
Let x be -4 - (3 + (-2)/2). Let b be (-3)/(-3) - x - 2. Solve -b = -5*q + 4*q for q.
5
Let o(n) = -5 - n**3 + 2*n - 3*n**2 - 4*n + 8*n**2. Let b be o(4). Solve 5*i - 12 = b for i.
3
Let v(b) = b**3 - 8*b**2 + 11*b - 7. Let h be v(7). Suppose -14 = -4*m + 6. Solve -1 = -m*f - h for f.
-4
Let v(d) = 4*d**2 - 4*d + 3. Let y be v(1). Solve y*r + 2 - 5 = 0 for r.
1
Suppose 0 = -f - f. Solve f = a - 3*a - 8 for a.
-4
Let i be (1 - -3)/((-1)/(6/(-12))). Solve w + 2 = -i for w.
-4
Suppose -h = -5*z + 64, -z + 0*z - h + 8 = 0. Suppose 4*d + 44 = 4*w, -3*w = -0*w + 4*d - z. Let b be (w/(-10))/((-4)/10). Solve b - 12 = -5*x for x.
2
Let n be 52/(6 - 4) + 4. Solve -5 + n = 5*t for t.
5
Let w(k) = k**2 - k - 4*k + 0 + 4. Let a be w(4). Solve a = 3*b + 7 + 8 for b.
-5
Suppose -95*j = -100*j + 35. Solve 0 = 4*g + 5 + j for g.
-3
Let w = 4 + -7. Let n = w - -7. Solve n*m = -m - 15 for m.
-3
Let q(x) = -12*x**3 + x**2 - 1. Suppose v - 4*w + 0*w = -13, v + w - 2 = 0. Let n be q(v). Solve 3*k + n = -k for k.
-3
Let m be 35 + (0/1 - -1). Suppose 0 = -2*v + r + 11, -9 = 3*v - 5*r - m. Suppose -y = y - v. Solve -y*p - 2 = 6 for p.
-4
Suppose 8 = -0*m + m. Suppose -3 + 9 = -v. Let k = v + m. Solve -k*u = u - 9 for u.
3
Suppose a + 3*c = 3, -1 = -3*c + 4*c. Solve 2*j + 0*j - a = 0 for j.
3
Suppose -3*s + 0 + 9 = -k, -4*k = s - 16. Suppose -2*y + 60 = k*y. Let f be 24*((-15)/y + 2). Solve 5*g - f = 7 for g.
5
Let f be (-114)/15*10/(-4). Let q = f - 15. Solve r + r = q for r.
2
Let p = -11 + 17. Suppose 5*o = p + 14. Solve -9 = -o*r + r for r.
3
Let v(r) be the third derivative of r**5/10 + r**4/24 - r**3/3 + 4*r**2. Let w be v(-2). Solve 4*q = -q - w for q.
-4
Let l(i) be the third derivative of i**4/24 + 5*i**3/3 - i**2. Let b be l(-5). Solve -1 = b*j - 6 for j.
1
Let v = -11 + 26. Let t be 10/(-4)*(-24)/v. Solve 2 = t*y - 2 for y.
1
Let b(y) = y + 23. Let h be b(-18). Solve j - h = -4*j for j.
1
Suppose -5*g = -0*n - n - 10, 3*g = 9. Let p be (-6)/(-39) + 252/52. Let l = n - p. Solve l*w = -4*w - 20 for w.
-5
Let p(u) = -u**3 + 8*u**2 - 2*u + 11. Let i be p(8). Let o = 7 + i. Solve -o = 5*h + 3 for h.
-1
Suppose -26 = -5*z - 2*g, -15 = -5*z + g + 2. Suppose 2*b + b = -z*f - 15, 5*f = -4*b - 20. Solve f*t = 5*t for t.
0
Let t(g) = -g**3 + 5*g**2 - 6*g + 8. Let b be t(4). Let x(d) = 3*d + 2. Let m be x(b). Solve 0 = 3*a - 2*a - m for a.
2
Let u = -4 + 6. Suppose 4*c + u = 4*o + 42, -5*o - 5*c = 40. Let m be (-48)/o + 1/(-3). Solve -m*q + 2*q = 3 for q.
-1
Suppose 3*t - 3*l + 16 + 8 = 0, -3*t + 4*l = 27. Suppose 0*c + 5*c = -35. Let y = t - c. Solve x - 5 = y*x for x.
-5
Suppose 2*b + 6 = 0, m = b - 3*b - 3. Let q(d) = d**2 - 2. Let l be q(-2). Suppose v + 29 = 5*z + 5*v, -2*z + 15 = 5*v. Solve m*k - z = -l*k for k.
1
Let k = 9 - 7. Suppose -4*d - 16 = 5*c, 0 = -k*c + 4*d + 19 - 3. Suppose 3*l = -8*h + 3*h + 9, -5*h + 2*l + 19 = c. Solve 0*u = -3*u - h for u.
-1
Let r be (-26)/(-6) - 2/6. Let b(l) = -l - l**3 + 9 - 7*l**2 - r*l + 6*l. Let x be b(-7). Solve -8 = x*n + 2 for n.
-5
Let c(z) = -4 - z**3 + 0*z**3 - 5*z + 10*z**2 - 3*z**2. Let b(y) = 2*y + 17. Let d be b(-6). Let w be c(d). Solve w - 1 = -4*f for f.
-5
Let v(f) = f - 4. Let w be v(-8). Let a = -8 - w. Solve -2*t + 0 + a = 0 for t.
2
Suppose -6*l + 2*l = 0. Suppose l = -2*k + 2*a - 4, 5*a + 0*a - 16 = 3*k. Solve z + k = 6 for z.
3
Suppose -17*w + 14 = -12*w + 3*p, 2*p = -5*w + 16. Solve w = 2*i + 2 for i.
1
Suppose 2*c - 3*c = 0. Suppose 5*u - 10 = 0, -3*z - 8 = -7*z + 4*u. Suppose 2*s + 8 = z*s. Solve s*a - 9*a - 10 = c for a.
-2
Let n(z) be the third derivative of z**4/24 + 11*z**3/6 + 2*z**2. Let g be n(-8). Solve g*c + 4 = -5 for c.
-3
Let l(x) = -4*x**2 - 7*x + x**2 + 4*x**2 + 8. Let v be l(6). Solve v*p - 1 = -3 for p.
-1
Suppose -42 = -q + 30. Suppose 2*l = 2*c - 2*l - q, 2*l - 114 = -4*c. Suppose 0*v - 3*v = -c. Solve y = -y + v for y.
5
Let k(f) be the third derivative of f**5/60 - f**4/12 + f**3/3 - 3*f**2. Let j be k(3). Solve -j*q = 5 + 10 for q.
-3
Suppose -11 = -8*p + 5. Let t(a) = -a**2 - 6*a - 4. Let l be t(-4). Solve p*v = 6 + l for v.
5
Suppose -2*c - 2*m - 46 = 2*c, -5*c - 71 = -2*m. Let g = c - -25. Suppose 4*y + 3*i + 1 = 4, 3*y - i = g. Solve -6 = -y*n + 3 for n.
3
Let i(n) = n**3 - 15*n**2 + 2. Let x be i(15). Solve -6 = x*m - 16 for m.
5
Suppose 0 + 14 = 2*y + 4*p, 21 = 3*y + 2*p. Suppose -3*c + y = -r, c - 2*r - 13 = -7*r. Suppose -5*w - 2*l + 24 = 0, w - l = -1 + 10. Solve c = -3*d + w for d.
1
Let l(q) = 2*q - 3. Let r be l(3). Suppose -r*v = 4*j - 13, -4*v - 3*j = -3*v - 6. Solve -v = z - 1 for z.
-2
Let t(o) = o**2 - 4*o - 8. Let i be t(-4). Suppose 3*s = 36 - i. Solve -1 - s = 5*u for u.
-1
Let p = -4 + 6. Suppose 5*m - 14 - 16 = 0. Suppose m = 2*w, 3*g + 2*w = g + 12. Solve -b + p - g = 0 for b.
-1
Let k be 11/(2 - 2/2). Suppose 4*s + 2*x - x = -k, -12 = 3*s + 2*x. Let g be (-12)/(-10)*(-5)/s. Solve -g*h = -2*h + 2 for h.
-2
Let z = -5 - -10. Let i = 9 - z. Suppose -v + 5 = 3. Solve i - 2 = v*f for f.
1
Suppose -l + 35 = -2*l. Let o be (-9)/(l/8 - -4). Solve o + 1 = -5*i for i.
-5
Let k(v) = v**3 - 7*v**2 + 4. Let y be k(7). Solve 0*f - y*f = -12 for f.
3
Suppose -3*j + 96 = -204. Suppose -g = 3*g - j. Suppose -5*n + g = -0*n. Solve 16 + 9 = n*b for b.
5
Let o = -6 - -9. Suppose -3*f = -2*f - 2. Solve -f*p - p = o for p.
-1
Let n = -2 - -4. Solve 0 = c - 2 - n for c.
4
Suppose 4*n = 9*n - 75. Solve 0 = -o + 6*o - n for o.
3
Let a be (-4)/6 - 2856/9. Let w be 4/22 + a/(-66). Solve -w*z - 1 = 9 for z.
-2
Let s(w) be the first derivative of -w**2 - 4*w + 7. Let l be s(-2). Solve 4 = -v - l*v for v.
-4
Let a = -78 + 78. Solve -v + a = 4 for v.
-4
Suppose 25 = 9*a - 11. Solve -o + a*o = -15 for o.
-5
Let y = 10 + -7. Solve -c - y = -5 for c.
2
Suppose -2*n + 36 = -3*n + 5*f, -5*n - 224 = -3*f. Let q be 2/(-11) + n/(-11). Solve 10 = q*c + c for c.
2
Let t be 2/3 + (-30)/(-9). Suppose -3*u + 2*u + t = 0. Suppose u*i - i = 15. Solve i*m = m - 16 for m.
-4
Suppose 5*b - 11 = 5*y + 14, -b - 4*y = 0. Let h(l) = l + 1. Let j be h(b). Suppose -g = -3*g + 2, -j*g - 10 = -5*v. Solve -v*m + 5 = 20 for m.
-5
Suppose -2*d - 3*d + 15 = 0. Suppose -d*x + 16 = 4. Suppose x*i - 9 = 11. Solve i*u - 3 = 2 for u.
1
Let k = -16 - -20. Solve -k*b + 7*b = 0 for b.
0
Suppose 0*w - 3*w = -27. Suppose -b + w = 3. Solve 6*v = 3*v + b for v.
2
Suppose 5*l - n - 40 = 0, -2*n + 0 = l + 3. Solve l = -3*w + 1 for w.
-2
Let z(p) = -p**3 - 4*p**2 + 3*p + 1. Let i be z(-5). Suppose -s - 4*r - 4 = 0, -2*r + 5*r - 35 = 4*s. Let m = s + i. Solve -m*c = c - 16 for c.
4
Let s(m) = m**2 + 8*m - 2. Let i be s(-8). Let r(t) = t**3 - 5*t**2 + 7*t - 5. Let p be r(4). Let z be 36/21 - i/p. Solve -z*x + 2 - 4 = 0 for x.
-1
Let d(s) = -3*s - 1. Let u be d(-3). Let q be (2 + -1 - 3) + u. Solve o = q*o + 25 for o.
-5
Let x = 9 + -4. Suppose -3*o = 3*a - 4*a - 2, 3*o + x*a = -10. Solve 5*y + 20 = -o*y for y.
-4
Let j = 6 - -2. Let w = 3 - 0. Solve k = w*k + j for k.
-4
Suppose 0 = -3*w - t + 17, 14 = 3*w + t + 3*t. Let p = w - 2. Solve p*o = 5*o for o.
0
Let f = 11 - 7. Let o = f - 4. Solve -2*n = -o*n + 6 for n.
-3
Let r(h) = -h**3 - h. Let m be r(0). Solve 0 = -m*z - 2*z - 4 for z.
-2
Let t = 16 + -10. Solve t*k - k = 0 for k.
0
Let x = -10 + 7. Let g(b) = b**3 + 5*b**2 + 5*b + 2. Let o be g(x). Solve 0 + o = -u for u.
-5
Let f = -39 - -42. Solve f*h + 1 + 5 = 0 for h.
-2
Let i be (24/(-14))/((-2)/14). Suppo