 = 3*q. Solve 4 = 2*k + q*n, -2*k = -11*n + 6*n + 17 for k.
-1
Let y(l) = -4*l**3 + l**2 - 6*l - 3. Let n(b) = -b**3 + b**2 - b. Let m(q) = -3*n(q) + y(q). Let o be m(-2). Solve -5*a - u + 16 = -0*a, a + o*u = 6 for a.
3
Let z = -19 - -19. Solve z = h + 1, 6*d - 3*h - 3 = 4*d for d.
0
Let c = -20 + 29. Suppose 13*r - c*r - 20 = 0. Solve 0 = -2*v + 2, 7*t - 2*t = r*v - 15 for t.
-2
Suppose -o - 13 = -5*i, 18 = 3*i + 4*o + 1. Solve -i*t + 2*a = 2*t + 25, -5*a + 28 = -t for t.
-3
Suppose 2*l - l - 14 = -2*x, l - 3*x = -11. Suppose -l*m = 5*z - 14, m + 2*m - 1 = z. Solve -2 = -5*h - z*v + 8, 0 = -4*h + 3*v + 8 for h.
2
Let w(n) = -n**2 - 9*n - 6. Let g be w(-8). Let j = 6 - g. Solve 4*p + 16 = 3*k, -j*k + p + 21 = k for k.
4
Suppose -3*l - 3*i = 15 - 6, -5 = i. Let g = 5 + -7. Let b = g + 5. Solve 5 = 2*c + j, b*c - 3 + l = 5*j for c.
2
Let s = 50 - 36. Let g be s + 1*(-2 - -5). Solve -4*u + 0*j - 13 = -3*j, 0 = -5*u + 4*j - g for u.
-1
Let p be (-21)/(-14) - (-2)/4. Solve 4*b - 18 - p = -2*o, -5*b - o + 19 = 0 for b.
3
Let m be (8 - 5)*5*1. Suppose 0*j + j - m = -4*n, 5*j = 3*n + 6. Solve r - 5 = n*c, -2*r = 2*c + r - 4 for c.
-1
Let t = -8 - -13. Solve 0 = 5*i + 3*p - 0*p + 3, 4*i = -5*p - t for i.
0
Let o(a) = -a**3 + 10*a**2 - 2*a + 12. Let r be o(10). Let q = 13 + r. Solve 0 = 2*c + 2*g + 1 + q, -3*c - g - 1 = 0 for c.
1
Suppose -3*a + 7 = 4*h, -4*h + 1 = -0*h + 5*a. Solve 0*c - 20 = -3*o + h*c, 2*c = o - 8 for o.
4
Let d be -3*(20/(-3))/5. Suppose 0 = -2*a - 6 - d, 4*a = -h - 15. Solve h*m = z + 6, -7 = -5*m + z + z for m.
1
Suppose 2*q = 5*t - 6, 5*t + 4*q - 5 + 17 = 0. Let r = 7 - 5. Solve t = -5*s - c + 24, 2*s - r*c = -s + 4 for s.
4
Suppose 0 = -3*z + 8 + 7. Let u be 368/20 - 2/z. Suppose 4*p - 22 = 2*o + 2, u = 3*p - 2*o. Solve 5*g - 35 = -5*b, -b - 3*g + p = -3*b for b.
3
Let g = 34 + -27. Solve -g*h + 5*h = 3*o, -4*h = -5*o for h.
0
Let g = 1 + 7. Let o = -38 + 42. Solve v = 3*p + o, v - g = -v - 4*p for v.
4
Let i be 1/6 + (-4)/24. Let k(t) = t**2 + t + 4. Let p be k(i). Let u be 2 + p + (1 - 0). Solve -u + 1 = 2*n, -4*r = 5*n + 35 for r.
-5
Suppose -4*r = -3*c - 7 - 11, 2*r - 10 = 2*c. Suppose 0*y = -r*y. Suppose y*s = 3*s - 9. Solve 0 = 5*l + d + s, -5*d = -3*d - 4 for l.
-1
Let a(m) be the first derivative of m**4/4 - 4*m**3/3 + 2*m**2 - m - 1. Let n be a(4). Solve 0 = -4*z - b + n, 6 = 3*z - 4*b - 10 for z.
4
Let y = 0 + 3. Suppose r - 19 = -3*r + y*t, r = 5*t + 26. Suppose 15 = 3*s + 2*s. Solve 0 = -w + s*v + r, -3*v = 6 - 0 for w.
-5
Let s(z) = 5*z. Let p be s(2). Suppose -116 = -4*n + 4*j - 44, 5*n - 96 = -j. Solve 4*i + 2*m = m - n, 0 = 4*i - 2*m + p for i.
-4
Suppose 4*j - 12 = j. Solve 6 - 1 = 2*l + 3*d, -2*l + j = 4*d for l.
4
Let i(r) = -r**2 - 5*r + 2. Let d be i(-5). Solve -5*z + 15 = -k, -k - z - d = 1 for k.
-5
Suppose 3 = j - u, 2*u - 27 = -5*j + 4*u. Solve -2*y + 3*a - 14 = 3*y, -j = 4*y - a for y.
-1
Let y(s) = 2*s**2 - s + 2. Let n be y(2). Suppose -55 - 5 = -2*k. Solve 4*g = -3*d - 1, 0 = 4*d - 5*g + k - n for d.
-3
Let c(y) = y**3 + 11*y**2 - 12*y + 3. Let r be c(-12). Solve r*f = -v + 1, -4 = -v - 0*v for f.
-1
Let c = 22 + -13. Let b(a) = -a**3 + a**2 - a + 1. Let m be b(1). Suppose m = -2*y - 3 + 29. Solve 2*j + 3*u = y, -4*j + c = -2*j - u for j.
5
Suppose 1 = -8*j + 33. Solve -3*r = u + u + 2, -r - 10 = -j*u for u.
2
Let t be 3/2*2 + 2 + 0. Solve 3*n + 3*f + 6 = 0, -3*n - 3*f = f + t for n.
-3
Let v = -54 + 64. Solve -q = -5*p - v, 2*q - 6*q = p - 19 for p.
-1
Suppose -7 = -6*x + 5. Solve 0 = 5*z + 10 + 15, -x*a - 2*z - 6 = 0 for a.
2
Suppose -5*p = 3*a + 2*a, -3*a = -4*p - 35. Suppose -2*y + 4 = 0, -2*y = a*z - 8 - 11. Solve -5*h - 2*l - 5 = 0, -5*h + z*l = -0*l - 20 for h.
1
Let d(j) = j**2 - 3*j - 3. Let l be d(3). Let c be -3*(-2 - 1/(-3)). Let a = c + l. Solve -4*s - 3*p - 28 = p, 6 = -a*p for s.
-4
Suppose -4*v - 10 = -3*w + 10, 4*v = 4*w - 24. Let p = 48 - 27. Suppose -3*s = -0*s - 27. Solve -7*u + p = -3*u - b, -w*b - s = -u for u.
5
Let z(u) = 4*u + 2. Let n be z(2). Suppose -4*a + n = p, 5*p + 19 = 5*a + 44. Solve 0 = -3*x - 3*y - 3, -p = x - 5*y + 7 for x.
-3
Let x = 18 - 11. Let l = x + -4. Solve i + 2*z = -l*z - 7, 0 = -i + 3*z + 1 for i.
-2
Let o(q) = q + 11. Let n be o(-11). Solve 5*u + 29 - 4 = n, -5*u = -5*s for s.
-5
Let z = 5 - 2. Let q = 7 - z. Solve 3*v + 10 = -2*o - 0*v, -q*o = 4*v + 20 for o.
-5
Let t = 124 + -119. Solve t = 3*h - 4*m, 2*m = h - 4*h - 7 for h.
-1
Suppose 0 = -n - 3 + 1. Let s(u) = -u**3 - 4*u**2 + 2*u - 3. Let k be s(-5). Let b be 3*-4*n/k. Solve -3*y = b*v - 5, 5*v - 8 = y - 4*y for y.
1
Let c = -24 - -24. Solve 4*d + 5*a + 26 = c, -2*a - 8 = 2*a for d.
-4
Suppose -w - 23 = 4*y - 7*y, 36 = 5*y - 4*w. Let i = y + -6. Solve -4*z + i*m - 16 = 0, 3*z + 5*m = -0*z - 12 for z.
-4
Suppose 29 = 14*h - 27. Solve -x - h*x + 15 = 0, -5*x = -5*c - 5 for c.
2
Let r(b) = 0 - 4 + b + 0*b. Let z be r(7). Solve o - 12 = z*o - 4*t, 3*t - 12 = 0 for o.
2
Let f = -17 + 18. Solve s = -w - 1, 4*s = -5*w - 9 + f for s.
3
Let i be (-2 + -2 + 2)*-2. Solve 4*g = -2*y + 20, 2*g = -0*y + 2*y + i for g.
4
Let l(k) = 6*k - 12. Let y be l(4). Suppose i - 4*i - 2*s = -38, i + s - y = 0. Solve 2*c + 4*g - i = 0, 0 = -5*c - 5*g + 10 + 5 for c.
-1
Suppose 7 = 2*l - 3. Suppose -l*d = 4*t - 16, 2*t = 3 - 5. Solve 3*q = 12, -d = 3*s + q - 2 for s.
-2
Let q be (-32)/(-6) - (-1)/(-3). Suppose -7*i + 6 = -43. Solve 0 = g - 4*x + 2*x + i, -q*g - 2*x - 23 = 0 for g.
-5
Let d(f) = -f**3 - 9*f**2 - 9*f - 5. Let o be d(-8). Solve -u + 3 = 4*q - o, 0 = q - u - 4 for q.
2
Let q(s) = s**2 - 2*s - 3. Let i be q(4). Suppose 0 = i*k + 1 - 11. Solve -2*y = 5*t - 31, -5*y + 8 = -t - k for y.
3
Let y = 0 - 0. Suppose y = 2*m - 0*m - 4*w - 26, 2*m - 18 = 2*w. Solve -2*l + 2*u = 0, 4*l = -m*u - 31 - 14 for l.
-5
Suppose -5*s = -4*i - 8, -2*i + 0 = -2*s + 2. Suppose 0 = i*l - 9 - 3. Solve -3*m - 14 = l*t - 6*m, -3*t + 4*m = 7 for t.
-5
Let h be (3 + -1)*(-9 + 10). Solve 5*k = 5*b - 45, -5*b + 32 - h = -2*k for k.
-5
Suppose 1 = 2*u + 11. Let o = 8 + u. Solve -3*a - o*s = -s + 4, 0 = -4*s - 20 for a.
2
Suppose -2*y = -0 + 2, -5*m - 7 = 2*y. Let i be 3 + (3/3)/m. Solve -6*x - 2*b = -i*x - 8, 2*x = b for x.
1
Suppose 3*s - 5*v = -2*s + 55, -4*v = -5*s + 52. Solve 3*y = -2*o - 1, 2*y + o - s = 4*o for y.
1
Let r(v) = -4*v + 7. Let g be r(1). Solve -3*a - 15 = 0, g*t + 0*a = -2*a - 25 for t.
-5
Suppose z = 2*c, -5*z + 4*c = -8 - 4. Suppose 0*k = -2*k + z. Let s(q) = 6*q**2 - 1. Let b be s(-1). Solve k*v - 5*g - 25 = 6*v, -g = 2*v + b for v.
0
Let n = -26 + 10. Let z = n - -36. Let o be 1*(-1 + 2)*0. Solve o = -l - 4*t + 16, l - 4*t + z = t for l.
0
Suppose 0 = 3*x + 12 + 9. Let c = x + 9. Solve 0 = -c*z + 3*m + 5 - 0, 0 = -4*z + 5*m + 7 for z.
-2
Let s = 13 - 4. Let v(n) = n**3 - 10*n**2 + 9*n + 8. Let r be v(s). Solve 2*o - 2*k = o - r, o = 3*k - 12 for o.
0
Suppose x = -4*x - 30. Let n be -1 + 2*(-9)/x. Solve -8 = n*s + r, 10 = 2*s - s - 3*r for s.
-2
Suppose -4*p + 5*o - 15 = -3, -2*o = -8. Solve -p*k - 2 = -l, -3*l = -k + 2*k + 8 for l.
-2
Let j(r) = 3*r**2 + 5*r + 3. Let z be j(-4). Let u = 31 + -26. Solve -u*i + 2*l - z = -0*l, -i - 14 = -3*l for i.
-5
Let s = 2 + 0. Let i(a) = 2*a**2 - 3*a + 1. Let z be i(s). Solve z = -4*n - j + 7, 2*n = 5*j + 2 for n.
1
Let n(m) = -2*m - 5. Let s = 3 - -1. Let x be 10/(-1 - s - -3). Let d be n(x). Solve -2*h = -o + d, 0 = -5*h + 3*h - 4*o for h.
-2
Let p = 9 + -6. Suppose c + 6 = p*c. Suppose 0 = c*f - f. Solve f = 5*a + 5*z, -z + 0 = -a + 4 for a.
2
Suppose 2*w - y = 0, w - 4*w = -4*y. Solve -5*k + 10*k + 27 = p, 4*k + 20 = w for p.
2
Suppose -16 = 8*x - 80. Solve -z = -4*y - 5*z + x, -4*z = -y - 23 for y.
-3
Let d be 0/(-3)*(-3)/6. Solve 0 = -d*c + 2*c - 4*r - 16, 0 = -4*c + 5*r + 26 for c.
4
Let j be (0 - 0) + 2*3. Suppose -8*m + 20 = -3*m. Let o = 6 - m. Solve 0 = -c - 0*c - q + j, 0 = -2*c + 3*q + o for c.
4
Suppose 0 = -2*f - 0*f - 36. Let a be ((-2)/(-6))/((-3)/f). Solve 2*z - 5*o + 17 = -z, 8 = a*o for z.
1
Suppose -5*q + 20 = -25. Let y be 0/(2/5*5). Solve 4*x - d = q, -x = -y*x + 2*d + 9 for x.
1
Suppose -2*b - 12 = -x, -4*x - 5*b - 20 + 3 = 0. Let c be (-74)/(-10) - x/5. Suppose -2*m = -19 + 13. Solve -d = k, -4*k = -c*d + m*d + 32 for k.
-4
Suppose -3*l + 16 = l. Suppo