 - 9 for n.
-2
Let g = 0 - 0. Let f = 17 - 10. Suppose 0 = 5*d - 22 + f. Solve -5*h + 2*a = -h + 2, g = -4*h - d*a + 13 for h.
1
Let n = 1 + 19. Suppose 3*j - 5*k = 1 + 14, 4*j + 5*k = n. Solve -2*t = j*g - 28, -3*t = 5*g - 1 - 31 for g.
4
Let u be 0/(3 + -2) - -2. Let q be (-1)/(-4 + u - -1). Let r be (-27)/2*8/(-6). Solve -5*a = -4*t + 7, 0 = 5*t + 4*a - q - r for t.
3
Suppose 0 = 3*d - 4*d. Suppose -g - 5*a + 19 = 6, 4*g + 4*a - 52 = d. Suppose -g - 3 = -z. Solve -b = 2*p + 5 - z, -4*b + 3*p - 11 = 0 for b.
1
Let x be -1 + 0 + (2 - 1). Let z be (-396)/(-48) - 2/8. Suppose 2*h - 12 = -y + z, -5*h = 0. Solve -t - 4*t - 5*s = -y, -t - 5*s = x for t.
5
Let y(h) = -2*h**3 - 3*h**2 + 1. Let q be y(-2). Suppose 3*z - 10 = q. Let v = -2 + z. Solve -1 = v*m - 7, 23 = 5*c - m for c.
5
Suppose 0 = 3*y - 4*y + 9. Suppose 0*f + y = 3*f. Let n(q) = q**3 + 7*q**2 + 6*q + 4. Let r be n(-6). Solve 0 = -3*b + 3*z - 3, -3*b = -0*b - r*z + f for b.
-1
Suppose 5*s + 4*o - 38 = -0*o, -s = 5*o - 16. Let x = -1 - -1. Suppose 4*u = -2*r + 72, -r + 2*r - 3*u - 16 = x. Solve 0*v + n = v + s, -5*v + 4*n = r for v.
-4
Let o(m) be the first derivative of m**4/4 - m**3 - m**2/2 + 2. Let s be o(3). Let t be s/12 + (-42)/(-8). Solve t*i - 2 = -4*x, -3*i - x = i + 5 for i.
-2
Suppose 2*b + 2 = 2*q, 2*q + 5*b - 4 = 12. Solve -8 = 2*w - 0, 0 = 3*z - q*w - 27 for z.
5
Let b be (-4)/(-6) - 111/(-9). Suppose 0*o - 3*q + 54 = -3*o, 2*q - 96 = 5*o. Let r be 1 - 0 - (o - 1). Solve 0 = 4*y + 3*p + b, 7*y - 2*y - 2*p = -r for y.
-4
Let b be (-9)/12 - (78/(-8) - -4). Solve -3*o + 2*o - 4 = 0, b*y + 4*o = -21 for y.
-1
Suppose 3*r - 4*a - 1 = 11, -a = 3*r + 3. Solve -3*v + 6 = r, -2*b - 3*v = 2*b - 2 for b.
-1
Let s = 0 + 2. Let h be (15/(-9))/((-7)/21). Solve -5*k - h*g + 10 = 0, 18 = 5*g - s for k.
-2
Let p(r) = -2*r**2 - 8*r + 3. Let a be p(-4). Suppose -6 = -6*j + 3*j. Suppose 0 - 8 = -4*z. Solve j*f - a*b + 0 - 7 = 0, -z*b + 2 = -3*f for f.
-4
Let x(m) = 4*m**2 - m. Let d be x(1). Let z be (-9)/(-6)*(d - 1). Solve 5*q = s + 4, 2*s + 4 = s - z*q for s.
-4
Suppose 5*o = -0*o. Suppose o*c = -3*c + 9. Suppose -2*q + c = -5. Solve 2*m = m - q*k - 14, -3*k = -4*m + 20 for m.
2
Suppose y + 4 = 7. Solve 3*p + 3*m - 21 = 6, 23 = y*p + 2*m for p.
5
Let f be (-78)/(-8) - (-4)/16. Suppose f*m - 5*m - 45 = 0. Suppose -5*h = 2*x - 24, -2*h + 4 = 5*x - 14. Solve 0*g - x*g + m = 3*i, -23 = -4*i + g for i.
5
Let j be 22/5 - (-2)/(-5). Let r = 7 - j. Solve g + 7 = -2*q, -2*q - g = r*g + 16 for q.
-2
Let x(v) = 11*v**2 + 1. Let d = 12 + -13. Let g be x(d). Suppose 0 = 2*z + 3*z - 145. Solve -h + g = -2*r, -5*r = -3*h + h + z for h.
2
Let l(y) = -4*y + 11*y**2 + 6*y + y**3 + 5*y - 12. Let g be l(-10). Solve 6 - g = -2*j + 5*s, -3*j + 2*s = 4 for j.
-4
Let m be 183/9 + (-4)/12. Suppose -4*i + m = i. Solve l = -4, -18 = -i*s + 2*l + 10 for s.
5
Let o be (0/(-1))/(-1 - 2). Suppose -2*k + 5 - 1 = o. Let w be (-1)/3 + (-62)/(-6). Solve -f - 7 = -5*d, 2*d - k + w = -5*f for f.
-2
Let t(z) = 2*z**3 - 3*z**2. Let v be t(3). Suppose u + 3*u + y - 7 = 0, 3*y = 4*u - v. Solve -u*a = -n - 15, 0 = -4*a + 3*a - 5*n + 5 for a.
5
Suppose 2*d + 3*p + p = -10, -2*d - 2*p = 2. Let a = -1 + -3. Let k be 2/a - (-5)/10. Solve 14 = -2*i - 6*l + 4*l, k = -i + l + d for i.
-2
Let y(i) = -2*i + 32. Let b be y(15). Solve b*u = -4*p, 0*u + 5*u = 3*p for u.
0
Let i = 19 - 27. Suppose 4*u - 4*r = 56, u - 23 = -0*u - 2*r. Let c = u + i. Solve 0 = -q + 3*t - 6, -3*q - 4*t = -12 - c for q.
3
Let p = 276 - 273. Let x be 6/8*(-1 - -5). Let r be (-12)/(-5) + 2/(-5). Solve -2*j - x*j - 5 = p*w, -r*w = 2*j + 2 for j.
-1
Let r be (-5)/(-15) - (-2)/(-6). Solve 5*f + 3*m + r = -3, 1 = -m for f.
0
Let r be (-3)/(-3)*(3 + -2). Let y be (1 - 0) + r + -1. Suppose 46 - y = 4*m + 5*v, 4*m - 2*v - 10 = 0. Solve 2*o + 29 = 5*u, 0 = m*u - 5*o + 6 - 41 for u.
5
Let g be (-32)/3*(-18)/12. Suppose -t = -6 + 3. Suppose -2*r = 4*i - g, -t*r + 4*r + 1 = i. Solve 0 = -3*k + r*q + 6, -3*k + q = 5*q - 6 for k.
2
Let f be (-1 + 12/(-8))*-14. Let j be (-18)/(-5) - (-14)/f. Solve -3*s = 5*u + 12, 0*u + 3*u = -j*s - 16 for s.
-4
Let u = 41 - 19. Solve 3*s - 2*j - u = 0, -2*s + s = -4*j - 24 for s.
4
Let q be (-1)/(1 + (-40)/38). Let o = q - 16. Solve -3*k - 11 = 4*w, -2*k + 2 = o*w + 9 for k.
-5
Suppose 0 = 4*t - 3*t + 5*f + 6, 2*t = -4*f. Suppose 2*x = -a + 8, 2*a + 20 = 4*x + x. Suppose 5*o + a*o = 50. Solve -2*p - 2 = -t*p + j, 2*j = -2*p - o for p.
-1
Suppose -27 = -3*o + 3*d, 3*o + 4*d + 21 = 4*o. Let g = o + -3. Solve 0 = 5*k + g*w - 6, -3*k - 2*k + 20 = -5*w for k.
2
Let j be 1/(1 - (-252)/(-255)). Suppose -4*g + j = g. Solve -2*b = 5*v + 2*b - g, 2*b - 6 = 0 for v.
1
Let m be (-3)/2*8/(-12). Let o = 5 - m. Solve -4*j - 3*i = -10 - o, 5*i - 6 = 2*j for j.
2
Suppose -3*i + 0 - 6 = 0. Let f(z) = z**2 + z + 2. Let l be f(i). Solve -l*r + 10 = 3*v - v, 0 = -5*r + 10 for v.
1
Let z = 0 + 6. Let p(b) = b**3 + 3*b**2 - 5*b + 1. Let d be p(-4). Suppose 4*t + 4 = d*t. Solve 4*a - 11 = 3*w, -2*w = t + z for a.
-1
Suppose 1 = 2*o - 3. Let t = -11 - -32. Solve w - 3 = o*k - 0, -2*k - t = 5*w for w.
-3
Let y(f) = f**3 - 16*f**2 + f - 8. Let m be y(16). Solve 3*x = -5*i + 4, 2*x + 0*x = 2*i + m for x.
3
Let t(w) = 3*w**2 + 4*w + 2. Let n be t(-2). Solve -2*k - 5 = 3*v, n*v + 16 = 2*v + 2*k for v.
-3
Suppose -5*i - 10 = -35. Suppose i*r - 17 = f, -r + 10 = -0*r + 2*f. Solve q + 7 - 2 = 5*d, q - 4*d = -r for q.
0
Let q(r) = r**2 + 7*r + 3. Let b be q(-7). Suppose 2*f - 4 - 4 = -b*g, -6 = -2*g - f. Solve 3 = 3*o + 2*w, 2*o + 2*o - g = -w for o.
1
Suppose -3*c - 30 = 9. Let l = c - -18. Suppose 0 = -z + l - 3. Solve -4*s - z*x - 10 = 0, 2 = -3*s - 3*x - 1 for s.
-4
Let k = 4 + -4. Let j = k - -5. Solve 0*t + u = -4*t + 15, j*t + u = 20 for t.
5
Suppose -3*d + 17 = 2. Solve 0 = -3*z - 3*x + 6, d*z + 4*x - 3 = 2 for z.
-3
Let a be (-1)/3 + 80/6. Let u = a + 2. Solve 2*j + 17 = 4*z - z, z - 3*j - u = 0 for z.
3
Let n = 0 + 4. Let y(l) be the third derivative of l**5/60 + 7*l**4/24 + l**3/3 + 4*l**2. Let w be y(-7). Solve w*f = 3*k - 4, -f + n*k = -2*f + 9 for f.
1
Suppose -44 = -b - 3*b - 4*u, -3*u + 41 = 4*b. Let q = -7 + b. Solve -4 = -5*c + 4*k + 1, c + k - q = 0 for c.
1
Let w(s) = s**2 - 11*s + 2. Let q be w(11). Suppose -3*t - q*n = -12, 6*t = t + 3*n + 20. Solve 0 = t*v - 5 + 25, 0 = 3*k + 3*v + 15 for k.
0
Suppose -2*o - 5*j + 34 = 0, 7*j = o + 2*j - 2. Suppose 3 = -3*n + o. Solve -2*v = u + n*v + 17, -4*u = -v - 16 for u.
3
Let g(u) = -8*u**2 - u. Let c be g(-2). Let v be (-24)/c*1*5. Suppose -8 = 2*d - v*d. Solve 3*h - h - o = -3, 0 = -d*h - o - 3 for h.
-1
Suppose -5*v + 2*p + 10 = -30, 0 = -5*v - p + 40. Let h = v - 3. Solve -2*o - 12 = 2*z, 0*z - h*o = -5*z + 20 for z.
-1
Let z(m) = m + 9. Let j be z(-6). Solve j*t + 4*f + 25 = 0, 0*t + 5*f + 11 = 3*t for t.
-3
Let z = -34 + 38. Solve -x - 3*k + 3 = -k, -z*x = -5*k + 27 for x.
-3
Let z(o) be the third derivative of 1/8*o**4 + 0 + 2*o**2 + 0*o + 1/6*o**3. Let l be z(1). Solve -l*d + 4 = -4*u, 3*d - 14 = -u - 3 for d.
3
Suppose -57*i + 54*i = -9. Solve 3*j = -4*f - 8, -j = -f + i - 12 for f.
-5
Suppose 3*w = 8*w - 20. Suppose 0 = 4*z + v - 88, -z + w*v + 13 = 2*v. Solve -5*u = -h + z, 3*u = 3*h - 16 + 1 for u.
-4
Suppose o - 34 = -5*r, -3*o + 16 = o. Let w be 4/6 + (-4)/r. Solve w*m = 4*x + 4*m - 16, -x + 3*m = 0 for x.
3
Let y(i) = i**2 - i. Let u be y(0). Let r be ((-3)/2)/((-9)/30). Solve -a + 12 = 5*q + 1, 3*a - r*q + 27 = u for a.
-4
Suppose -v + 2 + 2 = 0. Let a(r) = r - 2. Let o be a(v). Suppose 4*l - 22 = -o*j, 6*l - 31 = -3*j + l. Solve 4*s + m - j = 0, -3*s + 19 = -m + 5 for s.
3
Let m = 19 + -16. Suppose -m*k + 18 = -k. Suppose -5 = -2*j - 1. Solve -5*z - 10 = -k*t + 4*t, -j*t = -5*z + 5 for z.
3
Let j(x) = 4*x**2 - 1. Let p(i) = i**2 + i - 1. Let h be p(0). Let b be j(h). Let w be 3/(-2)*(-16)/6. Solve 0 = b*d - 2*m + w, 5*m = 4*d - 2*d + 10 for d.
0
Let u(b) = -b**3 + 2*b**2 + 2*b - 1. Let t be u(3). Let k = t - -8. Suppose -k*c + s + 35 = 2*s, 3*c = -2*s + 30. Solve -4*i - 3*q = -c, q = 5*q - 16 for i.
-1
Let k(p) = -p**3 + 2*p**2 + 3*p + 4. Let m be k(3). Solve 6 = -2*w + 2*b - 4, 5*b - 7 = -m*w for w.
-2
Let g(q) = 3 - 3*q - 12*q - q**2 + 18*q. Suppose -2 = 3*z - 11. Let t be g(z). Solve -2*c -