pose -2*y + 313 = f, 3*y + 3 - 6 = 0. Let k = f + -309. Solve 2 = 4*a + k*c, 2*c = 4*a + 5*c - 1 for a.
1
Let p(o) be the third derivative of 0 - 1/24*o**4 - 2/3*o**3 + 0*o - 16*o**2. Let l be p(-6). Solve -7 = -3*b - l*m, 0*b + 3*m = -b for b.
3
Let v be (-11)/((-2)/(-112)*-1). Suppose -v*c = -619*c + 9. Solve 0 = -c*d - 9, -2*y + 10 = -3*d - 9 for y.
5
Let o be (-5)/20*1 + (-938)/(-8). Suppose -o*y + 36 = -108*y. Solve t = -4*v + 1, -2*t = -6*t - 4*v + y for t.
1
Let f be 2 + (24/60)/((-1)/35). Let g be 2/f - (-255)/18. Suppose -5*k = -5*l + 5, 6 = 4*k - 5*l + g. Solve -2 = k*r - n - 5, -n = -r + 3 for r.
0
Let p(y) = -29*y**2 + 3187*y + 332. Let d be p(110). Solve r + 0*r + 2 = 0, d*g = 2*r - 4 for g.
-4
Suppose 35*w - 21 = -2*s + 32*w, 3*s + 2*w - 19 = 0. Solve 0 = 4*m + 2*a - 22, 0 = -5*m - s*a + 39 - 10 for m.
4
Suppose -5*x + 3*p + 247 = 0, 3*x + 4*p + 49 = 174. Let w = x - 51. Let r = 0 - w. Solve 4*m - 10 = n + n, 0 = m - r for n.
3
Let g be 2858/14 + 2/(-14). Let c = g - 177. Solve 5*r + 4*q = -35, 4*r + 0*q + c = -3*q for r.
-3
Let z(d) = 2*d**2 + 2*d - 2. Let k be z(1). Suppose 3*q = k*u + 8, 4*u + 12 = 5*q + 2. Solve -10 = 2*f, q*n + 5*f + 22 = 3*n for n.
1
Let p(y) = 4*y**2 + 85*y + 105. Let s be p(-20). Solve 2*z + 16 = 6*m, -4*m = -5*z + s - 1 for z.
4
Suppose 0*i - 16 = -i. Let a(s) = s**3 + 7*s**2 - 11*s - 8. Let w be a(-8). Let u = i - w. Solve 2*v + 4*q = -5 - 1, u = 3*q - 3 for v.
-5
Let v(i) = 9*i**2 - 10*i + 13 - 65 + 32 + 2*i**3. Let r be v(-5). Solve 0 = h + 1, 2*h = -3*u - r for u.
-1
Let o(a) = a + 1. Let c be o(4). Suppose 155*w = -5*b + 157*w + 219, w = -7*b + 318. Solve -2*m - 3*m + b = c*r, 3*r + m = 17 for r.
4
Let j be (-44 - -42)*4/(-2). Solve -4*c + z - 2*z - 15 = 0, -5*z = j*c + 27 for c.
-3
Suppose 122 = -5*x + 182. Suppose -7*j + 9*j = 6, -5*m = -4*j + x. Solve m = -2*n - 6, o = 6*o + 2*n + 11 for o.
-1
Let t be 8/2 + 2 - -375. Suppose t*w - 371*w - 50 = 0. Solve -a = -2*a + w*i - 19, 3 = -5*a + 2*i for a.
1
Let o be (-66297)/205 - 3/5. Let k be -2 + o/(-21) + (-52)/(-91). Solve -k = -3*l + a, 2*l = 3*l - 5*a for l.
5
Let a be 6/18 - 5/(-3). Let o(i) = i**2 + 5*i - 14. Let f be o(a). Solve -p + 0*r + r = f, 5*p + 7 = -2*r for p.
-1
Suppose v + 2*k - 424 = 0, -29*k + 20 = -25*k. Let c be ((-1)/(-2))/(5/110). Let r be v/22 + (12/c)/6. Solve -x = 5*u - r, -2*u = -3*x + x + 2 for u.
3
Suppose 0 = 3*o - 22 + 10. Suppose 3*s = o*s - 2. Suppose -w = -2*k + 3, -3*k - 9 = -4*k - s*w. Solve -4*i - 2*y + 4 = 0, -2*i + k*i = 4*y - 8 for i.
0
Let j = -435 + 438. Solve 3*o + 4 = 7*o + z, 3*o + z = j for o.
1
Let x be (-12)/14 + (-34017)/(-3451). Solve -l - x + 18 = 4*z, -8 = -3*z - l for z.
1
Suppose -4*u = -f + 562, -3 = -4*f + 5. Let t = u + 144. Solve -9 = -3*o + t*j, 2*j + 17 = -5*o - 2*j for o.
-1
Suppose 0 = -2*l + 52 - 20. Let c = l - -2. Let q = -1 + c. Solve -14 = 3*n + 2*p, -4*n - p + 0*p = q for n.
-4
Let s(g) = -g - 51. Let a be s(-58). Solve -3*o + 2*d - 1 = a, -d - 7 = 4*o for o.
-2
Let j(r) = -r**3 + 8*r**2 + 12*r - 22. Let a be j(9). Suppose 4*f - 2 - 18 = -2*u, 0 = -a*u - 2*f + 42. Solve 4*b + u = 0, -5*h + b - 4 = -2*b for h.
-2
Let w(s) = s**3 + 20*s**2 - 42*s + 46. Let b be w(-22). Let i(a) = a**3 - 22*a**2 - 22*a - 7. Let q be i(23). Solve 7 = 4*y + 19, b*y = -2*k - q for k.
-5
Let k = -3644 + 3647. Solve b = -k*d + 4*b, 4*b = -2*d + 24 for d.
4
Let i = 37 + -32. Suppose -3*z - 30 = -5*q, -2*q - 5 = 3*z + 4. Let x be (1 + q)*2/(32/52). Solve d = -3*k + x, 0*k - 5*d = i*k - 15 for k.
5
Suppose -26*i = -19*i + 17 - 17. Solve -r + 3 = i, -8 = 2*u - 3*r - 9 for u.
5
Let l = 1706 - 1700. Solve j = -5*t + 6*t + l, j - 26 = 6*t for t.
-4
Let y be (-12)/(-6 + (-96)/(-18)). Suppose 4*s - 8 = -32. Let h be s/(-54) - (-34)/y. Solve -4*i = -h*r + 6, 9 + 0 = -3*i + 3*r for i.
0
Let f be 5 - 12/(-1 - -7). Suppose 0 = -f*p + 4*n + 12, 0 = -2*p + 2*n + 9 - 1. Solve -d = 6*c - 11*c - 13, -p*c + 4*d = 4 for c.
-3
Let h(s) = -s**2 - 23*s - 66. Let f be h(-19). Solve 9*u = 10*u + 2*g + f, -g = u + 6 for u.
-2
Let d(b) = b**2 - 21*b + 1. Let n be d(21). Let s be (-42)/12*(-1 - n). Let j be (s/3 + -2)/((-2)/(-12)). Solve 5*v + 3*i = -0*i - j, 2*v - 4*i = -6 for v.
-1
Let c = -22 - -53. Let z = -13 + c. Suppose 2*y + 5*n - 25 = -3*y, z = 4*y + 2*n. Solve -y*m = 3*k + 3, -2*m - 8 = 4*k + 6 for m.
3
Let z = 46 + -51. Let f be (32/(-1))/(-1 + 5/z). Solve 4*u + 21 = o, -4*u - 4*o = -0*u + f for u.
-5
Let p(a) = -56*a - 1105. Let h be p(-20). Solve 12 = 4*t - 5*l, -3*l + 3 - h = 0 for t.
-2
Let t be (-1 + 28)/((-27)/(-6) + -3). Suppose 0 = -11*q + 2*q + t. Solve q*u = 3*u - 2*d + 1, 2*u + 2*d - 16 = 0 for u.
5
Let f(i) = -i**2 + 6*i + 1. Let g be f(5). Let n be 86295/(-60) + 1/4. Let h = n - -1441. Solve h*w = -g, 5*w = -b - 3*b - 10 for b.
0
Suppose -n + 4 = 2*q - 1, -3*q - 3*n = 0. Let l be 7 - (q + -11 - -11). Solve -2*s - 4*g = -26, -4*s + 33 = s + l*g for s.
5
Let w be ((-3672)/(-60))/9*5/2. Solve 2 = 3*y + 22*i - w*i, 6 = -3*y + 3*i for y.
-1
Suppose w = -2*c + 49, 4 = 4*c - 12. Solve -h - w*g + 44*g + 11 = 0, 0 = -4*h - 5*g + 10 for h.
5
Suppose -52*o + 1602 = 37*o. Solve 9 = 2*u - 5*t + 27, -3*t + o = -3*u for u.
-4
Suppose 7 + 8 = 3*f. Suppose 2*d - 74 = -4*i, 4*d + 50 = f*i - 10. Suppose 0 = -3*p - p + i. Solve -8*x = 4*n - 4*x - p, 4 = -4*x for n.
2
Suppose 0 = 4*o - 13*o. Let v(q) = 11*q + 10. Let f be v(o). Solve 0 = 3*t - 5*i + f, i - 30 = -t - 4*i for t.
5
Let p(l) = -l**2 - 2*l + 17. Let t be p(-5). Solve -4*s = -o - 16, -5*s + 7*s + o - t = 0 for s.
3
Let g(m) = 10*m + 94. Suppose -6*u + 11 - 65 = 0. Let n be g(u). Solve -4 = -y - 4*q, 21 = 5*y - n*q + 1 for y.
4
Let w = -11878 - -11882. Solve 4*r - 4*o = 0, w*r + 2*o = 21 - 3 for r.
3
Let l(x) = x**3 + 5*x**2 + 5*x + 5. Let p be l(-4). Suppose -16*v = 39737 - 39769. Solve -z + 4 = -3*c - v, z + 2*c = p for z.
3
Let h = 30638 - 30634. Solve 2*b - 6 = h*m, -3*m = 2*b - 19 + 6 for b.
5
Let d = -224 + 230. Let p(a) = a**3 - 4*a**2 - 12*a + 5. Let k be p(d). Solve -3*q + 8 = -q, 2*r + k*q = 30 for r.
5
Let n = 17758 - 17754. Solve 0 = 2*b - n, -2*c - 41*b + 38*b + 16 = 0 for c.
5
Let z(r) = r**3 - 3*r**2 + 17*r - 25. Let s be z(7). Let x = -286 + s. Solve -3*y + 4*b = -x + 9, -5*y + 5*b - 10 = 0 for y.
-3
Let r be (-1)/(8/(-2))*60/(-15). Let m be (15/5*r)/((-9)/12). Solve -4*y + 5*z - 2 - 4 = 0, -m = -y + 4*z for y.
-4
Let u be 96/(-352) + (-556)/(-22). Solve 0 = -3*y - 4*n + 35, -2*y + 0*n = 3*n - u for y.
5
Let c(z) = 156*z**2 - 304*z + 3. Let w be c(2). Solve -4*r - 12 = 0, w*y - r + 9 = 23*y for y.
3
Let q(o) be the third derivative of -o**5/60 + 11*o**4/24 - 8*o**3/3 - 20*o**2. Let z be q(8). Let b = z - 2. Solve 2*m - b = 4*t, 7 = 5*t + 5*m + 22 for t.
-2
Let j be 62*(-4)/8*-1. Let v = j - 25. Let u(r) = -r**2 + 3*r + 20. Let q be u(v). Solve -3*i - 4*k - k = -q, 3*i - 4*k - 20 = 0 for i.
4
Suppose -6 = -8*g + 5*g. Suppose 6 = -2*u - 12. Let z be u*((-21)/9 + 2). Solve z*i + 28 = 5*k, 2*k = 5*i + 13 + g for i.
-1
Suppose -44*f + 25 = 52*f - 95*f. Solve -3*d = -2*d - 3, -2*j - f = -5*d for j.
-5
Let p = -259 + 289. Suppose 14*x - 2*m + p = 18*x, 0 = 5*x + 5*m - 40. Solve 20 = 2*u - x*u, 5*u = -4*b - 40 for b.
-5
Let x be (-206)/(-18) + 428/(-963). Solve -3*f - 4*z - x = 0, -3*z - 5 = f - 3 for f.
-5
Suppose -174 = 142*v - 218 - 382. Solve -3*n + v*g = -18, 0*n = -n - 3*g + 2 for n.
5
Suppose 6*n = -25 - 17. Let l(d) = d + 1. Let z be l(n). Let j be (1 - -1)/4 + 3/z. Solve j = -v - 1, 3*v = -4*o - 2*v + 7 for o.
3
Let i be 160/12 - 1 - 8 - 2/(-3). Solve 2*n = -i*g - 1 - 2, -n = 5*g - 1 for g.
1
Suppose c + 5*f = -28, -2*c + f + 14 = 2*c. Solve -i - q + 1 = 0, c*i - 10*q + 14*q = 10 for i.
-3
Let p(n) = -n + 22. Let s(j) = -j**2 - 5*j + 44. Let f be s(-8). Let g be p(f). Solve 3*m - 6 = i, -i = 6*m - g*m - 8 for i.
0
Let y be (-39)/(-12) + -3 - ((-330)/8)/11. Solve 9*n - 20 = 4*n, y*n = -3*v + 4 for v.
-4
Let c(m) = 4*m**3 + 3*m**2 + 119*m - 262. Let j be c(2). Let y(n) = 2*n**3 - 3*n**2 + 1. Let o be y(2). Solve j = -4*s - 4*k, 0*s = -o*s - 3*k - 15 for s.
0
Suppose 0 = -t + 1. Suppose 4*k - 14 - 126 = 0. Suppose -3*b - 4*l + k = 0, 3*l - 54 = -5*b - 3. Solve 2*s = 3*n - 6, -t = -5*n - 5*s + b for n.
2
Suppose 3*g = 4*s + 13, -3*s - 8 = 2*s - g. Let t(f) 