 = 0, -f - 5*t = -2*f - 16 for f.
4
Let i be 19/(-4) - (-4)/(-16). Let w = 9 + i. Solve 5*k - 5*y = -15 - 10, 0 = w*k - y + 8 for k.
-1
Suppose 6*q - 3*q + 3 = 0. Let a be (2 + -1)/(q/(-5)). Solve 4 = j + 2*j + 4*y, -2*j = -a*y + 28 for j.
-4
Let x be 2*(3/12)/(3/18). Suppose s - 25 = -4*s. Solve 5*b - 5 = x*i - 0*b, -s*i + 1 = b for i.
0
Suppose 0*j + 28 = 2*j. Solve -j = -z - 2*k, -2*k - 9 = -z - 3*k for z.
4
Suppose 2*a - 12 = -4*m, 2*a + 3 = m + 7*a. Suppose 0 = 4*p - 3*k + m - 16, k = -5*p + 21. Suppose 2*i - i = 3. Solve -y + u = 7, -p*y - 16 = i*u - u for y.
-5
Let d(w) be the first derivative of -w**4/2 - 2*w**3/3 + w**2 + w + 4. Let m be d(-2). Suppose -5*o = -2 - 8. Solve 4*z + 11 = m*h, 0*h + 2 = o*h - z for h.
-1
Suppose 2*f - 95 = f. Let k be (-67)/(-13) - (-12)/(-78). Suppose -k*g + f = 5*j, 2*j - 18 = 4*g - 82. Solve 10 = -2*o, x + 11 + g = -5*o for x.
-3
Let i be (-2)/(8 + -7)*(-6)/4. Solve 0 - 10 = 5*a + 5*y, -i*a - 21 = -2*y for a.
-5
Let k(d) be the first derivative of -d**4/4 + 7*d**3/3 - d**2/2 + 9*d + 2. Let s be k(7). Solve 8 = s*q + 4*o, -4*q + 5 = o - 4 for q.
2
Suppose 2*x - 14 = 2*s, 3*x - 5*x - 2*s + 2 = 0. Solve -x*a = -5*i - 28, 0 = 3*i + 4*a + 3 + 1 for i.
-4
Let o = -53 - -55. Solve d - j + 16 = -5*j, j + 11 = -o*d for d.
-4
Let m(g) = g**3 + 11*g**2 - 13*g + 6. Let n be m(-12). Solve -n = -2*h + 2*v, 5*h + 0*v - v = 29 for h.
5
Let m = -41 - -64. Solve -4*t - m = 5*s, 4*t - 2*s + 20 = -6*s for t.
-2
Suppose 3*q - 6*m = -5*m + 7, -2*m - 6 = -2*q. Solve 0 = q*f - 4*w - 14, -2*w + 1 = -3*w for f.
5
Let y = 44 + -39. Solve 3*q - u - 20 = 0, -5*u + 2*u = 2*q + y for q.
5
Suppose -2*b = -4*q + 22, 16 = 2*q + 2*q + 4*b. Suppose 0 = r + 3*k - 10, 0 = -4*k + 2 + 2. Let c = r - 4. Solve 0 = c*a - q*p + p - 11, p + 5 = 0 for a.
-3
Let t(c) be the third derivative of 5*c**4/24 + c**3/2 - 3*c**2. Let i be t(-3). Let m be (-42)/(-4)*(-16)/i. Solve 2*p = -b - 3*p + m, 5*b + 2*p = 24 for b.
4
Suppose -119*j + 15 = -116*j. Solve -x - 8 = -j*y + 1, 4*y + x - 9 = 0 for y.
2
Let x be (-216)/(-28) + 2/7. Suppose -w = w - x. Solve -5*l = -w*f - 7, 13 = -4*f - 2*l - 1 for f.
-3
Let d = -3 + 12. Suppose 3*p + d = 6*p. Solve p*k = 5*v - 1, -5*v - 11 = 6*k - 3*k for k.
-2
Let z(y) = -2*y - 3. Let f = 10 + -13. Let s be z(f). Solve l + s*l + 8 = 4*m, 2*m - 4 = -l for l.
0
Suppose 16 = -17*v + 21*v. Solve v*r = k + 12, -5*k + 20 = r - k for r.
4
Let s(j) = 2*j**2 - 4*j - 1. Let d be s(3). Suppose d*i = i. Solve 0 = -3*t - 3*w + 3, i*t = t - 3*w + 7 for t.
-1
Let r(z) = -z + 20. Let p be r(18). Solve 1 = -3*t - 5, -3*t = -p*q + 16 for q.
5
Suppose -11*q = -50 - 5. Solve 2*h - 3*h + f = 7, -4*h - q*f - 1 = 0 for h.
-4
Suppose 4*p = p - 0*p. Solve 5*o = r + r - 5, p = 2*o + 5*r + 2 for o.
-1
Suppose 3*l + 47 = 4*s, -2 = -l - 3. Solve -2*y - 4*a - a - 18 = 0, 3*a + s = -y for y.
1
Let i(p) = -2*p + 7. Let o be i(5). Let k be (-5 - o - 2) + 8. Solve -k*d = y + 24, -2*y + 2 + 0 = -2*d for d.
-5
Let i(f) = 2*f - 3. Let m be i(5). Suppose -5*r + 32 = m. Suppose r*z - 2*j - j - 30 = 0, 3*z = -4*j - 11. Solve -2*h + 30 = 3*w - 5*h, -z*h = -5*w + 40 for w.
5
Suppose -260 = -5*t - 75. Suppose 5*f - t = 3*v + 19, f + 3*v = 4. Solve -4*a + 16 = 3*m - m, -m = 3*a - f for a.
2
Let l(f) = f + 17. Let x be l(-7). Suppose t + t + 4*d = -x, 7 = t - d. Suppose 0*c - t*c = 0. Solve n - 4*y + c*y - 5 = 0, 0 = 4*n - 3*y - 7 for n.
1
Let g = -10 - -46. Let k = 88 + -32. Let u = k - g. Solve -3*t - 17 = -2*c, u = 5*c - 3*t - 0 for c.
1
Let l(w) = -w**3 + 6*w**2 - 5*w + 1. Let s be (-1)/2 + 35/(-2). Let y = -13 - s. Let z be l(y). Solve -x = -3*g - z, -2*g = 3*x + 2 + 6 for g.
-1
Let s(c) = -11*c - 1. Let h be s(-6). Let r = h - 35. Solve 0*q + 45 = -4*z - 5*q, -5*z - q - r = 0 for z.
-5
Let s be 2*(2 + (-18)/4). Let d = -2 - s. Suppose -w = -d*w + 8. Solve w*v = 5*i + 1 + 8, 6 = 2*i - 4*v for i.
-5
Let w = 34 + -17. Suppose -y = 4*f + 4*y - 37, 4*y = f + 17. Let p = -3 + f. Solve 2*v + 5*x + w = -6, p = 2*v - 4*x - 22 for v.
1
Suppose 3*r - 2*p = 19, -4*p = 2*r + 2*r + 8. Suppose c = -0*g + g - 2, -5*g = 2*c - 17. Solve 0 = -5*f - a - 8, g*f - r*a - 3 = -15 for f.
-2
Let c(z) = 3*z - 2. Let t be c(6). Suppose 4*a - 2*a = t. Suppose -k = -a + 1. Solve 4*u + w + 2 = 17, 5*w = -3*u + k for u.
4
Let b(m) = 5*m - 12. Let g be b(6). Let h(f) = f**2 - 4*f - 1. Let n be h(5). Suppose 2 = -a + n. Solve 9 = -2*c + k, -c + a*c + 4*k = g for c.
-2
Let k be -1*(-3 - (3 + -3)). Solve -k*m = -3, 5*l - 10 + 2 = 2*m for l.
2
Let q(f) = -f**2 - 2*f - 1. Let b be q(-1). Let m(k) = -k**2 + 27. Let l be m(b). Solve 3*s - 3*j + 18 = 0, -l = 2*s + 2*s - 5*j for s.
-3
Suppose -k = -4*a + 12, -3*a - k = -26 + 10. Suppose -4*p + 50 = u, -p + u + 18 = a*u. Solve l + 2 = 3*j + 6, -3*l + j = p for l.
-5
Let s be 8/6*3*1. Let r = -48 + 48. Suppose -s = -2*t + 4, r = 3*m + 4*t - 52. Solve m = 2*d + 5*v - 7, 3*d + 3*v = 15 for d.
2
Let d(g) = g**2 + 11*g + 8. Let o be d(-11). Solve m + o = -5*x + 26, 2*m - 6 = 0 for x.
3
Let u(x) = -x**3 - 8*x**2 - 2*x + 5. Let h be u(-8). Let v = -11 + h. Solve w + 2*b + v = -0*w, b = -4*w - 12 for w.
-2
Suppose 3*t - 12 - 18 = 0. Let g be (3/(-2))/((-3)/t). Suppose g*l - 8 = l. Solve -h + 3*q + l + 2 = 0, 4*h = -5*q + 16 for h.
4
Suppose o - 2*s - 6 = -0, o - 3 = 5*s. Suppose 0 = -2*g - g - 18. Let m be (11 - 3) + g/2. Solve -5*w = -2*w + 4*d + o, -5*d - 10 = m*w for w.
0
Suppose -4*n - 4*y = -16, 4*y + 10 = 5*n - y. Solve -f + 3*c = 0, 2*f + n*c - 6 = f for f.
3
Suppose 2*d = -2 - 4. Let i be (-7)/d + 8/12. Let s be (-4 + 0 - 1)*-1. Solve -i*h + 4 = h - f, -4*f + 6 = -s*h for h.
2
Let y(g) = g**2 - 15*g + 4. Let q be y(15). Let a(v) = -v**3 + 4*v**2 - 3*v. Let r be a(2). Let m be (1/3)/(r/42). Solve -z - f = 1, z + 2 - m = -q*f for z.
-3
Suppose -b + i + 1 = 0, 0*i = 3*b + i - 19. Solve 2*k - b*c + 7 = 0, -2*k = 2*k + 4*c for k.
-1
Suppose 5*s + 3*a = 9, s - 4*a - 11 = -0*a. Suppose 8 = f + s*f. Let g be 48/21 + f/(-7). Solve 5*z - 1 = g*i + 4, 0 = i + 2*z - 11 for i.
5
Let k = 8 - 13. Let j = k + 3. Let r be 2/j - (-2 - 1). Solve 0 = 4*v - 2*h - 14 + r, -4*v - 3*h = -2 for v.
2
Suppose 4*b = -44 + 4. Let d = -1 - b. Solve -15 = -3*o + 5*m, 4*o - d = 3*o + 3*m for o.
0
Let y be ((-3)/18*-3)/((-12)/(-72)). Solve -m = 3*k - 3*m, -y*k - 9 = m for k.
-2
Let q(m) = -m**2 - 16*m + 18. Let v be q(-17). Let t(k) = 3*k**3 + k**2 - 2*k + 1. Let w be t(v). Solve -4*b - 4 = 3*x + 1, -w*b = -2*x - 9 for x.
-3
Let y(x) = x**2 - 2*x - 3. Let q be y(-3). Let o = q + -8. Let d be (-18)/6 + (10 - 2). Solve o*u - 6 = 3*t - 3, 0 = -d*t - 5 for u.
0
Let n = -12 + 18. Let d(f) = f. Let m be d(n). Solve 4*z = 5*u + 18, -u + z = 5*z - m for u.
-2
Suppose 3*r + 2*y + 8 = 0, -4*r + 0*y + 2*y = -8. Suppose 3*h + r*h - 6 = 0. Solve 0 = -h*z - 2*w, 7 = 4*z - 2*w - 5 for z.
2
Let x = 0 - -5. Suppose -8*b + 210 = -5*b. Suppose 3*v - 4*i - 3 - 4 = 0, -5*v - 5*i + b = 0. Solve j = -x*h + 3*h + v, 5*j = 25 for h.
2
Let m(c) = c**2 - 13*c - 25. Let y be m(15). Solve y*r - u + 2 = 8, 3*u = -r + 14 for r.
2
Let z = 45 + -41. Solve 0*o + 2 = 2*o - 3*d, 4*o + d = z for o.
1
Suppose 3*z - 3 = -3*b, 2*z - 3*b = -4*b + 5. Suppose 0 = -z*v + 3*v. Solve 3*j = -4*k + 8, v*k = -5*j - 2*k + 18 for j.
4
Suppose -5*s + 6*v - 4*v = -120, 0 = v. Solve -3*b - 4*q = s, -4*q - 4 = -2*b - 0*q for b.
-4
Let z be 2/4 + 7/(-14). Let c = z + 12. Solve q = 2*k + c, -k - q = -0*k for k.
-4
Let s be ((-1)/2 + 0)*-4. Suppose 0 = -3*l + 13 - 4. Suppose -16 = -2*o - 0*f - 3*f, 0 = o - 4*f + l. Solve 4*z + 5 = -o*n, s*z - 4*n - 30 = -0*n for z.
5
Let z = -2 - -6. Let d be 1 + -3 + (29 - -1). Let s = d + -13. Solve 3 = -k + 3*v, s = -z*k - k + 4*v for k.
-3
Suppose -2*t - 3*m + 18 = -5*m, -4*t + 4 = 4*m. Suppose 2*k + 4*n - 2 - 48 = 0, 5*n = 15. Let o = -17 + k. Solve t*d - 3*r - 10 = 0, 4*r = -o*d + r + 25 for d.
5
Let s(b) = 2*b**2 - 5*b - 7. Let k be s(-6). Suppose 3*c - 48 = -4*m, -2*m + k = 3*m - 5*c. Solve 5*h - 5*a + m = 0, 3*a - 1 = -2*h + h for h.
-2
Suppose -2*a = 2*a - 12. Let s be (a - 1)*(3 - 18). Let f be 1 + (-3)/(9/s). Solve -3*z - f = -6*z - k, -4*z - 4*k = -20 for z.
3
Suppose -2*k = 10, -2*k = -2*v + 3*k + 33. Suppose u - 2 = 2*a, 0*u - v = 2*u + 4*a. Solve -5*b + u*b - 5 = -3*j, -4*j = -3*b - 14 for 