 6. Let m be x(4). Suppose 14 = -3*f + m. Let j = 4 + f. Solve w - 3 = -j for w.
3
Let t(z) = -z**3 + 2*z. Let x be t(2). Let d = 6 + x. Solve 1 = -d*c - 5 for c.
-3
Let u(s) be the third derivative of s**4/24 + s**3/2 - s**2. Let z be u(0). Solve -2*y = -3*y + z for y.
3
Let k(h) = h**3 - 6*h**2 + 5*h + 1. Let l be k(5). Solve 5*d - l = -11 for d.
-2
Let k = 22 + -14. Let n be 3/(0 + 6/k). Suppose -n*w + 51 = -37. Solve w - 2 = -4*f for f.
-5
Let l be (-2 - -5)/(6/236). Let a be 12/60 + l/10. Solve -a = 5*o - 32 for o.
4
Suppose -5*i + 9 + 11 = 0. Suppose 0*t - 4*d = -i*t - 16, -3*t + 18 = 3*d. Solve -3*z + 2 = -t for z.
1
Suppose 0 = i - 0 - 8. Let a be 14/i*(2 + 2). Suppose 2*y + a = 5*j - 1, -5*j = -3*y - 7. Solve 2*t = 6 + j for t.
4
Let m = 34 - 34. Solve 1 = s - m for s.
1
Let r(l) = -l**3 - 9*l**2 - l - 6. Let j be r(-9). Suppose j*p = 6*p - 15. Solve 5*n = -p - 0 for n.
-1
Suppose 21 = -0*t - 3*t. Let k(o) = -o - 7. Let y be k(t). Solve y*a + 4 = a for a.
4
Suppose 2*r - 3 = 3*c, 5*c + 14 = 5*r + 4*c. Solve -r*m = -8*m - 15 for m.
-3
Let y(n) = n**2 - n - 3. Let v be y(3). Suppose a - 11 = -3*s - 0*s, -12 = v*a. Solve -3*r = -s + 2 for r.
1
Suppose 3*y = 8*y - 50. Let u = y + -6. Suppose -5*r - m + 4 = 0, r + 0*m - 8 = -2*m. Solve -p - u*p = r for p.
0
Let n be (-6)/((-18)/(-15)) + 2. Let f be (n/1 + 3)/1. Solve f = 4*g + 3 + 5 for g.
-2
Suppose -3*d + 0 - 18 = 0. Let m be d/(-4)*8/6. Suppose -c = m*c. Solve c = -k + 3*k for k.
0
Let v(b) = b**3 - b**2 + 2. Suppose 2*o + 3*o = a - 25, 20 = -4*a - 4*o. Let r be v(a). Solve r*j + 15 = 5*j for j.
5
Let t = -18 + 14. Let y(i) = i**3 + 3*i**2 - 5*i - 1. Let s be y(t). Solve -s + 7 = g for g.
4
Let l = -16 + 8. Let v = l - -5. Let a be 2/3 + (-58)/v. Solve -6*q + q = a for q.
-4
Let l(y) = -y**2 + 15*y - 10. Let v be l(14). Solve f + 1 = -v for f.
-5
Suppose -3*a = -4*u - 25, u + 4*a + 32 = -3*u. Let c be 4*(0 + (-1)/2). Let i = c - u. Solve -i*s = -4 - 21 for s.
5
Suppose -2 + 1 = -k. Let p be (k/2)/(4/8). Suppose 0 = v - p. Solve -4 = -5*c + v for c.
1
Let u be (-2 - 33/(-7)) + 16/56. Solve 0 = u*r + 1 + 8 for r.
-3
Let z(i) = 3*i + 7. Let y be z(-7). Let r = y - -21. Solve 3 = 4*t + r for t.
-1
Suppose 0*a = 6*a - 30. Solve 0 = -a*m + m + 16 for m.
4
Let w(r) = -2*r**2 - 7*r + 3. Let o(q) = q**2 + 7*q - 2. Let h(n) = 3*o(n) + 2*w(n). Let m be h(3). Solve y - m = -2*y for y.
4
Let q be (0 - (-1)/(-4))*-12. Let p = 5 - -4. Solve 0*n - q*n = -p for n.
3
Suppose 0 = y - 20 + 5. Solve 3 = 3*j + y for j.
-4
Let k(p) be the first derivative of p**4/2 - 2*p**3/3 - p**2/2 - p + 1. Let y be k(2). Suppose 3*z - 6 = 3. Solve 2 = -y*t - z for t.
-1
Let z be 1155/27 - 6/(-27). Suppose 2 = f - 3, b + z = 5*f. Let x = b + 30. Solve -d + 4*d = x for d.
4
Suppose 0 = 4*r + 6*r. Solve n = -r*n for n.
0
Let l be (-3 - -4)*-2 + -1 - -3. Solve 0*w + 3*w + 15 = l for w.
-5
Let z = 9 - -11. Solve t - z = -3*t for t.
5
Let c = -105 - -107. Let w(f) = f + 18. Let k be w(-8). Solve -c*m + k = 2 for m.
4
Let n be (-102)/(-8) + 6/(-8). Solve -3*c = c + n for c.
-3
Let u be (-12)/(-2) - (3 + -9 + 9). Solve 0 = u*v + 9 for v.
-3
Let p = 20 + -14. Solve 5*h = -p - 14 for h.
-4
Let b be 4/9*18/4. Suppose -5*c = 2*l - 15, -3*c + b = -c. Solve l*i - 3 = -8 for i.
-1
Suppose 4 = s - 4. Let a = s + -6. Solve -5*c = -a*c + 9 for c.
-3
Let b be 1 - ((-15)/3 + 2). Let g = b - 0. Solve 0 = -g*y - 2 - 2 for y.
-1
Let r(v) = v**2 - v + 2. Let p be r(0). Let a = 2 + -7. Let s(g) = -g - 4. Let w be s(a). Solve -h - p = -w for h.
-1
Suppose 5*k = -2*k + 28. Let s be ((-5)/2 + 2)*0. Solve 2*t - k = -s for t.
2
Let y(t) = 3*t**3 - t**2. Let j be y(1). Suppose d - 10 = -5*v - 36, 5*d + j*v + 176 = 0. Let b be (22/(-6))/(6/d). Solve 4*s + 6 - b = 0 for s.
4
Let o(h) = -h**3 - h**2 + 16. Let s be o(0). Suppose -r - 2*m + 5*m + s = 0, 0 = 5*r + 2*m - 12. Let i be (-80)/(-3) + (-2)/3. Solve i = r*t + 6 for t.
5
Let w = 33 + -32. Solve a = -w + 5 for a.
4
Suppose -k = 3*k - 20. Suppose 0 = 6*p - k*p. Solve p*o = o + 5 for o.
-5
Let b = -7 + 9. Solve b*y = 6*y - 16 for y.
4
Let k = -4 - -8. Let b(c) = c**2 + 4*c + 1. Let j be b(-5). Solve 2*d - j = k*d for d.
-3
Suppose 5*n + 2*p + 85 = 0, 5*p + 74 = -4*n - 11. Let c be (n/(-20))/((-1)/(-12)). Solve 5*m - c = 2*m for m.
3
Suppose m = 5*m - 24. Suppose 0 = 5*y - 5*l - 15, -2*y + 3*y = 2*l + m. Let u be (-3 - (y + -1)) + 17. Solve -a = 4*a - u for a.
3
Let k be -1 - (3 + (4 - 8)). Solve k*p - 1 = p for p.
-1
Let n be ((-64)/(-12) - 6)/((-4)/6). Solve -3*j = n + 14 for j.
-5
Let v(r) be the first derivative of -r**4/4 + 5*r**3/3 + 2*r + 2. Let k be v(5). Let j(t) = -t**2 - 11*t + 4. Let u be j(-11). Solve -u*m + k*m = 0 for m.
0
Let n(p) = -p**3 - 6*p**2 - 6*p - 5. Let b be n(-5). Let d(l) = 5*l**2 + l**3 + b*l**3 - 4*l**2. Let i be d(2). Solve -w = 2*w + i for w.
-4
Let w(p) = 18*p - 4. Let o be w(1). Solve -5*j - o - 11 = 0 for j.
-5
Suppose 2*x + 0*x = -10, 26 = 2*h - 4*x. Suppose 0 = -2*o + 10 + 8. Suppose 4*c = o*c. Solve -7*i + h*i - 16 = c for i.
-4
Let y(w) = 1. Let l(m) = -2*m + 6. Let o(h) = -l(h) - y(h). Let f(d) = -d**3 + 5*d**2 + 6. Let g be f(5). Let p be o(g). Solve 12 = p*q - q for q.
3
Suppose s - 3 = -5, -3*i - 3*s + 3 = 0. Suppose i = p - 0*p. Suppose 4*d - 20 = 12. Solve -p*y - d = -5*y for y.
4
Suppose 4*o - 7 = 1, -2*o = 2*t + 20. Let d = -11 - t. Let i be (-4)/2 + 6 + -1. Solve -d = i*k - 10 for k.
3
Suppose 1 = 5*c - 4. Let f be c*1/(-3)*0. Suppose -9*l + 4*l = f. Solve 3*i = -l*i - 9 for i.
-3
Suppose -5*n + 3*o + 70 = -15, 4*o + 20 = 2*n. Solve -n = -0*b + 4*b for b.
-5
Let t(r) = r**2 + 7*r + 9. Let v be t(-6). Suppose -5*c + v*c + 36 = 0. Solve 4*h - c = -2 for h.
4
Let w be -1*(-1)/(-2)*0. Let s = -92 - -97. Solve w = s*q - 2*q for q.
0
Let j(a) = -7*a + 47. Let b be j(6). Let i = 8 + -4. Let f be 2/i + (-1)/2. Solve f = -b*r + 4*r for r.
0
Let g be 36/54 - 22/(-3). Let q be 3/1 - (g + -5). Solve q*h = -4*h + 20 for h.
5
Suppose -4*d + 6 = 5*x - 7, -8 = -4*x - 4*d. Suppose -2 = -x*l + 13. Solve 0 = l*s - 5*s + 10 for s.
5
Let u = 21 - 14. Suppose -x - u = -10. Let s = x - 2. Solve s = t - 1 for t.
2
Suppose m = -2*m + 129. Suppose m = 4*a + 3. Solve 5*k - a = 10 for k.
4
Suppose 0 = h + 2*q - 1, 3*h + 2*h - 2*q - 17 = 0. Suppose 0 = -2*y - 3*x - 23, -y + 6 = -h*x + x. Let w be 24/15 - y/10. Solve 0 = -w*f + 1 + 3 for f.
2
Let n be 2/(1/2*-4). Let o be (16/(-2))/(1/n). Solve 0*v - o = 4*v for v.
-2
Suppose 26 = 3*w - 7*p + 3*p, -3*p - 13 = w. Suppose w*r - 8 = -2*o - 0*r, -o + r - 4 = 0. Let z be (o - 2) + 1 - -3. Solve -f = 2 + z for f.
-4
Let b(u) = -u + 3. Let s be b(-3). Let p = -2 + s. Solve -i = -0*i - p for i.
4
Let v be 1/2*(-27 - -1). Let u(c) = c**3 + 12*c**2 - 13*c + 8. Let z be u(v). Let t(f) = -f**3 - 4*f**2 - 5*f - 4. Let k be t(-3). Solve k*g = -2*g + z for g.
2
Let s = 6 + 4. Suppose -w - 5*g - s = 0, 5*w + g - 10 = 6*g. Solve w = f - 2*f + 3 for f.
3
Let d = -7 - -12. Suppose 0 = 5*p + 3*o - o - 17, d*p - 16 = -o. Solve p*y = 5*y - 10 for y.
5
Let b(h) = -h**2 + 9*h - 5. Let r be b(8). Solve 0 = -4*m - r - 9 for m.
-3
Let y be 2 + -4 + -2 - -6. Solve 2*j = -y*j for j.
0
Suppose -3*t + 23 - 2 = 0. Solve t*p = 4*p - 9 for p.
-3
Suppose 4 = 3*y - 2. Suppose y - 6 = -a. Solve -2 = -2*h + a for h.
3
Let a(v) = v**2 - 5*v + 12. Let t be a(3). Solve -4*d = 14 + t for d.
-5
Let z(r) = -r + 6. Let x be z(5). Suppose j - 3*j = 0. Suppose j = g + g. Solve -x = l - g*l for l.
-1
Let w be (-6)/3 + 5*-1. Let f be w - (1 + (-2 - 0)). Let v = f - -14. Solve 0 = -v*d + 3*d for d.
0
Suppose 4*o + 2*g - 52 = 0, o - 4*o + 57 = -3*g. Solve -2*p + o = p for p.
5
Let g = -28 - -15. Let m be (g + 6)*1*-2. Solve -5*h - m = -4 for h.
-2
Suppose 2*f = 8, -3*c + 0*f = f - 19. Solve -3 = -2*t + c for t.
4
Suppose 3*m - 11 - 10 = 0. Suppose m = 5*j - 4*j. Solve j = -3*b - 8 for b.
-5
Let k be -2 + 1 - 3/(-6)*2. Solve 0*x - x - 4 = k for x.
-4
Suppose 0 = -3*j - 2 + 11. Suppose -j*f = -45 - 0. Suppose v + 0*v - 4 = 0. Solve -v*k = -k - f for k.
5
Let p = -17 + 25. Solve p*h - 3*h = 0 for h.
0
Suppose -3*t = t, -5*b + 10 = 3*t. Solve 10 = 2*c + b for c.
4
Suppose -21*p + 16 = -19*p. Solve -8*n - p = -10*n for n.
4
Suppose -2*n + 3*y = 3, -4*n + 3*n - 9 = -3*y. Let b be (3 + (-