e f - n - (-4)/2. Solve m*k - 3*k + 3*t = -2, -5*k = t + 8 for k.
-2
Suppose -6*y + 2*y - 8 = 0. Let i be (y/(-3)*21)/1. Solve o - 4*l + i = -9, -o - 13 = -2*l for o.
-3
Let q(r) = r + 6. Let s be q(-6). Suppose -7*m + 20 = -2*m. Solve s = 3*w + a + 5, -4*w - 4*a = -0*a - m for w.
-3
Let i be (-2)/6 - (-95)/15. Solve o + 3*j - 8 = 0, j + i = o + 2 for o.
5
Let p(q) = q**3 - 4*q**2 + 4*q. Let b be p(3). Suppose 4*y = b*i + 4, -9 = -3*y + i - 1. Solve 0 = 3*d - 5*x - 13, 0 = -y*d + x - 0 + 6 for d.
1
Suppose -4*a + 2*a = 0. Solve 3*s + 2*v + 4 + 21 = a, -2*s - 20 = 2*v for s.
-5
Suppose 0 = -6*f + 10 + 14. Solve -2 = -2*z, -z + f = -d + 4*d for d.
1
Suppose -h - 4 = 0, 8 + 6 = 2*z - 2*h. Solve 0 = 2*u - k - 7, 1 + z = -u - 2*k for u.
2
Let m = 15 + -13. Suppose -z - 5*x = -0*z + 22, 5*z = x + 20. Solve 0 = -3*b + 5*t + m, b + z*t = 5*b - 10 for b.
4
Let h be 9/15*5*(-8)/(-6). Solve 3*i - o + 1 = -0*o, -5*i + h*o = -10 for i.
-2
Suppose 0 = -10*v + 15*v - 10. Solve 0*o = -5*o - 5, -v*o = m for m.
2
Suppose 0 = -4*m - 16, 4*m = 3*f - 0*f - 19. Let u be (2/2 - f)/(-2). Solve u = 2*p - n + 7, -3*n - 37 + 13 = 3*p for p.
-5
Suppose -2*j - 11 = -5*o, 2*j + 9 + 6 = o. Let a be 1*3 - (j + 8). Solve 3*i = a*v + 30, 0*v + 15 = -v + 2*i for v.
-5
Let r(l) = 4*l**2 - 3*l + 2. Let z be r(2). Suppose -2*y - z = -4*y. Solve -5 = -2*u + 3*h, 2*u + 0*h = 2*h + y for u.
4
Let n be (63/(-28))/(1/(-4)). Let c be 440/45 - (-2)/n. Solve -2*h - b = c, -3*b + 5*b + 5 = h for h.
-3
Suppose -3*k + 33 = 8*k. Solve -5*n + k*j - 6 = -3*n, -5*j = 0 for n.
-3
Let h(z) = -z**3 - 9*z**2 - 7*z + 11. Suppose -2*m = -5*m - 24. Let q be h(m). Solve 3*f = 3*l - q, -2*l - 15 = 3*l for f.
-4
Suppose -5*m + n = -28, -5*n - 7 = m - n. Solve h = -3*c - 11, -5*c - 17 = -4*h + m*h for h.
-2
Let v = 29 - 17. Suppose 4*c + 0*a - 4*a = 16, -3*a = 2*c + v. Solve c*m = 3*m + 2*h + 3, -5*m = 5*h + 10 for m.
1
Suppose 0 = 4*b - 3*j - 11, 4*b - j = b + 7. Solve 3*q + 5 = -b*s - 17, 2*q - 12 = 4*s for q.
-4
Let c(p) = 15*p + 15. Let t(d) = -d - 1. Let o(j) = 2*c(j) + 33*t(j). Let n be o(-3). Solve 3*h - 4 = 2*g + 5, 3*h + 3*g + n = 0 for h.
1
Let v(f) = -7*f + 14. Let n(i) = i - 1. Let t(z) = 6*n(z) + v(z). Let a be t(8). Solve -s = a, 20 = -5*u + u - s for u.
-5
Suppose -x - 11 = -2*k, 0*x - 33 = -5*k - 3*x. Solve -b + t = -k*b - 10, 3*t = 0 for b.
-2
Suppose 0 = 13*p - 10 - 16. Solve 5*q + p*j - j = 3, 2*j - 6 = 5*q for q.
0
Let f = 19 - 17. Solve -4*u = y - 13, 2*u - y = f*y + 17 for u.
4
Let y = 25 - 23. Solve -2*q + 12 = y*g, g = 3*g - q - 3 for g.
3
Suppose -2 = 3*x + 4*f, -x - 14 = -3*x + 5*f. Suppose 0 = -c - 2*q + 20, c + 4*q + 24 = 3*c. Suppose 3*h = -h + c. Solve -x = h*a - 2*a - k, 0 = -4*k for a.
-1
Let h = -15 + 18. Solve 15 = h*s - w, -3*s = -s + 3*w + 1 for s.
4
Let h be 3 - (8 + -2)/(-3). Suppose 3*g - 4*u = -6*u - 18, 0 = -5*g - 5*u - 30. Let m = 9 + g. Solve 40 = h*j - 2*a - 3*a, 5*j + m*a = 0 for j.
3
Let j = 63 + -60. Solve 0*v - j*d = 3*v, 0 = 3*v - d - 20 for v.
5
Let i be (21/(-7))/(2/(-2)). Let m = -3 - -6. Suppose -2*y = 2*h + 2, -2*y + m = -6*h + 3*h. Solve y = 4*j - j + q - 15, i*j - 9 = q for j.
4
Let b be ((-4)/(-10))/(5/400). Suppose 0 = -4*i + b - 4. Solve r = -5*o - 21, 2*o = -o + 5*r - i for o.
-4
Let k(g) = 5*g**3 - g**2 + g - 1. Let n be k(1). Let a = -22 + 26. Suppose a*o = 3*c, 3*o + n*c - 25 = -0*c. Solve 4*z + 1 + o = -5*s, -3*s - 4*z = -4 for s.
-4
Let v be ((-25)/(-10))/(1/2). Let y = 21 + -19. Solve 0 = v*z - 2*g - 4, -3*z = 6*g - y*g - 18 for z.
2
Let w(m) be the first derivative of m**2/2 - m - 2. Let v be w(5). Solve 15 = -5*a + v*z, -6*z + 3*z + 6 = -2*a for a.
-3
Suppose -2*k = -7*k + 105. Suppose 16 = 3*w + t - 2*t, 4*w - k = t. Solve 3*h - 11 = f, -3*f = 2*f - w*h + 15 for f.
1
Let o be (-7)/(-2) - (-13)/(-26). Solve -4*m + 3 + 6 = -o*n, 8 = 4*m - 4*n for m.
3
Let v(h) = -4*h - 4. Let u be (2/(-3))/((-4)/(-30)). Let d be v(u). Let a = -7 + 12. Solve -5*s + 5*j = -40, 3*s + a*j = -0*s - d for s.
3
Suppose -5*u + 4*d = -8, -2 - 18 = -2*u - 4*d. Solve -5*l = u*b - 26 + 2, -5*b + 9 = l for b.
1
Suppose 4 = 3*l - 3*t + t, 0 = t - 4. Solve -l*k - 2*b = 0, -k = 6*b - b - 18 for k.
-2
Let d(h) = -7*h**3 + h**2 - 2*h - 2. Let b be d(-1). Solve 5*x - 3*z - 7 = -3, -4*z + b = 0 for x.
2
Suppose -2*h - 17 = -4*w - 3, 0 = 4*w + h - 5. Solve 3*k = x + 7, w*x + 0*x = -3*k + 13 for k.
3
Suppose -3*i - r = -2*r - 6, 5*r - 4 = -2*i. Solve 3*k = -6, 3*z + i*k = 6 + 5 for z.
5
Let n = 7 - 2. Suppose -s = s + 3*o + 8, -2*o - n = s. Let r be s/2 + 29/2. Solve 5*b = -4*l + r - 54, -5*l + 3*b - 13 = 0 for l.
-5
Suppose 0 = 5*y - 15. Let x be 1/y*15*1. Solve -2*o + 4 = 2*z - 4, -4*z = x*o - 19 for o.
3
Suppose -4*n = -3*n - 3. Solve 3*f = 5*x, 0 = -n*x - f - 4*f - 34 for x.
-3
Let v = -32 - -36. Solve v*x + 2*u = -0*u - 4, u = 3*x - 7 for x.
1
Suppose 0 = 4*r - 4*x + 24, 4*r - 2*x + 6 = -10. Let a = r + 2. Let k = a + 4. Solve 3*l = 5*w - 24, 9 = 4*l - 3*l + k*w for l.
-3
Let c = -7 - -6. Let k = 1 - c. Solve 0*z + 6 = 4*z + k*v, 0 = 5*z - 4*v + 25 for z.
-1
Let k be (-1)/((-12)/(-4)) + 26/6. Solve -4*a + 6 = -2, -3*p = -k*a + 23 for p.
-5
Suppose 3*b - 8*b - 5 = 0. Let w be -5*(14/(-10) - b). Let y be (3 + -6)/((-1)/((-2)/(-3))). Solve 0 = l + d + w, -2*l + y = -d - 3 for l.
1
Suppose -2 = -4*r - 2*l, -3*l - 6 = -2*r - 1. Solve 0*j - r = -j, -n = 5*j - 7 for n.
2
Let n = 18 - 16. Solve r - 3*l = -4 - 1, 2*l = -2*r - n for r.
-2
Suppose -29 = -4*v + 27. Solve -2*z = -4*q + v, -2*z - z = q for z.
-1
Let r(x) = x + 4. Let b(m) = -m - 1. Let l(o) = -3*b(o) - r(o). Let a be l(3). Solve -13 = h - a*z, -h - 3*z + 3 = -0*z for h.
-3
Let o be 14/6 - (-16)/24. Solve 0 = o*i - d - 5, -3*i - d + 0 = -7 for i.
2
Suppose 0 = -2*k + 21 - 11. Solve 4*t + 29 = 5*z, 0 = 3*z - 2*z + k*t for z.
5
Suppose w + 4 = -2*o, o = -2*w + 2*o - 13. Let h(v) = -v**3 - 7*v**2 - 6*v + 4. Let t be h(w). Solve 0 = -g - q - 4, t*g - 3*q - 17 - 2 = 0 for g.
1
Let y(d) = 6*d**2 - 12*d - 4. Let n be y(3). Solve -2 = 4*p + 2*f, 36 - n = -5*p + 4*f for p.
-2
Suppose -4 = 5*g - 24. Solve -20 = 5*o - 0*r - g*r, -2*o = r + 8 for o.
-4
Let h be 6/(-3) + -1 - -3. Let c(o) = o**2 - o + 4. Let d be c(h). Solve 2*w + d*a - 6 = 0, -w - 2*a + 6*a = 21 for w.
-5
Let r be (2/(-4))/(3/48). Let b = 11 + r. Solve t + 2 = 3*j, -4*t = -3*t + b*j + 8 for t.
-5
Let o = 4 + -4. Suppose 3*q + o*q = 9. Solve 0 = 5*l - 5*j - 40, l - q*j = 19 - 1 for l.
3
Suppose 3*w - 3*u = -2*u + 8, -2*w - 4 = -3*u. Let d(c) = 5*c - 6. Let i be d(5). Solve -w*o + 3*t = -i, t + 1 = -4*o - 0 for o.
1
Suppose -67 = 3*l - 73. Solve 2*f + 6 = 5*j, 3*j + l*j + 2*f - 14 = 0 for j.
2
Let k be (-2 - 15/(-9))/(2/(-18)). Let g(n) = -n**2 + 4*n - 3. Let x be (1/(-2))/((-2)/12). Let s be g(x). Solve -k*w + 4*j = -s*j - 7, 2*w = 3*j + 4 for w.
5
Let c be 10/3 - (-8)/(-24). Solve u + c = n - 3, -2*u - 2*n = -8 for u.
-1
Let i(g) = -15*g**2 - 1. Let o be i(-1). Let w be (o/40)/(2/(-10)). Let y be -2 + 4 + 0 + w. Solve t + 0*t = y*u + 2, 0 = u for t.
2
Let v = 8 + -6. Suppose -40 = -3*j + 4*r, -r + 34 = 3*j + r. Suppose -3*f + 13 = v*p, -5*p + 2*p - 2*f + j = 0. Solve 20 = 4*o - 4*h + 4, 2*o - p = -h for o.
2
Suppose -3*t + 4*w + 17 = -2, 0 = 3*w + 3. Solve 4*l - 3 - t = x, -2*x + 2*l = 10 for x.
-4
Suppose -4*c + 3*c + 3 = 0. Suppose -4*r + 13 = -4*d - 15, 3 = r + c*d. Let t(n) = n**2 - 5*n - 4. Let y be t(r). Solve 3*x - 17 = y*x + 4*o, -o = 4*x for x.
1
Let f be 3 - -1 - (1 + 0). Solve 0 = 2*z + 3*h + 23, f*z + 5*h = z - 33 for z.
-4
Let n(w) = w + 1. Let j be (-8)/5*15/(-6). Let p be n(j). Solve -2*h = -3*h - 2*f + 5, 5*h + 35 = p*f for h.
-3
Let p(i) = -1 + 6*i**2 - 4*i + 2 - 3 - i**3. Let b be p(5). Let f = 3 - 3. Solve 0 = -b*h + 4*v + 12, f = 4*h - 5*v - 2 - 14 for h.
4
Let q be 1*6/2 - -2. Solve 26 = 3*y + q*x, 5*y + 2*x = -0*x + 18 for y.
2
Suppose -8 - 2 = -2*q. Suppose 3*t - q*t = 0. Solve 0 = -0*d + 2*d + 5*x + 16, -5*x - 10 = t for d.
-3
Let k = -92 + 93. Solve -3*l - 4*o + k = 0, -l - 2*o = 4*l + 3 for l.
-1
Let d(c) = 3*c**2 - c - 1. Let q be d(-1). Let r be (-1*(-4 + q))/(-1). Let g(w) = -9*w**3 + 1. Let k be g(r). Solve a - k = -3*j, -26 = -3*j - 4*a - a for j.
2
Let g be 141/(-21) + 4/(-14). Let v be (-19)/g + 6/21. Solve v*z + 4*d - 14 = 0, d 