6). Solve t - d = -s for s.
2
Suppose 0 = 2*k - 1 - 3. Let s be ((-10)/15)/((-4)/6). Suppose -3*m + s = -k*m. Solve 2*w - m = -9 for w.
-4
Suppose 0 = -o + 1 - 7. Let v = o + 8. Suppose -3*d - d + 60 = 0. Solve -7*q + v*q = -d for q.
3
Suppose -2*v + 81 = v. Let m = -12 + v. Solve 5*l - m = 2*l for l.
5
Suppose -9 = -4*i + 7. Let p(c) = c**3 + 4*c**2 - 6*c + 3. Let r be p(-5). Let j = r + -5. Solve -i*y + 1 + j = 0 for y.
1
Let i be 74/10 - (168/(-30) - -6). Solve 0 = 5*j - i + 2 for j.
1
Let d(o) = 6*o - 33. Let h be d(6). Solve -2*f - h*f - 5 = 0 for f.
-1
Suppose -2*x + 34 = 4*h, 4*h - 3*x + 14 - 33 = 0. Suppose 0 = 3*q + h + 26. Let v = 15 + q. Solve -3*k = -v*k for k.
0
Let i be (5/10)/((-2)/(-8)). Solve u + 0*u = -i for u.
-2
Let w(g) = g**3 - 9*g**2 - g + 9. Let i be w(9). Suppose i = -2*b - b. Solve -x = -b*x - 5 for x.
5
Let d(s) = s - 11. Suppose -30 = -h + 3*q, -8*h + 4*h + 3*q = -75. Let r be d(h). Solve 3 - 11 = r*t for t.
-2
Let d be (-5)/2*(-56)/35. Suppose -s - s + 12 = -2*v, 2*s - 15 = -v. Solve -d*g - 13 = s for g.
-5
Let l(z) be the first derivative of -z**2 - 5*z - 3. Let u be l(-4). Suppose j - 5*v = 26, -3*j - v = -j - 30. Solve 7*s = u*s + j for s.
4
Suppose 9*p = 14*p + 3*q - 18, 0 = 5*p - 3*q - 12. Solve -3*z = 9 + p for z.
-4
Let d(l) = l**3 - 3*l**2 - 4*l. Let x be d(4). Solve -4*v + 9*v + 15 = x for v.
-3
Suppose n + 0*n - 5 = 0. Let j = n - 5. Suppose -5*m - 4*z + 23 = j, 2*m + 6*z - 2*z - 2 = 0. Solve 0 = -4*o - m - 13 for o.
-5
Let d be (18/(-15))/(4/(-10)). Suppose 4 - 1 = d*z. Solve -3 = -u + z for u.
4
Suppose 0 = 3*m - 3*f - 36, 2*m + 3*f - 18 = -f. Suppose m*k - 15 = 10*k. Solve 0 = -0*g - 5*g + k for g.
3
Let b = 136 + -48. Let x = 2 - 2. Let c be -1 - x - b/(-2). Solve 0 = -5*u + c - 18 for u.
5
Let c be 1/(6/(-4))*-3. Solve c*m = 5 + 5 for m.
5
Let r(b) = -2*b + 14. Let y be r(6). Solve -5*k + y - 12 = 0 for k.
-2
Suppose 1 = -6*q + 7*q. Solve 5*v + q - 16 = 0 for v.
3
Suppose 4*o = 5*o. Suppose -5*q - 10 = o, 4*t + q = -2*q - 2. Solve 3*r - 10 = -t for r.
3
Let y = -24 + 27. Let s be 1 - (-1)/((-1)/(-7)). Solve y*c + s = c for c.
-4
Suppose 27 + 33 = 5*s. Let m = 69 + -67. Solve -m*a - 2*a = -s for a.
3
Let n be -8*4/(-32)*2. Solve 5*d - 22 = -n for d.
4
Let d be (-5)/(30/(-9))*-2. Let t be (-8)/6*d*1. Suppose -t = 4*g - 12. Solve g*r - 1 = -3 for r.
-1
Let o be 1/3 - 2*10/(-12). Solve 0 = 4*b - 6 - o for b.
2
Suppose -2*z = 5*a - 47, 0*a + 3*a = -z + 28. Solve 5*f + 1 = -a for f.
-2
Suppose -3*k + k + 2 = 0. Solve -4*f - k = 3 for f.
-1
Suppose -68 = -5*q - 4*c, 0*q + 2*q + 2*c - 28 = 0. Solve 0 = a + 2*a + q for a.
-4
Let r(v) = -v + 4. Suppose -6 = -h - 4. Let w be r(h). Solve -w = a - 0 for a.
-2
Suppose 0*s - 5*s + 30 = 0. Let n be (-1)/((s/10)/(-3)). Solve n = p - 6*p for p.
-1
Suppose 2*q = -5*r + 10, -5*q + 3 = -3*r + 9. Solve 3*d + q*d - 9 = 0 for d.
3
Let i(s) = -11*s**2 + 10*s - 17. Let w(m) = 5*m**2 - 5*m + 8. Let q(p) = -6*i(p) - 13*w(p). Let b be q(-6). Suppose 5*d - 2 = b*d. Solve -d*u + 0 = -6 for u.
3
Let s = -1 + 8. Let r be 12/4 + 2 + 0. Let g = s - r. Solve -g*k - k = -6 for k.
2
Let j(b) = b**2 + 2*b - 2. Let h be j(2). Solve -3*x - 15 = -h*x for x.
5
Suppose 5*o - 3 = 7. Suppose o*v - 3*v = -4. Suppose -4*f + 0*z - 2*z + 18 = 0, 4*f - v*z - 12 = 0. Solve k = 1 + f for k.
5
Let u(g) = 2*g**2 - 4*g + 3. Suppose 0*f - 2 = -f. Let o be u(f). Suppose 0 = -o*p - p + 8. Solve p*z - 6*z = 8 for z.
-2
Let a(d) = d + 12. Let t be a(-7). Let o = t + -3. Suppose -r - 3*r = 0. Solve o*c + 0*c + 8 = r for c.
-4
Let t(m) be the third derivative of -m**5/60 - m**4/4 + 2*m**3/3 + m**2. Let q be t(-6). Solve q*g + 10 = 2 for g.
-2
Suppose 2*l - 3*a - 200 = 30, 0 = 5*l + 5*a - 575. Suppose 5*b = -2*q + l, -5*b - 5*q = -12 - 88. Solve 0*s = -5*s + b for s.
5
Let y be (-1 + 2)/(2/10). Let d(r) = -r**3 - r**2. Let v be d(-1). Solve v*j = y*j - 20 for j.
4
Let i be 36/(-10) + (-2)/5. Let b be -3 + -6*i/8. Solve b = -6*j + 3*j + 9 for j.
3
Let t = 25 + -19. Solve 4*a = t + 2 for a.
2
Suppose 5*r = -2*l + 4, -3*r - 10 = -5*l + 2*r. Suppose 2*h - 12 = -l*h. Solve -p - h = -1 for p.
-2
Let y = 9 - 7. Solve 6 = 4*l - y*l for l.
3
Let g = 8 + -5. Let n be (g - 0) + 6 + -4. Suppose 3*k + 30 = 3*t + t, -n*t = 4*k - 22. Solve 0 = -2*u + t*u + 20 for u.
-5
Let j(f) be the second derivative of f**4/6 + f**3/3 + 3*f**2/2 + 4*f. Let i be j(-2). Solve 4*v - i = 5 for v.
3
Suppose -14*z - 12 = -15*z. Let o = -8 + z. Solve -o*s + 2*s = 0 for s.
0
Let i(a) = -2*a - 9. Let r be i(-6). Let z be (2 + -1)/((-3)/9). Let y = z + 7. Solve y - r = d for d.
1
Let z(k) = -k**2 + 12*k - 12. Let w = 34 - 25. Let c be z(w). Solve 0*n = -3*n + c for n.
5
Suppose 0 = -12*j + 7*j + 35. Solve -j*u = -2*u + 25 for u.
-5
Suppose -2*r + 18 = -2*m, 3*m - 35 = -5*r + 2. Solve -3*u - r = u for u.
-2
Let s(i) = -i**2 - 9*i - 14. Let r be s(-6). Solve -r*q = -9*q + 20 for q.
4
Let n = 20 - 17. Suppose -4*t = 4, n*k - 4*t - 23 = 17. Solve -5*a - k = -a for a.
-3
Suppose -5*n + 2*n + 6 = 0. Solve n*k - 4*k = -6 for k.
3
Let g = -19 - -20. Solve -4*d - 15 = g for d.
-4
Let d be (0 + 0)*((-15)/(-6) + -3). Solve 6*l - 5*l - 5 = d for l.
5
Let u(b) = -3*b + 5. Let v be u(-4). Let n be 1 + -3 - (-62)/2. Let d = n - v. Solve d = 2*o + 2*o for o.
3
Suppose 0*j - 20 = 5*j. Let m be -2*(-1)/(-2) - j. Let q be ((-9)/m)/3 - -12. Solve 4 + q = -3*n for n.
-5
Let b(w) = 6*w + 3. Let o be b(2). Solve -6*a - o = -3*a for a.
-5
Let n(s) = -s**3 - 7*s**2 + 2*s + 26. Let w be n(-7). Let d be (15/12)/((-2)/(-8)). Suppose -2*c - d = -3*c. Solve 2*k + w = c*k for k.
4
Let t = 66 - 62. Solve -4 - t = 2*j for j.
-4
Let c(l) = -l + 6*l**2 + 0*l + 0*l + 2*l + 1. Let h be c(-1). Solve -4*s = -2 + h for s.
-1
Let j(r) = -r**3 + 4*r**2 + 4*r - 10. Let x be j(4). Solve 5*n + 4 = -x for n.
-2
Suppose -105 = -4*t + 167. Suppose 4*o + l = t, 3*o + 3*l = 2*o + 6. Solve -2*x - 8 = -o for x.
5
Let m(p) = -p**3 - 6*p**2 + p + 4. Let b be m(-6). Let n(y) = -y - 1. Let d be n(-3). Let r = b + d. Solve r = -3*s - 2*s for s.
0
Suppose -2*u = -m + 12, m + 4*u = 3*u. Solve m*z = -2 - 18 for z.
-5
Let o be (-2)/((-34)/30 + 1). Suppose -5*w = -0*w - 10. Suppose -5*c - w*v + 45 = 0, -o = -5*c + v + 45. Solve 3*u - c = 4 for u.
5
Let v(d) = -d**2 - 4*d. Let r be v(-3). Suppose -6*l + r*l + 1 = -y, 4*y + 4 = 4*l. Solve l*g + 5*g = -25 for g.
-5
Suppose 0 = 2*h - 0. Solve 3*a = -h*a for a.
0
Let a(c) = -3*c - 12. Let s be a(-6). Let r be 43/9 + s/27. Suppose 4*w - 4 = 0, 4*t - 2*w = t + 19. Solve -t*v = -2*v - r for v.
1
Let s(y) = y**3 - 1. Let h be s(1). Let i(c) be the second derivative of c**4/12 + c**3/2 + c**2/2 - 2*c. Let g be i(-4). Solve g*q - 10 + 5 = h for q.
1
Let h = 5 + -2. Suppose -h*d = -5*d + 34. Suppose -3 - d = -4*a. Solve -a*j = -j - 12 for j.
3
Let q be 3/(-3) - 0 - -3. Suppose 1 = q*h - 5. Solve 0 = -4*z - 11 + h for z.
-2
Suppose 4*q - 2*v + 5 = -5*v, -q = -v - 4. Suppose -2 = -3*x + q. Suppose -3*r + 2*r = -7. Solve -2*z + x + r = 0 for z.
4
Let a(i) = i**2 - 5*i - 6. Let r be a(6). Suppose r = m - 4. Solve -4*t - m = 8 for t.
-3
Suppose 5*d = 15, 0 = 3*v + d - 12 - 0. Let f(o) = 5*o**2 + 6 - o**3 + 2*o**3 - 2*o + 7*o. Let q be f(-4). Solve -q = -p + v for p.
5
Suppose -2*w = -0*w. Suppose -2*f + f + 10 = w. Solve 15 = 5*l - f for l.
5
Let l be (-4 - 24/(-10))/((-6)/15). Solve -l = -4*y + 16 for y.
5
Let b(y) = y**2 - 1. Let f be b(-2). Suppose 0 = 5*q + f*t - 60, 0 = -3*q + t - 3*t + 36. Let g = -13 - -16. Solve q = -g*d - 0*d for d.
-4
Let h be 28/(-14) - (-3 + 0). Solve 5*j + 4 = -h for j.
-1
Let b be 130/(-39)*(-3)/2. Solve r - 2 + b = 0 for r.
-3
Let k(g) = g - 5. Let h be k(5). Let f = -7 - -7. Suppose -b + h*b + 4 = f. Solve -b*d = -0 - 4 for d.
1
Suppose -w = 11*w. Solve -2*p + 0 + 4 = w for p.
2
Suppose 4*w + 3 = 19. Solve -w*m + 4 + 8 = 0 for m.
3
Let k = 125 - 77. Let l be (8/(-3) + 3)*k. Solve -5*i + i - l = 0 for i.
-4
Suppose -3*o = -2*o - 2. Solve -o*r = 1 - 11 for r.
5
Suppose -2*a - 35 = -9*a. Solve -3*f + a*f + 6 = 0 for f.
-3
Let x(n) = 5*n - 60. Let h be x(15). Solve 11*b - 8*b - h = 0 for b.
5
Let j be -1 + 2 - (-17 + -2). Suppose 4*p - 2*z = 8, -2*p + p - j = 5*z. Solve -4*b - 24 + 8 = p for b.
-4
Let l be (4/16*0)/2. Solve l*y + y + 1 = 0 for y