z + w = 2*k + 1, -3*z = -k + 9 for z.
-3
Let t(l) = l**2 + 2*l - 7. Let c be t(-7). Suppose 12 = 5*r - c. Let g be (-2)/(-9) + 284/18. Solve -i - 2*i + b = -r, 3*b + g = i for i.
1
Let d(l) = 3*l. Let a be d(1). Solve -2*x = -3*y - 8, y = x - a*y - 9 for x.
1
Let j be 1/(6/8) + (-40)/(-60). Solve -p - j*i = 7, 4*i + 4 = 4*p - 16 for p.
1
Suppose 0*y = y + u + 10, y + 28 = 5*u. Let c = 16 + y. Solve -12 = 3*d - 3*i, -12 = -d + 2*d - c*i for d.
0
Suppose -3*z + 4*z = 5. Suppose -z*k + 6 = -3*k. Solve -n + 4*g = -2, 7*n - 4*g - 8 = k*n for n.
2
Let s = 71 + -68. Solve 1 = -2*a - s*q - 20, 0 = -5*a + 4*q + 5 for a.
-3
Suppose 0 = -x - 3*x. Suppose 0 = -2*a - x*a + 8. Solve 17 + 0 = 3*j + a*f, -3*f = 5*j - 21 for j.
3
Suppose 3*k - 5*a = 4, -4*a + 5*a - 1 = 0. Solve w + 2*l = -12, 4*w - w + k*l = -21 for w.
-2
Let z(r) = r**3 - 12*r**2 - 11*r - 26. Let q be z(13). Solve q = 5*n - 0*g + 5*g - 10, -4*g - 27 = -3*n for n.
5
Let u be -7 + (-3 - 0)/(-1). Let v be (u + 1)*(-2)/3. Solve -10 = -v*j + 3*x + 5, 0 = -4*j - 2*x + 6 for j.
3
Let w(x) = -x**3 - 4*x**2 + 5*x + 5. Let k = 2 + -7. Let i be w(k). Solve -4*z - 12 = -i*s - 32, -3*z - 2*s + 15 = 0 for z.
5
Suppose -7*p + 20 = -2*p. Solve 3*y = c - 14, -9 = -c - 2*y + p*y for c.
-1
Suppose 5*m = -0*m - 3*k - 9, 0 = -5*m - 4*k - 12. Suppose m = 3*u - 7 - 2. Suppose u = -3*c + 4*c. Solve 0 = -o + f, 0 = -4*o - 2*f - c*f + 36 for o.
4
Let y(r) be the third derivative of -r**5/60 + 11*r**4/24 - 3*r**3/2 + 7*r**2. Let g be y(8). Solve -4*v + 4*c + g = 3*c, 5*c + 3 = 2*v for v.
4
Let o be -1*-5*(-3 + 1 - -3). Solve 3*s = o*q - 16, 0 = -4*s - 4*q + 3*q - 6 for s.
-2
Suppose 0 = 3*v + 2*z - 4, 2*z + 2*z = -5*v + 8. Suppose v*b = b. Let p be 4*(5 + -1 + b). Solve 0 = -y - 4, 4*y + p = -3*n - 3 for n.
-1
Suppose -31 - 5 = -2*t. Let p = -15 + 18. Solve 4*i = -p*s - t, 2 + 1 = -i for s.
-2
Let d be (3 - (4 + 0))*-2. Suppose -8 = -2*o - o - d*r, -2*o = 5*r - 20. Solve 4*t = n - 3, o = -0*n + n - 3 for t.
0
Let k(a) = -a**3 + 3*a**2 - a + 2. Let x = -2 - -5. Suppose -3*b = 5*f - 21, -5*b + 22 - 3 = x*f. Let p be k(b). Solve -5*g - s + 20 = s, 3 = p*g - s for g.
2
Let y(q) = q**2 + 9*q - 9. Let t be y(-9). Let v = t - -14. Solve -3*z = 2*x - 22, -7*z = -3*z - v*x + 9 for z.
4
Suppose 0 - 12 = -6*u. Solve -4*z - 3*w - 20 = -8*z, -u*z = 3*w + 8 for z.
2
Let c(q) = 3*q + 4. Let v(b) = -10*b - 13. Let w(o) = 7*c(o) + 2*v(o). Suppose 7 = 4*f - 3*f. Let h be w(f). Solve -2*n + 19 = 5*u, 5*u = 4*n + h - 2 for n.
2
Let h = 10 - 12. Let w be (1 + 1)*h/(-2). Solve 0 = 4*y + 3*d + w, -1 = -4*d + 7 for y.
-2
Let b be (-42)/12*(5 + -11). Solve -a - 18 = a - 4*n, a + b = 5*n for a.
-1
Let j(l) = l**3 + 7*l**2 + 7*l + 8. Let i be j(-6). Let q be 220/18 - i/9. Let o be 6/21 - 288/(-21). Solve 4*p = q, -5*p + o = -2*a - 3*p for a.
-4
Let y be (10 - 0)*(2 + -1). Suppose 5*h - y = -5. Let c = 3 - h. Solve -3*u = -c*z + 21, 3*z = u - 5 + 19 for u.
-5
Suppose 3*r - 4 = -16. Let p(q) = -q**2 - 3*q + 4. Let w be p(r). Solve -5*g + 5*d - d + 11 = w, -2*g - 3*d + 9 = 0 for g.
3
Let f(w) = -w**2 + 9*w - 3. Suppose 4 = 4*t - 2*t - 3*z, 4*t + z - 36 = 0. Let r be f(t). Solve 2*i + i + r*c = 1, 4*i + 8 = -2*c for i.
-3
Suppose -5*h + 15 = -0*h. Solve -4*k + 7 = 3*c + 2*c, -h*k + 4*c + 13 = 0 for k.
3
Suppose -21 = -2*i - i. Let t = -3 + i. Suppose 5*l - 26 = -t*p + 8, 5*l - p = 29. Solve -d - 4*c + 12 = 3, -c + l = -d for d.
-3
Let m = 107 - 86. Solve -3*r + 2*w = -2, 2*w = -r + 7*w - m for r.
4
Suppose -2*q - 3*q - 15 = 0. Let d = 3 + q. Solve d = -2*t - 4*r - 20, -t + 3*t - 4*r - 20 = 0 for t.
0
Suppose -44 = 5*p - 3*g, -3*p + 24 = -6*p + g. Let f be 2/(-2)*p/(-1). Let q be (f - -1)*2/(-6). Solve 0 = 4*x - a + 15, -4*a + 15 = q*x - 9*a for x.
-5
Let l = -2 + 4. Let i = 0 + l. Let u = 35 + -35. Solve i*f = -p - 1, u = 5*p - 0*p - 25 for f.
-3
Let x(q) = -q**3 + 5*q**2 + 6*q + 2. Let d be x(6). Let j be (-1 + (9 - d))/2. Solve -3*k + 20 = 2*f, 3*f - j*k - 16 = -4*k for f.
4
Let m = -4 - -10. Let q = 3 + -1. Let n = 21 - 17. Solve n*o = 2*w - m, q*w - 21 = 4*w + 5*o for w.
-3
Let o = -16 + 9. Let t = o + 11. Solve 2*p = 5*s - 6, 4*s - t + 1 = p for s.
0
Suppose 4*c = 22 + 22. Let j = c + -7. Solve 0 = j*h + h - 2*i - 5, 2*h - 21 = -3*i for h.
3
Suppose -3*w = -2*p - 2, p = w - 0*p. Suppose -2 + 8 = -w*v. Let b be ((-1)/v - 1)*-6. Solve -5*x - 22 = -4*h + 3, -b*x + 11 = 3*h for x.
-1
Suppose 24 = 5*o - 2*o - 3*f, -5*o + 28 = -f. Suppose 4*j - 7 + 2 = m, 0 = -o*m + 15. Solve -4*c - 26 = 2*d, d + j = 2*c - d for c.
-4
Suppose l + 32 = -5*z + 105, -5*l = 2*z - 20. Solve -40 + 10 = 2*q - 4*f, 3*f - z = 0 for q.
-5
Let m(k) = -k + 6. Let j be m(9). Let z(s) = 3 - s**2 - 4*s + 0*s + 0*s**2. Let a be z(j). Solve 0 = o - w + 3, 3*o - a*o = -w + 3 for o.
0
Let v(s) = s**3 - 5*s**2 - 4*s - 6. Let g be v(6). Let b be g/((-5)/((-30)/9)). Solve b*w - 2 = -2*j, 0 = 4*j + w - 2*w + 23 for j.
-5
Let t(g) = -5*g**3 - g**2 - g. Let u be t(-1). Suppose 2*w - 9 + 25 = -4*b, -3*b - 12 = -u*w. Solve q = 5*h - q + 14, 5*h + 3*q + 29 = w for h.
-4
Let j = -86 - -88. Solve j*q + 5 = -3*a, 6*a = a + 4*q - 45 for a.
-5
Let w(z) = 5*z**2 - 4*z + 3. Let p be w(1). Solve 0 = 3*x - 3*c + 12, -8 = p*x + x + c for x.
-2
Suppose 0 = -5*r + 5 + 5. Let x = r + 3. Solve 24 = x*c + h, -3*h + 32 = 5*c - 0*h for c.
4
Suppose -4*q - 2 = 4*g + 2, 2*g + 5 = -3*q. Solve -5*l + 0*o - 45 = 4*o, -15 = l + g*o for l.
-5
Let s = -22 - -42. Let i = -17 + s. Let r be (-2)/(-1)*3/2. Solve -i*h - 10 = -4*z, r*z = 5*h + 1 + 1 for z.
4
Let w(l) = l**3 - 2*l**2 - 3*l - 16. Let o be w(4). Solve 4*t = 2*q - 8, 0*t = 4*t - o*q + 12 for t.
-1
Let u = 29 - 26. Solve -4*l + q = 14, l + 9 = -u*q - 1 for l.
-4
Suppose 0 = 4*i - i - 18. Solve 5*z - 10 = 2*h + h, 2*h = -3*z + i for z.
2
Let p(c) = 4*c + 1. Let i be p(1). Let g = -2 + 9. Suppose 4*n = g*n - 6. Solve n*j + 18 = -4*x, -i*x = -5*j + 6 + 9 for x.
-4
Let g = -69 + 87. Solve -3*b + 8*b = 4*y - g, 5*y - 12 = b for y.
2
Let m = 17 + -12. Suppose 0 = 3*x + 2*x - m*k - 15, 5*k - 6 = -2*x. Let l be 48/12 + 1 + (9 - -2). Solve 2*z + 0*r + 11 = r, -r = -x*z - l for z.
-5
Let f be (3 + 0)/((-33)/(-55)). Suppose 0 = 2*m + 3*m + l - 18, -f*m + 21 = 2*l. Solve 0 = m*d - 2*a + 17, 2*d = 3*a + 1 - 19 for d.
-3
Let n = -2 - 2. Let p = n + 6. Solve 0*m - p*m - 8 = 3*c, 4*c + 2*m + 8 = 0 for c.
0
Let t(q) = 2*q**3 + 3*q**2 - 4*q + 2. Let i be t(1). Solve 30 = -5*n + 5*g, 6*n - 10 = n - i*g for n.
-1
Let z be 7/((-42)/(-4)) - 55/(-3). Solve -w - 5*p - z = 0, 2*p + 14 = -5*w + 3*w for w.
-4
Let s = 23 - 15. Solve -n + s = 5*w - 0*n, 0 = w - 2*n - 6 for w.
2
Let o = -20 + 25. Let v = 0 - 0. Suppose -m - o = -v*m + 3*q, -4*m = -3*q - 25. Solve 3*n = -m*p + 2*n + 19, -2*p - n = -9 for p.
5
Let w(v) = 21*v**2 + 1. Let g be w(-1). Let q = -21 + g. Solve -m + q = -5*u, 0*m = 5*m - 5 for u.
0
Let m(r) = r**2 - 2*r**2 - r**3 - r**2 + 2 + r. Let y be m(-2). Suppose -p + 4 + 0 = y. Solve 5*a - 3*k = -32, 2*a + 8 = 4*a + p*k for a.
-4
Let s = -3 + 8. Suppose -2*v - 6 = -s*v. Solve 5*i = -4*u + 2 - 20, -2 = v*u - i for u.
-2
Let t be 2 + 3/((-3)/(-29)). Let s = t - 21. Solve 0 = -u - 5*q - s - 2, 2*u + q + 6 = 0 for u.
-2
Let z = -14 + 21. Let t = z + -3. Let p be (-1 - 1)/((-2)/4). Solve 3*c = t*g - 11 - 3, 3*c + p = -g for c.
-2
Suppose -20 + 0 = -5*m. Suppose 2*c - 24 - 76 = 0. Suppose -3*i - 2*i = -c. Solve -x - 4 = 2*t + 1, -i = 2*x - m*t for x.
-5
Let o = 14 + -14. Solve -5*r - 5*p - 5 = o, -r - 2*p + 4*p = 7 for r.
-3
Suppose 4*z - 5*m - 24 = -9, -10 = -z - 5*m. Let r = z + 0. Solve 5*q + 4*n + n = r, 5*q - 2 = -4*n for q.
-2
Let q(w) = w**3 - 4*w**2 - 5*w + 5. Let n be q(5). Solve -2*i = -2*o + 8, 2 = n*i + 2*o - 6 for i.
0
Let b = 3 - 4. Let i = -8 - b. Let r = -4 - i. Solve -3*y + 4*y + 15 = -r*v, -3*v + 4*y = 0 for v.
-4
Let f be (508/(-7))/(-4) + 1/(-7). Solve f = -4*n - 2*q + 46, 2*n = 3*q - 2 for n.
5
Let k = 0 - -3. Let q(b) = -2*b - 6. Let l(z) = -z - 3. Let u(y) = -7*l(y) + 4*q(y). Let d be u(-5). Solve -k*i = -0*g + 3*g - 18, 0 = -d*g + 10 for i.
1
Let f = 15 + -10. Solve -4*v + f*s = 12, 3*s - 8*s + 30 = 5*v for v.
2
Let s(l) = 2 + 1 - 2 + 2*l - 3*l**3. Suppose -d - o + 3 = 4, -2*o + 1 = -d. Let y be s(d). Solve 0 = -y*b - 0*b, q - 2 = -2*b for q.
2
Let c(b) 