 -f*n = 5*l - 4 for n.
3
Let m be 3/((-12)/(-16)) + -2. Suppose 0 = 3*h - k - 9, -3*h + 7 = -2*k - 2. Solve 2*f + m*c + 2 = 0, 6 = h*c + 21 for f.
4
Let f(d) = 8*d + 285. Let z be f(-35). Solve -c + 11 = -5*g, -g - z = g - c for g.
-2
Suppose -l = -n + 4*l - 5, n + 3 = 3*l. Suppose n = -7*b + 6*b + 5. Solve b = 5*t, 9 = -5*z + 5*t - 6 for z.
-2
Suppose -11 = -p - 2*c, -p - 33 = -4*p + c. Solve 4*y = -3*j - 2, 3*j = -2*j + y - p for j.
-2
Let p be -7 + 6 + (-2 - -6). Suppose p*u = u. Let t = -6 - -11. Solve 0 = w + 3*w + d + 18, 4*w + t*d + 26 = u for w.
-4
Let l(m) = 19*m + 78. Let o be l(-4). Solve 0 = 3*u - 2*u + o*x, 2 = x for u.
-4
Suppose -z + 8 = 9. Let b(j) = 11*j**3 - 23*j**3 + 3*j + 2*j**2 - 1 + 3. Let t be b(z). Solve -k + 2 = 3, -4*k = 3*h + t for h.
-3
Suppose 0 = -c + 6 - 4. Let i be ((-2)/(-3))/((-16)/(-120)) - c. Solve p + 5 = -i*k - 12, -4*k + 5*p = -9 for k.
-4
Let b be 4 - ((-5)/1 - (5 + -10)). Solve -3*v = -b*s + 23, 0 = -s + 2 for v.
-5
Let n(g) = -4*g + 38. Let w be n(6). Suppose -c = -2*z + 1, -4*c - 2 = 5*z + 2. Let t = 3 + c. Solve -3*u = t*v - 1, -5*u + 3*u - w = 5*v for v.
-4
Let l be 1/(2 + (-21)/12). Let q(n) = 3*n - 6. Let x be q(6). Let s be ((-15)/6)/(10/(-8)). Solve 3*i - 7 = s*i + l*o, 0 = -4*o - x for i.
-5
Suppose 0 = -3*h + 5*a + 18, 5*h - 3 = -2*a - 4. Suppose 0 = 3*l - h - 5. Solve -4*d - 32 = -0*d - 5*q, l*d = 5*q - 26 for d.
-3
Let y = -4 + 6. Let d(k) = -k + 4. Let t be d(5). Let a = y - t. Solve 25 = 5*l + 4*z, 3*z + 0*z - 15 = -a*l for l.
5
Let l = 1751 - 1749. Solve -5*u + 3*v = -l - 1, 0 = -5*v - 5 for u.
0
Let r(h) = h**2 - 30*h + 163. Let a be r(7). Solve -a*g - 4*k = -9*k - 19, k = -3 for g.
2
Suppose -10*t + 45 - 5 = 0. Solve -4*o = q + q - 6, -t*q + 7 = 3*o for o.
1
Let t(h) be the second derivative of -h**2 + 2*h + 1/12*h**4 - 1/6*h**3 + 0. Let g be t(2). Solve -4*a - 3*c + 15 = 0, -10 + g = -4*a + 2*c for a.
3
Suppose 6*n - 15 = -z + 8*n, 53 = 4*z - n. Solve 2*p + 16 = 3*j - 5, 5*j - z = -4*p for p.
-3
Let t = -1176 + 1182. Solve -2*c + 7*c - 9 = a, a + t = 2*c for c.
1
Suppose 2*u + 6 - 20 = 0. Suppose 3 = 2*t - u. Solve -6*k + 5*z - t = -2*k, 9 = -3*z for k.
-5
Let h(v) = -v**3 - 9*v**2 + 18*v + 211. Let p be h(-8). Solve -3*r - 2*c + 8 = 0, 1 = r - p*c + 2 for r.
2
Suppose -b = -3*s + 7*s + 124, 5*s + 4*b + 166 = 0. Let d be 6/15*s/(-2). Solve 5*c = 4*o + 4, d*o + 5 = 5*c + o for c.
0
Let f be (-2)/(-2)*(-12)/(-3). Suppose 2*p + 0 - f = 0, 5*p = 4*k - 14. Let l = 17 - 14. Solve 2*m - l = 5*r - k, r - 4*m = 15 for r.
-1
Let m be -12 + -7 + (-12 - -34). Solve -6*q = -m*q + 4*n + 1, -n = -5*q + 6 for q.
1
Suppose 0*x + 3*x = 21. Solve s + 3*c = 5*c + x, 5*c = -5 for s.
5
Suppose -4*v - 9 = -3*q, -4*v - q + 3 = -2*v. Solve 0 = -4*t + u - 22, -3*t - 5 = 5*u - v for t.
-5
Suppose 0 = 3*o - 5*o - 2*o. Solve o = -2*z - 3*a + 2 + 7, a - 5 = 0 for z.
-3
Suppose 2*s - 114 = -36*s. Solve 13 = f - 0*f + s*d, 31 = 4*f + 5*d for f.
4
Let p be 1/(-2*1/88). Let v be (-209)/p*8/(-2). Let o = v + 27. Solve -3*u + 4*k - 19 = 0, 7*u = 3*u - 3*k + o for u.
-1
Let d = -406 - -418. Solve 2*f + 4*r = d, 0*r - 20 = -5*r for f.
-2
Suppose 34 = 5*f + 5*j - 1, -j + 40 = 4*f. Solve 2*v = p + f, -4*p - v = -3*p + 2 for p.
-5
Let j(a) = a**3 - a**2 - 9*a + 19. Let b be j(2). Solve -u + 4*u - 2*k = -19, 27 = -b*u + k for u.
-5
Let j = -5 + 9. Let g be 2/7 + 1122/42. Suppose 2*a = -3*m + g, 4*a + 3*m - 45 = -0*a. Solve -3*i - 5 = -a*y + j*y, 2*i = -y + 1 for i.
0
Let k(c) = 15*c**2 - 7*c - 15. Let n(f) = 8*f**2 - 3*f - 8. Let z(b) = 6*k(b) - 11*n(b). Let a be z(5). Solve -a*l + 29 = -4*j, 5*l - j - 2 = 18 for l.
3
Suppose 0 = 4*b - 5*t - 45, -7*b - 3*t = -12*b + 40. Solve b*k = u + 5, -5*k + 5 = -6*u + u for u.
0
Suppose -5 - 5 = 2*a. Let v(u) = u**2 + 5*u + 3. Let g be v(a). Suppose -g*c + 13 = -2. Solve 5*n = 3*z - 9, 5*z = 4*n - c*n + 15 for z.
3
Suppose 0 = -4*u - 5*v + 25, 0*u = -2*u + 2*v - 10. Let n = 24 - 22. Suppose i + u = n. Solve 0 = 4*g + i*w - 16, -3 = -2*g + w + 1 for g.
3
Let o = -69 - -43. Let v = o + 18. Let k = 11 + v. Solve -3 = w - k*t, 2*w = -3*t + 2*t + 8 for w.
3
Let x be 2 - (-4 - -1 - 5). Let o be (-2)/(x/5 + -3). Solve -10 = o*y - 8*g + 3*g, 3*y + 15 = g for y.
-5
Let q be 0 + 8 + 7 + -11. Solve -4*f + q*n = 36, -5*n + 33 = -5*f - 3*n for f.
-5
Let n(f) = f - 1. Let g be n(4). Let j be (-11 - -11)/(1 - 3). Suppose 0 = 3*o - 2*i + i - 4, -o - g*i - 12 = j. Solve b - 9 = 3*s, o = -s + 3*b - 5 + 2 for s.
-3
Suppose 0 = 4*r + 2*f - 76 - 108, 4*f + 82 = 2*r. Let q = 72 - r. Solve 2*b + 9 = -5*o, -3*o + 5*b = o + q for o.
-3
Let a = 25 + -31. Let x(o) = -o**2 - 4*o + 13. Let m be x(a). Let p be 4*m + -1 + -1. Solve -2*h + 4*t = 2, -p*t = -2*h + 3*t - 5 for h.
5
Let a(s) = s**2 - 7*s + 5. Let n be a(7). Let o be (4/(-3))/(32/(-48)). Solve o*p + 2*u - 5 = 5, 3*p = n*u + 7 for p.
4
Suppose -t = t + 2*t. Solve 0 = -5*h + m + 26, -4*h = -t*m + 3*m - 17 for h.
5
Suppose -3*h + 8*m = 6*m - 131, -3*m - 12 = 0. Solve -3*a = -5*d - h + 1, 3*d + 3*a = 0 for d.
-5
Let a be 12/14 - (-2226)/147. Solve 4*c = 4*i + 24, -i + 3*i - 4*c = -a for i.
-4
Suppose 8 = -2*f, 8 = -5*i + 4*f + 24. Solve -10 = -2*a, -3*b - b + 4*a - 28 = i for b.
-2
Let x be 3 - (-13)/((-65)/150). Let m = 31 + x. Solve -5*c - 4 = 2*s, m*s + 4*c + 8 + 0 = 0 for s.
-2
Let w(i) = -i**3 - 15*i**2 - 16*i - 20. Let x be w(-14). Let j be 28/4*(-8)/(-28). Solve -5*h - 4*s - x = 0, -4*h = -j*h - 5*s - 10 for h.
0
Let r(z) = -z**3 - 22*z**2 + 5*z + 13. Let c be r(-22). Let v = 102 + c. Solve 2*y = 10, v = -u + 2*y - 3 for u.
2
Let o be 10/(-1 - (-27)/21). Let u = -35 + o. Solve 5*s + 20 = u, 0 = -2*f + s - 2 - 2 for f.
-4
Let x(j) = -4*j**2 + 18*j + 4. Let i be x(4). Solve -4*a - 4*r - 8 = i, 0 = 4*a - r + 20 for a.
-5
Let i(y) = -10 - 13*y**2 + 16*y - 11*y**2 + 23*y**2. Let h be i(15). Suppose 0 = 3*c - 3 - 9. Solve 0 = p + h*w - 9, w = 3*w - c for p.
-1
Let i be 0 - (-55)/25 - 13/65. Solve i*g - 6 = -2*y, -9 - 7 = -4*y - 5*g for y.
-1
Let k = 524 + -524. Solve k*z = 4*z - q - 8, 3*q + 8 = 4*z for z.
2
Suppose 158 = -4*p + 178. Solve 10*h = p*h + 2*c + 1, -c = -4*h + 2 for h.
1
Suppose -6*i + 4*i = -2*n + 10, -2*n = -3*i - 15. Solve 17 = -q + 4*a, n = q - 5*a + 7 + 13 for q.
-5
Let k(z) = -z**3 + z**2 + z + 15. Let h be k(0). Let b = 9 - 5. Suppose -b + 7 = p. Solve -p*n - 4*a = h, -2*n + 0*n + 2*a + 4 = 0 for n.
-1
Let s(j) = 86*j + 2. Let f be s(-2). Let h = f + 280. Suppose l - 64 = -3*p, 3*l + h = 5*p + 4*l. Solve 5*m + 4*u + p = -0*u, 5*u + 7 = m for m.
-3
Let f be 3*(-33)/18*-8. Let t = 62 - f. Suppose 6 = 2*o, 2*p + 4*o - t = -0*o. Solve -z + p*q + 7 = -0*z, 0 = 5*z - 5*q - 15 for z.
1
Let k = 1207 - 1203. Solve 0 = -4*z - 3*v - 0*v - k, 3*z + v - 2 = 0 for z.
2
Suppose 0 = -u + 3*u - 12. Suppose 0*g = 3*g - u. Suppose -24 = -4*b + s, -5*s - 5 = g*b + b. Solve b*j + m + 1 = -m, -3*j = 3*m + 6 for j.
1
Let g = 20 - 23. Let v be 4 - 3 - (g + (-1)/(-1)). Suppose 22 = -s - 4*d - d, -5*s + 5*d = -40. Solve -v*c = m + c, 3*c = -s for m.
4
Suppose -4*j + 5*l - l = 8, 1 = 2*j - l. Let m = -4181 - -4185. Solve -j*c + 21 = -6*c + 3*h, m*h = 8 for c.
-5
Let k(d) be the first derivative of d**2 + 44*d - 14. Let c be k(-20). Solve -2 + 7 = 5*q - 3*h, -c*q - h = 13 for q.
-2
Let r = 32 - 30. Suppose -r*m - 2*f = -28, 18 = m + 3*f - 4. Solve -v + 2*h - m = 4*v, 5*v = 4*h for v.
-4
Let o be -4 - (-13)/4 - 46/(-8). Solve 0*k + o = k + 5*i, -3*k + 4*i - 23 = 0 for k.
-5
Let u = -563 - -567. Solve 0 = 2*j - 5*j + u*r + 5, 2*j - 3*r - 5 = 0 for j.
-5
Let d = -484 + 512. Solve 2*c + 5*y = d, -3*c + 0*y - y + 16 = 0 for c.
4
Suppose -4*z = 2*r - 8, -3*z - 2*z = -r - 24. Solve 0 = -z*b + 2*n - 14, b + 2*n = -6 for b.
-4
Suppose -q + 3*u - 2*u + 4 = 0, q = -3*u. Suppose 4*y = 3*y + 4. Solve -6 = -2*a - q*o, 4*o = y*a + 2 + 6 for a.
0
Suppose 0 = -74*i + 81*i - 35. Solve -2*c = -3*j - c - 14, -i*c = -25 for j.
-3
Let g be (-1)/(-3) + (-22)/(-6) + -6. Let l(p) = p**2 + p + 2. Let d be l(g). Solve 3*w - 2*w = 2*y - 1, -w = -d*y + 3 for w.
1
Suppose 2*n - 2 = 0, -5*n + 7*n - 22 = -5*x. Let z be (1/2)/((-1)/(-2)). Suppose -5*m - z = -2*c + 1, x = 4*c. Solve -p = f - 4, 4*f + p - 8 - 11 = m for f.
5
Let t(r) = r**3 - 7*r**2 + 10*r - 1. Let b be t(6). Suppose 4*y + 3*k = b,