w + 3*w - 6 = d for w.
2
Let m(q) = -q**3 - 2*q**2 - 4*q - 1. Let c be m(-3). Suppose 3*a = -a + 3*y + 35, -3*a + y = -c. Solve -a*o = -2*o + 6 for o.
-2
Suppose -4*r - 4 = -5*r. Solve -3*z - 3 = -r*z for z.
3
Let d = -13 + 19. Let i be (9/6)/(d/(-16)). Let q = 6 + i. Solve 4*b - 5*b = -q for b.
2
Let s be 36/16 + 2/(-8). Solve 0 = -s*y + 3*y for y.
0
Let t be 20/(-15)*3/(-2). Solve t*v - 4*v - 10 = 0 for v.
-5
Let c(k) = -k**3 + k + 24. Let o = 5 - 5. Let p be c(o). Suppose -p = -u - 4. Solve 0*j + u = 5*j for j.
4
Let z(f) = f**2 - 4*f + 4. Let x be z(4). Let u = 6 - x. Solve u*o = 3*o + 2 for o.
-2
Suppose 0 = -2*y + 5*j - 4, -4*y - 8*j + 20 = -4*j. Solve 0 = y*v - 2 + 5 for v.
-1
Let d(b) = -b**3 + 3*b**2 + 3*b + 4. Let r be d(4). Suppose -4*h = -r*h - 68. Suppose 5*o - h = y, -o - 4*y + 0*y + 16 = 0. Solve -3*k - 5 = -o*k for k.
5
Suppose 2 = -2*g - 4. Let k(i) = i**2 + 5*i + 6. Let b be k(g). Solve b*p + 4 = -p for p.
-4
Let l = -1 - -2. Let v(q) = q - 9. Let s be v(-6). Let u be (4 + 52/(-12))*s. Solve -u = -g - l for g.
4
Let n = 17 + -17. Let s(i) = i**3 - 4*i**2 + 2*i. Let f be s(4). Solve -2*k + n*k = -f for k.
4
Let g = 9 - 5. Solve -c = -g*c - 3 for c.
-1
Let g = -2 + 4. Let o = -2 - -3. Let y = g - o. Solve -y = 2*f - 5 for f.
2
Suppose -2*n = -5*y - 9, -1 + 11 = 3*n - 4*y. Solve 0*j + n = j for j.
2
Suppose -2*b + 0 = t - 6, -b + 12 = 5*t. Let p be (-5)/(3 - 2 - t). Suppose -c + 4*g + g = 21, g - 25 = -p*c. Solve l = -c*l + 10 for l.
2
Let k = 9 + -17. Let s = 6 + k. Let m = 5 + s. Solve i - 2 - m = 0 for i.
5
Let n(h) = -h + 2. Let k be n(-6). Suppose -4*d = -k*d. Solve d*r - 2*r = 8 for r.
-4
Let r(d) = d + 3. Let g be r(3). Suppose 0*v - 90 = -3*o + 3*v, -v = -2*o + 55. Solve g*u = u - o for u.
-5
Suppose -2*o = 2 - 10. Solve 3*x - x + o = 0 for x.
-2
Let a be ((-3)/6)/(1/10). Let g be (4 + -12)/(2/a). Solve g = -4*y - 0*y for y.
-5
Suppose -41 = -5*q + 64. Let d be (-9 - 0)*(-7)/q. Solve -d*m - 2*m + 5 = 0 for m.
1
Let f(m) be the first derivative of -m**2/2 - 3*m - 2. Let t be f(-7). Suppose -t = w - 2*w. Solve 0 = -o + w for o.
4
Let v(q) = -q**2 + 12*q - 15. Let x be v(6). Solve x - 6 = 5*n for n.
3
Let t(i) = -4*i + 0 - 4 + i + 5. Let q be t(-1). Suppose 15 + 13 = 2*x. Solve -q*g = 6 - x for g.
2
Let k be ((-3)/(-3))/(1 - (-4)/(-8)). Solve -k*u = u + 6 for u.
-2
Let o be 18*((-10)/6)/(-5). Solve -d = -o*d + 25 for d.
5
Let y(w) = 4*w - 11. Let g(k) = -k. Let o(i) = 6*g(i) + y(i). Let p be o(-7). Solve 0 = -p*q - 0*q - 12 for q.
-4
Let w(b) = -b**3 + 5*b**2 + 5*b + 6. Suppose -4*a = l + 42, 2 = -2*a + 3*l - 26. Let j = -5 - a. Let m be w(j). Solve 2 + m = -k for k.
-2
Suppose 0 = -2*c - 4*s - 24, 18 = c - 0*c - 4*s. Suppose -n + 5*n = -12. Let o be 1*(c - -2)/n. Solve o = -0*i + 3*i + 6 for i.
-2
Suppose 0 = -2*d + 6. Suppose 2*o = -0*o + 2. Solve -d*p = 10 - o for p.
-3
Suppose -4*i + 9 = -3. Let r be 1/((-20)/(-8))*5. Solve r*s = i - 5 for s.
-1
Let i be (-90)/(-12) + 3/(-2). Solve 4*g + 4 = i*g for g.
2
Let f(k) = -k**3 + 7*k**2 + 8*k + 4. Let n = -23 - -31. Let d be f(n). Solve -d = 5*v + 21 for v.
-5
Let u(w) = -w**2 + 3*w + 18. Let v be u(6). Solve v*l - 2*l + 4 = 0 for l.
2
Let v(z) = 3*z - 30. Let y be v(14). Solve 20 - y = 2*q for q.
4
Suppose 0 = 6*s - 4*s + 10. Let g = -4 - s. Solve 2*i = i - g for i.
-1
Suppose 0 = -0*a - a - 3*t + 18, 0 = 2*a + 4*t - 30. Suppose 3*s - 4*m = 2*s + 2, -5*m = 0. Solve s*b - a = -b for b.
3
Let b = -21 - -23. Solve b*c = 7*c for c.
0
Suppose -3 = 4*p - 4*a + 1, 4*p + 5*a - 41 = 0. Solve 0 = 4*i - 0 - p for i.
1
Suppose 0*q = -5*q. Solve q = -5*v + 2*v - 12 for v.
-4
Let f = 118 - 68. Suppose -3*q = 0, 0 = 7*u - 2*u - 3*q - f. Let y = 9 + -4. Solve 3*o + u = y*o for o.
5
Suppose -2*l + 14 = 2. Suppose 0 = 5*x - l*x. Solve 0 = k - x*k - 3 for k.
3
Suppose 2*n = -n + 9. Suppose n*r + 10 = 5*x, r - 20 = -2*r - x. Suppose -2*o + 3*o - 4 = 0. Solve -r*p + o*p = -3 for p.
3
Let o = -6 + 12. Suppose -o*w + w = -25. Solve -w*v = -3 - 17 for v.
4
Suppose 4*w - k - 60 = -21, 0 = -5*w + 4*k + 35. Solve -w = -4*g + 5 for g.
4
Let l = -9 + 6. Let k be (-5 + 3)*(l + -1). Solve 0 = -3*a + a - k for a.
-4
Let i be (12 + -2)/((0 - 0) + 2). Solve -1 = w - i for w.
4
Let y be 6/14 - (-25)/7. Let m = 8 - y. Solve m*a + a + 15 = 0 for a.
-3
Let t be (122 - 3 - 2)*-1. Let z be (t/(-6))/3*2. Let g be (-84)/(-18) + 4/(-6). Solve -g*s = 7 + z for s.
-5
Let o(i) = -2*i - 2. Let l be o(-3). Suppose l*n - 4 - 4 = 0. Suppose 0 = 3*m + n*k - 16, 4*k + 4 + 0 = 3*m. Solve -4*f - m + 0 = 0 for f.
-1
Suppose -31 = -2*f - 3*v, -5*f - 7*v = -4*v - 64. Suppose -2*w + 17 = f. Solve -w*j = j for j.
0
Let r = 95 + 345. Let o be r/36 - (-2)/(-9). Solve 5*n = 2 - o for n.
-2
Let q = 8 + -3. Suppose -2*x = q*j - 17, -4*j + 2*x = -2*j - 4. Solve 0 = -y - 6 + j for y.
-3
Suppose -4*p + 2*d + 2*d = 0, -3*p = -2*d - 3. Suppose -c + p = -0*c. Suppose 3*t + 2*w = 11, 4*t - w - 11 = -0*t. Solve -12 = t*x - c for x.
-3
Let h(j) = -j**2 + 8*j - 2. Let u be h(7). Suppose -u*n + 35 = -2*v, -3*n = -5*v - 55 + 15. Let q = -8 - -13. Solve -q = -n*g - 20 for g.
-3
Suppose -5*d = -13 - 12. Suppose 6*p = d*p - 2. Let f be (-22)/(-12) + p/(-12). Solve -f*x = -3*x + 2 for x.
2
Let s(j) = -5*j - 4. Let i be s(-3). Let x be -6*-6*2/(-8). Let t = x + i. Solve -a + t*a = -5 for a.
-5
Let k(t) = 3*t + 4. Let s be k(5). Suppose s = -2*m + 3*i, 2*m + 2*m - i = -23. Let g = m - -7. Solve 1 = -3*v + g*v for v.
-1
Let r(w) = w**3 - 6*w**2 + w - 1. Let f be r(6). Let j(q) = 3*q + 5. Let d be j(f). Solve -5*a = -d - 5 for a.
5
Let p(t) = t**2 + t**2 - t**2 - 2*t**2 - 8 + 12*t. Let s be p(11). Solve -5*q = -2 - s for q.
1
Suppose 0 = -u - 3*u + 52. Let o(v) = -v**3 + 14*v**2 - 14*v + 19. Let l be o(u). Solve l*y = 2*y for y.
0
Let n be 6*((-9)/(-10) - 8/20). Suppose 2*f + 3*a = f + 17, -2*f + 19 = 3*a. Solve -n*u + u = f for u.
-1
Let t(m) = 6*m**2 - 1. Let b(d) = -d**2 + 1. Let w be b(0). Let j be t(w). Suppose 0 = -3*o - o + 68. Solve -4*q + j - o = 0 for q.
-3
Suppose 3*l = 5*b - 4 - 12, 2 = -3*b - 4*l. Solve b*o - 2 = -4 for o.
-1
Let x = -4 - -13. Let s be 2/9 - (-16)/x. Let q be 0 + (s - 1)*2. Solve 0 = -q*a + 5*a - 9 for a.
3
Suppose 2*a + 17 - 3 = 4*f, 5*a + 28 = 3*f. Suppose f = -2*t + 3*t. Suppose -z - 8 = -3*z. Solve 19 + t = -z*d for d.
-5
Let c(d) = d**2 - 5*d - 6. Let j be c(6). Suppose 4*v - v = j. Let w be v - (2 - 4/1). Solve -w - 4 = -3*z for z.
2
Let n = -8 - -15. Solve -n = l - 2 for l.
-5
Suppose 0 = k - 4*v - 13, 3*v + 10 - 1 = 0. Let i(l) = l + 1. Let h be i(k). Solve -n = n + h for n.
-1
Let g = -3 - -9. Suppose 5*o + w - g = 0, -w - 10 = o + 2*w. Solve -o*u - 2*u = -8 for u.
2
Let p(o) be the first derivative of -o**4/4 - o**3 - 3*o**2/2 + 1. Let l be p(-2). Let s be (3/(-2))/((-1)/l). Solve -2*m = -m + s for m.
-3
Let q = -10 + 8. Let j = 0 - q. Solve l = j*l - 4 for l.
4
Let d(i) = i**2 - 4*i - 10. Let t be d(-2). Solve 0 = -z - t*z for z.
0
Let f = 5 + 5. Solve -3*g + g = -f for g.
5
Suppose 2*q - 26 = 20. Let u = q + -11. Solve -v = 2*v + u for v.
-4
Let x = -6 + 4. Let p = 14 - x. Suppose 0*n = n - 2*b - 8, 0 = -5*n - b - 4. Solve -4*r = -n*r - p for r.
4
Let o be 2/11 + 136/(-22). Let r = o - -12. Solve r = -3*i + i for i.
-3
Let m(g) = g - 1. Let n be m(-3). Let a = -2 - n. Suppose 0 = r - 3*y - 11, 4*r = -y - y + a. Solve r*s = -0*s + 10 for s.
5
Suppose -4*w = -w - 3*s - 27, 2*s + 8 = 0. Solve 0*q = -w*q - 10 for q.
-2
Suppose -5 = -3*y - 2*t + 5, 2 = 2*y - t. Solve 5*i - y*i - 6 = 0 for i.
2
Let h(u) = u**3 - 2*u. Let c be h(-2). Let x = c + 9. Solve w + 12 = x*w for w.
3
Let r = 2 + -2. Solve -s + r = -3 for s.
3
Let o = 13 - 5. Let q = 45 + -45. Solve q = -5*t - 2 - o for t.
-2
Suppose -16 = -3*m + 17. Let x(n) = 11*n**2 + 0*n**3 - 5*n**3 + 4*n**3. Let f be x(m). Solve 3*s - 3 + 6 = f for s.
-1
Let q = 4 - 1. Suppose -4*s + 2*l + 8 = -0*s, 4*s = q*l + 6. Let k = -6 - -8. Solve i + k = -s for i.
-5
Suppose -o + 3*m + 2*m + 24 = 0, m = 2*o - 12. Solve o = -g - 0*g for g.
-4
Let w(l) = -l**3 - 6*l**2 - 4*l + 7. Let q be w(-5). Suppose 3*i - 28 = q*i. Suppose -4*g - 5*j + i = 0, -5*j + 26 = 5*g - j. Solve -b + 7 - g = 0 for b.
5
Let z(o) be the third derivative of o**5/60 + o**4/6 - 4*o**3/3 - 4*o**2. Let r be z(-6).