+ 3*l**2 + 4*l. Suppose -25 = -5*h - 5. Let v be a(h). Solve -2*n + 2 = -v for n.
1
Let o(x) = -x**2 - 5*x - 2. Let h be o(-4). Let f = -2 + h. Suppose 0 = 2*m - 3*m + 3. Solve f = g + m*g - 12 for g.
3
Suppose 3*o - 4*v + 4 = 2*o, o - 10 = -3*v. Suppose 0*y + 12 = -o*y. Let i be (0/3)/(y + 1). Solve i = 2*l + 3*l for l.
0
Let q(l) = l**2 - 9. Let t be q(3). Solve t = -2*y + 8 - 4 for y.
2
Let u(a) = 2*a. Suppose 5*m - 35 = 25. Let q = -7 + m. Let x be u(q). Solve -2*d = -0*d - x for d.
5
Suppose -4*r + 8 = -52. Solve -3*p + r = -0*p for p.
5
Suppose 4*u - 12 = 5*q, -2*u + 2*q + 12 = q. Solve u = -5*v + v for v.
-2
Suppose -6*z + 3*z - 18 = 0. Let v(k) = -k - 4. Let g be v(z). Suppose i - g = 1. Solve -2*x = i*x for x.
0
Let t(s) = s**2 + 3*s - 4*s + 1 - 2. Suppose -4*m - n - 3 = 0, 5*m + n + 4 = -0*n. Let k be t(m). Solve -k = -w - 2 for w.
-1
Let c be ((-4)/(-14))/((-1)/(-14)). Solve c*f - 12 = f for f.
4
Let j = -33 + 63. Suppose 0*t + 3*t - j = 0. Suppose x + 2*y + t = 5*y, y - 4 = 0. Solve -x*k - 1 = -3 for k.
1
Let d = 1 + 3. Let g(w) = 2*w - 5. Let m be g(7). Suppose -d*c = -m*c. Solve -7*p + 2*p = c for p.
0
Suppose -2*o + 1 = -h, 7*o - 32 = -4*h + 3*o. Suppose -2*r + r = -h. Suppose -2*n - 4 = w + w, r*w = -20. Solve 1 = a - n*a for a.
-1
Let y(v) = -v**3 - v + 1. Let i(r) = -r**3 + 5*r - 6. Let c(s) = i(s) + 5*y(s). Let u be c(-1). Let q = u + 11. Solve 5*n + q = 1 for n.
-3
Let a(f) = -f**3 - 7*f**2 + 8*f + 3. Let v be a(-8). Suppose -8 = -v*n + 16. Solve -y + n = 3*y for y.
2
Let h = -1 + -7. Let c be ((-12)/h)/(1/2). Solve -f - c*f = 0 for f.
0
Let q(h) = h**3 - 4*h**2 + 2*h + 1. Let c be q(3). Let a = 5 + c. Solve -5*l + a*l - 10 = 0 for l.
-5
Let t = 10 + -4. Let l be 14/3*t/4. Solve -1 = 3*i - l for i.
2
Let c(q) be the third derivative of 1/6*q**3 + q**2 + 1/60*q**5 - 1/12*q**4 + 0 + 0*q. Let m be c(3). Solve m*i = i for i.
0
Suppose p = 5*p - 68. Suppose 0 = -3*m + 1 + 14. Suppose -5*q - 3*i + p = 0, -18 + m = -3*q + i. Solve q*f - f = 0 for f.
0
Let c = -11 + 7. Let f be 0/(c - 0 - -3). Solve -3*o + f*o = -9 for o.
3
Let q = -2 + 4. Let j(f) = -f**2 - 6*f - 5. Let t be j(-5). Suppose t - 4 = -m. Solve 0 = -q*r + 2 + m for r.
3
Let g be ((-2)/6)/(3/(-9)). Let s be 2/(g + (-6)/10). Solve 0*v + 25 = s*v for v.
5
Let k(c) = -c**3 + 12*c**2 - 12*c + 8. Let m be k(11). Let q be (-15)/(-3)*(m + 4). Solve -2*h + 3 - q = 0 for h.
-1
Let f be 36/198 + 2/(-11). Solve f = -4*q + 3*q + 5 for q.
5
Let k be (-4)/14 + (-16)/(-7). Let b be 10/((-4)/(k + -4)). Solve -3 - 7 = -b*v for v.
2
Suppose 5 = 3*x - 4. Suppose -4*t - y = -4*y - 1, 41 = 4*t + 5*y. Suppose t = 2*u - u. Solve -x + u = w for w.
1
Let z be (3 - 1)/(-1)*-2. Suppose 3*m = -z*p + 35, 4*p - 15 = p. Let y be 8/52 - 4/26. Solve y = -0*f + m*f + 20 for f.
-4
Let r(s) = 2*s**3 + 4*s**2 - s. Let d be r(-3). Let u(v) = -v**2 - 16*v - 11. Let o be u(d). Solve 0 = 3*b + b + o for b.
-1
Suppose -4*y - 3*x = 8, -y + 3*x - x - 2 = 0. Let l be (-50)/8 + y/(-8). Let w(j) = -j**2 - 8*j - 6. Let r be w(l). Solve 0 = -r*z + 2*z for z.
0
Let s(a) = a**3 + 3*a**2 + 2*a + 1. Let l be s(-3). Let m be 4 + l - -1*1. Let i(p) = -p - 1. Let k be i(-1). Solve m = -5*x - k*x - 20 for x.
-4
Suppose 0 = -z + 7*z + 5*z. Solve 2 + z = r for r.
2
Let t(z) = -z**2 + 4*z. Let p be t(2). Solve 0 = p*l - 2 - 2 for l.
1
Let g = -4 - -8. Suppose i = 3*p - p - 2, 3*p = -3*i - 6. Solve 3*c - g*c - 2 = p for c.
-2
Suppose -4*b = -b - 9. Solve 0 = 2*c + b - 5 for c.
1
Let b(c) = 2*c**3 - 21*c**2 - 10*c + 9. Let y be b(11). Solve -6*v = -11*v - y for v.
-4
Suppose 3*v + 4*v = v. Let f = -5 - -7. Solve f = y - v for y.
2
Let l = 4 + 6. Let w be 4/l - 52/(-20). Solve 6*p + 6 = w*p for p.
-2
Let y be 2/3 - (-7)/((-126)/(-114)). Solve 2*k = y*k - 15 for k.
3
Suppose n - 4 + 0 = 0. Suppose 19 = n*v + 3. Suppose 5*m = 3*p - 31, 6*p + m = 5*p - 3. Solve p*i - 6*i = v for i.
-1
Let s = -30 - -50. Let l = -12 + s. Solve 2*h - 6*h = l for h.
-2
Suppose 4*u = 3*j + 25, 4*u + 0*j = -j + 13. Let i be (-2)/6 + (-14)/(-6). Solve d - i*d + u = 0 for d.
4
Suppose 5*c + 145 = 2*p, -p + 4*c = -40 - 25. Suppose -y - 4*y + p = 0. Solve -3*r - 5 + y = 0 for r.
4
Let q(y) = -y**3 + 6*y**2 + 2*y - 9. Let o = 10 - 4. Let m be q(o). Suppose m = -0*t + 3*t. Solve h - t = 1 for h.
2
Let l be (6 - 11)/(1*-1). Suppose 0 + 1 = -j, 31 = 3*a + l*j. Let i be -2*10/(-4) + 0. Solve -i*r = -r + a for r.
-3
Suppose 7*r - 12*r + 5 = 0. Solve -3*z + r = -11 for z.
4
Let j = 48 + -45. Solve 0 = 2*r - 1 + j for r.
-1
Let v(x) = 3*x + x - 2 - 3*x + 3*x**2 - 2*x**2. Let f be v(2). Suppose -2*w + f = -6. Solve -3*p = 2*p + w for p.
-1
Let u be (2 - -1)/((-30)/(-50)). Suppose 0 = 4*a - 5*d - 90, 5*a - u*d = 135 - 20. Solve a = -8*i + 3*i for i.
-5
Let c(f) = f**2 - 7*f + 2. Let j be c(7). Solve 0 = -j*p - 0 + 2 for p.
1
Let n(o) = 5*o - 4. Let j be n(3). Solve 4 = 3*h - j for h.
5
Let w = 2 - -3. Let m = -2 + 12. Suppose m*y = 7*y + 6. Solve y*k + 15 = w*k for k.
5
Let u be ((-2)/7 + 0)*(-2 - 5). Solve 5*f + 27 = u for f.
-5
Let w(d) = -d**3 + 7*d**2 - d + 6. Let a be w(3). Let u = a - 29. Solve 4*r - u = -r for r.
2
Suppose -d + 8 + 2 = 0. Suppose 3*a = 4*i - 2 - d, 0 = -4*a - 16. Solve i = -2*w - 2*w + 16 for w.
4
Suppose -2*f = -4*f - 2*p + 26, 3*p - 31 = -2*f. Suppose 6*i = 2*i + f. Solve -m - i*m = 0 for m.
0
Let k(d) = -d + 11. Let t be k(9). Solve -l + t*l = -3 for l.
-3
Suppose -3*r + 1 = -17. Let a(o) = 6*o + 1. Let w be a(2). Suppose -w = -3*z - 2*k, -3*z = -2*z + 5*k - 13. Solve r*u - z*u + 3 = 0 for u.
-1
Let l = -30 + 33. Solve 2 = g - l*g for g.
-1
Let p be ((-12)/30)/((-2)/10). Suppose -p*m = 2 - 10. Solve 1 = -y + m for y.
3
Let x(g) = -4*g**3 + g**2 + 1. Let l(o) = -o**3 + 1. Let i(y) = -5*l(y) + x(y). Let z be i(2). Solve z = 4*k - 2*k for k.
4
Let r be 10/3*6/4. Solve r*y - y = 8 for y.
2
Let w(f) = -f**3 - f**2 - 2*f - 3. Let z be w(-2). Solve -q = -1 + z for q.
-4
Suppose 12*h - 24 = 10*h - 4*m, 0 = -3*h + 5*m - 8. Solve v - h = -3 for v.
1
Suppose 0*a - 54 = -6*a. Let v = -9 + a. Solve v = 2*p + 4 + 2 for p.
-3
Let n(q) = 7*q + 1. Let w(z) = 6*z + 1. Let b(k) = 5*n(k) - 6*w(k). Let t be b(-5). Suppose -8 = t*v - 5*v. Solve l = -l + v for l.
4
Let b be 8/6 - 4/(-6). Let h(j) = -3*j + 4. Let a be h(4). Let y be (-3 + 7)*(-6)/a. Solve y = -p - b*p for p.
-1
Let v(p) = -2*p**2 - 6*p - 2. Let h(m) = -m**2 + 7*m + 2*m**2 - 6*m. Let l(s) = h(s) + v(s). Let u be l(-3). Solve -u*i + 4 + 12 = 0 for i.
4
Suppose -6*k + 2 = -4*k. Let m be 3/(-9) - k/(-3). Solve v = -m*v for v.
0
Let x be ((-3)/6)/(1/78). Let z = -18 - x. Suppose -3*s + z = 3*h, -s - s = 5*h - 29. Solve -2*u - s*u = -20 for u.
5
Let v = 11 - 5. Suppose 1 = -r + v. Solve 2 + 18 = -r*u for u.
-4
Let z(x) = x**3 + 8*x**2 + 5*x + 5. Let c be z(-7). Let t = -2 - -7. Suppose -5*p = -t*j + 40, 0*j = 5*j + 2*p - c. Solve -25 = -0*f + j*f for f.
-5
Let g(f) = -6*f**3 - f**2. Let p be g(1). Let i be (-122)/14 + 2/p. Let q be (6/9 - 1)*i. Solve 6 = -0*k - q*k for k.
-2
Let f(q) = q**3 - 7*q**2 + 5*q + 5. Let z be f(6). Let b be (-3)/((-1)/(z - -2)). Solve b*l = -0*l for l.
0
Suppose 3*i + 3 = 9. Let j(l) = -l + 3. Let h be j(6). Let f = -3 - h. Solve 4*b - i*b + 6 = f for b.
-3
Let y(x) = -x**3 + 8*x**2 - 7*x - 8. Suppose 25 + 3 = 4*p. Let b be y(p). Let a = -6 - b. Solve 2*u + a = -4 for u.
-3
Suppose -z = -3*z + 10. Solve -2*y + 5 + z = 0 for y.
5
Let p be (-2442)/(-121) + (-1)/(-11)*-2. Let u(r) = -r + 5. Let g be u(3). Solve g*s - 7*s = -p for s.
4
Let y(b) be the second derivative of -b**3/2 - 3*b**2/2 - 3*b. Let h be y(-2). Solve 9 = -h*v - 6 for v.
-5
Let v = 28 - 16. Solve -5*l - v = 13 for l.
-5
Let v be (2 - 14)*(-2 + 0). Suppose 3*z = -3*d + v, -13 + 3 = -5*z + d. Let j(o) = -o**2 - 5*o + 2. Let k be j(-5). Solve -k - z = i for i.
-5
Suppose -4*p = -3*p + 2*u - 54, -3*p + 156 = 3*u. Let c be ((-6)/15)/((-2)/p). Suppose -2*n = -4*n + c. Solve n*t = t - 12 for t.
-3
Let z(y) = y**3 - 7*y**2 - 8*y - 10. Let o be z(8). Let f be (4/o)/((-8)/40). Suppose 4*b - 14 = 4*l - 2, -3*l = b - 15. Solve 0 = f*t - b*t + 8 for t.
2
Suppose 13*a = 16*a. Solve k + a*k = -1 for k.
-1
Suppose 0 = 5*q - 8 - 7. Solve -7*z = -q*z + 8 for z.
-2
Let o(a) be the third derivative of a**4/24 - 5*a**3/6 + a**2. L