a + 12, 3*b = -i*a - 32 for b.
-4
Suppose 4*u + 0 - 16 = 0. Solve 0 = u*y - 5*z - 30, 2*y - 2*z = z + 16 for y.
5
Let a be 1*(-1)/1*0. Let f = a + 5. Suppose -q = 1, 5*q - 21 = -2*z - 0*q. Solve 2*p - 5*r + 1 = -z, -4*p = f*r - 32 for p.
3
Suppose 12 = 7*t - 5*t. Solve q + 3 = -m, 5*m + 15 = -t*q + 4*q for q.
0
Suppose -14 = 10*k - 64. Solve 0 = -5*r, -5 = -k*h + 2*r - 4*r for h.
1
Suppose -13*r - 26 = -14*r. Solve j + 3*j - 3*a + 10 = 0, r = -4*j - 5*a for j.
-4
Let l = -18 - -24. Suppose -3*g = 2*y - 47, 3*y + 2*g = 55 + 18. Suppose y = 7*s - 2*s. Solve -x - 11 = 5*o, 9 = -s*x - 5*o - l for x.
-1
Let q = 8 - 3. Suppose -14 + 4 = -2*i - 3*k, -25 = -5*i + q*k. Solve -i*b + 8*b = m, -b = -m for m.
0
Suppose -14*y = -87 - 25. Let f be 30/(-4)*(-4)/6. Solve 5*b - y = 4*v, f*b - v - 17 + 0 = 0 for b.
4
Suppose 5*c - 5*a - 10 = 3*c, -4*a - 5 = -c. Solve h = -c, 0 = n + 3*h - 2 + 12 for n.
5
Suppose -2*y - 2 = 3*x, 1 = -4*y + 3*x + 15. Suppose -c - 9 = -k, k - y*c = -5 + 18. Solve -3*d = p + 2, 4*p = -k*d - 1 - 0 for d.
-1
Suppose -7*t + 1 = -34. Solve 0 = t*l - q + 20, 0 = -4*l - 0*q + 5*q - 37 for l.
-3
Let g be (3 + (-20)/12)*3. Suppose 5*y - 2*y - 12 = 0. Solve -2*m - 5*l = -m + y, 2*l + 16 = -g*m for m.
-4
Suppose 0 = -3*k + 9, -4*k = -2*r - 3*r + 13. Suppose -i - r = o + 1, 3*o = -4*i - 19. Let v be (i/2)/((-7)/84). Solve 5*y + 5*b = 10, 0*b + 3*b - v = y for y.
0
Let r be 4/18 + (-3736)/(-36). Suppose 7*o - r = 3*o. Solve -4*a + 4*q = 23 + 1, 5*q - o = a for a.
-1
Let r(o) = o**3 - 3*o**2 - 1. Let t be r(4). Suppose -t = -3*g, y = g - 1 - 4. Solve 2*n = 4*w + w + 14, y = -4*n - 2*w + 4 for n.
2
Let p(a) = -a**2 + 1. Let x be p(1). Let y = 4 + x. Let w(k) = k**3 + k**2 + 1. Let m be w(0). Solve -m = y*b + 11, -5*u - 10 = 5*b for u.
1
Suppose -4*j = -2*t - 32 - 6, -3 = -t. Suppose 0 = -3*s + j + 7. Solve -n = -2*n - 5*z + s, 4*z - 16 = 2*n for n.
-4
Let n(s) = 7*s**2 + 7*s - 8. Let g(f) = -4*f**2 - 3*f + 4. Let d(j) = -5*g(j) - 3*n(j). Let y be d(-6). Solve 0*v - 20 = w - 4*v, v = y for w.
-4
Let k be 2/(1/7*2). Let o(x) = -x**2 + 7*x + 3. Let c be o(k). Suppose -c*v = -6*v. Solve v = -4*l - 0*b - b - 8, -4*b = 16 for l.
-1
Suppose -9*z + 2 = -7*z - 2*g, 5*z + 4*g - 23 = 0. Solve 3 = z*u, 4*m + 3*u + 1 = -0*u for m.
-1
Let f(y) = -y + 2. Let q be f(0). Suppose -27 + 7 = -5*r. Suppose 0 = -5*z - r + 54. Solve 0 = a + 6*s - s - q, 0 = 5*a + 3*s - z for a.
2
Let u = -44 + 84. Solve -5*f - b - 3*b + u = 0, -4*b + 12 = -2*f for f.
4
Let p be 6/(-15)*(-5 - 0). Suppose 0 = -3*d - 2*d. Suppose 4*u + 1 - 21 = d. Solve p*f - 3*x + x = -10, 2*x + 25 = -u*f for f.
-5
Let w(n) = -n**2 + 6*n + 4. Let f be w(6). Let k be (-11 - -11)*2/(-4). Solve -3 = 3*b - 9, k = 2*m - f*b + 10 for m.
-1
Suppose -1 + 17 = 4*u. Solve u*q = 3*n - n + 12, -2*n + 2*q - 4 = 0 for n.
2
Suppose 10 = -a - 2*t - 0, 0 = 3*t + 15. Let u be 0/(2/2) + a. Suppose -3*d = -0*d - 6. Solve -15 = -6*g + d*g + h, 2*g + 3*h - 11 = u for g.
4
Suppose 0 = -2*c + c + 4, 3*t - 22 = -4*c. Suppose s = -s + 4. Let x = s - t. Solve x = 5*a - 5*l, 7 = -5*a + 2*l + 1 for a.
-2
Let j(u) be the first derivative of -u**3/3 - 8*u**2 + 23*u + 8. Let x be j(-16). Solve 0 = -5*z + 4*c + x, 2 = -3*z + z - 4*c for z.
3
Suppose -2*t - t = -6. Solve 3*k = -9, -t*l + 3*k - 16 = 3*l for l.
-5
Let i(o) = 7*o + 3. Let z be i(3). Suppose 3*w - z = 24. Solve -4*s - w = 4*l + l, s + 3 = -l for s.
1
Suppose h = -2*h + 12. Solve -c = -4*i + 20, -c - i + 1 = -h for c.
0
Suppose -2*f = -s - 6, 0 = -6*s + 2*s + 2*f. Solve -c - 6 = s*l, -2*l + 3*c - 3 = -l for l.
-3
Let k be (0 + -3)/(33/(-286)). Solve 7*t - 2*t + 34 = -3*b, 2*b = -4*t - k for b.
-3
Suppose 5 = 2*x + 3*f - 1, 3*f = 2*x + 6. Suppose x = -p - 3*p + 16. Solve -4*d = -5*o + 25, -23 + 1 = -2*o + p*d for o.
1
Let n(l) = 5 - 5 + l + 2 + 3. Let x be n(-3). Let z be ((-1)/2)/(x/(-16)). Solve -t = -z*t + 3*s, -4*s - 16 = 0 for t.
-4
Suppose -2*o - 4*d = 36, -4*o = -0*o + 2*d + 54. Let f be (0 + o)*2/(-6). Suppose -28 = -2*q + q. Solve 4*m - q = -3*n, -2*n - n - 4 = -f*m for n.
4
Let k be (-4)/6*-1*6. Suppose 4*v - 6*v = -6. Solve -3*m - v*n - 2*n + 35 = 0, 0 = n - k for m.
5
Let v(z) = z**2 + 19*z - 18. Let u be v(-20). Solve 5*x + 25 = 4*j, 0 = 4*j - u*x - x - 15 for j.
0
Suppose 4*i - 2*i - 6 = 0. Suppose 8 = i*p - p. Solve -3*z - 10 = w - 3*w, -p*z = -2*w + 10 for z.
0
Let j = -3 + 4. Suppose -k + 1 = -n, -2*k = 4*n + j - 9. Solve -3*z - 3*d - 15 = -k*d, -5*z - 17 = -d for z.
-4
Suppose -2*t = 5*k + 18, 0*t - 4 = -4*t. Let b = k - -9. Solve 2*c - c = 4*v + 3, -b*v = 5 for c.
-1
Suppose 5*x - 2*t = -t + 169, -38 = -x - 4*t. Solve -4*s + 5*b + x = -s, -s - 22 = 5*b for s.
3
Let k(n) be the third derivative of -n**6/60 + n**4/12 + n**3/6 - 6*n**2. Let z be k(-1). Solve -3*q + 2 - z = -4*a, 2*q + a + 3 = 0 for q.
-1
Let r = -1 - 2. Let w = 1 + r. Let s = 6 + w. Solve -5*c + 3*k - 4 = 9, -12 = 4*c - s*k for c.
-2
Let w(v) = -v**3 + 8*v**2 + 6*v + 31. Let j be w(9). Solve 6*g - 2*g = 3*u + 1, -u + j*g = 3 for u.
1
Let y(u) = -u - 11. Let p be y(11). Let q = -19 - p. Solve 2*z = t - q, -27 = 2*z + 2*t - 9 for z.
-4
Let k(v) = -v**3 + 3*v**2 + 4*v + 4. Let w be k(4). Let z = -4 + 7. Let l be (5 - 3) + -1 + z. Solve l*h + 0*y - 1 = 3*y, 6 = 3*h - w*y for h.
-2
Suppose -3*o - 53 = -4*h, -4*o + 4*h = -15 + 87. Let n = o - -39. Solve 2*s - n = 4*f, -3*s - f - 5 = -0*s for s.
0
Let j be (-4)/6 + (-32)/(-12). Suppose -4 - j = -3*n. Solve -n*u + 4 = p, 2*u - 6 = 2*p - 14 for p.
4
Let o be 8/20 + 3/5. Solve 2*z + j + 1 = 0, 3*j + 26 = 5*z + o for z.
2
Let f be ((-3)/(-2))/((-1)/(-2)). Suppose 3 = f*y - 0. Suppose -3*d + 4*a = -4, 5 = 3*a - y. Solve -3*u = 0, -d*x - 3*u + 4*u + 8 = 0 for x.
2
Suppose -r - z = z + 11, 2*z - 14 = 4*r. Let w = -5 - r. Solve -u - 3 = -j - 0*j, 2*u = w for j.
3
Let x(m) = m - 1. Let h = -8 - -12. Let r be x(h). Solve 3*z + 2*z = -p - 22, -p = -r*z - 10 for z.
-4
Let d(s) = 12*s + 1. Let a be d(-1). Let t = 13 + a. Solve -2*y - 4*o + t*o + 4 = 0, -y + 4*o = 13 for y.
-1
Suppose -2*f + 10 + 0 = 0. Suppose -z = -k + 3*z + 21, f*z = -20. Solve 0 = -3*b + d + 15, -4*d + 22 - 54 = -k*b for b.
4
Let t = 3 - 1. Suppose t + 8 = 2*h. Let k(s) = 2*s**2 - s + 1. Let g be k(2). Solve -3*l - g = a, 0*l - 4*l + 16 = -h*a for a.
-4
Let r be (3 - 5) + 15 + 1. Suppose 4*y - r = 18. Solve -20 = 5*z, -3*u + 5*z + y = 3*z for u.
0
Let h(t) = 3*t - 12. Let a be h(5). Solve -g + 5*w = -11, 4*g - w + a*w = 0 for g.
1
Let l = -8 - -17. Suppose 3 = m - l. Solve -3*t = -f - m - 3, -4*t = -f - 19 for t.
4
Let x = -16 + 22. Suppose 0 = -p - 2*g + 7, -4*p + x*p = -3*g + 13. Suppose 3*n + 12 = p*n. Solve 3 = -4*s - c - n, 3*c = 5*s - 10 for s.
-1
Suppose 0*t + 5*t - 25 = 0. Suppose -5 = -3*n - t*g, 6*n = 3*n - 3*g + 3. Solve j + 3*s = -12, n*s + 2*s = -5*j - 8 for j.
0
Let d be (-3)/(-12) + 2/(-8). Solve -w + 2*m = -10, 0 = -w - d*m + 5*m + 22 for w.
2
Suppose 2*y - 2*p - 16 = 0, 4*y + p - 4 = 8. Solve -w = -2*r - 4*w - 2, 0 = -4*r - y*w - 4 for r.
-1
Let c(u) = -2*u + 8. Let l be c(4). Let b(y) = y**3 + y**2 + 5. Let s be b(l). Solve -1 = 5*h - 2*k, 0*k - 7 = s*h + k for h.
-1
Suppose 2*a - a + 4 = 0. Let n = 1 - a. Solve -l + m = -2*l - 2, -n*m = -5*l + 40 for l.
3
Let p be (-43)/(-6) + 2/(-12). Let a = -5 - -18. Let y = a - p. Solve 2*b - y*b = 16, 2*b = 3*c + 7 for c.
-5
Let c = 11 - 7. Suppose -c*x - 4*d + 12 = 0, 0 = -3*x - 4*d + 8 + 1. Suppose 7 = 3*q + 1. Solve 2*o + 3 = -3*k, 0 = -4*k - 5*o + q*o - x for k.
-3
Let w(g) = g**3 - 3*g**2 + 2*g - 2. Let v be (-63)/(-28) + 2/(-8). Let u be w(v). Let o = -2 - u. Solve o = 2*p - 1 + 3, 4*p + 5 = t for t.
1
Let s be 1*4/(-6)*-6. Let y be (-48)/(-32)*s/3. Solve 0 = -y*l - 2*r - 14, -2*l - 2 = r - 3*r for l.
-4
Suppose -4*j - 5*x = -41, -3*j + 47 = 2*j + 2*x. Let m = 1 - -2. Suppose b - 9 - j = -3*p, -m*p = -5*b. Solve 0*l = -a + 2*l, -p*l - 5 = 0 for a.
-2
Let s be ((-10)/8)/(5/(-20)). Let g be ((-2)/6)/((-8)/48). Let x be -5*g/(6/(-3)). Solve k - s = -x*u, 2*k - 2*u = 5*k - 2 for k.
0
Suppose x = -6*r + 2*r + 13, 2*r = 4*x + 2. Suppose -4*j - 7 = r*k - 28, 11 = 4*j + 5*k. Solve -2*m + j = 5*v, 5*m = 2*v - 0*v - 21 for m.
-3
Suppose 35*f - 24 = 29*f. Solve -f*d + 13 = 5*u + 1, -2*d + 6 = 0 for u.
0
Let p = -9 - -17. Let w = p + -3. 