 - 7 + 1 = 0. Suppose -t + 16 = t. Solve -5*g - y = t for g.
-2
Let v(f) = f**2 + 11*f + 15. Let a be v(-11). Solve -2*l - a = l for l.
-5
Let o be (3 + -2)*(-1 + 1). Suppose 5*r - r = o. Suppose b = -r*b. Solve -2*i + i + 1 = b for i.
1
Let x be (6/(-21))/(1/(-7)). Suppose -2*m + 4*c + 71 = m, 0 = x*c - 2. Suppose s = -4*s + m. Solve 3*i + s = -7 for i.
-4
Let w = 3 + -3. Let o be 0/(3/(w + -3)). Let r = -11 + 23. Solve r + o = 3*q for q.
4
Suppose -2*x = 5*o - 35, -o = x - 3 - 10. Let w = -1 + 6. Suppose 3*n + 5 - 17 = y, -5*n + x = -w*y. Solve -y*t - 1 + 10 = 0 for t.
3
Suppose 3 + 0 = -3*z. Let o be ((-6)/(-15))/(z/(-10)). Suppose -5*l + 2*l = 0. Solve 0*a + o*a - 12 = l for a.
3
Suppose 2*f - 4 = -0*f. Let u be (2/4)/(f/12). Solve -3*g - 9 = u for g.
-4
Let x be (5*-3)/((-9)/(-6)). Let g = -17 - x. Let k = 17 + g. Solve -k = -5*m - 0 for m.
2
Let c(g) = g**3 - 6*g**2 + 8*g - 4. Let p be c(5). Let k(q) = 4*q**3 - 2*q**2 + 1. Let x be k(-1). Let a = x + p. Solve -a*n = -n + 5 for n.
-1
Suppose 3*c = -0*c + 75. Suppose 3*m = 5*o + c, 10 = -0*m + 2*m - 5*o. Solve -4*v = -v + m for v.
-5
Let m = -1 - -3. Let k(c) = -3*c + 22. Let w be k(7). Suppose m*d - 9 = w. Solve 0 = -d*x - 5 - 5 for x.
-2
Let p = -33 - -35. Solve p*d + 1 = -3 for d.
-2
Let s(j) = j**2 + 8*j + 4. Let t be s(-8). Suppose -3*w + t*w - 2 = 0. Let k = 2 - -1. Solve g + k = w*g for g.
3
Suppose 0 = 2*i - 0*i + 24. Let p be (-47)/5 - i/(-20). Let z = 14 + p. Solve 10 = z*a + 30 for a.
-5
Suppose 7*h = -1 + 15. Solve 0 = -h*x + x for x.
0
Let x be 2 + (-12)/2 + 4. Suppose x*q - 4*u = -q + 28, 2*q = 3*u + 36. Solve -13 - q = -5*l for l.
5
Let x = 2 - -2. Let z be (-1)/x + (-34)/(-8). Solve -23 + 3 = z*b for b.
-5
Let j = 25 + -20. Solve 4*f + 5 = j*f for f.
5
Let g(u) = 2*u**2 + u + 1. Let k be g(-3). Suppose -3*j + j = b - 5, 7 = j - 4*b. Let d(h) = 3*h - 4. Let o be d(j). Solve o*w + k - 1 = 0 for w.
-3
Let v = 41 + -38. Solve 12 = -0*k + v*k for k.
4
Suppose 13 = 4*l + y, 3*y - 12 = -4*l + l. Suppose l*b + 16 = 7*b. Solve -4*c - b = -0*c for c.
-1
Suppose 5*w - 4 - 46 = 0. Solve 5 + w = 5*k for k.
3
Let r(h) = -3*h - 8. Let c be r(-7). Suppose 5*d - 2 - c = 0. Suppose 0 = 4*i + d*p - 20, 3*i = -2*i + 4*p - 6. Solve 0 = -i*q - 2*q - 4 for q.
-1
Let c be 6/(-4) + (-95)/(-10). Suppose -g + c - 6 = 0. Solve 5 + 1 = -g*d for d.
-3
Suppose 0 = -5*n + 9 + 41. Solve 10 + n = -5*w for w.
-4
Let a be 4 + (-1 - (2 - 3)). Suppose 4*v = -a*o + 2 + 2, 5*v = -3*o + 5. Solve 0*q - 5*q - 10 = o for q.
-2
Suppose 11*v = 6*v. Solve v = 5*m + 12 + 3 for m.
-3
Suppose j - 4*j = 0. Solve 5*f + 0*f = j for f.
0
Let c = 13 + -5. Suppose 3*z - z - c = 0. Solve -2*t = -z*t for t.
0
Let y be (6/21)/((-3)/(-21)). Suppose -5*w - 5 = -y*n, 3*n + 3*w = 2*w - 1. Solve 0 = -n*p - 2*p for p.
0
Let r(p) = 22*p**2 - 3*p + 1. Let i(u) = -21*u**2 + 2*u - 1. Let t(v) = 3*i(v) + 2*r(v). Let x be t(-1). Let b be 2/(-1) - x/5. Solve -2*n + 0*n + b = 0 for n.
1
Let s(x) = x**3 + 8*x**2 - x - 8. Let c be s(-8). Solve -2*n - 2 + 0 = c for n.
-1
Let h be (24/(-15))/((-6)/75). Let y(g) = 2*g. Let i be y(5). Let r = i + -6. Solve r*q - h = -0*q for q.
5
Let c be -5 + (-3)/(-3) + 0 - -8. Solve c = -0*s - 4*s for s.
-1
Suppose 0 = 14*r - 21*r + 14. Solve -2*n - r = -0 for n.
-1
Suppose 5*w - 7 = 3. Suppose -n + w = -3. Suppose -n*p = -6*p. Solve p = q + q for q.
0
Suppose -l = l. Let a = -17 + 20. Solve -z + l*z = a for z.
-3
Suppose -2*o + 7*o + 50 = 5*v, -2*v + 2 = o. Let m = o + 10. Suppose -m*s - 4*w + 24 = 0, 2*w - 17 = -4*s - 1. Solve -s + 0 = f for f.
-2
Let q = -1 - -4. Let p be q/(-2)*4/(-3). Suppose -3 = -u - 3*m, -2*u + 4*m - 2 = -8. Solve -3 - u = p*g for g.
-3
Let f = -54 - -61. Solve f*l - 3 = 4*l for l.
1
Let r = 11 + -8. Let w(c) = 6*c - 2*c - r*c + 14 - 3. Let o be w(-10). Solve 0 = z - o + 3 for z.
-2
Let z(b) = b**3 - 17*b**2 + 16*b + 4. Let h be z(16). Solve h + 11 = 5*i for i.
3
Let v = 45 + -45. Solve v = 3*k - 7 + 19 for k.
-4
Let d = 9 - 6. Solve -d*j = -j + 6 for j.
-3
Suppose 2*l = -3*l. Let d(r) = -r**2 - 8*r + 5. Let w be d(-7). Let v be (3 + w)/3 - -3. Solve v = -l*i + 2*i for i.
4
Suppose 3*z - 20 = -4*t + 2*t, -2*t + 36 = 5*z. Let g = -11 - -11. Suppose -4*p + 0 + 12 = g. Solve z*b = p*b for b.
0
Let s = 12 - 8. Let q be 3 + (s/1)/(-4). Solve -2*x = -4 - q for x.
3
Let q be (-6)/(-1) + (-1 - 1). Suppose -24 = -0*v - q*v. Solve -t = -v*t for t.
0
Let d = -12 - -14. Suppose p + 2*h = h, 0 = h + d. Solve k = -3 + p for k.
-1
Suppose -2*z + 6 = -0. Suppose -2*s = s - z. Suppose 3*m + 8 = -4*d, 2*d - 4 = 2*m + 4*d. Solve -3*c + s - 4 = m for c.
-1
Let l(g) = -g**2 + 6*g + 9. Let i(n) = n**3 + n**2 + 7. Let o be i(0). Let t be l(o). Solve t*j = -j for j.
0
Let y = -12 - -17. Solve 0*l = y*l for l.
0
Let n(t) = 2*t**3 - 55*t**2 - 28*t + 3. Let o be n(28). Suppose c = 5 + 5. Let h be (-4)/c + 24/10. Solve h*g = -o + 13 for g.
5
Let v(n) = 2*n**2 - 4*n + 3. Let o be v(3). Suppose -c + 11 = 3*w, 3*w - 2*c - 5 - o = 0. Let m be 1*1/(-3 + w). Solve 2 = t + m for t.
1
Let r be ((0 - 0) + -1)*-2. Let p = 0 + 0. Suppose p = -0*w + w. Solve -r*a + a = w for a.
0
Let c be 2 + (-1*(3 + 2))/(-1). Solve -5 = 3*k + c for k.
-4
Let j(q) = -q**2 - 9*q - 12. Let c be j(-9). Let f be 1*-2 + c/(-4). Let y = f + 3. Solve i + i - y = 0 for i.
2
Let n(j) = j**3 + 15*j**2 + 15*j + 16. Let u be n(-14). Suppose 0 = -4*q - 2*o + 40, 0 = -0*q + q + 4*o + 4. Let k = q + -3. Solve v = -u*v - k for v.
-3
Suppose -2*v = -o - 29, 0 = 2*v + v - 2*o - 44. Let d be 4/v + 165/35. Solve -10 = -0*r + d*r for r.
-2
Suppose w + 9 + 2 = -2*h, 3*w + h = -28. Let n = -7 - w. Solve 6 = y + n*y for y.
2
Suppose 0 = -2*p - 3 + 11. Suppose 0*x + 2*x - 5 = -3*z, 0 = -p*z - 2*x + 6. Solve -1 = d + z for d.
-2
Let b be (1/6)/((-3)/(-18)). Solve -4*d - b = -21 for d.
5
Let j be ((-126)/(-24))/(1/4). Suppose -4*u + 35 = -j. Solve u = -5*a + 4 for a.
-2
Suppose 4*l = -2*t - 14, 4*t + l - 4 = t. Suppose 3*n - 15 = t*q - 0*n, -4*q = -2*n + 14. Let d be -1*(2*4)/q. Solve 3*j - d - 11 = 0 for j.
5
Let u be 0/2 - -3 - -2. Suppose -4*a = -3*i + 21, 5*i + 4*a = 7*a + 24. Let g be (-1)/i - 22/(-3). Solve -u*o = 3 + g for o.
-2
Let a(j) = -j**2 + 2. Let n(z) = -z**2 + 2. Let i(h) = -5*a(h) + 6*n(h). Let o be i(0). Solve o*k = 4*k for k.
0
Let t = -3 - 3. Let c be -3*(t + 2 + 3). Solve 3*u + 6 + c = 0 for u.
-3
Let y be 38/6 - 6/18. Let h = 5 - 0. Solve -h*s + 2*s + y = 0 for s.
2
Suppose -6*v = -5*v + 4, -2*g + 16 = -2*v. Solve -8 - 4 = -g*j for j.
3
Let o(l) = l**3 + 8*l**2 - 11*l - 9. Let x be o(-9). Solve 3*b = -x + 24 for b.
5
Suppose 11 = w - 5*q, q - 11 = -w - w. Solve -4*b = -b - w for b.
2
Let k(y) = 3*y + 2. Let w be k(-4). Let c be ((-6)/5)/((-3)/w). Let n = c - -6. Solve -n*d - 15 = -5 for d.
-5
Let w(n) = n**2 + 5*n - 4. Let g be w(-6). Suppose -g*j = -3 - 13. Solve -4*b - j = 8 for b.
-4
Let x(r) = r + 14. Let k be x(-9). Suppose -k*a = -11 - 9. Solve a*f + 1 + 3 = 0 for f.
-1
Let y = -7 - -4. Let k = y + 7. Solve 8 = -2*h + k*h for h.
4
Let w(u) = u**2 - 9*u - 8. Let j be w(10). Solve -3*m = j*m + 25 for m.
-5
Let o = 33 + -19. Let s = 8 + -4. Suppose -s = -0*j - j. Solve -2*a = -j + o for a.
-5
Let v(j) be the second derivative of -j**4/12 + j**3/2 + 2*j**2 + 3*j. Let h be v(4). Let g be (2 - (-11)/(-3))*-3. Solve h = -g*o + 4*o + 3 for o.
3
Let a be 8/6*27/6. Suppose -36 = -4*g + 5*f - 0*f, 3*g = f + 38. Let l = -9 + g. Solve l*n + 14 + a = 0 for n.
-4
Let c(f) = f**2 + 10*f - 5. Let a be c(-10). Let h = -5 - a. Solve h = 2*o + 3*o + 10 for o.
-2
Suppose -2*u + u - 2 = -3*m, -u = -5*m. Let p = m - -4. Suppose -1 = 5*r + 4*w - 5, -3*w = -3*r - 3. Solve r*z + z = p for z.
3
Let d(w) be the first derivative of -w**4/4 + 10*w**3/3 - 9*w**2/2 + 4*w - 1. Let f be (-1 - -3) + 14/2. Let m be d(f). Solve m = 5*j - 3*j for j.
2
Let s(w) = -w**3 + 3*w**2 + 3*w - 2. Let j be s(3). Solve j*a = 3*a + 8 for a.
2
Let z(q) = -q**3 - 3*q**2 - q + 1. Let j be z(-2). Let k be j - -2*6/4. Solve 1 = -k*r + r for r.
-1
Let m be 10/4*52/10. Let c = 14 - m. Let f = -1 + 3. Solve -3 + c = -f*g for g.
1
Let t(c) = 2*c**3 + c**2 + c - 1. Let i be t(1). Suppose -2*j - 7 = -z, -z + 3*z = -i*j - 7. Solve z = 5*a + 11 for a.
-2
Let r(h) be the first derivative of -h**3/3 - 7