(12). Let z = b + -456. Solve 3*l - 11 = -u, 2 = -z*l - u - 2*u for l.
5
Let i = -9836 - -9841. Let h be ((-1)/(1 + 0))/(-1). Solve -i*f + 25 = 0, h = -3*u - f - 3 for u.
-3
Let z = 50 - 22. Suppose a = u - z, -2*u + 28 + 25 = -a. Suppose 5*b - u = 5. Solve 0*p - 4*p + 4*k = 16, -2*p = -k + b for p.
-2
Suppose 0 = -3*n + l + 35, -4*l = 29 - 9. Solve -13*b - 3*u - 18 = -8*b, 4*u + n = -2*b for b.
-3
Suppose 526 = 12*f + 466. Solve f*c = -5*k + 5, -k + 34*c - 38*c + 1 = 0 for k.
1
Let m(u) = -u + 23. Let x be m(20). Solve -8 = f - x*f - 2*c, -3*f + 5*c + 12 = 0 for f.
4
Let v(x) = -x**3 - 11*x**2 + 5*x + 8. Let s be v(-11). Let p = -41 - s. Suppose -4*r + 6*r = p. Solve r*k + 4*h - 2*h - 15 = 0, 2*k - 10 = -h for k.
5
Let k(l) = 701*l + 4912. Let n be k(-7). Solve o - 24 + 7 = n*b, 3*o + 3*b + 21 = 0 for o.
-3
Let v = 2 - 0. Let b be -1*2/(-2)*v. Let o be (-272)/(-544)*(-52)/(-2). Solve 2*a + 1 - 2 = u, 5*u + o = b*a for a.
-1
Let v(o) = 5*o + 21. Let k be v(-5). Let i = k - -9. Let a(w) = 2*w**2 - 11*w + 7. Let d be a(i). Solve 0 = d*s - 3*h + 8, -2*s + 5*h + 4 = -3*s for s.
-4
Let q(g) = -9*g - 54*g - 54 + 18*g - 210. Let y be q(-6). Solve -3*u + 14 = -2*z, -3*u + 5*u + 2*z = y for u.
4
Let w be 323/153 - ((-34)/18 - (5 + -7)). Solve 4*n = 2*v + w*v, -24 = -5*n - v for n.
4
Suppose -153*g + 119 = -333 - 7. Solve 3*v = g*p - 6, 0 = 4*v + p - 16 + 34 for v.
-4
Let y be (-4)/5*(-40)/16. Let f be -8 - 44*(-5)/20. Solve -k - y = -h, -f*k + 6 = -4*h + 16 for k.
2
Suppose -4*l = -13*l + 27. Let h(w) = -2*w**3 + 43*w**2 + 19*w + 69. Let u be h(22). Solve -t - u = -4*x, 4*t - l*t = -4*x + 13 for x.
2
Let f(s) = -s**2 - 42*s - 411. Let u be f(-16). Let q(p) = -p**3 - 14*p**2 - 15*p - 11. Let w be q(-13). Solve 2*r + k - 6*k - w = 0, 0 = 5*k + u for r.
5
Let t be 4 - (1 - -5) - 29. Let v = t - -11. Let n be 4*(2 - (-15)/v). Solve c - r = 0, -4*r = 11 + n for c.
-4
Let y = 99 + -95. Let o(v) = -v**3 - 10*v**2 - 9*v + 11. Suppose 0*r + 9 = -r. Let s be o(r). Solve -s = -2*l - l - y*q, 9 = l - 4*q for l.
5
Let o = -131 + 204. Suppose o - 23 = 10*x. Solve -x*s - 22 = -y, -3*y - 4 = 5*s + 10 for s.
-4
Let o be 13/(26/(-6)) - -116. Let f = -111 + o. Solve -n + 3 = n + 5*z, -f*n + 13 = -5*z for n.
4
Suppose 25*c - 10243 = 1407. Let w = c + -462. Solve w*n - 23 - 12 = -3*l, n = 3*l - 10 for n.
5
Suppose -q - q = -12. Let f(g) be the second derivative of g**4/12 - g**3 + 4*g**2 - 15*g. Let c be f(5). Solve 0 = q*w - w + m - 17, 2*w - c*m = 0 for w.
3
Let a be 80080/8190 - 2/(-9). Solve -n = -2*f, 15*n - 4*f = a*n + 18 for n.
6
Let t(b) = -2*b**2 - 12*b + 108. Let n be t(14). Let a = 457 + n. Solve a*r = -0*l + l + 19, -3*r = -l - 11 for r.
4
Suppose -13 = 141*o - 13. Solve 0 = -5*i + 5*z + 25, o*i + 3*z = i - 7 for i.
4
Suppose 4*n + 12 = -5*g, -36 = -5*n + 7*g + 2. Solve -k + n*u - 3*u = 7, -2*k = 3*u + 17 for k.
-4
Let z = 45 - 42. Suppose m - z*w = -10, -10*m + 5*w = -14*m + 28. Solve -3*c + 15 = 4*s, c - m = 3 for s.
0
Let v(l) = 40*l - 192. Let q be v(5). Suppose -4*o + 0 = q, -4*x - 2*o + 16 = 0. Solve -4*m + c - x = 3, 2*m = c - 2 for m.
-3
Let t be (48/(-40) - -2)/(24/60). Solve 0*m - 2*i = -t*m - 8, 2*m - 12 = -2*i for m.
1
Let o be ((-25)/10)/1*-2. Suppose 2*u - o*n = -25, 6*u + 3*n - 15 = 5*u. Solve -2*q + 2 = 3*r + 11, 4*r + 5*q + 5 = u for r.
-5
Let h be (-3 - 1)/(19/3 + -5) + 5. Solve -39*i = l - 42*i + 13, h*i = 2*l + 6 for l.
2
Let d = -63 + 96. Suppose -4*m = 2*h - 1 - d, -3*h = 3*m - 48. Solve -3*n = 3*u - h, 0*n + 4*u = -2*n + 20 for n.
0
Let z(o) = -7*o**2 + 17 + 6*o**2 + 5*o - 16*o. Let a be z(-12). Solve -a*k = t, -k - 2*t = -t + 4 for k.
1
Let u(h) = h**2 - h - 16. Let q be u(5). Let w be q/(32/4)*0. Suppose 4*f + 4 + 16 = 0, -5*s - 4*f = w. Solve s*r = 4*v, -v - 4*r - 4 = -6*v for v.
4
Let o be (426 - 452) + 2*14. Solve -2*g + 38 - 32 = -2*a, o*g + a = -18 for g.
-5
Let z be (-5346)/(-114) + -5 - (7 + (-945)/133). Solve -4*o + 5*j = -z + 61, 5*o + 2*j = 1 for o.
-1
Let k be (-25)/10 + (-29)/(-2). Suppose 2*b + 84 = k. Let o = 38 + b. Solve 2*i - o*h = -1 - 5, -5*h = 5 for i.
-4
Let h(u) be the first derivative of -u**4/4 + 3*u**3 - 4*u**2 + 3*u + 101. Let l be h(8). Solve -r = l*i - 6, -5*i = -r - 4*r - 30 for r.
-3
Let h(q) = -q**3 - 9*q**2 - 17*q + 34. Let u be h(-5). Solve -22*y + 23 = 5*n - u*y, -4*n + 20 = 4*y for n.
4
Suppose 0 = k + 3*i - 4*i + 1, -5*k + 2*i + 7 = 0. Suppose -j - 65 = -5*j + k*g, -4*j - 4*g = -100. Solve -4*d - j = d + f, 5*d - f = -20 for d.
-4
Let n(r) be the first derivative of 19*r**2/2 + 62*r - 31. Let s be n(-7). Let l = s + 95. Solve -k - 2*k - 18 = h, -l = 3*h + 3*k for h.
-3
Let d(f) = -88*f**3 - 3*f**2 + 5*f - 3. Let u be d(1). Let l = u - -112. Suppose 2*y + 2*w - 17 = l, -w + 5 = 0. Solve 0 = 3*h - y, -4*s + s - 2*h = -13 for s.
1
Let n be (-3300)/675 + 2/(-18). Let b(g) = g**2 + 6*g + 7. Let j be b(n). Solve 0 = v - 5*z - 11, j*z + 0 = -2*v - 2 for v.
1
Let j(p) = -5 - 2*p + 4*p + 7 + p. Let t be j(1). Let g = 21 + -17. Solve 2*i - i + 29 = -t*s, g*s - 2*i + 12 = 0 for s.
-5
Let g be ((-2)/1 - 1)/((-6)/4). Suppose -g*p - 5*p - 140 = 0. Let u = p - -20. Solve -3*n + 2*m - 1 = u, 0*n - 4*n + 7 = -m for n.
3
Suppose 0 = -5*g + 25, -6*m - 8*g + 12*g = -10. Solve s = 4*b + 17, -m*s + 5*b + 14 + 26 = 0 for s.
5
Suppose 0 = 36*d + 61*d - 0. Solve 2*r + 2*o - 10 = d, 18*o - 2 = 17*o for r.
3
Let s = -5859 + 5914. Solve 51*b - s*b = -5*j - 21, -5*b = -5*j - 25 for j.
-1
Let p(v) = v**2 + 11*v + 9. Let y be p(-10). Let r be (-18)/(-4 - y)*4. Suppose r*l + 21*l = 46*l. Solve 1 = -c + 3*f, 4*c - 6*f + 3*f - 5 = l for c.
2
Suppose 10*i - 4*k - 4 = 14*i, 4*i + 5*k = -7. Suppose -4*m = 5*q + 9, i*m - 6 = 2*q + 12. Solve 4*s = m*r - 20, -5*s = r + 2*r - 15 for r.
5
Let k(d) = 9*d**2 + 33*d - 40. Let z(n) = 14*n**2 + 51*n - 60. Let x(u) = -8*k(u) + 5*z(u). Let h be x(-6). Solve -4*i - 15 = -5*v, 3*i - 2*i + h = 3*v for v.
-1
Suppose -5*y + 9 = -4*y. Suppose 8 = 4*c - 2*j, -c - 5*j + y + 4 = 0. Suppose -4*t + c*t = 0. Solve -2*b + 3*l = -9, -3*b + t*b + 4*l = -13 for b.
3
Let n = 43 - 39. Suppose 0 = 38*x - 76 - 266. Solve -x = -3*l + 7*a - n*a, -4*l - 5*a = 24 for l.
-1
Suppose 10077*a - 48 = 10073*a. Suppose 1 = 2*j - 5*n, j + 3*n + 2*n - 8 = 0. Suppose j*p = -p + a. Solve p*u - u = -3*o - 9, -o = 4*u + 13 for o.
-1
Let q(a) = 5*a**3 - 14*a**2 - 6. Let d be q(3). Solve 5*s + u = 10*s + 15, -d*u = 0 for s.
-3
Let n be (-35 - (-7 - 0)) + 0. Let d be (-45)/(-12) + 49/n. Solve 5*l - 3 = 4*s + 2*l, -d*s = -5*l + 19 for s.
3
Suppose -36 = 2*r - 7*r + 2*j, -5*r + j + 38 = 0. Let q = r - -3. Solve 0 = -o - a + 8, -q = 3*o + 2*a - 6*a for o.
3
Suppose -5*a = -7*a - 2*l + 18, -3*a - 4*l = -26. Let x be 3/12 - (-99)/4. Let s = x - a. Solve -2*j + 10 = -4*j, -j + s = 4*g for g.
5
Suppose 2*l + 2 = 8. Suppose -2*v - 10 = -4*r, 0 = -4*v - 5*r + 7 + 25. Suppose 5*n + 6 = 3*i - 3, i - v = -3*n. Solve f - m = i, l*m - 1 = 4*f - 3*f for f.
5
Let c(h) be the first derivative of -3*h**2 - 27*h + 276. Let m be c(-5). Solve m*u = 2*f - 5*f + 21, -4*f - 12 = -4*u for u.
5
Suppose 23 = 5*h + 3*o, 6 - 19 = -3*h - o. Solve -2*z - 2*f = -10, h*z = -7*f + 9*f - 10 for z.
0
Suppose -23108 + 23234 = 18*z. Solve m = -p + 1, 5*p - z = -9*m + 5*m for p.
3
Let h = 2140 - 2131. Solve -4*q + h*q = 2*k - 3, -3*q + 15 = 3*k for k.
4
Let i = 9 - 6. Let f(t) = -242*t - 724. Let l be f(-3). Solve r + 4*v = 1, -r + l = i*v + 2*v for r.
-3
Let x(w) = w**2 + 15*w - 23. Let j = 19 - 17. Suppose -3*r = -4*r - j, 0 = 3*q - 2*r + 47. Let l be x(q). Solve 4*s - 9 = -b, 4*s - l = -0*b - 3*b for b.
1
Let g = -192 - -197. Let p be (18/21)/((-67)/14 + g). Solve 3*q + 0*c + 5 = c, 4*q + p = 2*c for q.
-3
Let c = -433 - -440. Suppose 201 = c*w + 201. Solve 3*u - 12 = 0, 2*i + w*u = u - 4 for i.
0
Let u = 18 + -24. Let h be u - 8/(-12)*6. Let y be (-2 - 4*-1) + (h - -2). Solve 2*b + y*r = -6, -4*b - 6 = -3*r + 6 for b.
-3
Suppose 4*w = 2*w + 6. Let r be (8/20)/1 - 8156/(-10). Let k be r/42 - 4 - (-8)/14. Solve 14 = h + w*l, -4*h - l + k = l for h.
2
Suppose 28*w + 23 = 8*a + 29*w, 0 = -2*a + 2*w - 10. Solve -4*s = -a*y - 8 - 6, -10*y = 2*s - 40 for y.
3
Let i(f) = 3*f**2 - 13*f - 46. Let u be i(-3). Solve -5*q + 2*z - 10 = 0, -2*q - 3*z - u = -7*z for q.
0
Let k(l) = -