-l*j - 12 - 0, 5*w = -3*j - 12 for w.
0
Suppose 0 = 321*m - 297*m - 6888. Solve 0 = -2*s - 5*q + 10, 0 = -292*s + m*s + 2*q + 25 for s.
5
Let j = 116 + -113. Let h be -2 - (j - -1)*-1. Let q be (23 - 7)*2/4. Solve -4 = -z - q*l + 3*l, -8 = -h*z + 4*l for z.
4
Let k = 476 - 474. Suppose -20 = -4*y + k*t, 0 = -3*y + 16*t - 18*t + 15. Solve 3*w = -2*a - 2*a - 27, -w - y*a = 20 for w.
-5
Suppose -6*a = 4*a + 70. Let i be (-7 + 1)*(28/12)/a. Solve 0 = 5*v - v + 4*m + 8, i*v - 5*m - 17 = 0 for v.
1
Let s(r) = r**3 - 10*r**2 - 11*r. Suppose -14 = 9*o - 11*o. Suppose -o*g + g = -66. Let c be s(g). Solve -2*k + y + 15 = -6*k, -5*k - 3*y - 10 = c for k.
-5
Let j = 78 - 84. Let r be 1 + (j - -3) + (12 - 4). Suppose -4*a + 67 = -3*p, -4*a + r*p = 2*p - 68. Solve 2*u = 2, 3*k - 2*u - a = -3*u for k.
5
Suppose -4*b = -4*u + b + 403, 4*u = b + 423. Let g = u - 103. Solve -2*c = 3*h + 21, g = -5*c + 4*h + 9 for c.
-3
Suppose -2*a = -3*r - 36 + 10, a - 13 = -4*r. Suppose -11*i = -a*i + 20. Solve 4*x + 2*l = -0*l - i, -3*x + 2*l = 25 for x.
-5
Let i(r) = 4*r + 29. Let p be i(-16). Let c(l) = 4*l + 141. Let y be c(p). Solve -v = 2*f - 8, 0 = f - 5*v + y - 5 for f.
4
Let c(r) = -r**3 + 66*r**2 + 357*r + 15. Let x be c(-5). Solve 2 + 12 = -2*p + 3*z, -x*p = -3*z + 17 for p.
-1
Suppose -3*m - m + 20 = 0, -3*v + 3*m = 15. Solve 4*s = i + 15, -14 = -v*s - 3*s - 2*i for s.
4
Let l(r) = -r**2 - 10*r + 1271. Let y be l(-41). Solve 20 - 10 = 4*t - 2*v, y = t - 5*v - 25 for t.
0
Let m = -58 + 56. Let z be m - -3*((-66)/(-9) - 1). Suppose 4 - z = -i. Solve -3*k = -r + 13, -k - 3*r - i = -2 for k.
-5
Let b(t) = -6*t + 150. Let v be b(24). Solve -2*h - 8 = 0, 5*r + 3*h + v = -1 for r.
1
Let n = -342 - -432. Let h = 97 - n. Solve -5*o + 4 - h = -l, -3*o - 5*l + 15 = 0 for o.
0
Let p(q) = -18*q + 381. Let y be p(21). Solve -y*r - 5 = t, 3*r - 5 = t - r for t.
-5
Suppose -3*l + 74 = -4*y, -2*y + 4 = -5*l + 132. Let c(u) = -u**2 + 3*u + 8. Let q be c(6). Let p = l + q. Solve -4*g = 3*f + 15, 0 = 2*f + 4*g - 2 + p for f.
-1
Suppose 2*o - a - 12 = 2*a, 5*a + 13 = o. Let x(v) = -31*v + 28. Let f be x(3). Let l = f + 68. Solve -y + 5 = l*c - 2*c, o*c - 2*y = 10 for c.
4
Let g be 3/(-6)*((2 - 1) + -55). Let y = 35 - 24. Suppose -25 = -w - 5*f, w + 0*w = 4*f - y. Solve 4*x - 4 = -3*c + 3, w*c - x = g for c.
5
Let l(x) = -20*x - 177. Let q be l(-9). Solve -2*j + 3 = q*t, j + 91*t + 1 = 87*t for j.
3
Let x(s) be the first derivative of -s**4/4 - 10*s**3/3 - 5*s**2 - 4*s - 48. Let i be x(-9). Solve i*v - 11 = -r, 0*v + 4 = 3*v - 2*r for v.
2
Let d(u) = 6*u - 20. Let y be d(4). Let l = -18 + 79. Let w = -53 + l. Solve 0 = -4*i + 8, y*h = 2*i - 4*i + w for h.
1
Let z(u) = u - 18. Let a be z(18). Suppose -25 = 5*p, a = 3*n - p - 5 - 6. Solve 4*w = 4*h - 8, n*h + 4 - 14 = -w for w.
2
Let w(u) = 7*u - 49. Let p be w(6). Let s = 10 + p. Solve s*x - 7 = -2*d, x - d = 4*x - 8 for x.
3
Suppose 4*p - 5*c = -53, 3*c + 47 = -4*p + 2*c. Let a be p/7*((-168)/9)/4. Suppose a*z = 14*z - 18. Solve 0 = z*o + 2*u + 2*u + 4, -2*o = -2*u - 16 for o.
4
Suppose -61*q + 153 + 7 = -84. Solve -12 = q*y, 13*b - 8*b - 2*y = -19 for b.
-5
Suppose 0 = 2*u - 19*u - 49*u + 330. Solve 2*b - 2*d + 7*d + 26 = 0, 0 = -4*b + u*d + 8 for b.
-3
Let p(s) = -s**3 - 3*s**2 + 12*s - 33. Let g be p(-6). Solve 19 = 4*n - 15*o + 10*o, -g*n - 4*o = 9 for n.
1
Let g be (-10)/(-30) + 0 + 35/3. Let k = g + -27. Let h(n) = n**2 + 17*n + 32. Let x be h(k). Solve -u - 13 = -0*u + 3*i, 2*u = -x*i - 6 for u.
2
Let u = 649 - 636. Let b(s) = 2*s**2 + 20*s + 1. Let v be b(-10). Solve u = 5*p - 4*g, -5*p + 10 = -3*g - v for p.
1
Suppose 1365 = 47*w + 284. Suppose -5*l - 10*u + 12*u = -w, -4 = -4*l - 2*u. Solve x = 2*i - 4 - l, 0 = 3*i + 5*x - 30 for i.
5
Suppose -5*f - 64 - 21 = -u, f = -2*u - 17. Let z = f - -20. Suppose -5*t - 5*c + 23 = -7*c, 4*t + 5*c = 25. Solve -4*w = 2*p + 16, t*p = -z*w + w for w.
-5
Suppose i - 5*l - 31 = 0, 1731*i + 5*l = 1729*i + 17. Solve -68*k + 73*k + 7 = 3*y, 4*k - i = -3*y for y.
4
Let f = 59 - 105. Let p be f - 2*(3 - 5). Let g = -40 - p. Solve 0 = -g*k + 4, -k = n + k for n.
-4
Let y(a) = -a**3 - a + 16. Let b be y(0). Let v = -4 + b. Suppose -k + 23 = -n - 8, -79 = -3*k + n. Solve -v = -3*l + 3*p - 0*p, 0 = -4*l - 4*p + k for l.
5
Suppose -2232 = -6*h - 15*h - 1224. Solve 2*j = 0, -4*j - h = -m - 51 for m.
-3
Let u(s) = s**2 + 8*s + 15. Let r be (-2 - -1) + 4 + 0. Suppose 7 = -r*y - 11. Let p be u(y). Solve 5*j = 3*q + 10, 4*j - 6 = p*q - 1 for j.
5
Suppose -32*r - 2192 = -2352. Solve -r*y = 2*w - 9 - 7, -5 = w - 4*y for w.
3
Let t = -10081 + 10083. Solve 2*b + 17 - 14 = -5*d, 0 = t*d + 2*b + 6 for d.
1
Let y be (10/(-7))/((-10)/112*4). Solve -2 = -2*h + 2*d, -y*h + 13 + 15 = 4*d for h.
4
Let n(y) be the second derivative of -y**4/6 + 17*y**3/6 - 33*y**2/2 - 3*y. Let w be n(5). Solve -z + w*f = -7, 0*z - 6 = 2*z + f for z.
-1
Let s be 4*7/14 + (-10)/2. Let b be 4 + s + (-2 - 2)/4. Let j be (b - -15)/((-3)/(-2)). Solve 2*t + j = -g, -2*t - 3*g + 6 = -6*g for t.
-3
Let j(k) = -27*k + 110. Let h be j(-10). Let m = 385 - h. Solve o - 3 = -3*b, -o + 4*b - 4 = -m*o for o.
0
Let g(q) = -32*q**2 - 4*q. Let x be g(-1). Let m = x - -28. Let f(h) = -2*h. Let c be f(-1). Solve 5*p = c*i - 28, 3*i + 9*p - 4*p + 8 = m for i.
4
Let d be ((-1836)/714)/((8/(-14))/2). Solve d = 3*v + 3*k, -2*k + 9 = 2*v + k for v.
0
Let i = -4466 + 4468. Solve -4*c = i*l + 10, 4*c - 1 = -5*l - 8 for l.
1
Let x(g) = -g**3 + 23*g**2 + 63*g - 321. Let r be x(25). Solve r*u - 40 = -5*n, -n - u - 21 = -6*u for n.
4
Let v = -276 + 490. Let x = 219 - v. Solve -x*o + q = -14, 5*q - 15 = -o - 7 for o.
3
Suppose x + 4 = 3*x. Let o(f) = 2*f - x*f - 4*f - f - f**2 - 5. Let s be o(-2). Solve -w - s = 5*c, -5*w - 1 = -4*w + 3*c for w.
-1
Let g be (5 - 9)/((-2)/(-20)). Let z be (-1)/(-5) - (-8)/g. Let p be 2*5 + (-2 - -2). Solve -4*r - p = c - z, 4*r = 4*c for c.
-2
Let p(z) = -5*z**2 - 28*z - 5. Let m be p(-5). Let f(v) = -v**3 + 12*v**2 - 19*v - 6. Let h be f(m). Solve h*y + 4*u - 32 = 0, 4*y - 2*u - 3*u = -13 for y.
3
Suppose 3*s + 0*s + 5*h + 932 = 0, -5*s + 5*h = 1540. Let m = 311 + s. Solve -5*z + m = -t, -2*t + 3*z + 0 = -3 for t.
3
Suppose -136 = -9*c - 22*c - 3*c. Suppose -2*u - 2*u - 4*x = -8, 16 = 2*u - 4*x. Solve u*n = y - 3, -n + 0*n = -5*y - c for y.
-1
Let r = -3308 - -3332. Solve 5*h - 20 = -2*t, 9 = -3*t + r for h.
2
Let t(v) = 24*v + 0*v**3 - 3*v**3 + 2*v**3 - 2*v**2 - 5 + 10 + 7*v**2. Let c be t(-3). Solve 4*a - 22 = -2*d, 25 = 6*a - 2*a + c*d for a.
5
Let i(b) be the third derivative of -7*b**4/12 + 10*b**3/3 + 57*b**2. Let a be i(0). Solve 5*o = 5, 4*o = 4*z - 0*o + a for z.
-4
Suppose -5*j - 369 = 4*m, 0 = -m - 8*j + 11*j - 105. Let o be (-6)/8 + (-72)/m. Suppose 8 = 5*d - 2. Solve 4*r - 24 = -4*i, -d*r + o*r - 8 = -2*i for r.
1
Suppose -2*w - 42 = -3*f, -5*w = 5*f - 2*f - 21. Let o be f*((-16)/(-12) - 1). Let b be -4*(o/16)/((-1)/2). Solve 0 = -b*i + x - 7, 0 = -i - 2*x - x for i.
-3
Let k be (-1 + (2 - -77))*-1. Let m = k + 83. Suppose -28 = -2*w - m*g, -2*g + 17 = w - g. Solve 5*l + 5*u = 5, 3*u = 3*l + 2*u - w for l.
5
Let a be (-10)/(-4)*(-80)/(-100)*4. Let d = -13 + 18. Solve -d*v = 3*r + 5, -2*v + a = v + 4*r for v.
-4
Let f(s) = -26*s + 834. Let t be f(32). Solve -t*a - 14 = -2*m - 10, -4*m + 16 = 0 for a.
2
Let n = 1074 - 1074. Let j(d) = -2*d**2 - 5*d + 3. Let s be j(3). Let y be (-6)/(-24) - s/8. Solve n = -3*u - 12, 3*t + 0*u - 7 = y*u for t.
-3
Suppose 0 = -5*p - m + 82 - 67, 0 = p + 3*m - 17. Solve 4 = -f - p*q, -2*f + 3*f + 1 = q for f.
-2
Suppose -6*w = -w - 15, -5*w = 4*x + 1193. Let u = x + 216. Let p = u - -88. Solve -p*c + 4*f = -18, c + 0*c + f = 0 for c.
3
Let h(y) = 16*y - 107. Let m be h(7). Solve 15 = -m*s + 5*k, -2*s + 0 = -5*k + 6 for s.
-3
Let u(s) = -33*s - 589. Let j be u(-18). Solve m = -j*z + 17, 4*z = 3*m + z + 21 for m.
-3
Let t be (321/(-3))/((-9)/18). Let r = 217 - t. Solve 3*u + 3*p = p - 7, 0 = -4*u + r*p + 2 for u.
-1
Let l(a) = 10*a**2 - 40*a + 68. Let i(m) = -7*m**2 + 27*m - 45. Let o(b) = 7*i(b) + 5*l(b). Let j be o(9). Solve 2*k - 36 = 4*y + 6*k, -3*y - j = -k for y.
-4
Let u be 3*((-117)/156 + 86/(-24))*-1. Solve 3*v - 3 = -5*r, 4*r = -9*v + u*v - 36 for v.
6
Let o = 1 - -1. Suppose -w = x