Let a(l) = -l + 8. Let c be a(6). Solve g*w + c = w for w.
-1
Suppose -4*g - 9 = -x, g - 67 - 62 = -5*x. Solve 2*d - x = -3*d for d.
5
Let i(f) = f + 8. Let v be i(-8). Solve -2*p + 7*p + 20 = v for p.
-4
Let h be 5 - (-60)/18 - (-4)/(-3). Solve 5*a - h - 18 = 0 for a.
5
Let p(a) = 3*a - 2. Let z(o) = 2*o**2 - 7*o - 2. Let x be z(4). Let s be p(x). Solve c + 0*c - s = 0 for c.
4
Let x = -11 - -20. Let w = 19 - x. Suppose 0*q + w = 5*q. Solve q*z = z for z.
0
Let p be (-430)/(-50) - (-2)/5. Solve 7*d - p = 4*d for d.
3
Let g(y) = 6*y + 2 + y**3 - 3*y**2 - 4*y**2 + 0*y. Let p be g(6). Solve -l = p + 3 for l.
-5
Suppose -2*k + 3 - 11 = 0. Let v be (-30)/k*8/10. Solve -2*u = -0*u - v for u.
3
Suppose 60*a = 56*a + 24. Solve -2*b + a = 2 for b.
2
Let h = -22 + 22. Solve h = -a - 3 + 1 for a.
-2
Suppose -2*d + 0*d + 6 = -2*i, 7 = 4*d + i. Let o be ((-1)/4)/(2/(-8)). Let x be (2 - (o + -1)) + 2. Solve 3*y = d*y - x for y.
-4
Let w = 67 - 64. Solve -12 = -3*u - w for u.
3
Suppose 2*u + g + 32 = 7*u, 3*u - 10 = -4*g. Let k be (5/u)/((-7)/(-42)). Let t = k - 0. Solve 5 = 4*n - t*n for n.
-5
Let j(a) = 30*a**2 - a + 2. Let l be j(2). Let y = l - 83. Let q = y + -15. Solve 5*g + q = -3 for g.
-5
Let t = 7 + 3. Let z(d) = d**2 + 4*d - 2. Let y be z(-5). Suppose -y = -l + 1. Solve l*s - 2*s = -t for s.
-5
Let w(b) = -b**2 + 12*b + 4. Let h be w(12). Let o be 6/(-4)*(-8)/6. Solve 0 = -o*t + h + 6 for t.
5
Let n = 62 - 62. Let j(x) = -x + 3. Let b be j(0). Solve -u - 2*u - b = n for u.
-1
Let z(n) = -3*n - 12. Let v be z(-4). Solve -3*i = -v*i for i.
0
Let q(x) = -x - 2. Let o be q(6). Let y be 90/(-4)*o/12. Let n = 13 - 11. Solve n*v + y = -v for v.
-5
Suppose -h - 15 = -4*h. Suppose -g - h*b = 20, 2*g - 3*b = 6 + 6. Suppose 16 = -g*n + 2*n. Solve f = -f + n for f.
4
Suppose 3*m + 0*m + 8 = -4*d, 0 = 4*m - 3*d - 6. Solve -f = -m - 1 for f.
1
Let k(j) = 5*j**2 + j. Let w be (2 + -3 + 2)*-1. Let y be k(w). Let l be 6 - 6*10/15. Solve -l*m - y = -0 for m.
-2
Let a = 4 + -6. Let d be 1/a*(-48)/4. Suppose d = q + q. Solve -3*y - q = -0*y for y.
-1
Let d = -80 - -81. Let c = 15 + -11. Solve -c*a + 19 + d = 0 for a.
5
Suppose -o + 6*o = 0. Let v be (o/(-4))/(-1 - -2). Solve -5*i + 17 - 2 = v for i.
3
Suppose 23 = -4*f + f - b, 4*f + 9 = 3*b. Let r = f + 10. Solve -20 = -h - r*h for h.
4
Suppose -5*h + 10 = 4*q, -q - h - h = -1. Solve -s = -q*s - 12 for s.
-3
Let c be -2*(30/4 + -1). Let x = c + 14. Solve 0 = 4*z - 5 + x for z.
1
Suppose 0 = x - 4*x + 696. Suppose 3*j = -j + x. Let k = j + -40. Solve -k = 5*l + 2 for l.
-4
Let p(s) = -s**2 + 12*s - 15. Let r be p(10). Suppose r = -0*d + d. Solve 3*g = -2*g + d for g.
1
Suppose 1 = g + 2. Let r be ((-36)/(g - -5))/(-1). Solve 4*i - 11 = r for i.
5
Suppose 3*y - 12 = -3*f, -2*f - 4*y = -6*f. Suppose a = 2 + f. Solve -a = -4*j + 4 for j.
2
Suppose 3*m = -4*x, 0 = m + 2*x + 2*x. Let q = 2 + m. Solve 0 = -2*p + p + q for p.
2
Suppose -s + 4 = s, 14 = 5*x + 2*s. Suppose -z = -b - 13, 3*b = -3*z - x*z + 25. Let y be (-74)/(-8) + (-2)/z. Solve -y = p - 4*p for p.
3
Let o(d) = d**3 + 5*d**2 + 4*d + 6. Let m be o(-4). Solve -9 = 5*z + m for z.
-3
Suppose -4*q = q - 10. Let f be 1/(25/10)*5. Solve -3*g + q*g = f for g.
-2
Let f be (-6)/12 - 9/(-2). Suppose -4 = -f*g + 24. Solve -23 + g = 4*h for h.
-4
Let z be (-1 + -4)*(5 + -6). Suppose u = -z + 9. Solve 0 = h - u - 1 for h.
5
Let w(r) = r**3 - 7*r**2 + 1. Let o be w(7). Let a(c) = c**2 - c. Let f(d) = d**3 - 4*d**2 + 4*d - 2. Let p be f(3). Let y be a(p). Solve y - o = -m for m.
1
Let n = 19 - 16. Suppose -n*g - t + 12 = 2*t, 0 = 5*g + 4*t - 21. Solve 0 = -g*w - 0*w - 10 for w.
-2
Let k(n) = n**3 + 4*n**2 - 5*n + 6. Let a be k(-5). Solve 0*o + 30 = a*o for o.
5
Let s(c) = c**3 - 3*c**2 - 3*c - 1. Let x be s(4). Solve -7 = 5*z + x for z.
-2
Suppose 4*w - 6*w = -3*o - 6, -2*w + o + 2 = 0. Suppose 0 = -w*m + 2*m - 6, 5*f + m = 58. Solve -f = 5*l + 9 for l.
-4
Let s = -37 - -41. Solve -s = -f - 1 for f.
3
Let g(c) = -c**2 - 8*c - 3. Suppose 2 + 12 = -2*a. Let q be g(a). Solve 0*m + q*m = 4 for m.
1
Let h = 27 + -11. Solve -h = -2*c - 2*c for c.
4
Suppose 10 = -2*b + 3*b + 5*z, 4*b - 4*z = -8. Solve -2*u + 3*u - 1 = b for u.
1
Let j be (-4)/6 - 186/18. Let w = 1 - j. Solve -w = -3*b - 0*b for b.
4
Let b = 3 + -4. Let k be 1*10 - (3 + b). Suppose k - 3 = w. Solve w*a = 9 + 11 for a.
4
Let f(t) = -t - 3. Let z be f(-5). Solve z*j - 3*j = 5 for j.
-5
Suppose d - 31 + 22 = 0. Solve -2*s + d = -5*s for s.
-3
Let o be 10/(-4)*48/(-30). Solve 5 = m + o*m for m.
1
Let a(v) be the third derivative of -v**6/120 + v**5/60 + 10*v**3/3 - 6*v**2. Let t be a(0). Solve -4*o - o = t for o.
-4
Let z(h) = -12*h**2. Let b be z(1). Let l be 2/4*b/(-6). Let j be (-8)/(l/(3/(-6))). Solve j*n + 4 = -4 for n.
-2
Let h = -149 + 152. Solve 0 = 3*k + 6 - h for k.
-1
Suppose 0 = 2*q + 3*q - 60. Solve -t = -5*t - q for t.
-3
Suppose 4*a = 9 + 23. Solve -4*r = a - 0 for r.
-2
Let k(i) = i**3 - 3*i**2 - 4*i + 3. Let n be k(4). Suppose -h + 200 = n*h. Let l be (-3)/2*h/(-15). Solve -l*r - 5 = -0*r for r.
-1
Let m(r) = 2*r - 1. Let b be m(-1). Let f be (-2)/b + 12/9. Suppose -6 = f*t - 4*t. Solve 0 = -0*u + t*u + 9 for u.
-3
Let b be (-4)/12 - (1 - 26/6). Let h(x) = x**2 - 3*x - 5. Let j be h(4). Let c = b + j. Solve 2 = -4*s + c*s for s.
-1
Let m(g) = 4*g - 5*g - 4*g**3 + 3*g**3 - g**2 - 2*g**3. Suppose -2*i + 4 = 7*b - 3*b, 0 = -2*b + 5*i - 22. Let l be m(b). Solve 9 + 0 = -l*p for p.
-3
Suppose 0 = 3*h - 3*n + 5*n - 15, -4*h + 4*n = -20. Solve -2*r + h = -r for r.
5
Suppose 4*d - t = 17, 2*t = -0*d + 2*d - 10. Solve -d*v + 0*v - 8 = 0 for v.
-2
Let c(g) = g + 1. Let f be c(3). Suppose -2*k + 18 = 2*m, -f*m + 5*k - 2*k + 1 = 0. Solve 0 = -3*v - m - 2 for v.
-2
Let c be (9 - 3) + 1/(-1). Suppose -c*w = -7*w + 4. Solve 6 = -w*u - 0 for u.
-3
Suppose -2*a = 4 - 36. Suppose 2*l - 6*l = -4*u + a, -5*u = -4*l - 19. Suppose u*d - 10 = d. Solve 1 = 2*c - d for c.
3
Suppose -3*d + d = -8. Solve 0 = -p + d*p - 3 for p.
1
Suppose -14 = -5*o + 6. Suppose -v + j - 21 = -5*v, -2*v - 17 = -5*j. Solve 2*b = o*b + v for b.
-2
Let h(u) = u**2 - 6*u - 22. Let r be h(9). Solve 2 = -r*t - 18 for t.
-4
Let i = 0 + 3. Solve -i*n = 4 + 2 for n.
-2
Let w = -8 + 14. Solve -5*s = -8*s + w for s.
2
Suppose 0 = -7*j + 2*j + 80. Let b = -10 + j. Suppose 0 = 6*u - 2*u. Solve a + b - 2 = u for a.
-4
Let v(w) = -w**3 - 7*w**2 + 11*w + 3. Let l be v(-8). Let j be (-24)/(-14) + (-6)/l. Suppose 4*m - 3*k = 0, 0*k - k = 2*m. Solve m + j = -h for h.
-2
Suppose -11*d = -3*d - 104. Solve 5*k + 2 = -d for k.
-3
Let h be 1 - ((-4)/(-1) + -5). Solve z = h*z - 4 for z.
4
Let b(c) = -3*c + 4*c + 1 - 2. Let a be b(1). Solve a = x - 4*x - 12 for x.
-4
Let x(j) = -j**2 - 4*j - 2. Let a = -5 + 2. Let t be x(a). Suppose t = v - 2. Solve -6 = v*k - k for k.
-3
Let r be 6*(20/(-6))/(-5). Suppose -r*c = -32 + 12. Solve -c*v + 3 = -12 for v.
3
Let u(h) = -3*h - 8. Let d be u(-4). Suppose 0 = -2*z - 0*z + 5*a, 2 = a. Suppose d*k - q = 11, 3*k + 2*q - z = 2*k. Solve k*s = 2*s for s.
0
Let f(x) = 4 + 5*x**2 - 3 + x - 2. Let y be f(1). Suppose 2*v = 2*b - 1 + y, 0 = -b - v + 6. Solve -b*n = -0*n - 10 for n.
5
Suppose 5 - 2 = -3*m. Let w be -17*(m + 2/(-1)). Let i = -36 + w. Solve 4*h + i = h for h.
-5
Let s be -7 - -5 - (-5 + 1). Suppose s*q + 7 = -q + 2*a, -4*q + 5*a = 7. Let m = q + 3. Solve 0 = 5*t - m + 5 for t.
-1
Let h(k) = -5*k. Let c be h(-1). Let l(r) be the third derivative of r**6/120 - r**5/30 - r**4/12 + r**3/2 + 4*r**2. Let u be l(3). Solve c = u*f - f for f.
1
Suppose -4*n = 0, 7*n = -3*w + 3*n. Let a be w/(-3*(1 - 2)). Solve a = -3*m + 12 for m.
4
Suppose 2*h - 8 = u, 0 = 2*h - 4*u - 3 - 17. Suppose -2 = -h*w + 8. Solve -4*j - j = w for j.
-1
Let q(i) = 2*i**2 + 3*i + 2. Let h be q(-2). Let b be 14/h - (-9)/(-18). Suppose -b*s + 2*s = -4. Solve 0 = -s*z + 18 - 2 for z.
4
Let r = 3 - 7. Let u be 1/(-2*2/r). Let g(j) = 2*j**2 - 3*j - 4. Let l be g(3). Solve u = -2*h + l for h.
2
Suppose n + n - 30 = 0. Suppose 5*t = -0*t. Suppose -r + n = -t*r. Solve 0 = -2*d - 3*d - r for d.
-3
Let p be (-1)/((-3 + 1)/(-12)). Let w be (-32)/p - 3/9. Solve 2*u + w = 3*u for u.
5
Suppose -4*c = d - 58, 0*c + 2*d - 74 = -5*c. Let o be 4/c + (-26)/(-7). Solve 0 = o*m -