for n.
3
Let k be -9 + (19/(57/(-66)))/(-2). Solve k*x + 1 = r, 4*r - 77*x - 9 = -74*x for r.
3
Let f(h) = -h**3 - 16*h**2 - 19*h - 70. Let g be f(-15). Let w(q) = -q**3 - 11*q**2 + q + 120. Let i be w(g). Solve -i = -2*b - 3*d - 0*d, 4*b + d = 20 for b.
5
Let m(t) = 22*t + 599. Let r be m(-27). Solve -4*i - 2*w + 16 = 0, w - 8 = -2*i + r*w for i.
4
Let w(t) = -t**2 + 24*t + 69. Let i be w(22). Let u = i - 113. Solve u = 3*x - 6, j + x + 3*x - 8 = 0 for j.
0
Suppose -1900 = -15*m + 755. Let g = m - 175. Solve 0 = -y - 3*l + g*l, 0 = 5*y + 2*l - 12 for y.
4
Let n(a) = -2*a**2 + 51*a - 20. Let t be n(25). Suppose h + t = 2*s, -8*s + 4*s = 2*h - 30. Solve 0 = -q + 2*q - 2*j + s, 4*j = -4*q - 20 for q.
-5
Let n be (80/(-280))/((-1)/((-49)/(-2))). Let w(d) = 2*d - 7. Let q be w(5). Solve 0 = s - q*t + n, 4*t - 8 + 0 = s for s.
-4
Suppose -19*a - 8456 = 4084. Let u = a - -675. Solve 3*w + u = p, p = 5*w - p + 26 for w.
-4
Let s(u) = -94 - 105 - 345*u + 359*u + 27. Let y be s(13). Suppose 2*f = 5*f - 9. Solve -2*z - 9 = m - 3, -y = 4*z + f*m for z.
-4
Suppose -5*h = 2*t + 55, 3*t + 2*h + 6 = -60. Let a(j) = j**3 + 19*j**2 - 19*j + 22. Let n be a(t). Solve -w - 24 = -5*r, n*r = r + 4 for w.
-4
Let l be (-20)/(-4)*((-5)/(-1) + -2). Suppose -v - 5*g = -2*g + 1, 5*g + l = v. Suppose v*n = 43 - 18. Solve 0 = 2*o - 3*m + n + 3, -4*m + 10 = -3*o for o.
2
Suppose -8*y = -2*a - 3*y + 852, -3*a + 1278 = 3*y. Let v = a - 424. Solve -4*r + 12 = 0, 0 = 2*m - v*r - 5 + 1 for m.
5
Suppose 5 = -a - 5*s, -2*a = s - 3*s - 2. Suppose 29*p = 112*p - 158 - 91. Solve 0 = -p*c - 4*h + 1, -5*h + 2*h - 6 = a for c.
3
Suppose -7*a = -42 + 14. Suppose -a*m + 36 = 2*m. Solve -2*s - m = 2*n + 14, -4*n = 2*s + 30 for n.
-5
Suppose -11 + 3 = -4*r. Let b(c) = 44*c**r - 30*c**2 + 5 + 0*c**3 + c**3. Let o be b(-14). Solve y + 4*y = -5, -o*s = -y + 24 for s.
-5
Suppose 0 = 64*s - 59*s - 5*t - 295, 100 = 2*s + t. Solve -57*o + 8 = -s*o + 2*k, 12 = 4*o + k for o.
4
Suppose 15*a = 982 - 292. Let x = 14 + 34. Let c = x - a. Solve -2 = -4*b - c*w - 12, 0 = -b + w - 10 for b.
-5
Let u(t) = 4*t - 38. Let c be u(7). Let p be (c + 3 + -8)*8/(-6). Solve 0 = -b - 4*v + p - 7, -4*b + 5*v - 32 = 0 for b.
-3
Let q(v) = 99 - 3*v - 12*v + 62 - 44 - v. Let r be q(7). Solve 4*z + 11 = -3*o + r*z, 3*z - 6 = 0 for o.
-3
Let v = -11352 - -11358. Solve 0 = 4*z - 2*o + 20, z + v*o - 10*o + 19 = 0 for z.
-3
Let v = -849 - -856. Let a(t) = t**2 + 14*t - 145. Let m be a(v). Solve -k = -3*d + 4, m*k + 0*k + 8 = -d for d.
0
Suppose 12*a + 2160 = -0*a. Let t be (-24)/a + 6/(-45). Solve -k = 4*k - 4*o - 33, -5*k - o + 23 = t for k.
5
Suppose 8 - 73 = -13*k. Solve 14 = -k*b + 3*v, -2 = -4*b - 4*v + 2*v for b.
-1
Suppose 4*z + 26 = 5*d + 3*z, 0 = d - 2*z + 2. Suppose d*n = -28 + 40. Solve i = -3*s + 1, -4*i + 2 + n = -2*s for s.
0
Let w(r) = 12*r - 198. Let y(o) = o. Let k(x) = w(x) - 5*y(x). Let i be k(30). Solve 4*h + 5*u + i = 2*h, -5*u - 11 = h for h.
-1
Suppose 26*d = 129*d - 1030. Solve 0 = 5*j - 5*q - d, -2*j + 9*q + 4 = 10*q for j.
2
Let j(o) = -18*o - 32 - 3*o + 0*o. Let h be j(-2). Solve -4*v + 8 = 3*l, -v - v - h = -2*l for l.
4
Suppose -3*u + 13 = 4. Suppose 3*y = 2*l - 29 + 33, -5*y - 5*l + 40 = 0. Solve -r = 3, u*a + y*r = a - 10 for a.
1
Let r = 204 - 202. Suppose -r*x + 2*i + 16 = 0, 2*x - 19 = 4*i + 1. Solve 0 = -5*q - 5*u + 25, 3*q - x*q - 5*u + 23 = 0 for q.
1
Let w(l) = -312*l + 2004. Let s be w(6). Solve -134*g - 4*n = -s*g + 12, 3*g + 3*n = -12 for g.
-2
Let l = -283 + 291. Suppose 52 + l = 12*g. Solve 4*z + 21 - 1 = 0, -g*z = 3*p + 28 for p.
-1
Suppose -478 + 2017 = -9*n. Let w = 175 + n. Solve -3*s = -g - 17, -3*s - 13 = w*g + g for s.
4
Let d be -25*(2/(-16) + 5628/480). Let l = d + 294. Solve 2*q = k - 1, l*k - 2*q + 7*q = 17 for k.
3
Let n = 3391 + -3387. Solve -2*r = -t - n, 3*r - 6*r + 5*t + 20 = 0 for r.
0
Let j be (-72)/(-32) + 1/(-4). Suppose 44*p - 59 + 11 = 84. Solve -3*m = -p*b - j*b + 26, 4*m + 28 = 5*b for b.
4
Let w be -4*(-3 + -1 - 10/(-2)). Let y be 4*w/(-2)*(-9)/(-18). Suppose -c = -2*q - 8, 4*c - y*q = -q + 27. Solve 15 = -5*g + 4*t, 4*t - 3*t = -2*g - c for g.
-3
Suppose -497*t + 12 = -496*t. Solve -9*n - 6 = 4*d - t*n, 3*n = d + 6 for d.
0
Suppose 56 = 23*p - 10 - 3. Solve 28*k - 33*k + 18 = z, 6 = p*z - k for z.
3
Let k = 65 + -61. Suppose -2*a = w - 1, -5*a = -5*w + k + 1. Let q be ((-168)/48)/(18/20 - w). Solve 2*h = 3*o + 3, 8 - q = 5*o + 4*h for o.
-3
Let u = -24 - -54. Suppose -3*c = -4*a + 10, -c - 5*a + u = 4*c. Suppose c*r - 5 = 11. Solve -z + 7 = 5*n - r, -n - 2*z = 6 for n.
4
Let c(h) = h**2 + 81*h + 1611. Let l be c(-35). Solve 3*g + l = -4*v + 11, 5*g - 5*v = -30 for g.
-2
Suppose -30*w + 389 = 239. Solve -5*c + 25 = -w*k, -5*k + k - 12 = 0 for c.
2
Suppose 2*s - 305 = 5*p, -p = 3*s - 4*s + 61. Let t be (-340)/8*5/((-25)/8). Let m = t + p. Solve 3*x - 4*x = -4*q + m, -2*q - 1 = -5*x for x.
1
Let k(f) = 22*f**2 - 137*f + 35. Let y be k(6). Solve -v = -4*u + 9*u - 11, -3*v = -4*u + y for u.
2
Let w be 9 - ((-40)/15 + (-338)/6). Let z(i) = -i**2 - 7*i - 2. Let p be z(-5). Suppose 4*b + w = p*b. Solve 5*s + 25 = 5*d, -4*d + b = -s - 0*d for s.
-1
Let b be (-2)/(-1) + (-1806 + -3)/3. Let i = b - -621. Suppose 0 = -4*p + 37 - 13. Solve 3*w + 9 + p = 5*z, z = 4*w + i for w.
-5
Let l(j) = -j - 10. Let b = -155 + 143. Let r be l(b). Solve -4*c - 15 = 5*s, r*s + 0*c - 5*c + 6 = 0 for s.
-3
Let h(a) = -a**3 - 17*a**2 - 4*a - 34. Let z be h(-17). Let g(o) = 56 - 2*o + z - 60. Let d be g(14). Solve r + 6 = 5*j + d, j = -5*r + 6 for j.
1
Let w(m) = 1. Let q(b) = -2*b**2 - 12*b - 16. Let o(n) = q(n) + w(n). Let d be o(-3). Let r = -6 - -6. Solve 0 = d*v - g + 7, r*g = -2*v + 2*g - 10 for v.
-1
Let g = -135 + 138. Solve -s + 18 = -g*s + 5*d, 0 = -s + 5*d - 14 for s.
-4
Let h = -21 + -32. Let b = h - -64. Suppose -o = -2*c + b, 3*c + 27 = 6*c + 2*o. Solve -p = -4*n - 6, 0*p + p = 5*n + c for n.
-1
Suppose 6*x - 16 = 10*x. Let z be -2*3/x*266/(-21). Let l = 26 + z. Solve 0 = 2*o - l - 3, -5*p = 4*o + 5 for p.
-5
Suppose 11353*p = 11359*p - 12. Solve 12*j = -q + 10*j + 9, p*j = q + 11 for q.
-1
Let q(l) = -l**3 + 22*l**2 - 56*l - 1. Suppose -38 = -53*v + 51*v. Let j be q(v). Suppose 0 = -y - 3*y. Solve -2*r + 3*x + j = 0, -3*x - 9 = r - y*x for r.
3
Let n(z) be the third derivative of z**5/60 + z**4 - 25*z**3/6 - 206*z**2. Let g be n(1). Solve -8 = -g*u - 3*u + f, 5 = -f for u.
1
Let q be 2*(41/6 + (-38)/(-57)). Suppose -3*m = q, u + 5*m + 0*m + 21 = 0. Solve 5*n - 2*n = 4*h + 2, -2*n = u*h + 12 for h.
-2
Let r be (42/(-63))/(4/(-30) + 0). Suppose 59*j - 63*j + 6 = -r*u, -8 = -2*u - j. Solve 0*z + 4 = -u*z - 2*p, p = -4*z - 2 for z.
0
Let j = 24 - 22. Suppose 40 = -j*d + 4*t - 4, -4*d - 100 = -4*t. Let m be (-1)/2*(d + -4). Solve 3*p = 3*x + 2 + 1, 4*p = -2*x + m for x.
2
Suppose -r + 79 - 73 = -k, -2*r = -12. Solve -m + 3 = z, 3*m + k*z - 3*z - 15 = 0 for m.
4
Let q(r) = r**3 - 34*r**2 + 2*r - 64. Suppose -4*u + 3*n + 121 = 0, -22*n = -2*u - 27*n + 93. Let o be q(u). Solve j - o = 5*c, -j = -4*c - 5*j + 16 for c.
0
Suppose 308*q - 305*q = 15. Solve q*n + 13 = -2, -5*y + 3 = -n for y.
0
Suppose 2*l + 154 = -4*x, 2*x + 4*l + 86 = -0*x. Let v be x/(-13) - (-16)/(-728)*-7. Suppose -3*y = -12 + 3. Solve -v*t + t + j = -12, y*t + 5*j - 5 = 0 for t.
5
Suppose -8 = -5*h + 12. Suppose 2*n + a - 5 = 0, 12*n - 3*a = 10*n + 9. Suppose 1 - 10 = -3*y. Solve -m + l = 3, h*l - l = -n*m + y for m.
-1
Let z be (-47)/(517/(-22))*(-6)/(-4). Solve -j + 1 = l - 6*j, -3*j = z for l.
-4
Let p be ((-2)/(-6))/(1/(-843)) - 2. Let n = -273 - p. Solve 4*o = -5*a - 10, -2*a = -o + 3*a + n for o.
0
Let s be 6/4*(-13)/((-78)/12). Solve -s*a = 5*w + 30, -26 = 2*w - 67*a + 71*a for w.
-3
Let o be (-1 - -4)*(-3372)/(-36). Suppose 5*x - 4*f = o, -4*x + 2*f + f + 225 = 0. Suppose -g - 2*g + x = 0. Solve -l = 5, n - g = 3*l + l for n.
-1
Let n(b) = 6*b**3 + 7*b**2 - 27*b + 20. Let m be n(2). Solve 0 = -4*z + 5*g + 5, -5*z - 3*g = m - 2 for z.
-5
Let v(r) = -6*r + 15*r - 2*r - 2. Let t be v(-10). Let w = t + 75. Solve 5*m + w*d = -33 + 8, 5*d + 35 = -5*m for m.
-2
Let j = -396 - -398. Let f(h) = -h**3 + 16*h**2 - 29*h + 16. Let d be f(14). Solve -d*n - u - 10 = -0*u, j*n - u + 6 = 0 for n.
-4
Suppose 50*h + 235