 2*z - 4. Let a be 30/(-9)*18/(-10). Let h be b(a). Solve 4*d - 3*d + h = 3*s, 3*s = -d + 10 for d.
-5
Let w(a) = 3*a - 28. Let u be w(12). Solve 2*h = 2*o + u, o + 7 - 1 = 3*h for o.
-3
Suppose -4 = -3*h + m, 0 = 2*h + 5*m - 20 - 11. Suppose h*b - 4*a + 14 = -0*a, -5 = 5*b - 3*a. Let r = -7 + 15. Solve i + 0*i = -b, -r = 2*z + 5*i for z.
1
Let a be 0 + 28 - (-1 - -3). Suppose 3*t - 9 = -2*t - 2*x, 0 = 5*t - 5*x + 5. Suppose -3 = -m - t. Solve 3*z + z - 4 = -4*s, 4*s + a = m*z for z.
5
Let v(l) = -l**3 - 3*l**2 - l + 1. Let m(j) = -2*j + 7. Let n be m(5). Let s be v(n). Solve -w = -5*y - 17, -s*y + 0*w = -4*w + 4 for y.
-4
Suppose 0 = -17*l + 14*l + 15. Solve l*t + 5*c = 20, -c + 1 = -1 for t.
2
Let x(k) = -9*k + 1. Let m be x(1). Let g = m + 12. Solve 4*f = -z + 5, -11 + 0 = -g*f + z for f.
2
Let c be (-5)/10 - 51/(-2). Suppose 4*v = 83 + c. Solve -5*m + 30 = -3*u, -v = -4*m + 4*u - u for m.
3
Suppose -4*n + 14 + 6 = 0. Solve 2*g = -2*c + 9 + n, 0 = 4*g - 2*c - 4 for g.
3
Suppose 2*g = 3*b + 68, 8*g + 3*b = 3*g + 170. Let u(i) = 2*i**2 - i - 2. Let f be u(2). Solve 4*s + 2*q = 2 - f, -5*q = -3*s - g for s.
-3
Let j = 115 + -110. Solve 6*l - 5*o = l, j*l + 3*o = 0 for l.
0
Let z(s) = 2*s**2 - s - 2. Let t be z(3). Suppose -p + 45 = -6*p. Let q = p + t. Solve -q*n + 30 = 2*o + n, 0 = -o + 5*n - 15 for o.
5
Let a(t) = 2*t - 4. Let s be a(3). Solve s*m = -4*q, -q = -m + q for m.
0
Suppose -2 = 2*f + 2, -2*r + 4*f + 8 = 0. Solve -5*v = -r*t - 5*t + 10, 3*v = -5*t + 26 for t.
4
Suppose 5 = 5*l - 5*o, -5*o - 12 - 11 = l. Let c = 8 + l. Let w(d) = d - 4. Let k be w(4). Solve -4*u + k*m = -c*m - 23, -4 = -5*u - 2*m for u.
2
Let d be 1 - 4 - (36/(-3) + 5). Solve -d*a = -2*i - 27 + 5, 5*i = -2*a - 19 for a.
3
Let y(i) = 8*i + 8 + 0*i**2 + 3*i**2 - 5*i - 4*i**2. Let b be y(4). Solve 0 = -2*q - 4*z - 10, 3*z - 2 = b*z for q.
-1
Let g(d) = d**3. Let f be g(-1). Let a be ((-6)/8)/(f/4). Solve 5 = 4*t + 5*s - 26, 3*t - 3 = a*s for t.
4
Suppose 0 = 2*i + s - 6 - 14, i - 10 = -4*s. Suppose 2*w - 16 = i. Solve 3*d = 5*m - w, -d + 28 = 4*m + d for m.
5
Let l be 6/27 + 148/(-18). Let f be (-2)/l + (-33)/(-12). Solve 3*v + f*z = -9, v + 3*z = 5*v + 12 for v.
-3
Suppose 2*y - 10 = -3*y. Let a be -8 + 17 + (y - 0). Suppose -4*k = c + 6, -2*k - 20 = -5*c + 3*k. Solve -c*n + 5*r + 29 = -5*n, 5*n - r = -a for n.
-3
Let n = 2 - -4. Let q(r) = r**3 - 7*r**2 + 7*r - 2. Let d be q(n). Solve -30 = -5*f - 5*s, 3*s = 4*f - d - 6 for f.
4
Let q be (-248)/18 + 6/(-27). Let t = 8 + q. Let i = t + 8. Solve -g = -i*l - 11 + 3, 4*l + 4*g = -28 for l.
-5
Let a(q) = q + 15. Let i be a(-11). Suppose -2*r - 3 = 5*m, -r - 12 = -i*r - 2*m. Solve 0 = 2*b - u - 1, -4*u - r = 6 for b.
-1
Let j be 3/(-1)*20/(-6). Let s = j - 8. Suppose 3*p + 2*q + 0 = 2, 0 = 2*q - 2. Solve -f - 2*f + 8 = -s*o, p = o + 4 for f.
0
Let r(v) be the third derivative of v**5/60 + 13*v**4/24 - 3*v**3/2 - 4*v**2. Let n be r(-14). Solve -3*i + 0*i - n*j = -15, -4*j - 5 = -i for i.
5
Let l(y) = -4*y - 10. Let q be l(-3). Solve 15 = -5*u + q*m, u - m = 3*u - 3 for u.
-1
Let w(z) = -3*z. Let c be w(-1). Suppose 18 = 3*d + c. Solve -2*s + s = -d*p, 2*p = -3*s + 17 for p.
1
Suppose 0 = 5*r + l - 4 - 6, 0 = 2*r - l - 4. Solve -m - 2 - 2 = -r*q, 0 = 4*m + 4*q - 8 for m.
0
Let v = 10 - 9. Solve g = 5*p + 8, -5*g - 9 + v = -p for g.
-2
Let g be ((-6)/3*-1)/1. Suppose 2*w + 5*o - 76 = -g*w, -19 = -w - 3*o. Solve -u + w = -3*s, 5 = s - 2*s for u.
4
Suppose -4*y + 6*y - 18 = 0. Suppose -i + y = 5. Solve -4*o = -4*b - b + 18, 2 = 5*b + i*o for b.
2
Let n(t) = t**3 - 13*t**2 + 12*t + 2. Let q be n(12). Solve 3*l + 0*l = q*k + 2, 4*l - 12 = 5*k for l.
-2
Let p(b) = -b**2 + 3*b - 2. Let y be p(2). Suppose s - 2*s = y. Suppose s = 4*q + 8 - 28. Solve -z + 9 = -2*z + g, 15 = z + q*g for z.
-5
Suppose 0 = -0*r - 2*r - d, -2*d + 1 = 5*r. Let i be r/((-35)/12 + 3). Suppose -i = o - 4*o. Solve 0 = -2*s + 3*a - 10, 3*a = o*s + 7*a for s.
-2
Suppose x - b + 0*b = 12, -5*x + 52 = -b. Suppose 0*m + 2*r + x = 3*m, 5*m - 10 = 2*r. Solve m = 5*w - 5*a, -4*w - 3 = 3*a - 4*a for w.
-1
Let r be 2/12 - (-389)/6. Let p = 11 + r. Solve 31 - p = 4*i + 5*d, 0 = -i - d - 10 for i.
-5
Let t = -404 - -411. Let i = -3 + 5. Suppose 2*v - 6 = -3*z, -5*v = 3*z - 4*v - 6. Solve f + t = -g, -2 = i*f + g - z*g for f.
-3
Let g = 74 - 39. Solve 0 = 5*k - 5*n + g, 2*k = 4*k + 2*n + 6 for k.
-5
Let d(v) = 5*v - 6. Let c be d(5). Let l be (-4)/(-2)*(3 - 6). Let n be ((-2)/(-6))/((-1)/l). Solve -3*u = n*r - c, u - 4*r - r = -22 for u.
3
Let j be (26/12 + (-1)/(-3))*2. Solve -4*p + j*k = 9 + 23, 5*p + 4*k = 1 for p.
-3
Let n = 5 + 0. Let p be (-2 + 12)/(1 - -1). Let s = p + n. Solve -5*c + 30 = -3*o + 2*o, -s = -3*c - o for c.
5
Let i(u) = 3*u**2 - u. Let f be i(1). Let j = 11 - 5. Suppose f*s + 12 = j*s. Solve 5*k - s*y = 1, -2*y - 3 = -3*y for k.
2
Let d = -13 + 20. Solve -2*m = -w - d, 3*m + 2*m + 2*w - 22 = 0 for m.
4
Suppose -5*o + 10 + 0 = 0. Suppose 0 = -4*l + c - 48, 2 = 2*c + 10. Let h = -10 - l. Solve 4*g = -o*k - h*k - 17, -8 = -k + 3*g for k.
-1
Let d = -4 - -6. Let u be d/(-9) + (-40)/(-18). Solve p + 1 = -3*s, u*s = s + 5*p + 5 for s.
0
Suppose 0 = -2*z + 3*h + 99, -2*z - 3*z - 4*h + 190 = 0. Let s = 25 - 22. Solve -13 = -s*y - 5*k, 1 - z = 4*y - 5*k for y.
-4
Suppose 2*d + d - 18 = 0. Suppose -3*p + 14 = 2*y, d*y - p - 14 = 2*y. Solve -4*c + 3*z = -0*c - 14, -c - y*z - 6 = 0 for c.
2
Suppose y = 4*y. Suppose -2*j + 1 - 7 = 0. Let t(s) = s**3 + s**2 - 7*s + 1. Let n be t(j). Solve n*g + z + 21 = y, -3*g - z - z = 22 for g.
-4
Let c(d) = d**3 - 8*d**2 - 7*d - 13. Let a be c(9). Solve 2*s + 3 = -u - 4, 3*u = -a*s - 17 for u.
1
Suppose -4*y + 3 + 2 = p, -5*p = 2*y + 11. Let o be y + 5 + -1 + 1. Solve 0 = -s - 2, 4*m + 3*s - 1 = -o for m.
0
Let u be ((-60)/(-15))/(0 - -1). Solve 2*n - 24 = -4*b - b, u*n = 2*b for n.
2
Let l = -3 - -3. Suppose l = s + 1 - 2. Solve -2*p - 2*k = -7 - 1, 0 = p - 2*k - s for p.
3
Suppose -d - 2 = -19. Let o(g) = -g + 9. Let x be o(5). Suppose x*v - 3*p - 15 = v, d = 5*v + 3*p. Solve v*z + 20 = -4*q, -4*q - 6 = -3*z - 0*q for z.
-2
Let w be -2 - (2 + -3 + -10 + 4). Solve -d + 3 = -4*p - 15, -w*p + 5*d = 15 for p.
-5
Let d be ((-4)/4)/((-2)/10). Suppose 3*g + 15 = 3*t, 5*g = -t - d - 8. Suppose c - 9 - 9 = -s, -4*c + t*s = -54. Solve 3*y + y - 20 = 0, -5*i = -5*y + c for i.
2
Let d be (-2)/4*-1*0. Suppose 0 = -d*h - h + 5. Suppose 5*x = -4*s + 4, x = -s + h - 4. Solve -5*q - o - 4 = 0, 3*q - 5*q - 4*o - 16 = x for q.
0
Let k(o) = -o + 12. Let r be k(5). Suppose -4*b = 1 - 9. Suppose z = -z + 4*g + 22, 0 = -4*z + 2*g + 26. Solve -b*p + 0*m = m - 4, -m + r = z*p for p.
1
Let r(m) = m**2 - 3*m - 4. Let o be r(4). Suppose o = a - 35 + 5. Let g = a - 18. Solve -4 = s - 5*l + 16, 5*s + g = 3*l for s.
0
Let f = 6 + -1. Suppose f*c - c = -4. Let y = c + 6. Solve l + 5*a + y = -12, 3 = -3*l - 3*a for l.
3
Suppose 4 + 5 = f. Let q = 24 - f. Suppose 0 = -w + 2 + q. Solve 4*p = 0, 5*p + 5 = -3*n + w for n.
4
Let q = -80 - -82. Solve -2 = -q*c, -3*p + 11 = -4*c + 3 for p.
4
Let y be (-10)/(-3)*3/2. Solve -3*b = -2*b - m - y, -4*m - 5 = -b for b.
5
Suppose 0*k = 2*k - 30. Suppose 2*n = 5*n - k. Solve t + t = 2*d - 10, -2*t = n*d - 18 for t.
-1
Let p be 2 + (1 - 3)*-1. Suppose 4*z - p*y = 4, 0 = -z + 5*y - 0 - 3. Let h(u) = 4*u**2 + 6*u. Let g be h(-4). Solve -z*i - 5 = 5, 5*i + g = 3*t for t.
5
Let t = 18 - 15. Solve 4*w - v - 7 = 0, -4*w = 2*v - t + 5 for w.
1
Suppose 3*d = i + 16, -3 = 3*i - 9. Let o be 4 - d - -14*2. Solve -3*c = 2*m + 3 - 1, 2*m - 4*c = o for m.
5
Let c(l) = -3*l - 13 + 13. Let n be c(-2). Solve w + 3*f - n*f = -7, 18 = 3*w + 4*f for w.
2
Suppose -6*n = -3*n + 18. Let z = n + 6. Solve z = v - 3*d + 4 + 4, 1 = -5*v + 2*d for v.
1
Let g(y) = y**3 - 4*y**2 + 2*y + 2. Let h be g(3). Let l = h + 4. Let o be -11*(-1)/((-3)/(-3)). Solve -5*z = -z - l*a - 3, 0 = -2*z - a - o for z.
-3
Let r = -118 + 123. Solve 19 = -x - 2*x - t, 2*t = -r*x - 33 for x.
-5
Let h be (-6)/(-9)*(1 - -2). Suppose -5*i = 2*j - 3*j - 6, -j - 3*i + 10 = 0. Solve -h*p = j*f - 2, f = 3*f - 4*p + 14 for f.
-1
Let z = -6 + 8. Suppose 2*r + z*r - 24 = 0. Solve 3*a = -w - 0*w + r, w - 2 = -a for w.
0
Suppose 2*j - 4*k - 58 = 0, 2*j - 21 = -k + 47. Let q(a) = -8