, 2*m - 5*x - l = 4*m for m.
5
Let u = 354 + -352. Solve -5*v = 6*k - u*k - 1, -6 = 2*k - 4*v for k.
-1
Suppose -3*c = -c - 5*x, -2*x = -4. Let t = -17 + 22. Solve 3*b + 25 = t*a + 4*b, -c*b + 41 = 4*a for a.
4
Suppose h = 8*h - 56. Solve -3*f = -12, 0 = -3*t + f - 0*f + h for t.
4
Let f(t) = -2*t**2 + 12*t + 18. Let m be f(7). Solve -3*c - 5 = 3*z + 4, 0 = -3*c + 2*z - m for c.
-2
Suppose 0 = 2*u + 2*v - 7*v - 87, 0 = -2*v - 10. Let l = u - 23. Suppose -h + 2*q = l, 3*h - 3*q - 2*q = -20. Solve 4*t - 4*x - 16 = -h, x = -4*t + 11 for t.
3
Let l be -5 - (-2 + -10) - -6. Solve 4*h + 12 = 0, 3*r + l = 5*h + 40 for r.
4
Suppose 0 = 2*v - 7*v + 830. Suppose 165*p + 2 = v*p. Solve -n - p*u - 2*u - 22 = 0, 0 = 4*n - 3*u - 7 for n.
-2
Let k(u) = -3*u. Let h be k(-1). Let j = 3968 - 3965. Solve -3*q - j*a = h, q = a + 5 - 4 for q.
0
Let f = -17 + 20. Suppose 0 = -5*q - 70 - 0. Let m = -2 - q. Solve -2*t = -3*g - f + 15, -3*t = -3*g + m for t.
0
Suppose 0 = -2*v + 3*k - 7, -3*v - 4*k = -45 + 13. Solve -z = 5*y + v, z = 4*y - 6*y - 1 for z.
1
Let b(r) = 3*r + 30. Let k be b(-8). Solve -5*g + 3*m + 3 = 0, k = -4*m + 2 for g.
0
Suppose 0 = 3*m + 36 - 27. Let f be (4/10)/(m/(-120)). Solve 5*x = -h + 3, 3*h - f = -5*x - 7 for x.
0
Let q(c) = 3*c - 9. Let t be q(4). Let f be 112/42 + 1/t. Suppose -f*r + 4*i = 4, 5*i = 6*r - 2*r + 4. Solve -3*d + 4*j = -8*d + 13, -d = -r*j + 7 for d.
1
Let u = 86 + -64. Solve -4*n = -5*j + u, 0 = 3*n + j - 0*j + 7 for n.
-3
Suppose -q = c - 5, -q + 5 + 6 = 3*c. Solve q = i, a - 3*a + 8 = -i for a.
5
Let p be ((-9)/6)/(12/(-24)). Solve 2*d + 3 = -p*l, -2*d = 2*d + l + 11 for d.
-3
Let d be ((-16)/6 - -2)*-6. Suppose 0 = 2*c - d*o - 54, 19 - 109 = -5*c + o. Suppose -174 = 2*v + 8*v - 68*v. Solve -v*m - 4*n + c - 3 = 0, -3*n = m - 13 for m.
-2
Let i be -5 + (-4 - -8) + (3 - -1). Solve -u - y + i = 0, 3*u + 5*y = -0*y + 11 for u.
2
Let j(y) = -4*y - 23. Suppose 3*i + 5*c = -i - 32, -5*i + 5*c - 40 = 0. Let a be j(i). Solve -2*w - 7 = -0*d - 3*d, -w - 4*d = a for w.
-5
Let k(b) = -b**3 + 16*b**2 + 17*b + 3. Let h be k(17). Suppose 2*t + t = h. Solve -i - 19 = 5*f, i - t - 4 = f for i.
1
Let a = -66 - -61. Let q be (-45)/(-6)*(-4)/a. Solve -4*j = -8, j - q = v - 4*j for v.
4
Suppose 0 = -7*a + 5*a + 10. Suppose 0 = a*f - 0 + 10. Let i(h) = -h + 3. Let r be i(f). Solve r*g - 15 = 0, 2*g = w - 3*g + 10 for w.
5
Suppose 3*i = 5*d - 25, 0 = 2*i + 3*i + d - 5. Solve s + 5*b - 20 = -i*b, -4*b + 20 = 0 for s.
-5
Let r be (0 - -2) + 1 + 24. Let y(n) = -n - 34. Let x be y(16). Let c be (-33)/11*x/6. Solve -4*o = -3*t + c, -t + 6*t - 3*o - r = 0 for t.
3
Let m(y) = -y**3 + 3*y**2 - 2*y + 7. Suppose 15*p - 3 = 14*p. Let a be m(p). Solve a = -3*i + 2*c, i + 3*c + 15 = -0*c for i.
-3
Let f = 11 + -9. Suppose 0 = -f*y + 5*y - 6. Solve 3*s - y = w, 3*w - 5*s = -0 + 2 for w.
4
Let j be (-32)/(-112) - (-19)/7. Solve -x - 8 = a, -j*x + 0*x = a + 16 for x.
-4
Let w(u) = -u**2 - 17*u - 42. Let d be w(-3). Solve 4*f + 3*o + 1 = -d*f, -5*f + 2*o = 30 for f.
-4
Let t(q) = -3*q**2 + 56*q - 84. Let u be t(17). Solve -5*y - 18 = -a - u, -10 = a + 4*y for a.
2
Suppose 3*r = 5*w - 668, w - 3*r - 130 - 6 = 0. Let s be 2/(-7) + 1767/w. Solve s = -c + 5*p, 2*p + 9 = 5*p for c.
2
Suppose 129 = 4*b - z, -2*b = 2*b - 5*z - 117. Solve b = -u - 5*p + 7, -4*u = 2*p + 14 for u.
-1
Let b = 85 - 141. Let c = b - -60. Solve -3*x - 7 = -u, -c*x - 3*u + u = 16 for x.
-3
Suppose 0 = 4*s - 2*s + 4*g - 20, -2*g + 46 = 4*s. Suppose 0 = 3*h - s. Let d be 1*(h/1 + -1). Solve 0 = -5*y, -d*w - 3*y + 0*y = -3 for w.
1
Suppose -d - 4*d = 2*b - 32, -2*d - 2*b = -14. Solve -3*j = 4*x - 6, 3*j - d - 3 = -5*x for j.
-2
Let z(h) = h**3 - 11*h**2 - 11*h - 10. Let x be z(12). Let w be x + 28/(-15) + (-88)/(-15). Solve -5*p = -g + w, -g - 3*p = -3*g - 2 for g.
-4
Let o(k) = k**2 - 4*k + 3. Let g be o(4). Suppose -4*s + 1 = -g*a, 12 = a + 4*s - 9. Suppose 6*h = 5*h + 4. Solve 0 = 5*t - 0*x - h*x, 3*x = -a*t for t.
0
Let b = -52 + 84. Suppose -s = 5*p - p - 77, -p + 4*s = -b. Solve 0 = 4*a - 3*d - 0*d + p, 2*a + 10 = 5*d for a.
-5
Let x be (-3)/(-2)*((-56)/(-3))/4. Solve -3*o + x*o + 4*b = -12, -23 = -3*o + 5*b for o.
1
Let p(y) = -2*y - 3. Let g be p(-3). Suppose g*u + 5*r = 4*r + 5, 0 = -u + r - 5. Suppose -4 - 2 = -3*c. Solve v = -l, c*v - 4*l + u*l = 12 for v.
2
Let t be (-20)/8*1*24/(-15). Let i(m) = -4*m + 1 - 4 + 3*m. Let d be i(-7). Solve 0 = -t*r + 4, -3*r = -4*q + d - 11 for q.
-1
Suppose -119*i + 120*i = 2. Solve -3*p = -3*k + 21, 2*p = -i*k - 6 - 0 for k.
2
Suppose -5*k = 7*p - 9*p - 7, -5*p + 17 = -k. Solve k*a + t - 3 = -1, -2*t = -4 for a.
0
Let z be ((-112)/84)/((-1)/(-48)). Suppose -4*j - 10 = 126. Let l = j - z. Solve 5*u = 3*p + 2*p, 5*p - l = -5*u for u.
3
Suppose 7*q - 18 - 3 = 0. Solve -q*a - 2*c - 17 = 0, 0*a - 5*c - 20 = 3*a for a.
-5
Let g(s) = -67*s + 473. Let t be g(7). Solve -3*i - 1 + 15 = t*h, -h = -i for h.
2
Suppose 0 = 6*c - 12 - 36. Solve 2*i + 4*p = 2*p - 18, 2*p + c = 0 for i.
-5
Suppose 3*u + 18 = 4*v, v = 4*u + u + 13. Suppose -i - 5*i = 4*i. Solve -2*r = -r - v*j + 12, i = -2*r - 2*j for r.
-3
Suppose 46 = 2*i + 3*i + 4*g, 2*i - 19 = -g. Solve -3*l = 4*w - 36 + i, -30 = -5*l - 4*w for l.
2
Let g be 26/6 - 4/12. Suppose 0 = -z + t + g + 3, 4*t + 12 = -4*z. Solve n = 2*j + 9, -j + z*n + 3*n = 0 for j.
-5
Let l = -10 + 13. Let u be (l*2)/((-14)/21). Let q be 4/6 - 21/u. Solve -4*s - 3*x - 30 = s, -q*s = -2*x - 1 for s.
-3
Let g = -209 - -215. Solve -3*x + t = 3*t - g, -5*t + 15 = 0 for x.
0
Let t = 1165 - 1162. Let x(o) = o**3 - 7*o**2 + 8*o + 3. Suppose -2*i + 4 = -8. Let g be x(i). Solve -4*d - 17 = 5*c - 0*c, -t*c = 4*d + g for d.
-3
Suppose 0 = -s - 2*s + 12. Suppose 3 = r - 0. Suppose 2*k + 4 = m, 7*k - 3*k - 16 = -4*m. Solve 4*v - w = r*w, k = s*v - 5*w + 5 for v.
5
Let d be 5/(-10)*-8 - -17. Suppose -16*s + d*s = 10. Solve o - 2*o - 4*c + 19 = 0, s*o + c = 3 for o.
-1
Let q(h) = -2*h - 14. Let l be q(-7). Let r be (5 - 5)/(-4 - l). Solve o + 1 = 3*i + 16, r = 2*i + 8 for o.
3
Let m(x) = -x**2 + 141*x - 1058. Let t be m(8). Solve -2*v - k + 10 = -t*k, -5*k = -5*v + 25 for v.
5
Let q(z) = -z**3 - 5*z**2 - z - 2. Let v be q(-5). Suppose 2*p - 12 = p. Let y be (v/p)/(2/40). Solve -2*g + 5 = 5*o, -y*g = 2*o - 1 + 20 for g.
-5
Let s(h) = -3*h**2 - 89*h - 124. Let d be s(-28). Solve -4*b + 5*j - 2*j = -19, 0 = -4*b - 4*j - d for b.
1
Suppose -j - j = 0. Suppose 5*t - 4 = 2*f, 3*f - 5*t = -j*t - 6. Let r be f/3 - 32/(-12). Solve 3*s - 5 = -4*x + 9, x = -r*s + 1 for x.
5
Let y(x) = 46*x + 10. Let w be y(-2). Let j = -80 - w. Solve -4*t - i + 6*i - 45 = 0, 0 = j*t + 2*i for t.
-5
Suppose 4*u + 612 = 4*w, -3*u = 5*w + 323 + 152. Let k = u - -155. Solve k = 5*i + 2*a, i = -0*a + 3*a for i.
0
Suppose 10*r - 5*r = 10, r = w - 3. Let u(i) = i**2 + 5*i + 2. Let x be u(-5). Solve 0 = -w*q - 5*t - 10, 0 = x*q - 3*t + 3 - 4 for q.
-1
Let s(g) = 3*g - 2. Let c be s(1). Let w be c*8*(-4)/(-4). Suppose w*h = 3*h + 15. Solve -5*r = -2*i + 10, -h*i + 2 = r + 4 for r.
-2
Let v be (-3)/(3/(-2)) - 2. Let y be (v + (-3 - 1))/(-2). Solve 0 = -3*w - 3*x + 12, -5*w + x + y*x + 28 = 0 for w.
5
Let n(x) = -x**3 + 21*x**2 - 20*x + 9. Let w be n(20). Suppose -4*i - 3 = 5*p, -i + w = -0*i - 2*p. Solve 5*b + 22 = j, -3*j + 2 = -i*b - 16 for b.
-4
Let r = 62 - 59. Solve k + r = 4*f + 5, f = 5*k - 10 for f.
0
Let f = 11 - 8. Let l(p) be the third derivative of p**5/60 - 5*p**3/6 - 2*p**2. Let a be l(f). Solve -a*i + 12 = -i + d, 0 = 3*i + 2*d - 12 for i.
4
Suppose a + 2*n = 12, -4*a + 74 = -3*n - 2*n. Let y be 16/10*(4 + 27/(-18)). Solve 0 = 4*b + 15 + 1, 3*g - y*b - a = 0 for g.
0
Let g be (-4)/((-2)/(-8) - (-5)/(-4)). Solve j + 20 = g*i + 2*j, 5*j = -i + 5 for i.
5
Let v(q) = -5*q**2 - 1. Let t be v(1). Let d be ((-16)/t)/((-6)/(-9)). Suppose 0 = 3*b - 12 - 0. Solve -d*y + f - b = -y, y + 8 = -3*f for y.
-2
Let m = -12 + 13. Let x(z) = z**3 - 2*z**2 + 3*z - 2. Let n be x(m). Let a be ((-9)/6)/((-3)/4). Solve 2*g - a = n, g - 4 = -2*c + c for c.
3
Let u = 3 - -3. Let q be (0 + (-42)/(-5))*(-45)/(-18). Suppose 3*l = q - 6. Solve 4*t + t - 5*j = l, 0 = 5*t - 4*j - u for t.
2
Let w = -34 - -76. Let l = 43 - w. Solve n + 5 = l, -n = 3*t + 16 for t.
-4
Let d(k) = -k**2 + 4*k. Let v be d(2)