. Let l be s(-7). Suppose 0 = 2*x - 0*x - l. Solve 0*b - b = -x for b.
4
Suppose 3*u = -2*z - 2*u + 5, 4*z - 19 = -u. Let q = z - -10. Solve 7*c - q = 4*c for c.
5
Suppose 19 = -g + 4*k, g + 7 + 7 = 3*k. Suppose d + g = 6. Solve -d = 2*j + 5 for j.
-5
Suppose n - a = -5, -2*a + 20 = -2*n + 2*a. Let o = 10 + -6. Suppose -5*z + 8*c - o*c = -88, -4*z - 4*c + 56 = 0. Solve n = 5*h - 1 + z for h.
-3
Suppose 5 = 4*v + 1. Solve -v + 4 = f for f.
3
Let y(g) = -8*g + 5. Let d be y(2). Let s(u) = -u**2 - 12*u + 2. Let m be s(d). Solve -m + 1 = -4*i for i.
3
Let l be 55/11*4/10. Solve q + l - 5 = 0 for q.
3
Let w(i) = -i**3 - 11*i**2 - 11*i - 7. Let l(j) = -j**2 - 2*j - 7. Let u be l(-3). Let b be w(u). Solve 3*p - b = 4*p for p.
-3
Suppose -5*k + u + 16 = -u, 5*k - 12 = 4*u. Suppose 0 = 5*l - 4*i - 16, -5*i + 4*i - k = -5*l. Let g = 5 - l. Solve 2*w - 3 = g*w for w.
-1
Let m(d) = -9*d + 1 - 5 + d**2 + 9*d + 11*d. Let o be m(-9). Let t = 37 + o. Solve s - t = -2*s for s.
5
Suppose 5*h = 16 + 4, 4*m - 28 = -h. Let n = m - 7. Let v be (n + 2)/((-3)/(-21)). Solve v*k = 3*k for k.
0
Let c = -4 - -4. Let s = 4 + -4. Suppose -5*i + i = s. Solve -y + i*y = c for y.
0
Let r be -1 - (18/3 - 0). Let z = -4 - r. Let t(x) = -x**2 + 3*x. Let i be t(z). Solve -10 = -5*y - i for y.
2
Let x = -7 - -7. Suppose -b = b. Suppose l + b*l - 2 = x. Solve l*n - 12 = -2*n for n.
3
Let g be (-8)/(-8)*2/2. Solve -2*c - g = -c for c.
-1
Let g(o) = o**3 + 10*o**2 + 2*o + 3. Let i be g(-8). Suppose 6*s - s - i = 0. Suppose -4*b + 64 = 4*h, -2*h - 11 - s = -4*b. Solve 4*j + b = -1 for j.
-3
Suppose -3*p = -i + 10, -2*i - i = -2*p - 23. Let h = 1 + i. Solve -3*j + h*j = -10 for j.
-2
Let w(q) = 2*q**2 - q - q**3 + q + 2*q + q. Suppose 2*z - 5*o + 4*o - 2 = 0, 5*z + 4*o - 31 = 0. Let u be w(z). Solve -5*r + 3 + 2 = u for r.
1
Suppose -33 = -5*w - 8. Suppose 0 = 5*u - w - 10. Solve -16 = -u*m - m for m.
4
Let x(c) be the second derivative of c**4/12 + 3*c**2 - 2*c. Let q be x(5). Suppose 0 = -4*i + 5*p - 12, -q = -5*p - 11. Solve 12 - i = -2*n for n.
-5
Let t be (-2)/7 - 23/(-7). Suppose -7 - 2 = -t*z. Solve -z*b + 3 + 0 = 0 for b.
1
Suppose 2*w - 6 = -2, -2*m + 2 = -3*w. Suppose -5*b = -4*g - 4, 2*g + 2*g = 3*b - m. Solve 0 = -3*q - 9 - b for q.
-3
Suppose -5*p + 3*p = -8. Suppose -p*f + 43 + 5 = 0. Suppose f = -g + 5*g. Solve -4*r - 11 = -g for r.
-2
Let q = 51 + -34. Suppose -4*d + 2*i + 22 = 0, 0 = -d - 2*i - 2*i - q. Solve -d*z + 4 = z for z.
1
Let w = -6 - -10. Suppose 4*k - u - u = -70, 5*k + 3*u + 82 = 0. Let a = k + 19. Solve -w*m - 6 = -a*m for m.
-3
Suppose 2*m - 31 + 11 = 0. Solve 2*p - m = 7*p for p.
-2
Suppose -i = -3*i. Solve 3*n - 2*n = i for n.
0
Let p(z) = -2*z + 8. Let j be p(3). Solve -12 = -5*h + j*h for h.
4
Let n(f) = f**2 + 4*f - 1. Let k be n(-5). Solve 2*o + k = o for o.
-4
Suppose 5 = 5*b - 2*r - 5, 0 = -5*r. Let t be (b + -2)*1/(-2). Suppose -4*y - 2 = -3*m, -2*m + 32 = -10*y + 15*y. Solve 0 = -t*l + 3*l - m for l.
2
Let r(z) be the first derivative of z**4/4 - 3*z**3 + 3*z + 2. Let h be r(9). Solve 0 = -4*s - h - 17 for s.
-5
Let u be 10/4 + 5/10. Suppose u*f = -4*g - 14, -6*f = -f + 2*g. Solve 3*l + 20 = -f*l for l.
-4
Suppose -5*k = -2*t - 45, -3*t + 2*t - 5 = 0. Suppose 3*q = 2*q + k. Let o = -4 + q. Solve 0 = -o*n - 4 - 2 for n.
-2
Let g(j) be the first derivative of 3*j**4/4 + j**3/6 - 2*j - 3. Let x(y) be the first derivative of g(y). Let k be x(-1). Solve 3*a = k*a + 25 for a.
-5
Suppose -3*b + 4*n = -22, b + 5*n = 2*b - 22. Let x = -261 - -264. Solve -b*k + x = 7 for k.
-2
Suppose -4*k + 39 = 7. Suppose -4*x = -4 - k. Solve -x*c = -2 + 8 for c.
-2
Let c be 2/3 + 80/(-12). Let r be 45/c*4/(-6). Solve g + r = 2*g for g.
5
Suppose 3*l - 10 = 11. Let x = l - 3. Solve -k + 1 = x for k.
-3
Suppose 2*r + 17 = 3*r + 3*q, 3*r - 2*q = 7. Solve 4*z + 1 = r*z for z.
1
Suppose 4*a - 4 = -20, -3*a - 10 = 2*v. Solve -7 - v = 4*l for l.
-2
Suppose 2*c + 4*t - 3 = t, -5*t = -2*c - 5. Let b = 4 - c. Solve -b - 5 = 3*p for p.
-3
Suppose 2 = -2*n - 5*g, -3*n - 2*n - 2*g = 5. Let t = -1 - n. Let b = 12 + -9. Solve -3*o = -t*o + b for o.
-1
Let i(w) be the third derivative of -w**6/120 - w**5/60 + w**4/8 - 2*w**3/3 + w**2. Let f be i(-3). Solve 0 + f = m for m.
5
Let o(k) = k**2 - 7*k - 11. Let t be o(9). Let p(h) = -h + 9. Let s be p(t). Solve -d = -s*d - 2 for d.
-2
Let z(r) = -2 + 4*r**2 - 4*r**2 - 3*r + r**2. Let o be z(4). Solve -2 - 8 = -o*b for b.
5
Let c(f) = f**3 + 10*f**2 + 8*f - 6. Let w be c(-9). Solve w - 8 = -5*l for l.
1
Let h(l) = -l - 4. Let s be h(-5). Suppose -1 = 5*z - 16. Let x(p) = -p**2 - 8*p - 5. Let c be x(-7). Solve 0 = z*q - c - s for q.
1
Let z be -2 - 3/((-6)/10). Let k be z/3 + 2 + 1. Solve 0*v + 12 = -k*v for v.
-3
Let p(b) be the second derivative of b**5/20 + 3*b**4/4 + 7*b**3/6 - 5*b**2/2 - 2*b. Let r be p(-8). Let v = r - 2. Solve -6 + v = -j for j.
5
Suppose 0 = 2*g - 3*c + 2*c + 7, 4*g = 3*c - 15. Let x be (g - (4 - -1))/(-2). Solve 5*z + 21 = -x for z.
-5
Suppose 4*p + 2*o = 1 + 11, -3*o = 0. Solve 3 = -p*n + 2*n for n.
-3
Let j(l) = l**2 + l. Let h be j(1). Suppose h*s = -4*u + 20, 2*u = 3*s - 3 + 13. Suppose 0 = -w - r + 3, -u*w + 0 = -2*r - 1. Solve m + w = -0*m for m.
-1
Let a(o) = -o**3 - 3*o**2 + o - 2. Let p be a(-4). Suppose -3*f - 18 = -x + f, f = 3*x - p. Solve -15 = -l - x*l for l.
5
Suppose 8 = 4*u, 4*f + 0*f - 3*u - 6 = 0. Solve 3 = -f*h + 6 for h.
1
Let g(p) = -p**3 - 6*p**2 - 6*p + 5. Let o be g(-5). Let x = o + -7. Solve 0*b - x = -b for b.
3
Let n = -14 - -16. Let j = -9 - -25. Suppose -4*x + j = -3*x. Solve -x = -2*q - n*q for q.
4
Let q be 1/(-3)*-3 - 0. Let j be 3/((-9)/(-15))*q. Solve 0 = 3*u - 4*u + j for u.
5
Let m be (7 - 5) + 2 + -2. Solve b + 1 = m for b.
1
Let z be (1 - -13) + 0/2. Let u = 18 - z. Solve u*h - 2 = 2 for h.
1
Suppose -3 = -4*x + 1. Suppose 0 = -2*n + n + 4. Let g be 1/n - (-11)/4. Solve 2*z = g - x for z.
1
Let h be (1/(-2))/(2/12). Let w(j) = -j**3 + 3*j**2 + 5*j + 2. Let c be w(4). Let f = c + h. Solve -n - 5 + f = 0 for n.
-2
Suppose 20 + 16 = -3*g. Let b = -7 - g. Suppose -5*a + 19 + 1 = s, s = 0. Solve a*l = 1 - b for l.
-1
Let a(c) = c - 1. Let r be a(1). Let z(m) = r + 2*m - 22*m**3 + 10*m**3 + 0 + 1. Let l be z(-1). Solve 4*p = -3 + l for p.
2
Suppose -3*x + 42 = -9*x. Let s be (-16)/(-56) + (-26)/x. Solve -s*h + 3 = -h for h.
1
Suppose 2*n + 10 = -3*v, 2*v = -3*n + n - 10. Solve v = d + d - 4 for d.
2
Let b(j) = -j - 1. Let v be b(-2). Let h be v - (0 - 0) - -2. Solve -h*a - 2 = -a for a.
-1
Suppose -3*w = 4*j - 5*j - 9, w + 3*j - 3 = 0. Suppose -o - 5*r + 0 = -w, 0 = 3*o - 5*r - 9. Suppose 0*m = -3*m + 12. Solve 0 = m*q - o*q - 4 for q.
4
Suppose -10 = -5*v, p - 2*v + 2 = -v. Let l(g) = g + 3*g + g - 4*g - 2. Let f be l(6). Solve -3*a + 2 + f = p for a.
2
Suppose 4*k + 30 + 54 = 0. Let n = k - -34. Suppose 5*f = 5*u - 45, 0*u + 3*u + n = -5*f. Solve u*d + 12 = -0*d for d.
-3
Let n(j) = -j**3 - 3*j**2 + 6*j + 6. Let y be n(-4). Let z = y + 2. Suppose z = 3*m - 4*c - 24, -3*c + 20 = 2*m - 7*c. Solve -10 = 2*x - m*x for x.
5
Let z be (0*4/(-12))/1. Solve z = 2*i + 11 - 1 for i.
-5
Let u(q) be the first derivative of -q**4/4 - q**3/3 - q**2/2 - q - 3. Let r be u(-1). Solve 3*m - 6 = -r for m.
2
Let b be (-13)/(-3) + 0 + (-2)/(-3). Solve -b*p + 0 + 25 = 0 for p.
5
Let l(i) = -i**3 + 4*i**2 - 4. Let q be l(3). Let r be (-2 + -5)/(-1 - 0). Suppose 5*v - 3*y - 2*y - q = 0, r = 3*v + y. Solve -3*m + v*m = -4 for m.
4
Let i be 6 - (3 + -3) - 0. Let u = 6 - i. Let w be 5 + 3 + u/(-3). Solve 3*k - w = -2 for k.
2
Let a(z) = z + 12. Let l be a(-9). Suppose -134 = -5*c - l*v, 0 = 3*c + c + 2*v - 106. Let b = 13 - 9. Solve n + b*n = -c for n.
-5
Suppose 2*c + 23 = 4*w - c, 3*c + 19 = 2*w. Suppose -i + 5*y = 8, 3*y - 6 = -i + y. Let o = w - i. Solve o*k + k = 1 for k.
1
Let d(i) = i**3 - i**2 - 5*i. Suppose 3*t = 5*k, 6*k = k + 2*t + 5. Let n be d(k). Solve q + 4 = -n*q for q.
-1
Let o be (-40)/100 - (-37)/5. Solve 0 = -5*v + o*v - 2 for v.
1
Suppose 0 = n + 5*b - 9 + 32, 3*n - 3*b = 21. Let q(k) = 6*k**n - 18*k**2 - 8 + 12*k + k**3 + 2. Let f be q(11). Solve 5*o + f = -0 for o.
-1
Let y(j) = -j + 8. Let m be y(4). Solve 13 = 3*b + m for b.
3
Let x(p) = p - 9. Let g be 237/27 - (-2)/9. Let w be 