Solve z*b = 7 + 2 for b.
3
Let x be 30/4*8/(-12). Let d(z) = z + 5. Let q be d(x). Solve q*v = -2*v + 6 for v.
3
Suppose -2*p + 18 = 3*j + 7, 1 = p - 3*j. Solve p*z + 1 - 5 = 0 for z.
1
Let q = -11 - -11. Suppose 2*i = 6 + 2. Solve -i*c - 24 + 4 = q for c.
-5
Let a(n) = -n**3 - 6*n**2 - 3*n + 2. Let z be a(-5). Let j be -10 - z - (-3 - -1). Solve j = 2*s - 3 - 1 for s.
2
Let s = 1 - 1. Let u(o) = -o**2 + 6*o - 9. Let z be u(5). Let h be z + 9/3 + 1. Solve s = -2*k + 8 - h for k.
4
Let n(m) = 6*m**3 + 4*m - 5. Let z be n(1). Solve -z*v - 11 = 4 for v.
-3
Let z(m) = -m - 4. Let a be z(-6). Let d(c) = 6*c**2 + 2*c - 3. Let i be d(a). Let g = 70 - 64. Solve -j = -g*j + i for j.
5
Let k(w) = 2*w**2 + 3*w - 4. Let h be k(-3). Suppose h*j - 15 = 5*b, 2*j + 0*b = -b. Let t be (2/6)/(j/18). Solve t = -f + 4*f for f.
2
Let m = 126 - 121. Solve -5*d - m = -0 for d.
-1
Let y = 9 + -5. Suppose -y*o = -0*o. Let d = 4 - 4. Solve o = m - 3 - d for m.
3
Let u = 50 - 46. Solve u*p - 6*p + 10 = 0 for p.
5
Let r(v) = v**2 - 6*v. Let q(z) = z - 1. Let m(i) = 4*q(i) + r(i). Let y be m(4). Suppose -t = y*t. Solve t = h - 0*h for h.
0
Let s be ((-60)/9)/(6/(-9)). Let k = s + 2. Solve -k + 4 = 4*u for u.
-2
Let l be (8/6)/(22/(-99)). Suppose 5*k = 3*v + 52, 2*k - 8 + 0 = -2*v. Let b be -1 + (-3)/(l/k). Solve 3*q - b = 6 for q.
3
Let d(z) = z**2 + 2*z. Let t be d(-3). Suppose -h + 24 = n, 4*n = 2*h + 9 - 33. Solve y + t*y + h = 0 for y.
-5
Let r be (-1*2)/((-6)/(-183)). Let s = -35 - r. Let q = s + -17. Solve 4*f - q = 11 for f.
5
Suppose -3*r + 6 = -6. Suppose 0 = -r*d + 2*d + 8. Suppose 4*o - 5*p = 16, -d*p - 12 = 2*o - 5*o. Solve o = -0*v + v for v.
4
Suppose 30 = -9*n + 11*n. Solve -24*k = -21*k + n for k.
-5
Let b = -177 + 180. Solve -3*w = -b + 15 for w.
-4
Let j be (-1)/(-3) + (-28)/(-6). Solve -2*s = -1 + j for s.
-2
Let k be (-10)/(-4)*24/20. Suppose k - 1 = r. Solve 0*q - 4 = r*q for q.
-2
Let b(a) = 2*a**2 + 15*a - 7. Let u be b(-8). Solve -3 + u = -j for j.
2
Suppose 4*n = 3 + 1. Let a(d) = -d**2 - d - 2. Let k(v) = -2*v**2 - v - 3. Let u(b) = 5*a(b) - 3*k(b). Let x be u(-1). Solve 3*w - x = n for w.
1
Suppose 3*f + 28 = 37. Solve f*l - 2*l = -1 for l.
-1
Suppose -5*s = 0, s = 3*r - 0*r + 9. Let l be (-4 + -1 - 0)*r. Suppose -2*v = -5*z + l - 37, 8 = -2*z. Solve 4 = -5*i - v for i.
-1
Suppose 0 = 5*w - 4*w. Let l be (-9)/(-6)*(-44)/(-3). Suppose -2*t - l = -4*d, d + 0*t - t = 8. Solve w = d*b - 6 - 9 for b.
5
Let q(r) = r**3 + 5*r**2 - 6*r + 7. Let m be q(-6). Let b(s) = 2*s**2 + 18*s + 31. Let l be b(-7). Solve 5 = l*i - m for i.
4
Let h = -26 - -47. Let k = h + -18. Solve -5*p - 2 = -k*p for p.
-1
Suppose 0 = 4*v + 2*q - 36, -v - 2*q = -7*q + 13. Solve 0 = -2*r + v*r + 5 for r.
-1
Let i = -5 + 8. Suppose -3*w - 1 = 2. Let v = i + w. Solve k + k = v for k.
1
Let i = -2 + 4. Let w(k) = k + 2. Let s be w(i). Let l = 0 + s. Solve -l*p = p + 15 for p.
-3
Let c(a) = 2*a**2 + 9*a. Let i = 9 - 16. Let m be c(i). Suppose -m = -4*y - y. Solve 0 = 3*j - 2 - y for j.
3
Let k be 3/(-3) - -6 - 1. Let q be (-4)/2*(-5 + k). Suppose 11*z - 6 = 10*z. Solve -q*v + 0 + z = 0 for v.
3
Suppose -c - c + 6 = 0. Suppose 3 = 2*x - c. Solve i = x*i for i.
0
Let z(b) = b - 1. Let r be z(-2). Let x be (-1)/(7/r + 2). Let a = x + -2. Solve 3*y = a + 14 for y.
5
Let m(x) = 3*x**2 + 1. Let y = -3 + -2. Let n = 4 + y. Let f be m(n). Solve -2*r + f = -0 for r.
2
Let p = -30 + 32. Solve -2 = -4*n + p for n.
1
Let t(h) = h**2 + 7*h - 16. Let x be t(-9). Solve -x = 3*s - 14 for s.
4
Let k(z) = -2*z**2 + 5*z + 6. Let r be k(6). Let j be ((-198)/(-4))/((-60)/(-80)). Let u = j + r. Solve u = 5*n + 5 for n.
5
Suppose -2*i - 5*b - 10 = 0, -3*b - 1 - 5 = -i. Suppose 2*z + z - 15 = i. Solve 5 = -4*j + z*j for j.
5
Let k be 3 + 3 + 12/(-3). Solve 3*x = k*x - 2 for x.
-2
Suppose -5*j + 4 = -h + 2, 5*h + 10 = -3*j. Let i be (2/1)/((-1)/(-2)). Let w = i + h. Solve b = -w*b for b.
0
Let o(s) = -s**3 + 8*s**2 + 9*s + 4. Let l be o(9). Let r be (-4 - (l + -12)) + -4. Solve r = b - 2*b + 3 for b.
3
Let w(a) be the first derivative of a**4/4 + a**3/3 + 7*a + 7. Let l be w(0). Solve 2*d - 25 = l*d for d.
-5
Let b = 14 - 8. Solve -2*l + 2 = b for l.
-2
Let p = -7 + 7. Suppose p*g = -g. Solve -4*w + g = -4 for w.
1
Suppose d + 4*d + 9 = -c, -56 = -4*c + 3*d. Solve -8 = c*m - 9*m for m.
-4
Let l(q) = -q**3 + 3*q**2 + 6*q - 3. Suppose -4*v + 8 = -8. Let s be l(v). Suppose 0 = -3*m + s + 1. Solve f + m*f = 0 for f.
0
Suppose -5*m = -m. Suppose -4*t + 2*i + 18 = 0, -t = 2*t + 5*i + 6. Solve -3*g - t = -m for g.
-1
Suppose 0 = 2*d + 4*d - 18. Solve 0 = d*o + 2*o for o.
0
Let h be (-2)/14 - 198/(-63). Solve h*l = -2*l - 25 for l.
-5
Suppose 0 = 2*f - 3*f + 4. Suppose 4*g = a - 3*a + 12, 3*g - f*a = 31. Solve -g*k + 11 = -14 for k.
5
Let n be (0 - -4) + 0/(-1). Suppose 0 = 2*u + 3*i, n*u - i = -2*i. Solve 2*p + 0 + 10 = u for p.
-5
Let b(p) = 4*p**2 + 4*p. Let s(n) = 9*n**2 + 7*n. Let d(i) = 7*b(i) - 3*s(i). Let t be d(-8). Solve 5*f = 3*f - t for f.
-4
Let u(z) = z**2 - z - 2. Let o be u(-2). Solve v = -o*v for v.
0
Let i be (-161)/(-21) - (-1)/3. Solve 0 = -2*u + 2 - i for u.
-3
Let q be ((-22)/(-4) + -5)*8. Solve 0 = -4*s - 0 - q for s.
-1
Suppose -46*b + 25 = -41*b. Solve b*a = -0*a for a.
0
Suppose 2*w + 3*u - 13 = 0, -u = w + 2*w - 9. Suppose -3*v = -w*h + 2 - 3, 5 = 2*h - v. Solve -h*z + 8 = -0*z for z.
2
Let h = 20 - 14. Suppose -h*z = -11*z + 15. Suppose -3*u + 0*u = z*c - 69, 2*u - c - 37 = 0. Solve -u = -d - 3*d for d.
5
Let c(k) = 3*k**2 + k + 1. Let d be c(-1). Let q be d/(-5) + (-56)/(-10). Let n = q - 1. Solve -o - 10 = n*o for o.
-2
Suppose -5*u = -2*y - 68, -3*y - 32 = -3*u - 4*y. Solve -3*c + u = -0 for c.
4
Suppose 10*m - 15 = 5*m. Suppose m*y + 3 = -4*a + 2, -23 = -3*y + 2*a. Solve -14 = y*t + 6 for t.
-4
Let p be 2 + 16 + 0/2. Let v be ((-5)/15)/((-2)/p). Suppose 0 = -v*x - 5*w + 6, 8 = -x + 5*x + 2*w. Solve -x*r = -r + 4 for r.
-4
Let l = 49 + -44. Solve 0 = -3*j + l*j - 6 for j.
3
Let f = -20 + 26. Solve 0 = -4*s - f - 14 for s.
-5
Let j(u) be the second derivative of 3*u**5/20 - u**3/3 - u**2/2 - 3*u. Let m be j(-1). Let n be m*3/6*0. Solve n*l - 16 = -4*l for l.
4
Let m = 1 - 4. Let g be (m + 1)*1/(-1). Suppose 3*a = 5*a. Solve g*p = -a*p - 8 for p.
-4
Suppose 2*b - 14 = 2*p - 5*p, 4*p + 5*b - 21 = 0. Suppose 1 = x - p. Solve x*h + 31 = 6 for h.
-5
Let t = -1 - 12. Let k = -11 - t. Solve -5*f = -k*f - 9 for f.
3
Let a(h) = -h**2 + 7*h. Let i(o) = -o**3 + 5*o**2 + 6*o + 7. Let t be i(6). Let m be a(t). Solve -w - 4*w + 10 = m for w.
2
Let q = 12 - 6. Suppose -t + 6 = -19. Solve -t = q*u - u for u.
-5
Let v(r) = -1 - 4 + 7*r**2 - 8*r**2 + 6*r. Let u be v(5). Solve u - 3 = -3*b for b.
1
Let h = -9 - -10. Let p be (-2 - -1)*(h - 5). Solve 4*t + 4 = -p for t.
-2
Let t = 3 - 5. Let g = 4 + t. Solve -a = -g*a for a.
0
Let x(v) be the first derivative of v**3/3 - 2*v - 2. Let m be x(-2). Suppose -2*l + m = 4*w, l = -4*w + 3*w + 1. Solve 0 = 2*j - w + 2 for j.
-1
Suppose -15 + 1 = 2*c. Suppose 4*w = -d - 0*w + 15, -5*d - 5 = 4*w. Let x = d - c. Solve 2 = x*f - 0 for f.
1
Suppose 3*g - 6*g = -6. Let s(v) = v**2 + 1. Let x be s(g). Let f = -67 - -76. Solve -16 = -x*a + f for a.
5
Let z = -1 + 8. Let g = 7 - z. Solve 0 = 3*n - g*n + 9 for n.
-3
Suppose -3*l - 2*l = 5*u, 2*u - 5*l - 14 = 0. Solve 0 = -0*k + u*k for k.
0
Suppose i - 2 + 12 = -5*k, -3*i - 2*k = 4. Suppose 3*h - 3 = 6, i = -4*u + 5*h - 7. Solve -j + 3 = u*j for j.
1
Suppose -5*h + 125 = j, 0 = -5*h + h + 2*j + 86. Solve -5*v - 4 + h = 0 for v.
4
Suppose -2*b + 11 = -o - 4, -b + o + 10 = 0. Let w(z) = z**3 - 4*z**2 - 3*z - 5. Let t be w(b). Suppose t*p = 7 + 13. Solve 0 = p*x - 5*x - 4 for x.
-4
Let w = 3 - 1. Let h be ((-6)/9)/(w/(-6)). Suppose 0 = -3*n + 11 - h. Solve n*c = -0 + 3 for c.
1
Let b = -15 - 9. Let c = -16 - b. Let a be 0 + 0 + -1 - -26. Solve -3*t + c*t + a = 0 for t.
-5
Let i(x) = x**3 - 6*x**2 + 5*x + 3. Let m be i(5). Suppose 2*a + m*a = 40. Suppose -3*f - 7 = -5*h, -2*h + 2*f + a = 3*h. Solve h = r - 3 for r.
5
Let k = 23 - 22. Let t be (-6*k)/(-2)*1. Solve 0 - 3 = -t*c for c.
1
Let w(n) = n + 17. Let a be w(-14). Suppose -3 = m + g + a*g, -m = -g - 7. Solve 0 = -3*z + m*z + 8 for z.
-4
Let m = -10 + 19. Suppose 9 = -3