f**2 - 5*f + 36. Let g be c(-9). Solve -3*b + 6*b + n = 14, 2*n - 10 = g for b.
3
Suppose 2*d - 6 = 4. Solve 5*h - 5*j + 3 + 22 = 0, -15 = 3*h + d*j for h.
-5
Let x(j) = 6 + 5 + 1 - j. Let v be x(6). Solve 4*o - t = -15 - v, t + 11 = -4*o for o.
-4
Suppose f - 6*f = -4*c + 50, 3*c - 2*f - 41 = 0. Solve -r - n = 4*r - c, -3*n + 23 = 4*r for r.
2
Suppose -q + 0*q = 0. Let h be (-12)/14*(q + -7). Suppose 0 = -0*a - 3*a + h. Solve 25 = -u - 4*f, -4*u - 21 = a*f + 9 for u.
-5
Let p = 64 - 56. Suppose -2*f = 2*r - 2, 2*f + 2 = f. Let g = p - r. Solve -g*s = 5*w, -2*s + 4*w + 35 = s for s.
5
Suppose 32 = 7*f - 3*f. Solve -4*u + 3*u - 7 = -2*n, 4*u = -n + f for u.
1
Let i = 11 - 3. Suppose -2*b - i = -4*b. Solve -2*j = 6, 3*a - 3*j = 4*a + b for a.
5
Let x = -61 - -64. Solve 0 = 2*f - 0*f + x*d + 1, 4*d - 4 = 0 for f.
-2
Suppose -d + 2*z + 9 = 0, -3*z = 4*d - 2*d + 10. Solve -3*g - d = -v - 2*g, -4*v = g - 4 for v.
1
Suppose -4*n + 0*k = -2*k - 14, k - 14 = -5*n. Solve -n*t + 26 = -0*t - 5*y, -t - y - 2 = 0 for t.
2
Let o(k) = -7*k - 4. Let a(m) = 8*m + 5. Let r(d) = 5*a(d) + 6*o(d). Let v be r(-2). Suppose -3*p = -4 - v. Solve 4*x + l = 10, 0*x + 13 = p*x - 2*l for x.
3
Suppose -3 + 11 = 2*o. Suppose -15 = -9*g + o*g. Solve 4*z - g*k = -3, 0*z = z - 2*k + 7 for z.
3
Let f = -4 + 4. Suppose 5*j - d - 12 = 0, j - d - d - 6 = f. Solve 0*g - 5*g = -5*n, -j*g - 20 = 2*n for n.
-5
Suppose -4*b = 4, s + 5*b = -0*s - 3. Solve 3*r + m = -4 - 9, 0 = -s*m - 2 for r.
-4
Let y be 18/(-16)*-2 - 5/20. Solve 0 = 3*c - y*s, -4*c + 3*s = -2*s + 7 for c.
2
Let l be (-2)/11 + (-216)/22. Let o = -15 - l. Let s = o - -8. Solve g - 3*a = s, -3*g - 2*a - a = 15 for g.
-3
Let g = 0 + 0. Solve g = 5*q - 3*v - v - 21, 2*q - 10 = 2*v for q.
1
Let x(n) = 2*n - 6. Suppose 0 = -5*p - 3*y + 42 - 8, 0 = y - 3. Let v be x(p). Let i be v/(-10) + 87/5. Solve 5*a = -3*t + i - 1, -4*a + 5*t - 2 = 0 for a.
2
Suppose 3 = i + w - 4, 5*i - 20 = -2*w. Let v(s) = s**3 + 10*s**2 + 2*s + 23. Let u be v(-10). Solve u*l - 2*q = -6, -l + 0*l = -4*q + i for l.
-2
Suppose 4 + 5 = 3*s. Solve -s*r - 3 = -4*v - 4, -v = -3*r + 7 for v.
2
Let j be 5 + (-1)/(1/2). Suppose 3*b = -s - 37, -8*s - 141 = -j*s + 4*b. Let h = 48 + s. Solve -3*x + 27 = 5*p, -2*x = p + 3*x - h for p.
3
Let w(b) = -b. Let i be w(0). Solve i = t + 2*c + 3*c + 6, 2*t = c - 1 for t.
-1
Let v(r) = r + 8. Let d be v(-10). Let x be 2 + (-1 - (d - -2)). Let i(s) = s - 1. Let f be i(1). Solve z + p - 3*p + x = f, -2*p = -6 for z.
5
Let f(u) = u**2 + 19*u - 66. Let t be f(-22). Solve -d + 3*g + g + 16 = t, -9 = 3*g for d.
4
Let o(s) = -s - 1. Let f be o(-4). Solve -t = i - f*t - 10, -i - 6 = 2*t for i.
2
Suppose 2 = -2*z + l + 4, 0 = z - l. Solve -5 = 2*y + 5, -2*y - 12 = -z*n for n.
1
Let y(q) = 4*q + 4. Let h be (-3)/12 + 17/4. Let l be y(h). Solve 2 - 21 = -a + 4*v, -4*v = l for a.
-1
Suppose g + 3*v = -7, -g - v = g - 1. Let c(t) = 0 - g + 5 - 7*t**2 - t**3. Let w be c(-7). Solve y - 7 = -4*k + 6, w*k - 4*y = -14 for k.
2
Let g(t) = -t**2 + 11*t - 14. Let u be g(10). Let w = u + -21. Let d be (-2)/5 + (-210)/w. Solve -3*i - k = 2*k - 6, 0 = 2*i - k + d for i.
-2
Suppose -l = -o - 25, -3*l - 2*o - 28 = -4*l. Solve -z - l = -2*v + 3*z, -5*z = 20 for v.
3
Let j = 0 - 28. Let g be (-2)/(-6) + j/(-6). Suppose 4*h - g*k - 14 - 13 = 0, -4*k + 20 = 0. Solve 2*i + 3*y + h = 6*i, 4*i + 8 = -4*y for i.
1
Let d(t) = -t**3 + 13*t**2 + 29*t + 19. Let m be d(15). Solve -3*b + 4 = b - m*g, -b - g = -7 for b.
4
Suppose -36 = -2*p - 0*p. Solve 4*g = 3*s - p, -2*g - 2*g - 22 = -5*s for s.
2
Suppose -5*n = l - 10, -2*l - 3*n = 3*l - 6. Suppose l = x + 1 - 3. Solve 4*h - 3*h - x = -w, 5*w - 10 = -2*h for h.
0
Suppose 2*u + 3*n + 0*n - 3 = 0, 0 = -4*u + n - 1. Solve j + 2*x + 2 = u, 2*j + 0 = -3*x - 4 for j.
-2
Let t(v) = v**3 - 6*v**2 - 6*v + 2. Let s be t(7). Suppose 2*c + 3 = s. Let z be (-3)/(9/c) + 3. Solve -4*k - z*f - 3*f - 23 = 0, 0 = -k - 3*f - 11 for k.
-2
Let y(f) = -2*f + 8. Let g be y(2). Let j(z) = -z**2 - 5*z - 1. Let h be j(-4). Solve 0 = -2*m + p - g - 2, h*m = -5*p - 22 for m.
-4
Let v = -22 - -26. Solve 4*a = -0 - 4, -2*z + 4 = v*a for z.
4
Let t(w) = -8*w - 1. Let b be t(-1). Let p be (-2)/6*(1 - b). Let o = -5 - -7. Solve -2*y + u - 30 = 5*u, o*y + p*u = -20 for y.
-5
Let z(j) = j**2 + 5*j + 2. Let g(m) = -4*m**3 - m**2. Let i be g(1). Let f be z(i). Solve f*t - 4*n = t - 12, 3*t - n = -14 for t.
-4
Let n(i) = -i**2 - 6*i + 9. Let b be n(-7). Suppose -6 = -0*o - 2*o, -b*m + 12 = 2*o. Solve -7 = m*c + d, -2*d - d - 15 = 3*c for c.
-1
Suppose 0 = 5*n + 3*p + 47, 4*n - 5*p = -p - 12. Let g = n + 5. Let k be (-102)/(-24) + g/8. Solve 3*a = 2*a + k, -a - 2 = -3*h for h.
2
Let n(q) = -q**3 + 4*q**2 + 8*q - 6. Let r be n(5). Solve 2*h + u = -4, 2*h - h - 3*u = -r for h.
-3
Suppose -3*n + 4*d + 5 + 27 = 0, 3*d = n - 19. Suppose 9*u - n*u = 20. Let w = 4 - 0. Solve 17 = -5*f + u*b, 3*b + 4 = -f + w*b for f.
-1
Let t = -4 - -6. Suppose -h + t = -2. Suppose 4*x + h*b - 16 = 0, 2*b - 6 = -5*x + 4*x. Solve x*g - 8 = 3*s, -2*s - 4*g + 16 = -0*s for s.
0
Let t = -4 + 4. Suppose -o + 7 - 3 = t. Solve 0 = o*q + m + 12, -2*q - 6 = m + 2*m for q.
-3
Suppose 2*c = -3*z + 15, 3*z + 6 = 5*c - 0*z. Let n(s) = -2 - 3 + c*s - 3 - s. Let i be n(9). Solve -2*m - 2*h + 5 - 1 = 0, h + i = 3*m for m.
3
Let v(u) = -u**2 + 6*u - 2. Let j be v(5). Solve 3*b = 4*b - 2, -j*m - 13 = b for m.
-5
Suppose 3*v - 21 = -0*v. Let k be 16/(v/((-7)/(-2))). Solve 5*n + 2*f = -k, 4*f + 16 + 0 = -n for n.
0
Let i be (4/(-4))/1*0. Solve n + n + 4 = -3*m, i = 4*m + 2*n + 2 for m.
2
Let h(n) = 4*n + n + n + n**3 - 7*n**2 + 2. Suppose 0*i - 3*i - 4*a + 38 = 0, -i + 5*a - 19 = 0. Let r be h(i). Solve -5*x - 5 = 0, -r*o - 2*x + 1 = x for o.
2
Let w(j) = 3*j**3 + j**2. Let n be 0 - -1 - (2 + -2). Let h be w(n). Solve -4*z = 4*d + h, 3*d - 2*z + 1 = -2 for d.
-1
Let o(n) = -3*n. Let d be o(0). Solve d = 5*i + u + 5, 4*i - i - 4*u + 26 = 0 for i.
-2
Let h = 8 + -5. Let l(c) = -3*c + 0*c + 4 + h*c - c. Let t be l(3). Solve -z + 25 = 5*n, 5*n - t = n + 3*z for n.
4
Let s = 44 + -41. Solve -2*d + 3 + 2 = s*v, -2*v = d - 3 for v.
1
Let c be (8/6)/((-16)/24). Let u be (0 - -1)/(c/(-8)). Suppose -3*z - s = 4, s - u*s - 12 = 2*z. Solve 2*t - 6*t - 14 = 3*x, z = t + 2*x + 6 for t.
-2
Let u be (-2)/(-8)*(97 - -3). Suppose 0 = -2*s + 4*s - 10. Solve a + 2 = -h + 1, s*h - u = 5*a for a.
-3
Suppose -3*i + 3 = -2*k + 4, 4*k + 2*i = 10. Suppose -4*u + 86 = -3*d, -31 = 4*u + 3*d - 129. Let h = u - -2. Solve -4*y - 10 = k*r, -5*r - h = 3*y + 2*y for y.
0
Let q = 1 + 8. Suppose i = -2 + q. Let v = i + -3. Solve 3*t - v*m = -1, -t + 2*t - m + 1 = 0 for t.
-3
Suppose 5*u + 10*m = 5*m, 40 = 4*u - 4*m. Solve 0 = 4*t, 5*l + u = -9*t + 4*t for l.
-1
Let b(l) = -l**2 + 5*l + 20. Let o be b(6). Solve -2*j + o = 3*u, 4 + 4 = 4*u for j.
4
Let h(m) = 2*m - 4. Let l be h(3). Suppose 0 = -l*u + 5*u - 15. Solve -5*s + u*i = -s - 45, 5*s - 50 = 5*i for s.
5
Suppose 6*d - 5 = 19. Solve -3*b = j - 1 - 15, d*j = b - 1 for j.
1
Let t(j) = j + 20. Let v be t(-13). Solve -2*k + v*k = -3*d - 20, 1 = -k for d.
-5
Let l = 8 - 3. Suppose -5 = -2*r + m, l - 1 = r - m. Let x = -12 - -23. Solve 0 = t - r, 0 = 3*z - 4*t - 0*t - x for z.
5
Let k(d) = d**3 + 9*d**2 + 6*d - 10. Let s be k(-8). Suppose 0 = u + 5*x, 5*u - s - 17 = -2*x. Solve -b + 2 = u*l, 3*b + 0 + 9 = 0 for l.
1
Let o be 4/8 + (-33)/6. Let i = -1 - o. Solve i*z = 2*w + 1 - 5, z = -1 for w.
0
Let g(w) = -w + 4. Let q be g(4). Suppose -2*p + 4*u + 8 = q, -3*p + 18 = u - 5*u. Suppose -2*r - p = -7*r. Solve -5*k = -r*d, -d = d for k.
0
Let a(m) = 5*m**2 - m. Let c be a(-1). Solve -i - 5*y = -0*i + 3, -c = 2*i + 2*y for i.
-3
Suppose 0 = -4*g + 4*v + 12, -v - 3*v = 5*g - 33. Solve w = -g*f + 24, -4*f + 4*w + 21 = 3*w for f.
5
Let x(i) = i**2 + 8*i + 3. Let r be x(-5). Let u = 21 + r. Solve h + 2*v = u, h - 9 = -4*v + 4 for h.
5
Suppose 51 = 7*r - 4*r. Solve 3*k - 27 = -3*i, 3*i + r = i + 5*k for i.
4
Let g be 0 + (-34)/(-10) - (-2)/(-5). Solve -3*x + 3*h = 0, 5*x - 4 + 20 = -g*h for x.
-2
Let o = -8 - -15. Suppose 3*p + o - 19 = 0. Solve 0*a + p*l = a - 8, 3*l + 9 = 0 for a.
-4
Let z(p) = -9*p + 111. Let w be z(12). Solve 4*i = l + 9, -i + 4*l + w = 4*i for i.
3
Suppose 5*j =