 + 43. Let x(p) = p**2 + 12*p + 16. Let y be x(t). Solve 4*n + y*l = 12 + 2, 5 = 3*n + l for n.
1
Let n be ((-4)/(-12))/(105/(-27) + 4). Let g be 4*((-6)/(-4) + -1). Solve -2*s = n*k - s - g, 5*k = 4*s + 9 for k.
1
Let x be (-5)/(-2)*8/10. Let q(a) be the second derivative of -a**3/6 + 11*a**2/2 + 7*a. Let m be q(0). Solve x*v + 2*j - 14 = 0, -v = 5*j - m - 8 for v.
4
Let s be 7 + (-2 - 1/1). Let f be (6/s)/((-21)/(-28)). Solve -f*n = -t - 7, 11 + 8 = 5*n - t for n.
4
Let h = 66 + -182. Let a = -77 - h. Suppose -5*i + 3*p + a - 12 = 0, -2*i - 5*p - 14 = 0. Solve j + z = i*j + 1, j + 5*z + 6 = 0 for j.
-1
Let j be (-20)/(-8)*(-4)/(-5). Suppose 2*o = j*o - 2*o. Solve 2*k + 2*y + o - 2 = 0, -5*k + 5*y + 15 = 0 for k.
2
Suppose -6*d = -7*d + 11. Suppose 3*h + 2*g - d = 0, 3*h - 18 = 3*g + 3. Solve 4*y - 25 = h*r, 3*y - 17 = -2*r + 4*r for y.
5
Let r(s) = -4*s + 29. Let f be r(6). Let y(n) = 3*n**2 + n. Suppose -w - 4 = -5*w. Let c be y(w). Solve -f*z = c*u - 11, -2*z + u = -2*u - 9 for z.
3
Let i(a) = 6*a - 69. Let z be i(13). Solve 0 = c - 4*m + z, 3*c + 0*m = -3*m + 18 for c.
3
Let v(m) = -m**2 + m + 10. Let h(w) = 11*w + 3. Let i be h(0). Let a be v(i). Solve -1 = -2*g - k - 0, -k + 7 = -a*g for g.
-1
Let a(h) = 22*h + 467. Let n be a(-21). Solve 2 = -2*s + 5*f, 0 = n*s - 3*s + 4*f - 16 for s.
4
Let o = -427 + 431. Solve -5*c - 2*u - o = 0, 5*c = 2*u - 0*u - 16 for c.
-2
Let k be (-4)/26 - 1180/(-65). Suppose -y + k = 17. Suppose -y = 2*m - p, 3*p = -5*m - p + 30. Solve 0 = 4*l + m*u - 6, -1 - 3 = -l - u for l.
-1
Suppose 10*u = -513 + 83. Let a = 46 + u. Solve 0 = k - a*k - 4*o + 12, -4*o = k - 8 for k.
4
Suppose 47 = 14*x - 9. Solve -5*z - 10 = -x*u, -3*z - 6*u = -2*u + 6 for z.
-2
Let p be 2/4 - (-3)/6. Solve 0 = 3*o + 2*i - 0*i - p, -3*i = -o + 4 for o.
1
Let d(x) = 10*x - 15. Let o be d(2). Suppose 2*u = -o*n - 2 + 50, -n - u + 12 = 0. Solve -3*g - 2 = -i - 7, -n = -2*i for g.
3
Let o = 15 + -13. Let s(l) = 5 + l**o + 2 + 5*l - 2*l - 3. Let r be s(3). Solve -3*x + 7*x + 14 = 2*q, 5*x - 4*q = -r for x.
-2
Let u be ((-5)/(-3))/((-55)/(-66)). Solve 0 = -4*s + 5*y + 10 + 4, 0 = -3*s - u*y - 1 for s.
1
Let v be (-287)/(-91) - (-6)/(-39). Suppose 0 = v*o - 3*s, -o - 17 = -3*s - 7. Solve -p = -o*r + 7, 3*p + r = 7 + 4 for p.
3
Suppose -8*t = -53*t. Solve -5*c - 4 = -2*v + 1, -c + v - 4 = t for c.
1
Let i(q) = q**2 - 50*q + 301. Let t be i(43). Solve v - 3 = 2*n, t*v - 3 = -2*n - v for n.
0
Let y be (16/(-8))/((-4)/8). Solve -2*m - 4*z = 18 - 4, -3*z = y*m + 23 for m.
-5
Suppose -6 = -4*g - 2*k, 0 = -g + 5*g + k - 7. Solve -5*s - 4 + 0 = -g*t, -4*s = 5*t + 23 for t.
-3
Let f be ((-24)/10)/(12/40). Let z = -8 - f. Solve -u = -4*o - z*u + 8, -15 = o + 4*u for o.
1
Suppose -2*x + p = -7, 91*p = -x + 95*p. Solve 5*f - 28 = q, x*f + f + 3*q - 16 = 0 for f.
5
Let i = -2 + 5. Let m = 3 - i. Solve 31 = 5*k - 2*h, m = 3*k + 2*h - 0*h - 9 for k.
5
Suppose 100 - 25 = 5*z - 5*o, -z - 3*o = 5. Let j(n) = n**2 - 10*n + 2. Let i be j(z). Solve -4*w + 2*u + 4 = -i*u, 0 = 5*w + u - 5 for w.
1
Let o(x) = -6*x - 3. Let d be (-9)/(-6)*8/(-12). Let g be o(d). Solve 13 = 3*b - 8*b + g*t, 0 = 5*b + 4*t + 6 for b.
-2
Let w(g) = 2*g**2 + 5*g - 9. Let p be w(-4). Solve -3*q + 12 = p*d, 0*d + 10 = 4*d + 2*q for d.
1
Suppose 0*c + 2*x - 6 = -2*c, 3*x = 3*c - 9. Solve -n + 3*h - 7 = 2*h, -c*h + 11 = -n for n.
-5
Suppose -2*r = -3*a - 20, r = 5*r + 3*a - 22. Let k be (9 - r) + (-1)/1. Solve h + 3*s + k = 11, -3*h = 5*s - 14 for h.
-2
Suppose -164 = -4*a - 4*f, 10*a + 3*f - 211 = 5*a. Let c = 45 - a. Solve -3*y + u = -7, 5*y + u - c = 16 for y.
3
Let c(i) = i**2 - 8*i + 24. Let l be c(9). Let s = l - 31. Solve 5*g + 4*o - 8 = 0, -g - 4 = -5*g - s*o for g.
0
Let h be 4/(-12)*3 + 3. Suppose -g - h = -4. Suppose -g*o = -3*l - 12, -o + 3*l - 1 = 5*l. Solve -o*j = 5*n + 6, 0*j - 2*j = -6 for n.
-3
Suppose 2*i = u + 4, 3*u = -3*i + i - 12. Let q be (-294)/(-77) - u/22. Suppose -1 - 7 = -q*j. Solve -j*f + 4 = -a, 0 = 4*a - 7*a - 4*f - 2 for a.
-2
Let k(u) = u**3 + 4*u**2 - 4*u + 1. Let a be k(-5). Let m = -1 - a. Let s be -2 + -1 + (4 - 1). Solve s = -m*d + 3*x, x = 3*x + 2 for d.
-1
Suppose 0 = -2*f + 4*f. Let x(u) = u**3 - 22*u**2 - 22*u - 21. Let k be x(23). Solve -k*i = r - f*r, 3*i + 5*r + 7 = 0 for i.
1
Let g be (-3 - -39)*(-8)/(-6). Suppose g = 4*p + 4*n, n + 20 = 5*n. Solve -2*z + 3*u = -4*z + 6, 3*z + 4*u - p = 0 for z.
-3
Let w(n) = -n**2 + 76*n - 204. Let f be w(73). Solve 3*y - 5*k + f = 0, -y - 4*k + 12 = y for y.
0
Let s be (0 + -1)*5/(50/(-30)). Solve 3*m + 2*m - 4*t - 24 = 0, 3*t = -s for m.
4
Let i = -282 + 297. Suppose 3*u = -u + 3*b + 13, 11 = 3*u - b. Let j be (0 + 3 - u)*-6. Solve 0 = 2*x - j*x + c + i, 5*x - 3*c - 24 = 0 for x.
3
Let t = 9 + 1. Suppose 0 = 33*x - 28*x - t. Solve 3*v - 2*v + x = -2*f, 0 = -2*f - 5*v - 2 for f.
-1
Let c be 6/4*(-2)/(-1). Let u = -10 + 25. Suppose -p - 10 = -3*p. Solve -3*x + u = -c*r, 4*x - 5*r - p = -6*r for x.
2
Let r be 11 + (4*1)/2. Suppose 11 = 2*j + 2*v - 5, 5*v = j + 16. Let x(b) = 3*b + 2. Let i be x(4). Solve j*m + g - r = -3, -5*m - 2*g = -i for m.
2
Let b(m) = -4 - 2*m**2 - 3*m**2 + 4*m**2 - 8*m + 0*m**2. Let q be b(-7). Let a be q*(-1)/(-3)*0. Solve 0 = -2*t - t + 3*n - 18, a = -2*t - 4*n for t.
-4
Let t = 0 - -1. Let d be ((-2)/(-1))/(7 + -9). Let l be 1 + (-1 - d - t). Solve -5*s - 1 = -3*j - l, -j + 1 = -s for s.
1
Let k = 538 + -381. Let x = k + -154. Solve x*u - 2*z = 2*z + 7, 0 = 5*z + 20 for u.
-3
Let y be 371/159 - 2/6. Solve 0 = y*a - 4*b - 12, -2*a - 1 = -3*b - 8 for a.
-4
Let j(z) = z**3 + 2. Let g be j(0). Suppose g*u - 6 = -u. Solve 2*p - 10 + 1 = k, 2*p - 6 = -u*k for k.
-1
Let u = 153 + -151. Solve n + 2 = -4*y + 16, 4*y - 5*n = u for y.
3
Let z = -83 + 88. Solve i + z + 12 = 3*n, 10 = -5*i for n.
5
Suppose 2*x = -3*p + 8, -7 + 0 = -3*p - x. Suppose -p*s + 5*s = 12. Suppose 3*q - 10 + s = 0. Solve -5*o + 0*o = -5, q*z = -3*o + 13 for z.
5
Suppose 2*r - 5*z - 1 - 9 = 0, z + 2 = 0. Solve -4*h - 7 = 5*i, h + r*h - 5 = i for i.
-3
Let k(q) = 3*q - 36. Suppose 26 = 35*a - 33*a. Let f be k(a). Solve 0 = -5*l - 2*u + 20, -f*l + 26 = 4*u - 0*u for l.
2
Let x(u) = -u**3 - 5*u**2 + 2*u - 20. Let q be x(-6). Suppose 0*o = -q*o. Solve -2*j + a = -6, 3*j - 9 = -o*j - 4*a for j.
3
Let h(v) = -147*v**3 - v - 2. Let j be h(-1). Let i = j + -146. Solve 2*n - g - 9 = i, 6*n - n = -g + 19 for n.
4
Suppose -3*n + 5*y = -0*n - 12, 12 = 3*n + 4*y. Let c be n*(-2)/(-3 + -1). Solve 2*o = c*s + 4, o + 4 = -2*s - 0 for o.
0
Suppose -3*m = -5*w - 19, -2*w + 43 = 47. Solve r = -2*o - 7, -3*o = -r + m + 10 for r.
1
Let b be 90/(-30) + (14 - 1). Solve -4*q + b = -j + 25, 2*j = -2 for q.
-4
Let d = -106 + 49. Let n = d + 59. Solve 0 = -4*o - 2*a + 22, -n*a + 7*a = -o + 10 for o.
5
Suppose 4*l = -2*b - 4, -5*b = -l - 4*l - 5. Suppose 2*f + 0*f - 4 = b. Suppose f*w - 2 - 14 = 0. Solve 9*v - 4*v + 20 = -2*i, 2*v + w = -i for v.
-4
Suppose 0 = -19*o + 2489 - 2413. Solve 3*k - 21 = 4*k + o*z, 2*k = 2*z + 8 for k.
-1
Suppose -222*l = -220*l. Solve 2*n + 21 = -5*u + 6, 4*u + n + 15 = l for u.
-5
Suppose 4*t = -83 + 219. Suppose 36*g - t*g - 34 = 0. Solve -2*d + 4*u = -12, 0 = -4*d - 0*u + u + g for d.
4
Suppose 0 = -2*h + 58. Let g = h + -24. Solve s + 3*i + 11 = 0, -s - 4*i - g - 10 = 0 for s.
1
Suppose -13*v + 19*v - 168 = 0. Let n = 29 - v. Solve 2*p = -2*q + 2, n = -p + 2*p + 4*q for p.
1
Let z be 96/(-36)*(-27)/(-6). Let j be 1/4*-6 + z/(-8). Solve j*g = g + 5*q + 7, 0 = 5*g + 2*q + 12 for g.
-2
Suppose 11*u - 12*u + 20 = -3*s, -3*u + 3*s = -30. Solve -x + 0*x = -u*m, 2*m - x - 3 = 0 for m.
-1
Let x = -120 + 163. Let s = x - 39. Solve -2*q - 5*h - 14 = 0, -4 = 4*q + s*h - 0 for q.
3
Let j(h) = 13*h**2 + 76*h - 7. Let n be j(-6). Solve 5*s + n*y = 20, 5*s - 2*y + 4 = 3 for s.
1
Suppose -9*t - 130 = -14*t. Solve 4*x - 3*r + 3 = -t, -5*r + 15 = 0 for x.
-5
Let k be -12*6/8*(-4)/12. Solve a - 3 = 0, -5*j + 0 = k*a - 4 for j.
-1
Let n = -4 - 1. Let r be 0 + -1 - n - 2. Let k = r - -1. Solve 3*d = k*z + 3, -d + 2 = -3*z + 7 for z.
3
Let d(q) = -q**2 - 5*q + 1. Let i be d(-4). Suppose 8*n + 128 = -0*n. Let c = n - -16. Solve 2*r = i*p - 12, c*p + 2*p = 4 for r.
-1
Let y = 40 - 40. Suppose -4*j + 4*l = -y*l - 16, -2*j + 4*l + 12 = 0. Let i 