 5*x. Let n be a(x). Let k be -24 + 21 + 18/2 + -1. Solve 3*h + 5*z - 6 = n, k*z + 4 = 3*h - h for h.
2
Let w = -4 - -6. Suppose -w*u + u + 5 = 0. Solve 3*t - 5*f = 5*t - 20, u*t = -3*f + 31 for t.
5
Let p(t) be the third derivative of t**5/60 - t**4/12 - t**3/6 - 3*t**2. Let c be p(3). Solve 0 = c*q - 2, -5*f + 2*q = -f + 22 for f.
-5
Let s be (-4 - -2)/(-2 + 1). Let x(f) = -5*f**s + 2*f - f**3 + 0*f + 6 + 5*f. Let k be x(-6). Solve 0 = 2*m, 4*u + 5*m = -k + 4 for u.
1
Suppose 4*q = 2*n - 16, -n - 4*n - 3*q = -14. Suppose 0 = 3*g + 7*b - 2*b + 1, -4*g - 4*b + n = 0. Solve 3*a - 6 = -2*c, -2*c + 6 = -4*c + g*a for c.
0
Let c(l) = l**2 - 5*l - 21. Let u be c(-3). Solve -3*m = 5*q - 15, -5*q + 4*q + u = 0 for m.
0
Let n be (-2)/(-1)*15/(-6). Let l = 9 - n. Suppose l = 4*b - 54. Solve -5*u + w = -w + b, 25 = -u - 5*w for u.
-5
Let k(p) be the third derivative of p**4/24 + 7*p**3/6 - 3*p**2. Let x be k(-7). Let w be -2 + -2 + 9 - x. Solve -d = 4*b + 11, -w*d + 0*d + 8 = -b for d.
1
Suppose -q = -2*i - 6*q - 20, 2*q = i - 8. Let o(l) = -4*l**3 - l**2 + l - 1. Let d be o(1). Let m = i - d. Solve -5*g + m = 5*v, -5*g + v + 13 = 4*v for g.
5
Let k(l) = l**2 + 4*l + 3. Let s be k(-6). Let r = s - 27. Let u be 40/r*6/(-4). Solve u*f + 16 = q, -5*q + 4*f = -2 - 15 for q.
1
Suppose 0 = 6*u - u - 5. Let k(i) = 5*i - 48. Let x(m) = 3*m - 32. Let g(j) = 5*k(j) - 8*x(j). Let c be g(-11). Solve 3*l = -q - 11, l = -c*q + 14 + u for l.
-5
Suppose 25 = 4*h + h. Let g be (6/h)/((-6)/(-20)). Suppose g*r - 84 = -5*x + 2*x, 20 = r + x. Solve -4*q + 5*s - s - r = 0, 3*q - 12 = -3*s for q.
-1
Let z be 5*1*6/10. Let k = 20 + -20. Solve -z*j + 2*m + 17 = 0, k = 3*j + m - 7 - 7 for j.
5
Suppose 3*v - 20 = 3*r - v, 10 = -4*r + 2*v. Solve o = -r*y + 2*y, -5*y = -2*o for o.
0
Let b = 2 + 1. Let p(a) = a**3 + 10*a**2 - 10*a + 14. Let o be p(-11). Suppose 19 = -5*g - 1, 3*g + 117 = o*w. Solve b*j = -3*m - m - w, 4*m + 20 = 0 for j.
-5
Suppose 9*m - 4*m - 30 = 0. Solve -3*j + 4 + m = 2*i, -4*i + 20 = -j for j.
0
Let b be (-1*1)/((-16)/240). Solve -10 = -2*n - 4*i, -n = -0*n - 3*i + b for n.
-3
Let a be 2 + 1*-2 + 9. Let x = 14 - a. Let l be 5*1 + (0 - 0). Solve l*q - 4*z = -12, -4*q + x*z + 6 = -3*q for q.
-4
Let g(r) = -3 + 18 + 0*r - 1 - r. Let v be g(11). Solve 6*j - v*j = -2*s + 1, -6 = -2*j + 4*s for j.
1
Let a(d) = d**2 + 1. Let h(g) = g**3 - 7*g**2 + 7*g - 6. Let q be h(6). Let p be a(q). Let o be (p + (2 - 3))/1. Solve u + 18 = 4*m, o = m + 2*u - 0*u for m.
4
Let g(y) = -7*y + 1. Let z(a) = 6*a - 1. Let c(m) = 5*g(m) + 4*z(m). Let p be c(-1). Solve -w = -5*v - 10, 2*v + v - p = -3*w for w.
5
Let s = -4 - -4. Let n(i) = -i + 21. Let w be n(9). Solve -3*f - 3*b = -s*b, 2*f + w = -5*b for f.
4
Let s be (10/12)/(2/12). Suppose -z - s*v = 0, 4*z - 5*v - 10 = 15. Solve -4*p = -2*a - 24, -z*p - 29 = 2*a - 10*p for a.
-2
Let b = -132 + 135. Solve 2*j + 4*u = -18, 3*u = b*j - 7*j - 26 for j.
-5
Let r(g) = g**2 + g + 4. Let k be r(5). Suppose 0 = -2*m - 2*m + 4*u + 16, -k = -5*m - 2*u. Solve -o + 18 = 5*d, d - 4*d - 3*o + m = 0 for d.
4
Let l(m) = -m**3 + m + 1. Let j be l(-2). Suppose 10 = j*d - 2*d. Let h be (2 + 4)*d/3. Solve r - 27 = -2*z - 3*z, 3*z = -h*r + 23 for z.
5
Let v be (2/(-4) + -1)*-2. Let y(s) = -9*s**2 + 3*s**2 - s**3 - 12 - v*s - 3*s**2. Let z be y(-9). Solve -6 = 2*t + 2*j, -t - 2*t - z = 5*j for t.
0
Let p be 14 - (-2)/(4 - 2). Solve 0 = -2*u - 3*o + p, -4*u + 38 = 5*o + 11 for u.
3
Let g be 108/9*1/4. Suppose 3 = g*f - 3. Solve 5*n + 0*n + 5 = -4*s, 0 = n + f*s + 7 for n.
3
Let r = -10 - -14. Let j(t) = t**3 - 6*t**2 - 8*t + 5. Let s be j(7). Let f be -1 + 1 - (-3 + s). Solve -35 = -4*p + f*i, p - r = 5*i + 16 for p.
5
Suppose 35 = 2*o + 3*o. Solve -4*d + o*d - 3*q + 30 = 0, 4*d = 5*q - 45 for d.
-5
Let r = -5 - -7. Let n(i) = -i**3 + 9*i**2 - 8*i - 2. Let s be n(8). Let b be (2 + s + 0)/1. Solve u + 3*y - 2*y = -7, b = r*y + 6 for u.
-4
Suppose 2*q - 16 = -2*t, 0 = t + 3*t - q - 17. Solve g - 9 = -a, -32 = -8*a + t*a - 4*g for a.
4
Let c be 2/(-5) + 72/30. Solve 0 = 3*k - 5*k + 4*s + 26, -c*s - 8 = 0 for k.
5
Suppose 14 = 3*y + 8. Solve y*f + f - u - 4 = 0, 3*f - 5*u + 4 = 0 for f.
2
Let y(j) = -j + 2. Let u be y(8). Let c = u + 7. Solve -2 = 2*z + n, 0*z + z + c = -2*n for z.
-1
Let v = -62 - -82. Solve -i + 5*x + v = 0, 0 = i - 2*x - 0*x - 8 for i.
0
Let l(c) = -c**3 + 6*c**2 - 3*c - 7. Let u be l(5). Solve 3*d = 3*t + 38 - 11, 5*d - 13 = -u*t for t.
-4
Let c = -3 - -6. Let k(s) = s**2 + 0*s**2 + s - 3 + 2. Let v be k(2). Solve v = o, -2*t - 2*o + 20 = c*t for t.
2
Suppose r - 3 = 1. Let k = 1 + r. Solve -3*x + 25 = -j + 6*j, -x - k*j + 25 = 0 for x.
0
Let j = 3 - 1. Suppose 0 = -3*b + j*n + 4, -14 = -4*b - b - 4*n. Suppose -l - 2*l = -b*w - 11, -5*w + 20 = 2*l. Solve 0*h - 4*v = 4*h, -2*v = -l*h for h.
0
Suppose -g = y + 4*g + 16, 5*g + 8 = -3*y. Solve 4*w + 8 = -y*n, 0*w - 3*n + 8 = -4*w for w.
-2
Suppose s - 4*s + 20 = 2*b, 4 = -3*s + 4*b. Suppose 0 = -z + 2*x + 3, 110 = s*z + 5*x + 33. Solve -3*f + 6 = 4*t - z, 0 = -t + 4*f - 19 for t.
1
Let a = -70 - -74. Solve -q + 3 = y, -a*q + 0*q + 2*y = 0 for q.
1
Let w = 7 - 5. Solve -2*m - 17 = 3*c, w*c = -0*m + 3*m + 6 for m.
-4
Suppose 4*v - 6 - 2 = 0. Let l = -20 - -29. Suppose 0 = -l*t + 4*t. Solve -v*j - f - 5 = t, 2*j - 10 = -0*j + 4*f for j.
-1
Suppose 5*i - a = 2*a + 21, 4*a + 17 = 3*i. Solve 0*o = 3*b - 4*o + 9, -i*o + 12 = 3*b for b.
1
Suppose -2*r - 66 = -2*u, -21 + 1 = -5*r. Suppose 12 - u = -5*v. Solve 4 = 3*k - 2*i - 5, -k + 3 = v*i for k.
3
Let t(j) = 5*j**2. Let z be t(1). Solve -s = 2*s - 3, z*s + 15 = 5*i for i.
4
Let a be 8/(3/3 + 1). Solve -3*o = -2*k - 5, -3*o - 8*k + a*k - 1 = 0 for o.
1
Suppose -4*c - 3*v - 2 = -5, -2*v - 6 = 0. Suppose -g = -c*g. Suppose g = -4*x - 2*s + 8, 4*x + 5*s - 8 = -0*x. Solve -k = -x*y - 5, 0*y + 1 = -y for k.
3
Let m(a) = a**2 - a + 2. Let r be m(0). Let f be r/8 - 30/(-8). Solve 3*u - 2*j + 3*j = 9, -15 = -5*u + f*j for u.
3
Let g = 68 - 58. Solve 2*w - g = -4*v, 3*w = -5*v + 16 - 4 for w.
-1
Let k(b) = b**2 - b - 3. Let h be k(3). Solve 2 = -2*i, h*f + f + 20 = -4*i for f.
-4
Suppose 2*z - t = t - 6, -23 = -3*z - 5*t. Let d(i) = -i + 9. Let m be d(7). Let u be (30/(-4))/(6/(-8)). Solve s + l + u = -s, 3*s + z = m*l for s.
-3
Let d = -2 + 12. Let v be (d/(-15))/(1/(-3)). Solve 0 = -n - 4*s + 9 + 4, -s + 5 = v*n for n.
1
Suppose -3 = -0*u - u. Suppose -p - 5 = -6. Let x = u - p. Solve y - 18 = -4*d, -x*d - 2*y + 3*y = -6 for d.
4
Let g = -6 + 11. Suppose g*z + 11 - 31 = 0. Solve z*x + s = -s - 6, 0 = 4*x - 3*s + 31 for x.
-4
Let g be (-2 - -1) + (-3 - -6). Solve 0 = -4*t - y + 3*y - 10, g*t - 2*y + 2 = 0 for t.
-4
Let o(k) = -k**2 + 8*k - 1. Let y be o(5). Suppose 4*s - 5*n = -20, 4*n = -s + y + 2. Let p = 0 - s. Solve -3*a = -p*l + l + 7, 0 = 5*a + 2*l + 10 for a.
-4
Let h(w) = -w**3 - 2*w**2 + 4. Suppose 0*u = 2*u. Let d be h(u). Solve j + 2 = n, -2*j + j + 3 = d*n for j.
-1
Let v be 4 + (-3 - -2) + -3. Suppose 3*d - 4*g + 0*g + 10 = v, -3*d + 10 = g. Solve 2*b = -4*a + 4 - 14, 1 = -b + d*a for b.
-3
Let w = -111 + 114. Solve 2*g + g + 15 = -w*q, -q + 2*g + 10 = 0 for q.
0
Let p(w) = 0 + w - 4 + 2. Let l be p(2). Suppose -5*k + 2*y + 2*y - 6 = l, -3*k + 22 = 4*y. Solve t + 1 = k*v, 3*v - t - 2 = -0 for v.
1
Suppose -4*a + 30 = a. Let f be 7 - (4 + -1) - 1. Solve f*m - 3*x = a*m, 5*x = -3*m - 8 for m.
4
Let x(u) = u**2 + 2 + 2*u**2 - 3*u - u**3 + 0*u. Let k be x(2). Suppose 5*a + k = 4*s - 37, s = 4*a + 12. Solve -5*y + h - 1 = 5, h = -2*y - s for y.
-2
Let c be 4/10 + (-13)/(-5). Let f be -1 - -4*(3 - 2). Solve -c*y - 11 = -2*q + 2*y, -9 = -4*q - f*y for q.
3
Suppose 3*l + 19 = 4*y - 1, 0 = 3*l - 5*y + 25. Solve w + 36 = -5*i + 13, -w + i + 1 = l for w.
-3
Let q(k) = -5*k**3 + k**2 - k. Let j be ((-1)/(-2))/(2/4). Let w be q(j). Let f = w + 12. Solve 0 = 3*m - 4*i - 8, 2*m - 4 = f*m + 2*i for m.
0
Suppose 0 = -y - y. Let u = -50 + 70. Let t = 25 - u. Solve y = 5*v - m - 26, -t*v = -0*m - 2*m - 27 for v.
5
Suppose -j = 4*j - 20. Suppose 0 = j*b + 3*v + 42, 16 = -2*b - 2*v + 3*v. Let i = b + 14. Solve 2*s + 19 = -5*g, -s - i*g = -3*s + 31 for s.
3
Suppose 0 = 6*i - 18. Solve 0 = 4*p + 5*f + 22, -i*f = 3*p + 2*p + 21 for p.
-3
Suppose 3*g = -2*s - 2, -2*s =