= 0, 0 = -l*z - c*a - 4 for z.
0
Let f be (2/2)/(1/3). Solve -b + 13 = -5*p, p + 3 = 2*p - f*b for p.
-3
Suppose b + 0*b = 2. Let x be (12/(-8))/((-2)/16). Let o be 21/b*x/7. Solve -5*k - d = 20, -o = 4*k - d + 7 for k.
-5
Let t = 25 - 25. Solve -2*l + 4*f + 16 = t, -l + 2*l + 6 = -5*f for l.
4
Let o(j) = 11*j. Let b be o(1). Let y = -11 + b. Solve y = -0*l - 5*l - 3*r + 7, 0 = l + 5*r + 3 for l.
2
Suppose 0 = 2*q - q + 4. Let j be (6 + -4)*(-10)/q. Solve 4*n + 3*h + 1 = 2*n, j*h = 2*n - 7 for n.
1
Let a = 18 + -10. Let j = a + 7. Solve 5*s = -g + 4*g + j, 4*s - 4*g = 12 for s.
3
Suppose 0 = -s + 2*x + 3, 0 = 3*s + 3*x - 2*x - 9. Solve s*p - 4*a + 22 = -9*a, -2*p = -3*a - 17 for p.
1
Let r(x) = x**3 - 3*x**2 + x + 4. Let z be r(0). Solve -5*f = -m - 17, -4*f + 2*f = -4*m + z for m.
3
Let t = -151 - -153. Solve 0 = 4*n + t*a - 30, 10 = -3*n + 4*a + a for n.
5
Suppose 3 = 2*x + 9. Let h(t) = t**2 + 2*t + 1. Let z be h(x). Suppose -2 = l - 3*l - y, -4*y = z*l - 8. Solve g + 2*g - 2*v + 13 = l, -2*g - 12 = -3*v for g.
-3
Let p(s) = s**3 - 2*s**2 + 3*s - 3. Let t be p(2). Suppose -t*h + 4 + 2 = 0. Let v = 6 - h. Solve -z - 6 = -5*u + v, 3*z - 27 = -4*u for z.
5
Suppose -2*d + 4*m - 16 = 0, 0 = -5*d + 2*m - 24. Let j = d - -16. Suppose -10 = -2*p - 4. Solve r + 15 = 2*w + 4*r, w + p*r = j for w.
3
Suppose -9 = 4*s + 3*n, -2 - 7 = 3*s + 3*n. Solve 3*u + 10 = g, u = -s*u + g - 4 for u.
-3
Let v(y) = 5*y + 32. Let g(m) = -2*m - 11. Let u(l) = -8*g(l) - 3*v(l). Let t be u(9). Solve 3*a = -5*k - t, 4*k = k + 3*a + 9 for k.
1
Suppose -3*r - 2*h + 21 = 0, -2*r - h + 10 + 3 = 0. Solve -4*j = r*p + 30, -2*j = p - 6*p for j.
-5
Suppose 2*w - 3*a = 19 + 3, -2*w - 4*a = -36. Solve -16 = -2*m - 2*z - 3*z, -4*m - z = -w for m.
3
Let j = 3 + 0. Suppose -j*n - 2*n = 3*s + 4, 0 = -3*n - 6. Solve 7*f - 2*f - 4*h + 13 = 0, 0 = s*f - 2*h + 4 for f.
-5
Let a = -27 + 27. Solve a = l + u - 3, 2*l - 3*u + 18 = u for l.
-1
Suppose 3*n + 3*v = 33, 0 = -0*n - n - 4*v - 1. Suppose -7*c + 20 = -2*c. Solve 0*a - a + n = -c*g, -4*a = -g for a.
-1
Let m be (-4)/16*-1 - 11/(-4). Solve 0 = 4*p - m*p - 3*l - 14, -p + l + 6 = 0 for p.
2
Suppose -2*k - 16 = -0. Let r = k + 11. Solve 5*d + 54 = 4*v + 18, 4*v - r*d - 28 = 0 for v.
4
Suppose -k = b - 1 - 0, 0 = -3*b - 9. Suppose -3*x = -k + 1. Solve -10 = -v - 3*y, 0 = -v - 2*y - x + 9 for v.
4
Suppose -2*f + 12 = 2*h, -17 + 0 = -2*f + 3*h. Suppose 0 = f*d - 2*d. Suppose -j + 9 = -d*j + 3*s, -5*j + 4*s - 12 = 0. Solve 2*g + 0*g = -5*l, -3*l = j for g.
0
Let y(q) = -q**3 + 6*q**2 + 6*q + 7. Let n be y(7). Solve n*d + 4*d - 2*a = -16, 10 = -4*d + 5*a for d.
-5
Let n(h) = -2*h**3. Let y(g) = -g - 6. Let m be y(-5). Let o be n(m). Solve -3*i = -f + 5*f + 18, 0 = -2*i + 2*f + o for i.
-2
Let w = -2 + 2. Suppose -4 = -3*g - 2*d, 22*g - 3*d + 1 = 24*g. Solve l + 4*u + 4 = 3*l, -l - g*u + 6 = w for l.
4
Let b(p) = -p**3 + 5*p**2 + 6*p + 6. Let y be b(6). Let t = 0 + 0. Suppose 4*s - s - y = t. Solve -4*v - h - 10 = h, -4*v + s*h = -2 for v.
-1
Let z be (-6)/(-1) - (10 + -9). Solve -4*x - 5*u - 16 = 0, -x + 6*x + 15 = -z*u for x.
1
Let z be (-259)/(-49) + 2/(-7). Solve 4 - 11 = -3*y - z*p, -1 = p for y.
4
Let o = 5 + -3. Suppose 4*v = -o*x - 12 - 16, 0 = -3*x - 6. Let m be v/9 + 16/6. Solve 5*t + 10 = -0*l + m*l, -3*l - 4*t = -15 for l.
5
Let u be 0/(-2) + 21 + -6. Suppose -8*m = -3*m - u. Let r(l) = -l**3 + 5*l**2 + 7*l. Let o be r(6). Solve 4*w + o*i = m*i, 5*i = 4*w + 32 for w.
-3
Suppose 3*a = a. Suppose a = 4*r + 4 - 0, -2*y + 39 = -5*r. Solve 3*g + 2*l + 13 = 0, -3*g + 0*l = 4*l + y for g.
-3
Let j(m) = -m**2 + 8*m - 6. Let z be j(5). Let n be (2 - 7)*(1 - 2). Suppose 7*c - 3*c = 8. Solve -c*t + g = 0, -2*t - n*g + z = -3 for t.
1
Suppose -3*c - 3*a + 3 = 0, 2*c - a = 1 + 4. Suppose -o = -2*w + 14, -2*w + 1 = -w + o. Solve -w*u - 4 = 4*f, 0*f = -2*f - 5*u - c for f.
-1
Suppose 11*d + 14 = 36. Let z = 9 - 6. Solve 4*s + 1 = -z*p + d, 0 = -4*p + 3*s - 7 for p.
-1
Let c(m) = m**3 + 3*m**2 - 6*m - 5. Let u be c(-4). Let w = -55 - -57. Solve -4*i = 5*y - 3, u = -w*y + 1 for i.
2
Suppose 3*h = -5*l + 3*l + 7, 2*l - 12 = -4*h. Solve 5*c + 4*v = 45, -4*c + 2*c - h = -3*v for c.
5
Let g = 12 - 9. Solve -4*m + 5*r = 32, 2*m - 18 = 4*m - g*r for m.
-3
Let m(y) = y + 8. Let k be m(-6). Solve 4 = 3*u - k*c + 17, c = 4*u + 19 for u.
-5
Suppose 4*k = i + 21, 5*i + 3 = -2. Let p = k - 6. Let h = p + 3. Solve l - 11 = -4*d, -2*l + h = -4*l - 2*d for l.
-5
Let g = 6 + -5. Let b be 5/((-5)/(-3))*g. Solve -5*a + 2*y - 4 - 1 = 0, -3*a - 24 = b*y for a.
-3
Suppose 3*a - 5*a + 20 = 0. Suppose 6*b = b + a. Solve 10 = f + 4*g - 0*g, -2*g = -3*f + b for f.
2
Let k(l) be the third derivative of l**6/120 - l**5/60 + l**4/12 - l**3/2 + 4*l**2. Let m be k(2). Solve 5*c + 2*u + 8 = 0, 5*u - u + 16 = -m*c for c.
0
Let f(v) = -2*v**3 - 8*v**2 - 11*v - 1. Let j be f(-2). Solve -5*h - 8 = -j*d - 3, 3*h = -2*d + 22 for d.
5
Suppose 10 = -q - 4*w, -3*q - 25 = -5*q + w. Let m be (-56)/(-9) - q/45. Let p be (-2)/m + (-1)/(-3). Solve p = -5*y - 4*j + 5, -3*y + 4 = y - 5*j for y.
1
Let j(g) = -g**3 + 4*g**2 - g - 2. Let b be j(3). Let r(w) = w - 3. Let c be r(b). Suppose -d = -3 - c. Solve -d = 2*l - 4*v, 2*l + 5 = -3*v + 1 for l.
-2
Suppose 3*c - c = 3*c. Solve -f - 2*i - 4 = c, 5*f + 0*i + 3*i - 1 = 0 for f.
2
Suppose 35 = 5*x + 10. Let i be (-4)/(-5)*x/2. Let y be (-1)/((-2)/(-4))*-2. Solve -2*v = -y*z - 4, -i*z - 3*z - 4 = -3*v for z.
-2
Let d(c) = -c**3 + 8*c**2 - 7*c + 6. Let j be d(6). Suppose -2*m = -26 - j. Solve 0*u - 5*u - 9 = 4*n, 0 = 4*n - 3*u - m for n.
4
Suppose -5*a = 5*i - 25, -3*i - 3 - 2 = -2*a. Let x(z) = 5*z**2 - 2. Let s be x(i). Let d be 4/10 + (-16)/(-10). Solve -d*j - 2 = l - 6, j - s*l = -12 for j.
0
Let p = -18 - -31. Solve -3*j + 12 = 0, -c - 4*j + p = 1 for c.
-4
Suppose -4*i = 2*t - 4, -1 = t - 5. Let p be 1/i + -3 + 9. Suppose -2*o = -p*o + 42. Solve 2 - 14 = -d + 4*x, d - 5*x - o = 0 for d.
4
Suppose w + 4*w = 5*a - 65, 4*w = -12. Solve -4*y + 2 = -2*h, -5*y - 2*h = -a*y for y.
-2
Let p be 23/5 + 2/5. Solve 2*a - p*c - 30 = -3*a, -2*a = 2*c for a.
3
Suppose -5*j = -3*k - 82, -8*j = -9*j - 2*k + 19. Solve p + p = -5*s + j, -p = -2*s + 14 for s.
5
Let u(v) = -2*v**2 + 15*v + 12. Let w be u(8). Solve -4*c + 12 = -w*t, 2*c + 15 = -5*t - 3*c for t.
-3
Suppose -2*y = -0*y + 10, o - 20 = 3*y. Solve 15 = o*b - h - 1, -5*h + 24 = b for b.
4
Let p(r) = -5*r - 1. Let g be p(-4). Let w = -7 + g. Let d = w - 7. Solve -d*a - 3*q = -10, -a + 19 = -5*a + 3*q for a.
-1
Suppose -5*t = 5*z + 5, -z - 3*z - 3*t - 1 = 0. Solve z*j - 7 = 3*m, 0 = 4*m + j + j for m.
-1
Suppose -11 = 4*r - 5*r. Suppose 2*z - 6*z = -76. Solve -z = 5*u - 6*k + 2*k, -k = 4*u + r for u.
-3
Let w = -25 - -28. Solve -9 = 3*i - 3*d, d - w = i + 4*d for i.
-3
Suppose 3*c - 29 = 4. Solve -p = -3*w + c, 6 - 22 = -5*w + 4*p for w.
4
Let a(h) = 2*h + 5. Suppose -2 = -j + 2. Let s be a(j). Let f = 5 + -1. Solve -25 = 5*p - 4*g, -2*p + f*g + 3 = s for p.
-5
Let a be (-4)/(-18) - (-488)/72. Suppose 2*m - 1 = a. Solve 0 = 4*x - t - 4, 0*x - m*x + 3*t + 12 = 0 for x.
0
Suppose 0 = 4*r - 56 - 4. Suppose 0*s = 3*s - r. Suppose s*n - n = 0. Solve -4*i + 15 = -5*w, n = -0*w - 3*w - 9 for i.
0
Suppose 2*b + 4*l - 84 = 0, l - 124 = -3*b - 3. Suppose 8*r = 3*r - b. Let u = r + 12. Solve 2*x - 5*x = -2*n - 9, u*x - 4*n - 12 = 0 for x.
3
Let o(r) = -r. Let f be o(-4). Solve -2*x + 16 = -f*x - 2*a, 5*x + 3*a = -32 for x.
-4
Suppose 3*s - 7 - 8 = 0. Solve 0 = 2*a - s*g + 4 + 12, 0 = -5*g + 10 for a.
-3
Let w(j) = -j**2 - j + 9. Let z be 0*(2 - 3/2). Let c be w(z). Solve -c = 2*f - q, -2*f + 4*q + 0 - 12 = 0 for f.
-4
Let q be 12/(-30)*(1 + -6). Solve -2*i = -q*m + 6, -5*m + 21 = 4*i + 6 for m.
3
Suppose -5*a - 12 = -8*a. Solve 5*y = -a*o + 3 + 9, 0 = -4*y + 16 for o.
-2
Let l be 5/((-10)/(-36)) - -2. Suppose -q = -3*q + 40. Let i be ((-5)/4)/1*-4. Solve -i*a + 5*m - l = 15, 4*m - q = 0 for a.
-2
Suppose 0 = -3*u + 18 + 24. Let s = u + 26. Let k be (3 - (3 + -2)) + 0. Solve -4*d = -4*j - s, 3*d = -d - k*j + 10 for d.
5
Let r be -3*(-1)/(0 + 1). Let n = 2 + 0. Let m(l) = l**3 - 23*l**2 + 3*l - 69. Let v be m(23). Solve v = 3*k + 4*c + 14, -r*c - 11 + 1 = n*k for k.
-2
Let n be 8/5 + (-42)/(-105). Solve 0 = -5*z + z 