7 for n.
-4
Let o(i) = -4*i + 59. Let k(w) = 4*w - 60. Let r(h) = 5*k(h) + 6*o(h). Let p be r(13). Solve 0 = 3*z - 3, 0 = f + p*z - 1 for f.
-1
Let a = 18 + -15. Suppose -v - 5*h = -12, -a*v + 2*h + 5 = 3. Solve -3*s - 5*j - 10 = -s, 10 = -2*s + v*j for s.
-5
Let i be 2/(-10) + (-396)/(-180). Solve 3*s - p = i, -5*s + p - 6 + 10 = 0 for s.
1
Let m(p) = 9*p**2 - 2*p + 2. Let v be m(1). Suppose -3*o = v - 24. Let g(r) = r**2 + 6*r + 8. Let l be g(-6). Solve 0*j = 3*w + o*j + 14, l = -4*w - 4*j for w.
2
Suppose 4 = -4*v - 4*p, -38*p - 5 = v - 36*p. Solve b - 2*b = -5*w + 3, -b - v = 3*w for b.
-3
Let l(h) be the third derivative of h**6/120 - h**5/3 + h**4/24 - 3*h**3 + 13*h**2. Let m be l(20). Solve -2*f = 2*r - 3 + 5, -m*f = -2*r - 2 for r.
-1
Let l(d) = d**3 - 4*d**2 + 13*d - 26. Let r be l(3). Solve -3 + 6 = -3*y, 7 = -3*z - r*y for z.
-1
Let z be (16/(-28))/(14/(-49)). Solve -3*g - 9 = 4*a, g + a + 0 + z = 0 for g.
1
Let y be (-85)/(-34) + (-5)/(-2). Solve -4 = 3*n + y, -5*f - 2*n - 1 = 0 for f.
1
Let c(l) = l**2 + 0*l - 5*l - 2 - 5 + 11*l. Let d be c(-7). Solve 3*s - 2*a = d, -s - 5*a + 5 = -6*s for s.
2
Suppose 0 = -m - 2 - 3. Let i be (4/(-5))/(m/25). Solve -3*k + a = -6, 5*k - 18 = 3*k - i*a for k.
3
Let z = 868 + -852. Solve d - 3*p = -0 + 8, 3*d - 5*p - z = 0 for d.
2
Suppose -3*n + 7 = 4*z, -5*z + 3*n = -2*z - 21. Let o(v) = 5*v**3 + v. Let g be o(-1). Let f be -1 - 6/9*g. Solve -3*d + h + 12 = z*h, f*d - 3*h = 12 for d.
4
Let m(s) = s**3 + 3*s**2 - 3*s. Let j be m(2). Suppose 32 - 127 = 5*o - 5*t, o = -5*t + 11. Let u = o + j. Solve -5*d - 5 = 0, u*d - 4*d - 24 = -5*q for q.
4
Let w(k) = 4*k + 3. Let c(f) = 12*f + 10. Let t(v) = -4*c(v) + 11*w(v). Let m be t(-3). Solve m*p = -3*h + 10, -3*p + 10 = 2*h - h for p.
5
Let u(p) = p**3 + p**2 + 4*p + 15. Let i be u(0). Let w(f) = -f**2 - 14*f - 28. Let g be w(-11). Solve 5*d = -g*z - i, -3*z + 6*d + 3 = 3*d for z.
-1
Let g be 11/3 + ((-494)/39 - -13). Solve 3*z = -g*f + 6*z + 19, 4*f + 3*z + 11 = 0 for f.
1
Let g be 23/7 - (2 + 48/(-28)). Suppose 50 = g*l - 4*q + 10, 60 = 5*l - 5*q. Solve l = -2*p - 4*f + f, -3*f = p + 7 for p.
-1
Let a(t) = 2*t + 2. Let c be a(2). Let r = c - 4. Solve 0 = -v + 2*v + 2, 0 = -2*g + r*v + 14 for g.
5
Suppose -20 = -5496*f + 5492*f. Solve k + 1 = -f*o + 5, -o = k for k.
-1
Let c be (6 - (13 - 9)) + 0. Solve d - 7 = 2*d + c*j, -d + 2 = -j for d.
-1
Let r = 69 - 23. Let b = 46 - r. Solve -2*a + 3*c = 1 - b, -7 = 2*a - c for a.
-5
Suppose 4*s + 13*h - 26 = 10*h, -3*s - 3*h + 21 = 0. Solve -s*m + 29 = 2*l, 3*m + l - 27 = -2*m for m.
5
Let c(v) = 50*v - 198. Let j be c(4). Solve j*m = -k, 5*k = 3*m + 9 + 17 for k.
4
Let h = 2065 + -2060. Solve 2*y - 2*m = 2*m + 14, -h*y = 4*m + 21 for y.
-1
Suppose 3*b = -7*b + 100. Let o be (5 - b - -4) + 2. Solve 2*z = -3*g - o, -3*g = -6 - 3 for z.
-5
Let y(m) = -m**2 - 5*m - 1. Let w be y(-3). Suppose s + 3 - w = 0. Suppose -s*k = -0*k. Solve -2*j + 8 + 5 = -3*o, -3*j + 5*o + 20 = k for j.
5
Let s = 28 - 7. Let d = 28 - s. Suppose -h = -2*h + d. Solve 7 = -3*a + a + 3*j, -h = 5*a + 3*j for a.
-2
Suppose -4*h - 2*d = -30, 0 = 4*d + 9 - 29. Solve j + 10 = h*n + 3, 5*j + 6 = -4*n for j.
-2
Suppose 3*x - 68 = -4*l, 0 = -5*l + 14 + 11. Let p = -16 + x. Solve 5*j - 2*v = j + 8, p = 3*j + 2*v - 13 for j.
3
Let z(o) = -o - 9 + 7 + 14. Let l be z(4). Solve 3*r + 4*s = 14, -3*r + 2*r + l = 3*s for r.
2
Let t(q) = -29*q**2 - 4*q + 3. Let f be t(2). Let v = -112 - f. Solve -4*p = 2*m, 2*m + 5*p + v = 4*m for m.
2
Let t(m) = -2*m**3 - m**2 - 3*m - 2. Let i be t(-1). Suppose 4*z = -i*z. Solve 3*s + 5*p + 11 = z, -4*s + 1 = 2*p + 11 for s.
-2
Let o(r) = -41*r + 41. Let h be o(1). Solve h = 3*z - 12, -5*v - 2*z = -3*z - 6 for v.
2
Let s(o) = 3*o**2 - o. Let a(l) = 5*l - 5. Let d be a(1). Let m be s(d). Let j be ((-3)/(-2))/((-9)/(-24)). Solve -2*v - 4 = m, 2*v - j = 5*k + 2 for k.
-2
Let u be -1*111/(-6 - -3). Let r = 40 - u. Solve r*h = g + 14, 4*h - 6*g - 22 = -3*g for h.
4
Let f(v) = 3*v**2 + 3*v. Let p be (4/8)/(1/(-4)). Let u be f(p). Let w be u/(-8)*(-60)/9. Solve -3*z + 3*n = 12, 0 = -0*z + 5*z + w*n for z.
-2
Let o(z) = -z - 25. Let f be o(-27). Solve -i - 2 = 2*c, 5*c + f*i + 8 = -2*i for c.
0
Let f = 13 - 5. Let k be (7 + -12 + 6)*(3 + 0). Solve 0 = k*x - 3*q + 24, -4*x - q - f = 3*q for x.
-5
Let b be 14/(-6)*-3 + -1. Suppose b*y = y. Suppose 0 = -y*q + 5*q - 60. Solve -m - 5 - 10 = -4*t, 2*t - q = 2*m for m.
-3
Suppose 4*z + 4 - 16 = 0, 5*z = 4*f + 83. Let q = -13 - f. Suppose -n - 3*j + 14 = 0, 2*n - 49 + 5 = 2*j. Solve 4*p = -3*r - 2*r - 4, -q*p + n = -r for p.
4
Let m(g) = g**3 + 11*g**2 - 7*g + 17. Let f be m(-12). Let v = -39 - f. Solve a + 3*a = -v*y + 20, 0 = a - 5 for y.
0
Let i(y) = -3*y**2 - y + 2. Let k be i(1). Let g be -4*(-3 + 4 + k). Suppose -g*m = 2*v, -2*m + v - 4*v = 8. Solve 10 = -5*l - 3*o + o, -m*l + 2*o = 18 for l.
-4
Suppose -5*d - 2 - 33 = 0. Let y = -1 - d. Suppose -y*x + 2*x = 0. Solve -4*q + 2*s - 26 = x, -8 = 4*q - 3*s + 7*s for q.
-5
Suppose 0 = -5*n + 4*n + 4*q + 10, -10 = 5*q. Solve 2*a = z + 7, a - n = -a - 4*z for a.
3
Let o = -325 + 328. Solve -o*j = y - 4, y - 5*j + 0 + 12 = 0 for y.
-2
Let j(q) = q**3 - 6*q**2 + 3*q - 9. Let x be (-96)/(-16) - (1 - 1). Let s be j(x). Solve 0 = -5*b + 5*o - 6 - s, 0 = -4*b - 4*o - 12 for b.
-3
Let b(m) = -6*m + 2*m + 3*m + 1. Let t be b(-1). Suppose y - 4*y - 42 = -3*v, -t*v + 5*y + 40 = 0. Solve 2*z = s - z - v, -4*s - 4 = -z for s.
-2
Let g(h) = -h**2 - 6*h + 8. Let t be g(-7). Suppose -m - 2*o - t = 0, -o - 17 = -m + 3*o. Solve n + 14 = 5*y, m*n + 4 - 24 = -5*y for n.
1
Suppose -3*p - 6 = -24*r + 21*r, 0 = -3*r - 4*p + 41. Solve -3*i - 2*g = r, 4*i = -5*g + 3 - 24 for i.
1
Let g = -28 + 37. Suppose -2*z = -z - g. Solve 16 = -4*j + w, 2 = -3*j - 4*w + z for j.
-3
Suppose 3*z = 45 + 21. Let b(y) = y**2 - 4*y - 7. Let s be b(6). Suppose -s*t + 40 = 5*a, -4*a + 3*t + 10 = 6. Solve m + z = -4*m - u, -a*m = -4*u + 8 for m.
-4
Suppose -2*m - 3*m = -20. Suppose 4*g = a - g + 20, -g + 4 = m*a. Solve 5*z - 15 = 0, -5*z + 9 = -3*k - a for k.
2
Suppose 0 = -5*h - 2*f + 19, -2*h = 3*f + 2*f + 5. Solve -4*x + 13 = h*m, -2*x + 4 = 2*m - 0 for m.
5
Let w be 3 - (5/(-5) + 1). Suppose -w*z - 5*s + 76 + 24 = 0, -174 = -5*z - s. Solve 5*o - 3*n = -8*n - z, -n - 5 = 0 for o.
-2
Let h be -4*(45/(-6) - -4). Suppose -3*l = -h + 5. Solve 2*y + 3 = 4*d - 5*d, 7 = l*d - 2*y for d.
1
Let n = -10 + 5. Let h = n - -10. Suppose -26 + 78 = 5*t - v, 3*v - 42 = -3*t. Solve -6*s = -3*x - 11*s - t, -h*x + 3*s + 27 = 0 for x.
3
Let g = -87 + 98. Let m = -1 + 8. Let s = g - m. Solve -3*n = -c - 5 - 11, -4*c - s = 3*n for c.
-4
Let s(v) = v**2 - 63*v + 447. Let f be s(55). Solve 33 = 5*n + 2*p, f*n - 9*n + p + 6 = 0 for n.
5
Let d be (-248)/(-14) - (-12)/42. Suppose -x + a = 9, -x - d = -3*a - a. Let v be x/(2/(-8)*6). Solve -v*f - w + 11 = -13, -5*w = -2*f - 10 for f.
5
Let v be (-4 - (4 + -4)) + 6. Solve -22 = v*p - 4*j, 5*j - 35 = 8*p - 3*p for p.
-3
Let k = 6 + -6. Suppose 3*n - 4*v - 65 = k, -n + 5*v = 2*n - 70. Let o be n/6 + (-6)/12. Solve r = -d, 2*d = -o*r + 5*r - 5 for r.
1
Suppose -36 = 947*u - 965*u. Let a be (-88)/(-6) + 2/6. Suppose -2 + a = t. Solve -21 = 5*y + 4*o, -y - 2*o = u*y + t for y.
-5
Suppose 0 = -v + 3*a - 2*a - 2, -2*v + 16 = 2*a. Solve -2*k = 2*m, 2*m - 45 = 4*k - v*m for k.
-5
Let x be (-60)/(-16) - (-1)/4. Suppose -2*z = s - 6*s, -x*s = -z. Let y = 3 + 0. Solve -4*d = a + y, 3*a + 4*d = -s + 7 for a.
5
Suppose 12*a + 8 = 236. Solve 0 = d - 5*t + a, -d + 5*t + 5 = 6*t for d.
1
Let r(v) = -v**3 - v**2 - v + 2. Let c be r(0). Solve b = 5*a, 5*b - c*a = 2*a for b.
0
Let m = 76 + -49. Let u = -13 + m. Solve 2*p = n - u, p + 3*n = 4*n - 9 for p.
-5
Let f(b) = -b**3 + 8*b**2 - 16*b + 3. Suppose 5*k + 5*y = -5, 3*k = -y - 0*y + 7. Let d be f(k). Solve d*w - 12 = m, m - 4*w + 14 = -m for m.
3
Let s(o) = o**2 - 11*o + 2. Suppose -14*w + 9*w = -55. Let r be s(w). Solve 6 = -3*a - r*m, 2*a - m + 4 = -0 for a.
-2
Suppose -2*x = 10, -5*x = 5*a - 57 + 27. Let n(u) = u**2 - 4*u - 3. Let w be n(5). Solve -d = z - 7, -5*z + w*d = -d - a for z.
4
Let s(k) = -2*k. Let m be s(-15). Suppose 15 = -m*r + 33*r. Solve r*t + 5*d - 5 = 0, 3*t + 2*d + 29 = 7*d for t.
-3
Let x(l) = l**3 + 13*l