-3*f - 4*c + 18 for f.
5
Suppose -13*l - 4 = -56. Solve -2*d + 18 = -4*x, -d = l*x + x + 26 for d.
-1
Let j(f) = 3*f**2 + 31*f + 14. Let g be j(-10). Suppose 5*l = 4*x, -l + 4*x - 1 = 3*x. Solve -u - 2*m + l*m = -1, -4*m - g = -4*u for u.
1
Let d be (-9)/(-12) - 3/4. Let w be (d - 1 - -3) + 7. Let i(a) = -a + 1. Let c be i(-6). Solve -c = -2*z + 3*u, z + 4*u - w = -0*u for z.
5
Let h(a) = a**2 + 10*a + 12. Let b = -27 - -34. Suppose b*u + 63 = -0*u. Let z be h(u). Solve -2 = o - 5*x - 14, -3*o = z*x for o.
2
Suppose -4 - 8 = -2*m. Let y be (-1)/(m/24 - 18/40). Solve -4*j = y*i + 2, 0 = -i - 3*j + 2*j for i.
-2
Let a = 2 - 0. Let z(h) = -2*h**2 + 7*h - 3. Let r be z(3). Suppose -4*v = 2*t + 2*t - 8, -3*t = r. Solve 0 = -v*n - s - 10, -2*s + a - 16 = 2*n for n.
-3
Suppose 0 = -6*r - 3*r + 9. Solve -3*m - l = -5, 3*m - 3*l + r = -l for m.
1
Let j = -85 - -90. Solve 3*m - 3*o = -j + 14, -2*o - 6 = 0 for m.
0
Suppose c = -3*z + 5, 6*c - 6 = 2*c + 2*z. Solve 0 = -0*k + k + 2, c*a = 5*k for a.
-5
Suppose -2*q = 3 - 7, 2*q - 14 = -5*w. Solve 0 = 4*l - 4*n + 12, w = -l + 5*n - 5 for l.
-2
Suppose 8*r - 54*r = -230. Solve -5*d + 3*m - 2*m = r, -4*d = 4*m + 28 for d.
-2
Let z(r) = 6*r - 5. Let b(p) = 7*p - 4. Let v(u) = 4*b(u) - 3*z(u). Let j be v(1). Suppose 0 = 16*g - 13*g - j. Solve -x + 6 = -3*n - 1, g*n + 3 = 0 for x.
4
Let t = 965 - 963. Solve -t*y - 33 = 5*o, -21 = 8*y - 4*y + o for y.
-4
Let h = -11 - -13. Suppose 0*f = 30*f - 360. Solve 3*w = -0*w - f, d - h*w = 8 for d.
0
Let n be ((-10)/(-4))/5*10. Suppose u = -2*p + n, 4*u + 1 = 4*p - 3. Solve 3*c - 29 = 7*c - 3*x, 0 = p*x - 6 for c.
-5
Let c be (-104)/12 - 2/(-3). Let m = c - -10. Solve 5*f = -m*p - 17, -4*p + 27 = -4*f - 9 for f.
-5
Let d(n) = 3*n - 9. Let r be d(3). Suppose 4*u - u - 15 = r. Solve -2*c + u*z + 5 + 13 = 0, -2*c - 4*z = 0 for c.
4
Let b = -170 + 171. Solve 4*r - 14 = 5*v, -2*r + 4*v = -11 + b for r.
1
Let w = 45 + -27. Suppose -19*g = -w*g. Solve -r + 3 = -4*i, 4*r + 22 = -g*r - i for r.
-5
Let n = -368 + 370. Solve m + 2*r + 12 = 3, n*m - 5*r = 0 for m.
-5
Suppose 25 = -2*a + 7*a. Let t = -12 - -18. Solve p - a*p = -2*c - 6, -p - c = t for p.
-1
Suppose -q = -q - 8*q. Suppose 3*d + 0*x - 7 = -2*x, q = -d + 5*x + 8. Solve 4*w + 10 = -i, -2*i - i - 3*w - d = 0 for i.
2
Let y(z) = -z**2 - z + 2. Let c be y(3). Let m be c/(-5) + (-2 - -4). Solve 9 = -2*p - 0*u - u, -m*u = -p + 18 for p.
-2
Let l(f) = -f. Suppose -k + 10 = k. Let i be l(k). Let s = 9 + i. Solve t = -4*y - 2 - 1, 2 = 2*t + s*y for t.
5
Let o(t) = -2*t - 1. Let m be o(-3). Let g(s) = 2 + 11*s - m + 3. Let b be g(1). Solve 0 = -5*v + 2*k - 12, -6*v + k = -v + b for v.
-2
Let v = -55 + 91. Let i = 38 - v. Solve 5*y + 1 = -o + i*y, 0 = -5*y for o.
-1
Let p = 52 - 28. Let x be 9 - 5/(30/24). Suppose 3*f - x = -17, -4*f = -y + p. Solve -2*z = -j + y, 4 = -j - z - 0 for j.
0
Let v be (-135)/18*(-12)/10. Let x be 20/v - 12/54. Let u be (6/12)/(1/x). Solve m - 3*n + 0 + u = 0, 5*m + 3*n + 23 = 0 for m.
-4
Suppose 106 - 13 = 3*z. Suppose 0 = 26*h - z*h + 15. Solve -4*l - 3*r = -1, -2*l + r = h*r for l.
1
Let p be 20/4 - (5 + -3). Suppose -19 + 13 = -p*k. Let z(h) = 2*h - 2. Let c be z(k). Solve c*q + 22 = -2*r + 6*q, -3*r = 4*q + 3 for r.
-5
Suppose -180 = 2*i - 5*i. Suppose s = -5*f + 26, -4*s + 8 + i = 2*f. Let p = s + -11. Solve p*x + 25 = 3*d + d, -15 = 3*x + 2*d for x.
-5
Suppose m + 5*m = -36. Let v be 6/(-9)*(m/3 - 16). Solve -5*h = 5*d, -5*d - v = -0*h + h for h.
3
Let j be -4 - (5 - (-3 - -9 - -5)). Solve -2*u + 10 = 0, -5*u + 15 = -4*a - j*u for a.
0
Let d(t) = t + 1. Let l(y) = y + 10. Let r be l(-11). Let p be 3/(-9) - r/3. Let c be d(p). Solve -3 = n - h, 0*h - h = n - c for n.
-1
Let c(x) = -x**3 - x**2 + 5*x - 1. Let u be c(-3). Suppose -12 = u*s - 6*s. Solve -s*p = -2*t + 4*t + 16, -24 = 4*p + 4*t for p.
-4
Suppose 8 = 2*l + 4. Let m(c) = 5*c - l*c - c + 2. Let q be m(-1). Solve q*v + v - s - 2 = 0, s = -3*v + 18 for v.
5
Suppose 18 = 2*a - 0*a. Let b(j) = -3*j**2 + 48*j - 141. Let l be b(4). Solve -3*s + 9 = -l*z, s = 4*z + 3 + a for z.
-3
Let g = 196 + -185. Solve -p = -0*p + 5*t + g, -5*t = 3*p + 3 for p.
4
Suppose 2*j - 5*p - 26 = -0*j, -22 = -2*j + 3*p. Suppose 3*z - 5*z - 8 = 3*k, 2*k = -2*z - j. Solve l + 3*i + 2 = k, 4*l + 0*i - 2*i = -8 for l.
-2
Let c = -59 + 63. Let t = c + 1. Let n = 20 - 11. Solve n = t*g + 3*a, a = g + 6*a + 7 for g.
3
Let m(y) = -112*y + 239. Let t be m(2). Solve 12 = 5*h + 4*g - 3, 3*g = -5*h + t for h.
3
Let c be 6 - (0 + 50)/10. Solve q + 12 - 7 = m, q = -m + c for q.
-2
Let q be -9*((-3)/(-15))/(6/(-10)). Solve 19*d + 6 = 24*d - 4*v, -q*v = -d - 1 for d.
2
Let a be 1/2*(-4 + 8). Solve -5*x + 3 = -l - l, -a*l - 5*x = -7 for l.
1
Let v(f) = 9*f + 58. Let m be v(-6). Suppose 0 = -3*x - x + 32. Suppose x + 7 = r. Solve 11 = 3*j + z - 1, -z + r = m*j for j.
3
Suppose -3*m + 6*m + 14 = 2*v, -5*v = -2*m + 9. Let w = m + 8. Let t = 2 - w. Solve -t*j + 11 - 5 = -2*r, 5*r + 9 = -j for j.
1
Let j(n) = 6*n**3 + 2*n**2 - 3*n + 1. Let d be j(1). Suppose 35 - 11 = d*g. Solve 19 = -u + q + g*q, -3 = -q for u.
-4
Let c = 14 + -13. Let u be c/3 + (-935)/(-3). Let q be u/(-16)*2/(-3). Solve -q = 3*v + 8*y - 3*y, 3*v - 37 = 5*y for v.
4
Let t(k) be the first derivative of k**3/3 - 2*k**2 + 14*k + 4. Let z be t(0). Solve 0 = u - 3*g - z, 0*u = 2*u - 2*g - 12 for u.
2
Let y(w) = -3*w**2 + 3*w + 38. Let f be y(-3). Solve f*v + 3*b + 12 = -2*b, -3*v + b - 1 = 0 for v.
-1
Suppose -3*c + 5*n + 17 = -0, -8 = -2*c + 5*n. Suppose c*y - 81 = 6*y + 2*a, 2*y = a + 55. Solve 5*s + t = 15, 3*t + 2*t + y = s for s.
4
Let l = -13 - -25. Let v be l/(-8)*3*2. Let q be 0 - (v + 0 + -2). Solve -a + 2*n + 14 = 3*a, -4*a + q = -n for a.
2
Let q(v) = v + 3. Let t be q(-5). Let g(w) = 4*w + 7 - 9*w**3 - 4 + 8*w**3. Let i be g(t). Solve -2*j - d = 1, -j + i + 13 = -5*d for j.
1
Let u(h) = -h**2 + 39*h - 39. Let i be u(37). Solve -5*r + 2*g + i = 0, -r + 31 = -3*g + 11 for r.
5
Let o(l) be the third derivative of l**5/60 + 13*l**4/24 - 5*l**3/3 + 13*l**2. Let t be o(-14). Solve -t*u + 10 = -3*y + y, 4*u = -3*y - 15 for u.
0
Let i = -165 - -183. Suppose y = -2 - 2. Let s be (y/12)/((-3)/i). Solve -s*x + 2*c + 10 = 0, 4*x + 5*c + 7 = 3*x for x.
3
Let o(y) = y + 12. Let x be o(-16). Let q = 40 + -58. Let a be 4/6*q/x. Solve 0 = 4*v + 6 - 2, 3 = a*h - 3*v for h.
0
Let z be 1 - -1 - (0 + 1). Let u be (-2)/(-16) + 65*(-24)/(-320). Solve 5*c - b = c - z, 5*c + u*b = -20 for c.
-1
Suppose -44*o + 49*o = 30. Suppose -10*j + 8*j + o = 0. Solve 0 = -5*f + i + 14, j*f + i = -2*f + 6 for f.
2
Suppose -720 = -3*n - 57*n. Solve i = f + 6, 0 = 3*i + 2*f + f + n for i.
1
Let a(h) = -h**2 + 3*h - 4. Let m be a(3). Let x be m/(-10) - (-48)/30. Let f = x + 2. Solve 0 = -2*b - 3*u - f, 2*u = b + u - 3 for b.
1
Suppose -x - 3*b = -5, -4*x + 4*b + 2 + 2 = 0. Solve -4*d + x*l - l + 12 = 0, -5*d - 4*l = -36 for d.
4
Let c be (111/(-12))/((1/(-12))/1). Let r = 115 - c. Solve -d = 5*i - 14, d + r*d = 4*i + 12 for d.
4
Let c(p) = -2*p - 34. Let l be c(-17). Suppose -3 - 2 = -5*v. Suppose -f + v = -3. Solve 0 = 3*h - 8*a + 4*a + 28, -f*h - 4*a = l for h.
-4
Let k(u) = -u**2 + 5*u + 35. Let h be k(8). Solve -3*z + 0 = -5*p + 5, 3*z = p + h for p.
4
Let w(f) = f - 1. Let t = 7 - 4. Let z be w(t). Suppose -5*y - 2 = z*m, -4*m + 11 = y - 3. Solve -2*k + 16 = 5*p, -m*p - 4 = -4*k - 0*k for k.
3
Let r = 191 + -188. Solve -3*j = -7*o + 4*o - 12, -r*j + 9 = -2*o for o.
-3
Let h = -498 + 527. Solve 2*n = 10, -4*u - 2*n = -1 - h for u.
5
Suppose 20*g - 60 = 14*g. Let l(v) be the first derivative of v**3/3 + 9*v**2/2 + 11*v - 1. Let o be l(-8). Solve z + y - g = -o*y, -2*y + 10 = -2*z for z.
-2
Let t(x) = 7*x**2 - 19*x + 37. Let g(c) = 4*c**2 - 9*c + 19. Let n(k) = 5*g(k) - 3*t(k). Let j be n(10). Solve 5*p - 17 = -j*u + 2, 2*p = 2*u + 4 for u.
1
Let h be (10 - 0)*(-6)/(-4). Suppose -13*z + 8*z = -h. Solve z*v - 8*v + 2*f = -8, -2*f = -4*v + 8 for v.
0
Let b(x) = x**3 - 11*x**2 + 9*x + 12. Let s be b(10). Solve -s*m + 19 = 3*q - m, -m + 4 = 0 for q.
5
Let g be (24/(-30))/(3/(-15)). Suppose -48 = -0*u - g*u. Solve -f - u = 5*s, 3*f = 2*s + 2*f + 2 for s.
-2
Let r(d) = -6*d - 24. Let f = -45 - -41. Let h be r(f). Solve -4*k + 5*n + 1 = h, -1 - 4 = 5*n f