 = 13, -3*z + 0*b + u*b = -12 for z.
5
Suppose 0*m + 2*m = -16. Let n = 2 + m. Let v = 8 + n. Solve -v = b + g - 1, -g = -b - 3 for b.
-2
Suppose 0 = -2*m - 5 + 15. Solve 5*o = -5*w - 5, m*w + 5*o + 13 = 4*w for w.
2
Let z be (0 + 0)/(0 - 1). Let k be (z + -2 + 3)*1. Let l be k*-2*44/(-8). Solve 5*n - l + 1 = 5*g, 5*g - 2*n + 10 = 0 for g.
-2
Let g = 22 + -18. Solve -14 = g*u + 3*o, -2*o + 7*o = -3*u - 16 for u.
-2
Let x = 25 - 25. Let z = -2 + 2. Solve z = -4*t - 4*d, 0 = -3*t - x*d + d - 8 for t.
-2
Let g(t) = 4*t - 10. Suppose -3*u - 1 = -2*w, -2*u + 3 + 7 = 0. Let o be g(w). Let x be (-1)/(-3) + o/6. Solve x*f = m - 20, -m - 28 = 5*f - 3*m for f.
-4
Let w(c) = c**2 - 15*c + 5. Let j be w(15). Solve -t - 2 = j*f + 12, 4*f + 10 = -2*t for f.
-3
Suppose -5*p + 3*a = 4*a - 5, -5*a = -5*p + 35. Solve p*h - 7 = 5*r, -h + 2*r = -2*r - 8 for h.
-4
Let l be (-3 - 16)*(-1 + 0). Let x = l + -2. Let d = 12 + -7. Solve -x = 5*o - h, -d*o + 7*h - 8 = 3*h for o.
-4
Let z = -4 - -4. Let d = z - -4. Solve 8*w - 3*w - 4 = 3*b, 2*b = -d*w - 10 for b.
-3
Let t(b) = 4*b**3 - b**2 - 6*b + 4. Let r be t(2). Solve -4*j - 15 = -3*g, 0*g = 4*j - 4*g + r for j.
0
Suppose 2*n + 12 = 3*h, -n + 30 = -6*n - 2*h. Let j be (-18)/4*4/n. Solve -7*c = -q - j*c - 17, 8 = -q + c for q.
-5
Suppose 0 = -m - 1 - 12. Let k = 10 - m. Suppose -3*a = 5*d - 6 - 3, 2*d = 2*a + 10. Solve -5*z + k = d*o, -3*o - 3*z = 1 - 16 for o.
1
Let i be ((-14)/6*-3)/(-1). Let r(h) = h + 9. Let u be r(i). Solve -4*d + 5*o - 45 = 0, -3*o = -4*d - u*o - 25 for d.
-5
Let i be 6/(-18) - (-58)/(-6). Let j = i - -14. Solve 0*l + 36 = -5*l - j*a, -2*l = -2*a for l.
-4
Let f(q) = q - 2. Let d be f(7). Suppose 2*o + 3*o - d*n = 30, -n + 4 = 4*o. Solve -16 + 1 = 5*i, o*t - 3*i - 11 = 0 for t.
1
Suppose 0 = -2*i - 10, 5*i = 4*b - 5*b - 19. Let r(x) = -3 - x**2 - 3 + 0*x**2 + b*x. Let t be r(4). Solve t*l - 1 = c, -l - 2*c - c - 17 = 0 for l.
-2
Suppose 5*d + 2*u - 88 = 0, 5*d - 6*d + 14 = 4*u. Let j be 175/63 - (-4)/d. Solve -5*n = -0*f + j*f + 26, 2*n + 4 = 2*f for n.
-4
Let a(r) = -r - 4. Let n = 19 - 25. Let f be a(n). Solve -5*l - 3 = -f*u + 5, -2*u + 8 = l for u.
4
Let w(n) be the third derivative of n**6/120 - n**5/20 - 5*n**4/24 - n**3/2 - n**2. Let s be w(5). Solve 3*b + 23 = -2*c, 6*c - 3*c + s = -2*b for b.
-5
Suppose 2*f = 2*w + 8 - 2, -4*f + 16 = -3*w. Let d = f + -5. Solve -5*v - 2*x = 1, 0 = -d*v - 4*x - 0 + 6 for v.
-1
Let d(z) = -5*z**3 - 2*z**2 - 2*z - 1. Let u be d(-1). Let s(m) = -m**3 + 10*m**2 - 10*m + 14. Let n be s(9). Solve 3*p - 4 = u*h - 0*p, -n*h + 5*p = 5 for h.
-1
Let x be 2 - (-1 - -2 - -2). Let a = 1 - x. Suppose 3*n - 5 = -5*c, 2*n - 2*c - 18 + 4 = 0. Solve -3*b + 4 = 2*y, -3 - n = 4*y + a*b for y.
-4
Let r = 13 + 5. Suppose 3 = 3*m - r. Solve 5*t = 5*o - 4*o - m, 4*o = 2*t + 10 for t.
-1
Suppose m = 0, 2*k + 2*k + m = 8. Let q be 10/6 - 2/(-6). Let x be (2 - (q + 0))/2. Solve -4*c + i - 13 = -0*c, x = c + i + k for c.
-3
Suppose 0 = -5*a - 0*a. Let l = -8 + 15. Solve -3*z = -a - 3, 2*z - l = -o for o.
5
Let w(c) = -c**3 + 3*c**2 + 6*c - 4. Let p = 3 + 1. Let a be w(p). Solve a*n + 1 = -5*l, 2*n = n - l for n.
1
Let m(n) = n**2 + 3*n - 2. Let z be m(-4). Solve 0 = -z*u - 5*s + 4 + 10, 0 = -u + 3*s - 4 for u.
2
Suppose 0 = -2*w + 5*i + 4, -w - 2*w + i + 6 = 0. Solve -5*p - u = 4 - 15, 0 = w*p + 2*u + 2 for p.
3
Let t = -9 + 13. Let i be (2/t)/((-3)/(-6)). Solve 5*l - 9 = -3*q, -2 = -q - 5*l + i for q.
3
Let c(m) = m**3 - 5*m**2 - 5*m - 3. Let r be c(6). Solve -r = -3*x - 4*u + 1, -4*u - 8 = 0 for x.
4
Let o = -1 - -7. Suppose 0 = 3*z + 24 - o. Let w be (3 + (-20)/6)*z. Solve 25 = 3*n - 5*i, -2*n - w*i - 10 + 0 = 0 for n.
0
Suppose -3*k + 3 = -6. Let v = -44 + 49. Solve 0*q + 12 = k*q, v*q = 5*d for d.
4
Let x be 48/27 - (-4)/18. Let s = -8 + 11. Let v be 0/(-4) + s + 0. Solve x*k + 2*a = 8, v = -a + 2 for k.
5
Suppose 0 = -a + 2*d + 7, -a - 2*d + 14 = 3. Suppose 4*r = -0*i + 3*i + 1, 0 = -r - i + a. Suppose u = -u + r. Solve -u*o + 3*o - 7 = 2*t, -2*t = 6 for o.
1
Let i be (2 - 0)*23/(-2). Let x = -14 - i. Let g = -4 + x. Solve -4*m - f = m + 17, -g*f = -2*m + 4 for m.
-3
Let k(h) = h**3 + 6*h**2 - 3*h - 14. Let t be k(-6). Solve 2*q - 8 = v, -13 - 1 = q + t*v for q.
2
Suppose 9 + 11 = 4*y. Let j = 0 + 4. Let p = 12 - 7. Solve -p*q + 5*f = -2*q - 10, y*f = -j*q + 25 for q.
5
Suppose 0 = -c - 5*r + 5, c + 4 = -0*c + 4*r. Let n = 6 - 4. Solve -4*t + 13 + 7 = c, -h + t = n for h.
3
Let y(c) = -c**2 + 24. Let h be y(0). Suppose 20 + h = 2*o - 3*s, 3*s = -5*o + 68. Solve -5*a + 4*l + 22 = 0, -5*a + 0*a + o = -2*l for a.
2
Suppose 4*v = -5*f + 112, -7*v + 2*v + 15 = 0. Suppose 0*k - 4*k = f. Let i = 10 + k. Solve 0 = a - 5*r - 6, -a + 5*a = i*r + 9 for a.
1
Let p be (-12)/(-8)*16/(-6). Let j = p + 15. Solve -n - 4*n - 4*t + j = 0, -5*n + 16 = -t for n.
3
Let d = -7 + 10. Suppose 0*p = d*p. Let n(o) = o**2 + 2*o. Let j be n(-3). Solve j*x = -3*r - 9, 5*r + 17 + 3 = p for x.
1
Suppose 17*j - 13*j = 28. Solve 0 = 5*k + 25, -j*s + 3*s - 37 = 5*k for s.
-3
Let h be 3 + (-3 - (3 - 3)). Suppose h = -v + 4. Solve -9 = -4*n + b + 7, -v*b = -5*n + 9 for n.
5
Suppose -4*j + 2*s + 24 = 0, j + 17 = 2*j + 5*s. Solve 3*k = 1 - j, 0 = 2*y + 4*k for y.
4
Let z be 280/16 + 3/6. Let c = -2 - -7. Suppose 3*i + 2*i - c = 0. Solve 2*m = 7 - i, -3*r = m - z for r.
5
Let u(r) = -r**3 - 3*r**2 - r + 4. Let d be u(-2). Solve 0 = 5*v - 5, d*o - 2*v - 1 = -v for o.
1
Suppose o = 5*f + 4, -o - 20 = -6*o - 4*f. Solve 2*z + 2*d = -2*z - 8, 4*d = -5*z - o for z.
-4
Let i(o) = -o**2 + 12*o + 3. Let p be i(12). Solve -p*z = -4*h - 16, 0 = -4*z - z - 3*h + 17 for z.
4
Let d = -121 - -121. Solve -5*r + 25 = d, -5*r + 37 = -4*l + l for l.
-4
Let b(o) = 1 + 4*o - 2 - 2. Let w be b(2). Suppose 4*a - 1 = f - 12, 0 = -5*f + w*a + 40. Solve -4*g = 4*m + 20, 0 = -4*m + 2*g - 1 - f for m.
-3
Let m be 42/(-70)*(-5 + 0). Solve 0 = m*w + w + g + 15, 5*w - 4*g + 3 = 0 for w.
-3
Let l(h) = h**2 + 3. Let j be l(0). Solve -2*w = -3*i - 0 + 1, j*w - 4*i + 3 = 0 for w.
-5
Let w = -2 - -5. Suppose -w*o + 5*r - 1 = 3, -5*r + 8 = -o. Solve -2 = 2*x + 2*m, 0 = -o*m + 3*m + 2 for x.
1
Let s = 6 + -1. Let x = s - 2. Solve 0 = -b + 4*v + 20, x*b = -b + 2*v + 10 for b.
0
Let s(b) be the first derivative of b**2/2 - 7*b - 4. Let m be s(9). Solve m*h = 4*h - 3*z + 2, 0 = 5*z - 10 for h.
2
Let r(i) = -4*i**2 - 6*i + 16. Let s be r(-7). Suppose -a - 8 = a. Let g be ((-2)/a)/((-3)/s). Solve 5*l - g = -2*t, 4*t = 3*t - 2*l + 10 for t.
4
Suppose -w - 3 + 5 = 0. Let v = 7 - 9. Let u be (w/1)/(v/(-5)). Solve 2*n + 3*a = -a - 12, -5*n + u = 3*a for n.
4
Let a be ((-16)/2)/((-4)/2). Let y(c) = -c**3 + 4*c**2 + 5. Let u be y(a). Solve 0 = 2*r + u*w - 19, 2*r + 10 = 4*w + 2 for r.
2
Let p = 28 + -43. Let k = -2 - p. Solve q = o - 5, 4*o - k = -7*q + 4*q for q.
-1
Let u(q) = -q**2 + 8*q - 9. Suppose -6 - 1 = v. Let h = v + 13. Let o be u(h). Solve 5*f - 29 = a - o*a, -4*f = -4*a - 12 for f.
5
Let h(k) = -2*k + 12. Let t be h(8). Let z = -5 - t. Let j = z - -4. Solve -j*q - 7*w = -3*w + 1, 0 = 3*w + 3 for q.
1
Let x = -13 - -20. Let c be (-225)/(-20) + 3/4. Let p = c - x. Solve 3*q - 2*g = 10 + 2, -4*g - 2 = p*q for q.
2
Let o be 1 + -1 + 2/1. Let a = -186 + 190. Solve 4*x + a*n + 8 = x, -x = o*n + 6 for x.
4
Let l be (-4)/(-6) + (-20)/(-6). Let q(a) = 5*a + 2 - 2*a - a. Let t be q(l). Solve -4*w - 3*x = 2*x - 29, 5*w - 3*x = -t for w.
1
Suppose -3 = 4*l - 19. Let j = 6 + -6. Suppose -2*u - l + 14 = j. Solve 0 = 4*f - q - 14, -u*q = f - 3*f - 2 for f.
4
Suppose -w - 1 + 10 = -5*y, 0 = -3*w + 3*y + 27. Let r = w + 1. Suppose -2*h = -7*h + r. Solve s = -h*a - 11, 3*a - s + 12 - 3 = 0 for a.
-4
Suppose 0 = -c - 2*c + 18. Let w(v) = v**2 - v. Let h be w(-1). Let b be h/12 + (-11)/(-6). Solve b*j + 29 = -5*k - 1, k - c = 2*j for j.
-5
Suppose 5*i = -2 + 17. Suppose 2 = i*c + q - 0, 14 = c - 3*q. Suppose -c*y - 4 = 5*b - 0, b + 4 = 0. Solve 15 = 3*o + 5*n, 0 = -o + 3*n - y*n + 15 for o.
0
Suppose 4*a + 5 = -5*u, -3*a - 7*u + 3*u = 5. Solve a*q + 25 = -5*j, 0*q + 17 = -4*j - q for j.
-4
Suppose 0 = 2*u - 3*u + 2. Suppose -3*m = 2*m - 15. Solve -u*d + 5*y - y = 26, 0 = 4*d + 3*y - m for d.
-3
Let o(c) = -c**2 - 10*c - 9. Let x be o(-9). Solve -3*v - 2*b = -6 + 2, 