 = 5*l - 13, 5*j - 5*l - 5 = 0. Let q be (-2)/(-5) + 18/5. Suppose 22*x = 19*x + 6. Solve -m + w - x = -3, -q*m - 1 = -j*w for m.
-4
Let h be 4/24 + 34/12. Suppose -h*j - 5*a + 24 = 0, -3*j + 0*a = -2*a - 45. Solve -4*z = 4*d - 0*z - 16, -5*d + 2*z = -j for d.
3
Suppose 3*i - 48 = -4*l - 6, 0 = -4*i + 5*l + 56. Solve w - i = -5*f, f - 3*f = 5*w - 1 for w.
-1
Let t = -30 - -34. Solve -t*f = -5*f - 2*q - 11, -f = -2*q - 1 for f.
-5
Let g be (-44)/5 - (-36)/45. Let z(f) = f**3 + 7*f**2 - 7*f + 10. Let l be z(g). Suppose 0 = -4*y + 20 - 8. Solve 0 = d - 2, l*d - 19 = -y*p for p.
5
Let o(u) = -u + 21. Let i be o(9). Solve 4*f = 0, f - 5*f - i = -4*y for y.
3
Suppose k + 4*k = 0. Suppose k*v = v. Solve 5*r + v*r + 5 = -4*q, 5*q + 1 = -r for r.
-1
Let t = 36 - 31. Solve -2*u + 18 = t*g, -g = 3*u - 6*u + 10 for g.
2
Let l(m) = m**2 + 2*m + 1. Let a be l(-3). Suppose -4*j = -a*q - 40, 2*q + 30 = 3*j + 3*q. Solve -h - 2*s + j = 3*h, -2*h = 2*s - 2 for h.
4
Let g = 7 + -4. Let j = g - 1. Solve j*y - 6*y + 2*f = -8, 0 = -y - 2*f + 12 for y.
4
Let q be (-7)/9 + (-6)/27. Let f be (2/6)/(q/(-3)). Let h = -1 + f. Solve 7*w - 3*d - 10 = 2*w, h = 5*w + d - 10 for w.
2
Let a(q) = -2*q**3 + q**2. Let z be a(-1). Suppose 0 = -z*n + 81 + 27. Solve 0 = -3*b + 5*b + 3*o - 20, 5*b + 4*o = n for b.
4
Let j = 7 - 7. Suppose -2*p = 4*a - 18, -5*a + 15 = -0*a - 5*p. Suppose j*v = a*v. Solve 4*k = 4*u - 28, -4*u - 2*k + v*k = -10 for u.
4
Suppose 5*q - 4*q - 3 = 0. Suppose 4*a = -q*p + 5, -a + 1 = -2*a. Solve -8 = p*b - f, -8 = f - 5*f for b.
-2
Suppose -15 = -3*p - 5*o, 5*p - 2*o = -3*o + 25. Let h be 9 + (0 + -2)/2. Suppose -z - h = -p*z. Solve g = l, 17 = -z*l - g + 2 for l.
-5
Suppose -3*r = -4*a - 74, 52 = 5*r + a - 33. Let z = -31 + 18. Let u = r + z. Solve 3*l = -u*f + 12, -4*f + 2 + 5 = 5*l for l.
-1
Let a(p) = -p - 5. Let w be a(-5). Suppose 2*x = -3*x + 10. Solve -x*g + 6*m - m = -15, -g - 5*m = w for g.
5
Let m(v) = v**3 - 6*v**2 - 1. Let y be 0 - -2 - 2 - -6. Let p be m(y). Let d be (p - -1) + 0 + 2. Solve 5*i + 4 + 11 = -d*a, -a + 20 = -3*i for a.
5
Suppose 0*j + 2*j = 2. Let q be (2 + 1)*(-1)/(-1). Let m be (0 - -1) + 4 + q. Solve -2*a - 6 = 5*g + j, 0 = 3*a + 5*g + m for a.
-1
Suppose -k = -11 + 31. Let y = 45 + k. Solve -4*z - j = -6*j + 21, -5*j + y = -5*z for z.
-4
Suppose 5*a = 6*a. Solve 2 = m, -2*d + m + a*m + 4 = 0 for d.
3
Let c = -17 - -31. Solve 0*v + c = -2*v + 3*p, -3*v = -2*p + 16 for v.
-4
Let b(k) = -2*k**2 + 3*k + 3*k - 4 + k**2. Let o be b(4). Suppose 0 = 5*i + o - 29. Solve i*v + 5 = j, 3*j + j = 4*v + 20 for j.
5
Suppose -9 = -h + 15. Let s = h - 14. Solve -2*g = 3*n + g + 18, n = 3*g + s for n.
-2
Let l = 10 + -7. Suppose -4*p - w + 2 = -14, -3*p = -l*w + 3. Solve i + 27 = 3*g + 11, -p*i = -5*g + 32 for i.
-4
Let c(i) = 2*i - 6. Let g be c(5). Let t = 6 + -4. Solve -4*p - g = 4*k, -4*k - 8 = t*p - 0*p for k.
-3
Suppose -x + 2*x = 16. Suppose 2*c = -0*c + 12. Let j = c + -2. Solve -5*t - 3*q = x, -2*t = 2*t + j*q + 16 for t.
-2
Suppose 0 = 4*u + 5*b - 2*b - 35, 0 = -4*b + 20. Suppose -33 = -5*a + 27. Solve 3*l = 2*l + 3, -4*l + a = -u*z for z.
0
Let t = -3 - -6. Solve -2*p + 4*j - 12 = 0, t = 4*p + 2*j - j for p.
0
Let u = 4 - 1. Solve -u*t + 3*c + c + 35 = 0, -3*c = 3*t for t.
5
Suppose -3*y = y - 16. Let k(n) = 2*n**2 + 3*n - 2. Let r be k(-3). Suppose y*u - 9 - r = 0. Solve 4*g + 2*j = 10, 3*g - 30 = u*j - j for g.
5
Let z(j) = 4*j - 1. Let l be z(1). Solve 4*p - 3*n = -20, l*p - 5*n + 31 = 5 for p.
-2
Let h(q) = 2*q + 2. Let s be h(2). Suppose 6 = -2*y + 14. Suppose -y*v + s - 32 = -5*i, -5*v - 18 = i. Solve 0 = 4*o, 4*d + 5*o + i = 18 for d.
4
Let x(p) = p**2 - 11*p + 8. Let k = 28 - 16. Let o be x(k). Solve -4*c - 1 + 25 = 4*b, 5*c = 5*b - o for c.
1
Let f = -4 + 5. Suppose n = -f - 9. Let i be (-44)/n + 2/(-5). Solve 8 = -i*r - 3*s - 1, -3*s = -2*r + 9 for r.
0
Let l(n) = -n**3 + 18. Let r be l(0). Let a = r + -12. Let t = 39 + -39. Solve 4*g = -3*f + a, -f + 6*f - 4*g + 22 = t for f.
-2
Let o be 4/10 - (-33)/5. Suppose m - 7 = 3*i, -i + 3*i - 32 = -3*m. Let l = m - o. Solve 2*x - u + 2 = x, 14 = -2*x - l*u for x.
-4
Let s = -3 + 3. Suppose 0 = 2*q + 3*t + 3, -5*t = 5*q + 1 - 6. Suppose -60 = -q*y + y. Solve -5*r - 2*x + s = 15, 4*r = x - y for r.
-3
Let q = -10 + 6. Suppose -5*i = -4*i + 1. Let r = i - q. Solve 0 = r*y - 14 + 2, j + 16 = 3*y for j.
-4
Let y(c) = 4*c - 19. Let p be y(9). Solve 3*z = 5*r + 4*z + p, -2*r + z - 11 = 0 for r.
-4
Suppose 0 = -d - 38 + 41. Solve -g - 7 = i - 2, 0 = 5*i + d*g + 23 for i.
-4
Let h = -12 + 25. Solve 0 = m + 2*i + 13 - 6, -m - 5*i - h = 0 for m.
-3
Suppose -3*t + 5 = 5*k, -t - 4*t + 5*k - 5 = 0. Solve -9 = -s + 3*a, 0 = -3*s - 5*a - t*a - 29 for s.
-3
Suppose -4*m + 5 = -11. Let f(u) = -4*u + 7*u + m*u**2 - 5*u**2. Let i be f(3). Solve -s = -2*g + 3, -18 = -i*g - 3*g - 3*s for g.
3
Suppose 4*q = 4*n - 16, 5*q + n = -4*n. Let o be -1*((-6)/3 + q). Let p be 0 + 6/2*1. Solve y + u = -p*y + 11, o*u = -4*y + 8 for y.
3
Suppose 0 + 15 = 5*l. Solve -3*z + l = 0, -z - 3 = -4*g - 0*g for g.
1
Suppose 2*z + 2 = 26. Suppose -4*t + z = -2*q, -2*t - 3*q + 16 = q. Solve 3*s + 4*y - 9 = 0, 0*s + 9 = 3*s - t*y for s.
3
Suppose 3*f = -2*f - 10, 8 = 2*b - 3*f. Let r be b - (1 - 6/2). Solve 0 = -3*a + 5*d - 20, -r*d = d - 4 for a.
-5
Let x = 19 + -19. Solve 3*v + f + 6 = 0, 3*v + x*v = -3*f - 6 for v.
-2
Let z(v) = v**3 - 5*v**2 - v + 1. Let m be z(5). Let d be m - (-10 - 2 - 1). Solve 2*g - x = -d, -g - 21 = g - 5*x for g.
-3
Let f be (8 + -7)/((-2)/(-20)). Solve -2*d + f = 3*w - 5, -w = -2*d + 3 for w.
3
Let v(x) = 3*x - 59. Let t be v(21). Solve -6*m = 5*l - 3*m - 13, t = 4*m for l.
2
Let n = 36 + -34. Solve -3*y = y - 8, 2*g + n*y = -2 for g.
-3
Let a be ((-4)/(-6))/1*-3. Let g be 1*-1*(2 + a). Suppose g = 5*m - 2*m. Solve -s = 3*d - 3, -3*s + m*d + 2*d = 2 for s.
0
Let n be -3*(0 - -1) - -5. Let g be 16/n - (-11 + 14). Suppose -4*f = -2 - 6. Solve 2*l + 2 = 0, -f*l = -g*k + 2*k - 13 for k.
-5
Suppose -5*n + 65 = 55. Solve b + 14 = -4*z - z, 2*b - 3*z + n = 0 for b.
-4
Let g(s) = 2*s + 7. Let a be g(5). Let u = -27 + 39. Let o = u + -7. Solve 2*n + 2*y = -0*y - 14, y - a = o*n for n.
-4
Let u be -2*(0 - (4 - 2)). Solve 10 = -5*w - 3*p, u*w + 0*p + 8 = -2*p for w.
-2
Suppose -3 = -2*r + 3. Let y be (-1)/(0 + 1) + r. Let s(u) = u. Let f be s(y). Solve -3*h - 18 = -i - 2*i, -f*i - 4*h - 12 = 0 for i.
2
Let t(c) = c**3 + 4*c**2 + 2*c - 1. Let x be t(-3). Suppose -f - x = -21. Suppose 3*m - 7 = 5. Solve -f = -m*n - 0*a + 3*a, 0 = 3*a + 15 for n.
1
Let x(d) = -d**2 + d - 2. Let w be x(3). Let m be w/6*3/(-2). Suppose -4 = -m*u + 4. Solve -l - 2 = f - 3, u*l = -2*f for f.
2
Let i = 34 - 34. Solve i = 4*p - g - 5 - 2, -2*g + 12 = 5*p for p.
2
Let p(m) = m + 6. Let n be p(-3). Suppose 4*k = -a + 2, 0 = 4*a + 2*k - k - 68. Solve 0 = -3*f + n, 3*r + a = -r - 2*f for r.
-5
Suppose u - 4*s = 1, -2*s - 2 - 6 = 0. Let i be u/(-3)*(-4)/(-10). Solve -4*y - 5 = 4*q - 7*q, -3*q + i*y = -1 for q.
-1
Suppose -2*s + 25 = -19. Suppose 4*a - 18 = r, 6*r - r + 30 = 5*a. Solve 0 = 3*m + i + a*i - s, 0 = -4*m + 2*i - 14 for m.
-1
Let t be (-2)/(-3)*9/2. Suppose 0 = b - 2*x - 6, -b + t*x = 2*b - 9. Solve b = 3*w - 2*m - 7, 2*w + 5*m + 6 = -2 for w.
1
Let i be 20 - 24 - (-1 + -5). Solve -4*d - 2*v = 8, d - i*v = -3 + 6 for d.
-1
Suppose j = 2 + 2. Solve -3*w + 0 = 2*i + 19, -2*i - j*w = 22 for i.
-5
Suppose 3*j - 8 = -j. Let l(g) = g. Let o be l(j). Suppose o*s - 4*s + i = -8, -s + 4 = i. Solve -2*d + 5*w - 6 = s, -4*d = -5*w for d.
5
Suppose -5*a + 8*a = -2*a. Solve 2*v + a*v = -5*x - 19, 5*x = v - 13 for v.
-2
Let l(z) = -z**3 + z**2 + z + 2. Let y be l(2). Let p be (y - 4)*(-2)/4. Suppose -4*w = 2*m - 22, 3*w + 3 = 5*m - 0. Solve 3*r + 1 + p = 0, f + w*r = -5 for f.
-1
Suppose -3*b = 4*r - 23, 0*r + 25 = 4*r + 5*b. Let c be (2 - 3) + -17 + 2. Let l be c/2*(-9)/6. Solve y + r*a - 22 = 0, 4*y + 2*a = a + l for y.
2
Let g be (-20)/((2 - 4)*1). Suppose -o + g = 4*o. Solve 3*p - 11 = -o*a, a - 2*p + 0 - 2 = 0 for a.
4
Let u(s) = -s + 9. Let j be u(5). Let q(y) = -y**3 + 14*y**2 - 13*y. Let l be q(13). Suppose l*a = a - 1. Solve -2 - a = -5*o - w, 0 = -j*o + 3*w - 9 for o.
0
Let k be 2/(-1*(-6)/9). Solve 4*j = 4*p, 3 - 11 = -k*p + j 