et o be -6*(4/u + -2). Solve -3 = 3*n - o*n for n.
3
Suppose -o - 5 = 5*u, 0*u - 2*u = 5*o - 67. Let z be (95/o)/((-1)/(-3)). Let s = 27 - z. Solve -8 = 4*f + s for f.
-4
Let y = -30 - -30. Solve 0 = -4*k - y*k for k.
0
Suppose 3*x - 6*x = 5*a - 70, -2*a = 2*x - 32. Suppose 27 = m + 4*t + 4, 2*m = -t + a. Solve -m*l = -0*l + 12 for l.
-4
Suppose -18*r + 82 = 10. Solve r = -5*j - 1 for j.
-1
Let t be (-6 - -3)/6*0. Suppose t = -5*y - 0*y. Solve y = -g + 4*g + 12 for g.
-4
Suppose -q = -6*q. Solve q = 4*y - 2*y - 8 for y.
4
Let m = -8 + 10. Solve -2 = -3*p + m*p for p.
2
Suppose i = -5 + 7. Suppose -3*l + 2*l = -i. Solve 3*t = l*t - 4 for t.
-4
Let n = 11 + -5. Suppose -4*x = 2*a - 14, -2*x - 4*a = -7 - 3. Solve 0 + n = x*r for r.
2
Let l = 24 - 19. Let s(p) = -p**2 - 3*p + 2. Suppose -j - 2*j - 2*a = -1, a = j + 8. Let i be s(j). Solve -l*q + i*q = -12 for q.
4
Let d(s) = s - 1. Let h(u) = -2*u**2 + 3*u - 4. Let j(m) = 5*d(m) - h(m). Let w be j(-2). Solve -w = -5*k + 7 for k.
2
Suppose 2*j = 5 - 1. Solve m - 6 = -j*m for m.
2
Suppose 0 = -i - i + 4. Let l = -6 - -6. Suppose l = -2*x - i + 4. Solve x = -w + 3 for w.
2
Suppose -3*c - 9 = 0, 2*c = 2*t - 3*c - 17. Suppose -7 + t = -2*n. Solve 0 = -0*l - 3*l - n for l.
-1
Let z(i) be the first derivative of -2*i + 0*i**2 + 1/4*i**4 + i**3 + 2. Let y be z(-2). Solve y*j + 4 = 6*j for j.
1
Let m(v) = v - 9. Let n be m(14). Solve 0 = n*s - 0*s - 15 for s.
3
Let s be 3/(1 + (-1)/(-2)). Suppose 46 - 2 = s*u + f, -3*f - 88 = -5*u. Suppose 2*i + m - 9 = 0, 5*m + 28 = 4*i + 3. Solve i*d - d - u = 0 for d.
5
Let q(w) = w**3 + 4*w**2 - 15*w - 14. Let p be q(-6). Solve -b + p = 3 for b.
1
Suppose -2*s + 4 = 5*u - 4, -2*u = -5*s - 9. Solve 0 = -u*x - 1 + 5 for x.
2
Suppose 4*v - x = 3*x + 20, -2*x - 10 = 3*v. Let r be 7 - v - (1 - 0). Solve c = 4 - r for c.
-2
Suppose -14*w = -7*w. Solve w*b = 2*b for b.
0
Suppose 4*f = -4*g - 20, g + 3*g - 4*f = 20. Suppose g = 5*m - 12 - 13. Solve -3*p = 2*p - m for p.
1
Let g = 12 + 1. Let q = g - 3. Solve 0 = -2*m + q - 0 for m.
5
Let l(w) = 7 + 12 - 5 + w. Let t be l(-10). Suppose -5*n + 29 = 3*s - s, s - 3*n = -2. Solve s*g - 6 = t*g for g.
2
Let f be (6/(-15))/(2/(-10)). Solve 0 = 3*i - f*i for i.
0
Let f(l) = l**3 - 3*l**2 - l - 2. Let m(n) = n**3 - 6*n**2 + 4. Let i be m(6). Let x be f(i). Let b = -6 + x. Solve 5*d + b = -1 for d.
-1
Suppose 4*z - 29 = 7. Suppose -z - 11 = -5*p. Let v be ((-2)/(-5))/(2/30). Solve -p = l - v for l.
2
Suppose -2*m + 8 = -0*m. Suppose -2*d = 3 - 9. Solve 7*q - d = m*q for q.
1
Let o(c) = -5*c + 21. Let u be o(3). Solve -5*d - u = 14 for d.
-4
Suppose 2*k = -h + 23, 2 + 3 = -5*h. Let b = -7 + 3. Let w be 1/4 - (-1)/b. Solve w*c + 3*c = -k for c.
-4
Let g = 26 - 24. Solve w - g = -0*w for w.
2
Let k = 18 + -8. Suppose -2*s - 3*s = -w + 35, -5*s = -5*w + 55. Let a = s + 10. Solve 6 = -a*f - k for f.
-4
Suppose -3*p - 3*v + 5*v = -17, 0 = 4*p + 4*v - 16. Let h be 2 + -1 + (-6)/(-3). Suppose 0 = -2*b - 3*y - 2, 0 = b - h*b + p*y + 14. Solve -b*z = -z + 3 for z.
-3
Suppose b = 18 - 6. Solve 0*v = -4*v + b for v.
3
Suppose 2*t = 18 + 2. Let v be 13/5 - (-4)/t. Suppose -2*b + b = g - 15, 20 = 3*b - 2*g. Solve v*d - b = d for d.
5
Let p be ((-25)/(-5) - 4)*5. Solve -9 = -4*a - p for a.
1
Let y = 33 + -13. Solve 5*c - y + 5 = 0 for c.
3
Let a(l) = 0*l**2 - l - 1 + l**2 + 0*l**2 + 2. Let f be a(3). Let q(x) = -x**2 + 7*x - 7. Let b be q(5). Solve -f*c = -b*c + 4 for c.
-1
Let f be (10/(-4))/(4/(-8)). Suppose 5*n - f*p + 5 = 0, -4 = 3*n - 4*p - 5. Let z be 6/n*10/(-4). Solve -z*l - 2*l = 15 for l.
-3
Let f be -3 - 3*-3 - 1. Let m = 5 - f. Solve m*s = -s for s.
0
Let l = 34 + 16. Suppose 0*i + 2 = i, 0 = -4*j - i + l. Suppose -5*s + 2*s + 24 = 0. Solve -5*c = j + s for c.
-4
Let d(o) = o**2 - 5*o. Let v be d(6). Suppose 2 = 4*h - v. Solve y - h*y = 4 for y.
-4
Let p(y) = -y**3 - 6*y**2 - 7*y - 7. Let d(g) = g**3 - 4*g**2 - 4*g - 2. Let r be d(5). Suppose 2*x - r = -13. Let h be p(x). Solve 5 = -h*f + 17 for f.
4
Let p be 5 + (-5 - (-12)/4). Let t = p + -1. Solve t*z - 4*z = -10 for z.
5
Let r(u) = u**2 + 8*u + 7. Let q be r(-6). Suppose 2*k - 2 = -6. Let w be (-5 - k)/(1/q). Solve w = -0*h - 3*h for h.
-5
Let w be (-12)/18 + 22/6. Suppose -4*v = -w*v. Solve v = -5*u - 10 for u.
-2
Let d(m) = m - 2. Let u be d(4). Suppose 0 = -0*w - 5*w. Solve -u*k + 3 + 5 = w for k.
4
Let v = -120 - -120. Solve 9*u - 4*u + 15 = v for u.
-3
Let o(h) = -2*h + 15. Let k be o(6). Solve 0 = -m + k + 1 for m.
4
Let x(i) = -5*i + 3*i + 114 - 114. Let h be x(-1). Solve y = h*y for y.
0
Let u = 6 + 4. Let r = -6 + u. Solve -r*p = p for p.
0
Suppose -4*g + 7*g = 60. Solve -b - g = 4*b for b.
-4
Suppose 4*o = -4*y, -3*y + 10 = -0*y + o. Let g = -6 + 7. Let a be g*(3 + -2 - -2). Solve y*k - 8 = a*k for k.
4
Suppose 5*y + 4*w - 18 = 0, -y + 3*w + 0 = 4. Solve 9 = l + y*l for l.
3
Let c(x) = 23 - 6 + 2*x - 6. Let i be c(-5). Solve -3 = -b - i for b.
2
Let i be (-4)/(-1 - -5)*-3. Let m be 0/1 + i/1. Solve f - 4*f = m for f.
-1
Let p = 0 + 7. Suppose 0 = 4*i - p*i + 81. Suppose u + 10 = 2*r - 11, 4*r = -3*u + i. Solve r*y = 4*y for y.
0
Let x(d) = d**2 + 9*d + 7. Let v be x(-9). Let a be (-2)/(-2)*(v - 2). Solve 4*s - a*s = 0 for s.
0
Let i = 6 + -4. Suppose i*g = -3*n + 8, 0*g - g = 4*n - 9. Let c = 3 - g. Solve 0 = c*w + 2 - 0 for w.
-1
Suppose 0 = 4*n - n. Suppose -5*f + 0 + 30 = n. Let g be (2/f)/((-2)/(-12)). Solve -g*q = 2*q - 12 for q.
3
Suppose -4*q = r + 15, -2*q = -3*r + 3*q + 40. Suppose -10 = r*n, -2*w + 7*w + 2*n + 4 = 0. Suppose w*d - 3 = -d. Solve -d = -4*k + k for k.
1
Let a = -2 - -5. Let d = a - 1. Solve -d*k + k = 4 for k.
-4
Let q(u) = 3*u - 1. Let o be q(2). Suppose 5*r - 36 = 2*j - 6*j, 0 = 5*j - o*r - 45. Solve -j - 3 = -4*p for p.
3
Suppose -i = i + 4*r + 12, 5 = -5*r. Let l be (-10 + 1)/((-6)/i). Let f be l/(-42) - (-82)/14. Solve 5*p - f = 19 for p.
5
Let k(d) = -d**2 - 3*d + 3. Let r be k(-3). Solve -r*v = -19 + 4 for v.
5
Let t be (-1 - -1) + (0 - -4). Suppose -4*i = 20, -45 = -t*h - 0*h - 3*i. Solve -h + 5 = -5*w for w.
2
Let o = 13 - -2. Let v be (-1)/2*-1*10. Solve 0 - o = -v*i for i.
3
Let c = -18 + 20. Solve 3*h - 3 = c*h for h.
3
Let h be ((-14)/(-21))/(6/63). Solve h = 4*q + 23 for q.
-4
Let u be -4 + (-65)/(-10) - (-1)/(-2). Solve 0 = -2*c - 12 + u for c.
-5
Let u(d) = 2*d - 14. Let n be u(9). Suppose -n = -5*w + 5*p + 36, -p + 4 = 2*w. Solve 0*a = w*a + 12 for a.
-3
Suppose -8*g = -0*g - 24. Suppose 0*y = 4*y. Solve y = -g*f + 2 + 1 for f.
1
Let s(j) = -j**3 + 7*j**2 + 2*j - 9. Let k be s(7). Let f(b) = b**3 - 4*b**2 - 3*b - 7. Let l be f(k). Suppose 1 + l = h. Solve 0 = m - h - 1 for m.
5
Let k = 104 + -102. Let i(x) = -x. Let m be i(-3). Solve 0 = -k*l - 1 - m for l.
-2
Let l be -1 - 9/(-3) - 12. Let f(h) = -h**2 - 11*h - 8. Let g be f(l). Solve -g*x + x + 4 = 0 for x.
4
Let h be 0/((-16)/(-6)*15/20). Solve 6 = -h*l - 2*l for l.
-3
Let w(p) = p**2 - 5*p + 3. Let m be w(5). Solve 0 = c + m*c + 12 for c.
-3
Let n(r) = -r + 11. Let h be n(11). Solve -2*t + 5 - 3 = h for t.
1
Let j(p) = -p**3 - 3*p**2 + 4*p + 3. Suppose -g + 0 = 4. Let f be j(g). Let z = -137 + 137. Solve f*w - 12 = -z*w for w.
4
Suppose -l + 3 = 1. Suppose -4*a + l*a + 6 = 0. Solve -6*s + a*s = 3 for s.
-1
Let w = -7 - -11. Suppose 0 = -w*p + 8. Solve 0 = -5*h + p*h - 3 for h.
-1
Let o(u) = u**3 + 12*u**2 - u - 10. Let c be o(-12). Solve -c*v = -7*v for v.
0
Let w be -3*(2 - (-6)/(-9)). Let a = w - -7. Solve 5*v + 2 = a*v for v.
-1
Suppose -31 + 8 = -3*j - v, -j = 2*v - 11. Let r(o) = 10*o**2 - 1. Let z be r(1). Suppose -3*u + w = -16, w + 1 - z = -3*u. Solve -1 = -u*t + j for t.
2
Let k be (4/(-1))/(0 + -1). Solve 0 = -6*i + k*i - 2 for i.
-1
Let x(q) = q**2 - 12*q + 20. Let o be x(10). Solve 3*v - 4 - 5 = o for v.
3
Let w(x) = 4*x**3 - x + 1. Let c be w(1). Suppose -c*q + 20 = q. Suppose 0 = -3*a - 2*a + 4*s + 7, 0 = 5*a - 3*s - 9. Solve -a = -q*k + k for k.
1
Suppose 4*b - 9 = b. Let z(w) = w**3 + 10*w**2 + 8*w - 5. Let a be z(-9). Solve h - a*h = -b for h.
1
Let v(q) = -q - 2. Let l be v(-6). Suppose 6*m + l = 8*m. Suppose -3*w = m*w. Solve -u + 5*u + 4 = w for u.
-1
Suppose -5*c + 2*b - 35 = -0*b, -5*c = -4*b + 35. Let y(s) be the first derivative of -s**3/3 - 7*s**2/2 + 