 Solve y = -3*b + 7*b + 16 for b.
-4
Suppose 0 = x + g - 6 + 1, -4*g + 13 = 3*x. Suppose -x*a = -6*a - 3. Solve a*v = 2*v + 3 for v.
3
Let m = -36 + 36. Solve m = -3*w - w - 12 for w.
-3
Let g be 2/(-4) - 7/(-14). Let d be g/(-7) - (0 + -3). Solve 3*s + 6 + d = 0 for s.
-3
Let p be 2*-1*(-66)/(-12). Let r = 11 + p. Suppose -4*f = f - 10. Solve r*c + f = c for c.
2
Let x(u) = -u**3 - 2*u**2 + 5*u + 6. Let r be x(-4). Let y be 136/36 - (-4)/r. Solve 2 + y = -2*m for m.
-3
Let f(j) = 2*j**2 - 6*j - 9. Let k(x) = 3*x**2 - 9*x - 13. Let a(d) = -7*f(d) + 5*k(d). Suppose -3*o = -0*o - 12. Let b be a(o). Solve -i = b - 6 for i.
4
Suppose 2*h = -2*h - 0*h. Solve h = -o - 4 - 0 for o.
-4
Let b(a) = a**2 - 7*a + 4. Let t be b(7). Suppose 0 = 3*n - 2*n. Suppose n = -z - 4*i + t, -5*z + 70 = -5*i. Solve -4*s - z = -0 for s.
-3
Let f = -10 + 14. Suppose 0 = 3*z - 29 + 11. Suppose 3*n = 7*n. Solve k - f*k + z = n for k.
2
Suppose -5*h = 15, 5*z + 0*h + 2 = h. Let y be z/1 + 2 + -1. Suppose -5*s - 3 + 22 = -3*m, 4*m - 8 = 0. Solve -q = -y*q + s for q.
-5
Let l = 26 + -8. Suppose 2*r - 3*r + l = 0. Solve 4*b - 6 = -r for b.
-3
Let p be 2/(-1) + 3 + 3. Suppose -2*m + c + 14 = 0, -p*m - 2*c = -5*c - 28. Suppose 15 = m*v - 2*v. Solve 0*s = -v*s - 9 for s.
-3
Let l(j) be the second derivative of j**4/12 - 4*j**3/3 - 4*j**2 - j. Let b be l(9). Suppose f = -2*t + 15, -5*t = -f - 33 + 13. Solve b = f*o - 9 for o.
2
Let n be 1/(-2)*-1*2. Suppose -6*l = -2*t - l + 37, 2*l = -10. Suppose 0 = -t*j + j + 65. Solve -j = -4*v - n for v.
3
Suppose -o = 4*i, 2*o - 4*i - 12 = -0. Suppose 0*k - 28 = -o*k. Suppose 3*r = k*r. Solve 0 = q - r*q - 3 for q.
3
Let t be 0 + (-2 - -2 - -2). Let j(x) = 3*x**2 + 9*x - 3. Let q(p) = p**2 + 4*p - 1. Let f(h) = -2*j(h) + 5*q(h). Let s be f(t). Solve -w + 0 = s for w.
-1
Let b(n) = -6 - 7*n - 3*n + 9*n. Let q be b(-15). Solve -q + 34 = -5*u for u.
-5
Suppose 4*d = -d + 35. Suppose 0 = 3*l - d + 1. Suppose -3*f - 11 = -4*q, 5*q - 6 = -5*f + 34. Solve 0 = -f*x + l*x for x.
0
Let r(n) be the third derivative of n**6/30 + n**5/60 + 2*n**2. Let q be r(1). Let h = 5 + -3. Solve -h*b - 15 = -q*b for b.
5
Let o = -94 - -134. Let j = -24 + o. Solve 4*h + 0 + j = 0 for h.
-4
Let g(k) = 2*k - 13. Let z(d) = 2*d - 12. Let p(q) = 2*g(q) - 3*z(q). Let t be p(5). Solve t = -4*o - 4 for o.
-1
Let j be (4/3)/((-6)/9). Let z = 2 - j. Solve z*p - p - 3 = 0 for p.
1
Let t(b) = b**2 - 9*b - 9. Let w be t(10). Let a be (4*w)/((-7)/14). Let x be 3 - 4 - (0 + a). Solve 5*z = -x - 18 for z.
-5
Let r(z) = -z + 7. Let a be r(7). Suppose -2*w - 5 + 1 = a. Let n be (w - 0) + 1 - -1. Solve -2*c + n*c = 4 for c.
-2
Let x be 1 + -3 + -1 + 5. Suppose x*u = 2 + 4. Solve 3*i - 6 = u for i.
3
Let v be (-2)/15 + (-20)/(-150). Solve 2*q - 4*q - 6 = v for q.
-3
Suppose 4*c - 4 = 4*s, c - 3*s + 1 - 6 = 0. Let p be (0 - 0)/c - -2. Solve p*n - 2 + 10 = 0 for n.
-4
Let h = 15 + -12. Suppose -5 - 1 = -h*l. Solve -2 = 2*o + l for o.
-2
Let b(c) = -6*c**3 - 8*c**3 - 2*c**3 + 4*c**3. Let p be b(-1). Solve 3*z + 0 = p for z.
4
Let d(i) = -i - 1. Let a be d(3). Let k(s) = 2*s**2 + 1. Let f be k(a). Let v be (9 - 2) + 2/(-1). Solve f = v*y + 8 for y.
5
Let f(p) = p**3 - 10*p**2 + 10*p - 6. Let u be f(9). Suppose q - 2*q = -u. Solve -8 = -q*z - 5 for z.
1
Suppose f + 12 = 4*f. Suppose 0 = -5*c + r + 301, f*c + 3*r = 5*r + 242. Suppose -x - 2 = 0, 5*g + 4 - c = 3*x. Solve -4*s + 10 = -g for s.
5
Suppose -2*n + 11 = -3*f, -2*n - n = 4*f - 25. Solve 3*d = -n - 8 for d.
-5
Let c = 6 - 0. Solve -c*y - 16 = -2*y for y.
-4
Suppose -5*q + 35 = 4*x, -2*x + 27 = 4*q + x. Solve -5*b = 2 + q for b.
-1
Let y(h) = -5*h - 1. Let q(v) = 15*v + 3. Let b(m) = -3*q(m) - 8*y(m). Let s be b(-1). Let z be ((-8)/5)/(s/(-10)). Solve z*n + 6 = -6 for n.
-3
Suppose 3*f - 10 - 11 = 0. Suppose -2*n - 3 = -f. Solve x = n*x + 3 for x.
-3
Let r = 14 + -11. Solve 0 = -r*u - 6 for u.
-2
Let r = 89 - 89. Solve r = -0*u + u for u.
0
Let h(l) = -l**3 - 11*l**2 - 14*l - 15. Let n be h(-10). Let r = 4 + 1. Solve n = -r*t - 0*t for t.
-5
Suppose 2*m - 4*q = -6*q + 6, -21 = -5*m - 2*q. Let w = -5 + m. Solve 3*d + 4 + 2 = w for d.
-2
Suppose -2*a + 6*a - 4 = b, -4*a + 5*b - 12 = 0. Solve -2*k - a*k = 8 for k.
-2
Suppose 30 = 3*n + 2*n. Let s be (-2 + n)*(-2)/(-2). Solve -s*z + 0 = 8 for z.
-2
Suppose -z - 3*q = 12, -7*q = 5*z - 3*q + 5. Suppose -1 = y + 3*l + 9, -4*l - 16 = 0. Solve -x = -z - y for x.
5
Let h(b) = -3 + 2 + b**2 - 4*b - 1. Let t be h(5). Solve -t = o - 2*o for o.
3
Let p(n) = -2*n**2 + 3*n + 3. Let r be p(-2). Let y = -8 - r. Solve y*w + 3 = 15 for w.
4
Let n = -8 - -11. Suppose 17 = 2*h + n. Solve -h*b + 4 = -3*b for b.
1
Let q(b) = 2*b + 4. Let d be q(-4). Let y be 14/7 - 1*d. Let o = -4 - -9. Solve -o*x - 19 = y for x.
-5
Let j(a) = a - 2. Suppose d - 5*n = 20, 1 - 30 = -4*d + 3*n. Let v be j(d). Solve 0 = -r + v - 0 for r.
3
Suppose -2*i - 6*d - 22 = -d, -3*i - 5*d = 33. Let t = -8 - i. Solve 0 - t = c for c.
-3
Let w(i) = 7*i**2 + 4*i + 3. Let x be w(-2). Suppose t + 3*h = -0*t, 3*t = -5*h + 12. Suppose 0 = -3*a + t, -x = -3*k - 3*a + 1. Solve -3*s = 2*s + k for s.
-1
Let n be 24/4*(-4)/(-6). Let s = -1 + n. Solve v - s = -0 for v.
3
Let q = 11 + -9. Suppose 0 = -q*g - 2*g. Suppose 0 = 4*s + 3 - 11. Solve g*y + s = -y for y.
-2
Let z = 7 + -7. Suppose z*k + 2*a = 2*k - 16, -20 = 4*a. Solve 0 = -g - k*g - 16 for g.
-4
Let r(q) = 2 + 7*q - q + q**3 - 10*q**2 - 8 + 4*q. Let y be r(9). Solve -y*v + v = -4 for v.
2
Let y(k) = -k**2 - 12*k - 11. Let g be y(-11). Solve -3*a + 0*a = g for a.
0
Let r(o) = -2*o**3 - 23*o**2 - 18*o - 24. Let i(t) = t**3 + 11*t**2 + 9*t + 12. Let b(v) = 5*i(v) + 2*r(v). Let c be b(-8). Solve 1 = 3*a + c for a.
-1
Let q(b) = b**3 - 12*b**2 + 13*b + 3. Let o be q(11). Solve -3*i = 2*i - o for i.
5
Let b(j) = 2*j**2 - 11*j - 5. Let i be b(6). Solve 2*x - i = x for x.
1
Let s = -4 - -1. Let y = s + 5. Solve 0 = -t + y*t for t.
0
Suppose -2*o - z - 1 = -3, -5*z = -o + 12. Solve 6*r - o = 5*r for r.
2
Let c(y) = -y**2 + 2*y + 1. Let q be c(2). Suppose -2*k - 7 = s + 2*k, 0 = 3*s - 5*k - 30. Suppose s*v = 3*u + 100, -u = -4 - q. Solve 5*a - 8 + v = 0 for a.
-3
Suppose 2*z + 4*w = 9 - 27, -15 = 3*w. Solve z - 9 = 2*h for h.
-4
Let j(d) = 2*d + 12. Suppose x - 3*x - 10 = 0. Let v be j(x). Solve 1 = -v*p - 9 for p.
-5
Let b be -1*6*(-5)/10. Solve 0*m = m - b for m.
3
Suppose -p - 2 = -53. Suppose 3*d = -n - 1, -4*d = -5*n - 18 + p. Let m be (3 + 1)/d - -2. Solve -x + m = 4 for x.
-4
Let r be 6 + (-8)/6*(-3)/(-2). Let x = 4 - 1. Solve -5 = -r*o + x for o.
2
Let x = 20 + -10. Suppose -2*c + 4*k = 3*c - 33, 4*c - x = -5*k. Suppose -a + 6 = -n, n - 26 = -c*a + 2*n. Solve -2*u - a = -u for u.
-5
Suppose 0 = 3*p - 2*k + 10, 5*p - 14 + 39 = 5*k. Suppose p*o = 2*o - 28. Solve -5*h - o - 1 = 0 for h.
-3
Suppose 26 - 74 = -8*p. Solve -p + 2 = -4*k for k.
1
Let b(s) = s - 1. Let g be b(4). Suppose -4*j + 3 = g*r, j + 0*r = -5*r - 12. Suppose 3*d - 14 = -5*u, 4 + 4 = 3*d - u. Solve 0 = -4*l + d*l - j for l.
-3
Let p(h) = -h**3 + 8*h**2 + 11*h - 12. Let g be p(9). Solve -k + g = k for k.
3
Suppose -q + 0 = -1. Let s be (3 + -1)*q/2. Suppose -3*m + 5*m = 0. Solve -a - s + m = 0 for a.
-1
Let k = -29 + 34. Solve -5*y - k + 20 = 0 for y.
3
Let t be -1*7*6/(-21). Let q(w) = w**2 - 11*w + 6*w - 2*w - 2*w**t. Let h be q(-5). Solve -h = -a - a for a.
5
Let q(t) = t**2 - 2*t - 3. Let y be ((-6)/12)/((-1)/6). Let u be q(y). Solve -d + 1 = -u for d.
1
Let p = -9 + 0. Let l = p + 11. Solve l*c - 1 - 5 = 0 for c.
3
Let u(x) = 2*x**3 - 2*x**2 - 3*x + 2. Suppose -3*b + 5 = 4*j, 3*b + 9 = 5*j - 2*j. Let q be u(j). Solve q*z + 3 = 15 for z.
3
Suppose 57 - 1 = 14*b. Solve -7 = b*o - 3 for o.
-1
Let r(w) = 6*w**2 + w. Let z be r(-1). Solve -4*n + z = n for n.
1
Suppose -h = f - 6, 0*f = 3*f + 5*h - 24. Solve z - f = -0 for z.
3
Suppose 2*k + 3*k = 2*v + 8, 3*k - 2*v - 4 = 0. Suppose 3*g + 6 = 9*g. Solve -k*q = g - 9 for q.
4
Let u be (-20)/6*(9 + -12). Suppose -24 = 2*h + 2*h. Let q = h + u. Solve -q*t = -9*t - 25 for t.
-5
Let s(u) = 5*u - u + 0*u + u**3 - 7 - 3*u**2 + 10*u**2. Let h be s(-6). Solve 6*d - d = h for d.
1
Let p = 120 - 120. Solve p*v = 2*v for v.
0
Let q(j) = j**2 + 4*j - 39. Let a be q(-9). Solve s + a = 4*s