) = -f**3 + f. Let b(s) = -3*s**3 + s**2 + s - 1. Let v(l) = -b(l) + 4*z(l). Let u be v(-4). Solve -5*q - 12 = -u for q.
5
Let b be -1 - -3 - (2 - 0). Solve 0 = -b*j - 2*j for j.
0
Let g be 1/2 - (-46)/4. Solve -4 + g = 4*t for t.
2
Let s = 58 - 52. Solve -5*g = -3*g + s for g.
-3
Let t = 12 - 5. Let y(q) = q**2 + 5*q. Let f(u) = -2*u**2 - 4*u - 1. Let s(a) = -2*f(a) - 3*y(a). Let g be s(t). Solve -1 = -3*b + g for b.
1
Let j(g) = -2*g**3 - 6*g**2 + 3*g - 2. Let v(c) = c**3 + 6*c**2 - 4*c + 3. Let d(k) = -2*j(k) - 3*v(k). Let a be d(5). Solve a = z + 2*z + 12 for z.
-4
Suppose 2*a + a = 15. Suppose -4*l = -a*l + 13. Solve -1 = -3*g - l for g.
-4
Suppose z - 3*h + 12 = 0, -4*z - z - 8 = -2*h. Solve z*n - 5*n = -20 for n.
4
Suppose -8 = 4*t, 1 - 15 = -4*j - t. Let v be 1 + (36 - (4 + -2)). Suppose 4*p + 0*p + 2*k = 30, 0 = -4*p - 3*k + v. Solve -i + p*i = j for i.
1
Suppose 0 = -3*n + 4*h + 1, -3*n + 5*h + 2 = 6. Solve -3*p = -n*p for p.
0
Suppose 3*g = -2*v + 13, -3*v + 3*g + 3 = 21. Let c = -72 - -102. Let x be (v/2)/((-5)/c). Solve -2*i + 25 = x*i for i.
5
Let o = 9 + -5. Suppose 5*p + 2*z - o = 0, 7 = -3*z - 2. Solve -j + 1 = p for j.
-1
Suppose 2*l + 10 = 7*l. Solve l*d - 3 - 3 = 0 for d.
3
Suppose 3*h - 2*d = 104, -h + 52 = -2*d - 3*d. Solve 4*x - 12 = -h for x.
-5
Suppose -5*q + 6 = -9. Suppose 2*n + q*n + 4*u = -38, 10 = -3*n + 4*u. Let j be n/(-4)*20/3. Solve 0 = -5*y + j - 0 for y.
2
Let b be ((-30)/20)/(6/(-64)). Solve 0 = 3*w + w - b for w.
4
Let d be -1 + -1 + (3 - 1). Suppose 3*l + 0*j + 6 = 3*j, -3*l + 5*j - 16 = 0. Solve -l*k + d - 3 = 0 for k.
-1
Let w(g) = -2*g - 7. Let t be w(-6). Suppose 3*i + 3 = -2*d + 8, t*d = 5*i - 25. Solve -i = a + 2*a for a.
-1
Let a be ((-4)/2 - 0)*-1. Let d be a + (6 - -3)/3. Solve 3 = 2*b - d*b for b.
-1
Let d(u) = -u**2 + 7*u - 6. Let j be d(5). Suppose 2*l - 5*l + 9 = 0. Solve l*n = 5*n - j for n.
2
Suppose -3 = -3*d + 4*g + 5, -3*d + 3*g = -6. Suppose 2*y + d*y = 0. Suppose 2*x + 28 = 4*b - 2*x, y = -5*x - 10. Solve 3*z + b = -4 for z.
-3
Suppose -6*w + 5*g = -w + 5, 5*g - 5 = 0. Suppose 20 = 4*t - w. Solve -2*q = -t*q - 9 for q.
-3
Let j = 12 + -14. Let a be (-3)/(-6)*j + 4. Solve 0*p - a*p = 0 for p.
0
Let j(p) = -p**2 - 10*p - 15. Let c be j(-6). Let k(g) = -g**2 + 10*g - 7. Let m be k(c). Solve m*v = -3*v - 20 for v.
-4
Let a(z) = z**2 - 2*z - 3. Let l be a(-1). Suppose 3*b = -3*t + 3 - l, -t = -4*b - 1. Solve 0 = j + 2 - t for j.
-1
Suppose -o - 16 = -5*o. Suppose 3*v + 5 = 2. Let c be v + -1 + 4 - -11. Solve -3*d = -o + c for d.
-3
Let n be ((-1)/(-3))/((-6)/108*-3). Solve v - n = -1 for v.
1
Let w = -3 - -1. Let s be w/(-9) - 102/(-27). Suppose 2*t + s - 14 = 0. Solve 6*a - 2 = t*a for a.
2
Suppose 3*f - 2*f = 2. Suppose -f*c = 10, -6 = b - 3*c - 18. Let i = b - -5. Solve 3 = -5*r - i for r.
-1
Let v(m) = 2*m + 1. Let x(u) = u**3. Let j be x(1). Let n be v(j). Suppose -n*o + 8 = 2. Solve -6 = -o*w - 16 for w.
-5
Let t(a) = 10*a**3 + a**2 - 1. Let j = -7 + 9. Suppose j*r - r = 1. Let x be t(r). Solve -x = -4*b - 2 for b.
2
Let t(l) be the first derivative of -l**2 - 6*l - 4. Let y be t(-4). Solve 0 = -y*w + 2 + 8 for w.
5
Let h be 2*(-4)/8 - -3. Let z be (45/20)/(6/16). Suppose 3*f - 3*x = -h*x + 6, 2*f + z = 4*x. Solve 0 = -q - 2*q + f for q.
1
Suppose 156 = o - 3*o. Let l be (-2)/3 + o/(-9). Suppose -l = -2*g + 6. Solve 5*d + 8 = -g for d.
-3
Let u = -2 + 27. Suppose 0 = 3*t - 5*y - u, 0 = -4*t - t + 4*y + 20. Solve b + 3*b = t for b.
0
Let z(l) = -4*l + 5. Let p be z(-1). Solve 4*t = t - p for t.
-3
Suppose 2*h + 2*s - 6 = 0, -4*s = 5*h - 6 - 11. Solve -10 = -h*f + 15 for f.
5
Suppose 5*r - r - 12 = 0. Suppose 3*m = 2*f - 16, -r*f + f + 4*m = -20. Suppose 5*y + 2 = 2*g - 0*y, -2*y = -2*g + 8. Solve 0 = f*l + l - g for l.
2
Suppose -3*q = 2*q - 40. Let m = q - -7. Let h(p) = -p**2 + 9*p - 8. Let c be h(8). Solve c*n + 3*n = m for n.
5
Suppose -8*k + 4*k + 24 = -5*o, -3*o = 5*k + 7. Suppose -5*h = -16 + k. Let u(g) = 2*g - 1. Let m be u(h). Solve -5*q - m + 0 = 0 for q.
-1
Let y = 34 - 27. Solve 4*h - 5 = y for h.
3
Let r be (1 - 2)*0/(-4 - -2). Solve 0 = -2*t - r*t for t.
0
Let h be (-5 + 3)*1*2. Let m be (h - -4)/(1 - 3). Let l(x) = -x**3 - 4*x**2 - 3*x + 3. Let j be l(-3). Solve -a + 0*a - j = m for a.
-3
Suppose 5*p - 15 = -i + 6, -4*p + 2*i + 14 = 0. Solve -3*h + p*h = 1 for h.
1
Suppose 7*d = 4*d - 42. Let r = -11 - d. Solve 3*p + r - 6 = 0 for p.
1
Let w(h) = -7*h**2 - 3*h - 2. Let d(g) = -6*g**2 - 3*g - 2. Let c(x) = -6*d(x) + 5*w(x). Let a be c(-3). Solve a*k - 2 = -0 for k.
1
Let y be 1*(3 - 0) - 1. Suppose 0*u + y*u = 40. Suppose u = p + 3*p. Solve j = -4*j - p for j.
-1
Let v be 1*-2*6/(-4). Suppose 3*y = 5*u - v*u - 19, 0 = -u + 2*y + 12. Let d be 2*(u + -1)*1. Solve d = -0*w + w for w.
2
Let p(w) = 6*w + 2 - 4 - w**2 + 4. Let v be p(4). Solve -d + v = d for d.
5
Suppose 5*x = 20, 5*x - 15 = 3*g - 4*g. Let a be 3*((-10)/3)/g. Solve 3 = -a*o + 1 for o.
-1
Suppose -b = -3*b + 16. Let v = b + -6. Solve -d - 1 = v for d.
-3
Let o = -23 + 25. Solve -s + 2*s - o = 0 for s.
2
Let w(y) be the first derivative of -y**2/2 - 15*y + 9. Let k be w(-16). Solve 3 = q - k for q.
4
Let o be 0/1 - 0 - -2. Suppose 4*g = 4*w + 28, 0 = -2*g - 2*w + o. Solve c + c = -g for c.
-2
Let g = 12 - 10. Suppose -g*z + 43 = 3. Suppose 0*d + 4*d = 3*y - 4, 3*y - 5*d = 5. Solve y*w + z = 5*w for w.
4
Let s = -11 - -19. Let u = -5 + s. Suppose 5*w + 20 = -0*w, -5*p + 16 = -4*w. Solve u*o + o = p for o.
0
Let o(n) = -n**2 + 4*n. Let v = -17 - -62. Let k be (2/6)/(5/v). Let w be o(k). Solve r = -w*r for r.
0
Let r(n) = n**3 + 6*n**2 - 7*n + 5. Let d be r(-7). Solve -3*b - 4 = -d*b for b.
2
Suppose -13 = -5*w + 7. Let h(q) = -q**3 + 3*q**2 + 4*q. Let z be h(w). Solve z = -2*j - 4 for j.
-2
Let k(o) = o**2 + o - 4. Let h be k(-6). Suppose 2*n = -4*g + h, 5*n + 1 = 6. Let i = 3 + g. Solve 2*m = 3 - i for m.
-3
Let x(d) = d - 6. Let n be x(8). Let t = n + 10. Let m = 4 + -4. Solve m*k - t = 3*k for k.
-4
Suppose -4*z - 3*f + 52 = 0, -z = -5*f + 2 + 8. Solve 5*h - 3*h = z for h.
5
Let q = 36 + -11. Solve 0 = 6*p - p + q for p.
-5
Suppose 0 = -3*z + 2*z - 7. Let v = -4 - z. Suppose 0 = -0*m - v*m + 12. Solve 3 = -5*g + m*g for g.
-3
Let s = 26 - 16. Let d be -2 - (-5)/(s/24). Suppose 4*h = -h + d. Solve -h - 6 = 2*c for c.
-4
Let j = 5 + 0. Suppose j*b - b - 20 = 0. Solve b*t + 1 = -4 for t.
-1
Let z be ((-5)/((-60)/(-4)))/(1/(-9)). Solve -z*g = -5*g - 4 for g.
-2
Let s(p) = -p**3 - 3*p**2 + 4*p + 5. Let u be s(-4). Let c = 10 - u. Suppose 0 = -q + c*q - 12. Solve -2 = q*i - i for i.
-1
Let d be 3 - -2 - (2 - 2). Suppose 0 = -3*p + d*z - 20, -p - 5*z + 20 = p. Suppose -11 = -k + 3*g, -2*k + 4*g + 19 = -g. Solve s + s + k = p for s.
-1
Suppose 0 = -4*h + 22 - 2. Suppose h*o = 8 + 12. Suppose 8 = 2*u + 2*u. Solve -u*f + 0 = o for f.
-2
Let t = 33 + -13. Solve o = -3*o + t for o.
5
Let f be -3 + 4 + 4 - 0. Solve 15 = f*n - 2*n for n.
5
Suppose -4*m + 2*m = -6. Suppose 8 = m*s + s, 0 = 5*l + 2*s - 14. Solve 0 = l*c - 5 - 1 for c.
3
Let a(f) = -f**3 - 1. Let r be a(-1). Suppose r = 5*i - 10 - 0. Solve -i*m - 15 = 3*m for m.
-3
Let h = 12 - 8. Suppose -r + 5*w = 6, -h*w = 4*r - 2*r - 16. Solve 0*t = -r*t for t.
0
Suppose -12 = -3*o - 4*y, 2*y - 4*y - 8 = -2*o. Let s(z) = -z**3 + 7*z**2 + z - 7. Let l be s(7). Let f be (0 - 0)/(-2 + l). Solve f*u + o = -u for u.
-4
Let b = 29 - 29. Solve 2*f = -b - 8 for f.
-4
Let a = -18 + 21. Suppose c = -3*y + 54, -5*y + a*c - 7*c = -97. Solve 4*b = 1 - y for b.
-4
Suppose 4*s = -5*u + 37, -3*s = 5*u - 1 - 33. Let t be 2/u + (-36)/(-10). Suppose 0 = -t*h + 10 + 2. Solve h*r + 0*r = 0 for r.
0
Let y(j) = 2*j. Let z be y(8). Let h = 8 + -5. Solve -h*a - a = -z for a.
4
Let c be 26 + -19 + 2/1. Solve -c = -5*q + 16 for q.
5
Suppose a = 9 + 3. Solve -a = 3*n - 7*n for n.
3
Let o = -1 - -5. Solve -o*c + 15 = c for c.
3
Let w be (0 - -2)/(-4)*2. Let y be 0 + -1 - (-2 + w). Solve y*s - 2 = -6 for s.
-2
Suppose 0 = d + 3*d - 368. Suppose -3*p - 2*c = -2*p - 26, 0 = 4*p + 5*c - d. Solve 3*n - p = -6 for n.
4
Let g(l) = -l**2 + 7*l + 6. Let m be g(7). Solve -4 = 5*p + m for p.
-2
Suppose -4*j + 4*v = -v - 9, 3*v = 2*j - 7. Let i be j/10 - 6/(-15). Solve i = -0*q - 2*q - 2 for q.
-1
Let s = -36