et r = -10 - -6. Let d = 13 + r. Solve 4*f + d - a = 0 for f.
-2
Let f be 95/10 - (-1)/(-2). Suppose -g + f = 2*b, 24 = 5*b - 0*b + 4*g. Solve b*m = -0*m - 4 for m.
-1
Let s be (6 + -2 + -5)*-5. Solve -2*y + s*y - 3 = 0 for y.
1
Suppose 4*s - 5*s = -k - 2, -s = k. Let r be (s + -3)/((-2)/3). Suppose 3*a + 1 - 7 = 0. Solve 0 = r*b - 7 - a for b.
3
Suppose 0 = -3*m + 5*m - 2*a + 4, 0 = 2*m - 4*a + 12. Solve m - 3 = v for v.
-1
Suppose -2*h + 7*h = -3*w, 10 = -2*w. Suppose 0 = h*d + 15 - 27. Solve l = d*l for l.
0
Let f(i) be the third derivative of -i**4/12 - 3*i**3/2 + 4*i**2. Let s be f(-6). Solve -a = s*a for a.
0
Let a be (-10)/55 - 105/(-33). Solve g + a = 6 for g.
3
Suppose 22 = -3*b + 5*o + 6, 0 = -2*o + 10. Solve b*t = 4*t + 2 for t.
-2
Suppose g - 4 = 0, g = -5*x + 4*g + 13. Suppose t + 4*n = 6*n, 3*n = -x*t + 13. Suppose 0 = -0*i + 3*i. Solve 0 = -i*h + t*h - 8 for h.
4
Let s = -22 - -22. Suppose s = 5*d + 2 - 12. Solve 4 = p + d for p.
2
Let k(y) = -y**2 + 3 - y**3 + 3*y**2 + 3*y - 4*y**2. Let p = 16 - 19. Let x be k(p). Solve 1 = -4*r + x*r for r.
-1
Suppose 0 = 4*x - x - 12. Solve 2*w = -2 - x for w.
-3
Suppose -6*d - v + 55 = -2*d, d - 3*v = 17. Solve 0 = 4*n + 6 - d for n.
2
Let p be 4 - (-2)/(-3 + 1). Let s(a) = -7*a + 1. Let m = -22 + 21. Let h be s(m). Solve l - h = p*l for l.
-4
Let q = -11 - -10. Let l(h) = -22*h**3 + h**2 - 1. Let g be l(q). Solve -5*a + 2 - g = 0 for a.
-4
Let r = -17 - -10. Let f(o) = -o**2 - 8*o - 5. Let n be f(r). Suppose d = -n*d + 18. Solve -3*c + d = -0*c for c.
2
Let z = 14 - 10. Solve -z*s + s = -12 for s.
4
Let z = 1 - -1. Suppose 5*l + 2*p - 27 = 0, 0 = -z*p + 2. Solve 4*j - l*j = -5 for j.
5
Let i = -1 + 11. Solve 0 = u + u - i for u.
5
Let b(v) = 3*v + 93. Let g be b(-31). Solve g = -0*m - 3*m for m.
0
Let z(j) = 3*j - 13. Let u be z(5). Solve u*b = 6*b for b.
0
Let r be (12/(-36))/(2/(-12)). Solve r = 2*p - 0 for p.
1
Suppose 4*j = -x - 0*x - 7, x = 1. Let u be 0*j*1/(-4). Let w be 1*(0 + u + 2). Solve 2*b - 16 = -w*b for b.
4
Let b(z) = z**2 + 6*z + 2. Let p be b(-6). Suppose -3*h - 24 = -p*j, 5*j - 2*j = -5*h + 36. Solve 3*k + j = -k for k.
-3
Let z(a) = 4 - 108*a + 3*a**2 + 108*a + a**3. Let s = -6 - -3. Let b be z(s). Solve -6 = b*h - 2 for h.
-1
Let w be (-4)/(-2*(-3)/(-3)). Solve w*o = o + 3 for o.
3
Suppose 6*s - 2*s + c - 9 = 0, 0 = 3*s - 4*c - 2. Solve -s*z + 6*z = -20 for z.
-5
Suppose 5 = 3*j - 5*f, 3*f - 26 = 2*j - 6*j. Suppose -j*r = -2*r + 18. Let x(h) = h**2 + 4*h - 8. Let u be x(r). Solve 0 = 2*v - u*v for v.
0
Suppose -2*v - 1 = 5*o, 5*v - o - 15 = -4. Solve v*g - 7*g = 15 for g.
-3
Let b(j) = -2*j**2 + 4 - j**2 + 4*j**2 - 4*j. Let x be b(4). Suppose 4*r + 80 = 5*t, 5*t - 59 - 21 = -x*r. Solve 4 = -4*l - t for l.
-5
Let a = 4 + -2. Solve a*n = -0*n - 4 for n.
-2
Let t(o) = 6*o + 53. Let j be t(-6). Solve 2 = 5*h + j for h.
-3
Let z be 44/(-7) - 12/(-42). Let o = -3 - z. Solve -o*l - 6 = 6 for l.
-4
Let o be (-1)/(290/(-72) - -4). Suppose o = 6*r - 2*r. Solve 0 = 5*x - r - 1 for x.
2
Let n = 1 + 4. Solve 0 = -n*t + 22 - 7 for t.
3
Let u = 0 - -1. Suppose -a = k + u, -2*k + a + a = -18. Solve -1 = k*b - 17 for b.
4
Let h(u) = u**2 + 3*u - 10. Let m be h(-5). Solve m = -3*s - s - 8 for s.
-2
Suppose -2*u - 4 = -3*u. Solve u*j - 3*j = -1 for j.
-1
Let o = 0 + 0. Suppose a + 1 = 5. Solve 0 = -o*r - r - a for r.
-4
Let a(p) = -p**2 - 7*p - 6. Let k be a(-6). Solve 2*h + 3*h - 5 = k for h.
1
Let u = 26 + -45. Let o = -16 - u. Solve -11 = o*m + 4 for m.
-5
Suppose 0 = 3*i + i. Let u be -1*(i + 2 + 1). Let b = 3 + u. Solve b = -l - 2*l for l.
0
Suppose 5*x + 16 = -5*h + 3*h, 0 = 5*h + 2*x - 2. Suppose -5*g - 20 = 5*f - 5, 2*f + 4*g + 6 = 0. Let t be 5/(1 + -3 - f). Solve -3*p = h*p + t for p.
-1
Let y(n) = n - 5. Let g be y(5). Suppose 3*a = -2*q + q + 11, 4*q - 20 = g. Solve -j = a*j for j.
0
Suppose 1 = -2*c + 2*j - 3, -2*c - 2*j = -12. Solve d + c*d - 9 = 0 for d.
3
Let k(g) = -g + 1. Let a be k(-7). Let x(o) = o**3 - 9*o**2 + 8*o. Let u be x(a). Solve 4*t - 3*t + 3 = u for t.
-3
Let q be 1*(1 - (-54)/2). Let c = q - 16. Solve -4*x - c = -0 for x.
-3
Let g be (-120)/(-8) + (-4 - 0/(-2)). Solve 5*z - g - 4 = 0 for z.
3
Let r = 11 + -19. Let d be ((-1)/(-2))/(2/r). Let u be d + (6 - 1) - 1. Solve -s = 5 - u for s.
-3
Let x(j) = j - 3. Let c be x(3). Suppose -5*f = -c*f + 20. Let u = f - -4. Solve -3*y + u = -3 for y.
1
Suppose 2*t + 2*w = -2*w + 20, -3*t - 14 = -5*w. Solve -t - 6 = 2*h for h.
-4
Let i = 111 - 110. Solve -w - i = 1 for w.
-2
Suppose -4*w + 19 = -1. Solve -w*d + 2 = -3*d for d.
1
Suppose 3*m - 26 = 4*q, 0*m + q = 5*m - 32. Solve 3 = 3*w - m for w.
3
Suppose 0 = 6*p - 8*p + 6. Solve -p*v + 1 = -8 for v.
3
Suppose 3*f - 2*f - 1 = 0, -3*n = 2*f - 47. Solve -n = 4*j - j for j.
-5
Let l be 1 - 9/((-9)/4). Solve -3*q = -l*q for q.
0
Suppose 5*l = 4*t - 73, t + 5*l = l - 8. Solve 4 = 4*y + t for y.
-2
Suppose -2*g + 24 = 4*b + 2, -3*b = 4*g - 24. Suppose 5*a = 6 + b. Let m be 2 - 2 - (-1 - 0). Solve a*r = -11 + m for r.
-5
Suppose -115 + 30 = 5*j. Let y be 5*(j/(-5) + -3). Solve 2*q + 4 = -y*q for q.
-1
Let w(j) = 6*j - 3. Let l = 7 - 5. Let g be w(l). Suppose 2*f = -f + g. Solve 2*i + f = 7 for i.
2
Suppose -2*f + 16 = 2*f + j, -2*f + 3*j = -22. Let i(a) = -a**2 + 5*a + 1. Let s be i(f). Let t be (-2)/(s/(-4)*1). Solve -3*o = -o + t for o.
-4
Let f = -2 + 3. Let c = f + 2. Suppose 2*x - 3 = c*a + 4, -2*a = -4*x + 10. Solve -15 = -x*m - m for m.
5
Let a be (1 - -2)*-1 + -6. Let i be 2*(a/(-3) - 2). Solve -o + 15 = i*o for o.
5
Let d = 62 - 54. Let v be (2/(-4))/(1/(-18)). Let w = v - d. Solve 0*u + u - w = 0 for u.
1
Let k = 18 + -14. Solve 0 = k*f + f + 5 for f.
-1
Let u be ((-2)/2)/(1/21). Suppose 13 = -f - 2*o, 0 = o + 2*o. Let l = f - u. Solve l*w = 5*w for w.
0
Suppose -4*q - 4 = 4. Let y be (-1 - q)*-2 - -5. Let r be 33/6 + y/(-2). Solve -k = k - r for k.
2
Let y(q) = -q**2 + 6*q. Let r be y(6). Let v(p) = -p + 2. Let z be v(-2). Let t = z + -2. Solve r = -u - 3 + t for u.
-1
Let q = 2 + 0. Let l be (-1)/(-2 + 3 - q). Solve -4*d - 13 = -l for d.
-3
Let p(v) be the first derivative of v**4/4 + 5*v**3/3 - 3*v**2 + 3*v + 3. Let l be p(-6). Solve -l = -q - 0*q for q.
3
Let g = 14 + -9. Let x be (-10)/g + 1*4. Solve -x*c - 3*c = 5 for c.
-1
Let b be 6/(9/2 + -3). Solve 0 = z - b*z for z.
0
Let d(z) = z**2 - 4*z - 2. Suppose -1 - 4 = -i. Let f be d(i). Solve -f*c = 6 - 3 for c.
-1
Let z(i) = i**3 - 2*i + 1. Suppose 3*l - 7 + 1 = 0. Let q be z(l). Solve -3 = -4*x + q*x for x.
-3
Let q be 42/4*36/(-27). Let c be (-36)/(-14) - 6/q. Solve -5*d = -2*d + c for d.
-1
Let i(v) = v**2 + 2*v - 1. Let p be i(-3). Solve z = -p*z for z.
0
Let v be 4/6 - 138/(-9). Suppose 0 = 3*h + h - v. Let m be 0/(-3 + (2 - -2)). Solve -h = -m*d + d for d.
-4
Suppose 0 = x - 0 - 1. Let c(y) = 135*y + 1. Let j be c(x). Let t be j/14 - 4/(-14). Solve -t = 4*l - 2*l for l.
-5
Suppose 5*x + 5 = -3*d, -2*d = -x - d + 7. Suppose q - 11 = x*k, -4*q - 5*k + 8 = -10. Solve -3*w - 8 = q for w.
-5
Suppose -h = 4*w - 69, w - 5*w - 225 = -5*h. Suppose -h - 1 = -5*s. Solve n = -n + s for n.
5
Let c(y) = -y**3 - 4*y**2 + 2*y + 7. Let w be c(-5). Suppose -5*j + w = -3*j. Suppose 1 + 3 = k. Solve k*r + 9 = -j for r.
-5
Let g = -5 - -8. Suppose -2*x - 2*a + 2 = 0, 0*x - g = -5*x - 3*a. Let l be (x + -2)*2/(-1). Solve -20 = l*s + s for s.
-4
Let a(x) = 2*x**3 - 9*x**2 - 3*x - 6. Let j be a(5). Solve j*n - 16 = -0*n for n.
4
Let s be 94/(-14) + 2/(-7). Let y = s - -15. Solve c - y = -3*c for c.
2
Suppose 0 = 4*t + 16, 4*x + 5*t - 2*t = 0. Solve 0 = x*h + 3 - 0 for h.
-1
Let p = 0 + 0. Suppose p*j + 3*j = 18. Let k = 9 - j. Solve 7*o - k*o + 4 = 0 for o.
-1
Suppose 0 = -3*y - 3, g - 2*y - 22 = -4*g. Solve -g*q - 8 = -0 for q.
-2
Let m(l) = -l. Let a be m(2). Let h = a + 4. Suppose i + h*i = 0. Solve s + 1 - 6 = i for s.
5
Suppose 3*m + 3 - 15 = 0. Suppose m - 20 = -4*t. Suppose -4*x + 2*x = -t. Solve 5 = -x*s + 1 for s.
-2
Let o = -2 + -8. Let h = o + 25. Solve -3*q + 0*q = h for q.
-5
Let m be (-1*2)/((-10)/15). Let x = 5 - 3. Solve -x*l - 10 = m*l for l.
-2
Let q be 65/15 + 2/3. Solve f = 6*f - q for f.
1
Let i be 14/(-28) - (-1)/2. Solve 0 = -i*p + p for p.
0
Let y(r) = -r**3 + 4*r**2 - 4*r + 2. Let o be y(3). Suppose