 2, l + 3*n + 26 = 6*l. Let o(z) = -z**3 + 7*z**2 - 2*z + 10. Let s be o(7). Let m be 25*-1*s/10. Solve -p + m = l*p for p.
2
Suppose 17 = 2*p + 5*o, 7 = -3*p - 3*o + 2*o. Let z = p + 6. Solve -z*u = 4 - 0 for u.
-2
Let s(a) = -a**3 + 3*a + 2. Let z be s(-1). Solve z + 8 = 4*h for h.
2
Suppose 0*b - 5*b = -2*t - 33, b - 13 = 2*t. Suppose d - 5*w = 0, -5*d + b*w + 64 = 4. Solve -p = 4*p - d for p.
3
Let d be 72/(-16)*(-2)/(-3) + 3. Solve -b + 2*b - 2 = d for b.
2
Let f = 67 + 24. Suppose 0 = -5*r + f - 21. Let x be r/(-2)*(-7 + 6). Solve 2*j - 1 = x for j.
4
Let n = 67 - 62. Solve 2*z - n + 3 = 0 for z.
1
Let x = 3 + -1. Suppose 4*i = -3*n + 16, -5*i - x*n - 2*n + 20 = 0. Suppose i*a = 5*s - 12, 0 = 7*a - 5*a - 2*s + 4. Solve a*w = w for w.
0
Let p(j) = j**2 - 2*j - 5. Let f be p(-2). Solve 0 = f*x + 8 - 5 for x.
-1
Let q = 4 - 11. Let h = q - -13. Suppose c = h*c - 10. Solve 4*r = 2*r - c for r.
-1
Suppose 0*n - 4*n = 0. Solve n*z - 1 = z for z.
-1
Suppose 0 = -3*r + 5*r - 12. Let n = r + -6. Let w = n + 0. Solve -b + 4 = -w*b for b.
4
Let f = 109 + -103. Suppose -3*s + 4*s - 3 = 0. Solve s = -3*k - f for k.
-3
Let p = 36 - 16. Solve 2*a - 6*a - p = 0 for a.
-5
Suppose -2*d - 19 = -3. Let n(r) = r + 9. Let g be n(d). Let a be (-3)/(-6)*g*14. Solve 0 = -3*b + a + 8 for b.
5
Suppose 4*o - 2*o + 3*z + 6 = 0, -4*o - 5*z = 8. Suppose -4*s + 20 = 4*x, 2*x + o*s = -2*x + 19. Solve -1 = 5*k + x for k.
-1
Suppose 0 = -4*p + 2*y - 4, 4*p = 3*y + 1 - 7. Let q = -4 - -2. Let d = 2 + q. Solve 2*z + p*z + 8 = d for z.
-4
Let f = -9 + 15. Solve -q - 10 = -f*q for q.
2
Suppose -4*g - 8 = -2*g. Let s = 8 + g. Solve -s*u + 6*u = -8 for u.
-4
Suppose -8 = -5*d + d. Suppose 0*r - d*r + u = -11, 4*r + 3*u + 3 = 0. Solve 0 = -r*o - 4 - 2 for o.
-2
Let b be 10/4 + (-3)/(-2). Let k be (26 + -1)*(1 - 0). Solve 9*g - b*g = k for g.
5
Suppose 9*y - 4*y = -3*n + 31, 0 = -2*y + 4. Solve n*v = 3*v for v.
0
Suppose 4*d = 5*h - 33, 6*h - 16 = 2*h - 2*d. Solve -3*l = -h*l for l.
0
Let x be 13 + 3*(2 + -3). Let q be (11 - x)*2*1. Solve -b - q*b = 6 for b.
-2
Let i(b) be the second derivative of -b**4/12 + b**3/3 + b**2 - 2*b. Let f be i(2). Solve 0 = -l + f*l + 3 for l.
-3
Suppose -11 = -3*p + 22. Suppose -p = -5*u + 2*o, -3 = -u - o - 5. Let a(y) = -y + 10. Let c be a(8). Solve c*q + 9 = -u for q.
-5
Let y be (1*-2)/(13/(-26)). Solve 5*f + y = f for f.
-1
Suppose b = 5 - 21. Let r = -13 - b. Solve -r*y = -y + 2 for y.
-1
Let z(x) = -x + 15. Let n(p) = p - 14. Let k(a) = 4*n(a) + 3*z(a). Let j be k(11). Solve -q - 4 + 1 = j for q.
-3
Let s = 37 - 33. Solve s*r = 3*r for r.
0
Let o(n) = 2*n - 2. Let v(k) = 3*k - 5. Let i be -6*(2 + (-6)/4). Let d(u) = i*v(u) + 5*o(u). Let c be d(0). Solve -c*y - 29 + 9 = 0 for y.
-4
Let q(p) = p**3 + 5*p**2 - 2*p - 6. Let f be q(-5). Solve -14 = -f*c + 2 for c.
4
Let p be 5 + (-2 - (2 + -3)). Solve -12 = -4*c - p for c.
2
Suppose 0 = -0*z - 4*z + 4. Let f = z + 2. Suppose y = 5*y + f*j - 10, 0 = 4*j + 8. Solve 5*r = -y - 1 for r.
-1
Let a be (1 + 1)/((-4)/(-18)). Let s(o) = -o**2 + 10*o - 8. Let h be s(a). Solve -h = 4*q - 5 for q.
1
Let n(b) be the first derivative of -b**3/3 - 7*b**2/2 + 3*b + 2. Let o be n(-7). Suppose 0 = 4*l - 10 - 6. Solve o*a - l*a + 2 = 0 for a.
2
Let o be 2*2*(-10)/(-20). Solve o*s = s for s.
0
Let c(k) = 2*k - 4. Let i be c(3). Suppose i*s - 39 = -s. Suppose 3*v = 2*f + 2 + s, 15 = 3*v - f. Solve -6 - 4 = v*a for a.
-2
Let p(o) = -o**3 - 13*o**2 - 11*o + 12. Let i be p(-12). Solve -5*b = -i*b - 5 for b.
1
Suppose 0 = -3*i + 5*i. Solve i = 2*o - 5 - 1 for o.
3
Suppose 2*w + 2*w + 3*d = -12, -d = 0. Let o = w + 6. Solve 3 = o*r + 15 for r.
-4
Let a be 6/4 + 152/16. Solve -4*t + a = 3 for t.
2
Suppose -5*t - 4*p = -17, -4*t + 6 = -5*p - 24. Suppose -5 = -2*k + 3. Suppose 2*c - 4*f = 18, -3*f = -3*c + f + 21. Solve c*i - t = k for i.
3
Suppose 5*u - 507 = 128. Let l = 83 - u. Let q = l - -79. Solve -10 = -5*m - q for m.
-5
Suppose -10 - 1 = 3*a - 5*t, -2*t = 4*a - 20. Solve 0 = k + a*k - 8 for k.
2
Suppose 0 = 19*i - 21*i. Solve i = 4*s - 6 - 6 for s.
3
Let s(o) = o**2 + 8*o - 9. Let w be (0 - -1)/(1/2). Suppose w*v - 5*v - 27 = 0. Let f be s(v). Solve f - 8 = 4*i for i.
-2
Let n be ((-6)/(-5))/(4/10). Solve n*a + a = 0 for a.
0
Suppose -3*s + 26 = -2*u, 5*s = -u - 11 + 37. Let n(b) = b**2 - 7*b + 7. Let q be n(s). Solve -2*j + 1 = -q for j.
1
Let j = -19 + 22. Solve 0 = j*m - 10 + 4 for m.
2
Suppose -f - 76 = -3*f. Suppose c = -4*v - c - f, 0 = v + 3*c + 7. Let j = v + 14. Solve k + 0*k = j for k.
4
Let x be (-2)/4*-8*2. Suppose r = 3*r + x. Let w be 4/(-3)*6/r. Solve t = -t - w for t.
-1
Let l(q) = -q**2 + 7*q + 21. Let b be l(9). Solve 5*s - 6 = b*s for s.
3
Suppose 0 = 3*p - 3*v, 5*p + 4*v = 2*v + 14. Solve -p*u + 8 = -0*u for u.
4
Let n = -1 - -5. Solve 5 = n*x - 3 for x.
2
Let q = 23 - 56. Let v be 0/1 + q/(-11). Solve -v*x - 6 = -5*x for x.
3
Let m = -168 + 351. Let n be m/9 + 2/(-6). Solve -5*s - n = -0*s for s.
-4
Let c = 6 - 3. Let d be 7 - ((-6 - -3) + c). Solve -2*s = -d*s - 5 for s.
-1
Let u = 25 + -25. Solve p + 3*p = u for p.
0
Let i(f) = 4*f + 12 + 0*f + 5*f**2 + 0*f**2 - f**3. Let d be i(6). Solve d = 4*s - 5*s for s.
0
Let w be ((-8)/(-5))/4*55. Solve 0 = 5*g - w + 7 for g.
3
Let f(m) = -m**3 + 6*m**2 - m + 6. Let s be f(6). Let v(o) = o**2 + 3*o - 8. Let z be v(2). Solve -z*j + 5*j = s for j.
0
Suppose -3*m = 2*u - 4, -2*u + 6 = -0*m + 2*m. Solve -6 = u*n - 1 for n.
-1
Suppose z - 15 = -4*z. Let k = 5 - z. Solve 3*b + 1 = -k for b.
-1
Let s(m) = -m**3 + 4*m**2. Let i be s(4). Suppose 0*u = -3*u + 129. Suppose -4*q - 15 + u = 0. Solve 3*r - q*r = i for r.
0
Suppose 3*t = -5*y + 31, 2*y + 0*t - 12 = -t. Suppose 2*j - 10 = y*l, -4*j + 1 = -l - 1. Let a = 2 - l. Solve a*g + 3 = g for g.
-1
Let i = -5 - -14. Let g(f) = f**3 - 3*f**2 + f. Let j be g(3). Suppose j*n - 12 = i. Solve 2 = -l + n for l.
5
Let g be -1 - (-5 - -3)/2. Solve -20 = -g*r + 4*r for r.
-5
Let i = -12 + 14. Solve -1 = -i*y + 7 for y.
4
Suppose -3*b - 4 = -7*b. Let j(h) = h**3 + 8*h**2 - 2*h - 7. Let v be j(-8). Solve b = 2*t + v for t.
-4
Let a(h) = 0*h**2 - 4*h - 3*h**2 + 3*h**2 + h**2. Let z be a(4). Solve z = -4*k - 5 + 25 for k.
5
Let d(l) = -l**3 - 9*l**2 - 9*l - 8. Suppose -2*y - 24 = y + 5*p, 3*p = 0. Let h be d(y). Let m = 5 + -3. Solve h + 6 = m*u for u.
3
Suppose 0 = 5*j - 4*n, 12*j - 2*n = 9*j + 2. Solve t - j = 3*t for t.
-2
Let i = -13 - -16. Solve -i*q - 2 = 4 for q.
-2
Let m be 42/15 - (-1)/5. Suppose 38 + 43 = m*d. Suppose 5*w + 7 = d. Solve 1 - 5 = -w*l for l.
1
Let i(c) = -c**2 - 4*c. Let r be i(-5). Let l(x) = -x**3 - 5*x**2 - x - 1. Let z be l(r). Solve -2*t + 0*t + z = 0 for t.
2
Suppose 10*y = -5*z + 5*y - 25, 5*z + 10 = -2*y. Let h = z + 2. Solve l = h*l - 2 for l.
2
Let v(d) be the third derivative of d**5/12 - d**4/24 + 4*d**2. Let q be v(1). Solve 3*n + q = 1 for n.
-1
Suppose -2*k - 4*i - 4 = 0, i + 12 = -2*i. Let j(x) = 5*x**3 + x**2 - 3*x + 2. Let d be j(1). Solve -k - 9 = d*c for c.
-3
Suppose 0 = -5*s + 5*l - 5, -2*s + 6*s + 3*l = 31. Solve 4*a - 2*a = -s for a.
-2
Let x be 16/(-2)*(-10)/40. Solve x*n = -2*n for n.
0
Let q be 2/3 - 95/(-15). Let u = 10 - q. Solve 5 = -4*p + u*p for p.
-5
Suppose -2*w - 3*f = -0*w - 23, 4*f + 2 = 2*w. Suppose -2*n = -w*n + 40. Solve o = -o + n for o.
4
Let i(p) = -p**2 - 5*p - 3. Let l be i(-3). Suppose 6*d - l*d = 60. Let c be (d/12)/((-3)/(-18)). Solve -5*u - c - 10 = 0 for u.
-4
Let p = -4 - -9. Suppose -4*z + p = 1. Suppose 9*s - 4*s - 75 = 0. Solve z = -4*d - s for d.
-4
Suppose 0*m = -3*m - 3. Let v = m - -7. Solve -2 = 4*u + v for u.
-2
Suppose -5*i - 4 + 19 = 0. Solve -5 = -i*r + 1 for r.
2
Let j = 20 - 9. Let l(a) = a**3 - a**2 - 2. Let p be l(2). Suppose j = p*n + 3*f, 5*n - 5*f = 21 - 6. Solve -n*v = -3*v for v.
0
Suppose -4*n + 16 = 3*v, n + 3*n - 16 = 3*v. Suppose 6 = x - p - v*p, 5*x - 26 = 4*p. Let q = 3 + -3. Solve x*w + 10 = -q*w for w.
-5
Suppose l = -g + 4*g - 5, 3*l - 24 = -4*g. Let a = g + -5. Let s be 1*a - (-4 + 1). Solve s = z - 0*z for z.
1
Let j be 2/(-2) + (-12)/2. Let b be (j + 5)*1/(-2). Solve -l - b - 1 = 0 for l.
-2
Let t be 3 + (4/4 - -1). Solve -t = -k - 0*k for k.
5
Suppose 0 = -b + 5*b. Solve b = j + 2*j - 6 for j.
2
Suppose -4*d - 75 = 