d + 5*d + s = -5*h, 3*d = 2*h - 8 for h.
-2
Let q(y) = -y**2 + 6*y + 5. Let z be q(6). Suppose v = -z + 6. Solve -2*k = -4*c - 2, 3 = -c + 2*k + v for c.
0
Let c = 9 + 4. Let p = -6 + c. Suppose 0 = -p*q + 3*q + 8. Solve 4*b + 11 = -a - 0, -3*a + 7 = q*b for b.
-4
Let w be 1 - (3 + -1 - 17). Suppose 20 = -0*m - m + 5*y, -m - 5*y = -20. Suppose -b + 5*b = m. Solve b = 3*o - 6, 2*o - w = -3*a - 0*o for a.
4
Let a = 5 + -2. Let m be 5 - 1 - 4 - 0. Solve 5*t + a*d = -m*t + 3, -22 = -2*t + 4*d for t.
3
Let k(v) = v**3 - 3*v**2 + 2*v. Let r be k(4). Let s be (r/40)/(1/5). Solve 5*h + 3*b = -2*b + 25, s*h = -5*b + 23 for h.
1
Let p be (1*6)/(54/72). Solve 6*b = -h + b - 8, -b + p = 5*h for h.
2
Suppose i = -i + 20. Let r be (12/(-15))/((-4)/i). Solve -r*o - 5*v + 13 = -0*o, 0 = -4*o - v - 1 for o.
-1
Let v(a) = a**2 + 5*a - 8. Let q be 6 + (-2 - -1)*-1. Let f be v(q). Suppose -f = -4*s - 24. Solve m + 5*d = -s, -d + 22 = -4*m - 6*d for m.
-3
Let j = -16 - -18. Suppose -3 = -j*z + 5. Solve 0 = 5*c + z*y - 7 - 5, 3*c + 3*y = 9 for c.
0
Let w = 101 + -60. Solve 2*u = k - 14, 0*k - 4*k + w = -5*u for u.
-5
Let m(q) = -q**3 + 5*q**2 - 4*q. Let f be m(4). Let j = f - 0. Solve 0*a + a - 5*x + 23 = j, 0 = -3*a - 4*x + 7 for a.
-3
Suppose 0 = -4*t + 2 + 2. Solve x = -v + t, x + v = 3*x + 13 for x.
-4
Let q = 2 + 1. Solve -a = 2*s - 4*s + 1, -q*s - 2*a = -5 for s.
1
Suppose 5*r = r + 5*y + 5, -1 = -r + y. Suppose 3*l = 2*x - 3, x - 3 = 3*l - r. Solve -3*p - t + 16 = x, 4*p - t - 19 = -0*p for p.
5
Let i = -20 + 22. Solve 2*n = n - 3, 6 = -3*x - i*n for x.
0
Let g(q) = -q - 1. Let x be g(-3). Suppose u = -x*u - 45. Let l be u/(-2)*(-12)/(-18). Solve 2*w = -a - 14, -3*w - l*a + 2*a - 27 = 0 for w.
-5
Let p(o) = -o**3 + 6*o**2 - 2*o - 7. Let i be p(5). Solve 3*w + 1 - i = -4*r, -w = -4*r - 13 for w.
5
Suppose -26 = -5*t - 1. Let z be -1*(16/4 - 9). Solve -2*w = 5*m - 9, -7*w = -t*m - 2*w - z for m.
1
Let t = 33 - 28. Solve 0 = -5*d - t*i - 5, 29 - 9 = -4*i for d.
4
Let x = 15 - 10. Suppose -2*i - 4*m + 12 = -2*m, -m - 4 = -4*i. Solve -5*a - x = 0, -3*a + i = 2*r + 5 for r.
0
Let b(g) = -g**3 - 5*g**2 + g + 2. Let l be b(-5). Let r be 14/l*(-42)/49. Solve 1 - 7 = -r*u - 2*h, 5*u - 5 = -5*h for u.
2
Suppose 0 = 3*y + 3*c - 12, 4*c = -0 + 4. Solve -4*t + 11 = g, -2*g - y*g = 3*t - 21 for g.
3
Let x = 119 + -114. Solve -5*g = 4*b + 40, -5*g + x*b + 0*b + 5 = 0 for g.
-4
Let l be ((-60)/9)/((-4)/6). Solve -z = -3*g - g + l, 3*z = 2*g - 10 for g.
2
Let j(p) = -p**3 + 4*p**2 + 4*p - 6. Let o(t) = t**2 - t - 1. Let x(q) = j(q) + 2*o(q). Let k be x(6). Solve -25 = 5*u + c, k*u + 10 = 2*c - 10 for u.
-5
Let u(s) = 3*s - 4. Let v be u(2). Solve t = 1 + 1, -v*m - 10 = -t for m.
-4
Let f(o) = o**2. Let d be f(0). Let g = 46 - 26. Suppose 0 = -5*m + m + g. Solve d = y + 3*r + 4, m*y + 4 = 2*r - 16 for y.
-4
Let l = 265 - 263. Let f be (3/(-2))/((-2)/4). Solve l*k - 3*u = f*k, -3*k - 5 = 4*u for k.
-3
Let r(i) = -i**3 - 7*i**2 - 7*i - 4. Let x be r(-6). Suppose 11 + 5 = 4*k. Solve 5*w - 23 = 2*v, -2*w - x = v - k for w.
3
Let m be (-1)/(-5) - (-32)/(-10). Suppose 0 = 6*a - 18 - 18. Let g = a + m. Solve -6 = g*s - 3*v, s + 13 + 1 = -3*v for s.
-5
Let b = -76 + 79. Solve 3*z = -5*q - 7, 4*z + 3*q + b = z for z.
1
Let v = -4 - -7. Solve -s = v*s - n - 10, -s + 5*n = 7 for s.
3
Let k(t) = -4*t**3 + t**2 + t - 1. Let j be k(-1). Solve 3*c + j*u - 2 - 4 = 0, u - 3 = 0 for c.
-1
Suppose 0 = 2*p + p. Solve -2*r + 5*c + p = 15, c = 1 for r.
-5
Let v(p) = 10*p + p - 4*p**2 + 3*p**2 + 2*p**2 + 12. Let k be v(-10). Solve 0 = 5*z - 4*j - 15, j + j + 8 = k*z for z.
-1
Let y = 689 + -686. Let k(n) = 2*n**2 + 5*n + 3. Let o be k(-3). Suppose -2*v + o = -2. Solve -v*c - y*z - 8 = -4*z, 2*z - 8 = 0 for c.
-1
Let c = 106 - 105. Solve -c = d - 3*q + 2, 4*d = -5*q + 5 for d.
0
Suppose 2*m - 7*b = -2*b, b = 4*m. Solve 4 = t, 3*v + m*v = -5*t + 26 for v.
2
Suppose 3*l = a + 4*l - 2, -l = -4*a + 28. Let j = a + -5. Suppose 4*q + 2 = w, 5*q - 2*w = -3 - j. Solve q = -5*n + 5*r, n + n = 4*r + 6 for n.
-3
Let a be 30/9 - 2/6. Let x(b) = b - 1. Let l be x(a). Suppose -l*m - 3*m + 10 = 0. Solve 3*c + 3*v = -m*v + 13, 0 = -v + 5 for c.
-4
Suppose -2 = 2*h - 2*j, -h + 4*j = h + 4. Suppose 2*p + 0*p - 6 = h. Solve -w = 5*b - 20, -w - 3 - 1 = -p*b for b.
3
Suppose z - 11 = -0*z. Solve b = -j + 5, -5*b - 3*j + 28 = z for b.
1
Let x = -25 - -34. Solve -2*p - 2*g = -6, -2*g - x = -5*g for p.
0
Let f(p) = 3*p**2 + 3*p. Let o be f(-2). Let m(d) be the first derivative of d**2 - 6*d - 6. Let c be m(4). Solve k - 18 = -c*j - 4*k, 2*j + 2*k = o for j.
-1
Let u = -5 + 8. Solve -c = -h - 1, u*c = 4*h + 1 + 7 for c.
-4
Suppose 3*p + 2 - 20 = 0. Let t(w) = -w**2 + 9*w - 6. Let d be t(p). Suppose -4*m = -m - d. Solve -h - 7 = 3*n, 3 = n + m*n - 2*h for n.
-1
Suppose -t + 3 + 2 = 0. Suppose t*h + 28 = 4*u, -2*h + u - 13 = -0*h. Let a be (h/3)/((-14)/21). Solve 0*w - 2*w - 11 = -3*y, w = a*y - 13 for y.
3
Suppose -8*z + 7*z + 3*s = -31, -5*z + s + 99 = 0. Solve z = 3*g - l, -2*g - 2*l + 26 = -6*l for g.
5
Let i = 4 - 4. Suppose 4*r - 24 = -i*d - 4*d, 5*d + 2*r = 21. Let a = d + -1. Solve 5*j - a = -3*h, -2*h + 0*h = 5*j + 2 for j.
-2
Let c(v) = v + 8. Let l be c(-3). Suppose -5 - l = -5*j. Let s = -30 - -52. Solve a + a + 31 = -5*r, -4*a - j*r - s = 0 for a.
-3
Let k = -3 - -5. Suppose -w - 44 = 5*t, t - 5*w - 8 = 4. Let x be 58/3 + t/(-12). Solve 3*d = k*c + d + 8, -4*c = -5*d + x for c.
0
Let a(v) = v. Let f be a(2). Let p = 2 + f. Solve 0 = 4*c + p*h + 4, -38 + 14 = 4*c - h for c.
-5
Let i be -3 - (-3 - -4)/(-1). Let x be i + 0 + 3/1. Solve -4*t + 4 = -w, -x = -6*w + w - t for w.
0
Suppose 0*v + 40 = 5*v. Let z = 12 - v. Let q(i) = -i**2 + 6*i - 3. Let r be q(4). Solve -z*b - x - 15 = 0, 2*b + 30 = b + r*x for b.
-5
Let q be (-4)/(-2)*(-22)/(-4). Suppose -3*s - 2 = -q. Solve 0*r + 3*r = -2*o + 18, -5*r + 29 = s*o for o.
3
Suppose -2*f - 10 = -2*k, -5*k + 4 = 2*f - 14. Solve -4 = -2*n, k*n - 25 + 2 = -5*a for a.
3
Let u(c) = c**2 - 4*c - 1. Let q be u(5). Let y be 2*(6/q - -1). Suppose 2*a - 7 - 25 = -3*p, -1 = -a. Solve 32 - p = y*d - 3*n, 4*d - 4*n - 24 = 0 for d.
2
Suppose 23 = 3*a - 4*k + 2*k, 0 = 5*a + 3*k - 13. Suppose 5*q + 4*h - 8 = 0, -h - 3 + 5 = -3*q. Solve q = -w - w - a*n - 27, -5*w = 2*n + 15 for w.
-1
Let u(v) = -v + 26. Let q be u(21). Solve 4*a - 3*i = -q*i + 4, -2*a + 2 = 4*i for a.
1
Let d be -2 - (3 + (-14 - -2)). Suppose 3 - d = -j. Solve p + 2*a = a, -j*a = p + 3 for p.
1
Let x(h) = -h**3 - 4*h**2 - 3*h + 4. Let q be x(-3). Solve -q*v = -4*f + 8, 2*v = 4*f + 6*v + 32 for f.
-3
Let y(u) = -u**3 + 5*u**2 + 3*u - 1. Let i be ((-15)/(-6))/(2/4). Let s be y(i). Solve 4*f - s = -n, 3*f - 3 = -0*n + 3*n for n.
2
Let j be (-43)/(-2 - 2/(-2)). Let q be (5 - -1)/(2/(-9)). Let h = j + q. Solve -18 = -5*a + 4*p + 2, p + h = 4*a for a.
4
Let r(d) = -d**2 - 6*d + 19. Let a be r(-8). Let i be (0 + (-10)/(-4))*2. Solve i*m + 11 + 4 = 5*g, -2*m - 6 = -a*g for g.
0
Let w = 5 - 0. Suppose -w*b + 12 = -2*b. Solve 0 = d - 2*u + b, 0*d - 2*d = 2*u + 8 for d.
-4
Let l(t) = 8*t - 4*t**2 + 0*t + 3*t**2 + 6*t. Let x be l(14). Solve x = -a - 3*a - 2*q + 4, 0 = 5*a + 4*q - 8 for a.
0
Let s = -1 - -4. Suppose -2*n + s*n = 0. Let x be -2 - 26/(n + -1). Solve a - 5*u + x = 0, -2*a - 4*u - u = -27 for a.
1
Suppose 5*t - 29 = 2*q, -2*q + 5*q - 4 = -2*t. Solve 0 = -i - 2*z - 7, 6 = 2*z - t*z for i.
-3
Let l be -1*(0/(-2) - 1). Suppose 0*i + i = 0. Suppose 9*z - 5*z - 20 = 0. Solve n = l, z*w + 8 = -i*w + 3*n for w.
-1
Let s be (50/(-15))/(4/(-6)). Let l = 7 + -12. Let x = l + s. Solve -n + 3*r - 2*r - 2 = x, 4*n + 22 = -3*r for n.
-4
Suppose 0 = 2*l + 7 - 5, s - 3 = -4*l. Solve -16 = -2*w + 4*b, w + 2*b + 19 = s for w.
-2
Suppose -31 = -4*l + 2*x + 15, x + 50 = 5*l. Solve 3*o - 11 = -b - 0, -3*o + l = 3*b for o.
4
Suppose 0 = 2*i - 5*i + 6. Suppose 0 = h - r - r - i, -46 = -5*h + r. Suppose 5*d + 20 = 0, -q - 3*d - 1 = -2*d. Solve q*k + w = -k - h, k = w for k.
-2
Let u(j) = -2*j**3 - 4*j**2 - 2*j. Let a be u(-3). Let h be (-2)/5 + a/10. Solve -25 = -5*d + h*m, 0*m - 5 = -d - 3*m for d.
5
Let z(h) = -h + 2. Let n(c) = -2*c + 4. Let m(w) = 2*n(w) - 5*z(w). Let t be m(5). Solve t*i = 3*y - 12, -3*y + 6 + 12 = -5*i for i.
-3
Let d b