-s for d.
1
Suppose 2*w = -k + 4 + 26, 5*k - 70 = -5*w. Let z be (5 - (-2 + 4))*2. Solve -3*c - w = -o, -3*o + 22 = -c + z for c.
-4
Let m(r) be the third derivative of -r**5/60 + 5*r**4/24 - r**3/6 + r**2. Let y be m(4). Solve -4*s = -q - 21, -y*s = -2*q + 6 - 23 for s.
5
Suppose 2*g = -5*a - 4, -5*g - 5*a - 12 = 13. Let r be (-2)/g - (-66)/14. Solve -5*d + d + r*w + 35 = 0, 0 = 4*d - 4*w - 32 for d.
5
Let y = 4 + 1. Let r = y - 0. Let g be (1 + 3)*11/2. Solve -15 = -u - 4*j, -u + 3*u + g = r*j for u.
-1
Let p be ((-4)/(-10))/((-2)/(-20)). Let l be 0/1 + (-1 - -1). Suppose -2*z = z - 45. Solve -3*i - 4 = 3*o - 16, l = 5*i + p*o - z for i.
-1
Let l be (-12)/(-5)*(-15)/(-6). Suppose l*c - 28 = 2*c. Solve 0 = j - 2*j + p - 6, 0 = 2*j - p + c for j.
-1
Let z = -99 - -102. Solve -3*y = -t, z*t - 2 = -y + 8 for y.
1
Let o(l) = -6*l**3 - 2*l**2 + 1. Let t(j) = j - 12. Let i be t(11). Let z be o(i). Solve 2*a = 5*u + 5*a - 26, 3*u - 2 = z*a for u.
4
Let f = -12 - -17. Solve -f*r = 4*j - r - 8, -5*j = 4*r - 13 for j.
5
Let f be (0 - -3)*-1 - -2. Let i = f + 3. Solve 4*j - i*z + 2 + 4 = 0, -2*z = 10 for j.
-4
Suppose 2*n = 2*h - 2, 6*n - 4*n + 10 = 4*h. Solve 0 = -3*c + n*l + 27, -5*l = 1 + 24 for c.
4
Let r = -44 - -20. Let p = 35 + r. Solve -2*k + 2*f + 3 = 1, 4*k - f = -p for k.
-4
Let t be (-4 - -13)*(-2)/(-6). Solve -w + t = b + 1, -4 = -4*b for w.
1
Let f be (-2)/6 + 40/12. Suppose 5*c = -5*l + 40, -l - l = -5*c + 26. Let p be (c*-1)/(-2 - 0). Solve v + p*y - 7 = 0, 5*v + 0 = y + f for v.
1
Suppose 2*q - 7*q = -5. Let b = 3 - q. Solve -7*g - 5 = -4*g + 4*t, -3*g + b*t = 11 for g.
-3
Let h = -28 - -40. Solve -b - 2*b = -3*p + h, 3*b = -2*p - 12 for b.
-4
Suppose -6*l - 9 = -9*l. Solve 3*a - 18 = -l*w, -3*a + 1 = -2 for w.
5
Let l(z) = z**2 - 5*z + 2. Let f be l(4). Let p be (-12)/(-9)*(-9)/f. Let x be ((-40)/p)/(4/(-6)). Solve u + 2*r - x = 0, 4*u - 2*r + 2 = u for u.
2
Let r = -8 + -10. Let x = 6 + r. Let n be ((-15)/x)/(1/4). Solve n*u + 2 + 3 = 0, -7 = 4*s - 5*u for s.
-3
Let t be -2 + 4 + -5 + 3. Solve -3*h - 5 = -3*n - 2*h, 4*h + 20 = t for n.
0
Suppose c - 32 = -3*c. Solve -5*j = c*t - 4*t - 41, t - 29 = -5*j for j.
5
Let z(n) = n**2 + 4*n + 1. Let p be z(-3). Let w be p/(1*3/21). Let s = -10 - w. Solve s*a - 6 = 3*g + 5, 4*g = 4*a - 8 for a.
5
Let c(i) = -4*i**3 - i**2 + i + 2. Let b be c(-1). Solve 5*f + 14 - b = -5*o, 3*o = 2*f - 16 for f.
2
Let u = -17 - -22. Solve -u*d + 3 = -3*m, 2*m = 5*d - 2 - 5 for m.
4
Let l be (-4)/6 - 24/(-9). Suppose 0 = 3*i + 4*o + 11, -14 = l*i + o + 3*o. Solve 2*n + 4 = 4*n + 4*j, i*j = -3*n for n.
-2
Let d(z) = 3*z - 6. Let a be d(5). Suppose v + 7 = -2*o, o + 3*v + a = 3. Let s = o - -6. Solve -2*q = -10, -s*r - 3*q = -q + 5 for r.
-5
Let n(b) = -b - 1. Suppose -5*r + 0*v = 4*v + 6, 3*r + 2*v + 4 = 0. Let l be n(r). Solve 5*h = -2*u - l, u + h = 2 - 4 for u.
-3
Suppose -4*q + 0*q = -16. Suppose -18 + 4 = -4*y - 2*f, q*f - 2 = 5*y. Suppose -l = -5*l + 8. Solve -y*w = 3*i + 10, -l*w - 2*w - 4 = 2*i for i.
-4
Suppose 2*v + 4*v = 30. Solve -5*u = v*x - 0*u, u = 5*x for x.
0
Suppose 3*d - 43 + 0 = -q, 0 = -2*d + 2*q + 42. Solve 2*w - 5 = -b - 1, -2*b - d = -4*w for w.
3
Suppose 10 = 3*m - m. Let u be 0*(m/(-2) - -2). Solve -3*a - 15 = u, -2*q = 2*q - 4*a for q.
-5
Suppose 3*v - 9 - 4 = -2*t, -4*v + 14 = 2*t. Suppose -3*l = -16 + v. Solve i - 13 = -3*x, -3*x + l*x = -2*i + 10 for i.
1
Suppose -2*a + 1 = -3. Suppose a*j = -0*j + 46. Solve -s + 2*u - 6 = -3*s, -3*s + 5*u = j for s.
-1
Let w = 3 + 3. Let i be 2/5 - (-65)/25. Solve 0 = -2*u - 3*o + w, 17 = -i*u - o + 3*o for u.
-3
Suppose -4*t - w = -73, 3*t - 2*w + 6*w - 71 = 0. Solve -2*m = 4*k + 2, k = 5*m - 0*m - t for m.
3
Suppose p = 2*p + 4. Let c be (p/6)/(9/(-54)). Solve -5*x - 35 = 4*l, x - c*l + 28 = -9*l for x.
-3
Let x(m) = -13*m**2 + 6*m**2 - 3*m**3 + 4*m**3 + 6*m + 3. Let w be x(7). Let n = 6 - 1. Solve -4*k + p + 8 = 4*p, 5*p + w = n*k for k.
5
Suppose 3*k + 1 + 17 = 0. Let u be (-45)/k - 4/(-8). Solve c - 3 = -s - u, 3*c - 3*s = 3 for c.
-2
Let a = -27 + 33. Solve 0 = -2*m - 4*r + 22, -5*r = 3*m - a - 23 for m.
3
Suppose -2*d + 16 = -2*m, -d = -3*m - 4*d. Let a be (3 + m)/1 + 1. Solve -3*u - q + 9 - 3 = a, -10 = -4*u - 2*q for u.
1
Let k = -16 - -31. Let i = k - 10. Suppose -8 = -2*r + 4*q, i*r - 19 = 3*q - 6. Solve -2*l + 16 = -4*c, 3*c + r*c + 20 = -l for c.
-4
Suppose 3 = c + 1. Suppose -5*k - 5*p + 40 = 0, -c*k - p = 3*k - 28. Solve 5*s - 8 = a + k, -5*s + 2*a + 16 = 0 for s.
2
Let y(a) = -a**3 + 14*a**2 - 12*a - 11. Let v be y(13). Solve 0 = 2*q + q + 4*d - 21, v*q + 9 = 5*d for q.
3
Suppose -4*r - 4*d + 20 = 0, 5 = r - 3*d - 0. Suppose 0 = -4*i + 7 + 17. Suppose -i*c = -3*c. Solve 1 = -t - r*a, -3 = -c*a + 3*a for t.
4
Let b be 9 + (-20)/(8 + -3). Solve 2*v = 7*v + b*d, -2 = 2*v + 3*d for v.
2
Let w(z) = -3*z + 18. Let n be w(6). Solve -2*c - 1 = -n*g + g, -1 = -3*c - 2*g for c.
-3
Let d = 2 - 9. Let p(z) = -z - 4. Let k be p(d). Suppose -4*h + k*j - 5 = 8*j, -2*h + 2*j + 20 = 0. Solve 2*a + 8 = h*g - 15, -a + 6 = g for a.
1
Suppose -15*l - 10 = -17*l. Solve 0 = l*a + 15, 0 = -g + 2*a + 10 - 1 for g.
3
Let i(h) = h - 15. Let b be i(15). Solve b = 2*s - 6, 2*s - 19 = -5*j + 7 for j.
4
Let m = 25 + -23. Solve -6*b + 4*b = m*j + 14, 4*b = -2*j - 20 for b.
-3
Suppose -6*x - 4 = 2. Let i be x/((-2)/(-12)*-1). Solve 2*g = 3*k - 2, -4*k + 5*g = -i + 1 for k.
0
Let j be 3*(1 - 15/9). Let r = j + 5. Suppose r*z - z - 8 = 0. Solve z*w - 7 - 11 = 2*f, 2*w + 21 = -5*f for w.
2
Suppose 0*v + 12 = -3*v. Let g(o) = -o**2 + o - 2. Let s be g(v). Let z be 54/66 + (-4)/s. Solve 4*b - a = -z, -b - 26 = -5*a - 2 for b.
1
Let w = -24 - -26. Solve -3*y + 5*d = w*d - 15, 2*y - d - 6 = 0 for y.
1
Let v(w) = w**2 - w + 5. Let m be v(0). Suppose -3*y + 3 = m*q, 2*q - 3*y + 1 = -2*y. Solve -5 = 5*b, q*a = 4*a - 5*b + 11 for a.
-4
Let k be 3/(-2)*(-16)/12. Let p = 3 + k. Let g(b) = -b + 3. Let y be g(-7). Solve -p*r + 2*s = y, -5*r + 2*r - 2*s = 22 for r.
-4
Let k be 1 + 0*(-3)/(-12). Solve 3*v = 2*y - 3*y - 3, y + k = -2*v for v.
-2
Let a(s) = s**2 - 15*s + 36. Let p be a(12). Solve m + 2 = d - 1, p = -3*d - 5*m + 25 for d.
5
Let z be (-4)/6 + (-4)/3. Let j be -2*(-1)/z*-1. Let a be 1/(j/3) + -1. Solve a*h + 13 = -5*s - 2, 5*s = -h - 15 for h.
0
Suppose 0 = -4*m + 1 - 17, 4*a - 4*m = -40. Let o = -2 - a. Solve 2*l - o = 2*g, 5*g = 5*l + 2*g - 26 for l.
4
Let d be (4/(-6))/((-1)/3). Suppose -k = d*k - 9. Let q = k + 6. Solve -3*i + 15 = 0, -b = -0*b - 2*i + q for b.
1
Let a(l) = l + 7. Let p be a(-3). Suppose 0*i = -2*i + p. Suppose 2*x - i = -k + 2*k, 0 = -5*x - 5*k + 20. Solve -2*m - 2 = -3*y, -x*m - m + 5*y = 5 for m.
5
Suppose 4*y + 1 + 7 = 0. Let g be y/4 - (-15)/6. Solve 25 = 2*f - f + 4*x, 2*x = g*f for f.
5
Suppose -3*b + 9 - 3 = 0. Suppose 5*t - t - 24 = 0. Solve -t = -3*c + v, -b*c + 3*v + 3 = 2*v for c.
3
Let k be (1/2)/((-1)/(-8)). Suppose -k*q = 4*g - 8, 0 = 4*q - 3*g - 0*g - 8. Let p(l) = 3*l - 3. Let h be p(q). Solve w = 4*z - 13, 21 = h*z + w + 6 for z.
4
Let x(o) = o**2 + 3*o. Let k be x(-3). Solve -18 = -q - 0*q - 4*f, k = q - 3*f + 10 for q.
2
Let z be ((-12)/(-10))/(21/(-140)). Let w = z - -11. Solve 0 = 3*h - w*o + 21, -32 = 5*h - 0*h - 4*o for h.
-4
Let z(v) = -v**3 - 3*v**2 + 5*v - 2. Let h be z(-4). Let x = h + 11. Solve 0*b - 14 = -2*b - 4*t, 4*b + x*t = 19 for b.
1
Let d(x) be the third derivative of -x**6/120 - x**5/60 + x**4/24 + x**3/6 + 6*x**2. Let f be d(-1). Solve o = 2*y - f*o + 10, 32 = -4*y + 5*o for y.
-3
Suppose 4*f = -4*f. Solve -5*b = -0*p - 4*p - 6, 2*p + b + 10 = f for p.
-4
Let t(o) = -o**3 + 11*o**2 - 11*o + 13. Let k be t(10). Solve -i - 10 = -k*q, 2*i + 4 = -q - q for i.
-4
Let g be (-3 + 46/6)*-3. Let p be (-4)/14 + (-32)/g. Solve -3*v - p*i = -0*v - 25, -2*i - 5 = -3*v for v.
5
Let l be (-64)/14 + (-18)/42. Let f = 8 + l. Suppose 21 = f*v + 9. Solve 0 = 3*p + v*a + 2 - 11, 0 = -5*p - 4*a + 7 for p.
-1
Let r be (-2)/16 + (-175)/(-56). Let o = 10 - -1. Solve -r*y - 11 = -4*m - 0*y, 2*y = -m + o for m.
5
Suppose 4*i - 33 - 79 = 0. Solve 5*l + i = 4*z, -z + 10 = -0*z - 2*l for z.
2
Suppose -15 = -d - 2*d. Let s(w) = -w**2 + 5*w + 5. Let k be s(d). Solve 0 = -3*v + x, -1 = 3*v - 3*x + k for v.
1
Suppose 2*h - 1 = -c + 24, -2 