 (-13)/(-5)). Solve 5*j - j = -3*l - 18, -q*j - 3 = -3*l for l.
-2
Let u be 4*3/(-6) - -4. Suppose u*n - 3 = 1. Solve 4*g - n + 1 = -k, 5*g + 1 = -2*k for k.
-3
Let k(o) = -o**3 - 11*o**2 + 11*o - 8. Let b be k(-12). Solve w - 26 = b*l - 9, 5*w + 10 = l for l.
-5
Let p(d) = 0*d**2 - 8*d + 2 + d**2 + 1. Let s be p(8). Let f = 127 + -123. Solve 2*n - 6*n - 9 = s*m, -f = -4*m for n.
-3
Suppose -50 + 50 = 10*v. Solve -4*i + 23 + 5 = 4*h, -2*h - 5*i + 26 = v for h.
3
Suppose -11*c + 11 = -22. Solve -4*r - i - 17 = 4*i, -21 = -c*r + 3*i for r.
2
Suppose -5*m = 2*j - m - 12, 0 = j - 2*m - 18. Solve z = -3*z - 2*w + j, -5*z + 6 = -2*w for z.
2
Suppose -r + 65 = 5*z, -2*r = -2*z + 2*r + 4. Solve 3*x = -0*x - z, 5*k = -5*x for k.
4
Suppose -8 + 2 = -3*d. Suppose d*n + p = 2*p + 4, 4*p = -16. Solve -2*l - l - 9 = n, -3*q - 6 = 3*l for q.
1
Suppose -175 = -5*w - 50. Let f = -1421 + 1424. Suppose d - 6 = -m - 1, -16 = -4*d. Solve 2*h = u - 7, -3*h = f*u - m + w for h.
-5
Let y be (6 - 45)*(-3)/3. Let a = y + -30. Let r be 3 + a/(18/4). Solve 7*t = 3*t - u, 0 = 3*t - r*u for t.
0
Let g be (206/10)/(0 - (-1)/5). Let q = g - 100. Solve k - z = q*k - 4, 3*k = 3*z - 12 for k.
0
Let w = 176 + -171. Solve -w*n - q - 1 = -0, -5*n = -2*q - 2 for n.
0
Let t be (-14)/(-3) - (-18)/(-27). Let b be t - 0*1/(-3). Solve 2*r - 9 = 5*k, 2 = r + 4*k + b for r.
2
Let o be ((-8)/(-6))/((-20)/(-30)). Let f be (-4)/o*(33 + -34). Solve 5*s + 21 = -f*k, 2*k - 29 = s + 4*s for k.
2
Let n(w) be the second derivative of 1/20*w**5 + 0 - 7/2*w**2 + 5*w - w**3 - 2/3*w**4. Let x be n(9). Solve -4*y - 7 = h, 4*y + x - 4 = -4*h for h.
-3
Let v be ((-10)/(-1) - -4) + -4. Solve -3*i + 5*k - 2 = -14, -v = -5*i + 5*k for i.
-1
Let w = 2747 - 2743. Solve -3*y - 3*c = y + 5, 0 = w*y + c + 7 for y.
-2
Suppose -10*f - 45 = -15*f. Suppose f*w = 6*w + 12. Solve -b = 2*b + 2*c, w*b = -5*c for b.
0
Suppose 0 = -2*u + 5*d + 2 + 2, -4*d = -2*u + 4. Let x = u + 0. Suppose -2*r = -0*r - 4. Solve 0 = -x*l + 8, c = -l + r*l - 3 for c.
1
Let f = -20 + 22. Suppose x = f + 2. Solve -2*j + 4 = -2*t, -x*j - 29 = 3*t - 2 for j.
-3
Suppose 0*f + f - 25 = 0. Let q(n) = n**2 - 5*n - 4. Let p be q(6). Suppose -4*v - m + 32 = -p*m, -25 = -3*v + m. Solve 2*c = -b + v, -2*c = 3*c - f for b.
-3
Suppose -2*y = -7 - 1. Suppose y*b = 3*b + 33. Let w be (-6)/(-33) - (-60)/b. Solve -w = 2*o - 0, 3*n + 4*o = -7 for n.
-1
Let r be 4 - -2 - 4/((-12)/(-3)). Suppose h - 3*x = -r - 0, 4*h - 13 = x. Solve 16 = 5*w + 3*z, h*w = -5*z - 11 + 29 for w.
2
Suppose 0 = -5*h + 15 + 5. Let l(y) = 5*y + 6. Let o be l(-3). Let x = o - -11. Solve x*r + 3*s = 4, h*r - 8 = -s - 0 for r.
2
Let a be (3/(-6))/(-1 + 4/8). Let b be (-6 - -6)/(-6) - a*-4. Solve 0 = b*m - y + 7, 2*y + 12 = -m - 4*m for m.
-2
Suppose -t + 5 = -2*f, 3*t - f = t + 1. Let h be 8 + -7 + (-2)/t. Solve -q - 6*a = -a + 9, h*a + 6 = 0 for q.
1
Let j = -1189 - -1192. Solve j*x = -3*l, -5*x = -2*x + l + 2 for x.
-1
Let x = 23 + -17. Suppose -x*l + 9 = -3*l. Solve l*w + v - 1 = 0, 0 = 3*w - 0*v - 4*v + 4 for w.
0
Let r(y) = 2*y**3 - 4*y**2 + 4*y - 3. Let p be r(2). Let g = 388 + -275. Let o = -113 + g. Solve -2*b + b + 3*h + p = 0, o = -b - 2*h for b.
2
Let k(a) = -a**3 + 5*a**2 + 5*a + 2. Suppose -2*d = -5*c + 5, d + 0*d - 2 = c. Let v be k(d). Solve -2*l + v = 5*b, 20 - 2 = 3*l + 3*b for l.
1
Let d = 70 - 61. Suppose -d*q + q = 7*q. Solve 3*o = 12, -3*o + 18 = -q*c + 3*c for c.
2
Let h(i) = -2*i**2 - i - 43. Let x be h(0). Let m = -39 - x. Solve -22 = -3*o + 4*u + 9, -m*u - 21 = -o for o.
5
Let f = -39 - -51. Solve 3*p + 2*k - 4 = f, -2*p + 19 = 3*k for p.
2
Suppose 4*p + 1 - 36 = -5*c, -3*c + p + 4 = 0. Solve c*f - 4*k + 17 = 0, f + 16 = -3*f + 4*k for f.
1
Suppose 3*d + d - 172 = 5*v, 0 = -v + d - 35. Let w = v + 34. Solve 3*a - 2*k - 14 = 0, 4*a + 10 = 6*a - w*k for a.
4
Let o(w) = w**2 - 4*w - 7. Suppose 0 = -2*z + 4*b + 4, 4*z + 3*b = -14 - 0. Let k be o(z). Solve 3*c = -2*f + f - 9, -3*f + 1 = -k*c for c.
-2
Let g be 6*2/((-36)/(-15)). Solve -g*a + d - 3*d + 7 = 0, 16 = -4*d for a.
3
Let u(l) = -l**2 - 3*l + 40. Let y be u(-5). Solve 2*j - 3*j + 5*r = -22, 5*j - 5*r = y for j.
2
Suppose -6*q + 52 + 38 = 0. Let c = 10 - q. Let r = 0 - c. Solve -p = -2*t + r, p + 10 = t + 3*p for t.
4
Suppose 3*x - 2*m - 13 = 0, 0 = -x - 4*m + 14 + 9. Let t = -21 + -21. Let d be ((-12)/t + (-24)/(-14))/1. Solve -d*o - 3 = 2*w + x, 17 = -4*o - 3*w for o.
-2
Suppose -4 = 3*l - l. Suppose 9 + 16 = -5*g. Let f = l - g. Solve -5*z - d + 9 = f*d, -2*d + 2 = 0 for z.
1
Let j(c) = -c**2 + 5*c + 3. Let u be j(5). Let t be u/(27/6 - 3). Suppose t*g = -g + 6. Solve -a + 2 = -h, 3*a = -h + g*a for h.
-1
Suppose 26 = 3*j - 4*m, 2 = j - 3*m - 15. Solve 0 = 5*i + j*x, -7*i - 26 = -4*i - 4*x for i.
-2
Let q(i) = i**3 + 7*i**2 + 8*i + 4. Let z be q(-4). Let y be 1*(-4)/(4/(-13)). Let b = -10 + y. Solve -b*h - 11 = v, -4*h - h - z = 0 for v.
1
Let m(v) = -2*v + 26. Let d be m(12). Solve 5*c = 2*c + 4*o - 4, c = -d*o + 2 for c.
0
Suppose -4*b + 32 = 8. Let o(r) = 9*r**3 - r**2 + r + 2. Let y be o(-1). Let f be (b/y)/(3/(-9)). Solve 18 = 2*k - 5*m, f*m = -2*k + 4 - 0 for k.
4
Let n = -46 + 54. Suppose -3*c = 5 - n. Solve 4*h = l + 15, 3*l - 8 + c = -h for h.
4
Let q be (5/(-10) - 1)*-2. Solve 3*h + 3*z + q = 0, 0 = 2*h - 0*h + 5*z + 14 for h.
3
Let c(b) = b**2 - 4*b - 8. Let y be c(7). Suppose -4*x + y = 1. Let i(f) = f**2 + 3*f - 5. Let s be i(-5). Solve 3*j - x = 2*n, j - 6 = -s*n + 4*j for n.
3
Suppose 3*q - 4 = 5. Let i = 14 + -7. Let o be 14/i*21/2. Solve 5 = z, -a = -q*z + 7*z - o for a.
1
Let o = 26 - 54. Let z = o + 29. Suppose 0 = b + n + z - 4, 10 = -5*n. Solve -3*m - m = -b*s + 11, -2*s - 2 = 0 for m.
-4
Suppose 80*x + 1008 = 86*x. Let a = 171 - x. Solve -a*s = 5*m - 13, 3*s = 2*m - 13 - 9 for s.
-4
Let y(h) = h - 4. Suppose 30 = 4*g + g. Let a be y(g). Let z(l) = l**2 - 13*l + 15. Let u be z(12). Solve -u*b - 13 = 4*i, -a = b + b - 4*i for b.
-3
Let z be (2/6)/(21/(-378)) - -6. Solve 5*u + h + z = -12, -5*h - 12 = u for u.
-2
Suppose 0 = j + 3*j + 52. Let w = j - -18. Solve 4 - 5 = c, 0 = -3*o + w*c - 4 for o.
-3
Suppose 170 = 80*y + 10. Solve -4*a + y*n + 4 = -20, 0 = 5*a - 5*n - 40 for a.
4
Let t be (-2 - (-20)/3)*30/35. Solve -q = -t*x + x + 18, -2 = 4*q + 2*x for q.
-3
Suppose 22 = 4*k - 60*q + 58*q, 2*k = 4*q + 20. Solve -k*g = 2*a + 4, 9 = -4*a + 2*g - 9 for a.
-4
Suppose 3*c + 6 = 21. Let o(n) = -2*n + 9. Let j be o(c). Let p be (-8)/12*3/j. Solve 0 = k - 3*l + 1, p*l + 11 = 2*k + 5 for k.
5
Suppose 0 = -100*v + 27 + 73. Let z be (-2)/9 - 152/(-36). Suppose -c - a = z*c - 11, 25 = 3*c - 4*a. Solve -5*i + v = -4*f - 2, 5*i - 24 = -c*f for i.
3
Let k(a) be the first derivative of 2*a**2 - 2*a + 1. Let l be k(3). Let q = 14 - l. Solve -q*s - z + 6 = -0*z, s = z + 4 for s.
2
Let f be -18*(3/(-12) + 7/4). Let k = f - -27. Solve 5*h + 2*a - 17 = k, 2*h + 0*a + 10 = -5*a for h.
5
Let t = 598 - 588. Solve 2*c + 2*m = t, -6*c - 7 = -c - 3*m for c.
1
Let z(y) = 9*y + 238. Let t be z(-26). Solve -t*h = -3*s + 4, -3*s + 4 = 5*h - 18 for h.
2
Let d(k) = -k + 8. Let x be d(4). Suppose -z - 11 = -3*g, -x*g + 0*z + 21 = 5*z. Solve 4 = -3*w + g*s - 11, -5*w + 2*s - 11 = 0 for w.
-1
Let b(m) = -m**3 + 9*m**2 - 9*m + 8. Let n be b(8). Suppose -30 + n = -3*x. Let j = -4 + x. Solve -6*p + 2*p + j = 5*t, 5*p = t - 7 for t.
2
Suppose 6*r - r + 5 = 0, 5*z - r = 16. Suppose w = -2, 2*w - 7 = x + 7*w. Solve 0 = x*u - z*g + 18, -u - 4*u = g for u.
-1
Let p(c) = 15*c - 86. Let k be p(6). Solve 31 = 3*d + 5*v, v = k*d + 27 - 30 for d.
2
Let y be (162/378)/((-6)/(-56)). Solve -j + 2 = y*q - 3*q, -2*j = 4*q + 2 for q.
-3
Let h(a) = 12*a - 106. Let f be h(9). Solve f*g - 2 = w + 2, -3*g - 20 = 5*w for w.
-4
Let d = -85 - -29. Let m = -47 - d. Solve 2*w - 2 = -3*z + 1, 5*w + 2*z = -m for w.
-3
Suppose 0 = 24*z - 28 - 44. Let b = -61 + 109. Let c be (-2 - 16/(-6))*b. Solve 15 = 3*t - 2*v + 38, 4*t - z*v = -c for t.
-5
Let j = -108 - -108. Let a be j + -3 - (7 + -12). Solve 0 = 4*d + 5*h + 6 + 4, -h = 5*d + a for d.
0
Let v be 10/(-4)*4200/(-750). Suppose -2*y = -y + 22. Let j be ((-3)/(-6))/((-1)/y). Solve -4*t = 2*x - v, -4*t = x + 4*x - j for t.
4
Suppose 59*i - 243 - 52 = 0. Solve -2*u = -3*a + 2*u + 12, a + 15 = -i*u 