et y(z) = -2*z**3 + 46*z**2 + z - 12. Suppose 21*r - 6*r = 105. Suppose 4*d - r*d + 69 = 0. Let s be y(d). Solve c - s = 4*i, 2*i - 2 = -0*i - 2*c for i.
-2
Suppose 3*y + y - 3*o = -458, 4*y + 2*o + 468 = 0. Let k = y - -106. Let n be k/(-10) - 3*-1. Solve 0 = -3*f + 5*f - n*q + 12, 2 = -f + q for f.
2
Let m be (-34 + 35)*0*3/(-6). Solve z - 28 = -6*n + 11*n, m = 4*n + 5*z + 5 for n.
-5
Let a(o) = -8*o + 923. Let z be a(115). Solve -6*q = 3*m - 24, 4*q - z*m - 5 = 21 for q.
5
Let f = 561 + -552. Let v(i) be the first derivative of -i**3 + 15*i**2 - 6*i - 5. Let b be v(f). Solve -4*t + 3*t + 4*p - b = 0, 0 = 3*t + p - 2 for t.
-1
Let d(o) = 2*o**2 - 2*o + 3. Let c be d(3). Let j = -51875 - -51877. Solve 2*m + 2 = 0, 10*m + c = -j*x + 5*m for x.
-5
Let t(n) = n - 2. Let y be t(5). Suppose 134 + 51 = 5*c. Suppose -11*d - 416 = -c*d. Solve 2*m = 3*m + y*i + d, 4*m + 19 = -3*i for m.
-1
Let c = -11348 - -11349. Let o be (-20)/(-11) - 2/(-11). Solve -h - n = 2, -n - c = o for h.
1
Suppose -35*b = -111 - 29. Solve b*u + a = 2*a + 7, -5*u = -3*a - 7 for u.
2
Let c be 30/(-8)*(-208)/78. Let f be (-60)/(-48)*(-4)/c*-42. Solve -2*s - f = -5*a, 3*s + a - 2*a - 1 = 0 for s.
2
Let m = 56 - 53. Suppose 4*w + 5*h = 3*h - 594, 3*h = -w - 146. Let r = 165 + w. Solve -18 - 14 = 5*q - m*n, -n - r = 5*q for q.
-4
Let y be (1 - 4/3)*(-828)/(191 + -53). Suppose 0 = -5*x - n + 44, -3*n - 4 = n. Solve 0*m = -m - w + x, -3*m + 2*w + y = 0 for m.
4
Suppose 43*z = 1204 + 129. Solve 5*m = 30, 0 = -6*v + v - m + z for v.
5
Suppose -200 - 20 = -5*z. Suppose -r = -3*a - 0 + 2, 2*a = -5*r - z. Let y be (-3)/(-2)*r/(-3). Solve -16 = -y*u + 4, -1 = 3*p + u for p.
-2
Let d be 461 + 2 + (-9 + 4 - -4). Let k = 471 - d. Solve -2*q = -3*g + 23, 0 = -0*q - 4*q - 5*g + k for q.
-4
Suppose 176*q - 26 = -2*i + 172*q, -3*q = i - 12. Solve 2*b - 21 = 5*s - 56, -b = -2*s + i for s.
5
Let a = -33546 + 33563. Solve -4*y = 27*u - 26*u + a, -2*y + u - 1 = 0 for y.
-3
Let q = 3279 - 3276. Solve -q*l = 3*a + 15, -l + 2*a + 0*a + 7 = 0 for l.
-1
Let x(n) = 6*n**2 - 11*n + 6. Let b be x(4). Let v = 73 - b. Suppose k + 10 = -2*t - t, 2*k = t + v. Solve 4*a - y = 2*a - k, -10 = 5*a - 2*y for a.
0
Suppose 0 = o - 29*a + 28*a - 3, 5*o + 3*a - 39 = 0. Solve 131*q = x + 134*q - 4, -2*x + o = 4*q for x.
1
Suppose 0 = a + 4*r - 35, -43*r - 152 = -5*a - 40*r. Suppose 0 = h + a - 34. Solve c + 30 = -5*j, h*j = -0*c + 3*c for c.
-5
Let g(h) = -h**3 + 4*h**2 - 4*h + 3. Let v be g(2). Let o be (-6 + 0)/(-2*(-5)/(-65)). Suppose 6 = o*k - 33*k. Solve 9 = v*q, 4*q - 10 - k = -j for j.
-1
Suppose 0 = -3*x + 5*g - 9, -4*x + 8*g = 3*g + 7. Solve -d + 0*d = -4*w - 28, 0 = -x*d - 3*w - 10 for d.
4
Let k be (1 + 5/15)/(8/42). Let l be -3 + 2 + 1 - (-4 - -2). Solve -24 = 4*c + 3*n, 0 = -3*c + l*n + 2*n + k for c.
-3
Suppose -6*h + j = -10*h + 68, 3*h = 5*j + 74. Solve 0 = -2*o + b + 14, h*b - 20*b - 8 = 0 for o.
5
Let z be 4*3/2 + -5. Let y be 3 - (-4 + z + 3). Solve 4*r + 16 = -w + y, 2*w + 2*r + 14 = 0 for w.
-5
Let x be -3 + 3/(18/(-6))*-8. Solve 0 = 3*a - x*q, 3*a - 10*q - 24 = -13*q for a.
5
Let s(o) = -o**2 - 313*o - 1840. Let h be s(-6). Suppose -2*q = -q. Let f be (q/2)/(-4 + 3). Solve h*r - 2*l = 2, 2*r + 4*l + f = 20 for r.
4
Suppose 17*u - 39*u = -21*u - 14. Solve -4*o - 4*n = -3*n + 16, -2*o = 2*n + u for o.
-3
Suppose 4*m - 11 = 4*b - 7*b, b = 2*m - 3. Suppose 4*v + 20 = 5*v + m*c, 0 = 4*v + 4*c - 68. Solve 4*s - 10 = -3*w - 2, v = 4*w + 2*s for w.
4
Let f be (-224)/(-24)*(-18)/(-7). Suppose -f*n + 40 = -16*n. Suppose -12*o + 140 = -n*o. Solve -3*t + 2*t - 3*s = 11, 4*t - 4*s - o = 0 for t.
1
Suppose p = -4*p - 20, 0 = 2*r + 5*p + 16. Let g = 121 - 145. Let c be g/18*2/(-4)*6. Solve -s + 3*w + 9 = r*s, -c*w = 8 for s.
1
Suppose -43 = l - 45. Suppose -l*q + 1 = h, 5*q + 5*h = 4*h + 7. Solve -q*r = -s + 2 - 0, 25 = 5*s + 5*r for s.
4
Let z be (-1*(1 - 16))/((-2127)/(-1418)). Solve 4*j + 1 = -3*c, -z*j - c + 5 = -14*j for j.
-1
Suppose 0 = 7*l - 3*l - 68. Suppose -2*o + 21 = -l. Suppose -8 = -9*i + o. Solve -i*z - 3 = -a - 1, -2*a - 4 = 2*z for z.
-1
Let r be 64 + ((-5)/5 - 5). Suppose p - 2*t + 7*t - 31 = 0, -2*t - r = -4*p. Solve 4*z + z + 2*n - p = 0, 5*n - 17 = -z for z.
2
Let z = -12296 + 12303. Suppose 2*g + 3*g = 10. Solve -i + z = j, -g*i = -i - 2*j + 8 for i.
2
Let w(v) = 222*v - 1549. Let h be w(7). Suppose 7*u = 3*u. Solve -8 = -4*m + h*j - 2*j, -3*j = u for m.
2
Let o = -7 + 16. Suppose -5*q - l + 171 = 0, o*q - l = 6*q + 109. Suppose 51 - q = 2*y. Solve -3 = -2*b - w, -2*w + 0*w = 5*b - y for b.
2
Suppose -59*d + 63*d = -2*i + 20, -2*i + 2 = -2*d. Solve 0 = 13*f - 11*f - o + 3, 24 = -d*f - 5*o for f.
-3
Suppose 117 = -3*t + 126. Let p be -6 - t*(-48)/18. Solve -3*d + 5*s = 37, 2*s = -5*d - p*s for d.
-4
Let n = 471 + -469. Suppose 4*q - 40 = -4*p, -3*q + n*p - p = -22. Solve -c + 12 = -2*x, -c = x - 5 + q for c.
2
Let p = -15957 + 15960. Solve -p*k - 3*c + 9 = 0, 0 = 8*k - 7*k - c + 5 for k.
-1
Let v = 106 - 44. Suppose -4*n + v + 90 = 0. Let k = -33 + n. Solve -x + k*y + 10 = 0, 2*y + 3 = x - 1 for x.
0
Suppose 2*x + 3*c - 5 = -2, 2*c = 2*x + 12. Let u be ((-20)/8 - x)*2. Suppose -b + u = -4. Solve z = 2*o + b, -z - 4*o + 0*o + 5 = 0 for z.
5
Let r be ((-152)/(-57))/(-4 - (-16)/3). Solve 18 = -r*m - 23*q + 27*q, -16 = 4*m + 2*q for m.
-5
Let x(g) = 3*g - 8*g + 5 + 4*g**2 - 5*g**2. Let v be x(-5). Suppose -81*d = -77*d + 16, -3*h = -4*d - 19. Solve v*f = 5*z + 20, 5*f - 21 + h = z for z.
0
Let a be (-29)/1*(15 + -16). Suppose -25 + a = k. Suppose 24 = 2*b - k*h, 3*b + 2*h = 8*b - 20. Solve p - 6*p - 15 = 2*f, -2*f = -b*p + 8 for p.
-1
Let z(h) = 5*h**2 - 2*h + 2. Suppose 0 = 4*m - 20, -2*a = -0*a - 2*m + 92. Let f = a - -42. Let t be z(f). Solve -t*p + 3*p + 6 = 3*x, 2*p - 10 = -5*x for x.
2
Let g(v) = -742*v + 5196. Let p be g(7). Solve -h + 27 = 5*j, 2*j + 3*h - 20 = -p*h for j.
5
Let t = -27 - -32. Let s = -679 - -681. Solve -t*u - 40 = -5*r, -u = s*r - 4*r + 11 for r.
3
Let c(n) = 2*n**2 - 11*n - 18. Suppose 3*h + 5 - 26 = 0. Let l be c(h). Suppose -1 = -l*r + 4*g + 14, -g + 3 = 0. Solve -r = 3*o - t + 6, 4*o - 5*t = -31 for o.
-4
Let u be (2/(-10)*4)/(588/(-1470)). Solve 0 = u*f + 4*w, 4*f + 27*w - 9 = 28*w for f.
2
Let n be (8 + -6)/((-2)/13*-1). Suppose 18 = 4*k + 2. Solve -g + 3*b = b + n, -g - k*b + 17 = 0 for g.
-3
Let g be 6/1 - (2 + -1). Let s(q) = q - 2. Let k be s(6). Suppose -2 = -b - 3*h + k*h, h = 3*b - 8. Solve -n - b*x = -5*n - 7, -n - g*x = -27 for n.
2
Suppose 204 = 12*c - 324. Suppose 0 = c*a - 35*a. Solve -2*x + g + 2 = -a, 5*g - 16 = -3*x for x.
2
Let a = 631 + -629. Suppose -308 = -a*h - 304. Solve -5*b = -4*z + 29, -4*z - h*b = 2*b + 16 for z.
1
Let w be ((1236/9)/4)/(4/12). Suppose -3*k + n + 73 = 0, -3*k - 5*n + 0*n + w = 0. Let g = k + -20. Solve -4*x = t + 2 + g, -3*x - 3 = 0 for t.
-4
Let t = 129 + -126. Suppose -5*h - 4*p = -2*h - 24, 0 = -t*h + 4*p + 48. Solve -4*g - 18 = z - 3*z, 3*g = 3*z - h for g.
-5
Suppose 8 = -4*o + 5*o + 2*d, 4 = -5*o + d. Let x = -287 - -292. Suppose -x*b + 10 = -o. Solve -w = 5*h + 24, 3*h = -b*w + 5*h + 12 for w.
1
Let o = 6091 + -6082. Solve -q = -5*c - 18, o*q = c + 8*q + 6 for c.
-3
Suppose s = -1 - 12. Let p = s + 10. Let r be (-2 + 2)/(6/(-9)*p). Solve r = 5*i - 15, -4*i + 5 = -u - i for u.
4
Let r be 8360/(-80)*(-6)/33. Solve 4*t = 5*u - 45, 22*t + 10 = -u + r*t for u.
5
Suppose 8*c - 3*c = 10*v - 40, 3*c + v = 18. Solve -24 = -5*r + 4*z, c*r + 7*z - 12*z = 21 for r.
4
Let f(u) = -u**3 - 46*u**2 - 271*u + 86. Let m be f(-39). Solve 0 = -9*l + 7*l - 6, -q + 4*l + m = 0 for q.
-4
Let v(z) = 11*z**2 + 155*z + 4. Let f be v(-15). Suppose -12*x + x = -f. Solve 3*q = g - x, -4*g - 24 = -0*q + 4*q for q.
-5
Let m(l) = 3*l**3 + 35*l**2 + 20*l - 2. Let x be m(-11). Solve -q = -n - 2, 5*q + x = 2*n + 18 for q.
-2
Let v(n) = n**3 + 7*n**2 + 2*n + 82. Let r be v(-8). Solve -14 = 5*u - 2*o, 6 = -2*u + u + r*o for u.
-2
Let l(p) = 3*p - 24. Suppose 11*w = 20*w - 117. Let z be l(w). Solve 28 = 5*v - 3*u, z = 2*v - u - 4*u for v.
5
Suppose 959 = 73*q + 64*q. Solve 0 = 4*w - 6 + 10, -3*u = -5*w + q for u.
-4
Let r(m) be the first derivative of 11*m**2/2 - 3*m - 28. Let l be r(-3). Let c = l - -44. Solve h + 3*h + 4*q - c = 0, h = 3*q - 10 for 