= 4*f + 2, -d*i = -2*f + 8 for f.
-1
Suppose 23 = 5*o - 4*o. Let i(w) = 11*w - 22. Let x(t) = -6*t + 11. Let h(z) = 4*i(z) + 7*x(z). Let k be h(8). Solve -5*n = -5*y + k, 5*y + 4*n + o = 1 for y.
-2
Suppose 5*o - 9*o = -52. Solve 9 = -a - 5*h, -4*a + 2*h - o = -h for a.
-4
Let s(t) = 2*t**2 + t - 1. Let q be s(-2). Solve -2*i + q*b = b - 14, 9 = -i - 2*b for i.
-1
Let g(o) = -3*o + 2*o**2 + o + o - o**3 - 3*o**2. Let c be g(-1). Solve -5 = 5*x - 0, -y + 2*x - c = 0 for y.
-3
Suppose -2*h - 5*t - 31 = -5*h, 2*t = 2*h - 14. Let w = 7 - h. Solve 0 = -4*o + 4*k - 4, -2*k = w + 3 for o.
-5
Suppose 0 = -3*y + 2*p + 62, -4*y - 58 = -7*y - 2*p. Let o = 6 + -11. Let t = o + 8. Solve -2*u = z + 4, t*u + y = u + 3*z for u.
-4
Let f = -13 - -19. Solve x = -w + 5*x + 3, 2*w - f = 5*x for w.
3
Suppose a = k, -4*k = -2*a - 0 - 4. Let t = 28 - k. Solve 5*l = f + t, -f + 9 = -2*l + 4*l for f.
-1
Let j(q) = -q + 6. Let v be j(4). Suppose 0*b - v = -2*b, 0 = 3*y - 4*b - 5. Solve -2*p + 0*n = -3*n, -p = -y*n for p.
0
Let o be 5 - (-2*1/(-2))/(-1). Solve 2*c = o, c + 17 = -r + 6*r for r.
4
Let l be (-1 - -4)*(5 + (-3 - -4)). Solve x = 5*p + 3 + 9, l = -3*p - 3*x for p.
-3
Let y = -28 - -32. Solve -3*f - 1 = -3*g + 2, -5*g = -y*f - 8 for f.
3
Suppose 0 = -5*d + 7 + 8. Solve 2*n + 3 = -i - d, -4*n - 12 = -2*i for n.
-3
Let f = 13 + -13. Solve 2*a + 0*a - 1 = 3*u, -3*u + 3*a - 6 = f for u.
3
Let z be (-6)/(-4) + (-2)/4. Suppose -4*x - 6 = -2*l, z = -l - 4*x + 4. Solve 17 = -l*q - j - j, q + 8 = -3*j for q.
-5
Let q = 0 + 0. Let z(w) = -w**2 + 8*w + 2. Let d be z(8). Suppose -2*p = d*p - 8. Solve -3*h = -k - 2, q*k - p*k - 11 = h for h.
-1
Suppose 3*o = 2*o + 4. Solve 32 = -4*f + 4*a, -4 = -o*a + 8 for f.
-5
Let j be 48/28 - (-6)/21. Solve -10 = 4*g + k, -j*g - 18 = -5*k - 2 for g.
-3
Let f be (12/5)/((-6)/(-15)). Solve -4*q - q = p - f, 0 = p + 4 for q.
2
Suppose -j - 4*v - 5 = -6*j, 2*j - 20 = -2*v. Solve y - 1 = x + 3*x, -j*x = y + 8 for x.
-1
Suppose 2*y = 2 - 6, -3*u = y - 124. Let z be (-1)/(-6) - (-161)/u. Solve 3*p = f - 8, 0 = f - 4*f + 2*p - z for f.
-4
Let c(k) = 6*k**2 - k - 1. Let u be c(-1). Suppose 0 = 3*o - 6*o + u. Solve 3 = -3*f, a - 2*a - o*f - 4 = 0 for a.
-2
Suppose 0 = 4*a - 3*z - 64, -64 = -4*a - 6*z + z. Solve n - a = -4*u, 2*n = -n - 4*u + 24 for n.
4
Suppose 0 = -q - 5*o - 11, 4*q + 5*o = o + 4. Solve -6*u + u + m + 26 = 0, q*u = -m + 19 for u.
5
Suppose -l = -9 - 3. Let a = -22 - -9. Let q(p) = -p**2 - 14*p - 8. Let x be q(a). Solve -2*m = x*f - 16, 2*m + 5*f - 2*f = l for m.
3
Suppose 0 = 3*d - 3*a - 3, -4*d + 5*d - 3*a + 9 = 0. Let j be 2*d/2 - 2. Solve -3*m + 16 = -s, 4*s = 2*s - 3*m + j for s.
-4
Suppose 5*j = -2 + 7. Let n be -10*(-3 - j*-2). Let f be -1*2*(9 - 11). Solve -5*z = x - n, f*x - 5*z = 15 - 0 for x.
5
Let m be (-16)/(-10) - (-2)/5. Let a be -2 - (2 - 5) - -5. Let c be (-24)/18*a/(-4). Solve 2*k - m*d + 0 = -2, k - c*d - 3 = 0 for k.
-5
Suppose 5*q + 17 = -4*n, n + 0*n - 5*q - 27 = 0. Solve n*f + 9*p - 2 = 4*p, 3*f - 4*p + 20 = 0 for f.
-4
Let f(k) = -k**3 + 4*k + 3. Let o be f(0). Solve -10 = -2*m + o*y, 0*m + 5*y + 10 = 2*m for m.
5
Suppose -2*g = -0*g - 10. Let t(n) = -3*n**3 - n**2. Let a be t(-1). Let o = -1 - -1. Solve o = 3*d + a*z - 21, -2*z = -g - 1 for d.
5
Let s be 10 + (4 + -4 - 5). Solve s*o - 3*a = 4, 0 = 2*o + a + 5 for o.
-1
Suppose 5*g - 18 - 27 = 0. Suppose 4*r - g = 3. Let w = -12 - -15. Solve 4*v - 18 = -2*a, 2*a - w*v + 11 = r*a for a.
5
Let r(q) = 20*q**2 + q. Let v be r(-1). Solve -o + 4*m - 23 = 0, -4*o - 8 - v = -3*m for o.
-3
Let c = -35 + 35. Solve c*t - t - 5 = 2*p, 5*t = p + 8 for t.
1
Suppose -4 = -3*d + 38. Solve 3 = -4*i - 3*c + d, -1 = -4*i - c for i.
-1
Let u(j) = -j**2 - 11*j - 9. Let g be u(-7). Solve 4*x - a - 7 = 0, -4*a - g = -4*x - 3 for x.
1
Let h be (6/(-5))/(9/(-30)). Let c(d) = 2*d**3 - 4*d**2 + 4. Let q be c(2). Solve 2*a = 4*u, 5*u - u = q*a + h for u.
-1
Let w(m) = m**2 - 6*m - 12. Suppose -p = -5*d + 3*p + 65, d - 4*p - 29 = 0. Let c be w(d). Solve 2*h - h - c = 5*n, 0 = -2*n + h - 9 for n.
-2
Let b be (-133)/(-21) - 2/6. Solve 5 = f - 5*d, 4*f + d - 5 = b*d for f.
0
Let g(s) = 20*s**2. Suppose -2 = 4*t - 2*t. Let y be g(t). Solve j - 8 + 20 = 2*x, 4*x - j = y for x.
4
Let u(f) = f**3 + 3*f**2 + 2. Let o be u(-3). Let n = -15 - -31. Let p be ((-2)/(-4))/(2/n). Solve h = -3*s + 6, -h + 10 - o = p*s for s.
2
Let p(r) = -r. Let d be p(-2). Solve -4*h - 20 = -6*t + t, 4 = -d*h + t for h.
0
Let r be ((-2)/(-2))/((-2)/(-30)). Solve -3*d = -3*t - r, 0 = -5*d - t - 0*t + 1 for d.
1
Suppose 4*i - 16 = 3*l, -i + l = 3*i - 16. Solve -5*a + 2*a - k - 5 = 0, 4*a = -4*k + i for a.
-3
Let p = -15 + 26. Solve w = -5*j + p, w - 2*j + 3 = -0 for w.
1
Let m be 4/(4/3) - 3. Suppose -3*x + 6 = -m*x. Solve 2*g + 0*b - x = -2*b, -g + 1 = -4*b for g.
1
Let a(v) = v**3 - 6*v**2 + 5*v. Let g be a(5). Suppose 3 - 12 = -3*y. Solve -4*c - 3*m = m - 36, y*c - 2*m - 2 = g for c.
4
Let h(z) = z**2 - 7*z - 14. Let w be h(9). Solve -4*p = 4*k + w, -2*p = -2*k + 1 + 1 for k.
0
Let b be -2 + (-22)/2 + 3. Let f = -6 - b. Solve -2*l + f*y - 1 = -27, 4*l - 4*y - 32 = 0 for l.
3
Let i(u) = u**2 + 4*u - 3. Let y be i(-5). Solve 0 = 4*g + 3*f - 32, -2*g + 5*f = y*g for g.
5
Let s = 6 + -4. Suppose c + s*x = 14, 6*c - x - 11 = 2*c. Suppose -n = -c*n + 12. Solve 0 = -n*u - 2*y - 6, -u - 4*u + 5*y - 45 = 0 for u.
-4
Suppose 2*o - b - 9 = 4*b, -b = -o + 3. Suppose -o*v + 6 = -2. Solve 0 = 5*k - v*n - 17, 8 = 6*n - 2*n for k.
5
Let r = 25 + -8. Let v = r - 1. Let z = 24 - v. Solve 10 = 3*x - z*x, -18 = -2*j + 5*x for j.
4
Let v be (-6 - -3) + 3 - -2. Solve 4*y + 12 = -d, -3*y = d + v*d for d.
4
Let k = -11 - -11. Suppose -5*v - 28 = -2*w, -w + 3*v + k = -16. Let z(h) = -31*h. Let i be z(-1). Solve -5*l = -3*t + i, -3*t - 3*l - w = 5 for t.
2
Suppose -3*o = -3*k - 2*k + 12, -2*k + 3 = -3*o. Solve -h + 8 + o = -2*p, 12 = 4*h for p.
-3
Let s(c) = -c + 4. Let y be s(4). Suppose y = -3*o + 3*q + 2*q - 5, q = 1. Solve 0 = 2*p + 5*k - 15, 4*p - k + 3 = -o for p.
0
Let k be (-3 + 0)/(2/(-2)). Solve -2*j + 5*m + 4 = 0, 0 = -k*j - 3*m - 0 + 6 for j.
2
Suppose -5*j + 45 = -4*u - 42, 2*j = 3*u + 32. Solve m + n = -2*m + 9, j = 2*m + 5*n for m.
2
Let v be 5 + 6 + (0 - (-1 + 3)). Solve -2*g - 3*c + v = -0*g, 5*g - 6 = -2*c for g.
0
Let c(i) = i**2 + 8*i + 7. Let l be c(-7). Suppose -4*f + 19 - 3 = l. Solve 0 = 2*a - f*u - 16, 5*a = -0*a + 2*u + 8 for a.
0
Suppose 0 = 3*f - 3 - 0. Solve -3 = -3*m, 4*p - 3*m - 8 = f for p.
3
Let o(l) = -2*l**2 - 13*l + 10. Let s be o(-7). Solve 3*i - j = -4, 0 = 2*i + 2*j + s*j + 31 for i.
-3
Let d(k) = 10*k**2 + 1. Let c be d(-1). Let v be ((-12)/(-44))/((-2)/(-22)). Solve -4*t + 4*w = 4, v*w - c = -5*t - 0*w for t.
1
Let x(f) = f**2 - 4*f + 7. Let t be x(6). Solve 0 = -5*m - 0*u + 3*u - t, 0 = 5*m - 2*u + 16 for m.
-2
Let k = 3 + -5. Let m be (k - 0)*15/(-6). Solve m*v = -6*p + 3*p - 28, 4*v = -4*p - 24 for p.
-1
Suppose -5*k + 18 = 2*i, -4*k = -2*i + 3*i - 15. Suppose k*z + 4 = 4*p, -4*z + 9 + 14 = 5*p. Solve 0 = -4*d + 4*b - 24, 3*d + 0*b + z = -b for d.
-2
Suppose 3 = 3*o - 3. Solve -g = -4*n + 29 - 8, 5*g = -o*n + 5 for n.
5
Let d be ((-6)/8)/((-2)/8). Suppose q - 20 = -d*q. Suppose -2*o = -2*w + 4 - 2, -4*o = -q*w + 7. Solve 3*b = -w*j - 3, -2*j - 6*b = -b + 8 for j.
1
Suppose 6*z + 42 = 13*z. Solve -3*b - z = -i, -2*i + 6 = -7*b + 4*b for i.
0
Suppose -5*m + 49 + 11 = 0. Solve 6*v = -3*q + v - m, 3*q + 2*v = -3 for q.
1
Let q = -3 - -8. Suppose -4*o - 4*m + 3*m + 11 = 0, -q*o = -4*m + 2. Let y = 6 - o. Solve -h + 2*c - 9 = -4*h, 17 = h - y*c for h.
5
Let b be 34/6 - (-2)/6. Suppose -b*f = -f - 15. Let p(y) = -y + 3. Let d be p(f). Solve 6 = 2*n - 5*g, -2*g - 2 = -n - d for n.
-2
Let x be 0/((-4)/2 + 3). Let r = 0 + x. Suppose -5*s + r + 5 = 0. Solve -s = 2*t - t - h, h = -t - 7 for t.
-4
Let i be 26/2 - (2 - 0). Suppose -3*p - 2*s + 14 = 5, 3*s - i = -4*p. Solve 0 = b + p*u - 15 - 0, 4 = u for b.
-5
Let p be -1 - 1 - -1 - -1. Let a(i) be the second derivative of i**4/12 + 2*i**2 - 11*i. Let c be a(p). Solve -2*m - 3*m - 2 = s, 8 = c*m - 4*s for m.
0
Let t be (-5 - -5)*2/(-4). Solve -z - z = -5*v, t = -5*z - 5*v for z.
0
Let m = -3 - -29. Solve -o - 3*o - d + 18 = 0, 3*d - m = -5*o for o.
4
Let 