t n be (-2 - 4)*(-4)/3. Let v be n/20*(-1 + 6). Solve -5*w + g = v*l, -w - 4*w + 24 = -2*l for l.
-2
Let q(s) = 2*s + 5. Let c be q(5). Suppose c = 5*o + 5. Solve 2*d + o*m + 4 = -3*d, 4*d - 6 = 3*m for d.
0
Let y = 10 + -9. Suppose -p = -1 - y. Suppose -2*x = -10, -f - 4*f - p*x + 110 = 0. Solve -3*t + f = -8*t, -4*t = 2*c + 14 for c.
1
Let t = 11 + -7. Suppose -t*g = s - 77, 8 = 3*g - 4*s - 45. Suppose 4*b + b - 3*m = g, -4*b - 4*m = -28. Solve 0 = -b*v + 3*a - 10, -3*v - a + 2 = -6 for v.
1
Let h = 16 + -13. Suppose 4*u = p - 12, 0 = p - 2*u - h - 5. Let i(r) = 5*r**3 - r**2 + 2*r - 1. Let b be i(1). Solve m = b*y + 24, -7 = p*y + 9 for m.
4
Let h(r) = -r + 2. Let i be h(0). Let l(m) = -17*m + 2. Let p be l(-2). Suppose -293*k = -297*k + 52. Solve 0 = 3*d - i*q + 9, -4*d - q - p = -k for d.
-5
Let i(d) = -d + 8. Let n be i(7). Let h(r) = r**3 - 5*r**2 + 5*r - 4. Let b be h(4). Solve q - j = -n, -j - 2 = -2*q - b for q.
3
Let r be (-4)/(-3) - 6/(-9). Let a(j) be the first derivative of j**3/3 - 5*j**2/2 + 2*j - 2. Let q be a(5). Solve -6 = -2*l, q*v + 12 = 2*l + r*l for v.
0
Let c = 11 + -8. Solve -12 = -8*l + c*l + 2*p, 5*l + 3*p = 7 for l.
2
Suppose 0 = -3*w + 6. Let c be w + 2*(-3 - -2). Solve -i - 12 = -5*l, 4*i = -c*l - l - 6 for i.
-2
Let x be 4*1/(-6)*6. Let y = -5 - x. Let r be (2 - -1) + 1 + y. Solve 0 = 4*c - 2*t, -2*c + 3*t + 7 = -r*c for c.
-1
Let f = 6 + 6. Let l be 15/4 - 4/(-16). Suppose -5*c + l*c - 3 = 0, 2*d - 2*c - 16 = 0. Solve 4 = 4*q - 3*m - f, -d*q + m = -20 for q.
4
Let m(r) be the second derivative of r**5/10 - 5*r**4/12 + r**3/3 - r**2/2 + 3*r. Let v be m(3). Solve 4*t + t - 37 = -4*u, -3*u - t = -v for u.
3
Let f = -3 + 13. Let w be 4/3*3 + -2. Suppose -w*r + r = -2. Solve 0 = -c - c + 2*j + 14, -j - f = -r*c for c.
3
Suppose -d + 12 = 3*d. Suppose 0 = v - d. Let f = 2 + -2. Solve 3*r + i - 2*i = 10, f = v*r + 2*i - 25 for r.
5
Let v(j) = j**3 - j**2 - 6*j + 13. Let u be v(2). Solve -4*y - y = 3*x - 23, 25 = u*y + 5*x for y.
4
Suppose 17 = -3*r + 5*v, 3*r - 4*r - 5*v + 21 = 0. Solve 2*u - r = -u - 5*k, -4*u + 5*k + 13 = 0 for u.
2
Let u = -208 + 217. Solve -5*s = -2*o, -s - s = o + u for s.
-2
Let o(j) = -8*j - 1. Let b be o(-1). Suppose b*i - 2*i = 125. Let s = 11 + -6. Solve 5*a + 5*c = i, -5*a - s + 0 = -5*c for a.
2
Let f = 4 + -10. Let r(u) be the second derivative of -u**3/6 - 3*u**2 + u. Let t be r(f). Solve 2*n = -4*q + 2, t = -3*n + 2*n - 5*q + 4 for n.
-1
Let r be ((-451)/(-99))/(5/45). Let h(f) = f**2 + 2*f + 1. Let m be h(-1). Solve r = -5*y - 4*i, m = -4*y + 3*i - 8*i - 40 for y.
-5
Suppose 3*t - 4*t = -4*w + 20, 0 = -2*w - 5*t + 10. Solve 8 = -4*d - w*g, -2*d - g - 10 = 3*g for d.
3
Let u(j) = j**2 - j + 5. Suppose -2*h + 25 = -3*a + 3*h, 0 = -a + 4*h - 20. Let n be u(a). Solve -l + 3 = -i - i, -i = n*l + 7 for l.
-1
Let v be (3/4)/(1/4). Suppose -v*z + 24 = z. Solve -5*t + 2 = 4*y, 3*t - z*y - 8 = -5*y for t.
2
Let u(m) = m**2 - 7*m - 8. Let a be u(8). Solve 4*i = 3*l - 26, -4*l + l - 5*i - 19 = a for l.
2
Suppose o = 3*o + 5*z - 16, -3 = o - 3*z. Let m be o/(1/(-2)*-3). Suppose -2*s = -0*s - 14. Solve -3*b - m*l = -s - 9, 0 = -b + l + 2 for b.
4
Let v = 3 + -1. Let m be (-40)/48*-6 - 2. Solve -t - 5*b = -4*t - v, -t + m*b = 2 for t.
1
Let h be (7 - -3)*4/10. Let w(l) = -l**2 - 9*l + 10. Let o be w(-8). Let v = -13 + o. Solve -v*c + 0*c = 3*k - 9, 4*k - 4 = -h*c for c.
3
Let n(m) = -m**2 + 5*m + 2. Let u be n(6). Let j be (-1)/4 + (-9)/u. Let w = 2 + j. Solve -5*g + 36 = 4*b, w*g = 3*b + 4 - 0 for g.
4
Let a = -5 - -1. Let v be -3 - -5 - (a + 1). Solve -4*k + v*j + 0*j - 3 = 0, -2*k - 4*j = -18 for k.
3
Let w(h) = -h**3 + 16*h**2 - 15*h + 2. Let d be w(15). Solve -2*r + k = 6, -d = -5*r + 2*k - 18 for r.
-4
Let n be (-3 + 2)*(-36)/12. Solve j = 4*u + 11, 5*u - 2*j + 10 = -n for u.
-3
Suppose -8*r + 4 = -20. Solve -3*c = h + r, c + 2*h = -h - 9 for c.
0
Let d be 0/3 + (19 - 3). Solve 4*b + 5*j = -13, -5*j - d = -3*b + 18 for b.
3
Let r = 5 + -1. Let s be r - -3*6/9. Solve -5*v = 4*f - 12, 3 = 3*f + v - s for f.
3
Suppose -35 = 2*m - 7*m. Suppose -m = 2*j - 19. Let i = -5 + 8. Solve -5*z = -3*b + 23, -4*z - i*b - j - 7 = 0 for z.
-4
Let n = 25 + -23. Suppose n*i + 3 = 3*i. Solve 4*g = 2*w + 26, -6*w = -i*w + 2*g - 1 for w.
-3
Let i(p) = p - 5. Let y be i(4). Let v be 2*(6 + y - 2). Let r be v/8*32/12. Solve -s - r*s - 3*f = 0, -2*s + 3*f = -10 for s.
2
Let d(v) = 2*v**2 - v - 2. Let a be d(2). Suppose -3*l = q + 2 - 18, -l = -a*q - 1. Solve l*z - 35 + 10 = 0, -15 = -5*c - 5*z for c.
-2
Let k(i) = -i**3 + 5*i**2 + 7*i - 4. Let t be k(6). Let c = 7 - t. Suppose 0 = 3*b + 3, 0*a + 3*b - 57 = -3*a. Solve 0*z = -3*o - 5*z + 12, a = c*o + 2*z for o.
4
Let r be ((-4)/6)/(14/(-168)). Solve 2*t = 3*y + 25, -r = y - t + 2 for y.
-5
Let d be -6 + -1 + (3 - 2). Let w be 8/(-1)*d/8. Suppose 2*r + w = 16. Solve -r*g - z - 20 = 0, 4*g = -0*z - 5*z - 37 for g.
-3
Let v = 22 + -16. Solve -3*f - 3*j = -18, -j + v*j = -2*f + 18 for f.
4
Let o(a) = a. Let p(b) = b - 2. Let d be p(3). Let j be o(d). Let y be (j/(-2))/((-2)/8). Solve -z + 5 = -5*v - 24, v - y*z + 13 = 0 for v.
-5
Suppose 2*p - 6 = p - f, -2*p + 5 = -5*f. Let d(l) = l**2 - 5*l + 2. Let k be d(p). Solve -4*s + 32 = -3*z, -k*z - 16 = 2*z for s.
5
Let d(u) = u**2 - 6*u - 11. Let w be d(8). Solve -2*z + 6 = y - w*y, -y - 3*z + 2 = 0 for y.
-1
Let y be (2/6)/((-6)/(-486)). Solve -5*r = 3*x + 5, -2*r = -3*x + r + y for x.
5
Let v be 3 + 20/(-5) - -3. Solve 7 - v = w - 4*m, -4*w + 2 = 2*m for w.
1
Let r(j) = 3*j - 6. Let g = -8 + 5. Let z be 8/(1/(g/(-3))). Let f be r(z). Solve 3*m - i = 3*i - f, -i = m - 1 for m.
-2
Let t(c) = c**2 - 9*c + 17. Let u be t(7). Suppose -u*l - 4*k = k - 20, 2*k = -2*l + 8. Solve l = 3*a + 5*j - 15, a - 5 = 4*j - 3*j for a.
5
Suppose -7*k = -3*k - 16. Suppose -k*m - 10 = -9*m. Let b(v) = 2*v - 1. Let s be b(m). Solve 4*z + 2*c = -12, 8*z - 5*z - s*c = -9 for z.
-3
Let w(c) = -c**2 + 12*c - 2. Let f be w(8). Let d be 1/(4/2 - (-99)/(-55)). Solve -r = 5, -4*r - r = -d*x + f for x.
1
Let x(d) = 3*d**2 + 0*d + 0*d + 0*d - 4 - 2*d. Let g be x(3). Solve 0 = -0*s - s - 2*z + 5, -5*z + g = -2*s for s.
-1
Let r be -1 - 2/((-8)/52). Solve -4*j - 4*q + 24 = 0, q + 2 = 4*j - r for j.
4
Let y be 1*(-9)/(6/(-2)). Let q(z) = -7 - y*z + 3 + 3 + z. Let a be q(-3). Solve 2 = -2*w + 3*h, 0*h - 45 = -a*w - 5*h for w.
5
Let f be (-1 - (-14)/4)*2. Suppose 5 = 4*r - f*k - 5, 2*k + 4 = -5*r. Suppose r = 3*q - 5*x + 7 + 3, 5 = -q + 2*x. Solve -1 = -t - 0*t, 3*a + 8 = q*t for a.
-1
Let o = 20 - 11. Suppose o*u - 25 = 4*u. Solve -11 = -5*c - 3*v + 1, -u*c - 2*v + 8 = 0 for c.
0
Let u(h) = h**3 + 8*h**2 - 8*h + 11. Let o be u(-9). Solve -c - n = 4, c + o*n - 6*n + 4 = 0 for c.
-4
Let t(k) = -2*k - 12. Let a(f) = -3*f - 25. Let j(u) = -3*a(u) + 5*t(u). Let n = 2 + 5. Let g be j(n). Solve -3*b = 4*y + g, -2*b + y = -7 - 6 for b.
4
Let x be (-2 + 0)/((-2)/(-9)). Let m(b) = -2*b - 12. Let o be m(-7). Let j be (0 - x)/3 - o. Solve 0 = 3*p - 4*h + j, -h - 2*h + 2 = -p for p.
1
Suppose 4*k + 2 - 10 = 0. Solve -k*t + 2*q = -7*t - 12, 12 = -4*t - q for t.
-4
Suppose 0 = -2*g + k + 5, -41 = 5*k - 16. Solve 2*t + 25 = 5*f, -4*t + g*f - 5*f = 5 for t.
-5
Let t = 5 + -6. Let u be (-3 + t)*(-5)/4. Suppose 0 = u*n - 3*n - 4. Solve -5*z = o + 8, -5*o + n*o = 3*z + 12 for o.
-3
Let k(l) = l**3 - 6*l**2 - 2. Let a be k(6). Let y = 0 - a. Solve -4*m - 21 = -y*h + 3*h, 5*h = -4*m - 25 for m.
-5
Let k be 1/2 - (-21)/6. Suppose k*v + 4*h = 0, 4*h = -v - h - 20. Suppose 0*o = -v*o. Solve -5*s + 2*s + 4*g - 4 = o, -5*s - g = 22 for s.
-4
Let v be 5 - (-4 + (-9)/(-3)). Solve z + 8 = v*z - 4*b, -2*z + 4*b = 4 for z.
4
Let x = 28 - 0. Suppose x - 7 = k. Solve -3*v + 6 = 2*q - 5*q, 3*q = -2*v - k for v.
-3
Let c be (1*3)/((-9)/(-12)). Let k = c + 0. Solve -7 = 2*z + k*n - 1, 4*z - 5*n = -12 for z.
-3
Suppose 3*m = -4*m + 4*m. Solve -5 = -2*p - 3*t, m*p + 3*t - 35 = 4*p for p.
-5
Let k be (-14 + 10)*2/(-4). Solve -2*w - q - 3*q - 14 = 0, -k*w = -5*q - 4 for w.
-3
Let m be (3/2)/((-78)/(-208)) + 5. Solve 2*c - 3 = -5*n, -3*n - 14 = -5*c + m for c.
4
Suppose -5*p = 3*v - 53, v = 6*v + 3*p - 115. Suppose 2*h - 2 = 0, 2*h = 2*d - 0*d - v. Solve 2*x + 2*m - 16 = 0, -3*m = -4*x - m + d for x.