(12). Let u = 6 + -2. Solve 0 = u*g + n - b + 1, -2*g = 2*n - 4 for g.
-1
Let i = 333 - 329. Solve 5*u = i*k + 32 - 4, 5*u - 16 = -2*k for k.
-2
Suppose -40 = -5*i + 120. Solve 0*o = -4*o + 5*a + i, 0 = -o + 5*a + 23 for o.
3
Let o = 12 - 7. Let v be o*(46/10 - 4). Let f = 5 - v. Solve -3*n = -c + 2, -3*n - f + 1 = -2*c for c.
-1
Let r be 40/(-30) + (-38)/(-6). Solve r*y + 4*d = 16, 0 = 2*y - d - 8 - 1 for y.
4
Suppose -2*y = -a - 2 + 14, 45 = 5*a - 5*y. Solve 0 = -3*u - a + 18, -z - u + 2 = 0 for z.
-2
Let p(v) = -v**2 + 36*v - 118. Let y be p(32). Solve 0 = -3*k - 15, -n + y = 2*n + k for n.
5
Suppose 0 = -4*k, 0*b - 3*k - 20 = -4*b. Solve -2*y = 4*t - 5*t - 13, 0 = b*t + y + 21 for t.
-5
Let q be 10/(-1*8/(-16)). Solve -q = -3*n + 5*r, -n + 3*r = 3*n - 23 for n.
5
Let m(i) = -i**3 + 2*i**2 + 7*i - 5. Let q be m(4). Let r be 3/q - 10/(-3). Solve -r*k = -4*b - 4, -6*k - 28 = -4*k + 5*b for k.
-4
Suppose 3*r - 187 = 2*o, -4*r + 2*o + 250 = -o. Let c = r - 55. Solve 4*m + 29 = 3*z, 5*m + 2*z + c = -13 for m.
-5
Let i = 2 + -22. Let k = -9 - i. Suppose 2*h - 4*c - 14 = -4, -4*c + 5 = 3*h. Solve -k = 4*j + z - h, 4*z = j + 19 for j.
-3
Suppose -4 = -4*v, -5*v = -2*c - 81 + 246. Let s be 119/c - (-3)/5. Solve -5*k + 5*f - 20 = 0, -2*k = -2*f + 5*f - s for k.
-2
Let b be -5 + -4 - (-12 + 6) - -6. Solve 5*w = b*u - 22, 3*w = -5 - 1 for u.
4
Suppose 0 = 4*q - 3*x - 48, -2*x = -0*x + 8. Suppose -2*y + 29 - q = 0. Let g be (-25 + 23)/(3*4/(-18)). Solve k = 2*j + 7, -g*j + k - y = -k for j.
-4
Suppose d + 13 = 3*g, 2*g + 0*g = 5*d + 13. Solve v = -g*m - 17, 3*v + 2*m + 7 = 4*v for v.
-1
Let f be (0 - (7 + 3))*(4 - 3). Let k be 1*(-16 + -1) + -1. Let x = f - k. Solve -3*s - 6 = 0, -s - x = -2*c + 4*s for c.
-1
Let s(b) = -b**2 + 3*b + 8. Let u be s(6). Let a be (15/u)/(3/(-4)). Suppose a*x + x = 3*p + 6, 2*x + 2 = 4*p. Solve 0 = -3*y + z + 8 - 1, 3*z - p = y for y.
3
Suppose 2*k - 5*b + 4 = 0, -b - 3 - 10 = -5*k. Solve 2*h + 4*t = -14, 2*t - 3*t - k = 0 for h.
-1
Let l = 26 - 23. Suppose 3 - 9 = -2*r. Suppose -a + 4*a - 36 = l*u, r*a - 5*u = 44. Solve -5*p + 2*f + 1 = -a, -10 = -4*p + 3*f for p.
1
Suppose -m - 27 = -28*m. Let a be (-1 - -7)*3/2. Let t be (a/6)/(9/12). Solve 3*g + 6 = 0, -t*g = -z + m + 4 for z.
1
Suppose 3*d - 36 = 30. Suppose 16 = -4*y - 2*q - d, -3*q - 9 = 0. Let j = y + 12. Solve 3 = -2*b - 3*o + 12, 3*b - j*o - 5 = 0 for b.
3
Suppose 0 = 9*m - 223 + 79. Solve 4*r - w + 0*w = 13, 2*r = -4*w - m for r.
2
Let p be (-18 - -21)/((-9)/(-15)). Solve 6 = g + l - 0*l, 0 = p*g + 3*l - 22 for g.
2
Let r be (-19 - -11)/((-4)/2). Solve -3*y - v = r*v - 7, -y - 5*v = -9 for y.
-1
Let o = 344 + -340. Solve 0 = 3*d + 4*h + 5, o*h + 11 = 2*d + d for d.
1
Suppose -5*w - 6*w - 187 = 0. Let x = 17 + w. Solve 0*j + 22 = -2*b + 4*j, x = -5*b - 3*j - 16 for b.
-5
Let q = -706 - -706. Solve -2*v + 10 = 4*t, q = 3*t - 0*t + 2*v - 7 for t.
3
Let j = 16 + -9. Suppose 11 = 6*d - j. Solve d*u = -k - u - 17, -4*k + 4 = -2*u for k.
-1
Suppose -3*a + 11*a = 56. Let m = 16 + -11. Solve -2*t = u + m, -4*u + 17 + a = -3*t for t.
-4
Let i be (-6)/(-3)*27/6. Let q(v) = v**3 - 9*v**2 + 2*v + 1. Let g be q(i). Let t = g - 16. Solve 0 = 4*b - t*l - 9, 2*b - l = -2*l + 7 for b.
3
Suppose 0 = -3*k - 4*d + 21, -5*k + 0*k - 3*d = -24. Suppose -v - 1 = -3. Solve 2*r = t + k - v, 3*t = -2*r + 13 for t.
3
Let c = -1352 + 1355. Solve -r = -5*d + 3 + 14, -5*d = -c*r - 21 for d.
3
Suppose -7 = -5*i - 12, 9 = s - 5*i. Solve 0 = 5*l + s*m - 4, 6*l - 3*l + 2 = 2*m for l.
0
Suppose j + 5 = 2, 0 = 4*i - 3*j - 29. Solve -3*x = -2*o - 15, 5*x - 22 = -i*o + 3 for o.
0
Suppose 5*g = 3*d - 40 + 7, 11 = d + g. Solve -4*c - i = d, -32*c + 27*c = i + 13 for c.
-2
Let l = 749 - 745. Solve l*g - d + 3 = 0, 5*d + 33 = 5*g - 9*g for g.
-2
Let h = -10 + 10. Let x(l) = 2*l + 8. Let c be x(h). Suppose -c - 18 = -2*i. Solve -3*k + 4*t - i = 0, -4*t + 3 = k + 2 for k.
-3
Let v be 157/3 + (-4)/12. Let q = v - 22. Suppose 5*w = l + 15, -3*w + 2*l = -8*w + q. Solve -5*f - 2*r - 10 = 0, w*r + 14 = -6 for f.
0
Let l(o) = -18*o - 161. Let y be l(-9). Solve y = -v + t, 0 = v - 5*t + 8 + 5 for v.
2
Suppose -5*h + 4*m - 12 + 39 = 0, -6 = 2*m. Suppose 4*f + 3*o + 0*o - 15 = 0, h*o - 15 = 3*f. Solve 2*y + 10 = 4*t, 0 = y - f*y + 5*t - 2 for y.
-3
Suppose 3*k + 53 = 4*m - 118, 209 = 5*m + k. Suppose 42 = 4*t + m. Solve -s = -v + 1, -4*s = -t*v + v - 16 for s.
3
Let k = 11 - 8. Suppose -5*a + 25 = q, -5*q - 4*a = -k*a - 29. Solve -f + q = -6*h + h, -1 = h + 5*f for h.
-1
Let w(f) = -f**3 + 2*f + 2. Let l be 0/(-3 - -4) + -2. Let g be w(l). Suppose 2*u + 16 = g*u. Solve 3*s - 12 = 5*v, -v + 10 = -u*s - 3*v for s.
-1
Let q be ((-6)/4)/((-1)/2). Suppose -y = 2*f - q*f - 14, -f - 2 = 0. Suppose y = 9*u - 5*u. Solve -9 = -u*i, 4*m - 4*i + 9 = -i for m.
0
Let q(n) = -n**2 - 29*n - 28. Let d be q(-28). Solve d*p + 5*p = 4*s - 17, 4*s + 28 = -4*p for s.
-2
Let v be 42/(-210) + 46/5. Solve -5*c + v + 6 = g, 0 = -2*g for c.
3
Let s(z) = -2*z**2 - 9*z + 7. Let j be s(-5). Suppose -4*p - 32 = -j*n - 2*n, n + 3*p + 8 = 0. Solve 0 = 2*v, -n*g + 2*g - 8 = 4*v for g.
-4
Let f = -2 - 0. Let r(k) = 13 + 16 - 33 + 2*k + 8. Let d be r(f). Solve -5*y = -25, d*p - 2*y + 30 = 4*p for p.
5
Suppose -4*k = w + 10, 2*w + 5*k + 20 = -3*w. Let x be (w + 6)/(-3 - -4). Solve 4*g - 12 = -x*j, -2*g + g - 7 = -j for j.
5
Suppose 2*m - 14 = -2*a, 2*a = -2*a - 3*m + 26. Let s be (18/(-10))/(-6 - -3)*a. Solve -s*u - 2*p - 2 - 7 = 0, -2*u = -p - 1 for u.
-1
Let s(l) = l**2 - 4*l - 1. Let n be s(6). Let u = 20 - 18. Suppose -d - u*d = -30. Solve 2*b - b - 4*g - n = 0, 2*b - 4*g - d = 0 for b.
-1
Let i(j) = -3*j**3 + 12 + 3*j**3 - j**3 - 3*j + 6*j**2 - 3. Let w be i(5). Solve l - 11 = 3*m, 5*m + w = 2*l - 0 for m.
-3
Let y(s) = -24*s - 2. Suppose -3*g + 0*g = 3. Let j be y(g). Solve -8*m + 3*m = 3*b + j, 0 = 4*m + 2*b + 16 for m.
-2
Let m = 1578 + -1575. Solve -4*c + k + m*k = 0, 5*k = -3*c for c.
0
Suppose 5 = -3*t + 5*v, -2*v - 18 + 1 = -5*t. Solve 4*c - 16 = 2*x + c, x = -t*c + 5 for x.
-5
Suppose -6*z = -5*z - 55. Let n be (66/z)/((-6)/(-80)). Solve 3*l = 9, -5*g = -3*l + 18 + n for g.
-5
Suppose -5*t + 0*t - 15 = 0. Let z(n) = -n**3 - 2*n**2 + n + 1. Let u be z(t). Suppose 0 = -u*d + 2*d + 20. Solve g + 2*g = 0, -4*g = d*i + 8 for i.
-2
Let g = -55 - -78. Suppose 21*p - g*p = -4. Solve 2*n = -5*v - 19, 26 - 4 = 4*n - p*v for n.
3
Let j(q) = -7*q**2 + 28*q - 14. Let d(h) = -8*h**2 + 29*h - 15. Let m(u) = -5*d(u) + 6*j(u). Let y be m(11). Solve -5*t - y*g = -20, -1 = -g + 4 for t.
2
Let z = 160 + -96. Let m = -59 + z. Solve -h + m*x = 16, -2*h + 2*x = -3*h + 5 for h.
-1
Let o(n) = 5*n - 11. Let p be o(4). Suppose 0 = -3*d + 3*z + p, -d - 4*z - 1 = -z. Solve v - 2*i - 13 = d*i, v - 2*i = 5 for v.
-3
Let p(o) = -2 - 2 + 1 - o - 8*o. Let r be p(-2). Solve 0 = -q - q - 5*f - r, 4*q - 3*f = -17 for q.
-5
Suppose -214 = 6*i - 232. Solve -3*q = -i*k - 12, 2*k + 2*k + 15 = 3*q for k.
-3
Suppose -3*n - 38 = -128. Suppose 0 = 2*y + 3*s - 1 - 10, 5*y + 5*s - n = 0. Solve -v + j = 2, -v - y*j = -2*j + 14 for v.
-4
Let y = -6 + 11. Let v = 52 + -55. Let d = v + y. Solve -3*m = 4*s - d + 9, -4*m = -5*s + 30 for m.
-5
Let k be 110/4 + (-1)/2. Let c = -16 + k. Solve -37 + c = 2*b - 4*s, -5*b + 4*s - 41 = 0 for b.
-5
Suppose 0 = 2*c + 5*a - 29, 4*c - 4*a = -0*c - 12. Suppose -i = c*q - 11, -i = -3*q + 4*i - 3. Solve j + 2*d = -7, -5*d - 6 = -q*j + 18 for j.
1
Let f = -2485 - -2493. Solve -6 = 3*a + 3*x, 5*x + 8 + f = a for a.
1
Suppose 4*b + 16 = 2*q - 22, -8 = -b - 3*q. Let p be 6/4 + b/(-2). Solve 36 = -5*m + 5*h + 6, p*m + 3*h = -22 for m.
-5
Let p = 153 - 144. Solve 2*i - 3 = -3*s, -3*s + 2*i - p = -0 for s.
-1
Suppose -3*n + 2*n + 13 = 0. Suppose 3*r - n = -2*h, h + 2*r - 6*r = -10. Solve g = -2*p + 6, h*g = p - 2*g - 21 for p.
5
Let g(o) = -o**3 + 3*o**2 + o + 2. Let t = 32 - 29. Let v be g(t). Solve -10 = -5*n - 5*q, 0*n + n - 22 = -v*q for n.
-3
Suppose 2*j = -4*j. Solve 2*u + j*u = -3*s + 13, -5*s + 7 = -4*u for u.
2
Let m = -141 - -141. Solve -3*l = -4*t - 20, 2*t + m*l + 2*l = -10 for t.
-5
Let a be (0 - 9) + (134 - 118). Let u = -1 + 1. Let t = -5 - -10. Solve 0 = 2*y + c - a, -3*c + t + u = -2*y for y.
2
Suppose -13*d + 10*d = 0. Solve 11 + 6 = -3*v - 