2 + 2*g**3 - 4 + g**3 + 5*g**2. Let r be v(6). Solve r - 1 = p for p.
3
Let p be 9 - 7 - (-4)/1. Suppose 3*x - p = 3. Solve -8 = k + x*k for k.
-2
Suppose -3*k + 18 + 15 = 0. Suppose 8*d = k*d - 9. Solve 2 + d = -f for f.
-5
Suppose -t + 2 = -0. Suppose -160 = 7*n - t*n. Let y be n/(-12) + (-6)/9. Solve s - 3*s = y for s.
-1
Let f(w) = 2*w**2 - 7*w - 1. Let j be f(5). Let a = j - 12. Solve 5*s + a = -3 for s.
-1
Let d(m) = -m**2 - 2*m**2 + 4*m**2 + 2*m. Let v be d(-3). Solve -1 = v*h + 11 for h.
-4
Let z = -13 + 14. Solve 0*r = r - z for r.
1
Suppose 4*r - 80 = -20. Solve -2*j + r = j for j.
5
Suppose 5*g - 4 - 11 = 0. Let s = -109 + 58. Let v = s + 71. Solve -g*l - v = 2*l for l.
-4
Suppose 2*f - 4 = 96. Let y be 141/(-4) - (-1)/4. Let z = y + f. Solve 4*l = l - z for l.
-5
Let n(z) = -z + 2. Let a(k) = 4*k - 3. Let p(q) = 5*q - 2. Let r(j) = -4*a(j) + 3*p(j). Let s be r(6). Let c be n(s). Solve c*f - 9 = -f for f.
3
Suppose -5 = 3*y + 4*g, -4*y - 4*g - 10 = -2*y. Solve -y + 0 = -o for o.
5
Let u = 6 - 6. Solve -h - 3*h = u for h.
0
Let o = -13 + 13. Let d be 0/(3/(-3 + o)). Solve 3*n - n = d for n.
0
Let g be 4 + (18 - 8/(-4)). Solve g = -5*w - 1 for w.
-5
Let f(d) be the first derivative of -d**3/3 + d**2 - 2. Let m be f(2). Solve 0 = 2*j + 2 - m for j.
-1
Suppose 0 = a + a - 4*a. Solve o - 4*o - 15 = a for o.
-5
Let o be (4 - 7)*((-1)/3)/1. Solve -o = y + 3 for y.
-4
Let y be (-2)/(2 + 0) + (12 - 11). Suppose 5*i + 5*j + 35 = 0, 0 = -2*i + j + 3*j - 8. Let r be 4 - 3/(i/(-4)). Solve -r*z - 7 + 17 = y for z.
5
Let f = 6 + -10. Let d = -28 + 21. Let r = f - d. Solve s = 4*s + r for s.
-1
Suppose -14 - 10 = -4*h. Suppose 0 = i - h*i + 15. Solve -4*x + i = -x for x.
1
Let b be (2 + -3)*-1*1. Let l be b/6 + (-546)/36. Let k be (-1)/(((-9)/(-3))/l). Solve -k*y - 12 + 2 = 0 for y.
-2
Let z be (-5)/(-2) - (-2)/4. Suppose -2*x + 10 = z*x. Solve j + x = -j for j.
-1
Suppose 0 = 3*k - 4 - 2. Let i be (k + -4)*5/(-2). Solve 4*c = i*c - 1 for c.
1
Let h be (-28)/10*(-25)/10. Suppose 2*z + 2*s = 10, -z = z - s - h. Solve -z - 2 = -2*v for v.
3
Let p be 3 + 8 + 2 + -3. Let r be 1*(-1)/1 + 3. Solve -r*j = p - 0 for j.
-5
Suppose -6*i = -12 - 6. Solve i*k - 10 = -2*k for k.
2
Let h(t) = t - 2. Let u be h(6). Let o(y) = y**3 - 4*y**2 - y + 4. Let x be o(u). Let i be x/(1 + -2) + 0. Solve 2*r + r + 6 = i for r.
-2
Let l(g) be the first derivative of -2 + g + 4/3*g**3 + 1/2*g**2. Let d be l(-1). Solve 0 = -d*u - u for u.
0
Let b = -5 - -7. Suppose -t + b*o - 18 = 3*t, 3*t + 11 = o. Let q be t*(-1)/(-1 + 3). Solve -h - q = -5 for h.
4
Let b(j) = -j**3 + 6*j**2 + 4*j - 9. Let k be b(6). Suppose -2*t = 5*y - 40, y + 5*t - 16 = k. Solve -2*o + y*o = 20 for o.
5
Suppose -4*q = -8*t + 4*t - 28, 2*q + 3*t = -6. Solve o + q = 2*o for o.
3
Suppose 0 = -k - 3, 2*g + 2*k + 11 = 3*g. Suppose -35 = -4*x - g*d, -3*x + 24 = -0*x + 3*d. Solve x*n = n for n.
0
Let s be -6*(1 - 12/9). Solve 0 - 2 = -s*a for a.
1
Let x be (-5)/((-20)/(-8)) + 2 + 8. Solve 4*q + 12 = x*q for q.
3
Suppose 5*w + t + 13 = 0, 9 = -2*w - 3*t - 4. Let d = 2 - w. Suppose 3*z - z - 2*v - 10 = 0, -4*z + d = 4*v. Solve l = 2*l - z for l.
3
Let c = -1 + -2. Let k = c - -7. Let b(h) = h**3 - 6*h**2 - h + 7. Let q be b(6). Solve -k*v + 5 - q = 0 for v.
1
Let o be (-5)/(-20) - (-2)/(-8). Let f be -2 - -4 - (1 - 2). Suppose -2*c + 3*c - f = 0. Solve c = -o*s - s for s.
-3
Let t be 1*(-1)/(-3) + (-4)/(-6). Solve -2*s = -t + 5 for s.
-2
Suppose -5*d + d = -32. Let r = -6 + d. Solve 0 + 8 = -r*k for k.
-4
Suppose 2*f - 6*f = 32. Let g be (3/2)/((-4)/f). Solve -5*v - 6 = -g*v for v.
-3
Suppose -5*d + 3*d + 22 = 0. Let p(i) = -i**3 + 8*i**2 + 7*i + 20. Let a be p(9). Suppose -m = a*m - 78. Solve d = -5*z + m for z.
3
Let m = 1 + 0. Let q be (m - 1)*(-7)/(-14). Solve 0 = -q*a - 4*a + 16 for a.
4
Let t = 44 + -29. Let r be (-4)/10 - 34/(-10). Let j = 5 - r. Solve t = j*x + x for x.
5
Let z be -1*2/2*-20. Suppose 1 = 2*w + d, 0*d + z = -4*d. Suppose -w*a + a = -4. Solve -25 = -7*c + a*c for c.
5
Let c be 6/4*-1*-2. Solve 0 = 3*n - 6 - c for n.
3
Let w(a) = 2*a**3 - a**2 + a. Let o be w(1). Let n be (-6)/((0 - o) + 1). Let k = -32 + 36. Solve -k = -2*v + n for v.
5
Suppose 0 = 11*q - 81 + 15. Solve 3 = t + q for t.
-3
Suppose 63 = 4*n + 7. Suppose -3*r - 8 + 2 = 0, -2*t + n = -5*r. Solve -t*w = -0*w - 4 for w.
2
Suppose 34 = 4*w + 2*p, -w - p - 2 = -9. Solve -o - o - w = 0 for o.
-5
Let j be (-1)/((-22)/(-6) + -4). Solve -m + j = -1 for m.
4
Let s(t) = t**3 + 14*t**2 + 2*t + 31. Let p be s(-14). Solve -m = p*m - 12 for m.
3
Let y be 0/(-2) - (-2 + -1). Suppose y*d = 6*d - 6. Solve d*x + 0*x = 0 for x.
0
Suppose 3*w - 18 = -2*f, 0 = -3*w - 0*w - f + 18. Solve m + m - w = 0 for m.
3
Let o(s) = 3 - 4*s + 0 - 2. Let j be o(-1). Solve -5*v + j = -0 for v.
1
Let v(k) = k**2 + 2*k. Let d be v(-3). Solve -1 + 4 = -d*n for n.
-1
Let t be (-7 - (2 + -8))/((-1)/(-5)). Suppose 2*g = -2 - 40. Let c be t/(-3) + (-7)/g. Solve -4*x = -c*x + 6 for x.
-3
Suppose 0 = -g + 3*g + 4*y - 38, 31 = g - 2*y. Let d be (0 - 1 - 1)*-2. Suppose w = -d*w + 30. Solve 0 = -q + w*q + g for q.
-5
Let h(n) = -5 + 3*n - 9*n**2 - 12*n + n**3 - 5. Let j be h(10). Solve j*f - 4 = f for f.
-4
Let k = -23 - -14. Let a(h) = -h**2 + 1. Let w be a(-2). Let c be w/k*-1*-6. Solve c*y + y + 15 = 0 for y.
-5
Let r = -78 - -86. Solve 5*i - r = 12 for i.
4
Let p(j) = -j**3 - 5*j**2 - 2*j + 2. Let d(z) = 2*z + 6. Let o be d(-5). Let f be p(o). Let a = f - -9. Solve a + 0 = -x for x.
-3
Let q(c) = c**2 - 7*c. Let v be q(7). Solve -o + 5 + v = 0 for o.
5
Suppose -4*s + s - 12 = 0. Let l = 20 + s. Let w(f) = 3*f**3 - f**2 - f + 1. Let p be w(1). Solve -l = 2*c + p*c for c.
-4
Let s(z) = -9*z. Let o be s(3). Let f = -19 - o. Let q = f - 5. Solve -q*n - 10 = -5*n for n.
5
Let v(b) = -b**3 + 5*b**2 - b - 5. Let w(x) = 2*x - 1. Let t be w(3). Let k be v(t). Let s be (-24)/(-10) + 4/k. Solve g = -2 - s for g.
-4
Let o be (4 - 1) + (-1)/(-1). Suppose -o*y + 2*v = -66, -6 = 4*v + 6. Let l be 0*((-2)/(-2) - 0). Solve l = -2*i - 3*i - y for i.
-3
Let y be -2 + 12/(0 - -3). Let f(m) = -2*m**2 + 6*m**y + 2 - m**3 - 4 + m. Let t be f(4). Solve 12 = 5*k - t*k for k.
4
Let o(g) be the third derivative of g**6/120 + 7*g**5/60 - 11*g**4/24 + g**3/6 + g**2. Let a be o(-8). Solve -4*d = d + a for d.
-5
Let z(p) = p**3 + 2*p**2 - 3*p + 4. Let g be z(-3). Let i be (-6)/g*(-20)/15. Solve -i*s + 10 = 3*s for s.
2
Let q = -1 + -4. Let g be 35/4 + q/(-20). Solve 3*x = g + 6 for x.
5
Suppose 25*t - 9*t = 192. Solve -z = 3*z + t for z.
-3
Let b = 12 + -17. Let v = 5 + b. Solve 5*y + 4 + 1 = v for y.
-1
Let v be -2 - (2 + -36 + 0). Suppose 0 = -5*k + 43 + v. Let s be 3*3*k/9. Solve -2*o - s = o for o.
-5
Suppose 3 = 2*n - h, 3 = -h + 2. Solve -19 = -5*i + n for i.
4
Suppose 2*w + 9*g - 5 = 8*g, -2*w - 20 = -4*g. Solve x + w = -1 for x.
-1
Let b(n) = 2*n - 12. Let a be b(9). Suppose 0 = -3*y - a + 15. Solve -y*u - 16 = u for u.
-4
Let a(j) = -j - 6. Suppose 2*m - 4*h = -36, -m - 47 = 3*m - 3*h. Let c be a(m). Solve -z + 3 = -c for z.
5
Suppose -4*w + 115 = 6*c - c, 0 = -c - w + 23. Suppose -h = 11 - c. Solve 3*m - 3 = h for m.
5
Suppose d = -4*s - 2*d + 18, 4*s = -2*d + 16. Let n be (-76)/(-24) - (-1)/(-6). Let i be n/(3 - 63/24). Solve i*a - s*a = 25 for a.
5
Suppose -65 = -4*p - p. Suppose 5*x - p = 7. Solve -x = -0*r + r for r.
-4
Let i be 4/(-18) + ((-20)/(-9) - 2). Solve i = -g + 2*g - 2 for g.
2
Let g = 60 - 56. Solve -g - 8 = 4*d for d.
-3
Let s = -28 + 30. Solve 0 = s*u + 3*u for u.
0
Let c = -4 + 8. Solve -3*v + 5 = -c*v for v.
-5
Suppose 5*u - 17 + 7 = 0. Let q(c) = c**3 + 2 + 2 + 9*c**2 + 9*c + 9 - 3. Let o be q(-8). Solve o*w + u*w = 0 for w.
0
Let a(t) = t**3 + 2*t**2 - 2*t + 7. Let s be a(-3). Solve z = -s*z for z.
0
Let l = -13 + 15. Solve -10 = 7*h - l*h for h.
-2
Suppose -3 = -2*a - 1. Suppose -7*v = -6*v. Solve a = -v*s + s for s.
1
Suppose -14 - 18 = -2*x. Suppose -4*a = 5*n - 16, 5*n - 4*a + x = 3*n. Solve 0 = -n*k + 2*k - 8 for k.
4
Let v be 4 + 1 - (-24)/(-12). Solve z + v - 4 = 0 for z.
1
Suppose k = -2*z + 4*z + 43, 195 = 5*k - 5*z. Suppose d - 2*b - k = -2*d, 4*b + 10 = 2*d. Let h(i) = i**2 - i - 4. Let u be h(-2). Solve -u*s - d = s for s.
-5
Let p(f) = 5*f - 10. Let x b