 6*h - n = 0. Solve 0 = -5*k + 4 + h for k.
1
Suppose 2*y = -o - 2*o + 10, 3*o - 34 = 4*y. Suppose 0 = 3*i + w - 8, -3*w = -2*i + 4*i - 17. Let f be (1 - i) + 0/2. Solve -3*k - o = -f*k for k.
-2
Let j(t) = -4*t**3 + 2*t + 1. Let x be j(-1). Suppose -3*i + 63 = x*d, 5*i = -0*d - 3*d + 111. Suppose -i = -0*s - 4*s. Solve s*k = 3*k - 3 for k.
-1
Let l(b) = 2*b - 9. Let d be l(6). Let c = -2 - 0. Let r(t) = -t**3 - 2*t**2 - t + 1. Let u be r(c). Solve 0*j - u*j - d = 0 for j.
-1
Let m(l) = l**2 + 7. Let p be m(0). Let n = 11 + -7. Suppose 0*r + 27 = 3*r. Solve -p - r = -n*y for y.
4
Suppose 10*i = 3*i + 49. Solve -9*z + 10 = -i*z for z.
5
Let a be 7 + (-1 - -2)*-2. Let h = a + -5. Let v = h - -2. Solve -3*l = -10 - v for l.
4
Let l be -2*(-1 - (-3 + 1)). Let o = 5 - l. Let b = o + -4. Solve 0 = 4*u - b + 7 for u.
-1
Let j be (-2)/7 - (-90)/21. Let g be 18/j*38/3. Suppose -x = w - 23, 2*x - g = -x + w. Solve 3*z - x = -2*z for z.
4
Let h = 2 - 2. Solve 2*s + s + 3 = h for s.
-1
Let w = 17 - 12. Suppose 10 = 3*z - 2*n, 3*n = -w*z + 8 - 4. Solve 6 = -d + z for d.
-4
Let g = 8 - 6. Solve -g*u = -u for u.
0
Suppose 5 = 4*s - 3. Let m(y) = y + 4. Let q be m(6). Let v be -1 - q/(-3)*3. Solve -s*g - 1 = v for g.
-5
Let g = 10 + -10. Let k be g*(3/(-6) + 1). Solve -6 = 3*q - k*q for q.
-2
Suppose 14 = 4*v - 6. Solve 0 = -v*h - 16 + 6 for h.
-2
Suppose -2*f - 3*z + 4 = 0, 2*z - 4*z = 4. Solve 7 = f*h - 18 for h.
5
Let p(w) = -5*w - 1. Let i = -6 - -5. Let v be p(i). Solve 0 = 6*o - 2*o - v for o.
1
Suppose 15 = -6*w + 87. Solve -4*f + w = -0 for f.
3
Let r(q) = -2*q**3 - q**2 - 3*q - 3. Let v be r(-2). Solve -v = -3*b - 0 for b.
5
Suppose -4*i + 5*l + 11 = 0, 3*i - 11 = -0*l + l. Solve i*w + w + 15 = 0 for w.
-3
Let o(g) = g + 9. Let m be o(-5). Solve m*d = 6*d + 2 for d.
-1
Let t = 10 - 10. Suppose t = -x + 2*g + 8, -2*x + 0*g = 4*g + 8. Solve -5*u + x*u = -9 for u.
3
Let o(d) = 5*d**2 - 2*d. Let z be o(-2). Suppose 4*u - 9*u - m = -z, -2*m - 22 = -4*u. Suppose 0*v = -v + 1. Solve h + v = u for h.
4
Let p(c) = c**3 + c**2 + 3. Let q be p(0). Solve m = 2*m - q for m.
3
Let b(r) = r**2 - 6*r + 9. Let q be b(7). Let h be 44/q + (-2)/(-8). Let s = -3 + h. Solve s*m - 20 = -4*m for m.
5
Let g be 1 + (0 - (1 + 0)). Suppose -3*q - q - 8 = g. Let z be 4*q*(-3)/4. Solve -2*y + z = -0*y for y.
3
Let k(g) = g + 18. Let l be k(0). Let x be 1*l*2/3. Suppose 5*j - x = -r, -2*j + 7*j = -3*r + 16. Solve m + m - j = 0 for m.
1
Let t be (-14)/6*(-5 + -1). Let v be (-9)/5 + (-4)/20. Let y(s) = -s**2 - 3*s - 1. Let q be y(v). Solve -5*f + t = -q for f.
3
Suppose 5*j - 3*c = -2, c = -c + 8. Let z = 4 - j. Solve -z*r + 20 = 2*r for r.
5
Let g be (-2)/1 + 6/(-9)*-3. Solve 0 = x - g*x for x.
0
Let g = 0 - -2. Suppose 0 = -5*k + 2*y + 33, -2*y + 4 = k - 5. Let n(u) = u**3 - 5*u**2 + 3. Let b be n(5). Solve -b = g*x - k for x.
2
Let h = 2 + -2. Solve 5*k - 8 - 12 = h for k.
4
Let b be 36/27*6/4. Solve 3*y - b*y - 3 = 0 for y.
3
Let h(u) = 9*u**3 + u**2 - u + 1. Let r be h(1). Suppose 6 = s + y, s + 4*y - r = 2*y. Solve -s*c - 2 + 0 = 0 for c.
-1
Let s be (-2)/((-4)/1)*2. Suppose 3*b + s = -4*r - 0, -3*b + 23 = -2*r. Solve -b*k - 4 = -14 for k.
2
Let n be (-15)/((12/(-8))/1). Solve 4*s - n = -s for s.
2
Let r(c) = 3*c**2 - c - 2. Let i = 5 - 0. Suppose i*n = d + 18, 5 = 4*d + n - 7. Let h be r(d). Solve -4*l = h + 8 for l.
-4
Let p = -5 + 7. Suppose -p + 5 = 3*k. Solve k = -5*w + 16 for w.
3
Let n = -1 + 4. Suppose 4*j - 12 = 2*t + 2*t, 0 = 2*t + n*j - 19. Solve t - 4 = -s for s.
2
Let q be -2 + ((-2)/1 - -3) - -1. Solve q*c + 2*c - 4 = 0 for c.
2
Let r(u) = 9*u - 1. Let c be r(1). Solve 4*a - 8 = c for a.
4
Let r be ((-1)/(-4))/(4/48). Solve 4 = 2*k - r*k for k.
-4
Suppose 0 = 6*r + r - 14. Solve r*t - 3 = t for t.
3
Let f(u) = u + 16. Let v be f(-7). Suppose -3*c = -c - 6. Suppose 0 = -5*r + c + 12. Solve -r*q + 0 = -v for q.
3
Let w(m) = -7*m - 11. Let a(s) = s + 1. Let f(b) = 5*a(b) + w(b). Let g be f(-5). Suppose 5 = g*i - 0*i - x, 0 = -5*i - 3*x - 15. Solve 0 = 3*y - i - 6 for y.
2
Let t = 12 + -10. Solve t*o = -o - 12 for o.
-4
Let j = 189 - 181. Solve -2*o = 2*o + j for o.
-2
Let g(j) = j**2 + 3*j - 2. Let k be g(-2). Let u = 2 - k. Suppose -2*w = -5*w + u. Solve w*t = 3*t - 5 for t.
5
Suppose -3*v + 0*t + 23 = -2*t, 3*t = -3. Suppose 0 = v*c - 3*c. Solve 0 = -c*q + 4*q for q.
0
Suppose 0 = -2*q + 15 + 75. Let x(h) = h**2 + h - 10. Let z = 12 + -18. Let o be x(z). Solve o - q = 5*b for b.
-5
Let q(c) = -c**3 + 12*c**2 - 10*c - 13. Let z be q(11). Suppose -9 + 24 = 3*o. Let j = o + z. Solve -2*v = -5 - j for v.
4
Let y be (-4)/(1*-4 + 3). Suppose 0 = -y*p + 5*p - 2. Suppose p*b + 10 = 4*b. Solve -1 = -b*w - 11 for w.
-2
Suppose -a - 2*a + 4 = z, 12 = 3*z - a. Solve -2 + z = 2*q for q.
1
Suppose 3 - 13 = -5*b. Let q(f) = -7*f**2 + 3*f + 2. Let t be q(-2). Let o = -17 - t. Solve o = -7*l + b*l for l.
-3
Suppose -104 = 3*r + 16. Let i be (6/8)/(2/r). Let l = -11 - i. Solve 0*n + l = -2*n for n.
-2
Let n(p) = p - 11. Let k be n(13). Suppose -5*i + 19 = -3*r, 4*i = -k*r + 5 - 3. Solve -2*d - 10 + i = 0 for d.
-4
Let i be 1 + 10 - -1 - 2. Let m = 15 + -17. Let p = m + i. Solve 0 = -2*b - 4 + p for b.
2
Suppose -6*l + 4*l = 10. Let s be l/(-2) - (-2)/(-4). Let v = -2 - -4. Solve -2 = -v*y + s for y.
2
Let p(c) be the third derivative of -1/120*c**6 + 0 - c**2 + 1/2*c**3 + 0*c + 1/15*c**5 + 5/24*c**4. Let y be p(5). Solve -y*o + 10 = 4 for o.
2
Suppose n + 2*s - 10 = -0*s, -15 = -3*n - s. Solve -n = w - 0 for w.
-4
Let s(w) = 2*w + 0*w - 4 + w**2 - 1 + 0*w**2. Let k be s(-4). Solve -20 = -k*v + 7*v for v.
-5
Let b(h) = 3*h - 3. Suppose 3 = 5*s - 7. Let f be b(s). Solve 0 = f*y + 7 + 8 for y.
-5
Let p(o) = o**2 + 10*o + 10. Let d be p(-9). Let z be d + (-3)/6*-2. Solve -x - 2 = -z*x for x.
2
Let z(r) = r**2 - 2*r + 2. Let u(l) = 0*l - l + 5*l**2 + 2*l. Let h be u(-1). Let g be z(h). Solve -4*n - g = 2 for n.
-3
Suppose 3*q = 24 - 0. Suppose 23 = 5*j + q. Solve -6*w = -j*w - 9 for w.
3
Let y(s) = 4*s**2 - 3*s + 2. Let l be y(3). Suppose 0 = 2*g + 7 - l. Solve -g = 3*w + 4 for w.
-5
Suppose 5*w + 5*k = -55, 5*k - k = -w - 8. Let m be (-3)/w - 22/(-8). Solve -m*z - 5 = 2*z for z.
-1
Suppose 4*y = -0 - 32. Let b be y/(-36) + (-25)/(-9). Solve 0 = -b*x - 6 - 0 for x.
-2
Let q(k) = -3*k**2 - 3*k - 1. Let b be q(-2). Let w be -1 + (-2)/(2/b). Suppose -23*g + 2 = 2. Solve g = 3*u - w*u for u.
0
Let g(m) = -2*m - 2. Let d be g(-3). Suppose -2*j + 9 = 1. Suppose -j*l + l = 0. Solve -d*z + z = l for z.
0
Let d be (-2)/3 + 28/6. Suppose -2*s = -d*s + 4. Suppose 2*c = 2*w - s*c + 4, -5*c + 44 = 4*w. Solve -w + 1 = p for p.
-5
Let f(w) = -w**3 + 7*w**2 + 2. Let z be f(7). Solve 7*h - 10 = z*h for h.
2
Let g = 40 + -38. Solve -4*n = -g*n + 4 for n.
-2
Let i be 0 - 1 - (-5 - 1). Suppose i*t - t = 4. Solve 2*p - 5 = t for p.
3
Let x be (6/4)/((-1)/(-2)). Let n = x + 0. Solve w = 8 - n for w.
5
Let n be 3/(-9) + 32/6. Suppose n = 3*m - 1. Solve 2*j - 4*j = -m for j.
1
Suppose j = -j + 10. Solve j*d = -14 - 1 for d.
-3
Suppose 169*y - 167*y = 4. Solve -y*o = o - 9 for o.
3
Let w = 17 + -13. Solve -w*l + 2*l - 4 = 0 for l.
-2
Let t(s) be the second derivative of -s**4/12 - s**3/2 + s**2/2 - 4*s. Let l be t(4). Let z = l + 52. Solve -3*j - z = -10 for j.
-5
Let j(t) = -t + 9. Let z be j(7). Suppose 4*a = -3*h + 24, h - a + 7 = z*h. Suppose 0 = 4*q - 6*q + h. Solve q*w - 4 = -2*w for w.
1
Let a(r) = r - 6. Let q be a(0). Let t be (-2)/3 - q/9. Solve 0 = -2*w - t*w + 10 for w.
5
Suppose -5*i - 10 = -3*m + 8*m, 4*m + 7 = -5*i. Let c be 0/(i - (-1)/1). Suppose g = 5*q - 0*g - 11, -3*q + 17 = 2*g. Solve c = -q*y + 7*y - 4 for y.
1
Let r be (-36)/(-20) - 3/(-15). Solve 0*s + r*s - 10 = 0 for s.
5
Let p(m) = m**2 + 9*m - 5. Let n be p(-10). Suppose 0 = b - 1, -2*x - 10 = -n*x + 5*b. Solve -x*s = 5 - 0 for s.
-1
Suppose 92 = 4*w + 4*i, -4*w - 13 = -2*i - 87. Suppose 3*m = 5*g - w, g + 20 = 2*m + 6*g. Solve -4*h - 21 + 5 = m for h.
-4
Let b(o) = -o**3 + 5*o**2 - 4*o + 2. Let s(f) = 29*f**3 + 2*f - 1. Let q be s(1). Let n be 108/q - 2/(-5). Let z be b(n). Solve -z*i - 3 = -1 for i.
-1
Suppose 2*m = w - 15, 2*m + 12 = 4*w - 6. Let c be (-22)/1 - (-4 - -4). Let k = m - c. Solve 3*g = k - 0 for g.
5
Suppose -11*