 12 = -4*c. Let p be 0/(2*j/2). Suppose 3*k + 11 = 2*w, 2*w + 0*k - 4 = -4*k. Solve -w*b = -8 - p for b.
2
Suppose 0 = -2*u + 5*u + 2*b - 24, 0 = 4*u - 2*b - 18. Solve 0 = -2*x + 2 - u for x.
-2
Let b(u) = -u - 9 + u - 2*u - 2. Suppose 4 = -d + 2*f, -5*d - 60 = 4*f - 12. Let j be b(d). Solve 3*r - j = 8*r for r.
-1
Suppose -5*n - 2*u + 31 = 0, 2*u + 4 = -n + 3*n. Let d be (2/4)/(2/8). Solve n*m - 13 = d for m.
3
Let v(w) = -7*w**2 - 15*w + 9. Let s(n) = 3*n**2 + 7*n - 4. Let a(l) = -9*s(l) - 4*v(l). Let t be a(3). Solve -y + t = 5 for y.
-5
Suppose -2*s = 4*t - 64, 0*t = -t + 5. Suppose -3*b + 2*z + 11 = -3*z, -s = 2*b + 4*z. Let r(c) = c + 6. Let q be r(b). Solve -2*n = -n - q for n.
3
Let a be (-2)/3 + (-56)/(-21). Solve a*v - v = -2 for v.
-2
Let u(h) = -3*h**3 + h**2 - 10*h - 4. Let t(j) = 5*j**3 - j**2 + 15*j + 6. Let f(m) = 5*t(m) + 8*u(m). Let q be f(-4). Solve -q*g + 0*g = 0 for g.
0
Let j(z) = 2*z**2 + 2*z - 1. Let n(h) = h - 1. Let f be n(-1). Let x be j(f). Suppose x*k - 55 = 20. Solve k = 2*y + 3*y for y.
5
Suppose -5*p + 25 = -0. Suppose 0 = 3*c + 2*c - 10. Suppose 0 = c*k - 10, 11 = f - 2*f + 3*k. Solve f*z = 3*z + p for z.
5
Let b be (4/14)/(1/7). Let y(r) = r**2 + 2*r - 2. Let v be y(b). Solve o - 1 + v = 0 for o.
-5
Let d(j) = 3*j - 9. Let a be d(4). Solve a*w = -w + 16 for w.
4
Suppose -3*o = 2*s - 5, s - 6 + 1 = o. Let k = 1 + s. Suppose 2*n = -2*n + 5*g + 3, n + k*g - 7 = 0. Solve n*a = 5*a + 9 for a.
-3
Suppose 0 = -a - a - j + 4, 3*a + j - 4 = 0. Solve a = i - 5 for i.
5
Let p(v) = -2*v**2 + 51*v - 5. Let k be p(25). Solve -4*i + k - 8 = 0 for i.
3
Let i be (0 + -8)/4*2. Let j be (0 - i/(-8))*-8. Solve -s = j*s + 15 for s.
-3
Let u = -163 - -168. Solve u*l = 44 - 19 for l.
5
Let r(c) = 5*c**3 + c**2 - c. Let x be r(1). Suppose -k - x*w + 27 = -0*k, -4*k + 2*w = 2. Solve k*o - 15 = 7*o for o.
-3
Let w = 20 + -10. Let x be (w/30)/((-1)/(-27)). Solve -3*z = -3 - x for z.
4
Let z be (-4 + 12/4)/(2/(-10)). Solve 9 + 1 = -z*k for k.
-2
Let i(a) be the second derivative of a**4/12 - 7*a**3/6 + 4*a**2 - 2*a. Let z be 0/(-1*2) - -6. Let w be i(z). Solve -r + w = -1 for r.
3
Suppose 4*f = 2*f + 3*a + 7, 3 = -3*a. Solve -f*x = -3*x - 3 for x.
-3
Let m(l) = 3*l**2 - l**3 - l + 3*l**2 - 3*l**2 - 1. Let o be m(2). Solve b - 1 = o for b.
2
Let c(f) = f**3 + 1. Let p(j) = j**2 + 4*j + 2. Let n be p(-4). Let x be ((-1)/n)/((-3)/(-6)). Let q be c(x). Solve q = -0*d - d - 1 for d.
-1
Let i = -15 + 11. Let q be -2*(-1 - 0) - i. Suppose 5*d + 5 = -2*y, 4*y + 3*d + 0 = -3. Solve y*f = -2*f + q for f.
3
Let u be 2/(-8) - 99/(-12). Suppose -2*p + 0*p = -u. Suppose 0 = k + b - p, 16 = k + 2*k + 4*b. Solve 0 = 2*z - k*z for z.
0
Suppose -4*b - 2*q = 2*q - 44, b - 17 = -4*q. Let a = 9 - b. Solve a*m - 4*m = -4 for m.
1
Suppose 2*f = -32 + 42. Solve 6*q = f*q - 1 for q.
-1
Suppose o + 15 = -5*u, 2 = o + u + 9. Let p = o + 10. Solve p + 0 = -5*r for r.
-1
Let h = 7 - 7. Suppose -z = 3*x - 6, -4*x + z + h*z + 15 = 0. Solve 0*a + x = a for a.
3
Let k(x) = x**2 - 11*x - 8. Let h(v) = -2*v**2 + 23*v + 16. Let j(r) = 2*h(r) + 5*k(r). Let f be j(10). Solve -f = 2*p - 4*p for p.
1
Let j(a) = 2*a + 1. Let r be j(3). Let p be -2 + 1 - r*-3. Solve p = -w + 5*w for w.
5
Let p(y) = y**2 - 4*y - 5. Let w = -4 + 9. Let x be p(w). Let m be 4 + (3/(-1) - x). Solve m + 9 = 5*b for b.
2
Let u = 17 - 8. Suppose -4*x + 8*x = -p + u, 4*p - 36 = -5*x. Solve p = -3*w - 3 for w.
-4
Let c be -2 - (16*-1 - 0). Let r(j) = -j**2 + 15*j - 14. Let m be r(c). Suppose -1 = -x + 3. Solve -2*t + x*t - 2 = m for t.
1
Suppose 7*u - 64 = 3*u. Solve 0 = -5*p + u + 9 for p.
5
Suppose 2 = 8*m - 14. Solve -p + 1 = m for p.
-1
Let z(t) = t**3 - 6*t**2 + t - 4. Let k be z(6). Suppose 0 = 2*o + k*b - 10, 3*o - b - 19 = -0*b. Solve -25 = -o*i + i for i.
5
Let o be ((-1)/(-3))/(2/54). Let v = o - 6. Solve t + 4 = v*t for t.
2
Let j(p) = -p**2 + 6*p - 1. Let a be j(5). Let i be a*(0 - (-87)/12). Suppose 3*d + w = 4*d - 1, -w + i = 5*d. Solve -n + d = -2*n for n.
-5
Suppose -2*b = b. Suppose -1 = 5*i - 2*w - 6, 2*w = -3*i + 19. Suppose -2*y - i*y = b. Solve -k = -y*k for k.
0
Let b(k) = -k**3 + 9*k**2 - 8*k + 3. Let f be b(8). Solve 4*l - l = f for l.
1
Let q be 2 + -5 + (3 - -6). Suppose 2*p = -2*x + 14, -q*x = -p - x + 1. Solve -2*l + p + 2 = 0 for l.
4
Suppose 0*g + 14 = 5*i - g, -2 = -2*g. Let f(u) = -u**2 - 5*u - 4. Let b be f(-3). Suppose -3*d - d = b*o - 2, i*o - 5*d - 25 = 0. Solve 3 = o*r - 12 for r.
3
Suppose 0 = 2*k - 6*k + 8. Suppose h - k = 3. Solve -1 + h = -4*i for i.
-1
Let v be ((3 + -3 + 1)*0)/(-1). Solve v = x - 7 + 2 for x.
5
Suppose 1 = 6*f - 11. Solve -p = -f*p for p.
0
Let c = 3 - 4. Let w = 2 + c. Let l be 1 - (1 + 1 - w). Solve -4*n = -l*n + 8 for n.
-2
Suppose 0 = -3*m - 0*m + 6. Solve 0 = -m*b - b + 15 for b.
5
Suppose 5*s - 18 = 12. Let u be (-34)/6 + 4/s. Let z(t) = -t - 4. Let d be z(u). Solve -7 = -2*y + d for y.
4
Suppose z + 2 = 2*z. Suppose 0 = 3*c + z*c - 15. Solve c*k + 4 = -5 for k.
-3
Let p(i) = 4*i + 1. Let h = 3 + -3. Suppose 5*s + 2 - 12 = h. Let c be p(s). Solve 6*o - 3*o = -c for o.
-3
Let q(m) = -m**2 - 6*m - 2. Let b be q(-5). Suppose -5 + b = -p. Solve 4 = v + p for v.
2
Let j(z) be the third derivative of -z**4/24 - z**3/3 - z**2. Let u be j(-7). Solve -3*b + 2 - u = 0 for b.
-1
Let c(b) = -b. Let g(s) = -4*s - 22. Let z(l) = 5*c(l) - g(l). Let m be z(13). Solve -2*p - 1 = -m for p.
4
Suppose -k + 20 = h, 2*h + 6 = 2*k + 26. Solve 5*b + 0 - h = 0 for b.
3
Let l = -62 - -68. Solve 3*f = l*f for f.
0
Suppose 3*m = 14 + 4. Suppose -o + 5*x = -m, 2*x = 5*o + 48 - 147. Solve -4*q = 1 - o for q.
5
Suppose 2*b - 36 = 5*l - 1, -3*l - b = 10. Let y(h) be the third derivative of -h**4/8 - 7*h**3/6 + h**2. Let q be y(l). Solve 0*x = -2*x + q for x.
4
Suppose 0*b = 3*b - 3. Solve 0*x = x + b for x.
-1
Let h = 4 - 0. Let i be -1*(-4 + 2 - -2). Let f be ((-3)/2)/((-6)/16). Solve -h*c + i*c + f = 0 for c.
1
Suppose -4*q + 29 - 13 = 0. Suppose -q*o + 0 + 17 = 5*i, 5*o - 43 = i. Let y(f) = f**2 + 11*f + 14. Let c be y(-10). Solve -c*k = -0*k - o for k.
2
Suppose 0*x - 10 = -2*x. Let o(t) = 8*t - 4. Let w be o(3). Solve x*c = -0*c + w for c.
4
Suppose -4 = 2*s - 4*s. Let f = 1 - -2. Suppose 3*b = s*y + 3 + 1, -5*b + 8 = -f*y. Solve 20 = b*q + q for q.
4
Let q(m) = m**3 - 2*m**2 - 4*m + 3. Suppose -3*d - 4*j = 29, -3*d + 3*j + 1 + 5 = 0. Let o = d + 6. Let a be q(o). Solve -3*b + 0*b + 12 = a for b.
4
Let w(z) = -z**2 + 3*z - 1. Let n be w(4). Let v(d) = 3*d**2 + 14*d. Let r be v(n). Solve 0 = -g + r*g + 4 for g.
-1
Let c be ((1 + -1)/(-1))/2. Let y be (-2)/(1/(-4)*1). Suppose c = 5*r - 7 - y. Solve -3 = r*s + 3 for s.
-2
Let k(v) = -v + 1. Let x be k(-3). Let p be (4/10)/((-2)/(-20)). Suppose 2*c = -3*c, -5*i + 4*c + 100 = 0. Solve i - p = x*l for l.
4
Let h = -16 + 16. Suppose h = -4*c + 2*c - 4*o, -2*c + 6 = -2*o. Solve 1 = -l + c for l.
1
Let g = 9 + -9. Suppose g = 5*m + 25, 0*b = 4*b - 3*m - 7. Let l be (3/(-9))/(b/12). Solve 3*k + l*k = 0 for k.
0
Suppose 2*z + 0*z + 4*u - 8 = 0, -8 = -2*z - 5*u. Solve -l - l + z = 0 for l.
2
Let a be (-116)/(-14) + 8/(-28). Let b = -10 + 16. Let k = a - b. Solve 0 = k*m - 7*m for m.
0
Let s = 5 + -1. Suppose -2*w + 2*j - j + 4 = 0, 5*w + j = 3. Suppose 26 = 2*f + 4*p, -4*f + 4*p = -2*f - 34. Solve s*r - f = w for r.
4
Let p be (-6)/15 + 46/(-10). Let d(r) = r**2 + 5*r + 2. Let m be d(p). Solve 4*q + 4 = m*q for q.
-2
Suppose 2*s - 5*s - 30 = -3*l, -2*s = 3*l - 5. Solve 0 = l*n + 5 for n.
-1
Suppose -r + 2*f = -7, 4*f - 2*f = 4*r - 16. Solve 0 = -r*m + 2*m - 1 for m.
-1
Let w(i) = -i**2 - 12*i - 5. Let p be w(-11). Suppose -11*x + p*x = 0. Suppose 2*a = a. Solve x*d - 3*d = a for d.
0
Suppose -3*o = 1 - 10. Suppose 6*g + 2 = 2*r + 2*g, -o*r - g = -31. Let a = -13 - -13. Solve -3*m = -a*m - r for m.
3
Suppose -2*c - 16 = -6*c. Suppose 1 = -j + c. Suppose 47*m - 48*m + 4 = 0. Solve m = -n + j for n.
-1
Let h = -4 + 5. Let q = h + 4. Solve q + 0 = o for o.
5
Let o(a) = -a**3 - 5*a**2 - 5*a - 1. Let z be o(-4). Let m(p) = p + 1. Let y be m(-1). Suppose 0*t - t = y. Solve z*q + 15 = -t*q for q.
-5
Let s(z) = -z - 4. Let f be s(-4). Let x be f/(3*-1) + 7. Suppose -x - 1 = -4*g. Solve g*a + 3 = 5 for a.
1
Let i be (-4 - (-12 + 3)) 