15 for n.
-3
Let k(p) be the second derivative of p**4/12 + 5*p**3/6 + p**2 - 2*p. Let l be k(-5). Solve -3*u - 2*b = 3, 2*u + 0*u + l*b = 0 for u.
-3
Suppose t + t = 72. Suppose -z - 2*z + t = 0. Suppose q = 4*q - z. Solve 4*f = -5*k + 33, 5*f + q*k - 20 - 10 = 0 for f.
2
Let f(i) = 2*i**2 - 6*i + 3. Let j be f(3). Solve 0*p + p + 12 = -j*y, 3*y - 4*p + 12 = 0 for y.
-4
Let f = -56 + 56. Solve f = -r, 5*r + 1 = -z - 2 for z.
-3
Let l(d) = d**3 + 8*d**2 + 6*d - 7. Let z be l(-7). Solve 4*j + j - 4*u + 25 = z, 5*j + 30 = 5*u for j.
-1
Suppose 2*b + b = 0. Solve -5*d + k - 17 = b, 2*d - 5*k - 4 = -k for d.
-4
Suppose o + p = 2*p + 10, -p = 3*o - 22. Solve 0 = -2*m - 3*j + o*j + 25, -3*m + 4*j = -20 for m.
0
Let b = 29 - 15. Suppose -2*t = i - b, 5*i + 5*t = i + 50. Suppose i = 3*r - 2. Solve 5*j - 29 = -r*h, -4*j + 8 = h - 13 for j.
5
Let t be (-4)/(-10) - (-126)/10. Suppose 0 = -h + 1, 4*o + t = 6*o - 5*h. Solve o*d - 25 = 3*l + 4*d, -5*d = -l - 25 for l.
0
Let b = 0 + 0. Suppose -36 = -3*w - b*w. Suppose -l = 2*j - 13, -l + 2*l = -5*j + 28. Solve 3*r - o - 11 = o, -3*o = j*r - w for r.
3
Suppose 2*b + 4*v - 28 = 6*b, 0 = -b - v + 3. Let f be (-3)/(-6)*b*-4. Solve -2*m - f*n - 4 = 0, 0*n = -5*m + n + 23 for m.
4
Let w = 151 - 147. Solve 3*m = w*j - 7, -2*j - 2 - 7 = m for m.
-5
Let n be 27/5 + (-10)/25. Suppose -5*b + 21 = -p, 0*p + 45 = 5*b + n*p. Let j = 3 - -1. Solve -5*q + 1 = -3*q + b*m, 2*m + 6 = -j*q for q.
-2
Let j(g) = -g**3 + 3*g**2 + 6*g - 3. Let r(v) = -v**2 + 7*v - 6. Let p be r(5). Let u be j(p). Solve -h - 25 = u*q + 3, -3*h - 9 = 0 for q.
-5
Suppose -13*u - 63 = -10*u. Let g be ((-36)/u)/(6/28). Suppose -q + 2 = -1. Solve -7 = 5*f - 4*z, -g = q*f + f - 2*z for f.
-3
Let r(o) = -o**2 - 6*o + 4. Let b be r(-6). Suppose 3*l - l - b = 0. Solve -l*p = 2*f - 8, f - p + 6 = -0*p for f.
-1
Let n(m) = m**3 - 5*m**2 + m. Suppose 2*a = -k - 5, -2*k + a + a = -20. Let y be n(k). Solve 0*h + 15 = y*c + h, 9 = 3*c + 2*h for c.
3
Let k = -6 + 10. Solve -7 = -3*z + 2*p, 0 = k*z + z + 2*p - 1 for z.
1
Suppose 13*t = 11*t + 8. Let x(c) = 2*c - 5. Let h be x(4). Solve 3*g = s + 13, g = 3*s + t + h for g.
4
Let t = -1 + 1. Suppose 2*g + 2*g - 12 = t. Suppose -h - 2*n = -5*n - 7, 26 = g*h - 4*n. Solve -3*a + h = -0*a - 5*w, 5*w = 5*a - 20 for a.
5
Suppose 5*b = -0*b + 25. Suppose 61 = b*o - 39. Solve 5*t - p + o = -0*p, 0 = t - 2*p + 13 for t.
-3
Suppose 2*i = -2*i. Let t be (6/(-4))/((-1)/2). Suppose 0 = d - 2*j + 1 - 7, -4*d - 4*j = -12. Solve 0 = -p - d*l - i*l + 4, t*p = l + 12 for p.
4
Let x be (6/(-18))/((-2)/18). Solve -4*a + 16 = -4*b, -4*a + 5*a + x*b + 4 = 0 for a.
2
Suppose 3*l - 8*l = -5*r + 5, 0 = 2*r - 8. Solve h + l*c - 21 = -h, -c - 1 = -2*h for h.
3
Let t = -4 - -12. Solve -4*l = -3*d - t, 4*l + 10 = 9*l + 4*d for l.
2
Let m(c) = 5 + 3 - 11*c + 12*c. Let p be m(-6). Let b(i) = 4*i**2 + 1. Let f be b(-1). Solve -6 = 5*q - 2*n, f*q + p = n - 1 for q.
0
Suppose -10 = -5*s + 5*m, -2*m - 10 - 6 = -4*s. Suppose 4 = 5*c - s. Solve -3*f + 16 = -5*w, c*w - 5 = 6*f - f for w.
-5
Let r be 10/2 - 0/(-2). Let c be 2/4*2*r. Solve -3*m - 3*j - 6 = 0, 0 = c*m - m + 2*j + 8 for m.
-2
Let y be (1 + 1)*1 - 0. Solve 4*w + 5*d = -6, -6*w - 5*d = -4*w - y for w.
-4
Let x = 17 - 15. Suppose -2*q + 8 = p + q, x*q = p + 2. Solve -5*m + p*d + 5 = 7*d, 0 = -2*m - 3*d for m.
3
Suppose 0 = -10*w + 27 + 13. Solve -r = 4*z + 7, 3*z = w*z - r + 3 for z.
-2
Suppose -4*h + h + 3*n + 102 = 0, 0 = -5*h - 3*n + 194. Let i = -26 + h. Let j = 14 - i. Solve 2*q - 1 = 2*p + j*q, 0 = 4*p + 4*q + 4 for p.
0
Suppose -4*d - 6 + 2 = 0. Let f be (-48)/(-15) + d/5. Solve -c + f - 6 = 0, 9 = -3*l + 2*c for l.
-5
Let z(g) be the second derivative of g**4/12 + g**3/2 - 4*g. Let q be z(3). Solve -3*n - 3 = -4*y, 3*y - 2*y - q = -5*n for n.
3
Let u = 10 + -10. Let g(o) = o**3 - 5*o**2 + 7*o - 6. Let m be g(4). Let y be (m*1 + u)/2. Solve -5*w + 5*f - 20 = -0*w, -y*w - 5*f = -28 for w.
1
Let u be -4 - (1 - (-8)/4). Let c = u - -12. Solve -20 = -c*t, -w + 0*w + 19 = 4*t for w.
3
Let j be 5*3/((-15)/(-34)). Suppose -3*p - 7 = -j. Solve -v + 2*v = f + p, -4*v = 5*f for v.
5
Let q(w) = w**3 - w + 6. Let d be q(0). Suppose 0 = -34*r + 31*r + d. Solve -3*h = 4*i - 19 + 2, 2*h - 2 = r*i for h.
3
Let d = 11 + -7. Suppose 6*u = 4*u - d*c - 2, -5*u + 17 = -c. Solve 5*j + 24 = -u*t, -3*j = -6*t + t - 6 for t.
-3
Let b be 1/2*(1 + 21). Let m = -3 + b. Solve -4*w = -m*w + 2*r - 16, 3*r + 16 = -4*w for w.
-4
Let y be 6 + (-2 - 2/(-1)). Let n = 5 - y. Let p be (9/15)/(n/(-5)). Solve 2*t - 8 = -p*z, -4*t - 2*z - z + 10 = 0 for t.
1
Let o be 17 - -2*1 - 1. Let c = -18 - -21. Solve -4*i + 6 = -c*g + 22, 0 = 2*i - 4*g + o for i.
-1
Suppose -23*s = 7*s - 600. Let y = -6 - -10. Let l be y/(-3)*6/(-4). Solve 5*r = 4*w + 10, r = -4*r - l*w - s for r.
-2
Let z(u) = -3*u - 16. Let b be z(-7). Solve -3*h - 12 = b*l, -2*h + 5*h = 3*l + 12 for l.
-3
Let n(k) = k - 5. Let i be n(9). Solve 0 = 5*r + 5*j - 25, -i = 6*r - 11*r + 2*j for r.
2
Suppose 5*v = 3*v - 14. Let b = v + 12. Solve 4*o - 5*h + 2 = 0, b*o + 3*h + 18 = o for o.
-3
Let n(c) = c**2 - 9*c + 12. Let m be n(8). Solve -2*h = -3*y - 12, -y - m = 2*h - 0 for y.
-4
Let o be -1*(-3 + 2) - -4. Solve 4*t - o*r - 5 = 5*t, 0 = -4*t + r - 20 for t.
-5
Suppose -2 = n - 5. Suppose n*b + 7 - 19 = 0. Suppose -4*w + 2*q + 16 = b, -q - 10 = -4*w. Solve w*i - 4 = -0*i + 2*c, -4*i + 8 = 3*c for i.
2
Suppose c + 0 = 1. Let s(g) = g**2 + g - 1. Let m be s(c). Solve -d + 10 + m = -5*a, 4*d + 28 = -4*a for d.
-4
Let x = 10 + -7. Solve 3*h + 2 = -x*j - 1, 0 = 5*h - 5*j + 15 for h.
-2
Let c = 7 + -10. Let d = c + 6. Solve 0 = 5*n - 5*f + 20, 0 = 3*n + f + d*f - 9 for n.
-1
Suppose -2*i + 40 = 5*z - 56, 5*z + i - 98 = 0. Solve 9*j + z = 4*j, 8 = -4*c + j for c.
-3
Suppose 5*f - 4*n = 15 + 6, 2*n + 8 = 2*f. Suppose 0*a - 3*a = -105. Solve f*k + 0*k + a = 4*u, 4*k = -4*u + 8 for u.
5
Suppose 1 - 11 = 5*n, 3*h + 4*n - 7 = 0. Solve 0*o - 2*l = -2*o - 6, -h*l = -20 for o.
1
Let v = 12 - 6. Suppose 7*f - 4 = v*f. Suppose -3*d = -7*d. Solve -9 + d = 4*r - o, -f*r - 12 = -4*o for r.
-2
Let y be -38*(0 - (-2)/(-4)). Solve 5 = c + 3*h, -4*c - 3*h + 4*h = y for c.
-4
Let n = 39 - 37. Solve 0 = i + v - 0*v, -n*v - 6 = -4*i for i.
1
Let v(l) = -l**3 + 7*l + 6. Let u be v(-3). Solve 0 = d - 2, -2*x - u = -5*d - 0*d for x.
-1
Suppose -i + 4*i = 0. Solve 4*o + 3*s - 19 = i, 1 = -4*o - 0*s + s for o.
1
Let j be (-1)/4 + 34/8. Suppose -5*n - c + 5 = 0, 5*n = 3*n - j*c + 2. Suppose 16 - n = 3*q. Solve -5*a = 2*k + 19, -q*k - 22 = 3*a + a for k.
-2
Suppose -f = -5*a - 85, -4*a - 4*f - 44 = -0*f. Let z = 16 + a. Solve 0 = -n + 1, j + z*n = n for j.
1
Let d = 18 + 2. Suppose m + 4*m = d. Suppose -i + 2 = -2*p - 9, -28 = -4*i + 4*p. Solve -4*g = i*w - 14 - 8, 3*g - m = 4*w for g.
4
Let c(v) = v**3 + 24*v**2 + 43*v - 12. Let o be c(-22). Solve 5*y = -0*y - 2*l - o, -2*l - 10 = 4*y for y.
0
Let l = 0 - -6. Let k = l - 6. Solve 0 = 4*z - 3*a + 12, 2*z + k*a = a - 4 for z.
0
Let y = 15 - 13. Solve 0 = -y*w - w + 4*a - 22, 0 = -5*w - 3*a + 2 for w.
-2
Let q = -12 + 14. Let y = 5 - q. Solve 5*c + 31 = y*m, 2*m - 2*c = 5*m + 4 for m.
2
Suppose -8 = 2*b - 0, 0 = 3*o - b - 19. Suppose 0*l - 25 = -o*l. Let h = -3 + l. Solve -h*x + 8 = 3*x - t, 0 = -5*x - t + 2 for x.
1
Let k(j) = j + 1. Suppose -2 = -2*w - 0. Let l be k(w). Let o(g) = 2*g**2 + 4*g + 2. Let a be o(-2). Solve -a*q + m = -7*q - 11, l*q - 5*m - 1 = 0 for q.
-2
Let c = 10 - 17. Let i be (-2)/c - 368/14. Let t = -13 - i. Solve 3*a + 2*r - 6 - 11 = 0, 3*r = -2*a + t for a.
5
Let z(k) = -k + 6. Suppose -c - 3*o = 3*c - 14, 0 = -c - 3*o + 8. Suppose -y - 6 = -c*y. Let p be z(y). Solve p = 3*x + 2*h + 18, -4*h - 14 = 3*x + 10 for x.
-4
Let g be 166/10 + 1*(-12)/20. Solve -2 = -4*x + 10, -4*x + g = c for c.
4
Let a(g) = -18*g - 8. Let q be a(-3). Suppose 0 = -l + 4*w - 4 + 17, -5*l + q = -w. Solve l = -3*n, 2*r + 3*n + 8 = -3 for r.
-1
Let u be (5 - 3) + 0 + 0. Suppose -u*h + 8 = -0*h. Solve -3*v + 19 = -5*i, 12 + 1 = -h*v - i for v.
-2
Let c(k) = -k**3 + 5*k**2 + 6*k + 5. Let v = -15 - -21. Let f be c(v). Solve -5*u - 25 = f*b, b - 2*u - 15 = u for b.
0
Let d(h) = -2*h**3 - h. Let g be d(-1). Suppose -g*q + 7 = -y - 7*q, -5*q = -3*y + 30. Solve -y