7 = 5*g for b.
-2
Suppose 16 = n + n. Let v = -3 + n. Solve 2 = -g + v*w, g = -4*w + 5 + 2 for g.
3
Let n = 9 + 0. Let p = -5 + n. Let c be p - 1 - 7/7. Solve c*s + z - 6 = -0*z, -z = -2*s + 2 for s.
2
Let u be ((-6)/(-9) + -2)*-3. Let d be -4*9/(-24)*u. Let b be 6/2 + 2 - 1. Solve b*v = -2*q + 6, v = -q + d*q - 4 for v.
1
Suppose 3*l - 8 = -q, 2*q - 5*l = 5*q - 8. Let t be (-2)/((16/q)/8). Solve 5*x = 3*k, 0*k - 7 = -t*x + k for x.
3
Let m = 3 - -6. Let x(o) = -o**2 + 11*o - 13. Let c be x(m). Solve 2*j - 4 = -2*l + 8, -c*j = -4*l - 21 for l.
1
Let b = 0 - -2. Suppose 0 = -2*r + 6, c + 2*c + 5*r - 15 = 0. Suppose -4*o + 8*o - 20 = c. Solve 4*d = -2*p + 12 - b, 5*d + o*p = 5 for d.
4
Suppose 2 = 5*u + 12. Let s be 3 + u + -3 - -2. Solve 3*t - 4*i - 7 = 0, t - i + 4*i + 15 = s for t.
-3
Suppose -3*f - 1 = u, 0 = -3*f - 0*f + 4*u + 4. Suppose f = -4*m + m + 6. Suppose -m = -a - 0. Solve 3*l + 2*z = 3*z + 6, 9 = -a*l + 5*z for l.
3
Let q(y) = -2*y + 2. Let f be q(2). Let n = f + 6. Suppose -2*z + 0*z + 16 = 3*t, 0 = n*t + z - 13. Solve -4*p = -t*s - 22, -5*p + 0*p = 5*s + 10 for s.
-5
Let a = 2 - 0. Let z be 30/8 + (-2)/(-8). Suppose -3*f + 22 = 5*k - 6*f, f + z = 0. Solve -2*w + a*g - 19 = -7*w, 11 = w - k*g for w.
5
Let p = -4 + 8. Suppose 2*w - 3*w = -3. Solve 2*j + w*y = 2*y + 13, p*y = -4*j + 32 for j.
5
Let m be ((-3)/6)/(-2 + (-95)/(-50)). Solve 0 = -5*c + m*w - 5, -7*c - 3*w = -3*c + 32 for c.
-5
Suppose -6*n - 3 + 21 = 0. Let o be (4 - 1)/((-3)/(-4)). Solve -10 = o*k + 2*f, 5*k + 0*f + 12 = -n*f for k.
-3
Let y be 18/4 + 2/(-4). Let b(m) = -m**2 + 2*m + 3. Let g be b(3). Suppose g = -5*c - 0*c. Solve 14 = -y*n + 2*n + 4*w, c = 2*n - 2*w + 6 for n.
1
Let w be -5*(0 - 1/1). Let y be w + 2 + 3*-1. Solve -2*n = -y*t + 2*t, -3*t = -2*n for t.
0
Suppose -2*s + 7 = 4*k - 5, 0 = -5*k - 3*s + 16. Solve 3*z = -5*w + 11, k*z + 2*z - 13 = -5*w for z.
2
Let f be (2 - 1 - 1)*-1. Suppose -o + 5*o - 12 = f. Solve 3*p + 4*j + 20 = 0, 0 = -5*p - o*j - 5 - 21 for p.
-4
Let r be ((-8)/(-5))/(2/160). Suppose -j - r = -5*j. Let p be 17/5 - 12/30. Solve m = 4*c + 12 - j, 5*c + p*m - 25 = 0 for c.
5
Suppose 4*y + 12 = -20. Let q be y/(-5) + 4/10. Let u be 40/25 - q/(-5). Solve x + 5 = 2*h + 2, x + u = 3*h for h.
-1
Let s(g) = -g**2 - 7*g + 1. Suppose 0 = 3*n + 2*k + 17, -6 = 3*n - k + 8. Let l be s(n). Let p = l + 19. Solve -5*u = 5*d - 40, -u + p = 3*d + 4*u for d.
5
Let y = 12 - 7. Suppose -t = -4*t + 60. Let o be 2/11 - t/(-11). Solve y*n = -5*g + 45, -o*g - 2*n - 12 = -6*n for g.
4
Let o(c) = -c**2 + 7*c - 4. Suppose 3*x + 3 = 0, 9 = z - x - 2*x. Let q be o(z). Solve -4*r + 2 = q*k, -r = -4*k + 4*r - 22 for k.
-3
Suppose 5*p - 10 = 5. Suppose -9 = -2*r + 9. Solve -q - q - r = -a, -p*q - a = 16 for q.
-5
Suppose -5*m = 3*b + 12 + 14, 5*m + 12 = 4*b. Let x be 5/(-20) + b/(-8). Let f(k) = -k + 4. Let q be f(x). Solve 2 = -2*c - 4*t, 5*t + 10 = -8*c + q*c for c.
-5
Let f = -76 - -96. Solve -5*o = f, -5*z - 16 = 3*o + 1 for z.
-1
Suppose d + 1 = -2, -5*h - 2*d = -19. Solve j - 3*v - 14 = 0, 4*j - j + 14 = -h*v for j.
2
Let j(x) be the first derivative of x**4/4 + x**3 + 2*x + 4. Let o be j(-3). Solve -o*r + 3 = -4*l + l, -4*r + 14 = 2*l for r.
3
Let c(z) = -z**2 - z. Let s(o) = 2*o**2 - 2. Let k(w) = 3*c(w) + s(w). Let n be k(-2). Solve -3*m = -2*t - 13, 4*m + n*m - 29 = 5*t for m.
1
Suppose -2*q + 3 = w - 3, q + 3*w + 7 = 0. Solve 2*u - 5 = -h, 5*h - h - 7 = q*u for h.
3
Let v = -6 + 4. Let k(x) = x**3 + 3*x**2 + 2. Let m be k(v). Let y be 6 - 2 - (-1 + 3). Solve m*o + 4 = -s + o, -2*s - y*o - 8 = 0 for s.
-4
Let g(c) = c**3 + 13*c**2 - 15*c - 14. Let l be g(-14). Solve -5*h + l*z = -4*z - 19, -4*h + 3*z = -15 for h.
3
Suppose -2*q - 5 = -q. Let l(r) = -r - 2. Let i be l(q). Let v be (1/i)/((-2)/(-18)). Solve 5*a = v*b - 5, b - 4*b + 2*a = 7 for b.
-5
Suppose -2*f + 15 = d, 0 = -2*d + 3*f - 6 + 1. Let i = 5 - d. Suppose 7*p - 5*p - 10 = i. Solve -4 + 6 = -5*m - 2*h, p*h = 4*m - 5 for m.
0
Let n = 7 + 3. Let j = 2 - -1. Solve 5*r = 3*p + n, -20 = -j*p + 2*r - 3*r for p.
5
Let k(u) = u**2 - 13*u + 15. Let m be k(11). Let b(z) = z + 1. Let j be b(-1). Let f = j - m. Solve -w + 4*s - 5 = 0, f = w - 4*w + 4*s for w.
-1
Suppose -3*q + 7 = -23. Suppose 0*b + q = 5*b. Solve -l + 11 = -4*r, 3*r + 4 = r + b*l for r.
-3
Suppose k + 57 = 5*k + 5*i, -2*k = 5*i - 41. Let t = k + -5. Solve -2*l + 5*u = 8, -t*u = -2*l - 3 - 1 for l.
1
Let v = -410 + 276. Let r be v/(-26) + 2/(-13). Solve -6*q + 5*q = r*z, 2 = 2*z for q.
-5
Let u be (-4 + -6)*1/(-2). Suppose -28 = u*w - 7*w. Solve 3*f + 4 = 5*j, 3*j + 4*f = -0*j + w for j.
2
Let l be -1 + -3*(-4)/12. Solve 2*g + 2*c = -2*g - 2, l = -2*g + c - 7 for g.
-2
Let j(i) = -4 + 3 - i**2 + 2*i**2. Let u be j(-3). Suppose v - 4*d = 5*v - 4, -u = -5*v - 4*d. Solve n - 30 + 5 = -4*l, l - v*n = -15 for l.
5
Let y(b) = -b**3 - 9*b**2 - 13*b - 38. Let g be y(-8). Solve 9 = -5*m + 3*t, 2*m = 6*m - 5*t + g for m.
-3
Suppose -4 = -3*p + 11. Let i = p + 3. Suppose -4*s = 3*v - 17, 5*s + 1 = v + i. Solve 2*m + 7 = 3*m + v*y, m + 11 = 3*y for m.
-2
Let i be (-102)/(-4) - (-21)/56*-4. Solve 4*x + 24 = -4*y, 2*y + 0*y + 5*x + i = 0 for y.
-2
Suppose 4*x - 11 - 21 = 0. Let i be (60/x)/(6/(-8)). Let h = i + 14. Solve 2*y + 8 = n, h*y = -n - 1 - 3 for n.
4
Suppose -5*z = -192 - 53. Let k = -31 + z. Suppose 0 = 5*p - 4*v - 42, -4*p + 2*v + 12 = -k. Solve 4*m + 5*w = -p + 25, -3*m = -5*w + 12 for m.
1
Let f = -9 - -14. Suppose 0 = -f*w + 25 + 10. Solve -q = -5*z - 16, -2*q = -3*z - 4*q - w for z.
-3
Let y = -2 + 5. Suppose -y*v = a - 17, -2*v + 3 = 5*a - 30. Solve 0 = -v*l - 0*l - c - 8, 0 = 5*l + c + 9 for l.
-1
Let v(i) = -4*i - 1. Let g be v(-1). Let h be 19/g + 2/(-6). Let z be h/9 + (-2)/(-6). Solve p - 7 = 3*p + 3*u, -p + 3*u + z = 0 for p.
-2
Suppose 3*l - 10 = 2*x + 15, 5*x + 15 = -2*l. Let n = 19 - 19. Solve -t + 13 = 4*y, 3*t - l*y = -n*y + 5 for t.
5
Let l = 74 + -59. Solve 0 = 3*q + l, -2*q = a + 7 + 3 for a.
0
Suppose 4*r = r. Suppose 4 = -2*d, r*p + 2*d + 1 = -p. Solve -o + 5*s + 5 = 0, 4*o - s - p*s = 4 for o.
0
Let z = -19 - -23. Solve -z*o + 13 = -j, -o - 4 = -3*o for j.
-5
Suppose 8 + 16 = 4*k + 2*d, 0 = 3*k + 4*d - 13. Suppose -i - 2 = -k. Solve -4*p + 6*p - i*z = -25, -4*z = -12 for p.
-5
Let m(l) = l**2 + 5*l + 4. Let d be m(-5). Let c = -3 - -8. Suppose 7*t - 80 = 3*t. Solve 0 = k + 3*j, t = c*k - j - d*j for k.
3
Suppose 4 = -2*z + 2*m, m + 2*m - 6 = 0. Suppose z = 3*x - 6, l + 4*x + 16 = 3*l. Let j be 18/8 + (-3)/l. Solve -5*g = -p - 2*p + j, 0 = 4*p + 5*g - 26 for p.
4
Let k be 1*2/(-2) + 3. Suppose -5*v = k*l + 6 + 5, -3 = v. Let o be -3 + 10 + l + 2. Solve 5*h - 2*h = -2*t + o, -h - t + 4 = 0 for h.
3
Suppose -2*w + p + 8 = 0, -w - w + 16 = 3*p. Solve 3*b = 2*y + 1, -w*y + 4*b = -1 - 0 for y.
1
Let p be 1*2 + (2 - 24/(-4)). Solve -4*s = -20, -5*y + 0*s - s = p for y.
-3
Let d(b) = b**2 + 2*b. Let g be d(-2). Suppose g = -2*i + 10 + 10. Solve 2*c = -h - 11, -5*h - i = -3*h for c.
-3
Let h be -1 + -2 + 17 - 1. Solve 5*w = -k - h, 4*w - w + 3 = -3*k for k.
2
Let z be (-10)/(-85) - 132/(-34). Solve 2*l = z*f - 10, 2*f = 5*f - 5*l + 10 for f.
5
Suppose -i + 8*i = 49. Solve 4*q - 3*q + u = i, -q - 2*u + 11 = 0 for q.
3
Suppose -17*m = -16*m - 3. Solve -6 = -m*g, g + 14 = 2*y + 2*y for y.
4
Suppose 23 = 5*b - 2*g, 0*g + 12 = -3*g. Suppose 2*r + 2*r = 204. Suppose -29 - r = -4*u. Solve 0*d - u = 5*d, 4*y + 4 = -b*d for y.
2
Let i(x) = 5*x**3 - 2*x + 1. Let v be i(1). Solve 0 = -5*w + 4*a - 18, -4*a - v + 2 = 5*w for w.
-2
Let v(g) = g**2 + 8*g. Let s be v(-8). Let c be s - 5/(15/(-9)). Solve -3*k - 22 + 4 = -5*l, c*k + 3 = 0 for l.
3
Let m(f) be the third derivative of -f**6/120 - f**5/5 + 13*f**4/24 + 3*f**3/2 + 2*f**2. Let w be m(-13). Solve -4*d = -5*k - 2, -5 = 5*k + 4*d - w*d for k.
2
Suppose 4*t + 1 = 17. Let c(f) = -f**2 - f. Let u be c(-1). Suppose u = -4*g - 0*g. Solve 15 = 3*v - 3*i - g*i, t*i = 0 for v.
5
Let b be -6*1*(-1)/2. Suppose 0 = -6*y + 2*y - b*i + 39, 19 = 4*y - i. Solve y*q - 2*q = -4*n, q = -5*n for q.
0
Let j(q) = 2*q**3 - 3*q**2 + 2. Let h be j(2). Let v = 8 - h. Suppose 0 = r - v*r. Solve r*w + w + 5 = 0, 2*w + 10 = g for g.
0
Let d = 212 + -209. Solve 4*a - 8 = 0, d*c = 2*c + 5*a - 13 for c.
-3
Let u(i) =