- 12. Let p = 16 + d. Solve -4*j + 4 = w - 14, w + p = 3*j for j.
4
Suppose 3*z - 5*z - 20 = -4*v, 5*v - 7 = -2*z. Suppose -2*x = v*y - 10, -3*x = 2*x - 10. Solve -4*t + 5*p + 14 = 0, -2*p - 5 = 3*t + y*p for t.
1
Let g = 0 + 5. Solve -k + 0*k = g*l + 13, -l + 7 = 5*k for l.
-3
Let f be 22/4 + (-6)/(-12). Let u = f - 4. Solve u*t = -2*t - d + 12, -3 = -t - 4*d for t.
3
Let v(d) = d**3 + 7*d**2 + 5*d - 4. Let m be v(-6). Suppose -11 + 1 = -m*b. Solve -4 = 3*n - n + 2*g, -n - b = -2*g for n.
-3
Suppose 5*n - 2*x - 14 = 0, 2*n - 3*x + 4 = x. Suppose n*r - 57 = r. Let c be (0 + (0 - -1))*1. Solve -2*m - c + 2 = -f, -5*f = -2*m - r for f.
5
Let t(l) = l**2 + 11*l - 3. Let z be t(-11). Let m be z + (-6)/3 + 14. Let f = 13 - 9. Solve f*r = 4*y + 8, -4*r + 2*y = -3*y - m for r.
1
Suppose 4*h - p = -3*p + 42, 5*h + 5*p - 65 = 0. Let l(q) = -q**3 - 3*q**2 + 5 + 6*q**2 + 5*q**2. Let d be l(h). Solve -3*w - 25 = -4*r, 2 = -r - d*w - 9 for r.
4
Let b = 15 - 10. Let f(y) = 2*y - 5. Let n be f(b). Solve n*w + 6 = 3*j, 3*w + 18 = -2*j - j for j.
-3
Suppose -5*g - s = -6*s + 5, 3 = s. Suppose 0 = 3*f - 4*f. Solve l + 4*t = -4, -g*t = -f*l - l + 2 for l.
0
Suppose 8 = 2*h + 2*c, 0*c + c + 4 = 3*h. Let p be 98/42 + h/3. Solve 5*g + 40 = p*v, -4*g = 4*v - 0*v for v.
5
Let r be -35*(4/(-10) + 0). Solve -r = 2*m + 2*m + 2*l, -5*m - 15 = 5*l for m.
-4
Let l(a) = -a**2 - 4*a + 5. Let i be l(-5). Suppose -5*o + 5 = -2*g, 5*o = 2*g + 2*g - 5. Solve 5*w - 26 = -3*u, -3*w + i*w + g*u = -2 for w.
4
Suppose -4*t + 15 = -n, 4*t + 0*n - 24 = 4*n. Solve d = -3*i + 11, 4*i + i + 5 = t*d for i.
2
Let h = 0 - -5. Suppose 0*w - w = -h. Let i be 2/6 - (-44)/3. Solve -5*d = -m - i, -w*m - 4*d + 41 = -0*d for m.
5
Let y = 17 - 13. Let o be (-2 + y)/(7 - 5). Solve 5*r - o = 4*a + 2, -5*r = -3*a - 6 for r.
3
Let a(m) = -m**2 + 5*m + 1. Let b be a(3). Solve -5*n + 10 = p - b, -p - 2*n = -8 for p.
2
Let j = -5 + 2. Let l be (-2)/((j/3)/1). Solve x = -0*x + l*k - 15, -4*k - 5 = 5*x for x.
-5
Let x be ((-5)/(-10))/(1/6). Solve -5*d = 4*r + r - 35, -5*r - 5 = -x*d for r.
2
Suppose c = -0*c + 18. Solve -4*s + 2*a = -22, 2*a = 2*s + s - c for s.
4
Let p = 2 + 0. Let j = -12 + 12. Suppose 3*w - 2*m - 9 - 14 = 0, w - 5*m - 25 = j. Solve -w*v - 10 = -5*d, -p*v + 0*d + d = 6 for v.
-4
Let r be (24/(-9))/((-1)/3). Suppose -15 = 3*s - r*s. Suppose v = -2*v + 3*j + 15, -2*v - 5 = j. Solve 3*m - 5*i - 13 = v, -5*m = -s*i + 2 + 3 for m.
-4
Suppose -l + 0*u - 3 = 3*u, -5 = -2*l + 5*u. Solve -3*s + c + 2*c + 3 = 0, -4*s - 2*c - 26 = l for s.
-4
Let g be (-32)/(-32) - 2/(-1)*1. Solve -l = -g*v - v + 5, 3*v - 5*l + 9 = 0 for v.
2
Let o be 11*-1 + 0/(-4). Let i = o - -13. Solve -3*l + 5*p + 27 = 0, -6*l + 5*p = -i*l - 31 for l.
4
Let l = -33 + 16. Let k = -15 - l. Solve -2*i - 3*z = -1, 4 = 2*i - 4*i + k*z for i.
-1
Let c(t) = -2*t + 4. Let m be c(7). Let d = m - -7. Let f = d + 7. Solve 0 = -4*g - 3*r - 14, 2*r + 0*r = f*g + 4 for g.
-2
Let w = 59 - 31. Let p be 64/w + (-2)/7. Let x be (-1 - -5) + -1*1. Solve -p*k - x*y + 3 = 4, 0 = -k + y + 2 for k.
1
Suppose -8 = -9*c + 4*c + b, c = 3*b + 10. Solve -3*t + 5*q - c = -6*t, 0 = q + 1 for t.
2
Let q be 5/2*36/30 - -2. Solve r + 3*y = 7, r + q*y = -3*r for r.
-5
Let n(i) = i + 14. Let k be n(13). Suppose -4*y + 5*w + k = 0, -w - 9 = -y + w. Solve 5*h + 9 = -4*u, 2*u + 2*h = y*h + 13 for u.
4
Suppose f + 4*j - 8*j - 16 = 0, 3*f - 2*j - 48 = 0. Suppose 0 = 4*n - f, 4*i + 0*n = -2*n + 8. Solve -2*q - 6 = -i, 5*z - q = 3 for z.
0
Suppose -4*q = -5*x + 22, -4 - 2 = 2*q. Suppose x*a = -a + 12. Solve -2*m + i - a*i + 8 = 0, 2*i - 9 = -5*m for m.
1
Suppose -3*l - 40 = -8*l. Suppose 3*a = 5*c, 29 = 3*c + l*a - 4*a. Let s = c + 0. Solve -h - 7 = -2*h + s*q, 3*h - 5*q = 13 for h.
1
Let g = 10 + -8. Solve -2*k + 2*v - 10 = g*k, k = -2*v for k.
-2
Let s = -82 + 87. Solve -y - 24 = -s*a - 3*y, -3*a - y = -14 for a.
4
Let h be (1 + 0)*3 + 0/(-7). Solve -11 = -5*i + 2*i - 4*g, -h*g = 5*i for i.
-3
Suppose 35*k - 11 + 11 = 0. Let o = 2 - 1. Let n(i) = 4*i. Let d be n(o). Solve j - p + k = 3, 0 = d*j + 3*p - 26 for j.
5
Let n be (-63)/6*(-12)/9. Solve 0 = 3*d + d - 3*k - 5, n = d - 5*k for d.
-1
Let o(l) = -l. Let i be o(-8). Solve -i = -0*x + 2*x, -4*y = x for y.
1
Let q = -22 - -27. Solve -n + 13 = -5*z + 3*z, -2*n = q*z + 19 for n.
3
Suppose 0 = 3*u - 1 - 11. Solve -2*s + 6 = 0, -2*b + u*s - 7 = -b for b.
5
Let k = -10 + 10. Solve 3*z + 3 = -5*b - 0*b, k = -b + 2*z - 11 for b.
-3
Suppose -2*v - 5*p - 3 = 0, -v + 3*p = -4*v + 9. Solve 0 = -4*i - 3*x + 4, -x - 1 = 5*i - v for i.
1
Suppose 4 = 2*g - 5*a, 2*g - 6*a = -2*a + 8. Let w = g + -5. Let u = -7 + 12. Solve 3*f - 4*m + 5 = -8, 4*f + u*m + w = 0 for f.
-3
Let k = 6 + -15. Suppose 2*u - n - 103 = 4*u, n - 167 = 3*u. Let c be 12/u + (-29)/k. Solve -4*b = 4*s - 12, -c + 13 = 5*b for s.
1
Let t = 14 + -15. Let m be (-5 - t)*(-12)/8. Solve 0 = -4*p + p + 4*n + m, 23 = -4*p - 5*n for p.
-2
Let j = 1 + 4. Suppose -10 = -j*t - 0*t. Let o be (-1 - 2)*(-2)/t. Solve 5 = -4*u + 5*b, o*u + 0*b + 3*b = 3 for u.
0
Suppose 6*j + 57 = 9*j. Solve -2*s + 3*s = 5*r - 17, 2*s - 5*r = -j for s.
-2
Let b(a) = -a**2 + 11*a + 15. Let p be b(12). Solve 3*k - 14 = 2*x + p*x, 2*x + 5*k = -18 for x.
-4
Let j(t) = -t**2 - t + 2. Suppose -3 + 1 = -2*y. Let z be (0 + 0)/(y*2). Let m be j(z). Solve 4*o = 12, -2*o - 3 = k + m*k for k.
-3
Let k(a) = -2*a + 9. Let p be k(4). Let q = 5 + -3. Let f = q + p. Solve -4*o - 5*t - 8 = 0, 3 = -o + f*t + 1 for o.
-2
Suppose p - 5*n = 28, 22 = p - 2*p - 5*n. Solve 7 = -a - d, a - p*d = -5*d - 10 for a.
-4
Let t(o) = -o**3 - 3*o**2 + 3*o + 3. Let d be t(-3). Let y be 0 + (-7 - -2)*d. Solve -2*x - 25 = -5*s, -3*x - y = -s - 4*s for s.
3
Let b(i) = i**3 - i**2 + 2*i - 6. Let w be b(2). Solve 5*t - 22 = 2*t + 5*o, -w*o = t for t.
4
Let g(m) = m**2 - 2. Let j be g(2). Solve j*q = -2*a - a - 7, -5*q = a + 11 for q.
-2
Let g = -57 + 61. Solve 0*z - 4*z = 3*j - 4, 2*j = -3*z + g for z.
4
Let d(n) = 3*n - 6. Let m be d(4). Let b = m + -4. Suppose -15*k + 56 + 34 = 0. Solve 0 = -5*a - 5*o + 3*o - 18, -b*o + k = -a for a.
-4
Let r = 10 - 7. Let g be 4/8*(0 + -4). Let f = g - -5. Solve 7*c = -l + r*c - 4, 2*c = f*l - 16 for l.
4
Suppose r - 4 + 2 = 0. Solve -3*p = -3*f - 2 - 19, 0 = -4*f - r*p - 4 for f.
-3
Suppose 6 = 5*s + 6. Solve 4*c = 4, -c = o - s*c - 5 for o.
4
Suppose -2*g = -3*g + 7. Let w(f) = -f**2 + 7*f + 4. Let u be w(g). Suppose -2*k - 4 = -u*k. Solve -2*i = -2*c - 2, k + 1 = -3*c - 5*i for c.
-1
Let t(g) = g**3 + 7*g**2 + 2. Let a be t(-7). Suppose -5*v + 27 = -2*b, -b = 2*b + v + 15. Let q = b + 9. Solve a*o - 2*p = -15 + 5, 5 = q*o + p for o.
0
Let q = 8 - 9. Let b be (-4)/(-4)*(1 - q). Solve -2*d + 3*f - 5 = b*f, 3*d + 14 = -5*f for d.
-3
Suppose 14 = 3*z - z + 4*r, -4*r = -2*z + 6. Let n = 45 + -36. Solve z*q + n = -2*c, -5*c - 3*q - 2 = -8 for c.
3
Let a be ((-1)/2)/(2/12). Let j be a/(-6)*(10 - 4). Let t be (1*j)/(3/2). Solve 2*p + 6 = 0, t*x - 4*p - 2 = -2*p for x.
-2
Let o = -64 - -109. Suppose 3*x - 3*p = 30, 4*x + 2*p - o = p. Solve -4*y = 2*q - 3*q - x, 3*y = q + 7 for q.
5
Let j(h) = h**3 + 7*h**2 - 11*h - 20. Let g be j(-8). Solve -4*v - 13 - 12 = -5*z, -4*v - 24 = -g*z for v.
-5
Suppose -5*d + 60 = -d. Let q be ((-10)/d)/(4/(-18)). Suppose 3*t + 6*a - 18 = a, 6 = 3*t + a. Solve -3*i + t = -4*i + q*k, -3*i + 3*k + 3 = 0 for i.
2
Suppose -4*j + 8 = 4*k, -4*k + k + 3*j = -18. Solve k*o + 4 = -s - 0*s, 5*s - 26 = 3*o for s.
4
Suppose -1 = -3*z + 5. Solve -z*i + 14 = -n - 3*n, n = -2 for i.
3
Suppose 2*t - 3 = 3*t - l, -2*l + 9 = -3*t. Let v = 18 + t. Solve 2*a - 3 = -h - 0, 5*h = 5*a - v for h.
-1
Let g(y) be the first derivative of -y**4/4 - y**2/2 + y + 4. Let o be g(0). Solve -2*s + 3*p - 10 = 0, 2*p - o = 5*s + 2 for s.
1
Suppose 2*b = -3*b + 10. Suppose 4 = b*s + 4*v - 8*v, 68 = 4*s + 4*v. Let w be 0/(-1) - s/(-3). Solve w - 6 = 2*y, -2*p + 8 = -2*y for p.
3
Let x = -54 - -67. Solve -3*r - x = -0*r + p, 0 = 2*r + p + 9 for r.
-4
Let s be (-2 - 4)*(-1)/3. Solve -s*j - 2*x = 6, 3*x - 1 = -3*j + 2*x for j.
2
Let d(w) be the first derivative of w**3/3 - w**2/2 + 11*w + 1. Let r be d(0). Solve b = -3*b + h - r, 0 = 3*b + 2*h + 11 for b.
-3
Let u(o) = -2*o**3 + 3*o**2 + 2*o - 2. Let a = -9 - -7. L