 Solve 4*t - 4*m + 0 = k, t + m = 3 for t.
4
Suppose 3*f - 20 = 2*f. Suppose 4*j + f = -j. Let y be 8/(-6) + j/(-3). Solve 11 = -l - 3*l - m, y = -4*l + 3*m + 1 for l.
-2
Let p = -36 - -26. Let u(g) = g**3 + 11*g**2 + 10*g + 4. Let x be u(p). Let j(z) = -2*z + 5. Let b be j(1). Solve -3*q + 6*q = -x*v - 8, b*q = -v - 2 for v.
-2
Suppose b - 4 = -5*l, 12*b - 8 = l + 10*b. Let q be (-4)/10 + 36/15. Solve 2*t + l - 6 = q*x, 12 = 3*t for x.
1
Suppose -3*u + 173 = 2*r, 3*r = -3*u + u + 112. Let t = u + -56. Solve 0*o + 2*o - 9 = 3*m, t = -4*o - m for o.
0
Let i be (((-48)/15)/4)/(10/25). Let j be -19 + 15 - 12/i. Solve -5*p + f + 11 = 0, -2*f + 0 - 6 = -j*p for p.
2
Suppose 5*d + 3*c - 335 = 0, 8*d = 5*d - 3*c + 201. Let t = 71 - d. Solve -3*u - 4*p = t - 16, -4 = -u + p for u.
4
Suppose -4*n = -16 - 16. Suppose 34 = -3*o + 5*b, -3*b = -0*b - 15. Let g be 3/o*20/(-4). Solve -g = -5*a + s, -n = -5*s + 17 for a.
2
Let w be (-1 - (-54 + 3))/2. Let n be (160/w)/(4/10). Solve 0*o + 2*f + n = 5*o, -3*o + 5*f + 2 = 0 for o.
4
Let i = 11 + -9. Let k be 2/1 - (-4 - i). Suppose -5*r + r + k = 0. Solve 4*n = l - 7 - r, n + 7 = 5*l for n.
-2
Let u(r) = 8*r - 203. Let a be u(26). Solve 3*h + 4*z + 7 = 2*z, -a*h - 14 = z for h.
-3
Let i(p) = 5*p + 11. Let c be i(-8). Let m = 20 + c. Let j = 14 + m. Solve j*d - 25 = 4*t, t - 2*d + 17 = -2*t for t.
-5
Let d(q) = 3*q - 24. Let y be d(9). Solve 3*h + 4 = -4*l - y, 5*l = h - 4 for h.
-1
Let w = 1723 + -1721. Let g = -3 - -7. Suppose -3*u + g = u. Solve -a + 4 + w = 4*f, a - f = u for a.
2
Let s = -5 + 98. Let r = s + -81. Solve -b + 3*b = -u + r, 0 = 5*u + 5*b - 40 for u.
4
Let q be 0 - ((-78)/3 + 0). Suppose -2*u - 3*y + q = 0, -y - 8 = 8*u - 9*u. Solve 4*x - 3*s + 5 = 0, 0*x = 5*x - 3*s + u for x.
-5
Suppose 5*a - 9*c = -4*c + 80, 2*a + c - 20 = 0. Solve 4*x + 3*q + a = 5*q, 3*x - 2*q + 8 = 0 for x.
-4
Suppose -4*s + 5*r + 13 = 0, 0 = -5*s + r - 2 + 13. Solve -24 = -2*g - 5*x + 9, -18 = -2*g - s*x for g.
4
Suppose 0 = y + 28*s - 33*s + 20, -2*s + 30 = 4*y. Solve -6 = 4*u - y*t + 10, -u - 3 = -t for u.
1
Let r be (-9)/21 + (-18)/(-42). Solve w - i = -3, 0 = 5*w + 4*i - r*i + 15 for w.
-3
Let h be 6*-1*1/(-2). Suppose -4*c - c = -25. Let p = 5 - c. Solve -s - h = p, i = -s - 0*s for i.
3
Let p be 2 + 0 + 0/(-8). Solve 0 = -3*n + p*j - 2 + 6, -3*n = -4*j + 4 for n.
4
Let v be (2 + 14/(-5))/(10/(-125)). Solve 5*x + 2*c = 3 + 14, 0 = 3*x + c - v for x.
3
Suppose 6*j = 3*v + 2*j - 17, -2 = 2*v + 4*j. Solve 9 = 5*x + r, x - v*r + 5*r = 0 for x.
2
Suppose -3*s + 2*u - 2 = -0*u, -3*u - 15 = 0. Let a be s/(-3) + 2/3. Suppose -n - 2 = a*m - 11, -3 = -2*m + n. Solve -4*c = m*r - 1, -c = -2*r + 3*r for r.
-1
Let k = -6 + 8. Let j be (1 - 1)/((-24 - -20) + 5). Solve 4*z - k*r = -12 + 30, -4*r - 4 = j for z.
4
Let u be 44/(-77) + (-106)/(-14). Let n be (-1)/4*(-22 + u + -5). Solve -2*i - 4*z + 12 = -0*z, -n*z = -5*i - 30 for i.
-2
Let s be ((-10)/(-4))/(152/(-48) - -3). Let f = 19 + s. Solve 0 = 4*z - f*d - 24, 0*z + 21 = 4*z - d for z.
5
Let h = 814 - 809. Solve -h*v = -5*m - 25, -22 + 0 = 4*m - 5*v for m.
-3
Let d(l) be the first derivative of -5 + 1/4*l**4 - 7/3*l**3 + 4*l**2 - 7*l. Let f be d(6). Solve 5*b - 4 - 10 = -c, -b + 22 = f*c for c.
4
Let k be (-2)/7 - 93*(-40)/84. Let x = -34 + k. Solve -3*z - 4*l = 5, z + 4*l + x = -5 for z.
5
Let d = 18 - -13. Let m be d/4 - (-12)/(-16). Suppose -11*l + 8 = -m*l. Solve 0 = -s + 4*k - 3, -l - 5 = -3*s - 4*k for s.
1
Suppose -2*n + 7*n + 60 = 0. Let l be 15*9/((-27)/n). Suppose -57*g + l*g - 9 = 0. Solve 2*p + 12 - 2 = 2*c, -25 = g*p - 5*c for p.
0
Let i be (3/(-4))/((-3)/8). Solve 0 = -2*j + i*c - 6, -4*j - 12 = -c + 6*c for j.
-3
Suppose 0 = t + 4, 2*w - 4*t = -2*t + 56. Let y = w + -24. Solve -3*z + 2*h + 11 = y, -16 = -4*z + 3*h - 0*h for z.
1
Let j be 1 - 1/1 - 0. Let l(a) = -a**3 - 8*a**2 - 14*a - 1. Let d be l(-6). Solve 0 = 3*i - j*k - k + 10, 5*k = 2*i + d for i.
-3
Let p(w) be the third derivative of w**6/120 + 13*w**5/60 + 11*w**4/24 - 7*w**3/6 + 25*w**2. Let l be p(-12). Solve -l*c + 6 = -2*c + 3*s, -3*s = -15 for c.
-3
Let i = -302 + 830. Let x be ((-6)/4)/(36/i). Let l = x + 25. Solve -l*z = 4*n - 4, -4*n - z + 8 = -4 for n.
4
Let q(u) = u**3 - 4*u**2 - u + 8. Let b be q(4). Suppose 4*t + 1 = -0*t - 3*z, 3*t + b*z = -6. Solve 5*c = t*k, -2*c + 2*k = 3*k - 9 for c.
2
Suppose 5*f = -4*g + 41, 9 + 2 = -g + 3*f. Let j be 4/12 - g/(-6). Let a = 1 + j. Solve -2*d + t = -14, 5*d - 43 - a = 5*t for d.
5
Suppose -w + 7 = 2*p + 4*w, p = w. Solve -p = -s - 4*t - 12, 0 = -2*s - 2*t - 10 for s.
-3
Let l = 0 + 18. Suppose 4*f - f = l. Let w be (f/(-4))/((-7)/14). Solve 3 = -3*h - w, -3*h - 15 = -3*k for k.
3
Let p be 6*((-3)/(-6))/((-6)/(-4)). Suppose 0*v = v + 2*i - 5, -5 = -v + p*i. Solve -k - k - 2*w = 8, 2*w = -v*k - 20 for k.
-4
Suppose -5*l - 53 = 4*s + 59, -l + 2*s = 14. Let d = -20 - l. Solve d = -q + g - 3, 2*q = g - 3 + 2 for q.
2
Let r be (1 + (-81)/6)*-2. Let y = r + -21. Suppose m - y = -m. Solve 5*j + m = g + 3, -5*g - 5*j + 25 = 0 for g.
4
Suppose 3*j = -12*j + 135. Solve -2 = -3*x + 2*w, x - 4*w = -5*w + j for x.
4
Suppose 5*f + 4*i = -236, -f + 5*f - 3*i + 195 = 0. Let z = f + 57. Solve -3*d + 8 + 10 = 3*q, -2*q = -5*d + z for q.
3
Let d(k) = -69*k + 421. Let w be d(6). Solve 0 = 3*r + 4*t - w*t + 3, 4*r = 2*t - 2 for r.
0
Suppose -4*c = -5*o - 13, 4*c - 21 = o - 12. Solve -5*x = -c*l - 17, -3 = x - l - l for x.
5
Suppose 365 + 595 = 120*d. Solve 4*v - 16 = -2*j, j - 2*v = 3*j - d for j.
0
Suppose -2*x - 44 + 58 = 0. Solve 0*c + 5*l - x = -4*c, 2*c = -l + 5 for c.
3
Let p(l) = l**2 + 2*l + 55. Let q be p(0). Suppose 65 = 8*s - q. Let h be ((-25)/s - -3)*6. Solve 0 = 4*f - h, -4*m + 5*f + 3 + 3 = 0 for m.
4
Let m = -178 - -181. Solve 0*q + 9 = 5*q + 3*p, m*q + 5*p - 15 = 0 for q.
0
Suppose -2*l = 18 - 26. Solve -2*w - 2*w = t - 5, l*t - 20 = -w for t.
5
Let j(i) = -i**2 - 51*i - 47. Let s be j(-50). Solve -4*p + 5*n - 20 = -9*p, s*p = -2*n + 9 for p.
1
Suppose -2*m + 18 = -14. Let h be 2/(m/10)*8. Solve 5*n - 2*a = -21, n + h - 1 = 2*a for n.
-3
Suppose 0*o + 3 = o. Suppose 2*n = -4*v + o*n + 17, -3*n - 11 = -2*v. Solve -2*z + u + 0 = -9, 2*z = v*u + 18 for z.
3
Suppose -3*n - 8 = n. Let p be (-1 - -2) + 3 + n. Suppose 3*q = q + 4*s, p*q - 3*s - 2 = 0. Solve -q*y + 2*x - 25 = -9, 3*y - 4*x = -17 for y.
-3
Let c = 17 + -11. Suppose 0 = 5*l - 29 - 1. Suppose 4*g - l*g = 0. Solve -z - c = 2*t, g = -3*z - 4*t - 8 - 6 for z.
-2
Let k = -341 + 344. Solve 3*g + k*h = h + 20, h = g for g.
4
Let y = -1123 + 1125. Solve -k + 4*i = y, 2*k + 7*i + 4 = 3*i for k.
-2
Let p(z) = -4*z + 8. Let y(n) = -n + 1. Let f(g) = p(g) - 3*y(g). Let m be f(0). Solve 3*h + 3 = -4*w, -4*h - m*w = 4 + 1 for h.
-5
Let f(u) = u**3 - 2*u**2 - 2*u + 2. Let n be f(4). Let t be n/8 + 17/(-68). Let r = 18 - 10. Solve -g + i + r = t*i, -3*g + 2*i - 16 = 0 for g.
-2
Let v(h) = -2*h - 4. Let g be v(-6). Let k = 13 - g. Solve 5*a - 15 = 2*d, -k*a = -3*d + 6*d - 15 for d.
0
Let p be ((-5)/3*-3)/(5/2). Solve -4*k = -p*s - 1 - 17, -2*s + k = 6 for s.
-1
Suppose -20*q + 132 - 12 = 0. Solve -q*s + 2*h - 8 = -7*s, 2*h - 16 = -5*s for s.
2
Let o = -177 - -179. Solve -4*a - 12 = 3*t, -a - o*t - 8 = -6*a for a.
0
Let g(j) = -j**2 + 31*j - 130. Let f be g(5). Solve 0 = 2*o - 2*w + 8, f = -2*o + 5*o - 2*w + 10 for o.
-2
Let f = -32 - -34. Suppose i - 3 = -f. Solve -r + o + i = 0, -4*r + 4 = -3*o - 2 for r.
3
Let m(f) = 3*f + 6 - 5*f + f**2 - 5*f. Let p be m(7). Solve -5*q = -3*x + 7, 13 = -3*q + p*x - 2*x for q.
1
Let i = -32 + 28. Let f = i - -7. Solve u - 21 = -5*j, 0*u - u + j - f = 0 for u.
1
Let d = -542 + 545. Solve b - 11 = -d*j, -1 - 2 = -3*j - 3*b for j.
5
Suppose 5*w + 3*z = 5, 5*z = -4*w + 10*z + 41. Let l be (-407)/(-66) - 1/6. Solve 0 = -j - 2*p - 3, -w*j + 3*j - 3*p = l for j.
3
Let p = 11 - 11. Let b(u) = -u**2 - 5*u + 4. Let r be b(-5). Suppose 12 = h + 3*f, -r*h + p*f - 3*f = -21. Solve -4*z - 1 = -5*i, 8*i + 4*z + 31 = h*i for i.
-3
Let x be (-2 + (-24)/15)/((-6)/15). Suppose 3*g = 3, g - 2*g - 33 = -2*c. Let p = c - x. Solve p = 4*o - 2*m + 2, 2*m - 9 = -o for o.
3
Let l = -34 - -36. Suppose l*i + 4*b = 6*i - 12, 4*i - 9 = 3*b. Solve -2*u + i*w - w = 5, 0 = -2*w - 2 for u.
-2
Let a = 192 - 184. 