3*f + 3*m, -x*m + m = 10 for f.
2
Let h be ((-120)/(-18) + -7)/((-2)/30). Solve 5*l = -h, 5*l + 5 = 5*t - 0 for t.
0
Let x(m) be the first derivative of m**4/4 - m**3/3 + 3*m - 17. Let y be x(0). Solve 5*c = 4*t - 2, 2*c + 15 = -4*t + y for c.
-2
Suppose 0 = -c + 2*c - 5. Suppose 5 = 4*m + 3*f, 7 = -0*m + 2*m - 3*f. Suppose 0*j + m*j - 38 = 0. Solve j = -2*x - 5*g, 3*g + 36 = c*x + 6 for x.
3
Let f(s) = s**2 - s + 2. Let t be f(0). Suppose -3*m + 5*m - 90 = 0. Let y = m - 41. Solve 3*h - 8 = y*g, -3*g - 5*h = t*g + 45 for g.
-5
Suppose -2 = x + 4. Let k be (-14)/x - 9/27. Let b be 106/4 - (-3)/6. Solve 5*v - b = -3*o, -2*o + 17 = v + k*v for o.
4
Let x be ((4 - 3) + -1)/2. Solve 3*o + 6 = -2*h, -2*h + x*o - 6 = -5*o for h.
-3
Suppose -16*o - 141 = -461. Let m = 7 - 5. Let c(b) = 3*b**2 - 4*b + 4. Let s be c(4). Solve 0 = -2*j - m*j - o, -s = -4*g + 4*j for g.
4
Let b(x) = x**3 - x. Let q be (4/(-5))/(30/(-75)). Let p be 1/(q/(-6)*3). Let s be b(p). Solve 4*w - 5*g - 37 = s, 0*w + 3*g = -w - 12 for w.
3
Let p = -231 - -231. Solve a - 4*t + 25 = 0, p*a - 4*t = -4*a - 40 for a.
-5
Let s = -9 + 3. Let v = 11 + s. Let d = 7 - 5. Solve -v*u + 24 = i, d*i - 5*u = -12 - 0 for i.
4
Let h(i) = -4*i - 83. Let s be h(-21). Solve 0 = 3*t + 5*z + s, 0 = 2*t + 3*t + 3*z - 9 for t.
3
Suppose 0 = -5*w + 2 + 8. Suppose 4*j - w = 6. Let v be 1 + (j - 2 - -1). Solve -v*o + 9 = d - 1, -5 = -o + d for o.
5
Let l be (-9)/2*48/(-36) + -2. Solve 4*w + l*y = 0, 4*y + 3 = -2*w + 1 for w.
1
Suppose 5*y - 43 = -4*u, 3*y = 2*y - 2*u + 11. Suppose y*b + 16 = 37. Solve -4*o = -b*m + 21, 0 = 3*o - 2*m + 7 + 8 for o.
-3
Let i = 0 - -5. Suppose 22*y - 26*y = 68. Let u(m) = -2*m - 19. Let t be u(y). Solve -t = 3*k + 5*g + 12, i*k - 5*g = -5 for k.
-4
Suppose -9*i + 97 + 38 = 0. Solve -15 = -c - w + 6*w, -i = 4*c + 5*w for c.
0
Suppose 0 = -4*l + q - 6, l - 2*q + 11 = 3*q. Let o be -2 + (l + -1 - (-4 - 2)). Solve 5*j + a + a + 3 = 0, -o*j = 2*a for j.
-1
Let k(y) = 145*y - 578. Let t be k(4). Solve -j + t - 7 = -3*a, 2*a = 4*j for j.
1
Let r(q) be the second derivative of -2*q**3/3 - 19*q**2/2 + 24*q. Let k be r(-6). Solve k*t - 4*t = -2*i + 7, 0 = -5*i + 5*t + 40 for i.
5
Suppose 4*h = 2*i + 22, -3*h = -0*h + 4*i - 33. Let u = 863 - 858. Solve -4*c = -0 + 8, 4*c - h = u*b for b.
-3
Let b be -4 - (4 - (2 + 6)). Solve -2*s - 3 = 5*t, 4*s = t - b - 17 for t.
1
Let s be (2/(-3))/((-8)/156). Let r(k) = -s - 8*k + 13. Let x be r(-1). Solve 4*n - p - p = -x, 5*n - 3*p = -8 for n.
-4
Let s be 6 + (4 + -2)/(14 + -16). Solve s*t = 5*p + 2 + 3, -3*p + t = 7 for p.
-3
Let i = 109 - 59. Suppose -2*p + i = 3*p. Suppose 2*t - 4 = 2*m, -4 = -2*t - 0*t - 4*m. Solve t*a + 4*k = p, 0 = 5*a - 5*k + 41 - 6 for a.
-3
Let t be 0 + (-1 - (-3 + -1)). Let n(v) = 3*v - 11. Let r be n(5). Solve -21 = r*b - t*g, b + 2*b - 4*g + 21 = 0 for b.
-3
Let d(r) = r**2 - 4*r - 2. Let v be d(3). Let j = v + 6. Let n be (-1)/((-2)/32) - j. Solve -3*i + n = 0, -3*b - 4*i + 5 = -6 for b.
-3
Suppose -4*x + 17 = d, x + 0*x + 22 = 5*d. Suppose 10 = 7*u - 2*u. Solve u*b = d*p + 22, 5*p - 3*b = -0*b - 23 for p.
-4
Let k(z) = z**3 + 34*z**2 + 32*z - 30. Let d be k(-33). Solve 0 = -n - d*q, 0 = 2*n - 4*n + 5*q for n.
0
Let a(g) = -12*g - 43. Let m be a(-4). Solve 2*r = 5*y - 27, 2*y + m*r = 7 - 2 for y.
5
Suppose 0*p = 6*p. Let x be p*(-7 - -3)/(-4). Solve 4*l = -x*l + 5*d + 5, -3*l + 3 = -3*d for l.
0
Suppose -4*s = -2*s - 4. Let l be s/(2 + 0 + -1). Let g = 4 - 1. Solve -c = k - g, -l*k = k for c.
3
Let j be ((-2)/(-4))/(1/(-52)). Let y be 216/52 - (-4)/j. Solve 2*x + 17 = x - y*o, 5*x - 25 = 2*o for x.
3
Suppose -4*k = 43 - 63. Solve 3*i = k*q - 3, 1 = q - 5*i - 4 for q.
0
Let h(o) = o**3 - 16*o**2 + 16*o - 11. Suppose 4*f + 3 + 15 = 2*a, -12 = -4*f. Let u be h(a). Solve -x = -q - 7, -q + u*x - 1 = 5*x for q.
-4
Let h(p) = 3*p - 7. Suppose m = -m + 8. Let f be h(m). Suppose 4*u = -5*r - 5, 3*r + 10 = f*u + 44. Solve 2*o - 5*v + 14 = 0, -r = 4*v - 11 for o.
-2
Suppose 3*s + 5*i = 20, 8*s - 7*s - 4*i = 35. Solve -4*z - n - 5 = 2, 3*n - s = 0 for z.
-3
Let w be (4/3)/(-1)*3/(-2). Solve 8 = -w*j + 3*b, 0*b - 4 = j + b for j.
-4
Let u(n) = 10*n + 34. Let l be u(-3). Solve -5*o = 3*w - 31, -18 = -4*o - 3*w + l*w for o.
5
Suppose -353*g + 351*g = -28. Solve -5*t = 5*u - u + 30, 4*u - 3*t + g = 0 for u.
-5
Suppose -2*c + 5*q = 2, -q - 2*q - 2 = 2*c. Let u be (0 - 1) + (c - 2). Let h be u/6*(-6)/1. Solve -5*j = 5*z - h*z - 28, 1 = 2*z - j for z.
3
Suppose -4 + 14 = 5*y. Suppose y*m = 4*d + 14, 1 = 2*m + d + 2. Let a be 2/(1 + 0)*m. Solve -2*v = -3*i - a*i + 21, 4*v = 4*i - 12 for v.
2
Let p be 69/15 + 34/85. Solve p*b - 6*a + 4*a = -10, 0 = -4*a for b.
-2
Suppose 47 = z + 44. Solve l - z = 3*o - 15, 4*o - 15 = l for o.
3
Let y(p) = 5*p**2 + 68*p - 23. Let k be y(-14). Solve -5*m + s + 5 = -m, 0 = -5*m - k*s for m.
1
Suppose -87*n + 3*h = -88*n + 9, -12 = -5*n - 4*h. Solve -5*l - 6 = -4*l - 2*p, -3*l - 5*p + 4 = n for l.
-2
Suppose 8*b - 24 = 24. Solve -3*y - 6 = -8*a + 3*a, -a = 3*y + b for a.
0
Let i = 57 - 40. Let d = 3 + i. Suppose -d = -6*u + u, -3*l + 56 = 5*u. Solve -4*p + f = -4*f + 16, 4*f - l = 4*p for p.
1
Suppose 0 = -21*g - 3*g. Solve -16*b + 12*b + 2*w - 26 = g, -2*w = -10 for b.
-4
Let c be -2 + -3 + (-56)/(-8). Solve -3*z - c*u - 3*u + 7 = 0, -4*z + 5*u = 14 for z.
-1
Let g(k) = -2*k + 27. Let n be g(11). Suppose 9*a - 18*a + n*a = 0. Let d = 1 + -1. Solve -3*h + d = -6, 4*f - 5*h + 22 = a for f.
-3
Let s = -34 + 50. Let p(d) = 11*d**2 + 0*d**3 - 6*d**2 + d**3 + 9*d**2 - s*d - 14. Let w be p(-15). Solve b - w = 3*m, -m = -2*m for b.
1
Let d(p) = -p**2 + 7*p + 5. Let z be d(7). Let q(c) = c + 1. Let n be q(1). Solve -h - h - 24 = z*g, -8 = n*h + g for h.
-2
Suppose 3*y + 4 = -y. Let b = 2 - y. Let k = -3 + b. Solve 4*q - 5*t - 41 = -k*q, 5*q = -3*t + 5 for q.
4
Let m be -2 + 5 + 2/2. Let x be (-9)/(-2)*(-4)/3. Let s be ((-11)/(-3) - m)*x. Solve g = 2*n - 1, n = 2*g - 2 - s for g.
3
Suppose n - 4 = -14. Let j = 14 + n. Let l(k) = 2*k**2 - 2*k - 2. Let v be l(2). Solve q = j*g - 18, -5*g - q + v = -4*g for g.
4
Let m = 32 - 29. Let c be 7 - -17 - (m + -7). Solve c = -4*f - 2*t, -3*f - 27 = -0*f + 3*t for f.
-5
Let f be 4/(-26) + (-11)/(-572)*424. Solve 3*h + 10 = 3*i - f, 18 = -4*h + i for h.
-4
Let y(h) = h**2 - 2*h + 4. Suppose -4*b - 4*p = -13 - 15, -2*p + 12 = b. Let i be y(b). Solve z - 6*z + i*f - 8 = 0, -z - 4*f + 8 = 0 for z.
0
Let u be (-6)/(-2)*(-80)/30. Let y = -5 - u. Solve 5 + 3 = 3*g + 2*r, -y*g - 12 = -3*r for g.
0
Let j = 1164 - 1155. Solve 5*l = 10, -j = -5*k + 4*l + 8 for k.
5
Suppose 9 = 3*g, 0 = 4*n - n - 2*g - 3. Suppose -2*r - 9 = -n*i, -5*i - 2*r = -28 - 3. Solve -3*t - 2*w = -13, -5*w = -i*t - 0*w - 20 for t.
1
Let y = -54 - -53. Let s be 9*(-2)/(y*6). Solve -l + 1 = s*r, -5*r - 13 = -4*l + 2*l for r.
-1
Let p = 933 + -931. Solve -3*f + a = -f - 4, -2 = -p*f + 2*a for f.
3
Let h be (-32)/5 + 12/(-20). Let d be (-1 - 3 - h)*1. Solve 2*i = -3*i - o + 5, -d*i - 3*o = -3 for i.
1
Let y = -1109 - -1114. Solve -4*n = y*w + 20, -3*n = -w + 5*w + 16 for n.
0
Let t(w) = -w**2 + 9*w - 6. Let c be t(6). Let u be (-11)/5 + (-8)/(-40). Let i(d) = d**2. Let k be i(u). Solve c = k*y + 4*o, -3*o = -2*y - 4 - 5 for y.
0
Let s(j) be the third derivative of -j**5/60 + j**4/2 - 2*j**3 + 2*j**2. Let t be s(11). Let k = t + 6. Solve 0 = r - 5*q - 1, 0 = -4*r - 0*r + k*q - 11 for r.
-4
Let a(f) = -f - 27. Let n be a(-33). Solve -5*g = 3*l + 35, 2*g + 18 = -n*l + 4*l for l.
-5
Let z be ((-2)/6)/(9/(-135)) + -2. Solve -z*v = 5*k - 12 - 4, 3*v + 29 = 4*k for k.
5
Let p = -68 - -80. Suppose -23*m + p = -20*m. Solve 3*g - 2 = -2*n, -2*n + m*g - 21 - 5 = 0 for n.
-5
Let x(k) = -k + 24. Let f be x(21). Solve -a - 5*v = 9, 0*a - 3 = 3*a + f*v for a.
1
Suppose 0 = -4*v - 4*t, 3*v + 0*v - 5*t = 40. Solve -3*n = 2*j + 15, 0 = v*j - 0*j for n.
-5
Suppose -2*g - 3*g + 5*a = -40, -g = -3*a - 14. Suppose -4*j = -g*j + 11. Solve -3*d + 5*c - 6 = 0, -2 = d + 2*c - j for d.
3
Suppose 0 = 2*u + 6, 5*q - 1 = -6*u + 3*u. Let d = 91 - 152. Let y = d - -64. Solve 0 = -y*z + o - 14, q*z + 3*z = o - 22 for z.
-4
Let o(w) = -w + 7. Suppose -5*s + 3*a + 13 = 0, -3*s - 2*s + 17 = -2*a. Let j be o(s). Solve 4*f = -j*t - 6, -4 - 5 = -4*t - f fo