 - 116 = -5*h. Solve s - 5*s = 4*d + h, s = -2*d - m for d.
-5
Suppose 4*x - 3*u + 3 = -0, 5*x - u = -1. Let g be 7/(-2)*(-6)/3. Suppose -43 + g = -3*h. Solve -4*k + v - 24 = x, -4*k - 5*v + 3*v = h for k.
-5
Let i be (-3)/(-9) - 2/6. Suppose o - 3*o + 20 = i. Solve -j - 2*y - 3*y = -o, -y = -3 for j.
-5
Let d = 1 - 1. Suppose -w + 6 - 4 = d. Solve -4*a - 4*t - 16 = 0, -2*t = w*a - t + 7 for a.
-3
Let r be 4 - 0/(3/3). Suppose -s + r*l = 14, l = s - 1 + 3. Solve 4*t + 12 = 0, s*z - 5 - 13 = 4*t for z.
3
Let b(m) = 4*m + 52. Let s be b(-12). Solve 0 = 4*v + z - 16, s*v - 18 = -2*z - 2 for v.
4
Let q(r) = r**2 + 6*r + 4. Let b be q(-5). Let u = b + 10. Suppose 3 = 3*g - u. Solve -32 = -4*c - g*w, -c + 1 = -2*w + 2 for c.
5
Let s(x) = x**3 - 3*x**2 + 3*x. Let k be s(2). Solve k*j - 5*j = -3*i + 12, i = 2 for j.
-2
Let g = 5 - 4. Let x(v) = 4*v + 1. Let t be x(g). Solve 10*j = -4*o + 5*j - 30, 4*o - t*j = -10 for o.
-5
Let p = -7 + 4. Let c = 6 + p. Solve 0 = 3*w + 2*i + 6, 3*w - c*i + 29 = -2*w for w.
-4
Let w be (-2)/5 - (-12)/5. Let b be 2/((4/5)/w). Solve -7 + 24 = -5*z + 2*g, -5 = -3*z + b*g for z.
-5
Let i be 21/(-6) - 2/4. Let v be (-2)/(-12)*(1 + 5). Let z be (0 - i)/1*v. Solve -2*w + 3*n = -17, -5*n - 26 = -z*w + 3 for w.
1
Let c(n) = 2*n**2 + 15*n - 5. Let g be c(-8). Solve -g*y - m + 7 = 0, -4*y = m - 4 - 4 for y.
1
Suppose 4*m = 4*c - 6*c + 12, -3*m + 8 = 2*c. Suppose -4*i + 8 = m*t - 5*i, -t - i + 7 = 0. Solve 11 = y - 5*k, -y + 4*y + t = -3*k for y.
1
Let y be -6*(1/6)/(2/(-40)). Solve 5*i + 0*i - 3*o = -15, 5*i - y = -4*o for i.
0
Let z(a) = a - 13. Let q be z(11). Let w be (-4)/q + (0 - -1). Solve -2*c - 2 = 0, 0 = -5*t - c - w - 8 for t.
-2
Suppose -80 = 15*r - 19*r. Solve 5*j + 0*v - 20 = 3*v, 5*j - v - r = 0 for j.
4
Suppose 5*m - 6 = 2*x - 0*m, 5*x = m - 15. Let g be 4 - (x - 0 - -1). Solve -4 = 2*d + 2*p, -5*d - g*p + 2*p = 6 for d.
2
Suppose 3*d = 4*d + 9. Let k = -4 + 1. Let v = k - d. Solve -2*f + 3*f - v = 4*n, -3*n = -3*f for n.
-2
Let q be 63/(-28)*(-8)/6. Solve 11 = -5*z + 2*s, -q*z - 4*s = z + 20 for z.
-3
Let q be (-2)/(-5) - 26/(-10). Let v be (-2)/q - (-5)/3. Solve 3*b = 2*b - v, 5*p - b = -24 for p.
-5
Let k(n) = n. Let a(d) be the third derivative of -d**3/6 - d**2. Let g(y) = a(y) - 3*k(y). Let r be g(-2). Solve -c + r*w - 1 = -2*c, -21 = 5*c - w for c.
-4
Let a be (-2 - 0)/((-4)/(-16)). Let d(u) = -u - 3. Let t be d(a). Solve 2*k = -5*h - 0*h - 22, -2*h - 13 = t*k for h.
-4
Suppose 0 = -2*c - 5*c + 21. Suppose -4*b = -k + 2*k - 36, b = -2*k + 16. Solve 2*f - b = d - 3, 0 = c*d - 4*f + 15 for d.
-5
Suppose 0 = -l - 0*l. Suppose -3 = -4*c - 2*h - 13, 4*h + 20 = -4*c. Let y(r) = -r**3 + 2. Let u be y(c). Solve 4*s + 4*v = l, -u*s + v = 5*v - 8 for s.
-4
Suppose -p + 11 = -1. Solve 3*h - p - 11 = -4*b, 0 = 3*b + 4*h - 19 for b.
5
Suppose -91*t - 15 = -94*t. Solve -3*g + 18 = t*k - 3*k, 0 = 2*g + k - 11 for g.
4
Suppose 3*t = -t + 16. Suppose 4 = -3*j + t*m, -4*j - 1 = -4*m + 3. Suppose 3*w + j*w - 5*v = 25, -5*w = 2*v - 83. Solve -p - 4*u = w, 2 + 1 = -p - u for p.
1
Suppose -32*n + 8 = -28*n. Solve 4*x + 4 = 0, 3*l + 3*x + n = -10 for l.
-3
Let x(q) = -q**3 + 5*q**2 - 4*q. Let h be x(3). Suppose -4*w - y = -h*y + 8, 4*w - 32 = -5*y. Solve 5*m - 5*v = 0, 2*v + 6 = -w*m - m for m.
-1
Let h(c) = -7*c + 11. Let f(n) = -3*n + 6. Let m(u) = 9*f(u) - 4*h(u). Let l be m(-9). Solve 0 = 2*a - 4*o + 6, 0 = -4*o - 3 - l for a.
-5
Let d be (-1)/(-4) - 909/36. Let h be (-20)/d*30/4. Solve -5*l = -0*l - 4*m - 13, 4*l - m - h = 0 for l.
1
Suppose 8*x + 25 = 3*x - n, -4*x - 3*n - 9 = 0. Let i = x + 11. Solve 2*l = -i*b - 0*l + 4, 4 = b + 2*l for b.
0
Let z be ((-4)/(-6))/(8/36). Suppose -z*a + 9 = -3*g, 0 = g + 3*g + 12. Suppose 7 = 5*u - 38. Solve -t = 2*x + 13, a - u = 3*t for x.
-5
Suppose 3*j + 5*f - 43 = 0, f = -6*j + 2*j + 29. Let p be j/(-24) + 1/4. Suppose p*h + 5*w + 7 = -2*h, 3*w = -9. Solve s - 2*u = -13, s - 4*s - u = h for s.
-3
Suppose -j = -2*h + 1 + 2, -h + 5*j + 6 = 0. Solve -n + 3*t - 3 = -1, 4*t = 5*n - h for n.
1
Let f = -6 + 6. Let r(j) = -j**3 + j + 15. Let m be r(f). Let w(b) = -2*b - 15. Let y be w(-10). Solve -9 = -0*x - x - 2*v, 2*v - m = y*x for x.
-1
Let v = 21 + -15. Let k = -3 - 0. Let n be 0/(3*2/k). Solve n = -o + 3*t - v - 8, -t + 13 = -2*o for o.
-5
Let w = 11 - 6. Suppose 4*l = 21 - w. Solve -3*s - 17 = -l*u, 6*s + u + 7 = 3*s for s.
-3
Suppose -24 = z - 5*p, -3*z - 3*p + 6*p = 60. Let h = 21 + z. Solve -4*x + 5*x + 2 = 3*g, -h*x - 4 = -4*g for x.
-2
Let f(n) = -2*n + 2. Let q be f(-7). Suppose 0*d = 4*d - q. Solve 3*a - c = -17 + 4, -d*a - 26 = 3*c for a.
-5
Let c be (4/(-10))/(4/(-60)). Suppose 0 = 4*t, -t = d + t - c. Let l = d + -4. Solve -11 + l = -4*z - u, 3*z - 23 = -4*u for z.
1
Let b be (3/(-4))/(30/(-80)). Solve -2*u + s - 20 = 2*u, 0 = b*s - 8 for u.
-4
Let l = 1 + -1. Suppose l = -2*m - 2*r - 6, -m - 3*m - r + 3 = 0. Suppose -m*s = -8 - 2. Solve -d + 0*b - 7 = s*b, -2*b = 4 for d.
3
Let h = 4 + -4. Solve 3*x = -12, h = -3*p - 2*x - 7 + 2 for p.
1
Suppose 0 = -2*b - r + 2, -2*b + 3*r + 14 + 4 = 0. Suppose 6*g + b = 7*g. Solve 2*a = -g*p - 17, -4*a - 9 = 3*p + 16 for p.
-3
Let n(d) = -d**3 - 6*d**2 - d + 8. Let f be n(-6). Let l be f*(-1 + 0)*-7. Suppose 3*p - l = -23. Solve 0 = -z + 2*m + 15, -2*m = -7*m - p for z.
5
Suppose 0 = -0*j - j + 2. Suppose 0 = -j*z - 3*z - 3*w + 10, -5*w - 8 = -4*z. Solve -z*s + 0 + 2 = 2*o, 0 = 3*o + 9 for s.
4
Suppose 0 = -3*g + 35 - 5. Let n be 5 + 0 + -2 + 0. Suppose n*f = 2*w + 3*w - 20, 4*f = 0. Solve 5*u + g = 5*s, -3*u - 3 - 7 = -w*s for s.
4
Let i(a) = a**2 + 6*a - 3. Let u be i(-7). Let b be -1*(1 + -2)*13. Let y = -7 + b. Solve -y*s + u*s = 2*o + 4, -5*s - 8 = 3*o for s.
-1
Let a = 11 - 8. Suppose 5*v - n - 4 = 0, n = a*v - 7*v - 4. Solve 0 = 4*b - b - 15, v = -w + 5*b - 27 for w.
-2
Suppose 0 = -16*a + 7*a + 45. Solve -32 = -4*t + 5*j, -1 = 5*t - j + a*j for t.
3
Let w be (-9)/(-15)*(6 + -1). Solve 3*c + 4*g + 3 = -11, -8 = c + w*g for c.
-2
Suppose -v + 4*d = 3, d = -3*v - 5 - 4. Let i be (-9)/((18/4)/v). Solve 2*q - 3 - i = -f, f + 3 = 2*q for f.
3
Let v = 6 - 2. Solve v*y + 20 = -4*m, -1 = -m + 2*m for y.
-4
Suppose 0 = 3*t - g + 5*g - 7, 4*t - 18 = -g. Solve -3*z + 2*y = 3 + 1, -z - 3*y - t = 0 for z.
-2
Let q(n) = n**3 + 5*n**2 - 9*n - 15. Let w be q(-6). Solve 4*x = w*m - 6*m + 21, -5*x + 27 = 4*m for m.
3
Let s(t) = -t**2 + 5*t - 4. Let n be s(-8). Let q be -3 - (n/3)/2. Solve 3*r + 10 = -2*m, -m - 2*m - q = -5*r for r.
0
Let k = 29 + -17. Solve 2*i - 3*l = -2*i + k, 3*i + 2*l - 9 = 0 for i.
3
Let s = 2 + 1. Suppose 2*l + i - 6 = 0, 5*l = -2*i + s + 12. Let q be 3/2*(1 + 5). Solve -5*h = 3*z - 20 - q, 0 = -2*h + l*z - 1 for h.
4
Let t be 2 + 0/2 + -2. Suppose t = -0*q + 2*q - 6. Suppose -16 = -q*n - n. Solve -n*u + 0*o + o = -15, -u + 5*o - 1 = 0 for u.
4
Let l(a) = a**2 + a - 1. Let b(g) = 4*g**2 + 2. Let q(d) = b(d) - 3*l(d). Let h be q(0). Solve -h*x + s = -3 + 6, 0 = 3*x - 2*s - 1 for x.
-1
Let g = -21 + -16. Let v = -25 - g. Suppose -4*u + u = -v. Solve -11 + u = -2*d - 5*n, -3*n + 5 = d for d.
-4
Suppose 4*w - 2 = -4*x + 14, -8 = -w - 5*x. Suppose -34 = -w*s + s. Suppose -5*p - s = -47. Solve -o + p = -2*i, 2*o + 20 = i - 5*i for i.
-4
Let d = -28 + 28. Solve -4*v + m - 21 = 0, -v + d*m - 19 = -3*m for v.
-4
Let d(n) = n**3 - 3*n**2 - n - 3. Let l = 8 + -5. Let p be d(l). Let k be 3/p*6*-1. Solve -o + 5 = 0, k*g + 26 = -0*g + 4*o for g.
-2
Let c(r) = 4*r - 4. Let k be c(6). Suppose -k = 4*m, -5*m - 11 = 5*f - 31. Solve 5*z - f = -2*s, 0*s + 1 = 3*s - 5*z for s.
2
Suppose 4*u - 3 = 5. Solve 4*p + 19 = -4*j - 9, j + 10 = -u*p for p.
-3
Suppose 3*m + 12 = 0, -5*k + 0*m - 4 = m. Solve 3*q = -g - 3, k = -5*g - 4*q - 3 - 1 for g.
0
Let x be 20/(-6)*39/(-26). Let m be (18/(-15))/(-3)*x. Solve -2*u = -3*f - 5, 0 = 5*u - 5*f - m - 3 for u.
-2
Let t(l) = -l**2 + 0*l**2 + 26 + 2*l**2 - 30 + l. Let f be t(5). Solve 4*z = -2*x - 0*x + f, -10 = 2*x - 5*z for x.
5
Suppose -2*a - 4 + 10 = 0. Solve 2*u = -4*r - 14, 7*r - u + 23 = a*r for r.
-5
Let k(f) = -8*f - 86. Let i be k(-11). Solve y + 4*j - 21 = -4*y, -y + i*j = -7 for y.
5
Let u be (3/3 - -1) + 1. Let n be ((-1)/3)/(u/(-27)). Solve -2*f = -n*t - 8, -5*f - 4*t + 3 = 6 for f.
1
Suppose -3*w