j) = j**3 + 7*j**2 + j + 9. Let s be c(-7). Let t = s + 1. Solve -3 - t = -2*q for q.
3
Suppose 4*v - w - 48 = 0, 4*w - 61 + 13 = -4*v. Solve -4*f = -f - v for f.
4
Let m(j) = j**2 - 8*j + 22. Let n be m(7). Solve -n = 3*s + 2*s for s.
-3
Suppose p = 3*m - 8, -2*p + m = -m. Suppose -p*k = -k. Solve k = h + 4*h + 15 for h.
-3
Suppose 21*n - 27*n = -96. Solve n = -3*i + 1 for i.
-5
Suppose -6*i + 2*i = 0. Let r(o) = o - 1 + 3*o - 2*o + o**2. Let l be r(1). Solve i = -l*c - c for c.
0
Let v(h) = -2*h + 8. Let f be v(4). Solve f = 4*o + o for o.
0
Let x be (-2)/3 - (-16)/6. Solve -u - u = -x for u.
1
Suppose 8 = -3*i + 29. Suppose -4*c + 25 = -i. Solve 28 - c = 4*t for t.
5
Suppose 2*p = 8, 4*q - 3*q + 3*p = 40. Let g = q - 18. Solve g = d - 3*d for d.
-5
Let q(z) = -z**2 - 6*z - 2. Let a be q(-5). Solve f + a = 4 for f.
1
Suppose 58*b - 52*b = 18. Solve 2*m + b*m = 0 for m.
0
Suppose -10 = -y - 4*y. Suppose v - 8*p + 3 = -4*p, -5*p = 2*v - 20. Solve 0 = -v*m - 3 - y for m.
-1
Let s be 0/(-1)*(-7 - -8). Suppose -i + 10 = 3*j, -2*i = 3*i - 20. Suppose m - j + s = 0. Solve m*k + 6 = 4 for k.
-1
Suppose -74 = -3*j + 10. Let y = -8 + j. Solve a + y = -4*a for a.
-4
Let w be 0/(3*(-2 - -3)). Solve w*j - 5 = j for j.
-5
Let t(h) = 3*h**3 - 5*h**3 + 10*h**2 - 8*h + h**3 - 7 + 1. Let d be t(9). Solve 4*c = -15 + d for c.
-3
Suppose 7*h - 8 = 3*h. Solve h*w - 6 = -2 for w.
2
Suppose -2*v + 13 = -27. Suppose m - v = -4*m. Solve 0 = m*z - 21 + 1 for z.
5
Suppose -5 = -3*o + 4. Let u = -3 + o. Solve 4*c + 20 = -u*c for c.
-5
Suppose -v - 18 = 2*m, 7*m - 2*m = 4*v - 19. Let g = m - -2. Let s be -3*(-2)/(-15)*g. Solve 3*h = s*h for h.
0
Suppose 6*x - 3 = 5*x. Suppose -t + 5*t = -12, -t - 27 = -x*g. Solve -2*u + g = -0*u for u.
4
Let j = -50 - -52. Solve -d = -j*d + 5 for d.
5
Let d(v) = 11*v + 1. Let g(h) = 5*h + 1. Let j(q) = -6*d(q) + 13*g(q). Let y be j(5). Suppose 0 = x - 2*x + y. Solve -x - 8 = 2*r for r.
-5
Let n(j) = -j + 18. Let r be n(10). Solve 0*d + r = 4*d for d.
2
Let r(v) be the third derivative of -v**6/120 + v**5/20 - v**2. Let u be r(3). Solve b - 1 = -u*b for b.
1
Let s(k) = -2*k - 12. Let v be s(-10). Solve v*p + 20 = 4*p for p.
-5
Let p = -25 - -28. Let y be 5/(-3)*p/(-1). Solve 2*s - y = s for s.
5
Let r = 107 + -105. Solve 6 = -r*u - 0 for u.
-3
Let u = -7 - -4. Let h(p) = -p**3 + 3*p - 3. Let i be h(u). Suppose 0 = -2*q - 2*q + 8. Solve k = -q*k - i for k.
-5
Let j(t) = -t - 9. Let u be j(-10). Suppose -c + 2 = u. Solve 0 = -2*o + 1 + c for o.
1
Suppose 2*l = -3*q + 5*l + 15, l = 5*q - 29. Let j = q - 4. Suppose 5*f + 4 = 5*g - 1, 0 = 2*g + j*f - 10. Solve 0 = 4*b - g*b for b.
0
Suppose 4*h - 28 = 2*v, 5*v = 5*h - 0*h - 45. Let g = v + 4. Let a be -3 + 4 - (-1 - g). Solve y - 2*y = -a for y.
2
Suppose -6 + 2 = -4*z. Suppose 7*j = 2*j. Solve -4*r + 3 + z = j for r.
1
Let p = -34 + 23. Let b = -7 - p. Suppose 3*q + 22 = 2*s, q + b = -0*q. Solve s*j + 7 + 8 = 0 for j.
-3
Let g(n) be the first derivative of 2*n**3/3 - n**2 - n + 3. Let q be g(2). Solve 0 = -8*m + q*m for m.
0
Suppose -3*o = -3 - 0. Let m be 3 + (-1)/o - -3. Suppose 0 = -m*c + 29 + 6. Solve -2*k + 15 = -c*k for k.
-3
Let k = 98 + -98. Solve -4*q + 12 + k = 0 for q.
3
Let z = 24 + -35. Let a = 15 + z. Suppose -2*g = o - 6, 7 = -g + a*o - 8. Solve h + g + 0 = 0 for h.
-1
Let o(a) = 2*a**2 + 18*a + 6. Let n be o(-9). Solve -n*x + x = -20 for x.
4
Let m be 11 + -2 - 4/1. Solve -4*s - m = -1 for s.
-1
Let a be 2/7 - 255/35. Let z = a + 11. Solve -z*q = -8*q for q.
0
Let d(k) be the third derivative of -k**4/24 - 4*k**3/3 - 2*k**2. Let v be d(-8). Suppose -4*y + 24 = -a - 35, -5*a = -5. Solve v*h - 5*h = -y for h.
3
Suppose 3*m = -3*m + 36. Suppose 3*l = o - 8, -20 = -3*o + 4*l - 6. Solve -o*s = -0*s + m for s.
-3
Let q(p) = 6*p**3 - 8*p**2 - 10*p + 1. Let j(l) = -5*l**3 + 8*l**2 + 10*l - 2. Let a(b) = 5*j(b) + 4*q(b). Let m be a(9). Solve m = g - 0 for g.
3
Suppose s - 19 = -6. Let j = s + -9. Suppose -2*u + 3*u - j = 0. Solve -5*p = -u*p - 4 for p.
4
Let g(w) = w - 6. Let d be g(9). Suppose 5*o + b - 20 = 3*b, d*o - b - 11 = 0. Solve -o = y - 3*y for y.
1
Suppose 0*o + 2*o = 22. Let y = o + -3. Solve 0 = 2*z - 2 + y for z.
-3
Let u(l) = l**2 + 2*l + 2. Let q be -4 + 1 - 9*-1. Let c be -5 - q/4*-2. Let k be u(c). Solve 0 = -2*f - k*f + 20 for f.
5
Suppose -8*a - 6 = -9*a. Solve 2*w - 2 + a = 0 for w.
-2
Suppose 4*b - 32 = 5*k, -9 + 28 = 5*b - k. Let y be (8/b)/(-4)*3. Let t = y + 4. Solve 11 - 1 = -t*i for i.
-5
Suppose 6 = -2*l + 22. Suppose 5*v - 1 = s + 19, -5*s = v + 22. Suppose v*k + l = 4*k. Solve w + 3*w = -k for w.
-2
Let i = -15 - -27. Suppose 2*b = -2 + i. Solve -5 = -b*g - 0 for g.
1
Let z = 3 - -2. Suppose z*m = -k + 210, -m - m = -5*k - 111. Suppose -m + 3 = -5*q. Solve f + 3*f = -q for f.
-2
Let o(k) = -k**2 - k + 9. Let x be o(0). Suppose -2*v = -1 - x. Solve 0 = 3*r - v - 4 for r.
3
Suppose -3*n - 6 = 5*d, 5*d = -n + 2*n - 18. Solve k = n*k for k.
0
Let a be (-5 - -3)/((-2)/(-4)). Let m(s) = s**2 + 3*s + 1. Let c be m(a). Solve -c*u = -4*u + 2 for u.
-2
Let j(b) = 5*b**2 + 5*b + 12. Let g(d) = -d**2 - 1. Let c(k) = 6*g(k) + j(k). Let x be c(6). Solve x = -0*s - 4*s for s.
0
Let q be (-6)/(-27)*((-8 - -4) + 13). Let l be 28/4*(1 - 0). Suppose 2*b - b - l = 0. Solve -q*h + 1 - b = 0 for h.
-3
Let u = 1 + -1. Let g = 4 + 1. Suppose -2*a - g*a + 14 = 0. Solve u = a*l - 1 + 3 for l.
-1
Let a(i) = 4*i**3 - 6*i**2 + 11*i - 6. Let p(q) = -7*q**3 + 13*q**2 - 21*q + 11. Let k(d) = 5*a(d) + 3*p(d). Let t be k(8). Solve c - 1 = t for c.
4
Suppose 23 = -5*p + 4*w - 32, p - 5*w = -11. Let z = 18 + p. Let h(y) = -y**2 + 8*y - 2. Let k be h(z). Solve 4 = k*n - 1 for n.
1
Let q(t) be the first derivative of t**4/4 + 5*t**3/3 + t**2 - 2*t - 4. Suppose -6*w = -w + 20. Let l be q(w). Solve j + l = 1 for j.
-5
Suppose 4*r + 26 = 5*d, -4*d + 3 + 26 = 5*r. Solve -d = -q - q for q.
3
Let w(h) = h**3 + 4*h**2 + 4. Let k be w(-4). Solve -3*c - k = 5 for c.
-3
Suppose 3*s - 8 = s. Suppose -5*o = -10*o + s*q - 13, 5*o - 3*q = -16. Let u = -3 - o. Solve -3 = x - u for x.
-1
Let l(w) = -w**3 + 15*w**2 + w - 13. Let u be l(15). Solve 3 = u*s - 3 for s.
3
Let q(b) = b**2 + 4*b - 4. Let k be q(-6). Solve f - k = 5*f for f.
-2
Let r = -20 + 36. Suppose -r = -3*c - c. Suppose 9*m = c*m. Solve 0 = -2*l - m*l - 6 for l.
-3
Let s(w) = 4*w + 33. Let v be s(-7). Solve 2*t - v*t + 9 = 0 for t.
3
Suppose 0 = -6*w - 6*w. Solve w = 4*r + r - 25 for r.
5
Let l = -91 + 95. Solve -l*j = -j for j.
0
Let f be 39/9 - 3/9. Solve b + f*b = 0 for b.
0
Let x = 2 + -2. Let p = x + 2. Solve -p*h = -4 - 6 for h.
5
Let m(l) = l**3 + 2*l**2 - 2*l - 4. Let u be m(-3). Let t = 10 + u. Suppose -3*g + t = -0*g. Solve -g = -0*f - f for f.
1
Suppose 2*k - 20 = k. Let h be k/16 + (-6)/(-8). Let n = -27 - -52. Solve 0 = -h*a - 3*a - n for a.
-5
Suppose -3*z - 2*z = 0. Suppose z = 6*t - 2*t. Suppose t = 4*h - 12. Solve 0 = 2*a - 5*a + h for a.
1
Let c(z) = -z**2 + 5*z + 1. Let q be 6 + -1 + 0/2. Let p be c(q). Suppose p = -3*n + 4*s + 4, -5*s = 2*n - 2. Solve -b = n - 4 for b.
3
Let y be ((-15)/(-10))/(2/4). Let c = y - -1. Solve 0*n - c*n = -16 for n.
4
Suppose -7*v + 4*v + 9 = 0. Suppose 2*g + 3*y = -v*g + 55, 5*y = g + 17. Solve -2*c + 0*c - g = 0 for c.
-4
Suppose n + 5 = 2*r, 0 = -3*r - 4*n + 2 - 0. Solve x + r + 1 = 0 for x.
-3
Let f = -23 - -28. Let m be (-148)/(-6) + (-2)/(-6). Solve f*i + 0*i = -m for i.
-5
Let n(m) be the third derivative of -m**4/24 - 3*m**3/2 - 4*m**2. Let l be n(-6). Let b = 0 - l. Solve b*x - 6 = -0*x for x.
2
Let h = -13 + 33. Let z(x) = -x - 2*x + 5*x - 6. Let v be z(4). Solve v*w = 7*w + h for w.
-4
Suppose 10 = 3*b + a, 0 = -2*b - 4*a + 6*a + 12. Solve -2*h = -h - b for h.
4
Let u be (-96)/10 - (-2)/(-5). Let a be (-1 - 9)*8/u. Solve 5*d = a + 12 for d.
4
Let s be (-3)/(-4) + 65/20. Suppose -p + 2*u - 4*u - 8 = 0, 16 = 3*p - s*u. Solve -20 = -4*q - p for q.
5
Let d be (-2)/(-12)*210/35. Solve 3*s + d - 16 = 0 for s.
5
Let h(n) = -4*n - 19. Let x be h(-6). Solve -6 = x*b - 1 for b.
-1
Let p be (3/(-4))/((-2)/16). Suppose p = 4*s - s. Let w(b) = -6*b + 53. Let m be w(8). Solve s*u - u = -m for u.
-5
Let t(s) = 2*s - 11. Let i be t(8). Suppose i*h = 4*u + 74, 40 = 5*h - 2*u - 42. Suppose b = -4*w