-5 - -3) + 3 - 1. Let n be t/((d - 0)*-2). Solve n = 2*u - 0*m - 2*m + 4, 4*u - m - 4 = 0 for u.
2
Let k = -2 + 12. Suppose 5*m + 0 = 2*x - 10, 0 = -3*x - 5*m - k. Suppose -q + 5 + 0 = x. Solve -q*d + 2*n = 3*n - 3, 3*n = -5*d - 1 for d.
1
Let i(o) be the third derivative of 7*o**5/60 + o**4/24 + o**3/3 + 9*o**2. Let k be i(-1). Solve -4*n - 8 = 2*a, -3*a - 5*n - k = 4 for a.
-4
Suppose 3*s + 2 = -3*b - b, 5*b - 2*s = -14. Let n(o) = -o**2 - 5*o + 8. Let r be n(-7). Let p = b - r. Solve -p*z = -d + 20, -5*d + 3*d + 24 = -4*z for d.
4
Let j(w) = 4*w**3 - 2*w**2 - 2*w + 2. Let f be j(2). Suppose o + 4*c = f, 2*o - 29 = -4*c - c. Solve t = o*n + n + 15, 10 = -n + 2*t for n.
-4
Let l be (-2)/(-4)*2*4. Solve 0 = -r - l, 0 = -x - 4*x + 3*r + 32 for x.
4
Let x(y) = -y**3 - 8*y**2 + 8*y + 3. Let s be x(-9). Let d = s + -7. Solve d*m + 4*o = -29, 4*m + 6 + 13 = o for m.
-5
Let m = 16 - 2. Let d(g) = -6*g + 2*g**3 - 3*g**3 - 10*g**2 + 14 + 6*g + g. Let w be d(-10). Solve w*b + 4 = -a + 15, 0 = -3*b + 5*a + m for b.
3
Suppose -2*x + 7*x = 25. Suppose 2*p + 21 = 5*p - 3*u, 15 = x*p - u. Suppose 0 = -p*m + 3*m - 5. Solve 0 = 5*t - m*k + 10, -2*t - 6 = 4*k + 16 for t.
-5
Suppose -4*b + 6 = -3*b. Let t be ((-3)/b)/((-1)/8). Suppose 5*f = 3*x - 5*x + 23, -74 = -5*x + t*f. Solve -8 = -2*z + q, -2 + x = 3*z + 3*q for z.
4
Let x(w) = -w**2 + 6*w - 5. Let v be (1/2 + 0)*8. Let d be x(v). Solve -4*g + 0*g = -3*z - d, z + g + 1 = 0 for z.
-1
Let x be 1*3 + (2 - 3). Let z = -2 + 4. Let k(v) = 2*v**2 - 4*v + 3. Let r be k(z). Solve x = -i - d + 3, -4*d = -r*i - 18 for i.
-2
Let w(d) = d. Let s be w(-2). Let a be (s + 15/6)*0. Suppose a = -o + g + 20, -4*g = -o - o + 30. Solve 0 = -5*y - 5*v - o, 0 = y + 2*y - 2*v + 10 for y.
-4
Let q(f) = -8*f - 9. Let m be q(-4). Suppose 20 = 5*a - a. Let s(j) = -11*j + 1. Let l be s(-1). Solve v + v = 2*i + l, -a*v = 2*i - m for i.
-1
Let j = -1 - -27. Solve 5*m - j = -k, -15 = -4*m + 4*k + k for m.
5
Let c(b) = b**3 + 9*b**2 + 8*b + 2. Suppose d = 3*t - 8, 2*t - 40 = 5*d + t. Let z be c(d). Solve -z*j + j - 3*r = 14, -2*r = 6 for j.
-5
Let f(h) = 2*h**2 - 2*h - 1. Let g be f(2). Solve g*a + 5 = 2, 5*d - 19 = -a for d.
4
Let r(i) = -i**3 + 2*i**2 + i + 2. Let q be r(2). Solve -6*p = -3*p + 5*j - 10, -q*p + j - 2 = 0 for p.
0
Suppose -3*l - 40 = -2*b - l, l = -5. Suppose -4*t = -t - b. Solve -t*s + 26 = -3*r, -6 + 0 = -4*s - 5*r for s.
4
Let d(w) = -w**2 + 8*w - 7. Let b be d(6). Suppose 94 - 259 = b*a. Let t = a - -58. Solve 5*o = 2*n - t, o - 2 = 3*n - 20 for o.
-3
Let y(l) = l**3 + 6*l**2 - 3*l - 8. Let w = -19 + 13. Let o be y(w). Solve 0 = 5*u - 3*n + o - 2, 2*u - 8 = 4*n for u.
-4
Let v(w) = -2*w - 10. Let m be v(-6). Solve -2 = -m*o, 4*y - o = 8*y - 13 for y.
3
Suppose 11 = 5*s - 39. Let h = 0 + 1. Let a be (1 - 0) + (-1)/h. Solve a = -5*t + 5*o + s, t - 8 = 3*o + o for t.
0
Suppose -2*g - 10 = 0, 2*g = 5*z - 35 - 0. Solve z*d - 4*f = -40, d + f + 9 = 2*f for d.
-4
Let m = -9 - -15. Let d = m - 3. Suppose -d*g = -g - 28. Solve -8 = -3*q + f, g = -0*q + 2*q - 5*f for q.
2
Suppose 3*s + 19 = u + 4*u, 5*u = s + 13. Solve -u*o + 6 = 2*k, -4*o + 12 = 3*k - 0 for k.
0
Let j = -91 + 95. Solve 5*y = 4*t - 40, y - 32 = 4*y - j*t for y.
-4
Let b be 4/6 - (-32)/6. Suppose -2*o + b + 6 = 0. Solve 0 = -5*p - n - 14, -p + o*p - 2 = 3*n for p.
-2
Let v be 2/3*(-6)/(-1). Let p = -9 + v. Let k be (6/p)/((-9)/30). Solve z + k*x + 4 = -0*z, -10 = 5*x for z.
4
Suppose 0 = 2*m - 6*m + 24. Suppose -m*z + 50 = -z. Let u(k) = -k**2 + 13*k - 5. Let j be u(z). Solve 5*l + j = 5*n, 2*n - 26 = 5*l - 4 for n.
1
Suppose 4*b = 4*f - 4, f - 4*b + 2*b + 1 = 0. Solve -2*l + f*a = -5, a + 0*a - 15 = 4*l for l.
-5
Suppose d - 2*d = -31. Let j = -10 + d. Solve 3*y + 5*l = -j, -l = 4*y + l + 14 for y.
-2
Suppose -3*h - 2*h + 15 = 0. Let b = 8 - h. Suppose 5*l - 85 = -4*j, -2*l = -3*l + b. Solve -9 - 16 = -4*m - y, m - 4*y + j = 0 for m.
5
Suppose 4*b + 2 = 6. Let p be b/6 - 3/18. Solve p = -k - 3*q + 17, k + 0*q - 25 = -5*q for k.
5
Let s(z) = 3*z**2 + 3*z**2 - 163*z**3 + 164*z**3 + 3 + 5*z. Let d be s(-5). Solve -2*h = -3*q - 6*h - d, 0 = -3*q - 5*h - 6 for q.
3
Suppose 20 = 5*u + p - 3*p, 8 = 3*u - 2*p. Suppose 2*z - 20 = -u. Let q = z - 2. Solve 4*v + q*j = 16, -v = -5*v + 5*j + 16 for v.
4
Let g(r) = -r**3 - 12*r**2 + 13*r + 1. Let f be g(-13). Solve 0 = -o - f, 4*k + 5*o + 1 + 4 = 0 for k.
0
Let a be 4*(5 - 4)/1. Solve -5*l + 2*l = -a*i + 2, 5*l + 7 = 3*i for l.
-2
Let v = -4 - -1. Let f be (-6)/v + 0/1. Let o be 4 - f - (-2)/2. Solve -i = 2*k + o, -2*k = 2*i + k + 7 for i.
-5
Suppose 0 = -0*n + 2*n + 2*o - 4, -4*n - 16 = -2*o. Let b be (n/(-3))/((-4)/(-30)). Solve 4*j = -k - 13, -4*k - b = -2*j + 11 for j.
-2
Let q be (-7 - -7)*2/4. Let f be 2 - (q + -1 + -5). Let i(n) = -n**2 + 5*n + 3. Let z be i(4). Solve -3*d - z = -0*g + g, -3*d - f = 2*g for d.
-2
Suppose m = 2*i - 18, -4*i = m + 4*m - 50. Let s = -6 + i. Solve 3*w - k - 2*k = 12, s*w = 5*k + 16 for w.
4
Suppose 0*k = -2*k + 2. Suppose -4*f + 1 = a - k, 0 = -5*f. Solve -5*c + a = -5*o + 7, o = -c + 7 for c.
3
Let m be 40/14*49/7. Solve -5*u = k - 0*k - 14, -5*k + m = 0 for u.
2
Suppose -5 = -5*h + 5*l + 15, -5*l = -3*h + 10. Solve -5*w + 0*c + 2*c = 12, c = -3*w - h for w.
-2
Let o be (-7 + 0)/((-1)/2). Let u = 10 + o. Solve -4*z = -2*x + 14, -z + 0*x + u = 5*x for z.
-1
Let m = 27 + 3. Solve 14 = 2*r + 2*n, -2*r - m = -6*r - 5*n for r.
5
Let n be -1 - (0 - (9 - 3)). Solve -n*w + 5 = 4*x, -x + 5*w - 22 - 8 = 0 for x.
-5
Let a(n) = 3*n. Let y be a(-4). Let o = 13 + y. Suppose 0 = -2*c - 4*b - 10, -b + 15 = -4*b. Solve 3*r = -5*d + 18, c*d - 5*r + o = 11 for d.
3
Let o = 7 + -7. Solve o = h + h - 5*v - 2, 0 = -4*h + 3*v + 4 for h.
1
Let m(q) = -q - 6. Let y be m(-9). Suppose y + 1 = 2*a. Solve a*p + w - 4 = 0, 2*w + 11 = p - 2*w for p.
3
Suppose -r + 2 = -0*r. Solve 0 = 3*x - 5*m - 2, -6*x + 3*x + r*m = -8 for x.
4
Let l = -25 + 28. Solve 4*i - l*q + 13 = 0, -3*q + 12 = q for i.
-1
Let i be 1 + 3/(-3) + 1. Let h be ((0 + -8)/2)/i. Let z = h + 6. Solve 3*b + 6 + 5 = c, z*c = -2 for b.
-4
Let a(z) = -z**3 + 10*z**2 - 4*z. Let s be a(9). Suppose j = -4*j + 4*d + s, -3*d + 5 = 4*j. Solve -j*i - 3 = -g - 0*g, 12 = i + 4*g for i.
0
Let f be 10 + -7 + (1 - 4). Solve -2*t + 5*l - 7 = f, 19 = 4*t + 6*l - 5*l for t.
4
Suppose -5*k = 5*j, -k + 0*k + 18 = -5*j. Suppose -k = -r + 3. Solve 3*l - r = -p, -p + 6 + 1 = 4*l for l.
1
Suppose -2*x + 43 = -3*m, 4*m + 64 = -x + 5*x. Let a = 16 + m. Solve -5*f + f + 2*h = 12, 0 = -a*h for f.
-3
Let j = 20 + -13. Let h = j - -1. Suppose -4*u + h = -0*u. Solve -u*w = 3*a - 9, 3*w + 2*w - a + 20 = 0 for w.
-3
Suppose -4*g + 9 = -7. Let n be (-5)/15 - (-4)/(-6). Let r = g - n. Solve -3*j + j - 4 = 2*w, 4*j - r*w = 28 for j.
2
Let h(o) = -o + 2. Let z be h(0). Solve -c + 17 = 5*g - 2, 0 = g + z*c - 2 for g.
4
Let t(j) be the first derivative of j**4/4 + 3*j - 1. Let r be t(0). Suppose 8*p - 10*p = 0. Solve 0 = 2*z - 2, -3*w - r*z - 7 + 22 = p for w.
4
Suppose -4*r - 9 = -37. Suppose r*g = 8*g - 3. Solve h + 3 = 3*w, -4*h = -4*w - 1 - g for h.
3
Let n = 132 + -124. Solve 2*h + n = 4*a, 2*a + 4 = -4*h + 18 for a.
3
Let s(y) = 3*y - 31. Let k be s(11). Solve -r + 2 = 3*b - 2*b, 5*b = -k*r + 10 for r.
0
Let f(k) = 5 - 7 + 9*k + 3 - 4. Let w be f(1). Solve 3*m = 5*j + 12, 2 = -4*j - m + w for j.
0
Let w be -2 + 5 - 0/(-3). Solve 2*y = m + 3*m + 8, 3*m = -w for y.
2
Suppose -5*h + 22 = 2*i, 0 = 5*h - h - 8. Suppose -2*y + i = -3*v, 2*v - y = -0*y - 3. Suppose v*u - 2*u = 0. Solve -t = 4*a + 3*t - 32, u = a + 3*t - 16 for a.
4
Let v(x) = 8*x. Let y be v(3). Suppose 0 = -5*i - 5*q + 55, 5 = 5*i - 4*q - 5. Solve 5*f + 4*l + y = 0, -4*l - i + 2 = 0 for f.
-4
Let a be 8*(2/(-4))/(-1). Let q = 5 - 3. Suppose 4*u + q*z + 2*z + 8 = 0, -3*z - 16 = -2*u. Solve -a = -5*i + 2*s, -5*i + 0*s - u = s for i.
0
Let v = -7 + 3. Let c(f) = -f + 5. Let t be c(v). Suppose -t = 4*g - 3*w, 4*w - 9 - 3 = 5*g. Solve -3*a = -a - 2, g = 2*y + 4*a + 2 for y.
-3
Let z = 73 + -73. Solve 0*u - p = 2*u - 2, u - 3*p + 13 = z for u.
-1
Let t(v) = -v**2 - 11*v + 14. Let w be t(-12). Suppose 18 = 2*j + w*j - 2*g, 4*j - 6 = -2*g. Solve -16 = 4*p + j*r, -r - 1 = -5*p - 2 for p.
-1
Let a(q) = -q**2 - q + 2. Let i be a(0