= -h**2 + 6*h - 4. Suppose -8 = 3*o - 5*o. Let k be l(o). Solve -k*z + 5*z - 1 = 0 for z.
1
Let c(g) = g**2 + 9*g - 7. Let v be c(-10). Suppose -v*s - s = 0. Solve -z - z = s for z.
0
Let w = -7 - -12. Let o(t) = -t**3 + 6*t**2 - 3*t - 6. Let b be o(w). Suppose -g + 10 = b*g. Solve -g*u + 0*u = 0 for u.
0
Let g(k) = -k**3 + 5*k**2 + k - 5. Let x(m) = m + 19. Let t be x(-14). Let a be g(t). Solve -j - 2*j = a for j.
0
Let v(a) = -10*a**3 + a. Let w be v(-1). Let z(s) = -s**3 + 8*s**2 + 10*s - 3. Let j be z(w). Let u be 15/j + 2/(-4). Solve 0 = u*n - 4*n + 4 for n.
2
Let a(g) = g**3 - 8*g**2 + 2*g - 11. Let j be a(8). Solve 3 = -v + j for v.
2
Let o = 54 - 50. Solve 3 = -o*q - 13 for q.
-4
Let p(k) = -k**2 - 6*k + 3. Let m be p(-6). Solve 4*q - 3*q = -m for q.
-3
Let i = -5 - 0. Let o(u) be the second derivative of -2*u**3/3 - 5*u**2/2 + u. Let a be o(i). Solve -2*y = y + a for y.
-5
Suppose 5 = -3*z - 2*f, -7*f + 2*f = 3*z + 17. Solve 0 = x + z for x.
-1
Let o be 208/20 + 2/(-5). Let u = o + -6. Suppose u*m - 3*m = 2*x - 7, -2*x + 8 = -2*m. Solve -x*l = 2 + 7 for l.
-3
Suppose 0 = -2*d - 5*q + 12, -5*d = -8*d - 4*q + 11. Let l(m) = -m - 9. Let x be l(-9). Solve x = -y - d - 3 for y.
-4
Let r(q) = q**3 + 5*q**2 + 4*q + 3. Let d be r(-4). Suppose 20 - 5 = d*v. Let g = -10 - -14. Solve -g = -v*t - 29 for t.
-5
Suppose 5*g = -0*g + 5*k, 5*g - k = 4. Solve -j + g = -3 for j.
4
Suppose 4*g - 8 = 2*g. Suppose u = g*u - 15. Solve -u = 4*w + 3 for w.
-2
Let v(t) = t + 1. Let h be v(1). Suppose -d - 4*d + 20 = 0. Let g be h*-1*(-10)/d. Solve -f = -2*f + g for f.
5
Suppose 0*q = 2*q - 14. Let h(f) = f**3 - 6*f**2 - 6*f - 7. Let m be h(q). Let x(p) = -p**3 + p + 2. Let n be x(m). Solve -1 + 3 = -n*k for k.
-1
Let z = 0 + 1. Let u = z - -3. Solve -1 = u*h + 11 for h.
-3
Let c = -11 + 21. Let l(t) = 6*t - 1. Let k be l(-1). Let j = c + k. Solve -1 = -j*i + 8 for i.
3
Suppose -3*u + 6 + 9 = 0. Suppose 2*m - u = 5. Solve 0 = c - m*c for c.
0
Let v = -7 - -7. Suppose -4*k = -v*k. Solve -g = -k*g + 3 for g.
-3
Let j(l) = -l + 34. Let d be j(14). Solve 6*r = r - d for r.
-4
Suppose 3*d - 66 = 2*t, 3*d + 2*t - 48 = -2*t. Solve -3*h - d = 2*h for h.
-4
Let c be -2*(2 + -1) - -1. Let k = c - -4. Solve 5 = -2*y - k for y.
-4
Let t(m) be the first derivative of m**3/3 + 3*m**2 - 7*m + 3. Let r be t(-5). Let n = r - -20. Solve 0 = -5*d + d - n for d.
-2
Suppose 3*l + 6 = s + 4*l, -36 = -2*s + 4*l. Let x be ((-9)/(-12))/(2/8). Solve -x*b + b = s for b.
-5
Let q be (-3)/(-12) - (-57)/12. Suppose 4*k + 0*k + 8 = -4*b, -2*b = -q*k + 4. Suppose 3*y = 2*y + 4. Solve -y*u - u = k for u.
0
Suppose 5*f = -l - 103, -35 = -5*f + 3*l - 126. Let g be f*3/(-9)*3. Suppose -c = 3*c - g. Solve 2*w - w = -c for w.
-5
Let f = -113 - -115. Solve -2*n + 6 = f for n.
2
Let l = 4 - 2. Suppose 0 = 102*z - 98*z - 52. Solve 5*u = l + z for u.
3
Suppose 4*j = -2*r - 16, 4*r + 2*j = -2*j - 12. Suppose 0*f + 2*q = f + 5, -q - 5 = -r*f. Suppose 0 = -k + 2*x - 2 + f, 3*k - 9 = 3*x. Solve k*h = h for h.
0
Suppose 5*a = 33 - 3. Solve 0 = a*j - 2*j + 4 for j.
-1
Let s(t) = -t**2 - 8*t + 3. Let u be s(-8). Solve 0 = 3*r - 6*r + u for r.
1
Suppose -9*i = -8*i. Solve -y + 0*y = i for y.
0
Suppose 8*w - 3*w = 0. Suppose -3*b + 0*v = 3*v + 3, w = v + 3. Solve 8 = b*k - 6*k for k.
-2
Let c = 5 - 2. Let x = 5 + -5. Suppose s + x = c. Solve p - 8 = -s*p for p.
2
Let f(m) = 5*m - 5. Let i be f(4). Solve -3*c + 8*c = i for c.
3
Let q = -1 - -8. Suppose -2*s + q + 1 = 0. Let l = 0 - -2. Solve -2*j - l = -s for j.
1
Suppose 25 - 7 = 3*v. Suppose -5*p + p + 32 = 0. Let b be (4/p)/((-1)/(-6)). Solve 6*w - b*w - v = 0 for w.
2
Let q(l) = 4*l + 4. Let n be q(4). Solve n = 3*w - 8*w for w.
-4
Let g(n) = 4*n - 11. Let z be g(8). Suppose j - k = 2, -5*j + 3 + z = 2*k. Solve j*q = q for q.
0
Let q(i) = -i**3 - 8*i**2 - 6*i + 9. Let u = -9 - -2. Let j be q(u). Let y(n) = n**2 + 15*n + 40. Let b be y(-12). Solve 0 = j*o - b - 6 for o.
5
Let l(k) = -1. Let j(q) = -q + 12. Let w(d) = -j(d) - 6*l(d). Let v be w(6). Solve -u = -v*u + 1 for u.
-1
Suppose -f + 6 - 4 = 0. Suppose 7*u - f*w = 6*u, -u - 2*w = 0. Let r = 11 - 9. Solve -2*t + r = -u for t.
1
Let q = 4 - 1. Suppose -y = q*p - 15, 0*y - 2*p = 5*y - 10. Solve y = n + 1 + 4 for n.
-5
Suppose -15 = -5*r + 5. Suppose f + r*f = -4*m, -4*f + 2*m + 26 = 0. Solve -f*v = v + 10 for v.
-2
Let j(q) = 2*q**2 - 2*q - 2. Let w be j(2). Suppose w*r + 5 = -y - 0*r, -5*r = 4*y + 5. Let a(m) = m - 2. Let i be a(14). Solve -y*s = -s - i for s.
3
Let k(y) = -y**3 + 6*y**2 + 2*y - 9. Let o be k(6). Solve -o = x - 2 for x.
-1
Let t = 29 - 13. Let b(p) = p**3 - 5*p**2 + 4*p + 3. Let a be b(4). Solve -a*q - 1 = -t for q.
5
Suppose 5*w - 4 - 6 = 0. Solve w*y = 5*y for y.
0
Suppose o = 2*o - 3. Solve 3 - 12 = o*i for i.
-3
Let d(q) = 2*q**2 + 9*q + 4. Let o be d(-4). Solve -2*w + 4 = -o*w for w.
2
Let n(a) = a + 6. Let j(w) = -1. Suppose 5*p + 3*d + 5 = 0, p + 8*d = 3*d - 1. Let k(m) = p*n(m) + 2*j(m). Let t be k(-8). Solve t = -4*f + 24 - 8 for f.
4
Let n = 14 + 24. Solve 5*u + n = 13 for u.
-5
Suppose -3*p + 1 = 5*r, 3*r - 3*p - 19 = -2*r. Solve -r*w - 1 = -3 for w.
1
Let y(c) = c**2 - c - 3*c + 0*c**2 + 6 - 2*c**3. Let u(n) = n**3 + 2*n - 3. Let z(k) = 5*u(k) + 3*y(k). Let b be z(2). Solve -4 = -b*s - s for s.
1
Suppose 23 = 6*w - 1. Solve w*i + 1 = 21 for i.
5
Let y(j) = -j**3 - 6*j**2 + 5. Let p be y(-6). Suppose 0 = -3*k + 2*k + 12. Let u = k - 8. Solve -u*g + 3*g - p = 0 for g.
-5
Suppose 5*d + 0*d = 0. Solve 2*k + k - 12 = d for k.
4
Let v be 9*(-4)/(-3 - 1). Solve 2*x + v = -x for x.
-3
Let s(u) = u**2 - u + 2. Let h be s(2). Let k = 8 - h. Solve -7 + 19 = k*c for c.
3
Suppose -11 = 5*p - 3*f - 36, 2*f = -4*p - 2. Let b = 10 - 7. Let y = p + b. Solve y*k = -0*k for k.
0
Suppose 0 = -3*c + 2*c + 2. Let q = -2 + c. Solve q = 4*x + 4 - 16 for x.
3
Let j = 12 + -5. Let d(b) = 2*b**2 + 10*b - 3. Let v be d(-5). Let q = j + v. Solve 0 = -s - q*s + 25 for s.
5
Suppose 2*g + 3*i + 3 = -g, 12 = -4*i. Solve -q - 3 = g*q for q.
-1
Let i = -3 + 8. Let o(d) = d**3 - 4*d**2 - 4*d - 2. Let b be o(i). Solve -b = n - 0*n for n.
-3
Suppose 0 = -5*l + y + 145, -3*y - 3 + 18 = 0. Let g be l/7 + (-4)/14. Suppose n + g = 2*n. Solve 2*u + n = 4*u for u.
2
Let b(z) = -8*z**3 - z**2. Let f be b(-1). Let j be 14/(-8) - 1/4. Let m = j + 3. Solve m - f = 2*a for a.
-3
Let n be -6*(4 - 52/12). Solve n*a + 2*a = 4 for a.
1
Let p = -72 + 74. Solve b = -p*b for b.
0
Let a be (0/1 - -2) + 8. Let z be 92/9 - a/45. Solve -4*m = m + z for m.
-2
Suppose -4*r - 3*p + 48 = p, -3*r + p + 24 = 0. Suppose 5*t - 11 - r = 0. Solve 2*j + t = -0*j for j.
-2
Let q(s) = 2*s**2 - 6*s. Let u be q(5). Solve -3*o + u = o for o.
5
Suppose -4*u + 2*p + 32 = 0, 3*p + 41 = u + 4*u. Let a = -6 + u. Solve 4*d = -a + 17 for d.
4
Let z be ((-5)/(-3))/(3/9). Suppose -7*h + 3*h + 20 = 0. Solve 5*o = -z - h for o.
-2
Let k be 1/(-4) + 25/20. Solve 5*f - k = -11 for f.
-2
Let m(q) = q**3 + 5*q**2 - 6*q + 2. Let v be m(-5). Suppose 4*x + 4*n - v = 0, -2 = x - 0*n - n. Suppose 6*g = g. Solve -3*a + x + g = 0 for a.
1
Suppose 0 = -7*o + 2*o + 10. Solve -o = -2*x + 4 for x.
3
Suppose -20*l + 21*l - 5 = 0. Solve -4*m = -l*m for m.
0
Suppose -9 = -5*j + 1. Suppose 0 = -j*b - 0*b. Suppose b*p = -p + 2. Solve 4*t + 4 = p*t for t.
-2
Let p be 2 + 0 + (-32)/(-4). Let j be (-3)/(-1) - 27/9. Solve -u - u - p = j for u.
-5
Let j = -38 - -38. Let b = 27 + -19. Solve j = 2*g + 2*g + b for g.
-2
Let b(z) = z - 2. Let x(m) = -5*m - 1. Let w = -4 + 2. Let u be x(w). Let o be b(u). Solve o*t = 2*t + 5 for t.
1
Let s(c) be the second derivative of c**5/20 + c**4/3 + c**3/6 + 2*c**2 + 8*c. Let n be s(-4). Solve n = -a + 5 - 3 for a.
2
Suppose 4*l + 5*y = 12 + 13, -2*y + 10 = 5*l. Solve l = 4*f + f + 15 for f.
-3
Let l = 15 - 9. Suppose 4*m - 18 + l = 0. Solve 5 = m*q - 4 for q.
3
Suppose 8*h = 12*h - 24. Suppose -2 = -4*f + h. Let g(k) = -k**2 + 7*k. Let d be g(6). Solve -f*l - 12 = -d*l for l.
3
Suppose -25 = 20*m - 25*m. Solve -4*a = -9 + m for a.
1
Suppose 37 = 5*a - r, -8*r = -3*a - 4*r + 12. Solve -4*j + a + 4 = 0 for j.
3
Let n(g) = -g**2 + 6*g - 5. Let q be n(4). Suppose v = 8 - q. Solve v*i = -11 - 4 for i.
-3
Let r = -17 - -20. Solve -4*w = -5 - r for w.
2