n - 4*n + 8 = u, -5*l = 5*n - 30 for l.
2
Let a be ((-2)/(-2))/((-2)/(-6)). Let k be (2 - 1)/(1/8). Solve -a*m - 5*h = -2, -m + h + k = 2 for m.
4
Let k(o) = -o + 4. Let n(m) = -m**2 + 6*m - 5. Let a be n(5). Let p be k(a). Solve 15 = -3*b, -5 + p = -3*c - b for c.
2
Suppose -5*a + 93 = -47. Solve 2*p - 2*f - 18 = 0, 2*f = -0*p + 4*p - a for p.
5
Suppose 0 = 25*k - 23*k. Solve k = v + 3, -i - 4*v - 11 = -2*i for i.
-1
Let y(b) = b**3 + 6*b**2 + 5*b + 6. Let m be y(-5). Let w be (12/(-21))/(-2 + (-12)/(-7)). Solve 16 = w*t - 3*o - 0*o, o = t - m for t.
2
Suppose 0 = 3*a - 15. Suppose 3*d - 5 = d + b, -3*b = -3*d + 3. Suppose 2*m = -4*z + 52, 3*z + 74 = d*m + z. Solve 7*v + 4*k + m = 3*v, a*k + 21 = -v for v.
-1
Let b = 0 + 0. Let x = 45 - 41. Solve x*l + 4 = -b*l + 5*j, -2*j = 0 for l.
-1
Let d = -43 - -43. Solve -29 = -3*v - d*v - 4*c, 8 = -4*v + 4*c for v.
3
Let l = 0 + 5. Suppose -7*x - 3*j = -2*x - 54, -l*j = x - 2. Solve -u - 2*y + 10 = -5*u, -4*y - x = 0 for u.
-4
Let q = 4 - 7. Let h(v) be the first derivative of 2*v**3/3 + 2*v**2 - v - 5. Let y be h(q). Solve 0 = 5*a + 25, 0 = 2*t + t - y*a - 31 for t.
2
Suppose 4*d - 11 + 3 = 0. Suppose 0 = -p + 2*p - 5, 18 = d*q - 2*p. Solve -8 = 2*x, -3*a - 5*x = 18 + q for a.
-4
Let o be 8 + -4 - (2 + -2). Suppose o*j - 1 = -r - 13, -5*j = 5*r + 15. Solve -5*q + 15 = 0, r*u - 5*u - 22 = q for u.
-5
Let t = -16 - -41. Suppose 3*i + 2*i - 10 = h, -2*h - 5*i + t = 0. Solve -3*g + 8*g = 4*b - 37, -g = h*b - 10 for g.
-5
Let x be 18*((-1)/(-6))/(6/12). Solve -s = -5*t - 2*s - 18, 4*t + 5*s = -x for t.
-4
Suppose 4*p - x + 0*x = 15, p = x + 3. Solve -p - 1 = -y + 4*h, -3 = y + 4*h for y.
1
Let h(g) = 3*g. Let j be h(1). Solve 0 = -5*z - j*y + 7, 2*y = 2*z - 0*y + 10 for z.
-1
Let k be 4/10*(1 - -9). Let a be 10/(-1 + -2 + k). Solve p + a = -3*g, g + 4*p - 24 + 9 = 0 for g.
-5
Let s = -7 - -11. Let b = 0 + 3. Suppose 35 = b*i + 2*i. Solve 0 = -4*l, s*v + 27 = 3*l + i for v.
-5
Suppose -3*p + 3*j = -21, p - 4*j - 8 = -p. Solve 15 = -0*k - 5*k, -5*k = -5*y - p for y.
-5
Let c = 7 - 11. Let i = c + 4. Suppose 0 = -4*x + 24 - i. Solve 0 = d + p - 9, -4*d = -p - p - x for d.
4
Suppose -c = 2*f + 1, 12 = -2*c + 2. Solve -g + 3*j = g - 9, -f*g + 12 = -4*j for g.
0
Let w = -8 - 44. Let h be (-247)/w - (-1)/4. Solve h*j + 2*f - 3*f = 5, 3*f = -4*j + 23 for j.
2
Let l = -15 + 21. Solve -2*c = -4*c, -2*x - 5*c - l = 0 for x.
-3
Let i(q) = -q**3 - 13*q**2 + 16*q + 31. Let l be i(-14). Solve 4*y - 2*y - 8 = -2*p, -l*y = -2*p + 8 for y.
0
Let i = 56 - 56. Solve 4*m + i = -2*z + 16, 3*z + 2*m - 12 = 0 for z.
2
Let q = -97 + 99. Solve 0 = q*t + 3*t + 20, 3*a - 5 = 5*t for a.
-5
Suppose 2 = -h - 3*a + 4, 10 = 5*h + 4*a. Solve 3*w - 3*j = -h*w + 14, w - 12 = -4*j for w.
4
Let c = -15 - -50. Solve 17 = -g - 5*m - 8, -5*m = 3*g + c for g.
-5
Suppose -5*l = 4*o + 16, 5*l + 2*o - o = -4. Solve 5*r + l*p - 25 = -p, -4*r + 11 = -p for r.
4
Suppose 3*z - 27 = -2*z + p, 5*p = 3*z - 25. Solve -z*f - 15 = -i, -1 + 27 = -2*i - 4*f for i.
-5
Let f = 27 - -3. Suppose 5*r - 3*c - f = 0, 4*r - r - 19 = 2*c. Suppose 3*g + 0*o = 2*o + 43, -3*g + 18 = r*o. Solve 2*m + 2 = 2*y, -g = -m - 0*m - 3*y for m.
2
Let v = -9 + 14. Let y = 4 - v. Let a be 20/12 + y/(-3). Solve 2*j - 3*w - 25 = -a*j, 5*j - 26 = 2*w for j.
4
Let f(y) = y**2 - 2*y. Let h be f(-1). Solve q - h*q = z - 12, 0 = 2*q - z - 4 for q.
4
Let d = -32 - -35. Solve 0 = -3*u + 9, 2*u - 7 = 2*n - d*u for n.
4
Suppose x + 7 = 3. Let t be (x + 5)*(1 + 1). Solve -i - 2*h + 8 = -3*i, -t*h = -3*i - 10 for i.
-2
Suppose 0 = 4*l - l. Suppose -3*w + 1 + 11 = l. Solve 0 = 3*q - 4*y + w, -3*q + 8*q = -3*y - 26 for q.
-4
Suppose 4*p - 17 = 3*l, -p + 4*l + 10 = -2*p. Suppose -j = w + p*j - 12, 4*w - 14 = 5*j. Solve -4*y + q - 3 = -2*q, -w = 2*q for y.
-3
Suppose 0*c + 2*c = 0. Let f be (-1 - -1) + c + 2. Solve 2 = -3*x - f*q, -2*q + 5 = 5*x + 3*q for x.
-4
Suppose 0 = 5*g - 4*f - 16, -3*g + 2*f + 3*f + 20 = 0. Solve 2*t = 2*v + 4, g*t + 5*v = -t - 28 for t.
-3
Suppose 25 = -5*k - 5. Let g be -7 - k - 9*1. Let s be g*(-3)/(6/1). Solve -s*d + 2 = 4*h - 3, 2*d + 26 = 4*h for h.
5
Let o be (-1980)/(-77) - (-2)/7. Solve 4*r + o = -3*c, 5*c - 15 = -r + 6*r for r.
-5
Let y(i) = -2*i + 6 - 2*i + 5*i. Let p be y(-3). Solve -p*l + 2 = -3*n + 8, 0 = 4*l - 3*n + 9 for l.
-3
Let a be (4/(-3))/(10/(-15)). Let g be 2/4*(-1 + 1). Let l = a + g. Solve 3*k - 4*k = -l*y + 12, 3*y + 5*k = 5 for y.
5
Let z be (-2)/9 + (-292)/(-18). Suppose b - z = -3*b. Suppose 5*u + 0*u = 20. Solve -u*s + 16 = -4*p, -5 + 3 = 5*p + b*s for p.
-2
Let g(o) = o**3 + 14*o**2 + 12*o - 12. Let p be g(-13). Suppose 3*a + 2*f = -3 - p, a - 2*f - 12 = 0. Solve 0 = s - 5*c + 1 + 5, a*s = -3*c + 14 for s.
4
Let l be (-23)/(-5) + -3 + 170/50. Solve 4*q - 4*v = -v - 23, -29 = l*q - 4*v for q.
-5
Suppose -8*z + 21 = -5*z. Solve 2 - z = 5*o - 5*y, -5*y + 5 = 2*o for o.
0
Let a(p) = -p**2 + 8*p - 6. Let w be a(8). Let b = 5 + w. Let o = 1 - b. Solve 3*t - 8 = -o*j, j - 4*t = -j + 8 for j.
4
Suppose -25 = 12*w - 17*w - 5*d, 0 = 5*d + 5. Solve -m + 3*t + 15 = 0, 5*t = -5*m + w*m - 23 for m.
3
Let a(v) = v**2 - 10*v + 9. Let q be a(9). Suppose 5*y - 7*y + 4 = 0. Let z = 2 - 2. Solve -3*w + 9 = q, -s - 2*w + z*w + y = 0 for s.
-4
Let p be (-60)/(-14) - (-22)/(-77). Solve -s = -2*v - 3 - 3, -24 = 4*s + p*v for s.
-2
Suppose 0 = -5*u + 4*h + 3 + 3, -u = -2*h. Solve 5*m - u*l - 16 = m, -2*l = m - 9 for m.
5
Let r(a) = -28*a + 7. Let y(f) = -7*f + 2. Suppose 9 = -c - 0*c. Let v(s) = c*y(s) + 2*r(s). Let t be v(3). Solve 0 = -n - 4*q - 8 - 10, 5*q = -4*n - t for n.
2
Suppose -5 - 3 = -2*o. Solve -2*r + r - k + o = 0, -5*k + 20 = -3*r for r.
0
Suppose 4*x = -2*c + 70, 10*x + 4*c = 5*x + 89. Solve l + 15 = -5*h - 6, -4*h - l = x for h.
-4
Suppose 40 = z + 14. Solve 0 = -5*s - 2*r + 4*r - 7, -5*r = 2*s + z for s.
-3
Suppose r + i = 2*i - 1, -25 = -3*r - 4*i. Solve 2*n + 5 = q, -1 - 6 = r*n - 2*q for n.
-3
Let z(m) = -2*m - 25. Let c be z(-8). Let k be 1*((-11)/(-1) - 0). Let y = k + c. Solve -2*r = -2*b - 14, y*b + 18 = 4*r - 0 for r.
2
Let u = 4 + -4. Let l be 1*(u + 2) - -1. Suppose -4*t + t + 12 = 0. Solve 2*d - l = -g - 2*d, -4*d + 8 = -t*g for g.
-1
Let g be 5/((-1 - 3)/(-40)). Suppose 0 = 5*p - g - 30. Solve j = -3*j + p, j - 4 = -4*z for z.
0
Suppose 18 - 2 = 4*n. Let t be 4*(4/1)/n. Solve 4*z = o - 20, 5*z - t*z + 5 = -4*o for o.
0
Let d = -11 + 11. Solve -g = -2*y + 13, -4*y - 2*g + 14 = -d*y for y.
5
Suppose -4*z = 4*z - 24. Solve 0 = -4*q + 2*g + 20, -5*q - 5 = 2*g + z*g for q.
3
Suppose -3*n = 5*m - 15, 3*m - 6 = m + 2*n. Let f(o) = o + 3. Let i = -6 + 9. Let z be f(i). Solve 5*b + 35 = -z*s + s, -b - 11 = m*s for s.
-2
Let f(x) = x - 5. Let s be 86/18 - 2/(-9). Let i be f(s). Solve 2*h - 7*h + o - 12 = i, -2*h - 4*o = -4 for h.
-2
Suppose x + 4 = 2*p, -7*p = x - 3*p - 2. Let z be (72/(-8))/(x + 1). Solve m - 16 = 3*y, z*m - 3*y - 32 = 4*m for m.
4
Let j be 1/((4 - 1)/60). Solve -j = 4*w + 3*g + g, -16 = 4*g for w.
-1
Let w = 5 + 1. Solve 2*d - 15 = -4*h + 3, 4*d - w = -2*h for d.
-1
Suppose -q - 1 = -i, 2*i + 8 = 6*i - 3*q. Solve 3*s - 4*x + i = 0, s + 3*x = 9 + 11 for s.
5
Let y be (-2)/6 - (-4)/(-6). Let v = y + 3. Solve 9 = 2*h + 5*s, -h + s + v = 1 for h.
2
Let m(x) = -x. Let y be m(-2). Let j be 4 + -2 - (y + -2). Solve -6 = -w - j*s, -4*s + 1 = -7 for w.
2
Let n = 20 - -5. Suppose 3*p = -r + 25, 8*p + n = 5*r + 3*p. Solve -8*w = -3*w - 5*l + r, -2*l = w - 13 for w.
3
Suppose 3*u - 28 = 4*r, -3*r = 3*u - 0*r - 42. Let s = 17 - u. Let t = -1 + 1. Solve -2*g - 18 = 5*p - g, t = p + s*g - 6 for p.
-4
Let r(f) = f**3 - 6*f**2 + 6*f + 2. Let k be r(5). Suppose k = 5*b - d, -2*b - 3*d = -0*b - 13. Solve 2*m + 3 - 11 = -b*j, 5*j = -4*m + 21 for m.
-1
Let i(w) = -w + 26. Let g be i(-14). Solve -4*b - 26 = -2*p, 5*p - b - g = 4*b for p.
3
Suppose 25 = 2*i + 3*q - 0*q, 0 = i + q - 10. Solve -2*s - i*k - 26 = 0, -18 = 2*s + 4*k - k for s.
-3
Suppose 90 = -0*y + 3*y. Let f = y - 26. Solve -4 = -4*b - f*x, -5*x + 2 = b + 5 for b.
2
Let w = 0 + 1. Let u(z) = -z**2 - 8*z - 10. Let k be u(-6). Solve 3 = k*g + q + w, -g + 3*q = -15 for g.
3
Let i be (-90)/(-50)*10/6. Solve i*v = 4*q + 10, 5*v + 24 = -4*q + v for q.
-4
Suppose 0*c + 4*c - 52 = 0. Let p = c