pose 5*t - 36 = 3*r, 4*r + 6 = r. Suppose -2*l + 5*f = -0 + 6, -2 = 3*l - 4*f. Let c(s) = 3*s - 1. Let v be c(l). Solve d + 10 = t*d, -7 = n - v*d for n.
3
Suppose -4 = -2*d + 4. Let g = -2 + d. Solve -5*h = 5*z, h + g*z = 4*h + 15 for h.
-3
Suppose -b = 5*z - 1, 3*b = -3*z - 0*b + 3. Solve -4*a + 4*x = 5*x - 6, 4*a + 2*x - 4 = z for a.
2
Let z(g) = -g. Let w be z(-7). Let o(n) = w - 2 - 1 + 6*n - 4*n. Let p be o(4). Solve 0 = 3*v + 4*m - p, -2*m - 16 = -4*v + m for v.
4
Let x = -66 - -91. Solve 5*p + x = 2*w, p = 4*w - 20 - 3 for p.
-3
Let l be 20/8*12/5. Let r = l + -2. Solve 5*z + t = -3 - 14, -3*z - r*t - 17 = 0 for z.
-3
Suppose -4*p - w = 3*w, -3*p = 4*w. Solve p = x + 3*d, 0*x - 6 = -x + 3*d for x.
3
Let f(p) = -p**2 + 8*p + 2. Let y be f(8). Solve -y*l - 12 = -5*k, -4*k + 4 = -4*l - 8 for l.
-1
Let n be (-8)/10*(-5)/2. Let t be (3 + -3)/(-1 + n). Let o be 3 - 0 - (t - 0). Solve 5*v = -k - 27, -5*v = -o*k + 26 - 7 for v.
-5
Suppose 3*n - n = 0. Let i be n*((0 - 0) + -1). Solve -2*o + 10 = 5*c, 5*c + i = 20 for o.
-5
Suppose 2*d = -0*d + 2. Let g(o) = -o**3 + 2*o**2 - o. Let n be g(d). Suppose n*k = 4*k - 8. Solve -3 + k = 4*h - 5*i, -4*h = -i + 13 for h.
-4
Suppose -18*c - 7 = -19*c. Solve 3*d = -3*j - 2*d + c, j - 9 = 5*d for j.
4
Let q(z) = z**3 + 6*z**2 + 3*z - 4. Let o be q(-4). Solve 4*n + 4 = 4*h, o = -2*n - 2*n for h.
-3
Suppose -2*s + 12 = -3*s + 3*c, 2*s = -3*c + 12. Let i be 2 - (s - (-2 - -17)). Solve a = -4*k - 2*a + i, 5*a = -5*k + 25 for k.
2
Let f = 4 + -4. Suppose -5*i + f = -20. Let r be -2 + (-2)/(-2) - -18. Solve -y + 4 = 0, -g + 0*g - r = -i*y for g.
-1
Suppose 3*c + 2*c - 80 = 0. Suppose -3*y + c = y. Let a be (-8)/(-28) - (-40)/7. Solve 5*q - a = -5*s - 1, 4*q = -y for s.
2
Let g(u) = -u**3 - 7*u**2 - 6*u + 4. Let k = -8 + 10. Suppose k*f = 7*f + 30. Let y be g(f). Solve -5*j - 3*a = 5, a - 5 = 5*j - y*a for j.
-1
Suppose -2*f + 2*d + 10 = 0, -2*f - 5*d + 0 = -3. Solve 20 = 5*x + f*l, 12 + 13 = 2*x + 5*l for x.
0
Let x be 6/15 - 8/(-5). Suppose 3*s + 7 + 7 = m, -2*m + x*s = -24. Solve -4*j = 2*z + 20, 0 = -2*z - 3*z + 3*j - m for z.
-4
Let j = 1 + -6. Let k = j - -12. Solve 2*u - k = v - 4, -4*v = 4*u for u.
1
Let o be ((-3)/(-12))/(-1)*-8. Solve -o*r + 5*b = -14, 0*r = 4*r - 3*b for r.
-3
Let r be -1 - -6 - (-3)/6*-2. Solve 3*k + 3*m = 12, -3*m = -2*k - m + r for k.
3
Let u(x) be the second derivative of x**5/20 + x**4 + x**3/6 + 6*x**2 + x. Let i be u(-12). Solve -l + 4*n = 3*l, i = 5*l + 2*n + 28 for l.
-4
Suppose -3*m - 27 = -3*y, -2*y + y + 4*m + 12 = 0. Let q(u) = u**2 - 9*u + 11. Let n be q(y). Solve 4*i + g + n*g + 8 = 0, 2*g + 5 = -i for i.
1
Let k(r) = -3*r. Let h be k(-3). Let j(x) = x**3 - 10*x**2 + 9*x + 2. Let o be j(h). Solve -5*d - 8 = 4*w, 3*d + w + 15 = o*w for d.
-4
Let n(a) = -a - 2. Let x be n(-6). Let g be 2*1/x*10. Solve 5*d = 5*b + 25, -2*d - 1 = 2*b + g for d.
1
Suppose 4*w + 11 + 5 = 0. Let y be (-23)/w - 2/(-8). Let s = 10 - y. Solve 4*o = -5*r + 2, 4*o + 10 = s*r + 3*o for r.
2
Suppose -w = 3*v - 50, 0 = -5*v + 2*w - 5*w + 86. Solve 2*n = -2*z - 16, 2*n = 5*z + n + v for z.
-4
Let j = -49 + 53. Solve -n - 2*m + 5*m = 18, -3 = -j*n - 3*m for n.
-3
Let u be 32 + -3 + 2 + -3. Suppose 0*o + 32 = 2*m + 2*o, -2*m + 2*o = -u. Solve 3*d + 5*c - m = 0, 3*c + 13 + 12 = 5*d for d.
5
Let g be (-99)/9*(0 + (-1)/1). Solve -l - 5*w + 10 = 1, -5*w + g = -l for l.
-1
Let u(l) = -2*l - 7. Let t be u(-4). Suppose -b = -0*b. Suppose -2*h = -b*h - 2. Solve -t = 2*z - n, 0*z - h = -z - n for z.
0
Suppose -4*t = -l - 2*l + 18, -t - 9 = -3*l. Solve -5*n - l*f = -2 - 2, -n - 3*f + 6 = 0 for n.
0
Suppose 3*a = 5*v + 50, 4*a - 17 - 35 = 3*v. Solve -3*k + i + 2*i + 6 = 0, 0 = 3*k - 5*i - a for k.
0
Let a be 1*-3*1*-1. Suppose 23 = 4*f + a, -s + 4*f = -6. Suppose -c = 3*t - 13, 4*t + 6 - s = -2*c. Solve 5*d - 3*g - 20 = 2, -c*g = 4*d - 24 for d.
5
Suppose 2*k - 7 = 3. Let p(f) = f**2 + 17*f + 20. Let y be p(-16). Solve 0*n - y*a - 7 = -n, -4*a = k*n - 11 for n.
3
Suppose z = 2*g - 7, -21 = 3*z - 3*g + 12. Let a = -10 - z. Solve -a*b - n = -15, -b = -5*b + n + 12 for b.
3
Let y(j) = -3*j**3 - 2*j**2 - 1. Let q be y(-2). Let s = -9 + q. Let u(r) = r**2 - 6*r + 5. Let o be u(s). Solve -o*i = -0*m + m + 22, -5*m + i + 20 = 0 for m.
3
Let i be (-1)/(-6) + (-136)/(-48). Solve 2*w = -w + i*s - 6, 3*w + 3*s + 12 = 0 for w.
-3
Let l be 112/21 - 2/(-3). Let k be l/4 + 4/8. Solve -3*a + 4 = h, 4*a = k*h + a + 19 for h.
-5
Let j be 0/(1*-2) - -20. Suppose k + 3*k = -j. Let v(x) = -x + 7. Let f be v(k). Solve -3*i = -4*y + y, -2*i + f = 4*y for y.
2
Let f = -31 + 33. Solve -4*g + 6 = f*r, 4*r + 2*g = 2*r + 2 for r.
-1
Suppose i = -2*i + 42. Suppose 2*g = -3*g + 30. Solve -5*m = w + g + 12, 3*w + i = -5*m for w.
2
Let t be ((-50)/35)/((-2)/7). Solve 4*o - t*q = 3*o + 21, -q + 11 = -4*o for o.
-4
Let x be (3/((-6)/8))/(-2). Suppose x*b = -2*h - 2, -5*h = 3*b - 1 + 14. Solve -3*v + v + 5*k - 16 = 0, b*v + 5*k = -2 for v.
-3
Let z(j) = -j**2 - 14*j - 11. Let u be z(-10). Suppose -h = -2*h + u. Solve -4*c + 2*c + 23 = -3*s, c = 5*s + h for s.
-5
Suppose -y - 10 = 23. Let s be (-1 + -1)*1 + y. Let a = 50 + s. Solve 5*j - 5*i + 5 = -a, -4*j - 4*i = 0 for j.
-2
Let c = 14 - 14. Suppose 2*a + 4*l - 3 - 9 = 0, 5*a - l + 3 = c. Solve -5*s + 2*j - 1 = a, j - 3*j + 11 = 5*s for s.
1
Suppose -2*y = -12*y. Solve -5*r + i + 16 = 0, y + 2 = -2*i for r.
3
Let o = 91 - 54. Solve 4*m + 28 = -4*a, 3*m - 11 + o = -4*a for a.
-5
Let v(f) = 2*f**2 - 1. Let i be v(-1). Suppose 4 = h + i. Solve -z = -3*y - 1 - 3, 4*y - h*z = 3 for y.
-3
Let x(q) be the second derivative of -q**3/6 - 8*q. Let m be x(0). Solve m = -5*u + 2*d + 6, 8 = 3*d + 2 for u.
2
Let g = -20 - -22. Solve 11 = 4*f - 5*v, -g*f + 15 = -5*v + 2 for f.
-1
Let q be 6 - 7/(7/3). Solve -15 = -3*a - 2*a - 5*i, -3 = -a - q*i for a.
3
Suppose c = -2*w + 12, c + 3*c = 2*w - 2. Solve -c*j = 2*k, 3*k - 18 = 5*j + 2*k for j.
-3
Let g = -69 - -71. Solve -g*q + 4*q = -6, -3*m + 15 = -3*q for m.
2
Suppose 0 = 3*v + v - 8. Let f be (-1)/2*(-1 + 1). Let h = -28 - -30. Solve h*a + 4*l + 4 = 0, f*a - v*a = 2*l for a.
2
Let g(v) = 2*v**2 + 7*v + 6. Let n be g(-5). Let x be (-116)/10 + (-4)/10. Let y = x + n. Solve y = -t - 2*d - d, 0 = -3*t - 4*d - 7 for t.
3
Let s(i) = -i - 6. Let t be s(-6). Suppose t = -3*n - 0*n. Solve -2*o + q - 4 = n, -o - 2*o - 4*q - 17 = 0 for o.
-3
Let y(a) be the first derivative of -3*a**2/2 + 6*a - 2. Let r be y(4). Let t be -3*((-4)/r + -2). Solve -t*b - 8 = 5*j, 0 = -4*j + 2*b + 1 + 3 for j.
0
Let x(q) = -q**3 - 9*q**2 - 8*q. Let o be x(-8). Let d = 5 + o. Suppose -d*n + 9 = -1. Solve -n*i - 2*l - 12 = 0, i + 14 - 3 = -2*l for i.
-1
Let z(i) be the second derivative of -i**5/20 + 2*i**4/3 - i**3 + 7*i**2/2 - 2*i. Let h be z(7). Solve 0 = 2*y - 0*y - 4*w, 4*w = -5*y - h for y.
-2
Let y = 0 + 0. Suppose -4*n + 4*t = n - 41, 0 = -n - t + 1. Suppose f = x + 9 - 3, 3*x + 9 = 0. Solve f*b = -n*d + 25, y = -3*b + b - 4*d + 20 for b.
0
Suppose -r - f = -13, 0 = f + 5. Suppose 0 = 3*t + 2*h - r, 2*h - 3*h = 3. Solve t = o - 4*z, 3*o + z - 3*z = 4 for o.
0
Let p = -3 - -6. Let a = 8 + -5. Suppose 5*k + 5*i = 30, -9 = -4*k - a*i + 12. Solve 0 = -p*l + t, 0*t - 2*t = -3*l + k for l.
-1
Suppose 0 = n + 2*r - 6, -4*r = -2*n - 20. Let y(f) = f + 4. Let c be y(n). Let d be ((-2)/(-4))/(c/12). Solve 5*u - 2 = 4*i, 6*i - d*i + 5*u - 16 = 0 for i.
2
Let w = -10 + 14. Solve -7 = -5*k + 2*q - 17, -8 = 4*k - w*q for k.
-2
Let c(r) = -5*r**3 + r - 1. Let z be c(1). Let p = 4 - -3. Let l = p - z. Solve -4*i - 3*g = -12, 2*g = -5*i - g + l for i.
0
Let h be (-1)/(-4) - 71/(-4). Suppose 2*w = -w + 6. Suppose -6*y + w*y + 8 = 0. Solve 2*r = -y*j - 0*j - 2, -h = 2*j - 2*r for j.
-5
Let z be (-8)/(-28) - (-19)/7. Suppose -3*j - 4*f = -55, -j - 32 = -5*j + 5*f. Suppose -z*y + j = -2. Solve 0 = 2*s + 2*s + 5*l + 13, 0 = 3*s - y*l - 34 for s.
3
Suppose -r - 165 = 2*r. Suppose -3*k + 156 = -7*k. Let m = k - r. Solve -4 = 3*j - 4*f, -2*f + m = -2*j - 3*j for j.
-4
Let f be 0 + (2 - (3 + -5)). Solve 4*l + 5*s = 13, -20 = f*l + l - s for l.
-3
Suppose 5*v - 5*p + 6 = -4, 4*v + 2 = p. Suppose v = 3*w - 5*w + 8. Suppose -5*d + 0*d = -15. Solve -u = d*f + 1, w*f - 6 = 2*f + u for f.
1
Suppose -4*i + 2*i = -3*p 