 2*f + 16 = 0 for k.
-5
Suppose 0 = 6*g - 5*g. Solve g = 5*s + 5*l, 4*s - 3*l + 21 = 7 for s.
-2
Suppose 0 = q + q + 4. Let t(b) = b**3 + 4*b**2 + 2*b - 2. Let d be t(q). Suppose -2*g + 8 + 20 = 0. Solve 5*s - m = -17, d*s + 0*m = -2*m - g for s.
-4
Suppose 7 = -3*h + 1, 5*h + 6 = -o. Solve 4*r + 5*n + 1 = 0, -2*n = o*r - 7*r - 18 for r.
-4
Let j = 29 + -17. Suppose j = -c + 4*c. Solve -z + 24 = 5*o, c*o - 8 = 2*o for z.
4
Let y = -13 + 16. Solve 4*x - 10 = -2*h, -x - 2*h = y*h + 11 for x.
4
Suppose -2 = 2*h - 3*h. Let z be 14*((-15)/(-6) - h). Solve z = -b - q, 8*b = 3*b + 2*q - 7 for b.
-3
Let r(m) = -m**2 + 3*m + 3. Let d be r(3). Solve 5*z - 2 - d = -5*f, 0 = -3*z + 2*f - 17 for z.
-3
Suppose -2*p = 2*z - 32, 3*z - 24 = -p - 2*z. Let g = -9 + p. Solve -a + 3*t + 10 - 1 = 0, g*a + 3*t = -9 for a.
0
Let n(z) = 4*z - 1. Let i be n(2). Let g be -19*-2*(-3)/(-6). Suppose -i = -3*m + 2*m + y, 0 = -2*m + 3*y + g. Solve 3*o - m = 5*a + 7, 3*a - 5*o - 1 = 0 for a.
-3
Let i(y) = y**2 + 10*y + 15. Let o be i(-10). Suppose 0 = -3*m + o. Solve -r - r = 2*g, m*r - 12 = -g for g.
-3
Let n(c) = c**2 - 5*c - 11. Let o be n(7). Solve -3*j - 9 = o*x - 6*j, 3*j - 16 = -4*x for x.
1
Suppose -13 = -w - 2*y, 0 = 5*w - 2*y - 27 + 10. Solve -5*f - t + 6 = 0, -4*f + w = t - 0 for f.
1
Let s be (-13)/(-7) - 1/(-7). Suppose -4*f = -s*f. Suppose 6*p - 3*p = f. Solve -4*k + 3*b = -p*b - 16, 0 = 5*k - 2*b - 13 for k.
1
Suppose -51 + 136 = 17*k. Suppose 0*w + 2*g = -2*w + 12, 3*g = 3*w - 24. Solve 5*u - w = -2*a, -u + k*a = -15 - 8 for u.
3
Let w = 17 + -14. Solve 2*v + 4*i - 18 = 0, 2*v = -i + w*i - 6 for v.
1
Suppose 2*w + 2 = 0, -p = -2*p + 4*w + 10. Let z be -2 - 1*(-2 + 4). Let k = z + p. Solve -4*i + 2*c - k = 0, 4*c - 3 - 1 = -5*i for i.
0
Suppose -2*b + 4*g = -26, 2*g - 14 = -4. Suppose b = 4*l - 25. Solve 6 = -2*n - 0*x + 4*x, 0 = 4*n + 2*x + l for n.
-3
Let w = 11 - 7. Suppose -3*k - w*m + 59 = 0, 4*k - 47 = m - 0*m. Solve -4*y + k = 1, -h + 2*y - 8 = 0 for h.
-2
Let s = -9 + 14. Solve -3*b = -5*x + 12, -s*x - 5*b + 18 = -2*b for x.
3
Suppose -3*u + 4*c - 28 = -7*u, 2*c + 28 = 4*u. Solve r = -2*x - 10, -3*r = 3*x + u + 14 for r.
-4
Let q = 1 + 0. Let u(o) = 3*o**3 + 2*o - 1. Let t be u(q). Solve 1 = 2*w + 2*z - 3*z, -4*w = -4*z - t for w.
0
Suppose 1 = -2*k + 5. Solve k*v + 1 = 3*s - 3*v, 0 = 2*s - 3*v - 1 for s.
2
Let t = 1 - 2. Let h = -1 - t. Solve -4*u + 3*m - 17 = -h, 2*u - 2*m + 8 = 0 for u.
-5
Suppose 3*n = 3*k - 7 - 20, k = -3*n + 9. Let t be (105/k)/((-2)/(-6)). Solve 0 = -4*h + 5*r + t, 3*h - 4*r - 12 = 15 for h.
5
Let n(w) = w**3 + 7*w**2 + 5*w - 3. Let l = -7 - -1. Let p be n(l). Suppose -4*q - 10 = -5*f, q - 2 = p*f - 3*q. Solve -f + 34 = 5*h - 3*z, -3 = 3*z for h.
5
Let h be (-32)/(-6)*15/10. Solve p = 3*y + 5, -2*p - h = 2*y + 2*p for y.
-2
Let v = -4 + 16. Let d = -9 + v. Solve 7 = -3*u + 2*y, d*u + 3*y + 3 - 6 = 0 for u.
-1
Let d be 9 + 5/((-15)/(-6)). Suppose 1 = -g + d. Solve -1 = -2*p + 3*w, 4*p - w = -3*w + g for p.
2
Suppose -38 = -2*f + m - 8, -32 = -2*f + 2*m. Suppose -5*j = 16 + f. Let g = j + 17. Solve 0 = 5*u - 3*y + 17, 7*y - 2*y = 4*u + g for u.
-4
Let w(y) = 6*y - y + 0*y + 3. Let v be w(4). Solve -4*m - 3*t - 27 = 0, v = -3*m + 2*m - 4*t for m.
-3
Let c be 4/3 + (-14)/42. Solve -3*i = 5*f + 2, 5*i + c = 3*f + 9 for i.
1
Suppose 0 = 46*v - 52*v + 12. Solve -1 = -5*n - v*o - 0, -3 = -5*n - o for n.
1
Let a be (-20)/(1 - 10/6). Suppose -2*o - 3*d + 15 + 2 = 0, 5*o - a = -5*d. Solve -3*y + 26 = -5*j, 0 = 2*y - o - 3 for j.
-4
Suppose 0 = -9*g + 4*g + 65. Solve 33 = -4*u - d + 6*d, 4*u = d - g for u.
-2
Let f be 2/(-3 + 1) - -3. Solve 5*p + 7 = r, p + f*r - r + 5 = 0 for p.
-2
Suppose -4 = -5*k + 1. Let o be -2*(-4)/(k + 1). Let f be 1 - 3/(-6)*2. Solve 4*c - f = -l + 4, 4*l = -o*c for l.
-2
Let d = 2 + -4. Let f be (-2*1)/(1/d). Solve 3*n + 7 = f*q - 16, 4*n + 4*q = 16 for n.
-1
Let u be (-2)/(-2*1/5). Solve 4*b - z - u = -18, -z = -3*b - 9 for b.
-4
Let b be 1/1 - -1*(3 - 2). Solve 0 = -b*k + s + 3, 0*s - 6 = -3*k + 2*s for k.
0
Suppose -4*m = 3*w - 13, 4*w - 12 = 2*w - m. Suppose 0 = 3*b - w - 8. Solve 4*u + 13 = 2*z - 15, 3*z - 37 = b*u for u.
-5
Suppose 0*n + 2*n - 32 = 0. Suppose 3*g + 0*s = s + 35, -8 = 4*s. Solve 0 = k - 4*o - n, 2*k = -2*o - g - 7 for k.
-4
Let w(b) = -b**3 - 8*b**2 + 9*b. Let y be w(-9). Solve -5*l - 4*q = 7 + 8, y = 3*q + 15 for l.
1
Suppose -n + 9 = 13*j - 8*j, -15 = -5*n + 5*j. Solve 8 = 3*p - n*r + 40, -2*r + 30 = -5*p for p.
-4
Let r be 6/4*(12 + -10). Solve 4*z = r*u - 2, z - 3*u + 2*u = -1 for z.
1
Suppose -4*b + 2*i + 18 = 0, 3*i - 26 = -5*b + 2*i. Suppose b*p - 25 - 50 = 0. Let n be ((-3)/(-1))/(3/p). Solve 8 = 3*m - w, -m + 2*w = 4*m - n for m.
1
Let r be ((-14)/(-6))/1 - 16/(-24). Solve x - 3 = r*l, 5*x + 4*l + 4 = x for x.
0
Suppose 4*w + 2*n = -2*n + 8, -8 = 4*n. Suppose c + w - 6 = 0. Solve -5*t + 17 = 4*s, -4*s - 11 - c = -t for t.
5
Let z = -14 + 18. Solve 0 = -5*m + 3*f - 20, -z*m - 2 = -f + 7 for m.
-1
Suppose 3*a = a. Solve -5*h + 0 + 5 = a, 9 = -2*g + 3*h for g.
-3
Let a be (0 - 1) + 1 - -2. Suppose 5*b - 44 + 34 = 0. Solve 5*r + b*p = 4*r - a, 0 = p + 2 for r.
2
Let d be 10/(-3)*-3*1/2. Solve -3*c + 6 = -w, -2*c + 6*c = -d*w + 27 for w.
3
Let v = 7 - 4. Solve 3*x + 22 = 4*u, v*u - u - 14 = 3*x for u.
4
Let n = 6 - 3. Solve -4*i + n*i + 5*b = -21, 2*b = 2*i - 2 for i.
-4
Let n be 0/(1 - -1)*1. Suppose -5*p - b = -3*p, n = p + b. Solve -11 = -3*w + v + 6, -3*v - 15 = p for w.
4
Suppose 15 = 4*i - 1. Solve 0 = -4*k - 2*w - 3 + 9, -2*k + 6 = i*w for k.
1
Let f be ((-14)/(-77))/((-1)/(-11)). Solve -3*h = -f*x + 23, -3*x + h + 22 = 5 for x.
4
Suppose 3*i - 2*d = -74, 2*d + 3*d = -5*i - 140. Let l = i + 50. Solve 0 = -4*p - 2*f, -4*p + 3*f = 4 - l for p.
2
Let z be (-1 - (-2 - -3))/2. Let l(a) = -3*a. Let i be l(z). Suppose 7*c = 3*c + i*u + 106, -3*c = -3*u - 81. Solve 8*v = 3*v - 2*f + c, 0 = 3*f - 15 for v.
3
Let u(s) = 4*s**2 - 8*s - 6*s**2 - 5 + 3*s**2. Let h be u(9). Suppose 0*l - 104 = -h*l. Solve -v - 24 + 7 = 3*r, 4*r = -2*v - l for v.
-5
Suppose 0 = 3*h - 8 + 2. Let o = 11 - 6. Solve o*y = -v + 16, 4 = h*v + 5*y - 8 for v.
-4
Let d be 4 + (1/1 - 1). Solve -4*c - d*x + 24 = x, -4*c + 20 = 4*x for c.
1
Let o(c) = -c - 2. Let i be o(10). Let l = -28 - i. Let g be (l/10)/(1/(-25)). Solve 0 = 4*t + 4*j - g, -5 = -j - 0 for t.
5
Suppose 2*c + 16 = 4*q - 3*q, -7 = -q - c. Let y = q + -6. Solve -14 = -2*t + y*f - 0, -5*t + 5*f = -15 for t.
-1
Let v(w) be the second derivative of w**3/6 + 2*w**2 - 9*w. Let g be v(0). Solve g*d - 17 = -n, -5*n - 6 = -4*d + 29 for d.
5
Suppose 5*d + 8 = -3*v, -d = -2*d - 4*v - 5. Let g be (-3 - 0)*(d + 2). Let c be g/(-12) - 11/(-4). Solve -4*i = -x + 9, 3*i - 7 = -c*x + 5*i for x.
1
Suppose -2*c - 3*c - 125 = 0. Let r = c - -36. Solve p + 4*u + r = -4*p, 2*u = p - 9 for p.
1
Suppose -5*n - 4*m + 12 = 0, -n - 2*n - 2*m = -6. Solve -2*z - u - 2 = 0, 2*z - z + u + 1 = n for z.
-1
Let s(x) = 10*x - 67. Let h be s(7). Solve -4*y - h = -l, 3*l = -0*y - 4*y + 9 for y.
0
Let w = -69 + 69. Solve -4*v = -a - 11, 0 = 2*a - w*a - 10 for v.
4
Let s(u) = -u + 1. Let v be s(-4). Let d be 3/(4 + (-53)/14). Solve -z = -3*a + d, 3*a + 4*z + v = -6 for a.
3
Let g = 6 + -4. Let f be g + -4 + 7*1. Solve 0 = -3*o + 2*t + 5, t = f*o - 3 - 3 for o.
1
Let r = -20 + 26. Solve 0 = 5*w + r*o - 2*o + 9, 3*w = 2*o - 23 for w.
-5
Let a(t) = 2*t - 15. Let h be a(9). Let s = -4 - -2. Let u = s - -4. Solve -2*o - h = 5*q, -q - o = 5 - u for q.
1
Let c(b) = b - 96. Let l be c(0). Let a be ((-3)/9)/(2/l). Solve 3*t + 3 = -2*o, -2*o + 2 = -4*t - a for t.
-3
Let f(k) = -k**3 - 4*k**2 + k + 5. Let x be f(-4). Let t be 3*(x + 3/9). Solve h - y + 1 = t*y, 0 = -3*y + 3 for h.
4
Let s(i) = 2*i. Let o be s(-5). Let w be (-6 - o)*9/4. Let f be w + (-4*1 - -2). Solve 5*m + 4*g + 14 = 0, f*m - 3*m = 3*g - 5 for m.
-2
Let o be (5 - 1)*(-10)/8. Let t = -22 + 29. Let k = t + o. Solve -3*a - 10 = n, -k*a = 2*a + 3*n + 10 for a.
-4
Suppose t = 2*q - 4, 2*t - 7*q = -4*q - 5. Let n(a) = a**3 - 3*a + 1. Let u be n(t). Let j = -30 - -42. Solve j = u*c - 0*s - s, 2*c + 5*s = 25 for c.
5
Suppose -g = -3*u - 33, g + u - 27 + 6 = 0. Let w = 9 + -5. Suppose 2*d + 0 = w. Solve 0*l - 13 = l - d*b, -4*l - g = -b for l.
