12. Solve -2*b = -d*b - 3*v - 13, 13 = b - 5*v for b.
-2
Let p(g) = -6 + 2*g - 2 + 1 - 6*g**2 + g**3. Let s be p(6). Solve 0 = 4*d + 2*o - 0*o + 26, s*d = 5*o + 5 for d.
-4
Let m = 42 + -30. Let v = -30 - -33. Solve -3*s + 3*a = m, -6*s + 8 = -v*s + 2*a for s.
0
Let j = 17 - 14. Suppose -j*w = -2*b - 45, 4*w + b - 36 = w. Solve 2*f - 13 = 5*r, 3*r = -w + 4 for f.
-1
Suppose 180*m + 4*b + 28 = 184*m, -m + 2*b + 11 = 0. Solve -i = -3*i + l - 4, -m*i + 3*l - 9 = 0 for i.
-1
Let h be 1 + 3 + 7 - 12/3. Solve 2*v + f + 4 = 0, 5*v - h*f + 4*f + 32 = 0 for v.
-4
Let d = 9 - 5. Suppose 3*s + 6*z = z + 32, -d*s - 2*z + 24 = 0. Solve -m = s*a - 9, -3*a - 2*m = -4*a for a.
2
Suppose 0 = -9*y + 14*y - 15. Let r = y - -2. Solve 0 = -3*o + 4*x - 6*x - r, 5*x = -5*o for o.
-5
Suppose -10*x + 44 = 12*x. Solve 0 = -s - 2*q, -x*q = 4*s - 5*q - 22 for s.
4
Suppose -5*y = j + 22, 29 = -5*y + 5*j - 11. Let b be (2 - y - -2 - -1) + -3. Solve -3*d = r + 7, -2*r + d + 0*d = -b for r.
2
Let q be 2/5 + (-13)/(-5). Solve -5*r - d + q = 10, d - 3 = 0 for r.
-2
Suppose 12 - 87 = -3*x. Suppose -7*a + 12*a - x = 0. Solve -4*t - 3 = a*o, 3*o - 2*t - 2*t + 21 = 0 for o.
-3
Suppose 3*j + 4 = -u + 18, -2*u = 5*j - 23. Solve -4*h + 4*g + 40 = 0, j*h - g + 7 = 37 for h.
5
Let o be (-26)/(-52) - (-2)/(-4). Solve -t = 2*c - 0*c + 3, o = 3*t - 5*c + 9 for t.
-3
Let w be (-3)/1 + -6 + 16. Suppose -3*l + 9 = b, 3*l = -w*b + 8*b + 9. Solve 26 = -4*x - 3*i, -2*x + l*i = -i + 2 for x.
-5
Let q be (-2)/(-4)*(-19 + 19). Suppose -2*l + 22 = -q*l + 2*f, 3*l - 8 = 2*f. Solve 2*g - 4*c - 15 = 3*g, l = -2*c for g.
-3
Suppose -21 = -4*i - y, i + 2*i - 12 = -2*y. Solve -7 = 2*d - 3*f, -2*f + 8 = -i*d + 3*d for d.
-2
Suppose -r = -2, 0 = 5*x - 4*x - 2*r + 1. Let q(v) = v**2 + 6*v - 8. Let h be q(-8). Suppose -x*w + 7 = -h. Solve 1 + w = -2*z - 3*l, 0 = 4*z - 4*l + 12 for z.
-3
Suppose 7 - 73 = -6*j. Let f(s) = s**2 - 10*s - 6. Let p be f(j). Suppose 5*m = 10 + p. Solve -v + a + 2 = m*a, -5*a - 21 = -4*v for v.
4
Let r be 7/35*18 - 6/(-15). Solve r*q - 2*q + 6 = -5*l, -15 = 5*q + 3*l for q.
-3
Suppose 24 = 5*a - x, -5*a + a - 2*x + 8 = 0. Suppose -3*t - 1287 = 6*t. Let h = t - -158. Solve 5*q - h = 2*k + 3*k, -18 = k - a*q for k.
2
Suppose 2*v = -0*v + 16. Let z be ((-2)/7)/(((-6)/(-3))/(-14)). Suppose h + z = k, k + 8 = 5*h + 2. Solve -3*s = -5*s - k, 2*o - v = 2*s for o.
2
Let d(x) = 5*x + 4. Let w(l) = -1. Let k(h) = d(h) + 3*w(h). Let z be k(-2). Let s = -6 - z. Solve 4*a - 4 + 0 = -q, 3*a - 3 = -s*q for a.
1
Let l(a) = -a**2 + 10*a - 14. Let f be l(8). Suppose 0 = -3*k + f*k + 5. Solve 4*x + 17 = -k*w, -3*w - 10 = w + 5*x for w.
-5
Suppose -7*u = -2*u + 95. Let o be (-2)/u + 1940/(-19). Let i be o/(-15) - 2/(-10). Solve 25 = 5*j, r + 2*r = -j - i for r.
-4
Let s = -5 - -21. Suppose 0 = -4*w + s + 8. Suppose 4*h = n - 21, 2*n + h - 16 = -2*n. Solve 0*q = -2*q - 4, w = -n*b + 2*q for b.
-2
Suppose 0 = -5*t + z + 13, 2*z + 17 = 5*t + 1. Let p be (-47)/(-7) - t/(-7). Suppose -p*s = -10*s. Solve s = 3*m - 5*g + 9, 2*m + 5*g + 6 = -0*g for m.
-3
Let m(y) = -y**2 + 5*y. Let a be m(5). Let v be 1/5 - 28/(-10). Suppose 52 + 39 = 4*q + v*f, 5*q - 5*f = 140. Solve -5*c - 3*o = -a - 25, 5*c + o = q for c.
5
Let q be 2*(3 + (-1)/2). Suppose -4*g - 6 = -6*g. Solve 0*m = g*m - j + 3, -13 = -m + q*j for m.
-2
Let j = 2 + 0. Suppose -c + 1 = -j. Solve -c*l + 4*s = 0, 0*s = -2*l + s - 5 for l.
-4
Let i(a) = -7*a - 3 + 0*a - 2 + 2. Let r be i(-2). Suppose 4 = 3*p - r. Solve -2*u + 5*u = -g - 10, 3*u = p*g - 40 for g.
5
Let q = 837 + -835. Solve -2*a = -3*f, -q*f - 3*f + 13 = a for a.
3
Let t be (-168)/(-36) - (-4)/3. Let h be (0/(t/(-2)))/2. Let d be (h + -1)*(2 - 4). Solve -2*q - 1 = 3*x + 1, -3*x + 14 = -d*q for x.
2
Suppose 6*d + 89 = 9*d - 5*v, -4*v = 5*d - 99. Suppose -3*f = 2*k - 4, k + 5*f - 3 = -1. Let c = 19 + -5. Solve -p - k*q + c = 0, -2*q + d = 5*p - 7 for p.
4
Let w = 15 + -12. Suppose 20 = -3*n + w*k + 89, -4*n - 3*k = -64. Solve -4*c = 5*b + 25, b = -4*c + 2*b - n for c.
-5
Suppose 60*z + 3*t = 62*z - 46, 0 = -4*z - 3*t + 74. Solve -3*c - 12 = 3*b, -3*b - c + 6 - z = 0 for b.
-5
Let k = 59 + -59. Suppose 4*m + k*f - 62 = 2*f, -2*f + 10 = 0. Solve 4*r - 5*p + m = 1, -5*p = -5 for r.
-3
Suppose 4*l + 2*l = 30. Solve l*q = -2*j + 4 + 5, 3*j - 10 = -4*q for j.
2
Suppose 0 = 3*h + o - 8 - 4, o = -5*h + 18. Let q = -2580 - -2583. Solve -2*g - 1 = 2*g + 5*d, h*g - q = -5*d for g.
-4
Let q be (-1)/5 + (-6)/(-30). Let y(s) = -s**2 + 9*s. Let z be y(9). Solve b = -5*u + 13, -5*u + q*b + 2*b + 19 = z for u.
3
Suppose 102 = 18*z - 96. Solve 5*a = 20, -2*p - 1 + z = a for p.
3
Let g = -378 + 380. Solve v = 6*v + 20, -2 = -2*r - g*v for r.
5
Suppose -2*g = 3*q - 29, 3*g + 2*q = -0*g + 41. Solve -g = -4*w - f, 5*w = -0*f + 5*f + 10 for w.
3
Suppose -3*a - b - b = -47, 3*a - 2*b = 43. Suppose 0 = 4*c + 5*x + 2 - 13, 0 = -5*c + 2*x + 22. Solve -5*t + 5*f - a = 0, -c*f + 16 = -4 for t.
2
Let w be (-15 + -9)/(1/(-1)). Suppose -38 = 5*o - 4*c, 0*o + 3*o = 3*c - w. Let p = 1 - o. Solve 0 = f - 3*v - p, -2*v - 2 = 4 for f.
-2
Suppose 5 = -j + 6*j + 2*n, -2*n = -2*j + 16. Suppose 0*i - j = -i. Suppose 12 = b + i*b. Solve 2*w - 2 = b*g - 27, -4*g - w = -15 for g.
5
Suppose 0*w + 16 = 4*w. Solve 2*u + 5 - 6 = -5*q, 0 = w*u - 12 for q.
-1
Let y = 123 + -119. Solve -y*w - 9 = -3*b, 0 = 3*w - 5*w + 5*b - 1 for w.
-3
Suppose 0 = 4*f - 4, -5*f + 40 = -q - 4*q. Let n be (-3)/2 - q/(-14). Let z be (n - 48/(-2)) + 2. Solve -2*h = -6*y + y - 2, -5*h - z = 2*y for h.
-4
Let r(p) = -p**2 - 22*p - 34. Let f be r(-20). Let q be 26/f - 2/6. Solve -q*l = 4*n - 8, -n + 5 - 3 = -3*l for l.
0
Let u(w) = -w**3 + 2*w**2 + 5*w - 2. Let b be u(3). Let i = -1633 - -1634. Solve 2*h - i = -3*k + 1, -2*k = 4*h - b for k.
0
Let a = 31 + -16. Let x be 4 + (-8)/(-60) + (-2)/15. Solve -i = x*d + a, -28 - 22 = -5*i + 5*d for i.
5
Suppose 2*t - 22 = -16. Solve -2*c = 2*w - w + t, -5*w + 3 = 4*c for c.
-3
Suppose 2*f - 8*z + 3*z + 146 = 0, 0 = -f - 3*z - 73. Let n = f + 76. Solve n*m = -3, 3*h + 4 = 6*m - m for h.
-3
Let i = -1086 - -1106. Solve y - 5*y = 2*o - i, 4*y - 12 = 2*o for o.
2
Let k(l) = -l**3 + 21*l**2 + 46*l + 4. Let i be k(23). Solve -5*o = r + 2*r - 11, i*o = 2*r for o.
1
Suppose 179 = 5*p - 3*o, 6*p - 158 = p - 4*o. Let s = -19 + p. Solve s = 7*a - 4*a, -2*k = -a + 13 for k.
-4
Let q be (-2 + 11/2)/((-2)/(-20)). Let j = 71 - q. Solve 4*m - 5*z = j, 2*m = -0*m - 3*z - 4 for m.
4
Let o be 44/(-88) - -14*(-15)/(-12). Solve 0 = 2*w + 4*b - 2, 5*w = -14*b + o*b - 8 for w.
-1
Suppose -3*r + 4*h = 0, 37*r + 2*h - 22 = 33*r. Let d = 7 - 4. Suppose -3*i + 5*x + 0 + 3 = 0, 12 = d*i - 2*x. Solve -i = 2*z - 0*f + r*f, 3*z + 4*f = -9 for z.
-3
Suppose 6 = 8*q - 5*q. Suppose 0*g - q*g + 5*f = -1, -3*g + 7 = -2*f. Suppose a + 2*s - 12 = 0, -2 = g*a - 3*s + 7. Solve 3*h = 4*r - 16, a = 3*r + h + 3 for r.
1
Suppose 29*w = 26*w + 30. Suppose 42 = 16*j - w*j. Solve 5*f + 5*c - j = 8, -f + c = 7 for f.
-2
Let r = 2 - 0. Solve 3*w + s = -8, -2*w - r*s = 5 + 3 for w.
-2
Suppose 2*l + 0*l = 5*z - 56, -5*z + 3*l + 59 = 0. Let b be (-25)/4 + z/40. Let j be (4/b)/(5/(-30)). Solve -j*c + 0 = -2*s + 4, 5*s - 4 = 4*c for c.
-1
Suppose 5*n = -5*b + 50, -12 = 3*b - 18. Solve 2*o + 23 = -5*v, -4*v + 5*o - n = 17 for v.
-5
Let z(q) = -4*q**3 + 15*q**2 + 4*q + 4. Let y be z(4). Solve 0 = -0*g - 2*g + 5*j + 7, -y*g + 5*j + 9 = 0 for g.
1
Let m be (83 + -82)/((-1)/(-3)). Solve 0 = -3*k + 12, -m*k - 2*k + 17 = -f for f.
3
Let m(o) = 3*o - 8*o**2 + 0*o + 5*o**2 + 3 + 4*o**2. Let i be m(-2). Let h = 2 - i. Solve 2*t = -2*z - h - 19, z = t for t.
-5
Suppose -7 = -5*b + 3. Solve -2*a = -5*v - 9, 0 = -v + b*v + 1 for a.
2
Let u(g) = -g**2 - 10*g - 5. Let x be u(-9). Suppose -2*a - 2*s = -x*s - 2, a - 3*s + 7 = 0. Solve -a*q - 6 = 14, -5*q = -4*k for k.
-5
Let i(y) = -6*y. Let z be i(-1). Let k = -54 - -54. Solve k*x - 4*c = x + z, 5*x + 5*c = 0 for x.
2
Let p be ((-112)/20 - -6) + (-26)/(-10). Let u be (3 + -2)/(1*2/12). Solve 3*m + p*s = -2*s + u, -m - 2*s + 2 = 0 for m.
2
Let i(n) = -4*n**2 - 4*n - 4. Let r be i(-2). Let q = r - 5. Let a = q + 30. Solve 3*j + v + 2 = 15, -4*v + a = -j for j.
3
Let l = -38 + 46. Suppose -78 = 5*w - l*w. Solve 4*j - 4*u = 8, 5*j = -0*j - 3*u