*3 - 11*y**2 + 9*y + 13. Let l be t(10). Solve 5*x - 17 = l for x.
4
Suppose 4*w - 4 = c, 3*c + 1 = 2*w - w. Let q be 2/(-4)*(-31 - w). Solve 3*i = q - 4 for i.
4
Let r(i) be the first derivative of -i + 2 - 3/2*i**2. Let u be r(-2). Solve -8*a + u = -3*a for a.
1
Let u(n) = -n**3 - 6*n**2. Let x be u(-6). Let r = 3 - 2. Let m be 2*(2 + r + 0). Solve x = -m*s + 3*s for s.
0
Let w be (-16 - -2)/(-7) - (-2 - 1). Solve -w*r = -2*r for r.
0
Let d(k) = -k**3 - 14*k**2 - 15*k - 12. Let q be d(-13). Suppose 0 = 3*b + q - 41. Let s = b + 1. Solve -1 = 3*g - s for g.
3
Suppose 2*n + 3*n = -20. Let k = n - -6. Solve w + 5 = k*w for w.
5
Let l(v) = -v**3 + 6*v**2 - 3*v - 2. Let n(r) = -5*r**3 + 31*r**2 - 16*r - 9. Let s(b) = 11*l(b) - 2*n(b). Let f be s(3). Solve 9 - 1 = f*a for a.
4
Suppose 2*u - 4 = -0*u. Let l be (-1)/u*(-10 - -4). Let v = l + 5. Solve -b - b + v = 0 for b.
4
Let l = -3 + 28. Solve 0 = -11*r + 6*r + l for r.
5
Let p(b) = b**3 + 5*b**2 + 3*b - 4. Suppose 4*a = 3*a - 4. Let x be p(a). Suppose -2*g + 2*s + 4 = 0, s - 12 = -2*g - s. Solve -f - g*f = x for f.
0
Let u be 4 - (-5 - -2 - -4). Solve -i + 7 = u for i.
4
Let y(q) = -q**3 + q + 1. Let s be y(2). Let g = -2 - s. Solve -2*a - 5 = g*a for a.
-1
Let q = 25 + -12. Suppose -5*u + 1 = -5*s + 2*s, -3*s = 2*u - q. Solve -u*g = 5 - 1 for g.
-2
Let t(m) = -m**3 + 5*m**2 - 3*m + 4. Let l be t(4). Suppose -2*b + 0*b = -l. Solve 3*o + b = 5*o for o.
2
Let c be 2/6 - 5/15. Solve 3*s - 7*s + 12 = c for s.
3
Let j = 0 - -3. Suppose 4*a - j = 9. Suppose 0 = a*f + 2 - 11. Solve -1 = h + f for h.
-4
Let o(a) = a + 8. Let d be o(-8). Solve d*m + m = 1 for m.
1
Suppose 2*a = -3*a. Suppose a = o + 2*i, 2*o = i + 5 - 0. Let p(y) = 2*y**2 - 2*y - 1. Let f be p(o). Solve -z = f*z for z.
0
Let v = -2 - -4. Let l be 11/2 - v/4. Solve l*c - 6 - 4 = 0 for c.
2
Let f = -3 - -6. Suppose 3*r - 4*q + f = 22, -4*r - 5*q = -15. Solve -r*l = -2*l for l.
0
Let u = 293 - 193. Suppose -3*v - 2*v = -u. Solve -6*b + 2*b + v = 0 for b.
5
Let n(v) = 2*v + 38. Let w be n(-17). Solve f + f = -w for f.
-2
Suppose -3*u + 0*m + m + 25 = 0, 0 = 3*u - 3*m - 33. Suppose -j - r = 2*r + u, 2*j - r = 14. Solve 5 - 30 = j*y for y.
-5
Let q = 0 + -6. Let p(w) = -w**2 - 6*w + 3. Let o be p(q). Let r be -1 - -1 - 1/(-1). Solve -o = -2*g + r for g.
2
Let n(a) = a**2 - 6*a + 1. Let q be n(4). Let s = -5 - q. Solve -4 = 3*r - s*r for r.
-4
Suppose -3*v + 13 = 5*p, 2*p = 4*v + v - 1. Solve -3 - p = t for t.
-5
Let h(u) = -13*u**3 - u**2. Suppose 3*j + 3*y = -7 + 1, -4*j + 1 = -5*y. Let q be h(j). Let v be 4/q - (-34)/6. Solve v*d = d for d.
0
Let h = -6 - -4. Let d(a) = -43*a**2 + 44*a**2 + 2*a + 1 + 0*a. Let g be d(h). Solve g = w - 3 for w.
4
Let l be 4/6 + -1 - 9/(-27). Solve l = 2*d - 15 + 7 for d.
4
Let r be 2/3*3 + -1. Let o be 5 - (1 - 0 - r). Solve 0 = -o*s - 20 for s.
-4
Let p(g) = -g**2 + 9*g - 11. Let a be p(8). Let b = a - -7. Suppose -b*u = -6*u. Solve -2*c + 6 = -u for c.
3
Let m(i) = 2*i**2 - 4*i**2 - 2 + i**2 - 6*i. Let d be m(-5). Let f = d + 1. Solve f*c = -c - 15 for c.
-3
Let s(b) = -6*b**2 - 2*b + 1. Let j be s(1). Let z = 10 + j. Solve z*f + 8 = -f for f.
-2
Let m be 2/(-14) - (-650)/91. Suppose m + 13 = 4*f. Solve -14 - 6 = -f*n for n.
4
Suppose -4*l = 5*q + 9, 2*q = -5*l + 7*q + 45. Let w(d) = -d. Suppose -2*f + 0 = 6. Let k be w(f). Solve -l = 4*c - k*c for c.
-4
Suppose s = 4*q - 5, -2*q + 2*s = 7*s + 3. Suppose -o + 1 = w, 4*w = 4*o + 9 - 21. Let d be (3/o)/(q/2). Solve b = d*b for b.
0
Suppose -3*x = -4*h + 2*x + 27, -h + 4*x + 4 = 0. Let c be (6/h)/(3/(-12)). Let o be (3 - 1)/(c/(-6)). Solve -w + 25 = o*w for w.
5
Let z be (-4)/(-6)*2*3. Let w be 5 + (z + 2)/(-3). Solve 0 = o - 1 + w for o.
-2
Let y be 1/3 + (-3)/9. Suppose 3*l - 2*l + 1 = 0, -4*c + 4*l + 16 = y. Let b be 6*(-2)/(-9)*c. Solve -5*n - 11 - b = 0 for n.
-3
Let v(y) = -4*y - 7. Let t(u) = -2*u + 3*u + 5 + 2*u. Let b(g) = 7*t(g) + 5*v(g). Let q be b(2). Solve n + 12 = -q*n for n.
-4
Let b = -37 - -41. Solve 2*t = b*t for t.
0
Let j be (2/(-4))/((-1)/(-20)). Let h(q) = -2*q - 15. Let u be h(j). Solve 16 = u*t - t for t.
4
Suppose 0 = -d + 3*d - 3*w, -5*d - w = 34. Let m be (4 + 2)*d/(-4). Solve -4*z + 3 = -m for z.
3
Suppose -2*b = -3*b. Let j(v) = 2*v - 2. Suppose -4*k = 1 - 13. Let c be j(k). Solve b + c = -2*t for t.
-2
Let x(d) = d**2 + 15*d + 17. Let s be x(-14). Solve y + 2 - s = 0 for y.
1
Let q(m) = -7*m**3 - m**2 + m - 1. Let k be q(1). Let p(b) = b**2 - b - 2. Let v be p(4). Let d = k + v. Solve 7 - d = -a for a.
-5
Let r(s) = s - 6. Let i be r(9). Suppose -5*p - i = 2*z + 17, -5*p = 20. Solve -6*b + 5*b + 4 = z for b.
4
Let f be 3/(1*(2 - 3)). Let u = f - -7. Let y be (u/4)/(2/4). Solve -5*t + y = -23 for t.
5
Let i(r) = r + 4. Let w be i(0). Suppose -2*c + 4*v = -4, c - 3 = -w*v + 5. Suppose 0 = c*f + f - 10. Solve -8 = -f*m + 4*m for m.
-4
Let x(m) = -64*m + 322. Let c be x(5). Let p(b) = -b**3 - 2*b**2 + 3*b. Let v be p(-3). Solve c*q = -v*q - 2 for q.
-1
Let u be (3 - 4)/(((-1)/(-2))/(-1)). Solve u*i = 4*i - 2 for i.
1
Suppose -2*t = -3*t. Suppose -3*h + 17 - 2 = t. Solve 0 = n - 2*n - h for n.
-5
Let t be 4 - (0 - (-2 - -4)). Suppose 0 = -2*j - 0*j + t. Let f be j/(6 + -3)*0. Solve -4*d = -f*d for d.
0
Let n be (3 - -1)*6/(-8). Let x be 0 + (-39)/n + 2. Solve 8*v + x = 3*v for v.
-3
Let p(o) = o**2 - 11*o - 8. Let f be p(12). Solve f*z + 1 + 3 = 0 for z.
-1
Let i(m) = m**3 + 6*m**2 - 7*m - 1. Let q be i(-7). Let l be q/(-3) - 25/(-15). Suppose 5*u = -l*y + 14, -y + 5*u = -5*y + 18. Solve -s = -y*s - 2 for s.
-2
Let b(z) = 3*z - 3. Let d be b(2). Let v(r) = -3*r - 3*r + r. Let k be v(-4). Solve -k = -i - d*i for i.
5
Let w(m) = -m - 5. Let i be w(-7). Let f be ((-160)/24)/(i/(-6)). Solve -5*a = -a + f for a.
-5
Let x(s) = -2*s + 1. Let j = -10 + 7. Let n be x(j). Suppose -n*w = -3*w. Solve w*c = -c for c.
0
Suppose -4*d + 8 + 8 = 0. Suppose s - 3*s - l = -8, 3*s - d*l = 23. Solve -t + 20 = -s*t for t.
-5
Let z(s) = -3 + 1 - 5*s + 4*s - 1. Let p be z(-3). Suppose -3*n - 2*n = -125. Solve -3*i - 2*i - n = p for i.
-5
Suppose 11 - 8 = 3*s. Solve l + 1 = -s for l.
-2
Let h = 2 + 3. Suppose 0*j - h*j + 25 = 0. Suppose -j*s - 3*z + z + 33 = 0, 0 = 4*s - 5*z. Solve -13 - 7 = -s*p for p.
4
Let l = -29 + 44. Suppose -5*g + 9 = 3*x, -l = -5*x + 4*g - g. Solve 2*s - 7 = -x for s.
2
Suppose -v = 125 - 131. Solve 2*n + n = -v for n.
-2
Suppose -3*b - m = -14, 2*b - 3*m - 2 = -0. Suppose -5*z + 4*z + b = 0. Suppose -8 = -5*c + 7*g - 4*g, -2*c + z*g = 8. Solve 0*x = -c*x for x.
0
Suppose -2*g + 0 = -2*x + 16, -3*x = 3*g. Let i be (x/3)/((-10)/(-15)). Let w be (2/(-4))/(1/(-6)). Solve -i*f + w = -f for f.
3
Let m = 0 + 3. Let b = -1 - -4. Suppose 5*x + 5*c - 19 = 11, -b = -3*c. Solve x*j - 7 = m for j.
2
Suppose -r = -0*v - 3*v - 14, 2*r = -2*v + 4. Let x = 9 - 4. Solve -x*u - r = 10 for u.
-3
Let j be (0 - 1) + (-9)/(-3). Suppose -2*w + 3*v - 7 + 22 = 0, -4*w + 2*v = -10. Solve -j*b + w = 2 for b.
-1
Suppose -2*w - 4*p + 52 = 0, 0 = w - 5*p - 4 - 1. Let z be 32/(-3 - w/(-4)). Solve -4*u + 0*u + z = 0 for u.
4
Let z = 0 + 3. Let y = -4 - -9. Suppose 4*u - 24 = m, -u = -4*u - 5*m - y. Solve -u = z*s - 2 for s.
-1
Let u = -3 + 5. Let a = u + -2. Solve a = 3*k - 6*k - 9 for k.
-3
Let d = 16 + -18. Let p(y) be the third derivative of -y**4/12 - y**3/2 - y**2. Let j be p(d). Solve 0 = t + 4 - j for t.
-3
Let x be (136/6 - -2) + 5/15. Let r = 4 - 1. Solve r*v = -2*v + x for v.
5
Suppose -3*d - 3*w + 52 - 22 = 0, -4 = -w. Let k be ((-2)/7)/(d/(-42)). Solve v + 3 = -k*v for v.
-1
Let c(y) be the third derivative of -y**6/60 - y**5/15 - y**4/12 - 3*y**2. Let m be c(-2). Suppose -1 = -m*g + 11. Solve 7 = -g*o + 1 for o.
-2
Suppose -11 = -l - 7. Solve -d + 10 = l*d for d.
2
Let p(y) = 2*y**3 - 4*y**2 + 2*y + 2. Let d be p(2). Let l be (-8)/12 - (-40)/d. Solve -22 + l = 4*b for b.
-4
Let o(a) = a**3 + a + 5. Let d be o(0). Suppose 0 = 3*q - d*q. Solve -4*t + 3*t - 5 = q for t.
-5
Let v = -2 - -1. Let i = 0 - v. Let c be i*(2 + 0 - 2). Solve c*r = 5*r + 20 for r.
-4
Let a(i) = -i**2 - 2*i - 1. Let x be a(-3). Let h be 3/((-9)/x)*3. Let n be (-4)/14 - 93/(-7). Solve n - h = -3*b for b.
-3
Suppose -3 = 6*l - 57. Let q = -5 + 8. Solve 3*w - l = q for w.
4
Let p(b)