= -19 - y. Let r = -10 + z. Solve x = r*w + 7, -x + 4*w = x - 12 for x.
4
Suppose -3*z + 16 = -k, 3*z = -2*z + 3*k + 32. Suppose -2*x + 16*x = 0. Suppose 0*f + z*f = x. Solve 0 = -2*w - w - 3*q - 15, -4*w - q - 20 = f for w.
-5
Suppose 2*d - 8 = -2*t - 0*t, -3*t - 5*d + 14 = 0. Suppose t*y - 27 = -0*y. Solve h + 14 = -2*c - 0*h, -h = c + y for c.
-5
Suppose 2*m = o - 5, 3*o + 2*m = o - 8. Let f be (-5 + 4)/(o/5). Solve s - 3*j = -20, -4*s + 0*j = f*j - 5 for s.
-5
Let j = 521 - 519. Solve l = 2*u - j*l - 6, 29 = -3*u - 5*l for u.
-3
Let q be 89/(3 + 2 + -4). Let m = 91 - q. Solve 5*r = -5*d, -2*r = m*d - 7*d - 7 for r.
1
Suppose -l + 0*i - 1 = -2*i, -2*l - 2 = 4*i. Let f = 3 - l. Solve -f*c + 2*o + 6 = 0, 2*c + 12 = 5*c + o for c.
3
Let g(p) = -4*p**2 + 4*p - 44. Let z(x) = 5*x**2 - 3*x + 45. Let q(y) = -6*g(y) - 5*z(y). Let o be q(-12). Solve 5*d - 27 = -3*l - 0*l, -l = o*d - 13 for l.
4
Let b(p) = 2*p + 48. Let m be b(-20). Let k be (-3)/(m/(-30) - 1/3). Solve -2*d + 3*o + 4 = 11, -5*d = 5*o + k for d.
-2
Let r(a) = -2*a**2 - 26*a - 21. Let o be r(-12). Solve 2*w = o*m - 12, -5*m + 3*w + 16 = -m for m.
4
Let d = -536 + 540. Solve d*i = 2*z - 3*z - 17, -i + 12 = -3*z for i.
-3
Suppose -4*p - 3*f - 32 = -3*p, -p + 3*f - 62 = 0. Let a = -31 - p. Suppose 7*v - 15*v = -40. Solve -m + v*m - 4*t + a = 0, -t = -3*m - 14 for m.
-5
Suppose -3 = -5*z - 4*t - 5, 0 = 2*t + 6. Solve 4*s - 6 = -2*u, -4*u + z*s - 8 = -0*s for u.
-1
Let n(y) = -4*y - 35. Let o be n(-10). Suppose m - 2*m - 5*i = -14, 10 = 5*m - o*i. Solve 25 = -5*g - 5*f, -11 = m*g - f + 2*f for g.
-2
Let o(g) = g**3 + 4*g**2 + 3. Let j = 27 + -30. Let u be o(j). Solve 2*k - 2 + 4 = -c, 4*k + 4*c + u = 0 for k.
1
Let j be -2 + ((-60)/(-5) - 7). Solve -4*k = 5*d - 7, -6*d + 15 = -3*k - j*d for k.
-2
Suppose -50 = -5*t - 10. Suppose -4 = -4*h - t. Let v = h + 11. Solve 5*x = -4*z + 9, 2*x - 4 = -4*z - v for x.
5
Suppose -3*q + 152 - 44 = 0. Suppose 2*l + 2 = q. Solve -l = u + 3*z, -u + 14 = 2*u - 4*z for u.
-2
Let o be 6/(-14) - 279/14*6. Let d = 125 + o. Solve -11 = a + d*s, 2*a - 2*s = 4*a - 2 for a.
4
Let y = -427 + 431. Solve 6*t - 4 = -5*v + 2*t, -y*v + 2*t + 24 = 0 for v.
4
Suppose 3*p - 20 = -5. Suppose 2*h + p*x + 31 = 0, 0 = 3*h + 2*h + 3*x + 30. Let g be (h + 0)/((-15)/20). Solve 24 = 5*f + 4*l, -3*f + 13 = -3*l + g*l for f.
4
Suppose 0 = 12*o - 3 - 21. Suppose 3*k = -o*r + 2 + 17, -8 = -r - k. Solve 2*s + 7 = g + 4, 3*s = r*g - 15 for s.
0
Let u be (-539)/33 - (-2)/6. Let r be u/(-6) + (-16)/24. Solve -2*j + 3*i + r = -i, 2 = -i for j.
-3
Let h = -13 + 8. Let g be (h - -9) + 1 + -2. Solve -g*i + 2 = -i, -5*i + 1 = 4*p for p.
-1
Suppose 0*o - 4*o + 7 = g, -o = -4*g + 11. Solve 0 = -2*k - g*n + 1 - 10, -20 = -5*k + n for k.
3
Suppose -4*j + 19 = -o + 5, -5*j = o - 13. Let g be (-1 - -1)*o/4. Solve -4*f = -m + 8, g*m - f - 2 = -m for m.
0
Suppose 2*u + 335 = 343. Solve 4*k + 24 = u*l - 16, 3*l + 2*k - 5 = 0 for l.
5
Let f = -30 + 33. Let a be (-1)/((-28)/8 + f). Solve -n - 2*n - 9 = -w, n = a*w - 3 for w.
0
Let p be (8/(-12))/(-4*2/240). Solve 0 = 3*i + 3*x + 15, 7*x - 2*x = -4*i - p for i.
-5
Let o be 20/20 + (-34)/(-2). Solve 3*t - k = 2*k - o, k = -t for t.
-3
Let s = 3 - 0. Let i be 7*(-4 + 0 + 5). Let b = i - s. Solve -6 = -n + 2*x, -4*x - 6 - b = -3*n for n.
-2
Let y(u) = -2*u - 23. Let s be y(21). Let j = s - -69. Solve 2*k - 4*l = 20, -2 = -3*k - 5*l + j*l for k.
2
Let v(a) = a**3 - a**2 + a - 9. Let i be v(3). Solve -c = 5*t - 16, 3*c - i = -5*t + c for t.
4
Let t = 761 + -757. Solve 2*c + 4 = 2*d - 2, 3 = c - t*d for c.
-5
Suppose 3*m - 9 = -v, m + 0*m = v + 3. Let u = 3 + v. Solve 3*j - 18 = -u*h, h - 3*h - 3 = -j for j.
5
Suppose 5*m + i = 4*i - 20, -2*m + 2*i - 12 = 0. Let v be m + 2 + 0 - (-4 + 1). Solve v*j + 3*h + 9 = 0, 2*h = -3*j - h - 6 for j.
-3
Suppose -11 = -2*k + 15. Suppose 6*t - k = 11. Solve -a + t*r + 4 = -2, 4 = -2*r for a.
-2
Let u(j) = -2*j**2 + 16*j + 37. Let w(v) = -3*v**2 + 32*v + 73. Let s(b) = 5*u(b) - 3*w(b). Let z be s(-13). Solve i + z*y - 21 = 0, 4 = 4*i + y - 4 for i.
1
Let i(p) = -2*p - 10. Let b be i(-6). Solve 0 = 3*o - 3*d + 21, -b*d = o - 2*o - 9 for o.
-5
Let l = 13 + -1. Let u be (2 - l/8)*-12. Let d(t) = -t**3 - 6*t**2 - t - 4. Let j be d(u). Solve -s = 4*x - 17, 2 + 4 = j*s + x for s.
1
Let m = 424 + -419. Solve -2*k = -3*l - 4, 2*k + 0*l = m*l for k.
5
Let l = 324 - 171. Let k be 38/34 + (-18)/l. Solve -v - 21 = 5*b, -k = 3*v + 2 for b.
-4
Let z(w) = w**3 + 7*w**2 + 7*w + 10. Let b be z(-6). Let a(p) = 9*p - 31. Let t be a(b). Solve -t*j - 4*u = -1, 8 = 4*j - 3*u + 1 for j.
1
Let z(q) = 2*q**2 + 4*q + 2. Let a(s) = s**3 - 5*s**2 - 8*s + 9. Let d be a(6). Let x be z(d). Let g = x - 7. Solve g - 10 = -2*j + 5*f, 0 = j + 2*f for j.
2
Let y(a) = 4*a**2 + 4*a + 3. Let k be y(0). Solve k*h = 5*l, -h + 19*l - 4 = 16*l for h.
5
Let g be (-72)/(-20) - 58/(-145). Solve -3*t - g*h = -9 - 8, 0 = t + 2*h - 9 for t.
-1
Let j(i) be the second derivative of -i**5/20 - i**4/12 + i**3/3 + 3*i**2/2 - 31*i. Let y be j(0). Solve -4*h - 16 = -p, -2*p + y + 5 = 0 for h.
-3
Let v = -52 - -58. Let i(f) be the second derivative of -f**4/12 + 5*f**3/6 + 9*f**2/2 - 2*f. Let t be i(v). Solve t*n - y + 5 = 3*y, 15 = 3*y for n.
5
Suppose 4*l = 2*l + 128. Suppose 5*o - o = l. Suppose o - 7 = 3*k. Solve -w + 21 = -5*f, -k*w - w - 21 = f for w.
-4
Let i = -121 - -133. Suppose -h = -2*v + 4 + 5, 0 = 3*v - h - i. Solve -2*w = v*c - 12, -w + 0*c + 5 = c for w.
3
Let z(h) = 9*h + 102. Let v be z(-11). Solve 5*x = -2*q - 30, x - q + v = -x for x.
-4
Suppose 69*k + 28 = 76*k. Solve -25 = k*z - 3*v, 2*z + 15 - 4 = v for z.
-4
Let o(z) = -8*z - 177. Let b be o(-24). Solve 4*m - b = -5*p - 0, m + 4*p = 1 for m.
5
Let s(w) = -w - 1. Let t be s(-3). Let p(f) = 3*f**2 + 5 - 12*f + 3*f**2 - 2*f**2 - 5*f**t. Let j be p(-11). Solve -2*v + 4*z = -16, v = 6*z - 2*z + j for v.
0
Let x = -6 + 0. Let k = -3 + x. Let v be (8/6)/((-3)/k). Solve -17 = -w - 2*w + a, -v*a = -2*w + 18 for w.
5
Let h = 80 + -79. Solve 0 = -w + 2*n + h, -5*w = -5*n + 2 - 17 for w.
5
Suppose -b = -50 + 44. Suppose -66 = -3*a - b. Let h = 23 - a. Solve 0 = 4*i + z + 11, h = -2*i - 3*z - 10 for i.
-2
Suppose 3*i - 10 = 44. Suppose 19*q - i*q = 0. Solve p + 5*a = 0, q = 3*p - 2*a + 5*a for p.
0
Suppose 0 = 5*l + 3*b - 59, 3 = -45*b + 46*b. Solve -3*j - 11*w + l = -13*w, 0 = -j - 4*w + 8 for j.
4
Let j = -8 - -13. Suppose j*c = -15, -3*i + 3*c + 27 = -i. Suppose -i = -2*u + 1. Solve u*o + m = 8, o - 3 = 4*m + 7 for o.
2
Suppose -4*r - 2*z = -2*r - 18, 40 = 5*r + 4*z. Solve -2*p = -3*a - 7 + r, -2*a = -2*p + 4 for a.
1
Suppose 0 = 2*q - 35 + 27. Solve 2*s - q = 5*s - 5*y, -3*y - 15 = 4*s for s.
-3
Let y(w) = w**3 - 5*w**2 - 5*w - 1. Let g be y(6). Let q = 29 + -46. Let t = q - -20. Solve -5*k + 7 = t*u, g + 2 = k + 2*u for k.
-1
Let n be (-8)/(-4)*(-2 - (-40)/16). Solve -3*m + 2*m + r + 2 = 0, 2*r = 3*m - n for m.
-3
Let s(m) = m**3 - 2*m**2 + 2*m - 1. Suppose 3*n - 33 = -30. Let f be s(n). Solve 3*p - 5*v = f, -2*v = p + 8 + 3 for p.
-5
Let z be 0/((-16)/4 + 3)*-1. Solve 4*v + 0*a - 3*a - 11 = z, -3*a - 1 = -2*v for v.
5
Let u(x) = -8*x**2 - 89*x - 8. Let q be u(-11). Solve -4*s - 11 = q*j, 0*s = 2*j - 2*s - 2 for j.
-1
Let n(f) be the first derivative of -5*f**2/2 - 35*f - 27. Let b be n(-8). Solve -b*v - 4*a = 32 - 5, -2*a - 21 = 5*v for v.
-3
Suppose -5*f - 29 = -4*t + 2, t + 5*f + 11 = 0. Solve 0 = 5*y, -t*d + 3 = -d - 2*y for d.
1
Suppose -5*k + k = 44. Let w = k - -11. Let u = 3 + w. Solve x = -5*j + u*x - 22, 8 = -j + 4*x for j.
-4
Suppose -3*y - 2*s + 3 + 1 = 0, 0 = -s - 4. Solve 0 = 3*k + c - 14, 2*k + y*c = 3*k + 4 for k.
4
Suppose -3*p = 6*j - 2*j - 26, -5*p - 2*j = -20. Suppose -p*u + 2*o = o - 7, 4*u = -2*o + 10. Solve 2*h + 2*y = u*y + 5, 4*y = -2*h + 20 for h.
4
Let x = -17 - 10. Let g = x + 41. Solve -f - 1 = w + f, 3*f = w - g for w.
5
Let f(p) = -19*p + 41. Let u be f(2). Solve 0 = -u*i - 12, -x + i + 8 = 1 for x.
3
Let c(i) = i**3 - 16*i**2 + 18*i - 33. Let q be c(15). Solve -5*s = -k + 16, 3*s - 6*s = q for k.
-4
Let v = -165 - -305. Let o be (1/4)/(7/v). Solve o*f + a = -4*a + 10, 3*a = -9 for f.
5
Let r = 148 - 69. Let x = r + -41. Let u = -35 + x. Solve 0 = 5*s + 20, u*q - 3*s = 11 + 16 for q