. Solve 4*h = -l*y - 16, -g*y + 6*h + 20 = h for y.
0
Suppose -5 + 1 = -2*k. Solve 3*m - 4 - 5 = 0, 3*h = -k*m - 3 for h.
-3
Let d(m) = 5*m + 3. Let u(z) = -2*z - 2. Let f(v) = 3*d(v) + 7*u(v). Let p be f(7). Let q be 26/6 + p/3. Solve 5*k + 0*k - q = 4*r, 0 = 2*k - 2*r - 4 for k.
-3
Suppose -2*m + 4 = 0, -5*j - 3*m - 7 = -3. Let f be j/6*0/1. Solve f - 4 = -y + 2*g, -15 = 5*g for y.
-2
Let p = -76 - -78. Solve -2*f - y = 1, p*f + 3*y = f + 2 for f.
-1
Suppose w - 4 = -w. Suppose -a = -3 - 2, 3*s + 5*a - 13 = 0. Let u be ((-10)/s + -3)*0. Solve u = 3*j - 2*x - 7, 0 = -w*j - x - 3 - 4 for j.
-1
Let z = -4 + 6. Let s be 5/20 - (-1)/(-4). Let p = z - s. Solve -15 = -5*h - 4*b, 0 = 6*b - p*b for h.
3
Let c(d) = d**3 + 5*d**2 - 4*d - 2. Let b be c(-5). Suppose 6 = -3*z + 4*x + b, -4*z - x = 3. Solve -4*j + 4 = 0, -o + 4*j + z*j - 7 = 0 for o.
-3
Let y = -6 + 8. Solve y*z + 1 = -b, 5*b - z = -6*z for b.
1
Suppose -k + 4*k - 6 = 0. Suppose 8*n + 4*t + 5 = 3*n, 4*n + 8 = -4*t. Suppose 20 = 10*i - 0*i. Solve -k*w + n*w - d = -i, 0 = 4*w + 4*d for w.
-1
Suppose -3*o + 6 = -o. Suppose 4*p - 4 = 0, 4*b - b = o*p + 9. Solve 2*a + 4*k - b + 10 = 0, 4*k = -3*a - 1 for a.
5
Let j(l) = 3*l - 20. Let h be j(8). Let d(x) = x - 1. Let w be d(1). Suppose -7*i = -3*i. Solve 4*r - 4*o - o + 40 = i, w = -5*r - h*o - 9 for r.
-5
Suppose -f = -m - 5*f + 4, 3*f = 5*m - 20. Suppose 0 = 4*u + m + 4. Let b be (-58)/(-18) + u/9. Solve 3*w = -a - 0*w + 10, 10 = b*a + 5*w for a.
-5
Suppose 0 = 7*b + 13 + 1. Let f be 8*b/20*-5. Solve -v - x - f + 2 = 0, -4*v - 2*x = 8 for v.
-2
Let g be 0 - -7 - (0 - -1). Let n = g + -1. Suppose -n*d = -4*s - 0*s - 80, 2*d - s = 35. Solve -5*q + 25 = -4*z, -4*q - 6*z + d = -z for q.
5
Let u = -7 + 10. Solve 2*c = 3*s - 2, 7*c = 4*c - 3*s - u for c.
-1
Let m be 16/(2 + -3 + 2). Let p = m + -30. Let w = -8 - p. Solve -i - v - 5 = 0, v = 1 - w for i.
0
Suppose 10*n = 5*n + 25. Suppose 10*h = n*h + 65. Solve 3*k - a - 6 = 2*a, -k - 2*a = h for k.
-3
Let c(n) = 3*n**2 + n. Let p be c(-1). Suppose 0*r - 3*r = -9. Suppose -r*j = -p*j. Solve 5*f - 5 = j, -s - f = f - 6 for s.
4
Suppose 5*q - 130 = 5*i, 4*i - 8 = -q - 2. Suppose -5*r + f = 9 - 37, -f + q = 5*r. Let t = -4 + 8. Solve 4*s + t*p = 7*p + 6, 5*s - r*p - 10 = 0 for s.
0
Let i(p) = p**3 + 6*p**2 - p - 1. Let f be i(-6). Suppose f = l - 0. Solve -5*v = -3*b + 1 - 21, -b = -l*v + 10 for v.
1
Let q = -18 + 13. Let w be (-15)/q - (0 + -1). Suppose 3*c - w*c = -2, -4*f - c = -22. Solve -4*m = p + 1, p + f = -4*p for m.
0
Suppose 9 = -2*s + 1. Let d(t) = -t - 1. Let a be d(s). Solve -2*q + 4 = -4*g, -4*g + a*q + 9 = -3*g for g.
-3
Suppose 0 = j - 5 + 2. Solve h = -3*i + 15, i + j*h = -0*i + 5 for i.
5
Let a(u) = -1 + u - 5*u + 8*u. Let o be 2 + 2 + 6/(-2). Let m be a(o). Solve 0 = 5*y + m*w + 3, 3*y + 6*w = 2*w + 7 for y.
-3
Let r(n) = -n**3 + 13*n**2 - 12*n + 2. Let f be r(12). Solve -5*y = -2*a - 26, -3*a = -a + f*y - 2 for a.
-3
Let w be 1/(-1*2/(-6)). Suppose 0 = c - w + 1. Solve n = -5 - 0, c*t = 4*n + 28 for t.
4
Let u = 36 + -16. Solve 0 = 5*l, 0*l - l = 5*t - u for t.
4
Suppose -2*q - 3*q = 5*a + 20, 4*a - q - 9 = 0. Let n be (-2 + a)*(-45 - 2). Suppose -13 = -5*u + n. Solve -5*b + h - u = 0, 0 = h - 1 - 1 for b.
-2
Let a = -62 + 65. Solve -8 = a*s + c, -c = -s - 3 - 5 for s.
-4
Suppose -u + 5*p - 4 = 2*u, 4*p = -4*u + 16. Let j = u - -7. Suppose -j = -3*t - 0*i + 2*i, 0 = -5*t + 3*i + 16. Solve -2*x = -2, -5*y = -0*y - 5*x - t for y.
2
Suppose -4*f = 6*f + 2*f. Suppose 11 = 5*i - 9. Solve f*x + 10 = -i*y + 2*x, 3*y + 4*x = 20 for y.
0
Let m(u) = 36*u + 5. Let i(t) = 9*t + 1. Let y(w) = 18*i(w) - 4*m(w). Let h be y(1). Solve 0*b - 4*b = h, 0 = 3*v + 3*b + 15 for v.
-1
Let o = -14 - -19. Solve 4*n + o*j - 36 = 0, 3*n - 5*j = -n - 4 for n.
4
Let w be 1/2*(3 - -7). Solve 15 = -5*i, 5*i - w = -0*u + 4*u for u.
-5
Let l = -5 + 5. Let q be 1 - 12/(-3) - l. Suppose -3*i = q*z - 45, z - 2*i - 9 = i. Solve -v + 3 = 0, 3*k = -0*k + 3*v - z for k.
0
Let u = 9 + -5. Let i(v) = -v + 2*v + 6 + u. Let o be i(-7). Solve 0*q = -4*q + 2*l - 6, q - o*l = -4 for q.
-1
Suppose 0*a + 2*a + 2*z = 78, 0 = z - 3. Suppose -8 + a = 4*o. Solve -c - c + l + o = 0, -4*l - 24 = -4*c for c.
1
Suppose 0 = 5*z + 2*d - 0*d - 8, -2*z = -5*d + 20. Let v be (3 - (z + 3))/(-2). Solve 2*f + 2 = -5*c + 5, v = 4*c - 4*f + 20 for c.
-1
Let a(f) = -f**3 - 6*f**2 + 6*f - 5. Let y = -18 - -11. Let o be a(y). Solve -11 = -4*h - z, h - 9 = o*z - z for h.
4
Let d(a) be the second derivative of -a**5/20 + a**4/6 - a**2/2 + 2*a. Let g be d(1). Solve -4*l = 2*b - 22 - g, -19 = -3*l - 4*b for l.
5
Let i be ((-36)/(-9))/((-3)/(-6)). Solve 5*f - 4*r = 33, 5*f - i = -2*r + 13 for f.
5
Let i = 0 - -2. Suppose -g - i*k = -18, -2*g + 6*k = k - 45. Solve -5*w + 0*w = o + g, 0 = 2*w - o + 1 for w.
-3
Let u = 49 - 49. Solve 11 = -2*i - p, u = 4*p - 0*p + 12 for i.
-4
Let t = -86 + 98. Solve -t - 1 = 3*z + n, 5*z + 27 = -3*n for z.
-3
Let j be (-2)/10 - (-1)/5. Let s(i) = i. Let b be s(j). Solve b = -4*c - 5*l, c - 3*l + 25 = 2*l for c.
-5
Suppose 0 = -9*r - 2*r + 55. Solve 5*a + 19 = -4*o + 4, 15 = 4*o - r*a for o.
0
Let j = 3 - 5. Let y be -18*(j + 20/12). Solve 0 = 3*s + 5*k - 40, 2*s + 2*k - y*k + 10 = 0 for s.
5
Let k = 6 - -3. Let b = k - -4. Let i = -8 + b. Solve -i - 15 = -5*r, -4*v - 12 = -5*r for v.
2
Let d(z) = z + 5*z**2 + 0*z - 4*z**2 - 5. Let l be d(-5). Let k be 1*4*l/12. Solve -4*i = s + 2 - 9, -k*i - 3*s = 0 for i.
3
Suppose -b = -4 - 1. Let z be (3 + -2)/((-1)/b). Let r be (z + 4)*3/(-1). Solve -4*p = v - 9*p + 19, r*p = -2*v + 14 for v.
1
Suppose -14 = 2*m + 4*d, -2*m + 6*m = -2*d + 2. Solve -2*b = -3*y + 2, -5*b + 0*y = m*y - 37 for b.
5
Let s(r) = -10*r**3 - r**2 + r - 1. Let p be s(1). Let i = -7 - p. Solve 0*t = -t - 5*l - 15, -12 = t + i*l for t.
0
Suppose k = -5*k + 24. Solve -2*q + 24 = -4*s, 5*q - k*s = q + 32 for q.
4
Suppose -46*n + 44*n = 2*t + 4, t = -4*n - 14. Let o = 9 + -4. Solve l - 17 = 4*x, o*l - x - 22 = -t*x for l.
5
Let v be (-204)/15*5/(-2). Let z be (-22)/55 - v/(-10). Solve -15 = 2*g - z*k, -3*g - 8 + 2 = k for g.
-3
Let u(m) = m. Let c(h) = -2*h + 8. Let b(k) = -c(k) - 4*u(k). Let i be b(-6). Solve -4*r + 2 = z, -3*z - i + 10 = -3*r for r.
0
Let y(b) = -b - 2. Suppose 2*l - 5 = -13. Let w be y(l). Solve 3*j + w*r = 4*j + 10, 0 = 5*j - r + 14 for j.
-2
Suppose -7*r + 110 = -2*r. Suppose -4*p - 5*y + r + 14 = 0, -5*p + 45 = -y. Solve 0 = -m + 4*l - p, 6 = 5*m + l - 12 for m.
3
Let o(t) = t**3 + t + 3. Let f be o(0). Solve -4*k = 3*s + 5, -k - f*s + 5*s - 15 = 0 for k.
-5
Let s(a) = a**2 + 8*a + 17. Let r be s(-5). Solve -2*b - 2*l = -4, -3*b - r*l + 3*l = -2 for b.
1
Let i(h) = h**2 - 8*h - 5. Let j be i(9). Solve 4*g + 3*f = 4, -j*g - 5*f + 3 = -1 for g.
1
Let c(a) = -a**3 - 2*a**2 + 5*a + 3. Let b be c(-3). Let n = b - -6. Solve 3*m + m = -g + 17, -2*g = -n*m + 10 for g.
1
Let l = -100 + 104. Solve 3*i = l*v + 29, 0 = 3*v + 3*i + 2*i for v.
-5
Suppose -3*j - 4*u + 12 = u, j + u - 4 = 0. Solve -4*r = -b - j, 5*r - 4 - 1 = 4*b for r.
1
Suppose -2 = -3*b + 2*j + 3*j, 0 = 2*j + 8. Let y = b + 8. Solve 2*d + 10 = 0, -3*w + y*d = -d - 9 for w.
-2
Let d = 1 + 0. Let u be (-6)/2 + d + 5. Solve 2*z = 0, -u*g - z - 11 = -2 for g.
-3
Let q = -4 + 4. Solve -4*x + c - 5 = q, -3*c + 15 = x + 4*x for x.
0
Let m(i) = i**3 - 2*i**2 - i + 3. Suppose 0 = 7*d - 9*d + 4. Let v be m(d). Solve -s + 2*z - 7 = -v, s - 3*z = -10 for s.
2
Suppose -10*x - 3 = -33. Solve 0*i = -4*i + 3*w - 23, 5*i - x*w + 25 = 0 for i.
-2
Let o(t) = 3*t - 13. Let q(n) = -2*n + 12. Let p(d) = 3*o(d) + 4*q(d). Let v be p(-5). Solve -4*y + v*f + f = 9, 0 = 5*y + 2*f - 30 for y.
4
Suppose -r + 4*r + 3 = 0. Let t be ((-6)/12)/(r/30). Solve 0 = 3*k - 0*k + t, -4*o - 25 = 5*k for o.
0
Suppose -g + 21 = o + o, -2*o = -2*g + 18. Solve 0*l - 2*l - 3*j = g, 3*l + 21 = -5*j for l.
-2
Let l be 16/12*9/6. Solve 5*d + l*y = 5 + 18, 3*d - 11 = -4*y for d.
5
Let w = 7 - 3. Solve 5*v = 2*o + 22, -o - 1 = -w*o - v for o.
-1
Let w(q) = 2*q**2 - q + 6. Let z(d) = d**2 - d + 3. Let t(n) = 3*w(n) - 5*z(n). Let f be t(-2). Solve 4*v + 3 = -3*h, -4*v = 2*h + f + 3 for h.
3
Let h be 4074/(-22) + 6/33. Let z be (-1)/4 - h/20. Solve 4*j + 4*b = -b + 14, -j + 5*b - z = 0 for j.