12. Solve u + 3 = -w + l*u, 5*w - 6 = 3*u for w.
3
Let l(q) = -6*q**2 - q + 3. Let g be l(2). Let k be g/(4 + 20/(-4)). Solve 3*c - 12 = -c, -5*s = -c + k for s.
-4
Suppose -4*f - 2 = r + 1, -3*r = f - 46. Suppose -5*o + 18 = -2. Solve -o*b + 5*q - 15 = 0, -4*b + r = 5*q + 2 for b.
0
Let l be 6/(-45) - (-5)/((-150)/(-214)). Solve -2*s + 3*g = -0*s + l, -2*s + 4*g - 12 = 0 for s.
4
Let o be (-10)/12 - 70/(-12). Solve -3*n + f - 31 = o*f, 0 = -n - 5*f - 25 for n.
-5
Suppose 12 = 7*j - 2*j + 4*h, 0 = -4*j - h + 3. Solve -p - 5*b = 0, 5*p - 4*b + 8 + 21 = j for p.
-5
Let w = -9 - -16. Suppose -4*o + 4*q + q + w = 0, -4 = -o + 2*q. Let f be (o/4)/(1/(-6)). Solve f*t + 2 + 2 = 2*j, 5*j = -3*t - 11 for j.
-1
Suppose -3*y - 18 = -9*y. Solve -2*m - o + 6 = -0*m, 4*m + y*o - 12 = 0 for m.
3
Let d be 6/27 - 4/18. Solve -w + y - 6 = d, 0 = -w + 5*w - y + 21 for w.
-5
Let u = 65 + -39. Suppose -3*j - 3*f + u = j, 2*f - 20 = -3*j. Solve 2*m = -3*s - 4, 4*m + j = -5*s + m for s.
-4
Let x(r) = r**3 + 9*r**2 - 2*r - 7. Let o be x(-9). Suppose o = -4*i + 55. Solve j = 5, -3 = m - 3*j + i for m.
1
Let m(s) = -s**3 - 8*s**2 - 2*s - 1. Let p be m(-8). Suppose 20 = 4*f + f. Let w be (f - 0) + (4 - 3). Solve 0 = 4*b - 0*b + q - 15, w*q - p = 0 for b.
3
Let b(f) = -f**3 + f**2 - f + 3. Let j be b(0). Solve -4*q + 4*k + k + 21 = 0, -5*k + 7 = j*q for q.
4
Suppose -4*t + 48 = 5*w, 4*t = 3*t + 2*w + 12. Suppose -3*k = -2*b - 15 - 0, 4*b + 5*k = 25. Solve b = -4*u + 4*y + t, u = -0*u + 4*y for u.
4
Let i(u) = -u**2 + 3*u + 4. Let z be i(4). Suppose -4*a + 101 + 11 = z. Let o be 984/45 + (-6)/(-45). Solve 5*r + a = 3*s, 2*s + 2*r = 6*r + o for s.
1
Let p be 11/(-4)*2*-2. Suppose 2*i + t = -t, -5*t - 28 = -2*i. Solve r - b = 5, 0*r - i*b - p = -r for r.
3
Let o(j) = -j**3 - j**2 + 3*j + 4. Let w be o(-2). Suppose -w*r - 2*r + 16 = 0. Solve -r*f - a - 2 = -0*f, a = -3*f - 1 for f.
-1
Let r = -1 - 3. Suppose -12 - 8 = -5*y + 2*g, 4*y + g - 29 = 0. Let z = r + y. Solve -4*i - 56 = 4*o - 16, z*i + 25 = -3*o for o.
-5
Let l be 5*1/2*-2. Let y be (-22)/l + 4/(-10). Suppose -3*v + 4*p = 4, -3*v - 5*p + y = -1. Solve -2*f + 4*x - 2 = -v, 4*f - 3*x = 11 for f.
5
Let l(h) = -h + 10. Let a be l(5). Solve 0 - 1 = 2*w + 3*z, 5*w + a*z = 0 for w.
1
Let a = 24 - 18. Let y = a - 4. Solve -w + 0 - 6 = -y*g, w + 10 = 4*g for w.
-2
Let g(t) = t + 10. Let x be g(6). Suppose x = 4*h - 4*r, 4*r + 12 = -3*h + r. Solve -n = 5*w - h*n - 24, -w - 3*n = -16 for w.
4
Let b(m) = m**3 + 5*m**2 - 5*m - 3. Let p be b(-6). Let j = -5 - p. Solve d + 3 = 4*o + 13, -2*d = -j*o - 12 for o.
-2
Let f = -106 + 110. Solve -4*u - 29 = -5*x, f*u - 3 = -5*x + 18 for u.
-1
Let r(w) = w**3 - 11*w**2 + 9*w + 22. Let p be r(10). Solve 3*z = 3*u + z - 23, 3*z = -p for u.
5
Suppose -5*b - 21 = -6. Let g = b - -2. Let p = g - -15. Solve 3*c = 4*l - 4, c + l + 4*l = -p for c.
-4
Suppose -5*c = 2*a - 11, 2*a = -a + 3*c - 15. Let m be 2 - ((-4)/a)/(-1). Solve 0 = -3*z + 3*l + 7 - 1, 17 = m*z - l for z.
5
Suppose 0*c = -2*c + 8. Solve -20 = c*h, 3*r - 3*h + 0*h = 0 for r.
-5
Let f be ((-40)/25)/(2/(-5)). Solve 2*i - 6 = 5*v + 1, -f*i = -2*v - 6 for i.
1
Let a = 7 - -5. Solve 0*o + 4*t = -2*o + 6, -a = -3*t for o.
-5
Let x be (4/14)/((-5)/(-35)). Let q be 50/4*24/15. Solve 0 = 5*g - q, 3*s + g = -g + x for s.
-2
Let s = 14 - 2. Suppose v + 0*v - 187 = -3*i, -4*i + 3*v + 232 = 0. Suppose 51 + i = 4*z. Solve -5*r + 5*l = z + s, 28 = -r + 5*l for r.
-3
Suppose -h + 5*h = 8. Suppose -4*k = 2*t, 0 = 4*t - k - 2*k - 11. Let r be ((-6)/9)/(1/(-15)). Solve 7*j + t*v = 3*j + r, 2*v = h*j - 14 for j.
4
Let k be 1 - (-18)/(1 - -1). Suppose w + 4 = -0*l - 5*l, -16 = 4*w. Solve -4 = 4*x + 2*z, l - k = 5*z for x.
0
Let q(s) = s**3 + 4*s**2 + 4*s + 2. Let n be q(-2). Solve 5*f = 3*l - 6, -3*l + 6*l = n*f + 6 for f.
0
Let k(o) = o**3 - 4*o**2 - 2*o - 1. Suppose a - 1 = 3*v, 0 = v + 4*v - 5. Let c be k(a). Let h be 125/45 - 2/c. Solve h*x - 9 = 2*f + f, -5*f - 2*x = -6 for f.
0
Suppose h - 3*h - 102 = -2*w, 4*h + 3*w + 169 = 0. Let k = 74 + h. Solve 0*r + 5*q - k = 3*r, 4*r - q + 9 = 0 for r.
-1
Let b = 15 - 7. Solve 3*f - 5 = 5*d + 1, d = 4*f - b for d.
0
Let p = -55 - -72. Solve 4*t = -4*h, 2*t - 4*h - p = 13 for t.
5
Suppose 3*h - 20 = 1. Solve -4*x + 8*x - 4*z = 0, -2*x - h = 5*z for x.
-1
Let a(o) = -4*o - o + 4*o - 2*o + 1. Let h(n) = n**2 - 2*n - 4. Let p be h(3). Let f be a(p). Solve -f*d - 7 = r, r + 0*d + 3*d = -4 for r.
5
Let r be ((-32)/12)/((-1)/3). Suppose -r + 5 = -b. Solve -o + 18 = o - 4*n, -b*o - 4*n - 13 = 0 for o.
1
Let s(j) = -6*j - 36. Let h(t) = 2*t + 12. Let v(b) = 17*h(b) + 6*s(b). Let u be v(-8). Solve -28 = -3*n - 4*z, -5*n + 0*z + 36 = u*z for n.
4
Suppose 0 = 3*j - 0*j. Suppose 1 = -t - j*t. Let o be t*9/3 - -3. Solve -5*b + 2*l + 12 = o, -5*b + 6*l + 11 = 5*l for b.
2
Let c(y) = -y - 2. Let x be c(-5). Let q(g) = -4*g - 13. Let n be q(-7). Solve 4*p - x*d + n = 3*p, 4*d - 1 = -5*p for p.
-3
Suppose -12*x + 7*x = 0. Solve i = 3, 0 = 2*d - x*d + i - 5 for d.
1
Suppose -5*i + 12 = -8. Let o = i - 1. Solve 0 = -h + l + 3, 2*h + o*l = -14 for h.
-1
Let h(n) = 5*n - 25. Let v be h(5). Solve v = 3*k + a, 2*k + 7 = -3*k - 4*a for k.
1
Suppose 4*h = -5*s - 6, 0*h - 2*s = h + 3. Let j be (7 - 2) + -3*h. Suppose -v - 2 = -5. Solve -2*t + 4*y - 2 = 0, -3*t + j*y = -y - v for t.
3
Let w(y) = -2*y**2 + 32*y - 6. Let u be w(15). Solve 0 = 3*l - 5*t - u, 2 + 16 = 3*l - 3*t for l.
3
Let j = 32 + -9. Solve 15 = -5*o, 4*f = -f + o + j for f.
4
Suppose -4*j = -3*p + 63, 2*j - j = 2*p - 42. Let q be -5*2/(-5) + p. Solve -2*h - h + 2*x + q = 0, 2*h = -4*x - 6 for h.
5
Suppose -4*m - 5 - 7 = 0, 3*q - 5*m - 27 = 0. Let s be (18/10*-1)/(4/(-20)). Solve -j + q = -3*p + 17, -3*j = p + s for j.
-4
Let s(i) = 5*i. Let q(f) = f**2 - 8*f + 2. Let j be q(7). Let w = j - -6. Let z be s(w). Solve 4*b + z*l = -19, 6 = 5*b - 2*b - 3*l for b.
-1
Let n = 171 + -149. Solve 4*r + 4 - 14 = 3*p, -3*r - 5*p + n = 0 for r.
4
Let v(k) = 9*k - 3. Let t be v(1). Solve q - 2*n = -t, q + n = -n + 6 for q.
0
Suppose 0*b - 2*b + 3*t - 1 = 0, -b = 2*t + 11. Let n be 1/b*-2*-15. Let y = -5 - n. Solve x + 0*p + y = -p, 40 = -4*x + 5*p for x.
-5
Suppose -15 - 9 = 4*o - 3*u, -2*o - u - 2 = 0. Let w = o + 6. Solve -p + 4 = -h, -w*p - h - h - 3 = 0 for p.
1
Let r = -7 - -4. Let u = -7 - r. Let z be 3/(-6) + (-22)/u. Solve a = 2*q - 2, -4*a - a = -z*q + 15 for q.
-1
Let c be (-6)/4*16/12. Let d be 3*c*(-1)/3. Solve -3*b = 0, -5*l = b - d*b for l.
0
Let a be -2*2/((-8)/6). Suppose 0 = 5*b - 3*v - 3, a*b - 4*b - v - 1 = 0. Let y(j) = j**2 + j + 4. Let h be y(0). Solve b*s = 3*z - 3*s, 2*z - h*s = -2 for z.
1
Let u(o) be the first derivative of -o**4/4 - 4*o**3/3 - o**2/2 + 2. Let v be u(-4). Let t = -1 - -5. Solve 0 = -p + 2, 2*p + t = 5*n + v*p for n.
0
Suppose 22 = 5*z + 2*q, z - 5*q + 0 + 1 = 0. Solve 4*t = -2*o + 14, z*t + 5*o = 3*t - 1 for t.
4
Suppose 2*s + 2 = -3*s - u, 5*s + 4*u = -8. Suppose n - 5*g + 3 = 0, 3*n - 4*g - 3 + 1 = s. Let q be n - 1*0/3. Solve -q = -k - w - 5, 4*w = -5*k - 13 for k.
-1
Let f(a) be the third derivative of a**4/12 - a**3 + 3*a**2. Let c be f(4). Solve -c*m + d - 10 = 3*m, 2*d + 6 = -3*m for m.
-2
Suppose -3*y + 5*q + 4 = 0, 4*y - 9 = 4*q - q. Solve y*w - 5*c = 23, w - 2*c = -3*c - 3 for w.
1
Suppose 3*g = 9 + 6. Let n be 0*(-1 - -2)*1. Let p(q) = q - 5. Let v be p(5). Solve n = 5*l - g*y - 25, 4*l = -2*y - 10 - v for l.
0
Suppose z = 6*z - 15. Suppose -2*f + 3*x - 4 + 2 = 0, 17 = 5*f - 2*x. Solve -3*g - 4*k = 7, 3*g = f*g + k + z for g.
-1
Let m be (-2)/6 + (-132)/(-18). Solve 3*c = 3*z + m - 19, 8 = 2*z + 5*c for z.
4
Let d(h) = -9*h - 12. Let a be d(-4). Let n = a - 19. Solve 25 = 5*u, n*p + u - 10 = -u for p.
0
Let g(y) = y**3 - 5*y**2 + y + 7. Let q be g(5). Solve 0 = 2*i + 2*a + 10, -5*a = -4*i - q - 8 for i.
-5
Let t = -177 - -183. Solve 3*f + 3 = 7*f + 5*d, 0 = -3*f - 5*d + t for f.
-3
Let u(l) = 3*l + 2 - l**2 + 3 + 0*l**2. Let h be u(4). Suppose -a = -g + 1, g + 8 = -2*a + 6*a. Solve 4 = -i - 2*p + h, -p = a*i - 6 for i.
3
Let d(x) = -2*x - 12. Let w be d(-7). Solve -w*s + 8 = 2*g, -4 = -g - 2*s + 4 for g.
0
Suppose -2 - 2 = h. Let d = -2 - h. Solve -5*c = d*b - 0*c - 25, -15 = 2*b - 3*c for b.
0
Suppose -4 = -11*l + 29. Sol