= -4*t + 3*t, -1 = -4*t + p*m for t.
-1
Let d be (-10)/2 + (-80)/(16/(-2)). Solve d*p + 1 = k, -4*p = -k - 8*p - 8 for k.
-4
Suppose 62*u = 63*u - 3. Solve 0*d - u*d = 5*s - 30, -28 = -s - 5*d for s.
3
Suppose t = 4*a - 3, -3*a - 5*t + 35 - 4 = 0. Solve -4*o - 12 = 7*k - 10*k, -3*k = -a*o - 12 for o.
0
Let j(a) = -6*a**3 - 2*a**2 + 2*a + 3. Let l be j(-1). Suppose -4*q - 1 = -l, -q + 7 = 3*y. Solve 0 = 3*f + 3*z - 6, -y*f + z = 3*f - 28 for f.
5
Let r = -3 - -13. Let i be 1/1*(0 + r). Suppose -y + 2 = 3*z, 2*z + 2*y = 6*y + 20. Solve -d + i = -4*k, 0 = -z*d - 3*k - 3 - 10 for d.
-2
Let z = 111 + -83. Solve 4*p + z = -x + 4*x, -12 = 2*p - x for p.
-4
Let y be 11 - 17/((-102)/(-36)). Solve y*c - 11 = -w, 3*c - 3*w - 29 = 2*w for c.
3
Let b = 219 - 219. Solve b = -3*i - 2*f + 2, 3*f + 7 = 1 for i.
2
Suppose 0 = -2*s - 0 + 6. Suppose -t + 12 = s*t. Let n be 5 + t/(-1) + 1. Solve 4*x - 4 = 2*f + 2, 0 = n*f - 3*x - 3 for f.
5
Suppose 2*b - 38 = -4*c, 2*b - c = -6*c + 37. Suppose -7*n + 147 = b. Solve 6 + 0 = 2*s + r, 4*s - r - n = 0 for s.
4
Let j = 1 + 2. Let z be (4/(6 + -4))/(2/3). Suppose -5*q = 2*c - z*c - 17, -j*c = 4*q - 6. Solve -o = -t - 1, 4*o = 3*o - 3*t - q for o.
0
Let x(h) = 24*h. Let d be x(1). Let n = d + -17. Let v = 104 + -100. Solve 0 = -8*o + 3*o - 15, v*o + n = -u for u.
5
Suppose -267*n + 264*n + 18 = 0. Let g = -12 + 17. Solve i - n = -3*i + 5*z, -g*z = -10 for i.
4
Let o(d) be the third derivative of d**5/60 + d**4/3 + 2*d**3 - 3*d**2. Let p be o(-7). Suppose 0 = -p*g + g + 12. Solve -12 = 4*b, g*f - 4*b - 17 = 1 for f.
2
Let r be (-17)/((-170)/(-80)) + 10. Let f(l) = l**2 - 7*l - 10. Let q be f(8). Let d be (1/2)/(q/(-100)). Solve 0*z - r*z - d = 5*b, 5*b + 25 = 3*z for z.
0
Suppose -14 = -4*v - 2*r - 2, 0 = -r. Let c = 70 + -64. Solve -h - o - v = 0, -c*h = -h - 4*o + 6 for h.
-2
Let m be ((-48)/(-80))/(3/15). Solve -u + 4*g + m = 11, -2*u + 2 = -2*g for u.
4
Suppose -7*j + 10*j = 96. Suppose 0 = -i - 30 + j. Solve i*y = 4*n + 4 - 2, -3*y + 3*n = 0 for y.
-1
Let j(l) be the first derivative of 1/3*l**3 - l**2 + 2 + 4*l. Let f be j(4). Solve -4*x = f, -3*x = 2*s + 2*s + 29 for s.
-5
Let q be 0 + 2 + (-32 - -33). Solve -q*c - 34 = -5*b - 6*c, 2*c - 6 = 0 for b.
5
Let n(v) = v**3 - 3*v**2 - 5*v + 5. Suppose -4*x = -6*x + 4*c + 28, 0 = -2*x + c + 13. Let h be n(x). Solve 5*u + l = u + 1, -l + h = -5*u for u.
0
Let h = 115 + -113. Suppose 0 = -4*x - 4*d, h*d - 3*d - 15 = -2*x. Solve 2*b - 5*k = -15, 3*k - 10 - x = 0 for b.
5
Let n(q) = 21*q + 51. Let m be n(-2). Let i = 6 + -3. Suppose -2*w - i*w = -25. Solve a + m = -z + 3*a, w*z - 3*a = -31 for z.
-5
Let c = 31 + -12. Suppose -5*h - 4 + c = 0. Suppose 2*g + 2 = 8. Solve 2*w + 1 = -y - 8, -2*y + h*w = -g for y.
-3
Let o(x) = x**2 + 9*x + 22. Let g be o(-10). Let n = g - 18. Suppose -n*d + 12*d = 0. Solve -5*p - u - 24 = d, 5*u + 24 = -4*p - 12 for p.
-4
Suppose 0 = 9*s - 157 + 112. Solve 8*d - 3*d - s = 5*x, 4*d - 6 = 3*x for d.
3
Let j(f) = 2*f - 5 - f + 0 - 2*f. Let w = -10 - -3. Let x be j(w). Solve -5*d + 14 = 2*k, -x*d = -6*k + k + 6 for k.
2
Suppose o + 4*n = 52, -5*o + 2*n - n = -176. Solve 2*x = -8, -4*f + x - o = 5*x for f.
-5
Let m(s) = s**3 + 4*s**2 - 8*s - 14. Let g be m(-5). Let b be (9/(9/(-10)))/(-3 + g). Solve 0 = -3*j - 3*q + 2*q + 9, 8 = b*j + 4*q for j.
4
Suppose -p = -11 - 3. Solve b - 3*l = -p, -5*b - 3*l + 0*l - 16 = 0 for b.
-5
Let g(z) = -2*z - 12. Let s be g(-8). Suppose -s = -r - r. Let l = 73 + -62. Solve -3*u - r*f = l - 27, -2*u - 5*f = -29 for u.
2
Let d = 6 - 4. Suppose -u = -f + 13, -4*u = 4*f + 24 - 108. Suppose 3*z + y = -z + f, -z + 13 = 2*y. Solve q + 5*s = -4*q + 10, 0 = z*q + 5*s - d for q.
4
Let z(o) = o**3 + 23*o**2 - 30*o - 144. Let d be z(-24). Solve 3*h - 6*b = -b - 16, 5*h - 3*b = d for h.
3
Let d be 1 + 1 + (-7)/1. Let i(s) = 3*s**2 + 15*s + 2. Let h be i(d). Solve -h*r - 2*a = 5 + 9, 2*r = 3*a - 4 for r.
-5
Suppose 0 = 3*d + 4*d + 14. Let t be (-149 + 2)*d/3. Let r be 2/(-4) + t/28. Solve 4*m = 2*l - 4, 0*m + 3*m + 12 = -r*l for m.
-2
Suppose -4*t + 16 = 0, -10 = -y - 3*t + 4. Let h be -4 - 1/(y/(-22)). Let i(b) = -2*b + 11. Let g be i(4). Solve n + h = g*r, 4*r + 4 - 10 = 3*n for r.
3
Suppose -8 = -5*l + 7. Suppose 5*g + 0*g - 270 = 4*r, 62 = -r + 4*g. Let u = 73 + r. Solve 3*f - u*c - 5 - 1 = 0, l*f - 5*c = 8 for f.
1
Let c be 8/(-2) - (-165)/5. Let y = -26 + c. Let r = 0 - -1. Solve -y*v - 8 = -b - r, 17 = -5*v - b for v.
-3
Suppose u + u - 14 = -3*a, 0 = 4*a + u - 17. Solve -12 = a*j - 2*t, -4*t + 4 = -j + 1 for j.
-3
Let k = 1222 + -1217. Solve k*f + 23 = -6*o + 7*o, 5 = -f for o.
-2
Let l(r) = -r**3 + r**2 - 2*r. Let y be l(0). Solve 4*n - 12 = -2*k, -3*n + 4*k + 2 + 18 = y for n.
4
Suppose -i - 2*i + 108 = 5*w, 180 = 5*i + 4*w. Suppose 0 = -7*m - i + 260. Solve 8 = 2*u, 0*a - 4*a + 4*u = m for a.
-4
Suppose -2*b + 7 = 3. Suppose -2*s + 5*s + 11 = 4*c, -b*c - 2*s = -2. Let p be 0 + (-1 + 0 - -18). Solve v + 5 = -2*l, -c*l + 2*v = -v + p for l.
-4
Let k(r) = -r**2 - 1. Let x be k(1). Let w be 2/(x/(-3)) + -3. Let q = w - -3. Solve -g + 0*g = -4*n + q, -1 = -5*n + 4*g for n.
1
Suppose 1 = -6*i - 5. Let f be 10*(1 + 1/5*i). Solve 24 = -2*v + 4*h, -v - f = -5*h + 16 for v.
-4
Let a be (-11)/(-4) - 3 - 18/24. Let d(r) = 5*r**2 - 2*r - 2. Let s be d(a). Solve -6 = -2*q - 4*w, 4*q = w - 1 - s for q.
-1
Suppose 3*b - 3*i - 20 = 2*b, -5*i = 5*b. Let m be (b/5 + 2)*(-26)/(-6). Solve 3*r = 4*r - 5*v - m, 0 = -5*r - 4*v - 22 for r.
-2
Let q be (17 - 0/(-4)) + -2. Suppose 4*j - q = -j. Solve j*f = -3*k, 2*k = 3*k + 4*f for k.
0
Let v be 4/(-10) + (-62)/(-5). Suppose -7*s - l = -5*s - 89, 5*s - 5*l = 260. Suppose 6*t = 13 + s. Solve 3*b = v, 2*m - t = -4*b + 12 for m.
3
Suppose -4 = c, 5*g + c = -0*g + 11. Let t(j) = 2*j - 7. Let i be t(6). Suppose 0 = g*o - 2*o - i. Solve 15 = -3*n, 2*n - 10 = -o*k + 3*n for k.
1
Let r be ((-75)/15)/(5 - 6). Solve -2*k + 2*g - 20 = r*g, 20 = -4*k - g for k.
-4
Suppose -4*s = -3 - 17, q = s. Solve -5*x = -q*k + 25, -4*k - 4*x - 20 = -3*k for k.
0
Let b(s) = 6*s + 38. Let m be b(-6). Solve 3*n = -3*i, -m*i + 1 = -5*n - 20 for i.
3
Let u(z) = -z**2 + 10*z - 12. Let k = 14 + -6. Let g be u(k). Let n be 5 + g/((-4)/2). Solve -14 = -r + 3*i, n*r - 4*i = 5*r + 2 for r.
5
Let o be 30/40 - 69/(-4). Let x = 6 + -3. Let a = x + 0. Solve 2*v = -2*r - o, 2*r + 1 = -a*v - 22 for v.
-5
Suppose 4*r - 645 = -621. Solve 7*s - 3*s - 11 = -5*c, s - 2*c = r for s.
4
Suppose 5*l - 5 = -45. Let y = l + 13. Let p = y - 1. Solve 30 = 2*a - 7*a + h, -h = p*a + 15 for a.
-5
Let m(y) = 2*y**2 - 7*y - 1. Let j be m(4). Solve -5*q + j = 2*d + 18, -q - 3*d - 16 = 0 for q.
-1
Let h be (-3)/((-6)/(-22))*25/(-5). Suppose 4*r + 3*w = h, -37 - 3 = -2*r - 4*w. Solve 2*f = r, 0 = -4*i + 4*f - 4 for i.
4
Let w = 11 + -7. Let a be (4/10)/((-355)/(-50) + -7). Suppose o = 39 - 37. Solve -1 = w*y + o*v + 13, y = -v - a for y.
-3
Let n(u) = -2*u + u**2 - 4*u**2 - 5 + 21*u**3 + 23*u**3 - 43*u**3. Let c be n(4). Solve 3*v = c*l + 15, 2*l - 5*v + 8 = -5 for l.
-4
Suppose s = 5*f - 65, 3*f - 33 = s + 8. Solve 3*v = 4*n + 19, 4*n + f = 2*v - 6*v for v.
1
Suppose -t - 5*o - 15 = 0, 0 = 5*t - 3*t + o + 3. Let x be 16 - 65/(16 + -11). Solve -4*f - 2*w = f - 4, x*f + w - 3 = t for f.
2
Let t(k) = 3*k + 4. Let w be t(6). Suppose 40 = 2*i - w. Suppose i = 4*m - 4*g - 1, 16 = -3*m - 5*g. Solve 5*b - m*y - 10 = 0, y = 2*b - 4 - 1 for b.
5
Let x = 949 - 945. Solve -2 = -2*p, x*f + 0*p = -p + 5 for f.
1
Let k = -37 - -19. Let j = k - -18. Solve -2*l + 3 = -3*s - 5*l, j = 5*l for s.
-1
Let y be 10*1 + (16 - 15 - 6). Solve -4*h + 17 = -t + 4*t, -y*h + 5*t = -30 for h.
5
Suppose 0 = -2*u + 6, -3*n + 3*u + 15 = 6*u. Suppose a + 2 = -n*r, -2 = -3*a + 4*r + 2. Solve -3*g + 9 = -4*y - a*y, 2*y + 12 = 4*g for y.
0
Suppose -4*r + 74 = -0*r - 3*c, -96 = -5*r + 2*c. Let u = r + -20. Suppose 3*z - 7 + 1 = u. Solve -q + 0*f = 3*f, -4*q - z*f = 10 for q.
-3
Suppose c + 5*h = -1 - 6, -3*c = -5*h - 39. Solve 2*l + 4*b + c = 0, -b - 11 = 2*l + 3*l for l.
-2
Suppose -9 - 9 = -3*j. Suppose 17 = 3*m - o, -j*o + 4 = -2*o. Suppose -m = 4*h - 22. Solve -4*p + 4 = t - 2*t, -16 = 2*p + h*t for p.
0
Suppose -l - 3*g = 109 - 11, -5*g - 193 = 2*l. Let x = -80 - l. Solve -b + x = -2*b + 