et h(u) = -u**3 + 8*u**2 - 7*u - 2. Let p(v) = v**3 + v**2 - 2*v - 1. Let s be p(2). Let o be h(s). Let r be -15*(o/3)/2. Solve -r = -4*c - c for c.
1
Let k = -4 + 16. Let n = -12 + k. Solve n = w - 4*w + 3 for w.
1
Let i(w) = w**2 - 4*w + 4. Let b be i(4). Suppose 7*k - 2*k - 5 = 0. Suppose 0*o - b*s + 7 = 3*o, 0 = o + 2*s - k. Solve o*y = 11 - 1 for y.
2
Let t = 13 + -11. Solve s = t*s - 1 for s.
1
Suppose -j - 8 = j. Let l be 5*(-3)/12*j. Solve l + 0 = 5*b for b.
1
Let m(v) = -3*v**3 - 4*v**2 - 3*v - 2. Let u be m(-2). Let k(h) = h**2 - 12*h + 3. Let l be k(u). Suppose -2 + 14 = l*n. Solve n*d + 6 = d for d.
-2
Suppose 16 = -2*a - 4*y, 0 = 3*a - 2*a + 3*y + 13. Suppose 4 = a*h - h. Solve 0 = -h*g + 4 - 0 for g.
1
Let u be (-7)/(-21) + (-10)/(-6). Suppose 5*l + f - 3 = -2*f, -2*f - 14 = -u*l. Solve 3 = 4*k - l*k for k.
3
Let v(m) = -2*m - 18. Let i be v(-10). Solve o - i = 3*o for o.
-1
Let q = -5 + 5. Suppose q*p = p - 3. Solve -2 = u - p for u.
1
Suppose -v - h + 10 = 0, v + 20 = 3*v + h. Let p be (-6)/v*(0 + -5). Solve 0 = -p*g - 6 for g.
-2
Let o be 1*16 + 2 + -3. Suppose 5*u - 2*c + c = -o, 3*u - c + 7 = 0. Let b = 6 + u. Solve q + 0 = b for q.
2
Let c be 6*((25/3)/(-5) + 2). Solve 0 = -5*x + c*x + 6 for x.
2
Let o be (-4)/6 - 34/(-6). Suppose -2*v - 7 = -3*u - 2*u, 4*u + o*v - 32 = 0. Suppose u*l - 11 - 4 = 0. Solve -5*c + l + 0 = 0 for c.
1
Let i be (1 - 2 - -2)*4. Solve 10 + 2 = i*h for h.
3
Let n = 0 - -4. Suppose 3*v - 3*z - 4 = -z, 5*v = -n*z + 14. Solve 3 = -v*r + 7 for r.
2
Suppose -2 = -6*w - 2. Solve -4*f - f = w for f.
0
Let t(n) = n**3 + 2*n**2 - 2*n - 4. Let y(s) = -s**3 - 2*s**2 + 2*s + 3. Let h(f) = -2*t(f) - 3*y(f). Let m be h(-2). Solve -m*v = v + 12 for v.
-3
Let k be (6/2)/(1 + 0). Suppose -15 = -k*v - 0*v. Solve -2*y = v + 3 for y.
-4
Let v(h) be the second derivative of h**3/6 - h**2/2 + 6*h. Let f be v(5). Solve f*t - 7 + 23 = 0 for t.
-4
Let y(d) = -d + 8. Let n be y(-2). Solve j = -4*j - n for j.
-2
Let j = 107 - 107. Solve -15 = -j*i - 3*i for i.
5
Let j be 10/(-4)*28/(-35)*2. Solve j = b - 0 for b.
4
Let t = 17 - 14. Solve -1 = q + t for q.
-4
Let o = -25 - -39. Let i be o/5 + (-6)/(-30). Solve c - i*c = 0 for c.
0
Let t be 22/8 + 1/4. Suppose 0 = -t*m - 0*m. Solve m = z + z for z.
0
Let y be 4*(1 - 5/10). Solve 2*g + y = -4 for g.
-3
Suppose 2*h - 26 = -2*j - 0*h, 3*j = -5*h + 49. Let x = 8 - 7. Let a be (4 - (2 - 3))*x. Solve -l = -a*l + j for l.
2
Let x(y) = -y**3 + y. Let f be x(-1). Solve f = -r + 2*r for r.
0
Let p be -2 - (-6)/(-5 + 2). Let q = 4 + p. Suppose -5*t + 0*t + 20 = q. Solve 2*g - t = 3*g for g.
-4
Let g be ((-6)/(-9))/(2/(-3)). Let b = -3 - g. Let i = b + 4. Solve -1 = f + i for f.
-3
Let q(y) = -2*y**3 + 12*y**2 + 2*y - 12. Let k be q(6). Solve k = -5*b - 5 for b.
-1
Suppose 2*z - 10 = -4. Suppose z*j - 12 = l, 4*l + 35 = 5*j + 8. Let r = 0 - l. Solve 0 = r*b - 5*b - 10 for b.
-5
Let c(h) = h**2 - 5*h + 2. Let a be c(5). Suppose -2*n + 0*f + a*f = -14, -n = f + 3. Let x be (-1)/(-2*n/12). Solve x*m + 17 - 2 = 0 for m.
-5
Suppose 2 = -3*r + 20. Solve 0 = 2*u + 2 - r for u.
2
Let v = -6 + 8. Let t = -89 - -99. Solve -v*q + 7*q = -t for q.
-2
Let l(a) = -a**3 + 5*a**2 - a - 2. Let d be l(2). Suppose -d - 7 = -5*t. Solve 5*k - 2 - t = 0 for k.
1
Suppose -2*d - 38 = -4*y, -37 = -y - d - 4*d. Suppose 5*r - 4 = 3*r. Let s be 3/6*(y - r). Solve -s*w + w - 12 = 0 for w.
-3
Let j = 7 + -2. Suppose 3*m - j = 4. Suppose z + 5*x - 20 = 0, -m*x + 8 = 3*z - x. Solve -4*c + c - 12 = z for c.
-4
Let c(u) = -u**3 + 5*u**2 + 3. Let n = 13 + -9. Suppose 2*b = 14 - n. Let g be c(b). Solve -g*k - 12 = -0 for k.
-4
Let l be 2*((-6)/(-4) + -2). Let m(g) = g**2 + g + 2. Let r(x) = -x**3 + 1. Let y(t) = -m(t) + 2*r(t). Let q be y(l). Solve 2*h - q = -0*h for h.
1
Let g = 167 - 118. Let y be 14/g + (-33)/(-7). Solve y*w = 1 - 11 for w.
-2
Let f(l) = l**3 - 4*l**2 + 5*l - 4. Let w be f(3). Solve -c = w*c for c.
0
Let d(f) = 13*f + 1. Let u be d(-1). Let x = u - -24. Solve -v + 5*v + x = 0 for v.
-3
Let d(w) = w**2 + 6*w + 2. Let c be (-4)/12 + (-17)/3. Let p be d(c). Suppose p*v = -v. Solve -4 = q - v*q for q.
-4
Let a(d) = -d**3 - 3*d**2 - 3*d. Let g be a(-2). Solve -6 + g = 4*p for p.
-1
Let x = 19 + -25. Let d be 24/15 - x/15. Solve -5*t + d*t = 0 for t.
0
Let o(b) be the first derivative of 2*b**3/3 + 3*b**2/2 + b - 3. Let a be o(-2). Solve 10 - 1 = a*z for z.
3
Let t be (-21)/(-18)*-3*-2. Let q(o) = -2*o + 14. Let k be q(t). Let z = -1 - -1. Solve k = 3*w - z + 3 for w.
-1
Let a = 0 - 3. Let s be a*2*(-1 + -1). Solve -2 = -2*u - s for u.
-5
Let i be 426/24 - (-1)/4. Let d be (-6)/i + 145/3. Suppose -4*z + d + 32 = 0. Solve -z = s + 3*s for s.
-5
Suppose 0 = 5*s + 2*r + r - 1, 13 = 5*s - r. Solve 0 = -s*u + 2 - 0 for u.
1
Suppose 0 = 4*k - 4*g - 24, -4*g - 19 + 1 = -k. Let n(a) = -a - 1. Let v be n(-16). Suppose -v = -5*d + 4*l, 2*d + 1 - 7 = k*l. Solve p = -d*p - 20 for p.
-5
Let k be 2 - 3*(-6)/9. Suppose -k*v = -5*q - 31, -4*v - q = q - 10. Solve -5*h = -3*h + v for h.
-2
Let v(u) = u**2 + 8*u - 9. Let y(m) = 3*m**2 + 23*m - 26. Let l(i) = 8*v(i) - 3*y(i). Let g be l(-6). Let d = g + 2. Solve -j + 0*j = -d for j.
2
Let f(x) = x**3 - 7*x**2 - 7*x - 6. Let a be f(8). Suppose z + 11 = a*t - 26, 0 = -2*t + 5*z + 25. Solve 3*r = -r - t for r.
-5
Suppose -7 = 3*n - 4. Let d be (2/6)/(3/9). Let g = d + n. Solve -o + 6*o - 15 = g for o.
3
Let a be (90/(-21))/((-2)/14). Suppose 3*i - a - 34 = 2*n, -4*n = i - 12. Let r = -151 - -154. Solve -r*d - i = d for d.
-5
Suppose 0 = -3*r - 0 + 12. Suppose r - 1 = v. Solve v*j + 4 = -11 for j.
-5
Suppose -y = -5*l - 1, 61 = 4*y + l - 2*l. Let s be y/2*3/12. Solve -s*b = 3*b for b.
0
Let w(d) = -d - 5. Let a be w(-8). Solve 3 = -2*t - a for t.
-3
Suppose 10*j = 2*j + 24. Solve 0 = -l + j - 0 for l.
3
Let y be 0 + 2 + -4 - -4. Solve -i - y*i + 15 = 0 for i.
5
Let h be -4 - (-1 + -1) - -7. Let g be h*4/(-30)*-3. Suppose -g*b + 3 = -3. Solve -4*u + b = -u for u.
1
Let s = -22 - -38. Let v be 76/s - (-4)/16. Solve p - v = -4*p for p.
1
Let c be 7/(-21) - (-17)/(-3). Let w be 3 + -3 + 6 + c. Suppose -5*a - 3*i + 8 = 0, 3*a - 1 = -2*i + 4*i. Solve s = -w + a for s.
1
Suppose 0*n - 11 = n + c, 0 = n + 4*c + 2. Let h = -14 - n. Solve h = 4*u + 9 - 29 for u.
5
Let y be 4/1*(-3)/(-6). Let s be (10/(-25) + 1)*5. Solve y*l - s*l = -2 for l.
2
Let l = 31 + -22. Solve 0 = 4*i - l*i - 10 for i.
-2
Suppose 2*m = -0*m + 4. Let v be m/9 + (-75)/(-27). Suppose c - v*y + 11 = 2*c, -5*y + 13 = -c. Solve -c*o + 10 = 4 for o.
3
Suppose 0 = -j + 2 + 3. Let b be (1 - (-5 + 9)) + -1 + 4. Solve v + b*v + j = 0 for v.
-5
Suppose -3 = -2*i - 5. Let a be ((1*-3)/3)/i. Solve -3*t + 2*t = -a for t.
1
Let r(y) = y**3 - 7*y**2 - 8*y. Let n be r(8). Suppose -4*b - 6 = -2*g, 4*b + 21 = 5*g - n. Let z(d) = d**2 - d. Let i be z(1). Solve u = -i*u + g for u.
5
Suppose -v + 3*w + 12 = 0, 0*v - 24 = 3*v + 3*w. Let z be (-2)/v*-3 + 3. Solve 2*u = 5 + z for u.
3
Suppose -23 = -2*p - 9. Solve -4*l = -5 - p for l.
3
Let i(v) = -v**2 - v + 2. Let n be i(0). Let h be ((-26)/(-4))/(1/2). Let f = 38 - h. Solve -3*j - n*j = f for j.
-5
Let r be (8/5)/((-2)/(-5)). Let x be (2 + -32)*r/(-12). Let a = -1 + x. Solve 2*z - 1 = -a for z.
-4
Suppose 5*f + v - 24 = 0, 2*f - 22 + 6 = -2*v. Solve 0 = -o + 5*o - f for o.
1
Let z(i) = -i**3 + 7*i**2 - 9*i + 1. Suppose 4*v + 41 = -0*n + 5*n, -3*n - 4*v - 1 = 0. Let k be z(n). Solve 0*o - k = -3*o for o.
2
Let o = -140 - -144. Let p = 210 - 140. Suppose -10 = s - 5*x, 5*s = o*x - 9*x + p. Solve 4*n - 10 = s for n.
5
Suppose -2*o + 2*v = 3*o - 2, -5*o = 2*v + 2. Suppose 3*g = 6 - o. Solve -g*h + 7 = -1 for h.
4
Let z be 0 - -4 - (-1 + 2). Solve g + z - 2 = 0 for g.
-1
Let r = -2 - -4. Suppose -6*k + r*f = -3*k - 18, 0 = 2*k + f - 12. Let q(p) = 2*p**2 - 8*p + 5. Let w be q(5). Solve d + w = k*d for d.
3
Suppose 11 + 3 = 4*w - 3*f, w - f = 3. Solve w*u = 2*u - 6 for u.
-2
Let m be (10/(-25))/(6/(-45)). Let a = 4 - -2. Suppose 4*t + p - 4*p + 6 = 0, -2*t = -3*p + 6. Solve m*u = -t*u - a for u.
-2
Let g be (-2 + 15/9)*0. Suppose 3*m + 3*v - 21 = g, -5*m + 7 = -2*v - 0*v. Solve -j + m*j = 0 for j.
0
Let s = 474 + -470. Let v = -4 - 1. Let a be 1*-1*v/1. Solve a*i - s = 6 for i.
2
Suppose -4*x + 