n be h(8). Solve -n*c = -6*c + 16 for c.
4
Suppose 2*q = 6*q - 80. Suppose -2*n = -7*n - q. Let s be (5/(-4))/(n/16). Solve -20 = -l + s*l for l.
-5
Let t = -30 - -34. Let j = -4 + 7. Solve 0 = t*a - 17 - j for a.
5
Suppose 2 = 2*j + 2. Solve -3*t = -j*t for t.
0
Let d = 713 + 118. Let h be (-2)/9 + d/(-27). Let y = -19 - h. Solve -y + 0 = 4*o for o.
-3
Let s(f) = -2*f - 4. Let v be s(-3). Suppose -3*y - l = -63, -y + v*l + l + 11 = 0. Let x(u) = u + 5. Let q be x(-5). Solve y = -q*w - 5*w for w.
-4
Let c be (-4)/(-3)*(-5 - 91/(-14)). Solve c + 2 = 4*y for y.
1
Let s = -8 - -13. Suppose 7*y - 2*y + 80 = -s*i, -4*y + i = 44. Let r = 17 + y. Solve -r*b + 3*b = 2 for b.
-1
Suppose -22 = -2*m - 3*c + 32, 4*m = -4*c + 108. Let b(d) = d**2 + 8*d + 3. Let t be b(-8). Let h be 14/4*(-216)/(-63). Solve -m + h = t*s for s.
-5
Suppose 2 = -2*m, 5*m = 2*u + m - 14. Solve b - u*b = -20 for b.
5
Let s = -2 + 2. Solve s*c - 10 = 2*c for c.
-5
Let b(j) = 5*j + 1. Let q be b(-1). Let d = 6 + q. Solve -d*v + 1 + 5 = 0 for v.
3
Suppose 0 = -12*z + 7*z. Solve -3*s + 5 - 2 = z for s.
1
Let r(p) = p + 21. Let f be r(-13). Solve 0 = 4*c - 4 + f for c.
-1
Suppose 2*n - 70 = -5*o - 0*n, 2*n - 6 = -o. Let v be (-5)/((-10)/(-4)) - -5. Suppose c = -v*c + o. Solve -l = c*l for l.
0
Suppose 4*u - 71 = -5*b, 0 = -u - 0*u + 4. Suppose -24 - b = -5*h. Suppose -h*t + 4*f + 48 = -3*t, 4*f + 8 = -t. Solve -5*n + 7 = -t for n.
3
Let l = 8 - 6. Suppose 3*j + 13 = 3*z + 2*j, -z + 9 = l*j. Solve z*o - 3 = -13 for o.
-2
Suppose -3*v + 8 = p, -2*p - v + 11 = -0*v. Solve 3*r = p + 10 for r.
5
Let l be 88/14 + 6/(-21). Solve -j = j - l for j.
3
Let c be (-1)/(-3) + 44/(-6). Let d = -4 - c. Solve -2*w = -d*w + 4 for w.
4
Suppose -1 + 9 = 2*d. Suppose 12 = g - i, -34 = -3*g - 2*i + d*i. Let f be (8/g)/(4/200). Solve 5*h + f = 15 for h.
-5
Let b be (-17)/5 + (-6)/(-15). Let m be (1 + -1)/(2 + b). Suppose m = z + 1, p = -0*z + z + 4. Solve d - 2 = -p for d.
-1
Let w = -2 - -7. Suppose 6*r + 6 = 5*r - 2*i, -4*i = w*r. Solve -m - m = r for m.
-2
Suppose 20 = 2*q + 3*q. Let d(o) = -o - 7. Let w be d(-5). Let p be -3 + 2 + (-6)/w. Solve p*a - q = a for a.
4
Let o(c) = c**3 + 5*c**2 - 3*c - 3. Let s be o(-4). Let l = s - 22. Solve 0 = -y + l*y for y.
0
Let t(o) = o - 3. Let n be t(0). Let l be 1 + 6/n - -3. Suppose 0 = 3*u + 5 + 1, -3*u - 6 = 5*i. Solve -s - l - 1 = i for s.
-3
Let d be (1 + -2 - 1) + 5. Suppose -3*q + 18 = i, -d*i + 14 = 4*q - 3*q. Let o be (0 - 0/(-2))/1. Solve o*x + 15 = q*x for x.
3
Let l(r) = r**3 + 6*r**2 + 3. Let n be l(-6). Suppose 0*v = 5*v + 5*o + 10, -10 = -n*v + o. Solve 5 + 1 = -v*k for k.
-3
Let m be 2/(-4) + (-6)/(-4). Let f(q) = -q**2 - 13*q - 35. Let k be f(-9). Let c = m - k. Solve 0 = -n - c*n for n.
0
Let b = 2 - -1. Let g = -4 + 4. Solve b*h + h = g for h.
0
Let a = 12 + -4. Solve a = 6*l - 2*l for l.
2
Let t = -17 - -19. Solve -2*r + t = 8 for r.
-3
Let g(l) = l**3 + l**2 - 32. Let a be g(0). Let j = -29 - a. Solve -8 - 7 = j*n for n.
-5
Let b(i) = -i**3 + 2*i**2 + 2 + 89*i - 89*i - 10*i**2. Let s be b(-8). Solve -7 = -s*z - 3 for z.
2
Let f(v) = 11*v**2 + 15*v + 2. Let l be 141/27 + (-2)/9. Let r(c) = -7*c**2 - 10*c - 1. Let k(s) = l*f(s) + 8*r(s). Let o be k(-5). Solve 3*b = o*b - 4 for b.
-4
Let x(f) = -16*f - 4. Let g be x(-4). Suppose -4*u + 4*q + g = -2*u, -5*q = 25. Solve -4*z = z - u for z.
4
Let r be 6/(-9)*66/(-4). Let h(g) = g**3 + 7*g**2 + 7*g + 8. Let k be h(-6). Suppose 0 = 3*s + k*s. Solve 4*c - r - 5 = s for c.
4
Let k be 4/(-10) + (-136)/(-40). Solve -1 = k*d + 8 for d.
-3
Let l = -1 - -31. Let k be (324/l)/((-4)/(-10)). Solve -7 + k = -5*h for h.
-4
Let h = 44 - 39. Let q = -2 - -2. Solve q = k - h*k for k.
0
Let r(m) = -2*m - 4. Let z be r(-6). Let l = 2 + 2. Solve l*g - 24 = -z for g.
4
Let r = -10 + 12. Solve -2 + 0 = -r*m for m.
1
Let p be ((-5)/(-2))/(10/8). Solve -p*r + 4*r = -6 for r.
-3
Let r be 6 + (0 - (4 + -3)). Solve -2*a + 1 = -r for a.
3
Suppose 4*x - 3*t - 29 = 0, 3*t + 22 = 2*x + 3. Suppose 0 = -5*k - 0*c + x*c + 25, 5*c = k + 15. Suppose -7*v + 2*v = -k. Solve 0 = f + v*f for f.
0
Let v(f) be the first derivative of -f**2/2 - 5*f - 1. Let u be v(-5). Solve w + 4 - 5 = u for w.
1
Suppose z = -4*z. Solve z = 4*i - i - 3 for i.
1
Suppose -8 + 24 = 4*t. Solve t*j - 2 - 6 = 0 for j.
2
Let k be ((-28)/8 + -2)*2. Let d = k - -14. Solve 0 = -4*r + r + d for r.
1
Suppose 5*j + 6 = 2*j. Let q be -3*(-1)/j*-2. Let o be (1 - q - -15) + -2. Solve o = 3*t + 2 for t.
3
Let i be ((-2 + 3)*38)/(-1). Let o be (-6)/(-21) - i/14. Suppose 4*y = 4*j - 4, 3*y - 2 - 25 = -o*j. Solve j*z = 2*z for z.
0
Suppose 2*o - 8 = 0, -2*o - o = p - 14. Solve h + p = 2*h for h.
2
Suppose 2*w - 2 = s, -3*s + 3 = -5*s + 3*w. Solve s = -2*i - 2*i for i.
0
Let x(f) = 13*f + 1. Let p be x(2). Let k be (-2)/9 - (-6)/p. Let m be 8/1 - k/(-5). Solve 3*d - m = -d for d.
2
Let a = 6 - 3. Suppose -w - 2 = -8. Let u = w - a. Solve u*b + 15 = -0*b for b.
-5
Let c(z) = -5 - 14*z**2 - 16*z + 5*z**2 - z**3 + 6*z. Let p be c(-8). Solve 5*s - 14 = p for s.
5
Suppose -10 = -16*w + 11*w. Solve 0*m - w*m = 10 for m.
-5
Let b be (-15)/(-6)*(-16)/(-10). Suppose 0 = -3*s - b*x + 29, 2*s + 0*s + 4*x = 14. Let m = s - 11. Solve -2*j + j + m = 0 for j.
4
Suppose 86*b - 12 = 84*b. Solve -b*l + 25 = -l for l.
5
Let y(r) = -r**3 + 8*r**2 + 4*r - 13. Let x be y(9). Let a = -18 - x. Suppose -7*u + 2*u + a = 0. Solve o = -3*o + u for o.
2
Suppose 0 = 2*z - 5*c - 1, -2*c + 5 + 5 = 0. Let j(t) = -t**2 + 13*t. Let a be j(z). Solve a = -0*k + 3*k - 15 for k.
5
Let j be 3 + (-5 - -2)/3. Suppose l + 3 = -2*l, 0 = -4*p + 5*l + 69. Suppose -j*q + 5*x = -p - 1, -15 = -2*q + 3*x. Solve 0 = -2*s - s + q for s.
2
Let g = -11 + 10. Let c be (-2)/(g - 1) + 3. Solve -c*l = -0*l - 20 for l.
5
Suppose 0 = 6*k - 0*k - 24. Solve k*v + 4 = 2*v for v.
-2
Suppose 5*r - 5 = -0. Suppose -y + r = -0*y. Solve 2*v - v + y = 0 for v.
-1
Let h(x) = x + 9. Let l be h(-7). Solve -5*w - l = -4*w for w.
-2
Suppose 2*f = f + 3. Solve u - f*u + 8 = 0 for u.
4
Suppose -4*q + 3*q = -16. Let v = q + -10. Suppose -3*z = -0 - v. Solve 0*s - s + z = 0 for s.
2
Suppose 4*b + 3 = 5*b. Solve -i - 16 = b*i for i.
-4
Let z(l) = -l**2 + 4*l + 1. Let n be z(3). Solve -n + 2 = -x for x.
2
Suppose 2*r + 20 = 6*r. Let u be 15/10 - 2/(-4). Suppose -10 = -3*a - u*a. Solve r = -3*n + a*n for n.
-5
Let q(o) = -5 - o**2 + 3*o**3 + 3 - 4*o**3. Let f be q(-2). Suppose -19 = -z - 4*t, 3*z + 2*z + f*t = 23. Solve 0 = -y + z for y.
3
Suppose -10*m = -11*m. Solve -f = -m*f for f.
0
Suppose -3*p - 32 = p. Let g be (-30)/p + 2/8. Suppose -b + 1 = q, -q - g = -b + q. Solve 1 = -b*l + 3 for l.
1
Let u be 84/(-7)*2/(-6). Suppose u*d - 12 = v, 4*v - 8*v = 0. Solve d*c + 0*c - 9 = 0 for c.
3
Let a = 122 - 86. Suppose 0 = 4*b - a + 12. Solve d = 3*d + b for d.
-3
Suppose -z + 3 = -8. Let j = -5 + z. Solve -i + 3*i - j = 0 for i.
3
Suppose -b + 6 = 2*b. Suppose -c + 3 = b. Solve -3 + c = -o for o.
2
Let d(a) = a - 5. Let b be d(5). Suppose b = 4*u + u - 60. Let m be ((-3)/(-6) + 0)*u. Solve -3*v + 0*v - m = 0 for v.
-2
Suppose 5*s - 8 = -4*r, -4*s + 7*r - 8 = 3*r. Suppose 3*i = -2*k - 3*k - 31, s = 2*k + 4*i + 18. Let v = 0 - k. Solve -v*g = 10 + 10 for g.
-4
Let g(u) = 6 + 4 + 1 - u. Let o be g(7). Solve 2*t + 0*t - o = 0 for t.
2
Let b(u) = u**2 - 10*u + 11. Let d be b(9). Let h be 33/7 - 4/(-14). Suppose -h*m + 15 = -15. Solve -d*o + m = -2 for o.
4
Let i be (-5)/(-10) + (-98)/4. Let x be 0*(-4)/i*-2. Solve -f = -x*f for f.
0
Let h be (-3 + 4)*(12 - 3)/1. Suppose 2*q = -2*q + 28. Let t = -3 + q. Solve n - t*n + h = 0 for n.
3
Let h be (-2)/(2*2/(-8)). Let k be (11 - 0)/(h - 3). Let l = 3 - 3. Solve 4*z + 3 - k = l for z.
2
Suppose 2*o = -2*h + 16, 4*o - 2*h = 4 + 4. Suppose 4*v - 3*v = o*q - 6, -10 = -4*v - q. Solve v*y + y + 15 = 0 for y.
-5
Suppose -2*l - 3*l = 5. Let n be -2 + 6 + -3 + l. Suppose -4 + 10 = h. Solve a + a - h = n for a.
3
Suppose -7*d + 10*d = 0. Suppose d*g + 4*g - 16 = 0. Solve n + n = -g for n.
-2
Let w(f) = -7*f**3 + 10*f**2 - 8. Let m(b) = 20*b**3 - 29*b**2 - b + 23. Let o(u) = 6*m(u) + 17*w(u). Let k be o(5). Let h = -3 - k. Solve a - 5 = -h*a for a.
5
Let l be 3*1 + 1 + -2. Suppose a = 4*o + 5, -l*a + 7 = -2*o - 3. Suppose 5*c 