- 5*k - 5 = 0, -5*k + j - 41 = -w for w.
4
Let v be 1/(2/6) - 0. Let y = -66 - -66. Solve -4*x = -5*o - 27, y*o + 3*o + v*x = 0 for o.
-3
Let u(x) = 10 + x**2 - 2*x**2 - 6*x + 0*x**2. Let j be u(-7). Suppose -5*b - 2*q = -q - 11, 5*b = -4*q - 1. Solve 4 = n + 3*v, -b*n + 2*n + j*v - 8 = 0 for n.
-2
Suppose -j = -1 - 16. Solve -5*c = 4*s - j, -10 = s - 6*s + 5*c for s.
3
Let h = -37 + 69. Let m be (6/8)/(8/h). Solve 0*p - 1 = -3*d - 2*p, -m*p - 6 = -3*d for d.
1
Let c be (-1)/(-4) + 38/8. Suppose 0 = 5*x - c*f - 35, 5*x - 3*f = -4*f + 17. Let h be (-16)/12*9/(-6). Solve -24 = -x*j + a, -5*a = h*j + 4 + 6 for j.
5
Let l(u) = -9*u - 31. Let n be l(-4). Solve 0 = -j - n, 2*r - 13 = 3*j - 2*j for r.
4
Let v(c) = -c**2 - 4*c - 2. Let o(p) = -p**2 - 6*p - 7. Let z be 1 + 1 + (-7)/1. Let y be o(z). Let b be v(y). Solve 2*g + 3*g + i + 10 = 0, 4*i = -g - b for g.
-2
Suppose 4*x - 5 = -x. Let v = x - -3. Let r(a) = -2*a**3 + 2*a**2 + a. Let l be r(-2). Solve -5*b - 3*c + l = -v*c, 4*b + 3*c - 29 = 0 for b.
5
Let t(o) = o**3 + 11*o**2 - 13*o - 7. Let w be t(-12). Solve 5*z = 4*d + 14, 0*z = -4*z - 3*d + w for z.
2
Let p(t) = t**2 - 6*t + 5. Let g be p(4). Let a be g/(-9) - (-24)/9. Let u be a - 1 - (1 + -1). Solve 3*h + u*z + 3*z - 23 = 0, 3*h - 5*z = -17 for h.
1
Let v(h) = h**3 - h**2 - h + 3. Let f be v(0). Suppose 5*g - 2*g - 24 = 0. Solve -5*m = 5*c, -18 = c - g*m + f*m for c.
-3
Suppose -3*z + 21 = 2*i, 3*z = -3*i - 2*i + 48. Let f = i - 6. Solve f*s + 0*h - 4*h - 1 = 0, 2 = s - 3*h for s.
-1
Let f = 4 + 0. Suppose -3 = -w + 1. Suppose 0*t - 3*z + 4 = -2*t, 0 = 5*t - w*z - 4. Solve -f*c + 4*y = -t, -2*c = 6*y - y + 19 for c.
-2
Suppose -44*b + 40*b + 12 = 0. Solve -b*q + 15 = 2*q, q - 28 = 5*m for m.
-5
Suppose -3*b + 3*t - 8*t + 22 = 0, -5*b = 3*t - 26. Solve 5*v - 5*q = 3 - 38, -b*v - q = 8 for v.
-3
Suppose 3*x = -x + 12. Suppose -6*t = -5*t. Let a(p) = p**2 - 2*p + 10. Let i be a(5). Solve -5*z = 2*o - i, t = x*o + 5*z - 25 for o.
0
Suppose 0 - 2 = -b. Let m(f) = -f**2 - 2*f + 2. Let d be m(b). Let k be (-4)/d - (-4)/3. Solve k*q = 3*j + 14, 4*q + 2 = -2*j - 2 for q.
1
Suppose 10*f - 100 = 5*f. Suppose 0 = -4*q - q + f. Solve 0 = 3*l - 6*l + 4*h - 5, 3*l - 5*h = -q for l.
-3
Let f = 3 - 2. Let t be (2 - 0/(-1)) + f. Let h = -2 + t. Solve o - 3 = -o + 3*b, 5*o - h = b for o.
0
Let r(j) = -j**2 + 5*j. Let v be r(4). Let p be 1*v/2*2. Let o(i) = i**2 - 7*i - 3. Let n be o(8). Solve n*w - 16 = p*t, 2*t + w = -0*w + 6 for t.
1
Suppose 5*k - n + 3*n = 43, 4*k - 2*n - 38 = 0. Solve -r - 13 = -5*w, -5*r - k = -w + 4*w for w.
2
Let y(z) = 2*z**2 + 2*z - 2. Let n be y(1). Solve 7 = x - 4*x + n*u, 4*x = -4*u - 16 for x.
-3
Let b(y) = y**3 + 3*y**2 - 4*y + 5. Let i be b(-4). Suppose -3*p - 2*p + 65 = 0. Suppose -n = 2*n. Solve n = 4*a - i*f - p, 5*a - 5*f - 5 = 5 for a.
-3
Let n be (-15)/(-6) - 8/16. Solve 0 = 4*a + 3*r - 6*r, 8 = -n*r for a.
-3
Let j(r) = 2*r**2 + r. Let c be j(1). Solve -7*s = 5*z - 4*s + 7, -5*s = z - c for z.
-2
Let f be 1/(-4) + 9/4. Suppose -z + 6 = f*z. Let b be (2 - 5) + 6/z. Solve 3*o + o = 3*d + 23, b = o - 2 for d.
-5
Let n = -2 + 2. Suppose 0 = -4*p - 4, 0 = 4*m - p - p + 6. Let a be (-2 - 1)*(n + m). Solve -a = -0*y - 2*y - d, -3*y + 2*d = -9 for y.
3
Suppose -v = -2*d + 2*v - 12, 2*d + 5*v - 20 = 0. Suppose -2*q - 2 = -6. Solve 0*y - 5*y - q*h - 29 = d, 4*h = 2*y + 2 for y.
-5
Let h(z) = 2*z**3 + 12*z**2 - 2*z - 9. Let a be h(-6). Solve -3 = -a*q + 4*l - 25, -2*l = 3*q - 2 for q.
-2
Let i(r) = 2*r. Let b be i(2). Suppose 5*f = 4*g - 42, -g - 5*f = 3 - 1. Let c = g - b. Solve -2*q = 4*j - 6, 5*j + c*q - 6 = 3*j for j.
1
Let b(v) = -3*v - 1. Let c be b(-3). Let q(x) = -x**2 + 10*x. Let u be q(c). Let z = -3 - -6. Solve 5*l - 20 = 4*j, u = 4*l + z*j + 2*j for l.
4
Suppose 0 = -4*d - 3*p + 28, 4*d + 6 = 2*p + 14. Let r be 14/6 - 6/(-9). Solve d*o + j = -25, -r*o + 2*o = -2*j - 5 for o.
-5
Let k = -11 + 13. Let j be (k - 2)/4 + 17. Solve -3*v = -4*a - j + 5, 2*v - a = 3 for v.
0
Suppose -8 = -z - 0*z. Let h = 11 - z. Let r = 134 - 94. Solve -14 - 13 = -h*n - 3*y, -r = -4*n - 5*y for n.
5
Suppose 2*w + 8 = f, 0 = -2*w - 1 - 3. Let r = -11 + 23. Suppose -f*v = -r - 36. Solve 4*c - p - 3*p = -v, 0 = -5*c - 5*p + 35 for c.
2
Let a(w) = -4*w**2 - w - 1. Let u be a(-1). Let k be (-6)/10*(u + -1). Let q be ((-16)/(-6))/(6/54). Solve -3*d - q = 4*i, -2*d + 4*i = -1 - k for d.
-4
Let s(t) = -2*t + 37 - 37. Let r be s(1). Let u be (8 + 2)/(r/(-2)). Solve 0*w = 2*w - 4*j + 18, j = -5*w + u for w.
1
Let q(y) = y + 5. Let a be q(-4). Let k(w) = -5 + w**3 - 8*w**2 + w + 7 - 6 - 4. Let d be k(8). Solve 4*p - 3*r - a = d, 5*r - 5 = -p + 6*p for p.
4
Suppose 4*t + 0 = 16. Let q be (-4)/(-6)*(-3)/(-2). Let y be (1/(-2))/(2/(-8)). Solve -l + y = -t*s, 3*l + q - 7 = 5*s for s.
0
Suppose 0 = -12*j + 18*j - 18. Solve -3*b = 2*z - 6, 4*b + z = 5 + j for b.
2
Let i be ((-8)/(-14))/((-4)/(-28)). Solve -4*w + 27 = 3*v, -i*w + 25 = w + 2*v for w.
3
Let x(z) = z**3 - 7*z**2 + 5*z + 8. Let r be x(6). Suppose 4*q - 6 = r*q. Solve 4*p + n - 14 - 7 = 0, q*n - 35 = -5*p for p.
4
Let m = 3 - 0. Let f = m + -2. Let q be 2*(2 + f/(-1)). Solve -1 = -4*n - b, -6*n - 2*b = -q*n + 2 for n.
1
Suppose 4*k = -5*a + 22, 0 = -0*a - a + 2. Suppose k = -i + 2*i. Suppose -o = -3*h + 36, i*h - h + 3*o = 24. Solve 0 = -3*f + h, -2*f + 6*f - 19 = -p for p.
3
Suppose 0 = -r + 16 - 12. Solve -2*s + 3*l + 11 = 2*s, 0 = -r*s - 3*l + 5 for s.
2
Let r be (-4)/10 + (-2)/(-5). Suppose -2*j + 0 + 26 = 4*c, r = 3*j - c - 11. Solve -2*l + 15 = -j*m + 3*l, -19 = 5*m - 3*l for m.
-5
Let v = 0 + -1. Let a = 3 - v. Solve 3*g - 2 = a*t + 1, 5*t - 2 = -2*g for g.
1
Let k(q) = q**3 + 4*q**2 - 2*q - 4. Suppose 0*h - 5*o = h + 4, -o + 12 = -3*h. Let g be k(h). Solve g*n + 23 = 5*d, -3*n = -4*d + 2*d + 12 for n.
-2
Let d = -7 + 7. Suppose d = -2*h, 3*h = -2*m - 0*h + 6. Solve -m*y = 2*n - 2 - 0, -5*y - 2 = -2*n for n.
1
Let r(f) = f + 4. Let b(u) = u**3 - 4*u**2 - 5*u - 2. Let w be b(5). Let q = w + 2. Let m be r(q). Solve 0 = k + m*n + 9, -3*k + 5*k + 5*n + 12 = 0 for k.
-1
Let f be (12/9)/(6/9). Let w(i) = 2*i**2 - 1. Let s be w(-2). Suppose -2*t + t + s = 0. Solve 0 = 2*a - 2*c + 12, -f*a = -4*a + c - t for a.
-1
Let q(d) = 2*d - 2. Let r be q(3). Suppose r*x + 0 = 12. Solve 10 + 9 = 3*g - 5*f, 4*f + 17 = x*g for g.
3
Suppose -5*w - 18 = -4*w. Let k be (w/2)/(-3) - -1. Solve 0 = k*f - 7*f - 2*z - 1, -1 = f + z for f.
1
Let p = -132 + 142. Solve -w + 0*o - 7 = -o, 2*w = o - p for w.
-3
Suppose 0 = u + 4*u - 10. Suppose 0 = 2*k + u. Let z be -3*(k + 8/(-3)). Solve o - 4*q - z = 0, 20 - 8 = -4*q for o.
-1
Let p = -17 + 4. Let d = p - -16. Solve d*o + 11 = 4*r, -4*o + 1 + 1 = 3*r for o.
-1
Let s = 325 + -317. Let c be 2/(-6) + 20/6. Let i = c - 0. Solve 0 = -3*n - 3, 0*w - i*w - s = -n for w.
-3
Suppose 174 = 4*c + 3*b, 127 = 3*c + 2*b + 2*b. Solve 4*x + 5*z + c = 0, -4*z = -6*x + 3*x + 5 for x.
-5
Suppose 4*n - 7 - 5 = 0. Solve n*r + l = -4, 3*r + 7 = -5*l - 13 for r.
0
Let s be 2*1 - 4/(-2). Suppose 12*a - 374 = a. Solve 0 = -2*r + 5*n - a + 9, -5*r - s*n = -20 for r.
0
Let b = -8 + 8. Suppose u = -b*u + 8. Solve 0 = -4*a + u, 0*w = 2*w - 2*a - 6 for w.
5
Let j = -76 + 79. Solve j - 9 = 2*z, 4*z = -2*d - 10 for d.
1
Suppose -3*p - 4*b = p - 4, 0 = -p + 5*b + 1. Let c = 4 - p. Suppose c*k - 1 = -3*f + 41, 0 = f - 4. Solve -3*a = 5*t + 2*a, 3*a + k = 2*t for t.
2
Suppose 2*q + 30 = 5*s, 0 = -6*s + 3*s + 5*q + 37. Suppose -36*c + 65 = -31*c. Solve k = -4*a + 15, -2*a + 31 - c = s*k for k.
3
Let f(y) = 7*y**2 - y. Let t be f(-1). Let h be 1 + t - (-3 - -2). Solve 3*o = 5*n - 2 - h, 3*n = 2*o + 7 for o.
1
Let u(b) be the third derivative of b**4/12 - b**2. Let h be u(1). Let n = -5 - -11. Solve -24 = 4*s - 5*o - n, h*s - 5*o = -14 for s.
-2
Let h be (5 - 2/1) + (6 - 5). Solve 1 = -4*x + 8*x - y, -2*y - 2 = -h*x for x.
0
Let x = 76 + -72. Solve x*k = a - 4 - 6, k - 5 = 4*a for a.
-2
Suppose -4*f + 12 = -8. Suppose -q = m, f*q = 2*m + 2*m. Solve -5*p - 9 = -m*p - 3*s, 0 = 3*s + 6 for p.
-3
Suppose -3*n + 0*t + 3*t = 0, 0 = -2*n + 4*t - 8. Solve 0 = 2*b - 0*b + 2*j + n, 12 = -3*b - 5*j for b.
1
Suppose -8*q + 114 = -2*q. Solve -3*a - 2*i - 3*i = -q, -i = 5*a + 5 for a.
-2
Let p = -67 - -69. Solve 0 = -c