e r(-14). Solve i = m + u for m.
-2
Let u = 12 + -10. Solve -n = -u*n - 1 for n.
-1
Let c(m) = -m**3 - 10*m**2 - 9*m + 4. Let p be c(-9). Solve 11 - 3 = -p*t for t.
-2
Let g(t) = 2*t**2 + 23*t + 47. Let x be g(-9). Solve 9 = -x*u - 1 for u.
-5
Let c = 12 - 6. Suppose -i - 3*i + 4*d + 12 = 0, -4*i + 2*d + c = 0. Solve -4*w = -i*w + 12 for w.
-3
Let r be 2 - (-3 - (-2 + -1)). Suppose 4*u + 4*s - 184 = 0, -19 - 23 = -u - r*s. Suppose -6*l + u = -l. Solve l = -0*p - 5*p for p.
-2
Let f = 6 - -24. Suppose 4*l + 2*p - 102 = -f, -p = 4*l - 70. Solve 4*j - l = -1 for j.
4
Let u be 3/6*4 + 0. Let x be ((-5)/u)/5*2. Let o be 0 - x - (-25)/5. Solve -o*y + 4 = -2*y for y.
1
Let a(z) be the second derivative of -z**3/3 - 5*z**2/2 + 6*z. Let p be a(-6). Solve -1 = 3*o - p for o.
2
Suppose 2*r - 5 = -s - 4, 5 = 2*s + r. Solve 4*o - s*o = 5 for o.
5
Let z be ((-21)/3)/(2/(-2)). Let q = -2 + z. Solve 0*a + q*a = 0 for a.
0
Let p(t) = -7*t + 5. Let j(w) = 6*w - 6. Let g(o) = -6*j(o) - 5*p(o). Let m be g(7). Let b = -3 + m. Solve -4*x - b = 7 for x.
-2
Let r be 9/2*-1 + 2/4. Let z(p) = p**3 + 7*p**2 + 4*p - 8. Let j be z(-6). Let u = r + j. Solve 0 = c - u + 3 for c.
-3
Suppose -12 = 4*q - 10*q. Solve -a + 3*a = q for a.
1
Let p(j) be the second derivative of j**3/6 + 7*j**2/2 + 6*j. Let g be p(-5). Solve -4*f - g = 2 for f.
-1
Suppose -21 = -a - 5. Solve 3*s = a - 1 for s.
5
Let j(q) = 2*q - 26. Let o be j(13). Suppose 0*i = -3*i + 27. Let v = 13 - i. Solve o = v*c + c for c.
0
Let n be (-1 - 0) + 1*-1. Let c(f) be the third derivative of f**6/120 + f**5/30 - f**4/12 + f**3/6 - 2*f**2. Let p be c(n). Solve 0 = -4*h + 5*h - p for h.
5
Suppose 4*f + 5*b - 7 = -1, -2*f - 2 = 5*b. Suppose -2*l = -5*z - 2, 2*l - 5*z - 1 = l. Solve f = r - l for r.
5
Suppose 3*a + b - 12 = 0, -4*b + b - 9 = 0. Suppose 0 = 4*s - 5*i + 7, -2*s - 2*s - i = -11. Solve -a*q + s = -3 for q.
1
Suppose -2*c = -0*c + 3*o + 13, -14 = c + 3*o. Suppose c = -2*j + 11. Suppose -11 = -5*r + 4. Solve j*d - 2 = r for d.
1
Suppose 5*w - 30 = 2*w. Let u = w + -8. Suppose 0 = -u*n + 9 + 3. Solve h = n*h for h.
0
Suppose 5*r - 10 = -0*r. Suppose -7*h + r*h = -15. Let w = -1 + h. Solve w - 7 = 5*t for t.
-1
Let r = 7 - 5. Suppose u - r*z = 10, 5*u + 32 - 98 = 2*z. Solve -u = -5*d + 11 for d.
5
Suppose 117*s + 72 = 123*s. Solve -3*i + s = -6*i for i.
-4
Suppose -4*w = 2 + 6. Let t be (12/(-14))/((-2)/(-14)). Let u = w - t. Solve 3 = u*n - n for n.
1
Suppose -5 = a - 2*a. Let h = 9 - a. Solve h*j - 25 = -j for j.
5
Let o(n) = -n. Let l be o(0). Let w(c) = 0*c - c**2 - 2 + 2*c + 1. Let x be w(1). Solve 2*p + x*p - 4 = l for p.
2
Let j(a) = 4*a + 38. Let f be j(-7). Solve -f - 6 = 4*w for w.
-4
Suppose -3*h - 4*m + 28 = 0, -2*m + 0 + 12 = h. Let g(f) be the third derivative of f**4/24 + 4*f**3/3 + 4*f**2. Let l be g(-8). Solve l = h*y - 1 - 19 for y.
5
Let h = 2 + -6. Let f = -1 - h. Solve -l = 2 + f for l.
-5
Let q be 10*(3/(-2) + 2). Suppose -4*w + 27 = -61. Solve 0 = -q*p + 7 - w for p.
-3
Suppose 0*f - 3*f = -108. Suppose -3*h = -0*h - f. Solve -3*c + h = -0*c for c.
4
Let c(i) = -i + 13. Let w be c(13). Solve -5*o - 6 - 4 = w for o.
-2
Let t be 6/15 - 54/(-15). Suppose 3*f + 5*g - 18 = 0, f - 2*g = t*f - 18. Solve -2 = -v - f for v.
-4
Let a be 3/6 + (-15)/(-6). Solve -a*x = 2*x - 20 for x.
4
Let l(h) = -h**2 - 9*h + 2. Let r be l(-9). Solve r*q + 2*q = -8 for q.
-2
Suppose -2*w - 6 = -10. Solve w*f - 5 = -7 for f.
-1
Let b = -2 - -4. Let p(l) = -l + 10. Let x be p(8). Suppose -x*f + b + 2 = 0. Solve r + 3 = -f*r for r.
-1
Let l = 7 + 9. Let u = -9 + l. Solve 0 = -u*r + 4*r - 12 for r.
-4
Suppose -2 = -3*r - 2*t, 2 = t + 4. Suppose -r*x = x - 3. Let g be (0*3/6)/x. Solve g*c = -c + 4 for c.
4
Let y(a) = -a**3 + 11*a**2 - 11*a + 11. Let j be y(10). Solve -2*g + j = -g for g.
1
Let r(h) = -h**3 + 6*h**2 + 7*h. Let i be r(7). Solve 25 = -5*a - i*a for a.
-5
Let q(n) = n**3 + 6*n**2 - 2*n - 6. Let b be q(-6). Solve -5*k = b - 1 for k.
-1
Let p(j) be the third derivative of j**6/120 - j**5/20 + j**4/12 + 2*j**2. Let f be p(3). Let a be ((-14)/f)/(2/(-6)). Solve 0 = -4*i + 27 - a for i.
5
Let y be (-1)/(((-1)/(-2))/(-3 + 1)). Solve -2*p = -y*p + 6 for p.
3
Let d(g) be the second derivative of -1/2*g**4 - g - 7/2*g**2 + 0 + 1/20*g**5 - g**3. Let p be d(7). Solve -6*c + 2*c + 16 = p for c.
4
Let g(n) = -n**2 + 13*n. Let p be g(13). Solve -3*b + 0*b - 9 = p for b.
-3
Suppose 5*h - c - 20 = 0, 3*h = 3*c - 0*c + 12. Solve -h*a = -1 + 17 for a.
-4
Let z be (4/6)/(8/120). Let f = -10 + z. Let j = f - 0. Solve 0 = 3*p + 12 - j for p.
-4
Let p be (-4 - -1)/(3/16). Let k be p/(-10) - 10/(-25). Suppose 5*g - 60 = -2*s - 0*s, 0 = -2*g - k*s + 30. Solve -i - g = i for i.
-5
Let a(o) = -o**3 - 6*o**2 - 8*o + 3. Let x be a(-4). Solve -x*r - 5 - 4 = 0 for r.
-3
Suppose 3 = 2*x - 5. Suppose -u + x*u = 0. Solve -2*w = -u*w - 10 for w.
5
Let l be (-66)/(-11)*(-4)/(-6). Solve -l*x + 0 = 4 for x.
-1
Let x(u) = u**3 - 4*u**2 - 5*u + 4. Let k be x(5). Suppose 5 + 18 = g + k*d, g - d + 2 = 0. Solve -2 - 1 = -g*o for o.
1
Let v(f) = f**2 - 2*f - 8. Let y be v(4). Solve 4*i + 0 - 8 = y for i.
2
Let b = 21 - 19. Solve 0 - 4 = b*s for s.
-2
Let k be (-4)/(-14) - (-255)/(-35). Let s = k + 11. Solve 3*r - s - 11 = 0 for r.
5
Let x(d) = -d**2 - 12*d - 8. Let g be x(-11). Suppose -4*m + 5 = m. Solve -m + g = -u for u.
-2
Suppose -8 = -4*d + 4. Solve 0 = d*o + 1 - 4 for o.
1
Suppose -3*p = -2*u + 4, 0 = -u - 0*p + 5*p + 2. Suppose -u*m = 3*m. Solve m = 5*i - i for i.
0
Suppose 0 = -3*m - 2*m. Solve 4*q + q = m for q.
0
Suppose y = -3*y + 8. Let m = 6 - y. Solve -1 + 21 = -m*i for i.
-5
Suppose 2*k + 4 = 3*k. Suppose -6*f = -4*f - k. Solve 2 = 3*u - f*u for u.
2
Let b(d) = -d**2 - 7*d + 20. Let v be b(-9). Solve v*c = -2*c for c.
0
Suppose o = 3*o. Let v = 4 - 8. Let f(r) = -r**2 - 5*r + 4. Let a be f(v). Solve i + 3*i - a = o for i.
2
Let j(n) = 2*n**3 - n**2. Let b be j(1). Solve 4*h - b = -21 for h.
-5
Suppose 6*y + 18 = 9*y. Solve 0 = -2*q + y*q for q.
0
Let z(m) = -m**3 + 14*m**2 - 13*m. Let h be z(13). Solve 0 = f - h*f for f.
0
Let r = -79 - -88. Solve 6*s - r*s + 15 = 0 for s.
5
Let p be (-1)/3 + ((-10)/15 - -4). Solve -p = -3*k - 9 for k.
-2
Let n be 1 - 0 - 15/(-5). Suppose 4*j + 4*q - 24 = -j, 0 = -4*j - q + 17. Solve n*w - 16 = -j for w.
3
Let s = -10 - -12. Solve -3*k - s*k = -5 for k.
1
Suppose 0 = v + l - 3*l - 5, 0 = -5*l - 5. Solve -v*p = -2*p - 3 for p.
3
Let q = 10 + -8. Suppose -3*c = -2*m + 8, m = 2*c - m + 6. Let y = 2 + c. Solve -q*j + y = 2 for j.
-1
Let f = 36 - 34. Solve 0 = g + f*g - 6 for g.
2
Suppose -8 = 3*d - 20. Solve 10 + 6 = -d*j for j.
-4
Let d be 0 + 2/(2/2). Let y(q) = -q**3 - q**2. Let l be y(0). Suppose -a + 1 = -l, -d*f + 4 = -2*a. Solve f*b - 8 = -b for b.
2
Suppose 8*b = -60 + 68. Solve a + 0 - b = 0 for a.
1
Let h(g) = g**3 + 9*g**2 + 9*g + 7. Let w be h(-8). Let s = w - -6. Solve -s*d + 3*d = -2 for d.
1
Let g be (3 + (-3)/15)*-5. Let j = -9 - g. Suppose -j*a + 2*w + 69 = 0, 3 = -4*w - 5. Solve -1 = -4*u - a for u.
-3
Let b(p) = p**2 - 6*p - 6. Let v be b(8). Suppose 3*s = v + 11. Solve 2*f + 5 = s*f for f.
1
Let j = -1 - -4. Let l(y) = 3*y + 13. Let m be l(-4). Solve -m = 4*a - j*a for a.
-1
Suppose 3*n = 3*q - 6, 3*q - 3*n - 2 = n. Solve -j - q = -2 for j.
-4
Let a(b) = b. Let f(z) = -2*z**3 + z**2 - 8*z + 1. Let g(y) = -6*a(y) - f(y). Let m be g(1). Solve i + m = -2 for i.
-4
Let f(h) = h + 3. Let s(d) = d**3 + 10*d**2 - 10*d + 11. Let j be s(-11). Let r be f(j). Solve r*k + 12 = -0*k for k.
-4
Let r = 30 - 23. Solve -4*n + 27 = r for n.
5
Let r(n) = -2*n**2 + n**2 + 2*n**2 - 8*n - 2*n**2 + 5. Let q be r(-8). Solve -3*h = q + 10 for h.
-5
Let p(u) = u**3 + 4*u**2 - 6*u + 3. Let b be p(-5). Solve -b*x + 4*x = 20 for x.
-5
Let j(q) be the first derivative of 2*q**3/3 - 5*q**2/2 - 2. Let v be j(4). Solve -3*z - v = -6*z for z.
4
Suppose -5*h = 21 - 141. Solve -5*n = 1 + h for n.
-5
Let w(u) = u**3 + 7*u**2 + 3*u - 18. Let c be w(-6). Solve -3 + c = j for j.
-3
Let y(u) = -u**2 + 12*u - 10. Let l be y(10). Let c = -6 + l. Solve c = 2*f + 8 for f.
-2
Suppose -6*q = -8*q. Solve x + q*x - 3 = 0 for x.
3
Let u be (4/(-6))/(1/3). Let i be (5/u)/(1/(-2)). Suppose 2*k = -5*t + 44, t = -5*k + 9*k. Solve 