 12. Suppose 3*f - 28 = 8. Let d be x(f). Let n be ((-2)/4)/((-1)/4). Solve -4*m - 2*w = 8, -m + n*w + d = -3 for m.
-1
Let u be 7/3*(-36)/(-12). Suppose u*m + 8 = 11*m. Solve -4*c + m*w - 1 = -5*c, 3*w - 12 = -5*c for c.
3
Let s(n) = 24*n - 45. Let z be s(2). Solve 5*p = -4 - 21, -z*o - 29 = 4*p for o.
-3
Let x be (28/(-8))/((-14)/8). Solve 5*p - 2*a = -4*a, -x*p + 5*a = -29 for p.
2
Suppose -f + 5*p = -29, -44*f + 39*f = 2*p - 10. Solve -f*w = 3*c - 0*c - 2, 2*w - 4*c + 10 = 0 for w.
-1
Let w be 5/(100/(-15)) - 159/12. Let b be ((-255)/(-35) - 7) + (-52)/w. Solve b*q + 16 = 2*n, -2*q - 3*q + 5*n = 25 for q.
-3
Let z be ((-2)/(-3))/((-12)/(-90)). Let m(o) = o**2 + 7*o + 6. Let t be m(-6). Let x = -3 - -15. Solve -z*a + t*a - x = -w, 4*w + 9 = a for w.
-3
Let n = -35 - -68. Let k = n + -30. Solve -k*c + 0 = -v + 10, -2*c + 5 = -3*v for v.
-5
Let l = 15 + -9. Let j(z) = z - 3. Let h be j(l). Let g be 2 - (0 - 3) - h. Solve 2*f + 3 - 13 = -g*a, -3*f = 2*a - 13 for f.
3
Let b = 31 - 17. Let a = b + -13. Solve -8 = -5*n + 3*s - a, -4*n - 4*s + 12 = 0 for n.
2
Let q = 276 + -266. Solve 0 = -5*o - 4*y + 25, 0 = -2*o - 0*o - y + q for o.
5
Let g be -4 + (-12 + 0)/(-3). Let r be 6/4*(-96)/(-18). Suppose -2*h + r + 2 = g. Solve 5*j - 23 = -3*y, j = 2*j - h*y + 1 for j.
4
Let t(q) = 2*q**2 - 3*q - 1. Let g be t(-2). Suppose -51*f + 78*f = 81. Solve -5*p - g = k - 0, 0 = -f*k - 2*p for k.
2
Let j = 14 + -6. Suppose t + t = j. Solve 4*a - 9 = g, -2*a = 2*g - t - 8 for g.
3
Let i(x) = -x**2 + 15*x + 19. Suppose -p - 1 = -17. Let k be i(p). Suppose -k*c - 4 = -13. Solve 0 = -c*u - 5*r - 5, -31 = -3*u + 2*r - 8 for u.
5
Suppose -v = 3, 5*m = 6*v - 4*v + 46. Suppose w - 33 = -2*f, m*f + 4*w - 81 = 3*f. Solve d + 4*c = -f, 4*d - 3*c = -c + 4 for d.
-1
Let d be 15 - 3*(112/12)/7. Solve -3*h + 3*j = d + 10, h = -5*j + 23 for h.
-2
Let v be -2*1*((-203)/14 + 13). Solve 0 = v*g + 3*s - 12, -5*g = -2*g - 2*s - 17 for g.
5
Suppose 5*g + 5 = 35. Suppose g*o - 11 = 13. Suppose -3*v + 1 + 5 = 0. Solve 5*u - o*i + 5*i = -12, 10 = -3*u - v*i for u.
-2
Let o = -74 + 123. Let x = 55 - o. Solve -y + x*y = -k - 16, -5*k + y - 2 = 0 for k.
-1
Let u be (6/4)/((-4)/(-8)). Let j be -30*(3 + 108/(-30)). Solve 4*b + 19 = -u*r, 0*b = -3*r - 3*b - j for r.
-5
Let d(p) = -p**2 - 11*p + 27. Let j be d(-12). Suppose -4*n + 9*n - j = 0. Solve 0 = -0*o + n*o - 4*x - 5, -4*x + 13 = 3*o for o.
3
Let t be (-24)/14*14/(-4)*1. Let w(p) = -7*p + 45. Let d be w(t). Solve -4*x - a + 2 = d, -4*x - 4*a + 8 = 0 for x.
-1
Suppose 3*f + 2*f = -2*q + 1, 4*q - 16 = 4*f. Solve q*p + 3*w = 0, 2*p - w + 9 = -6 for p.
-5
Suppose -3*a - 2*l = 234, 0 = a + l + 20 + 59. Let g = -72 - a. Solve 2*d + 5 = g*x + 3, d = -3*x - 1 for x.
0
Let v = -6 - 5. Let z = -7 - v. Suppose 0 = -2*x + z*x - 6. Solve 5*y = x*a + 8, 7*y - 2*y + 3*a - 32 = 0 for y.
4
Let y be ((-6)/(-16) - (-140)/224)*3. Solve -y*l + 10 + 9 = 4*u, -4*u = -5*l + 21 for l.
5
Suppose 2*j = 6*s - 4*s - 8, -4*j = 3*s - 19. Suppose -418 + 68 = -s*l. Let w be (-14)/l - (-32)/10. Solve 0*n + w*d = -3*n + 9, 4*n = d + 7 for n.
2
Let y be 4/6 + (-58)/6. Let k be (-4)/(-3)*y/(-2). Let s(t) = 2*t**2 + 59*t + 59. Let w be s(-1). Solve w*a - 2*v = -v - k, 2*v - 4 = 0 for a.
-2
Suppose -t - 4*m - 1 - 5 = 0, t + 2*m = 0. Let i = t - 1. Let o(d) = 2*d**2 + 7*d - 12. Let c be o(-7). Solve -c = 5*w - 4*x, 3*x = i*w - 2*x + 40 for w.
-5
Let l be (1 + 0)/((-1)/(-4)). Suppose h - 2*j - 3*j = -25, -4*j + 20 = -3*h. Suppose h = 7*v - 2*v - 20. Solve 0 = -4*c - 3*z - l, 5*c + v = z - 1 for c.
-1
Let x be (-9)/(-54)*4*(3 + 0). Solve 18 = -2*w - x*h, 3*w - 3*h - 7 = w for w.
-4
Let d = 1361 - 1358. Solve -r - d*w + 1 = 0, -1 - 2 = -3*r - 4*w for r.
1
Let r(s) = s**3 - 2*s**2 - 50*s - 9. Let i be r(-6). Solve 13 = -5*k - i*p, 0*p = 2*p - 8 for k.
-5
Let q = -382 + 384. Solve 0 = q*n - 0*n, -4*n = -2*l - 10 for l.
-5
Let g = 111 + -108. Solve 0 = -f - g*k + 1, 0 = 5*k - 4*k + 1 for f.
4
Suppose -s - 4*s = -s. Suppose i - 8 = 4*i - 4*h, s = -2*i - h + 13. Solve i*f + 8 = 3*n, 0 = -4*f - 5*n - 8 - 32 for f.
-5
Suppose 0*b - 3*b = 0, -5*a + b = 0. Let y be 3/9*-3 - -4. Solve y*h = -a*m + 5*m - 26, -m + 2*h = -8 for m.
4
Let g be (1 + 2)/(3/14). Let a = -136 + 83. Let m = 58 + a. Solve -22 = -2*s - 4*h, -36 = 3*s - m*h - g for s.
1
Let c(s) be the first derivative of s**4/4 - 5*s**3/3 + 2*s**2 + 2*s + 10. Let v be c(4). Solve t = 3*o + 15, -v*t + 0*t = -3*o - 15 for t.
0
Suppose -2*y + 12 - 2 = -2*w, -2*y = -w - 9. Solve -y*z - 3*v + 9 = 0, v - 3 = -0 for z.
0
Let q be 196/42 + 3/9. Solve 4*v - 4*f + 3 - 11 = 0, q*f = -4*v - 37 for v.
-3
Let h(m) = -m**3 - 14*m**2 + 2*m + 32. Let f be h(-14). Let j(d) = -d**2 + d + 4. Let y be j(0). Solve -4*r + y*l - 20 = 0, -14 = -3*r + 4*r - f*l for r.
-2
Suppose -3*q - 2*q = -3*g - 20, -2*q = g - 8. Solve g = -5*i - 0*o + 3*o - 13, -5*o + 5 = -5*i for i.
-5
Let o = -5 + 2. Let k(f) = -f**2 - 2*f + 4. Let l be k(o). Let q be (l - 0) + 9 + -6. Solve 0 = -3*n + n, q*a + n = 12 for a.
3
Let v(n) = n**2 - 9*n + 9. Let h be v(8). Suppose 0 = -7*p - h - 13. Let k be (p + 0)/2*-5. Solve 2 = 2*g - 7*g - u, -11 = k*g - 2*u for g.
-1
Let p(o) = -o**3 + o**2 + 2*o + 11. Let n be p(3). Let b be n*(-3 - -4)*-1. Solve -4*s + 4*k = 2 + 10, -s = -5*k - b for s.
-4
Suppose -4*d + 5 = -3. Let j(x) = 2*x - 5. Let y be j(3). Suppose -15 = -t - y. Solve -2*b = q - 6, -3*q = -0*q - d*b + t for q.
-2
Let v(h) = -6*h**2 + 35*h + 15. Let f be v(6). Solve -4*j + 16 = -2*w, -w - 3*j = 2 - f for w.
-2
Suppose 0 = 3*y, -i = 4*y - 3*y - 2. Let u be -1 - (i - 14)/4. Solve 5*k + 2*j = -15, -u*k + 5*j = -0*k + 6 for k.
-3
Let d(o) = -o**3 - 19*o**2 + 23*o + 62. Let u be d(-20). Solve -t - 30 = -5*q, q - 2*t - 25 = u*t for q.
5
Let s(h) be the third derivative of h**4/6 + 5*h**3/2 - 40*h**2. Let q be s(-3). Solve 0*u + 3*u - q = 5*a, -2 = -2*u + 5*a for u.
1
Let c(o) = 5*o + 11. Let j be ((-4)/(-3))/(4/(-6)). Let y be c(j). Solve -3*l + 4*b - 10 = 0, 2*b - b = y for l.
-2
Let q(g) = g**2 + 10*g + 3. Let v be q(-9). Let k = -4 - v. Suppose 4*r = 17 - 9. Solve -r*s + 2 = -b - 3, -6 = -k*b - 4*s for b.
-1
Let l be ((9/5 - -1) + -2)*5. Solve -4*w - 28 = -l*j, 4 = 2*j - w - 6 for j.
3
Suppose 109*w - 162*w + 159 = 0. Solve -w*l + 4 = y, 9*y + 3 = -4*l + 6*y for l.
3
Let v(b) = 46*b + 187. Let s be v(-4). Solve -c - s = 0, -2*c - c - 1 = -2*x for x.
-4
Let z(o) = 3*o + 12. Let w(h) = 3*h - 5*h + 4*h + 13 + 2*h. Let f(j) = -2*w(j) + 3*z(j). Let d be f(-6). Solve -x + 5 = d*t, -t + x + 1 = -2*t for t.
2
Let a be (1 + 28/(-8))*-2. Let h be 6 + -1*(2 - 2). Let t be h/3 + 1 + 2. Solve -t*l + 16 = a*f - 19, 2*f = 5*l for l.
2
Suppose -4*y + q - 22 = 0, -8*y + 4*y - 5*q - 10 = 0. Let o be ((-3 + 2)*y)/1. Solve -2*w + 6 = w, -26 = 4*h - o*w for h.
-4
Suppose 4*m - 60 = -36. Let y be (m/4)/(12/24). Solve -y*t - 4*h + 7 = 0, -13 = 4*t + h - 5 for t.
-3
Let g(l) = -4*l - 5. Let o be g(-2). Suppose 5*x - 85 = -o*r - 2*r, -4*r = -x - 73. Let p = r - -4. Solve 5*i + 4*a + p = 0, -2*i + 1 - 20 = 5*a for i.
-2
Suppose 3*b + z - 12 = -0*b, -b - 2*z + 9 = 0. Let l = 14 - 14. Suppose l = 2*r - 5*r + 12. Solve 0 = -b*u - 4*n + 6 + 14, 0 = u - r*n + 4 for u.
4
Suppose -5 = -4*r - r. Suppose r + 7 = t. Solve -3*d = -3*y + 12, 2*d + 0*y = -4*y - t for d.
-4
Let m(k) = -6 - 2 - 43*k**2 + 10*k + 42*k**2 - 3. Let r be m(7). Solve 2*d - d - 3*y - r = 0, 4*d - 5*y - 12 = 0 for d.
-2
Suppose q - r = r + 14, -2*q + 24 = -3*r. Suppose -4*h + 2 + q = 0. Solve u - 3*u - 11 = -3*m, -u - h = 2*m for u.
-4
Let t be (-15*(-2)/20)/((-3)/(-6)). Solve 14 = -2*y - 3*k, t*k = -2*y - k - 18 for y.
-1
Suppose 27 = 3*i - y, -4*i = -y - 26 - 9. Solve -2*z = -r - 4, -4*r + 24 = 4*z - i for r.
4
Let k(y) = 2*y**2 - 3*y + 3. Let r be k(5). Suppose 0 = 2*u - 4*x - r, -2*u - 2*x + 38 = -5*x. Let f = 49 - u. Solve -3*z + 12 = 3*v, -z = 5*v + 6 - f for z.
-1
Let g be 1/(-2 + 1 + (-12)/(-10)). Suppose 5*f = 4*k - 5*k + 17, -g*k = -5*f + 5. Solve -x + 15 = -5*x - y, 0 = -x + f*y - 7 for x.
-4
Let c be 14/3 - 2/3. Let k(g) = g**3 - 4*g**2 - 4*g - 5. Let i be k(5). Suppose i = 7*n - 8*n. Solve -8 = 4*w + 2*a - n*a, 0 = -c*w - 3*a - 4 for w.
-4
Let i be 6 + -1 + 3 + -3. Let a = i + 1. Let s = 39 + -34. Solve -4*o + 13 = -5*t, o - 2*t 