3*c + d*s = -18 for c.
-2
Let m = 24 + -22. Suppose -b - 10 = -y, -y + 15 = -2*y - 4*b. Suppose -17*z + y = -29. Solve -4*r + z*d = -16, m*r - 5*d - 24 + 0 = 0 for r.
2
Let k be ((-36)/(-15) - 2)*70. Solve -3*u = -4*i + 6*i + 17, 3*i = -5*u - k for u.
-5
Suppose -6*r + 75 - 15 = 6*r. Solve -2*w - w = r*m + 1, 2*w = -4*m for w.
-2
Suppose 4*b - 64 = -4*g, 4*g - 12 = -32. Suppose 18*m = 21*m - b. Suppose -3*s - s + 5*o = -34, -2*s - 2*o = -8. Solve i - 3*t + m*t = -6, 2*i = -5*t - s for i.
2
Let x = 25 - 4. Suppose 24 = q + x. Solve -5*a = -q*z - 2*a - 3, 0 = 5*a - 20 for z.
3
Let s(w) be the third derivative of -w**4/6 + 19*w**3/2 + 3*w**2 - 16. Let d be s(13). Solve 3*l = d*u - 32, 2*l + 2*u + 12 = -3*l for l.
-4
Let d(o) = 2*o**2 - 30*o - 65. Let j be d(-2). Solve 14 = 2*a + 5*b, 5*a + 16 - 13 = -j*b for a.
-3
Let n(g) = 61*g + 75. Let d be n(-5). Let m = d - -231. Solve -3*w + w = p - m, -16 = 4*w - 4*p for w.
-1
Let d be 0*(-2)/2 - (-30 + 30). Solve 0 = 2*n + 2*n - 4*r - 8, -4*n + 5*r + 13 = d for n.
-3
Let l(g) = 8*g + 36. Let w be l(6). Let s be 14/(-6)*w/(-98). Solve -5*b = -s*m - 31 - 2, 0 = 5*m - 3*b + 35 for m.
-4
Let m = -5 - -7. Let c(p) = -77*p + 8. Let k be c(3). Let v = k + 227. Solve 4*d + 10 = 2*a, -9 = -d + v*d - m*a for d.
-1
Let c be (-93)/(-21) - (-162)/(-378). Let z(l) = -l**2 - 4*l. Let q be z(-2). Let y = -5 - -8. Solve q = -c*n, 6 + y = -2*j - 3*n for j.
-3
Let w be (-6)/4 + -184*(-6)/96. Suppose -11 = 3*l - 5. Let o = l + 6. Solve -6 = 3*k - 4*y - o, 4*k = -y + w for k.
2
Let q(y) = -y**3 + 20*y**2 - 34*y - 32. Let l be q(18). Suppose -n = -3 - 2. Suppose -5*d + n = -10. Solve -5*v + 1 = 3*u, d*u = 7*u + 4*v + l for u.
-3
Let g(s) = -s**2 - 7*s + 8. Let c be g(-8). Suppose c*x - 4*x + 12 = 0. Solve -4*y - 5 = -x*p, 0 = 4*y + y - 3*p + 10 for y.
-5
Let u(w) = 182*w - 4732. Let s be u(26). Solve s = v - 20*y + 18*y, -2*v - 4*y = 16 for v.
-4
Let i = -69 - -267. Suppose 7*v = 13*v + i. Let j = v + 33. Solve 2*x + 2*x + 1 = -b, j = 4*x - b - 9 for x.
1
Let b = 13881 + -13869. Solve t - k = 1, 24 = -t + 8*k - b*k for t.
-4
Let m be (80/30)/((-44)/(-297)). Solve -3*i - m = 3*a, 5*i = -15*a + 17*a + 5 for i.
-1
Suppose 7*z - 519 = -498. Solve 0 = -z*j + 5*l + 31 - 9, 2*l = 2*j - 8 for j.
-1
Let l(o) = 3*o**3 - 4*o**2 - 10*o + 20. Let r be l(4). Suppose t + r = 10*t. Solve 2*n + 5*c = 12, n = 5*c - 3*c - t for n.
-4
Suppose 41 = -8*r + 137. Let n = 10 - 2. Suppose -4*y - 2*o + 6*o = -16, 0 = -2*y + 4*o + 6. Solve -4*q + 4*b = n, -b + 2 - r = -y*q for q.
3
Suppose 5*t - 255 = -10*t. Suppose -4*m + t = -15. Solve 0 = -5*d - 4*h - 16, h = -h - m for d.
0
Suppose 0 = 46*i + 8*i + 17*i. Solve z + 4*o - 7 = i, -4*z - 17 = -0*o + o for z.
-5
Let d be (-6 - (-234)/27)*(-24)/32 + 12. Solve -3*u - 13*k - 30 = -d*k, 3*k = -6 for u.
-8
Let x = 156 + -150. Suppose x + 54 = 12*s. Solve -3*q + 5*p + 20 = 2*q, -4*q + 25 = s*p for q.
5
Let h(m) = -m**3 - 3*m**2 - 6*m + 15. Let x be h(-5). Suppose x = 3*k - 4*w + 3*w, 3*k - 5*w = 103. Solve -4*g = -z + 7 - 0, k = -5*z - 2*g for z.
-5
Let y = 6730 + -6726. Solve -2*m + 10 = -y*r + 16, 0 = 4*m + 20 for r.
-1
Let k = -93 - -87. Let m(b) = -b**2 - 9*b - 16. Let j be m(k). Suppose -5*y + 4*t = -28, -y - 4*t + t = j. Solve -w + 14 = y*x, x + 7 = 2*x + 2*w for x.
3
Let r(w) = 3*w**2 + 9. Let p be r(3). Suppose 0 = -11*d + 2*d + p. Solve 5*y = 3*o + 11, -2*y - d*o + 24 = 4 for y.
4
Let k be (1 + -1)*(-3)/6. Suppose 6*u - u - 255 = k. Let r = u + -47. Solve 3*z - r*o = 20, z - 5*o = -o + 20 for z.
0
Suppose -2*k + 96 = 36. Suppose -3*b + k = 3*v - v, 4*v - 54 = -3*b. Suppose -5*h + 3 = -v. Solve 2*d - 17 = h*c, 5*d - 2*c - 5 = 10 for d.
1
Let j(p) = p**2 - 29*p - 144. Let c be j(-5). Solve 5*s - 5*g - c = -1, -s = 4*g + 20 for s.
0
Suppose -j - q = 367, -6 = -q - 11. Let a = j - -365. Solve 0 = -0*y - 3*y + b + 13, 4*y - 24 = a*b for y.
3
Let o(r) be the first derivative of r**2/2 + 9*r - 8. Let h be o(5). Let c = 4 + h. Solve 2*i + 26 = -4*f, 6*f - 3*f = -i - c for i.
-3
Let r be -20 - ((-99)/11 - 16). Let u = -2 + 2. Solve -5*p = r*l - 15, p - l - 5 + 0 = u for p.
4
Suppose -34263*t + 34250*t = 0. Solve t = 2*m - 4*q, 2*m + 55*q - 8 = 51*q for m.
2
Let n = -4 + 18. Suppose -4*k = -2 + n, -5*h - 311 = 2*k. Let f = 77 + h. Solve -7 - 5 = -3*o, -f = 2*l - 4*o for l.
0
Let w = -73 - -84. Let k(x) = -w*x + 7*x**2 + 3*x**2 + x**3 + 0*x**2 + 13. Let q be k(-11). Solve 4*m - 5*c - q - 7 = 0, -20 = -m + 5*c for m.
0
Let k be (2/(4/3))/((-78)/728). Let i be -2 + (k/5)/(12/(-30)). Solve -d = -2*d - i*o + 15, 0 = -3*d - 3*o + 21 for d.
5
Suppose l - 1 = -3*z, -2 = -l + 5*z - 1. Suppose 4*u - 4*y + 7 = -l, -u - 10 = -3*y. Suppose 2*i = -4 + 12. Solve -f = -i*h - 0*h - 4, -2*h + 8 = u*f for f.
4
Let x(f) = -28*f - 2 + 22*f + 15*f. Let c = 2 + 0. Let u be x(c). Solve -b + 2*b - 1 = -3*n, 0 = 2*b - 3*n + u for b.
-5
Let r(x) = -x**3 + 42*x**2 + 5*x - 206. Let l be r(42). Solve -4*k - l*j - 4 = 4, -17 = -4*k + j for k.
3
Let i(j) = 2*j**2 - 4*j - 1. Let d be i(2). Let o be (-2)/(3 + d)*-1. Solve -5*h = 5*t - 15, -o = 3*h + 4*t - 8 for h.
5
Let n = 2386 + -2383. Let w be 20/6*(-1 - 2). Let r be (-4)/w - 46/(-10). Solve 5*z = z + n*j - 23, r*z - j + 26 = 0 for z.
-5
Let i = -530 - -556. Suppose 38 = i*u - 66. Solve -a = -3*y - 10, a - u*a + 4*y = -15 for a.
1
Let i(m) = -m + 14. Let s be i(10). Let x be (-34)/(-5) + (-288)/(-240). Suppose 2*h - 6*q = -3*q, 0 = -4*q + x. Solve f = l - 0*f, 5*l = h*f - s for l.
-2
Let s be (63/27)/(147/126). Solve p = -3*i, -19*p + 15*p + s*i = 0 for p.
0
Let g(d) = -d. Let f = 7 + -12. Let v be g(f). Suppose -35*o + 128 - 58 = 0. Solve -k - 4 = o*c - 8, 0 = v*c + 5*k - 20 for c.
0
Let d(l) = 6*l + 29. Let s be d(-15). Let t = s + 64. Suppose 0 = z - t*z + 10. Solve -3*a - p - 11 = 0, -2*a + z*p = p - 2 for a.
-3
Let s(y) = -4*y**3 + 148*y**2 + 5*y - 170. Let c be s(37). Solve 0 = 4*w - 20*g + c*g, -w - 2*g = 13 for w.
-5
Let q = 38 + -30. Suppose 0 = 11*i - q*i. Suppose 4*c + 4*l = 21 + 55, l + 29 = 2*c. Solve i = t + d + 4, -5*t - 5*d - c = -t for t.
-4
Suppose -3*k + 1030 = -24*i + 20*i, -1332 = -4*k - 5*i. Let b = 343 - k. Solve 4*a + 5*j = 36, b*a - 4*j = a for a.
4
Let u be (-2)/13 + (-2)/(-26)*119. Suppose -u*p = -18*p + 27. Let g = 30 + 1. Solve p*q - 7 = -2*o, 5*o + 3*q + 9 = g for o.
5
Let s(o) = -o**3 + 14*o**2 - 6*o + 5. Let i be s(6). Let t = -257 + i. Solve 15 = -n + 4*n, 5*g + n = t for g.
-1
Let j = -29 + 28. Let k be -23 - -22 - (-7 - j). Suppose -36 = -4*o + k*a, 3*o - 9 = 2*o + a. Solve 5*b - 4*x + 12 = -o, 0 = 5*b + 3*x + 28 for b.
-5
Let m be 48/18*3/2. Let v be 8*(-110)/20*2/(-4). Suppose -5*a + 30 = 5*w, v = -2*a + 3*a + 5*w. Solve a*t = -m*f + 16, 5*f - 11 = -1 for t.
4
Let x be 168/588*3/(6/14). Let z = -11 - -8. Let t be (3 - z/(-3)) + 1*x. Solve t*r - 25 = 7*a - 2*a, 5*a + 10 = r for a.
-1
Let v = 83 + -65. Let x be 4/v - (-2040)/540. Solve 4*o - 3*o = -x, -21 = 5*j + 4*o for j.
-1
Let h = -933 - -564. Let w = h + 371. Solve 14 = 2*a - 2*k, -w*a - k + 3 = 1 for a.
3
Let r be 4/3 + 2/3. Let h be (2 + (-105)/55)*0. Solve 2*z + z - 5*i = r, h = -5*z + 4*i - 1 for z.
-1
Suppose 50 = 5*t - 5*j, 4*j - 50 + 26 = 0. Solve n - 3*q - t = 0, -12*q - 14 = -4*n - 10*q for n.
1
Let a(w) = 2*w + 26. Let j be a(-13). Suppose 4*o + j + 8 = 0. Let r be ((-54)/(-36))/((-1)/o). Solve 3*q = 5*s + 8, 2*q + 3 = r*q - 2*s for q.
1
Let s(h) = -h**2 - 4*h + 13. Let u be s(-6). Let l be u/3 + (-30)/(-18). Let r be ((-12)/21)/((-6)/21). Solve -r*b + l*j = -b - 6, 13 = 2*b - 5*j for b.
4
Let z(o) = -o**3 - 11*o**2 + 24*o - 10. Let b be z(-13). Let m be b/(24/(-6)) - -6. Solve -m*h + 0*v - 4*v = -10, 0 = -v + 4 for h.
-3
Let o(v) = -14*v**2 - 61*v - 15. Let q be o(-4). Solve -l = -4*z + 8, -24 = -4*l - z - q for l.
4
Let h = -76 - -76. Suppose m = f + 2 - 3, m - 19 = -4*f. Suppose -3*z = -i + 17, -6*i = -4*i + 2*z - 26. Solve -b = f*p + 6, h*p - i = -4*b + 3*p for b.
2
Suppose 3 = -3*m + 3*f, 0*f + 8 = m + 2*f. Let o(g) = -401*g - 1203. Let l be o(-3). Solve l = -m*k + 4*n - 5*n - 13, 2*k = 2*n + 2 for k.
-4
Let k be (-44)/110*(-250)/20. Solve -16 = -k*a + i, 2*i - 75 = -67 for a.
4
Let d(l) = 11*l + l**2 - l**3 + 28 + 13*l - 26*l. Suppose -p = 2*p. Let w be d(p). Solve -v = v - 5*o + w