, -4*c - n - 7 = -3*f for f.
3
Suppose -2*q = 2*q - 8. Let l be q/4*-13*-2. Let o = -5 + l. Solve o*h - 4*h = 3*b + 5, -2*b = 2*h - 6 for h.
2
Let l(f) = f - 1. Let j be l(3). Let q = 18 - 13. Let k be ((-2)/4)/((-2)/8). Solve 9 = k*y - q*y, a = -y - j for a.
1
Suppose -10*a + 30 = -4*a. Solve 3*v + 23 = a*o - v, -2*o + 5*v = -16 for o.
3
Suppose -4*j = -6 - 2. Solve -5*v + 9 = -4*o, 5*v + 3*o = -j*o + 45 for v.
5
Suppose -45 - 20 = -5*j. Let q = -2 + j. Suppose -5*w = -3*z + q, 0*w + 4*w + 6 = z. Solve 2*m - 3 = -5*c - 10, 0 = -2*m + z*c for m.
-1
Let v(b) = b**3 - 2*b**2 + 3*b + 2. Let c be v(3). Suppose 0 = 5*o - 10*o + c. Suppose 12 = -a + o*a. Solve 3*r - a*l = -12, -2*r - 4*l = -l - 9 for r.
0
Suppose 5*i - 3*l + 3 = 15, l = -i - 4. Solve 4*v = m + 21, -2*m + 13 = 3*v - i*m for v.
5
Suppose 4*i - 4 - 16 = 0. Suppose 5*w + 5*o = -5, 2*w - 12 = 4*o + 16. Solve w*z + h = 0, -2*h = -i*z - 6*h for z.
0
Suppose -4*c - 1 - 11 = 0, 3*c + 36 = 3*m. Solve u + 2*r + m = 0, -u - 3*r - 15 = -3 for u.
-3
Suppose 78 = 5*m + 3*w, -2*m + w - 86 = -7*m. Solve 0 = 3*x + 4*l + 15, -5*x - m = -5*l + 7 for x.
-5
Let y = 50 - 46. Solve -4*n = -5*g + 23, -3*g + 2*g + y*n + 11 = 0 for g.
3
Suppose -14 = 5*b - 4, -3*b = -3*z + 18. Suppose 2*x + 3 = -x, -4*x - 48 = -4*q. Let f = q - 6. Solve -2*h = -i - 1, -z*h + 5*h - 23 = f*i for h.
-2
Suppose 5*t + 18 = 2*s + 3*t, -4*t - 28 = -2*s. Suppose -z + 6 = -s*z. Let q be (-1 - z)/(1/3). Solve -4*r + r = u + 3, 3 = q*u + 3*r for u.
3
Suppose -f + 4 + 1 = 0. Let o(q) = 4*q + q**3 - 5*q**2 - 6*q**2 + 0*q + 6 - 3*q. Let x be o(11). Solve 0 = -f*b - d + 4 - 25, -5*b + 3*d = x for b.
-4
Let q = 4 - -3. Let f = -1 + q. Solve 2*a = 3*o + 9, 3*o - f*o - 4*a = -9 for o.
-1
Let a(h) = h + 17. Let o be a(-12). Let n(u) = -u**3 - 3*u**2 - u + 1. Let c be n(-3). Let k be 5/2 - (-2)/c. Solve 4*s - k*s - 7 = j, 0 = 3*j - o*s + 27 for j.
-4
Suppose -2*b + 3*b - 4 = 0. Let r = -3 + 6. Suppose 4*z = 2*i - 96, -z + 5*z = -i + 24. Solve r*w = -2*n - 1, -5*n = -w - b*w + i for n.
-5
Suppose 0 = -4*g - 2*g + 60. Solve 2*s = n - 3*n - g, -11 = 3*n - s for n.
-4
Let k(r) = r + 11. Let g be k(-9). Solve -5*p - 2*z + g = 0, 3*p = -z + 2*z - 1 for p.
0
Suppose -4*b - 4*f + 32 = -0*f, -5*f = -4*b + 14. Let w be (b/(-2))/((-6)/4). Let h = 2 - w. Solve 0 = -5*m - 3*r - 22, 3*r + h = -m - 2 for m.
-5
Suppose -92*m + 5 = -91*m. Solve 2*g = -4*p + 14, -5*p + 3 = -m*g + 23 for g.
5
Suppose b + 5 = -3. Let t = b + 8. Solve -4*c = 2*d + 3*d - 30, 2*c - 3*d - 4 = t for c.
5
Let b(m) = m - 3. Let x be b(8). Solve -g - g + 2 = -3*u, -4*g = x*u + 18 for g.
-2
Suppose -3*l = -0*l + 3. Let v = l + 4. Let h = 0 - -8. Solve 3*p + 9 = -5*x, h*p = 3*p + v*x - 15 for p.
-3
Suppose 11 = 5*a + q, -2*q = a + 3*q + 17. Solve a*o + 4 = -s - 3*s, s + 20 = 4*o for s.
-4
Let u(z) = -z - 3. Let c be u(6). Let j be (4 - -8)/(-3) - c. Solve 2*k - 2*f + 6 = 0, 4*f = j*k - 3*k + 12 for k.
0
Let d be (4 - 5)/(1/(-5)). Let z(b) = b**2 - 4*b - 1. Let j be z(d). Suppose 0*y + y = 0. Solve 0*r - j*r = y, -3*r = -4*l for l.
0
Let a be (5 - 3) + 108/(-1). Let j be 3/2 + 45/6. Let i be 2/j + a/(-9). Solve 0 = -3*h + h - x + 6, -2*h + 2*x + i = 0 for h.
4
Let d(u) = -u**3 + 7*u + 10. Let v be d(-2). Solve 0 = -4*y + 3*j - 4 - 1, y - v*j = 2 for y.
-2
Suppose 0 = 3*i - 5*s + s, 5*i - 11 = 3*s. Let w be (i + -7)*(-10)/6. Solve -2*q + 2 = -2*p, q + 2 - 3 = w*p for p.
0
Suppose 0 = -q - 3*q + 40. Solve 0 = 5*f - 7*f + 2*c - q, 0 = -4*c for f.
-5
Let b = -3 - -4. Suppose 4*h - b = 11. Solve -5*j + j = -n - 16, 4*n = h*j - 25 for n.
-4
Let b(w) = 10*w**2 + w + 1. Let h be b(-1). Let m be 6/(-30) + 212/h. Solve -3*a - 13 = a + y, 0 = 3*a - 3*y + m for a.
-4
Let d(z) = 3*z + 32. Let h be d(-10). Solve x - h*k + k - 2 = 0, 5*x - 13 = 2*k for x.
3
Let d = -30 - -48. Suppose 4*l - 4*y - d = 10, 26 = 3*l - 4*y. Solve -4*t - 1 + 21 = 0, -l*b - 4*t + 20 = 0 for b.
0
Let h = 89 + -87. Solve -4*s - 4 = -4*u, -2 = 3*u + h*s + 10 for u.
-2
Let k be (9/(-12))/(12/(-80)). Solve -3*c - u = 8, k*c + 0*u + 4*u = -11 for c.
-3
Suppose -3*h - 4*x = -8*x - 14, 4*x = -3*h - 2. Solve h*k = -2*l + 20, 4*k + l - 30 = -k for k.
5
Suppose c - l = -6 + 1, -c = -2*l + 10. Suppose c = -3*j - i + 43, 4*j - i - 48 = -0*i. Solve -3*u + 3 = -3*f - 18, 4*f = -u - j for f.
-4
Let v(w) = -2*w + 0*w - 1 + w. Let o be v(-1). Solve 3 - 6 = 5*r + 2*l, 3*r + 2*l + 5 = o for r.
1
Let u(x) = -2*x + 10. Let a be u(5). Solve -3*s = s + 2*b + 10, a = -s - 5*b + 11 for s.
-4
Suppose 0 = -3*k - 2*p + 85, 4*k + 3*p = k + 84. Let t = 5 - 3. Solve -4*x - 4*v + 16 = -t*v, 5*x - k = 2*v for x.
5
Let k be 4/6 + (-7)/(-3). Let c be -3*4/36*-6. Let g = c + k. Solve 0 = g*a + 15, 3*l + 0*l + 4*a = -18 for l.
-2
Let w = -25 - -41. Let y(s) = s**3 + 4*s**2 + 3*s. Let t be y(-2). Let n be (-2 - -10)*t/4. Solve -n*b + j = 6, 0*j - w = 5*b + 3*j for b.
-2
Suppose 2*a = 4*a - 24. Solve 4*v + v - l = 6, 3*l = a for v.
2
Suppose l - 4*l = -9. Suppose l*w - 14 = -2. Solve -5*n = w*o + 12 + 8, -n - 4 = -3*o for o.
0
Let n(v) = v**3 - 8*v**2 + 15*v - 14. Let t be n(6). Solve t*y = 3*o - 8, 0 = 2*y - 5*o + 8 + 10 for y.
1
Let g = 8 + -5. Suppose 0 = 3*t + g*u - 7 - 5, 0 = 4*t - 2*u - 16. Suppose t*m - 15 = m. Solve 0*a + 3*w = -3*a - 3, -m*w = 3*a - 5 for a.
-5
Suppose -4*x - 29 = -3*y, -3*y = -8*y - 5*x + 60. Solve 2*h = 4*h + p + y, -h = 4*p + 23 for h.
-3
Let m = 1 - -4. Solve -2*h + 7*h - n = -16, m*n = 4*h - 4 for h.
-4
Let x = 9 + -5. Suppose j + 17 = 5*c - 2*j, c = x*j + 17. Let y be 2 + c - (1 + -2). Solve -5*k - 13 = -4*q, k + 8 = y*q - 3*k for q.
-3
Let p be (-2)/7 - 60/(-14). Suppose 2*r - d - 10 = -0, p*d + 15 = 3*r. Solve r*u - 25 = -5*s, 2*u - 4*u + s = 5 for u.
0
Let z(s) be the second derivative of s**4/6 + s**3/6 - s**2/2 + s. Let a be z(-3). Let v be (2/4)/(1/a). Solve 5*o - v = -0*n - 3*n, -3*n + 3 = 3*o for o.
2
Let a = 41 + -21. Let z(y) = y - 5. Let n be z(5). Let u be (-1 - n - -3) + 2. Solve 18 = 5*x - 4*x - 4*h, 3*h + a = u*x for x.
2
Suppose 3*l = l + 4. Let s = 8 + 16. Let y be 186/s - l/(-8). Solve -2*z + 3*d - y = 0, -z + 6*z + 2 = 3*d for z.
2
Suppose -1 = -t + 2. Suppose 1 = 5*s - 4*g, -2*s + 6*s - 4*g = 0. Let a be 8*s + -2 - 2. Solve -t*z - 5*r + 14 = 0, -a*z + 2*r + 8 + 2 = 0 for z.
3
Let h = -16 - -18. Solve 2*b - 3*g + 6 = 0, -5*b - 15 = -0*b + h*g for b.
-3
Suppose 0 = -2*b - 5 + 21. Suppose 0 = a + 3*j - b*j - 28, 0 = 2*a - 2*j - 16. Solve 2*m - m + 2 = -x, a*x - 34 = 5*m for m.
-5
Suppose -3*p = 2*n + 45, 0*p + n = 5*p + 62. Let q = 8 + p. Let i be 6 + -1 - (-2 - q). Solve 7*o - 4*o - 5 = -2*y, -o = i*y + 5 for y.
-5
Suppose -2 - 3 = -5*f. Let g be ((-3)/(-6))/(f/(-16)). Let a = -4 - g. Solve -20 = 5*k - 4*y, y = 2*k + a*y + 8 for k.
-4
Suppose 2*p + p = 0. Suppose 5*g - 3*g = p. Suppose -s + g*s + 16 = 0. Solve 5*h = 10, -4*h + 6*h = 3*j + s for j.
-4
Let p = -1 - -3. Solve -p*a + 8 = 0, 3*i + 10 = 5*i + 3*a for i.
-1
Let x be -2 - -2*(-5 + 3). Let n(l) = -l - 1. Let v be n(x). Solve -q = 2*q + v*r - 7, -5*r = -q + 9 for q.
4
Let f = 26 - 3. Solve 2*i = -i - 4*d, -5*i = -d - f for i.
4
Let c(b) = 3*b + 1. Let h be c(5). Suppose 3*g + 4*o - 8*o = -h, 5*g - 5*o + 20 = 0. Solve 6 = -4*w - 2*z, g*z + z - 9 = 2*w for w.
-3
Let p(b) = b**3 - 3*b - 2. Let h be p(-2). Let c be h/(-12) + (-2)/6. Solve c*x + x = -2*t + 11, -4*t + 3*x = -7 for t.
4
Suppose -5*j = -4*a - 0*j - 12, 5*a = 2*j + 2. Let i be -2*2/(-12)*15. Solve -1 = a*u + 2*z + i, -u = 5*z + 23 for u.
2
Let d = 5 - 7. Let c be 62*(5/2 + d). Solve 0*i - 5*q + c = -4*i, 3*q - 17 = 2*i for i.
-4
Let j be 4/(-3)*(-3)/(-2). Let q(s) = 2*s - 4*s - 3 + 1. Let n be q(j). Solve -2*f = -o + 4*o - 10, 3 = 5*f + n*o for f.
-1
Suppose -2*y + 12 = y. Solve -5*a + 20 = 4*b + y, 0 = 2*b - 8 for a.
0
Let p be 6/21 + (-4)/14. Suppose 0 = -4*g + 3*g - 4, -5*n - 4*g - 1 = 0. Let z = n + 0. Solve p = -3*j - 5*u, 2*j = z*j + 2*u - 1 for j.
-5
Let x = 120 - 118. Solve -x*r - 1 - 8 = -3*l, l = 3*r + 10 for l.
1
Suppose -9 = -2*f + 3*a, -2*f + 0*a + 4 = 2*a. Solve -q - 3*q = -g + 1, f*q + 2*g = 13 for q.
1
Suppose 0 = 2*m - 3 - 3. Suppose 3 = 5*z - 22. Solve k = -p - z, p - 19 + 8 = m*k for p.
-1
Let q be 1 - 0 - -6 - 2. Let i be (-3)/((3/(-36))/1). Suppose 2*f - 3*f + 24 = 5*r, -2*f + i =