e -3*l + 17 = 2. Let j = l + s. Solve 5*v + 19 = -2*q, -3*q + 0*v + 19 = -j*v for q.
3
Let u be 1/4 - (-14)/8. Let t be 2 + (u - (-1 + 1)). Let i(a) = a**3 - 4*a**2 - 5*a + 4. Let m be i(5). Solve -4 = -m*b, -w - 2*b = -t*w + 4 for w.
2
Suppose 4*x - 8 = -2*m, 3*m - x - x = 4. Suppose -12 = 4*o - 4*w, 4*o - 5*w + 16 = -0*w. Let i = o + m. Solve n - 5 - 9 = i*g, 5*n + 5*g - 10 = 0 for n.
5
Suppose 0*s + 4*s = 0. Solve o - t - 6 = 0, s = 2*o + o - t - 12 for o.
3
Let o(y) = -y**2 + 15*y + 2. Let q be o(14). Solve 5*x - 21 = -2*r, 2*x - 2*r - r = q for x.
5
Suppose 15 = 3*x + 3*d, x - 7 = -4*d + 2*d. Solve 0 = 3*l + 2*l + x*p, 10 = 2*p for l.
-3
Let v = 5 + 0. Let i = -7 - -13. Solve -v*g - 1 - 3 = 3*t, 2*g = t - i for g.
-2
Let d(i) = -7*i + 1. Let f be d(3). Let t = -15 - f. Solve -x = -2*q + 13, 3*x - 16 = -0*q - t*q for x.
-3
Suppose -5*h = -0*h. Suppose -2*f - 6 = 4*s, 7 = s - 3*f - 2. Solve m - 4*u = s, 4*m - 4*u = -h*m - 12 for m.
-4
Let l = -1 - 1. Let d be (-30)/6*(l + 1). Solve d*x + 0*x + 9 = -2*f, -3*x - 3*f = 9 for x.
-1
Let w = -8 + 10. Let y(x) = 5*x - 3*x + x - x. Let a be y(w). Solve -a*d - 2*b = -2, 5*b - 4*b = -3 for d.
2
Let r = -17 - -21. Solve r*h - 2*n - 4 = 0, -3*h + 2 + 2 = -2*n for h.
0
Let p be (-13)/(-3) - (-8)/(-24). Let k(i) = -i - 1. Let j be k(0). Let t be 1*0*j/2. Solve t = 3*b + p*g - 1 + 4, -3*b = 2*g + 9 for b.
-5
Suppose 2*d + 2*u - 12 = 0, -18 - 1 = -4*d + u. Solve 4 = -4*z - 0*z - d*t, -t - 4 = 0 for z.
4
Let x = 14 - 7. Let d(z) = 2*z. Let v be d(x). Suppose 5*b - v = -4. Solve -4*w = -b*g - 22, 3*g - w = w - 13 for g.
-1
Let q = 0 + 0. Suppose 0*d - 2*d = -8. Let l = d + -2. Solve 5*f = -3*n - 0*f - 13, -4*n + l*f = q for n.
-1
Let t be (-8)/(-3) + (-1)/(-3). Let w be ((-4)/10)/(t/(-15)). Solve -w*p = 4*d - 0*d + 6, -3*p = d + 14 for d.
1
Let v(x) = x**3 - 4*x**2 + 2*x + 4. Let d be v(4). Suppose d = 3*k - 0. Solve 4*a + 18 = -3*f, k*a + 4 = 6*f - 2*f for f.
-2
Suppose 12 = q - 5*q, 0 = -3*b - 4*q + 48. Solve t + 2*j - 1 = -0*j, -4*t + 4*j = b for t.
-3
Let i(k) = -k**3 - 9*k**2 + k + 9. Suppose 3*s = -3, 2*m + 0*m = 3*s - 15. Let l be i(m). Let h = 4 - l. Solve f - 13 = -h*j, -10 = -2*j + 2*f - 6*f for j.
3
Let v = -3 - -3. Suppose 0 = -3*y - h + 15, -y = -5*h + 2 - 7. Solve 5*t + y + 0 = 0, 5*s + 3*t + 3 = v for s.
0
Let a(g) = -g + 2. Let n be a(3). Let o be ((-2)/(-6))/(n/(-3)). Let u be 96/60 - 4/(-10). Solve -5*l + u*l + 3*s = 9, 5*l = s + o for l.
1
Let g(j) = -j**2 - 5*j + 2. Let n be g(-5). Suppose -n*u = -u - 5. Solve -8*i + 4*i = 3*k + 15, -u = k for i.
0
Let l = -6 - -13. Suppose -l*o = -2*o. Solve 4*f + j - 7 = 0, o*j - j - 20 = -5*f for f.
3
Let v(d) = -3*d - 12. Let m(z) = -20*z - 85. Let l(w) = -2*m(w) + 15*v(w). Let o be l(-4). Solve o = -2*p, -35 = -5*y + 5*p - 0 for y.
2
Let p(s) = 3*s**2 + 5*s + 5. Let k(l) = -16*l**2 - 25*l - 25. Let h(i) = 2*k(i) + 11*p(i). Let b be h(-5). Solve 3*z = -3*g - 6, -4 = b*z + 4*g + 1 for z.
3
Let g(p) = p - 2. Let q be g(4). Let w(f) = 2*f**2 - f - 2. Let y be w(q). Solve -4*b - 8 = 0, 3*b = -3*u + y*u - 5 for u.
-1
Suppose -13*i + 1 + 25 = 0. Solve i*y = 5*k + 25, -y - 4*y + 13 = 4*k for k.
-3
Suppose -y - 7 = 4*g, -3*y + 9 = -4*g - 18. Let i = 1 - 0. Let q be 3 + -1 - (-1)/i. Solve -y = -q*j + 5*j - 3*r, -5*j - r + 30 = 0 for j.
5
Let a(h) = h**3 + 7*h**2 + 3. Let p(k) = 3*k - 3*k - 7*k**2. Let u be p(-1). Let q be a(u). Solve 5*r - 2 + 7 = 0, q*s + 3*r + 18 = 0 for s.
-5
Let t be (4/(-1))/(-4)*(-1 - -3). Let g be (0 + 1/2)*12. Let u be (20/6)/(4/g). Solve -i + t = -4*h + 5, 15 = -u*i + 3*h for i.
-3
Let p(l) = -l**3 + 9*l**2 - 9*l + 11. Let c be p(8). Let v(w) = 0 + 4*w + 2 - c*w. Let j be v(-2). Solve k = -2*r, -3*k + 4 = 4*r - j*k for r.
-2
Suppose 0 = -5*a - 5*b - 65, a - 5*b = -0*a - 7. Let c = -8 - a. Suppose 5*z = c + 11. Solve z*w - x + 6 = 2*x, 0 = 5*w + x - 20 for w.
3
Let v = -128 - -133. Solve 2*j + 3*h + v + 6 = 0, -j + 7 = -h for j.
2
Suppose -2*z - 6 = 22. Let b be 4/z - 4/(-14). Solve -2*m + 2*s + 14 = b, -3*s + 12 = -2*m + 30 for m.
3
Let r be -2*4/8*-3. Suppose -39 = -0*i - r*i. Solve 0 = h - 5*c + i, -h + 0*h - 4*c = -5 for h.
-3
Let n(u) = u - 1. Suppose 3 = -0*z + z. Let w be n(z). Solve -3*i + 10 = w*t + 3*t, -3*t = 4*i - 6 for t.
2
Let g = -24 + 44. Let v = g - 12. Solve 4*t + 17 = 3*l, 2*t + 2*l - 4*l = -v for t.
-5
Suppose 0 = -5*c + 19 + 6. Solve 0 = 4*u - 5*u + 4*l - 1, l = c*u + 24 for u.
-5
Let o be ((-12)/(-21))/(-1)*-7. Solve -c + 22 = -6*t + t, -3*c - o*t - 29 = 0 for c.
-3
Suppose 4*i + 3*y - 24 = 18, -8 = -i - 2*y. Let q be (-164)/20 - 1/(-5). Let s = i + q. Solve -2*z - 20 = -6*z, -2*o - 30 = -s*z for o.
-5
Let k be (-21)/3*(-24)/14. Let g = k - 9. Let n be 2*g/(-2)*-1. Solve 8 = -d + o, -5*o + 5 = 3*d - n for d.
-4
Suppose 4*w - 3 = -3. Solve 0*k - 4*k + 40 = -5*s, s + 2*k - 6 = w for s.
-4
Let i = -5 - -9. Let g be -3 + 8 - i/2. Solve g*n + 24 = o - n, -5*n = -o + 29 for o.
4
Let j = 49 - 46. Solve 4*s - 16 = 3*u, -4*u - j = 13 for s.
1
Suppose -i + 16 = -4. Solve -2*q + 4 = -3*w - q, -5*w - i = -5*q for w.
0
Let x(u) = -2*u - u - u + 2*u - 3. Let a be x(-4). Solve 0 = k + 2*q + a, -k = -2*q + 5 - 0 for k.
-5
Let o be (-2)/(-8)*4*17. Solve 5*w - 10 = 5*b, 0*b - 4*b + o = w for w.
5
Let f = -30 - -38. Solve -y - f = 3*y + 3*m, 2*m = 4*y + 8 for y.
-2
Let y(a) = 14 + 3*a - 3*a + 2*a. Let d be y(0). Solve -3*c - f = -2*f + d, 0 = -3*c - 2*f - 8 for c.
-4
Suppose -4*n + 10 = -6. Suppose -n*v + c - 5*c - 12 = 0, 3*v - 4*c = -23. Let b = v - -10. Solve 3*x - 4*d = x + 10, b*x = 5*d + 25 for x.
5
Let u = -5 - -5. Suppose u = -2*n + 3*n - 7. Suppose 9 = 4*c - n. Solve 0 = 5*r, -c*r + 5*r = -t - 2 for t.
-2
Let l = 4 + 0. Suppose 3*d + 6 - 24 = -2*o, 7 = l*d - 3*o. Solve 3*q - 7 = q - 5*t, -24 = 3*q - d*t for q.
-4
Let i(s) be the second derivative of 5*s**3/6 - 3*s**2/2 - 3*s. Let w be i(2). Solve -4*l + 17 = -4*m - w*l, 0 = 5*m + 2*l + 16 for m.
-2
Let q be (3/((-3)/(-4)))/1. Suppose 0 = s + 3 + 3. Let g = -3 - s. Solve -g*j = -q*w + 23, -2*j - 12 = -w - 0*w for w.
2
Suppose -k = -0 - 5. Solve k*q + 10 = 5*m, 2*m = -2*q - m + 21 for q.
3
Suppose 0*t = 2*z - 3*t - 12, 0 = z + 4*t + 5. Let a be 33/15 + z/(-15). Solve -3*j = x + a*x + 6, -j = -2*x - 10 for x.
-4
Let x(q) = -7*q + 5. Let y(f) = 3*f - 2. Let m(w) = -4*x(w) - 9*y(w). Let t be m(4). Suppose -5*i = -t*i - 48. Solve 0 = -2*h - 3*l - i, l - 2 = -6 for h.
-2
Let o = -3 + 3. Let p = -4 - o. Let r = 7 + p. Solve 0*j - j = 2*b - 5, 15 = r*j + 4*b for j.
5
Suppose z + h - 3 = 0, -4*z + 10 = 4*h + h. Solve 2*j + 5 = z*i - 8, -5*i + 3*j + 17 = 0 for i.
1
Suppose -5*l - 5 = 0, -l = 2*q - 2*l - 11. Solve 0*b = 2*b + d - q, d - 9 = -3*b for b.
4
Let i be 5/((-5)/(-2)) - 0. Suppose i*p - 6 = -p. Suppose -27 = -3*x - 12. Solve 2*t = k - 15, p*t = k - 2*k - x for k.
5
Suppose -6 = -2*t + 4. Suppose -5*d - 2*n + 26 = 0, n + 1 = -1. Let u = 10 - d. Solve u = f, -2*o - t*f + 10 = -4*o for o.
5
Let z(d) = -2*d**2 - 18*d + 12. Let g be z(-9). Solve -u = -5*f + g + 3, 23 = 4*f - 3*u for f.
2
Suppose d - 24 = -d. Suppose -d - 38 = -2*c. Solve v - p = -2*v + 10, 2*v + 3*p - c = 0 for v.
5
Let z(x) = -x**2 + 8*x. Let b be z(7). Let f = 2 + b. Solve -m - 3*d = 5, 4*d = -3*m + d - f for m.
-2
Let j = 6 - 14. Let d = j + 9. Solve 0 = 2*o + 2*u - 6, -3*o - u + d = 2 for o.
-2
Let r(j) = j**3 - 9*j**2 - 9*j + 1. Let d be r(10). Let b = d + 2. Solve p = 3*t - b, -2*t = -p + 2*p - 12 for t.
5
Suppose -6*u + 32 = -34. Solve 0 = -2*n - 3*n + v - u, -2*n - 9 = -5*v for n.
-2
Suppose 0 = -t + 4. Let s be (2/(-3))/((-1)/6). Solve t*o + s = -4*x - 0*x, 1 = 3*o + x for o.
1
Suppose 0*o = o - 3. Suppose -v + 28 = v. Suppose x + v = 4*c + 2*x, -5*x = 5*c - 10. Solve 0 = g + 3*w - 15, -3*w = o*g - c - 11 for g.
0
Let o be (-3)/(-2) + 2/(-4). Let l = o + 11. Let p be (l/9)/(2/3). Solve -3*t + 6 = -p*k, 0*k + t = -3*k + 13 for k.
3
Let b = -7 - -15. Let i = 20 - b. Suppose 4*x = 5*w + 9 - 28, 0 = -3*w + 3*x + i. Solve 2 = -3*j - 2*q, 3*j + q - 8 = -w*q for j.
-4
Suppose -7*a - 62 = -9*a. Solve -2*d = -4*s + 18, 5*s - 5*d - a = -6 for s.
4
Let l(w) = w**2 + 2*w + 2. Let s be l(-2). Suppose 5*p = -3*b + 5, -4*b - b + s = 2*p. Suppose b*o = o - 12. Solve -o = -4*m - 4*t, 2*m + 3*t = -2*m + 10 for m.
1
Sup