-i = 3*l + 5, -c*l - p = i + a*i for l.
-1
Let k be 3 - 2/8*0. Let w(o) = 470*o + 2353. Let y be w(-5). Solve y*g = 5*s - 22, 8 = k*g + 2*s - s for g.
1
Let w(o) = o**2 + o + 3. Let h(t) = t + 3. Let r be h(-3). Let d be w(r). Suppose -13*f + 23 - 4 = -20. Solve -f*g = 3*q + 6, 0 = -3*q + 3*g + d + 3 for q.
0
Suppose -22554*y - 100 = -22564*y. Solve 7*q - y = 9*q, 0 = -2*a + 2*q for a.
-5
Let s = 5284 - 5284. Solve y = -4*n + 2*y + 16, s = 5*y for n.
4
Let v be 5/((-15)/(-42))*48/(-32). Let r be (-10)/(-15) - (-14)/v. Solve -d - 9 = 2*d + p, r = 2*d - 2*p - 2 for d.
-2
Suppose -r = 4*r + 170. Let u = -59 - r. Let c = -16 - u. Solve -4*a + y = 0, -2*y - c = -a - 4*y for a.
1
Let y = 15780 + -15724. Solve -3*x - 3*g + 3 = 0, 5*g + y - 71 = 5*x for x.
-1
Suppose 0 = 5*g - 86 - 14. Suppose 8*f + 5*f = 52. Suppose c = -f*c + g. Solve -c*i + 5*i = -5*w - 16, -4*w - 2*i - 8 = 0 for w.
-4
Let x = -317 + 363. Let y(s) = -5*s + 251. Let r be y(x). Solve 3*p - 6*t = -t, r = -3*p - 2*t for p.
-5
Suppose -94 - 106 = -25*r. Suppose m = -r*m + 27. Solve -o + v = -v - m, 8 = -4*v for o.
-1
Let k = 33 - 41. Let o be k/(3 - (0 + 2)). Let d be (o/10)/(8/(-20)). Solve -1 = -u + 3*v - 10, -d*u - 5*v = -4 for u.
-3
Suppose 0 = 2*o + 10*l + 72, -5*o - 233 = -3*l - 277. Solve 5*x - 17 = -b, 6 = o*x + 36*b - 39*b for x.
3
Let p(g) = -g + 8. Let l be p(6). Suppose -l*f + 8 = -10. Let c = 302761 - 302756. Solve c*s = 3*x - f, 13 - 4 = 3*x + 3*s for x.
3
Let t = -309 - -312. Let y(k) = -8*k - 67. Let o be y(-9). Solve 4*d + 6 + 3 = -3*c, 0 = -o*c + t*d + 14 for c.
1
Suppose -5*b + 2*b = -3. Suppose 0 = 17*m - 12*m - 5*g - 110, -m = g - 16. Solve -n = 5*p + b, 0*n + 5*n + p = m for n.
4
Let s be (5/10)/((-1)/(-16)). Suppose 4*r - 9 = r, -4*h - 600 = 4*r. Let k be ((8/6)/(-4))/(3/h). Solve -5*f - k - 3 = 0, 0 = 5*a - 3*f + s for a.
-4
Let b(x) = -375*x - 54. Let h be b(-2). Let d = h + -692. Solve 0 = -5*k + 3*p - 4, -d*k - 18 = 6*p - p for k.
-2
Let a(g) = -6*g - 6. Let f be a(-3). Suppose -3*l - 32*v - 1 = -37*v, -4*l - 3*v = -18. Solve l*t - 2*d = -5, t - 4*d + f = 27 for t.
-5
Suppose 0*f - 3*f = -66. Let i = 26 - f. Suppose -c = -3*c + i. Solve -5*a - 2*k + 21 = 0, c*a - k = -3*a + 12 for a.
3
Let z = -156 - -162. Let t be 1 + 16/z + 4/3. Solve -2*r = 5*f - r - 15, 0 = -f + t*r - 23 for f.
2
Let d = -13 + 18. Suppose 5*o + 183 = 4*i, -4*o + o - 51 = -i. Let s be (55/(-35) - -1) + 234/i. Solve 2*c = -u + 12, 4 = -s*c + c + d*u for c.
4
Suppose 4*p + 2*m = 3*m + 9, 0 = -2*p + 5*m - 9. Solve -4*i = -3*s - s - 24, 2*i + p*s = 2 for i.
4
Let k be (0 - (-267)/(-21))/((-20)/140). Solve 0 = -3*i - 4*f - 9, 2 = -k*i + 88*i - f for i.
1
Suppose -14*y = y + 15. Let o(r) = -3*r**3 + 2*r**2 + 2*r + 1. Let t be o(y). Solve p = t*l + 14, -4*l = 3*p + 22 - 0 for l.
-4
Suppose 3*g = 5*d + 18, -8*d = -11*d. Let f be (2 + -1)/((-5)/(-10)). Solve -a = -2*a - f*v - g, a - 9 = v for a.
4
Let r(m) = 172*m - 1544. Let j be r(9). Solve -10 - 9 = 4*d + 3*n, -4*d - j*n - 24 = 0 for d.
-1
Let l(n) = -n**3 + 13*n**2 - 12*n + 14. Let q be l(12). Suppose -q*a = 109 - 137. Solve -a*p = 2*o - 4*p + 16, 5*o + 10 = -p for o.
-3
Suppose 371 = -7*d - 5950. Let j = d + 903. Solve j = -5*z - 3*i + 27, -3*i + 11 + 1 = 0 for z.
3
Let b be (-1)/(-2)*(-19)/(76/48). Let l(c) = -7*c - 37. Let a be l(b). Suppose 4 = -m, -5*r - m = -3*m - 8. Solve 0 = 3*y + 5*q - 9, a*y + 3*q + r = 15 for y.
3
Suppose 136*n - 1451 = -129*n - 391. Solve 0 = -r - p + 1 + 1, -4*r = -n*p - 16 for r.
3
Let n(j) = 68*j + 208. Let f be n(-3). Solve -5*y + 3*l = 7*l + 28, 12 = -5*y + f*l for y.
-4
Let v be 13 + -8 + 6/(-12)*0. Let k(u) = -u + 3*u - 6 - 2. Let r be k(v). Solve 5*t - 4*i = 11, -2*i = r*t + i + 14 for t.
-1
Suppose -6*d + 5*n - 220 = -d, -4*n - 265 = 5*d. Let u = d - -52. Solve -u*x - 9 - 5 = 5*o, x = 4*o + 18 for o.
-4
Suppose 14710 = 13*k + 14567. Solve -k*s = -5*w - 6*s, 3*w - 4*s = 4 for w.
-4
Let u = -2870 + 2872. Solve 0 = 4*a - 5*m + 20, -8*a + u*m = -3*a + 25 for a.
-5
Suppose -5*i + 2*t + 65 = 0, -3*t = -0*i - 2*i + 26. Solve -11 = 3*h + 4*f, 3*h + 8*f - 6*f + i = 0 for h.
-5
Suppose 2*g - 12*g - 48*g = -174. Solve 3*a - 3 = 0, -g*w - 3*a = -2*a + 11 for w.
-4
Let n(m) = -m**2 - 229*m - 2394. Let h be n(-11). Solve -4*v - h*x = 20, 5*v - 9*v - x - 8 = 0 for v.
-1
Let y be -3*4*8/12. Let p be 0/(y/(-4) - 1). Suppose p*w + 2*d + 8 = w, 3*d + 22 = 4*w. Solve -5*u + 37 = w*g, -2*u = -5*g - 7*u + 40 for g.
3
Let k be (2/5)/((-1)/((-470)/2)). Let b = k + -90. Solve -b*c - m + 15 = 0, -3*c + 22 = -4*m + 6 for c.
4
Let l = -35003 - -35006. Solve 0*q - 1 = -l*j + 5*q, -4*j - q = 14 for j.
-3
Let i(l) be the third derivative of l**4/6 + 32*l**3/3 + 3*l**2 + 4. Let n be i(-15). Solve w = 2*h + 2, -h - 2 = n*w - 1 for w.
0
Let b = -2717 - -2745. Solve 2*l + 3*f + 13 = 0, 11*f - 16*f = -3*l + b for l.
1
Let c be ((-30)/18 - -2)*(-48)/(-4). Suppose -3*t = -t + 2*q + 92, -3*t + 3*q = 144. Let h = 47 + t. Solve 0 = -c*r + 5*o + 23, 4*r - 2*r - 4*o - 16 = h for r.
2
Let s be (0 - 0)*((-90)/20 + 4). Suppose 9*m - m - 24 = s. Suppose 0 = 7*z - m*z - 8. Solve 0 = z*p + l - 13, 5*p + l - 13 = 5*l for p.
5
Let b(v) = 80*v - 159. Let h be b(2). Suppose o = -d - 4*d + 21, h = o. Solve 0 = 5*w, 0 = 2*y + d*w + 2 - 0 for y.
-1
Let g(y) = 3*y - 10. Let w be g(5). Let h(q) = 2*q**2 - 3 - 21 + w*q - 15*q - q**2. Let a be h(12). Solve -5*j = -n + 2*n + 8, a = 2*j + n + 2 for j.
-2
Suppose 2*z + 2*t - 10 = 0, 0 = -2249*z + 2246*z - t + 11. Solve -4*a = 4*h - h + 2, -8 = a - z*h for a.
-2
Let k(x) = 4*x**2 + 48*x + 98. Let q be k(-2). Solve -13*t - c - q = -9*t, 5*c = -3*t - 5 for t.
-5
Let y = -114 - -120. Suppose -y*f - 7*f = f. Solve -r + 4*r = -5*g - 28, -5*g + 2*r - 23 = f for g.
-5
Let j be 2108/153 - (-4)/18. Suppose -131 - 261 = -j*k. Solve -k = 4*v - 4*s, v + 5*s - 4*s = -3 for v.
-5
Let q = 17626 - 17611. Solve 13*n - q*n = -u + 1, -7*u = -n + 6 for n.
-1
Suppose 6*k - k - 60 = 0. Let j be (-20)/(-5)*(-6)/(-2). Suppose j = -5*x + 4*r, -4*x + k = x + 4*r. Solve -b = -4*c + 3*b, 3*c + b - 8 = x for c.
2
Suppose -129*y - 27 = -130*y. Let r(a) = -3*a**3. Let t be r(-2). Let j = y - t. Solve 2*h - j*h = 5*s - 2, 6 = 5*s + 3*h for s.
0
Let l be (-1)/(((-13)/(-117))/((-22)/18 - -1)). Solve 18 = -2*z + l*r, 52*z - 54*z + 4*r - 28 = 0 for z.
-4
Let p = 37 - 40. Let g(c) = c**3 + 3*c**2 - 3*c - 4. Let o be g(p). Let z(y) = -y + 17. Let h be z(o). Solve -2*t = 4*f + 3*t + 27, 3*f + t = -h for f.
-3
Let u = -417 - -434. Suppose u*n - 96 = 11*n. Solve 3*j - n = -2*z - 2, 4*j = 3*z + 13 for j.
4
Suppose -601 = 1786*z - 5959. Let i(g) = g**3 - 4*g**2 + 4*g - 1. Let o be i(3). Solve -2*a - a = -3*u, -z*a - o*u = 25 for a.
-5
Let r be 1*(4 - -2) - 2. Let i = 26 - 18. Let s be -8*((-3)/8)/(3/1). Solve -n - i = -3*z, -2*z = -r*n - s + 9 for z.
4
Let k be 3 - (20/(-15) + 26/6). Suppose -l + k*l = -3*l. Solve -4*v - 4*s - 20 = l, 0 = -s - 4*s - 20 for v.
-1
Suppose 0 = -2*r - 4*s + 60, -s = 4*r - 0*s - 99. Let z be 2*30/r*24/15. Solve z*p - 5 = 3*q, -5*q = -3*q - 2*p + 2 for q.
1
Let z be (-4)/(-6)*(-4 - (-6)/(-24)*-34). Solve 0 = 4*l - z*c - 10 - 5, c + 5 = -5*l for l.
0
Suppose 261*x - 146*x = 130*x - 45. Solve -3*b + 2*p - 2 = 0, x*b + 10*p = 7*p - 27 for b.
-4
Let n be 30*18/(-3)*(-3)/27. Let x(k) = k**2 - 19*k - 14. Let m be x(n). Solve 4*r + o + m = -o, 0 = -5*r - 3*o - 8 for r.
-1
Let j be (108/(-15) - (-7)/35)*20/(-7). Solve -2*t + 30 = 4*r, 12*r - 14*r = 2*t - j for t.
5
Suppose 228 = 11*w - 146. Let r = -30 + w. Suppose -3*m = -r*m + 5. Solve 0 = -m*q - 5*y + 30, 3*y = -q - 2*y + 18 for q.
3
Let x = 32 - 30. Let r = 26 - 18. Suppose 2*h = -3*h + a + r, 5 = -h - 2*a. Solve -p = x*w + 7, -p + 0 = -h for w.
-4
Let z = -10 + 12. Suppose 0*g + 21 = m - 4*g, z*g - 171 = -5*m. Let n = -28 + m. Solve -35 + 8 = 5*h + 4*i, 15 = -n*i for h.
-3
Let c(o) = 6*o**3 + 3*o**2 - o - 1. Let a be c(2). Let r = a - 36. Let u = r + -18. Solve 3*k = -5*v + 5, 3*k + 0 = -3*v + u for v.
1
Let b = -5363 + 5368. Solve -b*o + d - 3 = -0, 8 = -2*o - 3*d for o.
-1
Let r(u) = 263*u + 8. Let w be r(0). Solve -5*m + 25 = 0, 3*m - 11 = -w*t + 7*t for t.
-4
Let b = -1327 - -1333. Solve 0 = -4*i + 2*u, 2*i - b*i = 5*u for i.
0
Suppose -3*y - 1619 = 4*n, n - 2*y = y - 401. Let k 