. Let z(u) = -6*u + 56. Let s be z(8). Solve o*v + 10 = s*v for v.
2
Let b be ((-3)/3)/1 - -1. Suppose 3*x - d = -b + 14, 5*x + d - 10 = 0. Solve -x*n + 5 = -7 for n.
4
Let f(a) = -a**2 - 7*a + 2. Let l be f(-6). Suppose 5*n = 2*s + 18, -4*n + 2*s = 5*s + 4. Let k = n + -2. Solve -3*g + g + l = k for g.
4
Let i(r) = 7*r + 3. Let y be i(0). Solve -y*q + 3 = 9 for q.
-2
Let l be ((-8)/(-10))/(6/45). Let y = l - 1. Suppose -3*t = -7*a + 3*a - 26, 0 = -y*t - 4*a + 54. Solve 6*i - t = i for i.
2
Suppose 8 = -3*y + 5*y. Let a be y*6/(3/1). Solve -a = 2*q - 0*q for q.
-4
Let b = 18 + -2. Let k = -14 + b. Solve -k*n + 20 = 3*n for n.
4
Suppose 4*g - 113 = -33. Let c be 84/g + (-1)/5. Let o(d) = -d - 3. Let z be o(-5). Solve -u = -z*u - c for u.
-4
Let s = -24 + 52. Suppose 3*n - s + 10 = 0. Solve -10 = n*p - p for p.
-2
Let g = 52 - 35. Suppose 5 + g = 2*u. Solve -u = 5*w + 4 for w.
-3
Let r(v) be the second derivative of v**5/10 - v**4/3 + 2*v**3/3 - 3*v**2/2 - v. Let k be r(2). Suppose 4*h - 3*h - 4 = 0. Solve -k*l - 16 - h = 0 for l.
-4
Suppose -5*x + 17 = -8. Let j(s) be the third derivative of -s**5/60 + 5*s**4/24 + 20*s**2. Let i be j(x). Solve -b - 3 = -i for b.
-3
Suppose 6*d + 25 = -5*u + d, -4*d - 20 = 3*u. Let q be (8/3)/(2/6). Solve 0 = 2*a - u - q for a.
4
Let j(h) = 2*h - 38. Let s be j(22). Solve -5*x = -8*x + s for x.
2
Let v = 15 + -8. Suppose -f = -2*p - 2*f + v, -2*f + 8 = p. Solve -p*s - 2*s = 0 for s.
0
Let b be 4 - (-24)/(-3)*-1. Solve 5*p - b = 2*p for p.
4
Suppose -3*i + 0 = 2*h - 16, -i + 17 = 3*h. Let w be 1*0/(-1 + 2). Let l be (w/(-3 - -1))/(-2). Solve l = -g + h - 0 for g.
5
Suppose 0*q + 4 = 2*q. Let r = q + -2. Let l(w) = w**2 + w + 3. Let x be l(r). Solve -8*t + 25 = -x*t for t.
5
Let c be (1 + -3)*(-6)/(-4). Let b = c + 3. Let m = -3 + 4. Solve -5*z - 26 + m = b for z.
-5
Let t(j) = j + 3. Suppose 0 = -2*z - 3*g - 21, 4*z + 4*g = -19 - 13. Let h be t(z). Solve -2*a - 8 = -h*a for a.
-4
Suppose 3*m = 4*n - 25, 0 = -m - 3. Solve n*x + 8 = -12 for x.
-5
Let z(n) = -n**2 - 6*n - 2. Let y be z(-5). Let i be (-20 - -20)/(1*(-2 + 4)). Solve i*m = -y*m for m.
0
Suppose 8 = 3*s - 7. Suppose 0*b - b - 3 = -m, -s*m + 2*b = -6. Solve m = h - 3*h - 10 for h.
-5
Suppose 4*g + 4*n = 24, -g + 2*g + 2*n = 5. Solve -2*m = -g*m for m.
0
Let p(k) = 11*k + 3*k + 3 - k**2 + 2*k**2. Let b be p(-14). Suppose -q + 2*q = 2*c - 12, -2*c = 4*q - 12. Solve b*r = r + c for r.
3
Suppose 3*j = -2*r - 0*r + 12, 20 = 5*j + 5*r. Let u(h) = h - 4. Let i be u(j). Solve -2*a - a - 6 = i for a.
-2
Suppose -4*v = g - 20, 16 = 4*v - 0. Suppose 4*b - 24 = -3*t, 0*t - 2*b - 32 = -g*t. Let s be t - (-1)/((-1)/2). Solve w + 5 = s*w for w.
1
Let v(m) = -m**2 - 7*m - 2. Let a(g) = 2*g + 8. Let y be a(-7). Let d be v(y). Let f be (4/8)/(2/d). Solve -n = f - 2 for n.
1
Let z = 20 + -15. Suppose -5*s + 6*s = -z, 3*u - 29 = 4*s. Solve 0*m = u*m for m.
0
Let u(f) = f**3 - f**2 - 1. Let a(x) = 2*x**3 - 5*x**2 + 5*x. Let q(t) = a(t) - 3*u(t). Let c be q(-3). Let w = c - -8. Solve -w*y = -2*y - 15 for y.
5
Let u(q) = -q + 6 - 3 - 2. Let a be u(-2). Solve -12 + a = 3*h for h.
-3
Let q(t) = t**3 + 3*t**2 - 4*t + 5. Suppose 4*r - 17 + 5 = -5*x, 2*x + 4*r = 0. Let y be 3 - 5 - x/2. Let f be q(y). Solve -f*s + 13 = -12 for s.
5
Suppose -3*n + 2*n - x + 5 = 0, -3 = -3*x. Suppose 7 - 2 = -4*m + u, 5*m - 2*u + 10 = 0. Suppose j - 2 - 3 = m. Solve 0 = n*w - j*w for w.
0
Suppose -12 = -0*q - q. Let x be (4/q)/1*0. Solve x = a + 4*a for a.
0
Suppose -3*z - 3*r + r = 24, -36 = 4*z + 4*r. Let j be 2 + z/(9/(-3)). Solve -j*w = 2 + 6 for w.
-2
Suppose 0 = -5*w + 29 - 14. Solve w*n - 8 = 7 for n.
5
Let r = 38 + -36. Solve -7 = 5*i - r for i.
-1
Suppose 12 = -2*d + 6*d. Suppose -d*c + 2*c + 3 = 0. Let k(n) = -n**3 - 10*n**2 - 11*n - 12. Let t be k(-9). Solve c*r = t*r for r.
0
Let h = -2 + 4. Let o be (2/(-4))/(1/(-10)). Solve -o*t + 7 - h = 0 for t.
1
Let g be 2/((-6)/(3/(-1))). Let a = g + 4. Let z(q) = -q**2 + 8*q - 6. Let b be z(6). Solve -1 = -a*x - b for x.
-1
Let c(n) = 2*n**2 + 11*n + 17. Let o be c(-5). Solve -o = -3*m - 15 for m.
-1
Suppose -m - 2*m + 3 = 0. Let c be m + 3/(-6)*2. Solve c = -l + 2*l - 3 for l.
3
Suppose 10 = 3*u - 20. Solve -35 + u = 5*z for z.
-5
Let t be 8/(-20) + 111/15. Solve -1 = 4*w + t for w.
-2
Suppose 5*g = -2 + 27. Suppose 0 = -g*y + 4*y + 2. Suppose 0 = 3*o - y*r - 1, -5*r + 8 = -5*o + o. Solve -o*j - 20 = 2*j for j.
-4
Let j(d) = 13 + d**3 - 14*d - 5*d**3 + 4*d**3 + 14*d**2 - d**3. Let z be j(13). Solve 3 = 3*f - z for f.
1
Suppose 2*o = 9 - 7. Let j be 6/4*(o + 1). Solve -f = -j*f + 10 for f.
5
Let q = 84 + -78. Solve -q*b + b - 15 = 0 for b.
-3
Let h be ((-4)/10)/(2/10). Let u(f) = f**3 + 5*f**2 + 2*f - 2. Let q be u(h). Solve 0 = -p - 2*p + q for p.
2
Let b(g) = -2*g - 39. Let t be b(-22). Solve 0 - 15 = -t*k for k.
3
Suppose p = -3*p + 8. Let j = p + -2. Let v be (-2)/7 - (-4)/14. Solve j = -4*u + 12 - v for u.
3
Let z(y) = 7*y**3 - 11*y**2 - 2*y + 4. Let k(h) = 3*h**3 - 5*h**2 - h + 2. Let a(i) = -5*k(i) + 2*z(i). Let o be a(2). Solve o*j = -3 - 5 for j.
-2
Suppose -r - 37 = 8*j - 3*j, -5*r = -4*j - 47. Let l(f) = -f**2 - 8*f + 4. Let q be l(j). Solve q*a = a - 3 for a.
-1
Suppose 0 = 2*b + 3*b - 10. Suppose 8*f - b*f = 30. Solve -5 - 5 = -f*t for t.
2
Suppose x + 5*z - 10 = 9, 4*x - 99 = 3*z. Suppose -2*a + x = r, -3*r - 12 = a - 2*a. Solve 0 = 5*d - 3 - a for d.
3
Let y = -3 - -6. Suppose 2*v - y = v. Solve 7*w = v*w - 8 for w.
-2
Suppose 0 = -2*z + z + 4. Let p be (-27)/6*z/(-9). Solve -v - 2 = -p*v for v.
2
Let r be (1 - 2)/(1/(-5)). Solve 5 = r*h - 15 for h.
4
Let a be (-1 + -5)*(-3)/6. Suppose -a*l + 5*x + 27 - 1 = 0, -2*l = -3*x - 16. Solve -5*u - l = 3 for u.
-1
Let q(w) = w**2 + 16*w - 36. Let i be q(-18). Solve 3*s + i*s + 12 = 0 for s.
-4
Let x = 23 + -16. Solve 2*v = x + 1 for v.
4
Let l be 26/8 - (-2)/(-8). Suppose -4*p - 3*y = -7*y - 36, 5*y = -2*p - 17. Suppose -4*a - p*x = -6 + 2, -29 = -5*a + x. Solve 0 = -a*o + l*o - 10 for o.
-5
Let i(p) = p**3 - 2*p**2 - 6*p - 3. Let o be i(4). Suppose 4*n - 3*z - o = 0, 3*z = 2*n - z + 10. Solve 1 = n*y - 4 for y.
1
Suppose 5 = 5*a + 3*y, 3*a - 2 = 2*y - 4*y. Solve -3*s - a = 8 for s.
-4
Let r(d) = 2*d + 3. Let i be r(4). Let a = i + -8. Solve a*b = -b + 16 for b.
4
Let p = -4 + 6. Suppose -5*h = 4*r, -p*h - 2*h = 2*r. Let u(s) = s**2 + 4. Let q be u(r). Solve -q = -4*m + 5*m for m.
-4
Suppose -9*s + 5 + 13 = 0. Solve s*n = -n for n.
0
Suppose -i + 4 = g + 2*i, g + 5*i - 6 = 0. Suppose -4*j + g = -11. Suppose u - 16 = -3*u + 4*m, -j*u = 2*m - 2. Solve 0 = u*t - 2 - 2 for t.
2
Suppose -j + 0*j + 5*k = 10, -2*j - 5*k = -10. Solve -5*f + 2 - 7 = j for f.
-1
Suppose -2*t = 3*t - 10. Suppose -3*y - t*y + 10 = 0. Let j(q) = -q**2 + 6*q - 5. Let d be j(4). Solve -d*u - 1 = -y*u for u.
-1
Suppose -5*j + 16 = 2*g, 4*g + 5*j - 42 = -0*g. Let y = -8 + g. Solve 12 = -y*q + 2*q for q.
-4
Let q(y) be the third derivative of -y**4/8 - 2*y**3 + y**2. Let l be q(-8). Solve -l - 4 = -4*m for m.
4
Let s(w) = -w**2 - 10*w - 6. Let d(a) = a**2 - 8*a - 7. Let i be d(8). Let p be s(i). Solve 2*q = 7*q + p for q.
-3
Let k(d) = -d + 1. Let h(b) = -4*b + 4. Let j(g) = 2*h(g) - 6*k(g). Let c be j(-4). Solve -c = 5*s - 7*s for s.
5
Let o(f) = -f - 5. Let h be o(-5). Let y be 1/(h + (-1)/(-2)). Suppose -p = y*p. Solve p*c = c + 4 for c.
-4
Let t(r) = r**2 - 2*r - 3. Let m be t(-2). Suppose d = -5*j + 20, 5*d - m*j + 3 - 13 = 0. Solve 0 = -d*a - 15 + 5 for a.
-2
Let n(f) = f - 3. Let z be n(11). Solve z*o - 3*o + 15 = 0 for o.
-3
Let r = -2 + 1. Suppose 3*s + 4 - 16 = -3*u, -3*u - s + 10 = 0. Let z be r - -1 - u/(-3). Solve 2*g - g = z for g.
1
Let a be 2*((-9)/6 + -1). Let d = a + 8. Suppose 4*b = -3*r + 24, 0 = -3*r + b + 5 + 4. Solve 0 = -r*m + 9 + d for m.
3
Let i be (-1)/(-3)*(-2 - 4). Let o(h) = 2*h + 6. Let m be o(i). Solve -7 = -m*u - 1 for u.
3
Let c = -32 - -57. Suppose z - 6*z = -c. Suppose 8*q - 9 = 5*q. Solve 0 = z*s - q - 7 for s.
2
Suppose -i + 3*f + 5 = 0, -f = 2*i - 5*i + 7. Solve -5*n - 6 = -i*n for n.
-2
Let t be (0 + 1 + -1)/(42/21). Solve t*x = -2*x + 2 for x.
1
Let b = -31 + 33. Solve -b = 2*h - 0 for h.
-1
Let y be (-11)/(-3) - 2/(-6). Suppose 0 = -n - 1 + y. Suppose n*h = -5*f + 36 - 2, -2*h -