n - f for n.
-2
Suppose -k = 2*z - 4*k + 3, 3*z - 18 = -3*k. Solve -4*o - 3 = -3*u, 0 = 5*o - 2*u + z - 8 for o.
3
Suppose -5*b = -5*q, 32 = 3*b + 4*q + q. Solve b = -v, 0 = -2*c + 6*c + 2*v + 24 for c.
-4
Let w be 1/1 + (5 - (-2 + 1)). Solve 0 = 3*p + o + 6, -5*p - 2*o - 2 = w for p.
-3
Let n = 13 - 9. Suppose 0 = -3*d + 5*i - 18, 30 = -4*d - d - 4*i. Let t(o) = -5*o - 4. Let h be t(d). Solve 5*w = -a - h, 3*a - n = 7*a for w.
-5
Let k be (-6)/(-1) - 12/4. Solve -4*d + k*d = -3*b + 2, 2*b + 17 = -3*d for d.
-5
Let x = -3 + 6. Suppose 5*i = x*i. Suppose 4*z - 9*z + 15 = 0. Solve 4*h - 2*g + 4 = i, g - 5 = 2*h - z*h for h.
1
Let z(g) = g - 11. Let t be z(11). Solve -3*n - 12 = t, c + 5*n + 28 = 8 for c.
0
Let b be (-12)/9*(1 - 4). Solve -2*m - 3*r = -r + 2, b*m - 4*r = 28 for m.
3
Let h = 7 - -1. Suppose h*a - t - 15 = 3*a, t = -a - 3. Suppose 13 + a = 5*x. Solve -2*f = 3*p + 4, -5*f + x*p + 28 = -f for f.
4
Suppose -31 = -5*o + 4. Solve o = -c + 2*v, 0 = -0*c + 3*c + 4*v - 29 for c.
3
Let a be -4*((-12)/16 + -3). Suppose a = 5*h - 10. Solve 0 = 5*p - 4*t + 29, h*t + 10 = -3*p - 0*t for p.
-5
Suppose -4*c - 2*l = -30, -5*c + 5 = -2*l - 10. Solve -2*u - b + 8 - 3 = 0, -c*u + 7 = -3*b for u.
2
Let t(b) = -2*b - 14. Let i be t(-7). Solve c - 9 = -3*x, -4*x - 4*c = -i*c - 20 for x.
2
Let n(m) = 2*m - 13. Let l be n(9). Let h = -2 - -3. Suppose -7*j + 2*j + 2*t + 95 = 0, 0 = 3*j + 5*t - 57. Solve 4*w - j = l*a + h, -20 = 5*a for w.
0
Suppose 2*s + 0*s = g + 7, -g - 3 = -s. Solve -t + 2*q - 5 = -0*t, s = -2*t + 2*q for t.
1
Let f(l) = l**2 + 4*l + 2. Let v be f(-4). Suppose -3*i - 2*q - 4 = 0, 0 = -i + 4*q - 0*q - 6. Let r = i + v. Solve 4 = t - r*h - 5*h, -3*h = 3*t + 6 for t.
-1
Let c(z) be the second derivative of z**4/12 + 2*z**3 + 8*z**2 + 7*z. Let a be c(-11). Solve a*d - n = -16, -2*d + 0*n + 4 = -3*n for d.
-4
Suppose 5*u - 240 = -5*i, 0 = 5*u + 3*i - i - 255. Let n(v) = v**2 + 3*v - 6. Let j be n(-5). Solve f - 29 = -5*h, -5*f - j*h = -u + 13 for f.
4
Suppose g + h = -g + 4, -3*h - 3 = g. Let d = g - 1. Suppose 2 = 3*p + o + 4*o, p = d*o + 19. Solve 11 = -2*w - 5*k + 1, 5*w + 4*k = p for w.
5
Let p be 6/(-2*6/(-8)). Let d = 3 + -5. Let v be 2/6 + d/6. Solve a + n + 2 + 3 = v, -16 = -p*a + 5*n for a.
-1
Let f be 3 + -1 - (-132)/6. Solve -3*j - 2*y - 3*y = -f, -2*j = -5*y + 9 for j.
3
Suppose -6*o + 2*o = 2*t - 16, 0 = t - 4. Solve 0 = k + 3, 4*q = -o*k + 2 - 12 for q.
-1
Suppose b = 5*b - 24. Suppose 0 = -3*x + b. Solve f + 2 = -2*l, -4*l = -x*f - 0 + 4 for l.
-1
Suppose -b - 2 + 4 = 0. Let o = 3 + -3. Solve 2*p - 4 = -o*p, 21 = 5*d - b*p for d.
5
Let w be (-1)/((-3)/(-4))*-3. Solve -4*u = -2*g - 2, 3*u - 7*u = -w for g.
1
Suppose -1 - 11 = 3*n, -r - 16 = 3*n. Let f be (r/6)/((-4)/12). Solve -2*b - f*c - 2 + 4 = 0, -b - 3*c - 3 = 0 for b.
3
Suppose 22 = 3*k - 2. Solve 0 = -3*u - 6, k = -2*x - 4*u - u for x.
1
Let s be ((-9)/4)/((-3)/16). Suppose 2*g = 5*g - s. Solve u - 12 = -g*i, -7*u - 12 = i - 3*u for i.
4
Let c = 0 + 9. Let r = -12 + 12. Solve r = k - 4*m - 19, -4*k + 3*m + 20 = -c*k for k.
-1
Suppose q = -0*q - 4*b + 18, 0 = -4*q + 3*b - 4. Suppose -4*t + q*t = -14. Solve t*k - 2*j = 3*k + 6, 5*k = -5*j for k.
1
Let g = -19 - -36. Let h = 3 + g. Solve -4*t = -0*t + 4*b - h, -t + 5*b - 7 = 0 for t.
3
Let s = 0 + 4. Suppose -s*x = -2*x - 42. Let w = -4 - -7. Solve -5*b - x = 2*d, 5*d - 9 = b + w*d for b.
-5
Suppose -t = 2*t - 5*z + 5, t - z + 1 = 0. Solve s - 4*s - y = -3, t = -3*s + 5*y - 15 for s.
0
Let a = -43 + 103. Let c = a - 31. Solve 3*f = -0*f + 12, c = -3*k + 5*f for k.
-3
Suppose -2*y - c = y, 5*y + 2 = -c. Let z be 21/7 - (y - -4). Solve -4*j - 5 - 7 = z, 0 = -5*w + j - 17 for w.
-4
Let q be 0/(-1 - (-1 + -2)). Solve -3*k + d + 0*d + 11 = 0, q = 5*k + 2*d for k.
2
Let f = 0 + 6. Solve -b = d + f, 3*d + 0 + 13 = 2*b for d.
-5
Suppose 5*c - 10 = 0, 4*m + 2*c = -c + 6. Let n be (m - -2) + (-1 - -1). Solve 3*f = -n*u + 17, 4*f + f + 2*u = 23 for f.
3
Let k = 4 - 2. Suppose -2*v - 40 = -4*v. Suppose -3*g + v = -2*g. Solve -4*j = k*u - 6 + 22, g = 5*u - 2*j for u.
2
Let r be (1 - 0)*(5 + -4). Let d be r*-2 + (-16)/4. Let y = 8 + d. Solve -4*t = -6*t + y*n + 10, -2*n = 2 for t.
4
Suppose 5*q - 3*k = 13 + 9, -2*k = 4*q. Let o be ((-4)/(-3))/((-8)/(-24)). Suppose -u - o*u = 0. Solve q*p - 2 = u, -2*r - 4*p + 1 = 3 for r.
-3
Let i be (-19 - -4)*(-2)/(-3). Let b be (-2)/i + (-36)/(-20). Suppose -3*t = 2*t + 15, -b*t = -l + 14. Solve 4*k = o - 8, -5*k - l - 1 = -o for o.
4
Let n(d) = -d. Let t be n(-5). Suppose -7*b + 28 = -0. Solve 0 = -3*a + 4*w - b, 4*a = -5*w - 0 + t for a.
0
Let l = 2 + 4. Let x = l + -5. Suppose -5*g + 9 + x = 0. Solve 4*s = v - g + 11, -5*v = s + 3 for v.
-1
Suppose 2*h = 13 - 5. Let i be 2/9 + (-20)/90. Solve 2*a = 7*a + 4*t - 5, i = h*a + 4*t for a.
5
Let f be 18/1*(4 + -3). Let c be (-4)/f + 10/45. Solve -4*x + 4 = 0, c*i + 5*x - 5 = 3*i for i.
0
Suppose -a + 21 = 2*a. Solve t - 12 = -5*u, -5*u = a*t - 2*t - 20 for t.
2
Let o(c) = -c + 2. Suppose -2*k + 3*k = 0. Let m be o(k). Let l(x) = -2*x - 16. Let h be l(-11). Solve -2 = i, n - 2*i = m + h for n.
4
Suppose 0 = b + 1 - 0, 12 = x + 2*b. Suppose u - 3*c - x = c, 3*c + 9 = 0. Let k = u - 0. Solve 5*v - 5 = 0, 2*g - 4*v + k*v = -2 for g.
0
Suppose 0 = -2*i - 0*i + 4. Suppose 4*y - 14 = -i*a + 4*a, 0 = 5*y + a. Solve 2*w - 2*u = 0, 0 = -2*w + u - y - 1 for w.
-2
Let j(h) = -46*h**3 - h**2 - h - 1. Let o be j(-1). Suppose -4*s - o = -113. Solve 4*f + 7 = -3*t, -2*t + f - s = t for t.
-5
Let z = 12 + -11. Suppose -3 = -2*d + z. Solve -3*l + 10 = k - 0*k, d*k - 14 = -3*l for l.
2
Let r(u) = -u**3 - 8*u**2 - 6*u + 9. Let t be r(-7). Suppose -8 = 3*s + 4*z, t*z + 0*z = -4*s + 6. Solve -3*i = i + s*n - 8, -i + 2 = -4*n for i.
2
Suppose 0 = 4*l + 3*y - 9, 4*y = -3 - 1. Let h = l - 0. Solve o - 4*o + h*k + 6 = 0, -3*o + k + 12 = 0 for o.
5
Let s be (-2)/(2/2 - 2). Let b be 8 - (s/(-2) - -3). Solve 4*f - 26 = -2*r, f - b*f = -25 for r.
3
Suppose -3*x - 1 = -37. Let o = x - 5. Solve 0 = -3*q - 4*f + 6 + 13, 5*q - 3*f = -o for q.
1
Let z(b) = -2*b - 17. Let d be z(-10). Solve j - 5*x + 24 = 0, d*j + 0*j + 2*x - 13 = 0 for j.
1
Suppose 3*u + 2 - 11 = 0. Let n(g) = -g**2 - 10*g - 16. Let i be n(-7). Solve -2*h = 3*r - u - 2, i = r for h.
-5
Suppose 3*f + 3*r = 3 - 6, -3 = -3*f - r. Let h be 1 + -1 - -11*1. Solve -4*z - z + 4*w = -h, f*w = -5*z - 13 for z.
-1
Let c = -4 + 8. Solve 0 = i + 2*w - c - 2, -2 = -4*i + 3*w for i.
2
Let u be -4 - -1*(1 - -6). Solve -3*o = 4*y - 17, u*o = -y + 4 - 2 for y.
5
Suppose 5 = -5*r + 10*r. Solve 4*o + 2*x = 4, -o + 0*o - x - r = 0 for o.
3
Let c be 86/6 + (-1)/3. Let f be 24/21*c/4. Solve 4*w = -2*a - 12, f*a + 6 = -0*w - 2*w for w.
-3
Let g be (1/1)/((-4)/(-16)). Suppose 23 = -0*c + 3*c + g*x, -19 = c - 4*x. Solve 5*y = 3*o - 37, -14 = 5*y + 3*o - c for y.
-5
Let t = -7 + 12. Suppose -3*k + 20 = -4. Let w = k - t. Solve -4*a + 0*r = 3*r + 19, -w*a - 10 = -2*r for a.
-4
Let r be (12/21 - -3) + (-8)/14. Suppose 0*g = 3*g - 3. Solve 0 = 5*a - 0*a + 2*h - g, 3*a + 12 = r*h for a.
-1
Let m be (1 - (-14)/6)/((-16)/(-24)). Solve m*b - 35 = b - 5*y, 5*y - 15 = 0 for b.
5
Let j(f) = -f**3 - 9*f**2 - 2*f - 13. Let p be j(-9). Solve -k + 0*b = -p*b - 16, 20 = -5*b for k.
-4
Let n(f) = -f**3 + 10*f**2 - 6*f + 3. Let d be n(9). Suppose -j = 4*j - d. Solve -5*v - b = -j, 2 = 3*v - 0*v + b for v.
2
Suppose 3*s - 4*t - 21 = 0, -2*s - 3 = -0*s + 3*t. Let r be (0 + -1 - -3) + s. Solve 4*j + 3*h = 1, -r*h + 11 + 4 = 0 for j.
-2
Suppose 0 = -5*f + 19 + 16. Suppose -u + f = -3*o - 0, 0 = -3*u - o + 1. Suppose 19 = 5*d - u. Solve -3*r = 2*v - 15, d*v + r - 25 = -4*r for v.
0
Let r be (-4)/6*45/(-6). Suppose -r*m + 12 = 2. Solve 5*o - n + 0*n = 19, 0 = -m*o + 4*n + 22 for o.
3
Let m(c) = -c**3 + 8*c**2 - 6*c - 7. Let y be m(7). Suppose d + 9 + 3 = y. Let k be ((-8)/d)/((-2)/(-6)). Solve -8 = -2*h, k*r - 3*h + 10 = 2 for r.
2
Suppose 3*w = 2*i + 16, -5*w - 6*i + 3*i - 5 = 0. Solve 0 + w = -3*c - s, -c = -s - 2 for c.
0
Suppose 0*i + 5*i - 15 = 0. Suppose 7*j - i*a = 4*j + 3, 15 = 5*a. Solve 9*g - 9 = j*g - p, 5*g = -5*p + 25 for g.
1
Let a(f) = 10*f - 8 - f**3 - 15*f**2 + 5*f - 6. Let t be a(-16). Solve 0 - 3 = 3*g, 0 = -2*v + 4*g + t for v.
-1
Let g(d) = d**3