 12. Solve 3*y + t*i = -2*i + 11, b = 3*y - i + 13 for y.
-3
Let g(m) = -m**3 + 4*m**2 - m - 3. Suppose 0 - 12 = -4*o. Let f be g(o). Suppose 0 = f*v - 5*v + 10. Solve -h - 4*b + 16 = h, -v*h = b - 4 for h.
0
Let k = -253 - -258. Suppose -k*j = -13*j - j. Solve -r + 1 = -s, -5*s + 2*r + 4 = -j for s.
2
Let w(j) be the first derivative of 1/3*j**3 + 2*j - 6 - 5*j**2. Let g be w(10). Solve 3*k - a + 18 = 2*a, g*k + 3*a = -7 for k.
-5
Suppose 0 = o - 0*o - 2. Let s(q) = -15*q + 9 + 19 + 7 - 15 + 14. Let g be s(2). Solve -o*c - f + 7 = 0, c - g*f - 8 = -0*c for c.
4
Let d = 131 + -364. Let z = -137 - d. Let k = z + -94. Solve -k*u + 9 = 4*o - 9, 0 = -4*u - o + 1 for u.
-1
Suppose -z = 24*z - 100. Let s(c) = 2*c + 27. Let q be s(-12). Let b(g) = 5*g + 3. Let f be b(q). Solve 3*t = -5*l + l + 22, t - f = -z*l for l.
4
Let a(w) = -15186 + 4*w - 19*w + 15326. Let o be a(9). Solve -5*b + 3*d = -37, -4 = -5*b - 4*d + o for b.
5
Let m be (-4)/(-2) + (-705)/94*4/(-10). Solve 3*q = -m*z - 10 - 6, 20 = -4*z for q.
3
Let z be 37*(-1 + 4 + (-20)/5). Suppose -2*s - 37 - 41 = 0. Let d = z - s. Solve h - 3*k = -2, 5*h + k + d*k = 8 for h.
1
Let y(f) = -f**3 - 27*f**2 - 183*f - 43. Let b be y(-15). Solve -5*s = -j + 22, -b*j - 3*s = s + 26 for j.
-3
Let f(g) = -2*g**2 + 10. Let q(v) = -3*v**2 - 3*v + 11. Let r(y) = 4*f(y) - 3*q(y). Let i be r(-9). Solve l = -2*a + 5*l - 8, 3*l = a + i for a.
2
Let h = 104 - 101. Let z be (-200)/(-75)*h/2. Solve 8 = 4*y + 3*s - 6, 3*y = -z*s + 14 for y.
2
Let f(l) = l**3 - 38*l**2 - 41*l + 1564. Let q be f(38). Solve 4*x = 4*w - 16, -2*x + 5*w = 2 + q for x.
-4
Let t be 6*80/(-36)*-3. Suppose -7 = t*g - 39*g - 4*d, -2*d = -5*g + 19. Solve -12 = -3*y - 2*q, -3 - 5 = -2*y + g*q for y.
4
Let t be (2/4)/((-16)/(-6080)). Suppose 3*d + t = k - 9, 4*d + 263 = -k. Let p be (d/(-88))/(2/8). Solve -9 - p = 3*g, -4*z + 20 = -2*g for z.
3
Suppose -8*b - 100 + 132 = 0. Let y be ((-8)/(-5))/((-8)/(-20)). Solve y*j - 5*v - 16 = 0, -j - 8 = -3*j + b*v for j.
4
Let f(s) = 2*s**2 + 19*s + 37. Let d(x) = -x**2 + 12*x - 43. Let u be d(6). Let k be f(u). Solve 3*z = 6, -r + k*z = -z + 1 for r.
5
Suppose 3*g + 0*g - 15 = 0. Suppose 4*n - 4 + 26 = -2*t, -g*t = -4*n - 1. Let p be 104/56 + t/(-21). Solve 4 = p*c - 3*o, 5*o - 2 = -c - 26 for c.
-4
Let d = -211 + 214. Suppose -4*t + 3*h = 4, t + 4*t + d*h = 22. Solve -4*n + x = -0*n - 6, -3*n + t*x + 7 = 0 for n.
1
Suppose 0 = 412*l - 481*l + 345. Solve 0 = 4*d + 9*k - 6*k + 11, -l*d - 28 = -k for d.
-5
Suppose 4*j = 11*d - 9*d - 36, -5*d + 103 = 3*j. Solve v + d = -5*a, -5 - 30 = -3*v + 4*a for v.
5
Let o = -46 - -67. Let j(k) = -91*k**2 + o*k + 49*k**2 + 22 + 43*k**2. Let m be j(-20). Solve 3*l + m*l - 30 = 5*p, 5*l + 10 = -3*p for p.
-5
Let m(k) = 3296*k - 36253. Let r be m(11). Suppose 5*a - 20 = 5. Suppose 5*n = -0*n + a. Solve -3*f - r*l - 7 = -7*l, -f - n = -l for f.
3
Let g = -14 + 12. Let w be (-221)/(-52) + g/8. Suppose -2*q + 8 = 6*d - 2*d, 0 = -w*q. Solve 5*u - h = 0, -d*u - 2*h + 5*h = 13 for u.
1
Let q = 311 - 307. Suppose 3*w - 27 + 9 = 0. Suppose -5*i = -7*i + w. Solve -q*f - 13 = -a + i, -f = 3*a - 9 for f.
-3
Suppose -7*n + 558 = 530. Solve -i - 7 = 3*b - 0*i, -3*b - 19 = n*i for b.
-1
Let k(a) = -22*a + 752. Let d be k(34). Solve -5*m - b - 2 = -7*m, d = -3*m + 5*b for m.
2
Let v be 1 - -2*10/12*9. Solve 2*q = -5*s - v, -2*q + 2*s + 12 = -0*s for q.
2
Let f(b) = 24*b + 4. Let n(d) = -d**2 - 60*d - 224. Let l be n(-4). Let g be f(l). Solve 5 = -g*c + 3*m, 5*m + 3 = -2 for c.
-2
Suppose -6*l + 3*l = 45. Let b be (1 - 8 - l) + 7. Solve b = 4*t - k, -t - 4*k = -0*t - 8 for t.
4
Suppose -2*h = 4, -123*k + 122*k + 28 = 2*h. Solve 2*i - 4*b + 14 = -9*b, -k = -4*i + 5*b for i.
3
Suppose 10*r + 4*r + 4*r = 0. Suppose -5*j + 3*p + 25 = 0, r = 3*j - 2*p - 3 - 12. Solve y + 10 = -y, 2*y = j*h + 15 for h.
-5
Let q be ((-2)/(-10) + -1)*130/(-4). Let c be (8 + -5)*28/6. Solve 2*l - 2*x = c, 3*x + q = 4*l - 0 for l.
5
Let r(x) = -10*x + 47. Let m be (-1)/(-9)*-3*3*-13. Let g be r(m). Let k = 86 + g. Solve 5*n + 4*c - 32 = 0, 0 = k*n - 6*n - 5*c + 27 for n.
4
Let a be -2 + (-15)/((-45)/12) - (2 - 3). Let r = -8 + 15. Solve a*l + r = p, 5*p = p + 4 for l.
-2
Let h = -2201 + 2220. Solve -5*z + 2*k + 11 - h = 0, -5*k = 3*z - 20 for z.
0
Suppose 15 - 3 = 3*r. Let i be 64/(-48) - 40/(-30). Solve j + 0*q - 4*q - 20 = i, -j = r*q + 12 for j.
4
Let z = -85 + 80. Let k be (1 + 12/(-4))*z/2. Solve -10 = -4*m - k*x, -m = 4*x - 12 + 4 for m.
0
Suppose -2*s = 2*r - 0*s - 32, 4*r - s = 69. Suppose 0 = k - 2*j - r, j = -1 - 0. Suppose 5*o - 2*o - k = 0. Solve 11 = -2*f - t, -o*f - 2*t - 29 = t for f.
-4
Suppose -15 = -3*c, -5*x + 40 + 5 = -4*c. Suppose 0 = 12*i + x - 49. Solve 0 = -i*m + 6, -4*m + 2 + 26 = 4*h for h.
5
Let o(a) = a**3 + 22*a**2 + 40*a + 23. Let v be o(-20). Suppose 0 = 2*j - u - 2 - 8, -j - 4*u + v = 0. Solve -4*b = 4*w + 12, j*w + 9 = 4*w + b for w.
-3
Let g = -7786 - -7802. Solve -12*w - 5*i - 40 = -7*w, 0 = -5*w + 3*i - g for w.
-5
Let p(g) = g**3 + 2*g**2 + 2*g + 2. Let z be p(0). Let q be z/6 - 55/(-33). Solve 5*j + 2 = -q*l - 4, 5*j - 4*l = 12 for j.
0
Suppose -3*m + 133 + 20 = 0. Suppose m = 7*j - 47. Solve 2*k + 2 = 0, 6 - j = 3*t - k for t.
-3
Let c = -1620 + 1650. Suppose 2*y + 27 = 3*r, -33*y + 36*y = 3*r - c. Let l = 2 - -7. Solve n = -4*i - r, 4*i = 3*n - 2 - l for i.
-2
Let d be (20 + 2)*4/8. Let b = -7 + d. Suppose -1294*z + 2771 = -2321 - 84. Solve -j + z*s - 14 = -3*j, 5*s + 2 = b*j for j.
3
Let h be (-5)/((-70)/54) + (-4)/(-28). Solve 2*x = h*m - x + 3, -2*m + 6 = -4*x for m.
-3
Let v be -12 - -10 - (-15)/(3/1). Suppose -8*z + 4*z + 8 = 5*y, -3*y = -v*z + 6. Solve -3*c + z*o + 3 = 0, -5*o = c + 4*c + 20 for c.
-1
Suppose o - 5*o = -19 + 3. Solve 11 - 1 = -p + 2*c, 20 = o*c for p.
0
Let n be (0 - 4/(-1)) + 47. Suppose n*s - 56*s + 10 = 0. Suppose -3*v + 4*a + 19 = 3*a, 0 = -4*v - s*a + 12. Solve 4*g + 13 + 7 = 4*p, -25 = v*p + 5*g for p.
0
Suppose -78 = -226*c + 213*c. Solve 5*h - c + 27 = -2*u, -2*h - 5*u = 21 for h.
-3
Let f be (-1)/(-2) - 1/2. Let h = -134113 + 134137. Solve -x + 2*p + 9 = f, -5*x = -0*p - 3*p - h for x.
3
Let s = -19047 - -19084. Solve -5*k + s = -4*j, -41*j + 2*k - 19 = -38*j for j.
-3
Let h be 93/9 - (9/108)/(2/(-16)). Solve 4*l = r + 12, 2*r = -9*l + h*l - 12 for l.
2
Let o = -146 + 149. Suppose 0 = -4*h + 3*g + 26, -o*h - g + 18 = h. Solve -h*z + 2*y + 24 = 0, -5*y - 28 = -5*z - y for z.
4
Suppose 0 = -5*p + 5*k + 25, 4*p + k + 5 = 8*p. Let b be 0 + 0 + (7 - (3 + p)). Solve -2*z = 2*z - b*i - 20, 0 = -5*z + i + 17 for z.
3
Let c = -23277 - -23288. Solve c = -5*f + 2*u, 4*f - 84 = 4*u - 88 for f.
-3
Suppose -5*i - 94 = -2*j - 26, -5*i = 7*j - 148. Solve -27*a + j*a + 2*m = -9, 4*m - 12 = 0 for a.
5
Let d be (62 + 1506/(-24))*(-8)/3. Solve 5*j - d*u = j + 22, 4*j - 26 = -2*u for j.
6
Suppose -5*i + 0*i = -25. Suppose -4*d - 19 + 7 = -i*y, 3*y - d - 3 = 0. Suppose y = -2*z + 5*z - 9. Solve 5*x - k = 17, -2*k = -x - 5 + z for x.
4
Let n = -33 + 34. Let r be 13 - 4*(n + 0). Let g be (r/12)/((-1)/(-32)). Solve -4*m - g = 2*k, 2*m - 3*k = -m for m.
-4
Suppose -912*p + 12 = 4*j - 910*p, -p + 3 = j. Solve 0 = -j*r - 4*o - 11 + 1, 4 = -r - 2*o for r.
-2
Suppose -8 = 7*i - 8*i. Let o = -6 + i. Let d(s) = 2*s + 15. Let w be d(-6). Solve o*f - 8 = u, 3 = -f + w*u + u for f.
5
Let m be 342/(-4)*(-48)/(-18). Let j = m - -231. Solve 5*t + 3*z - 30 = 2*z, j*t + 2*z - 25 = 0 for t.
5
Suppose -28*b = 142 - 370 - 52. Solve -5*l - 4*f + 30 = 0, b*l - 18 = 7*l + 2*f for l.
6
Let x = -55 - -76. Suppose 69 = 18*y - x. Solve j = -z - 3*z - 25, -z = -y*j - 20 for j.
-5
Let t(s) = s**3 + 5*s**2 - 11*s - 30. Let k be t(-6). Let p be -2 + (-12)/(-3) - k. Solve 2 = -p*h, 3*w - 3*h - 2 = 1 for w.
0
Suppose 2*t + 5 + 20 = 3*a, -2*t - a - 21 = 0. Let h(w) = -w**3 - 13*w**2 - 23*w - 7. Let g be h(t). Solve -i = -j + g*j - 14, -2*i + 16 = 2*j for j.
3
Let w be (26 + 1768/(-65))/((-16)/40). Let k(d) = d**3 - 5*d**2 - 5*d - 4. Let q be k(6). Solve -q*y - 5*r = 6, 5*y - 3 = -w*r + 1 for y.
2
Let l = 43 + 103. Suppose 5*z - 104 - l = 0. Suppose -15*n - z = -125. Solve 0 = n*y + 5*k - 10, -3*k = -5*y - 24 + 2 for y.
-2
Suppose -5*z - 35 = -3*o, -3*o + 3*z + 388 - 361 = 0. Solve x = 2*j - 5*j + 9,