6*n + o*n for n.
0
Let f(p) = p**3 + 4*p**2 - p + 1. Let y be 1/(-2) + 14/(-4). Let s be f(y). Solve 5*h = -0*h - s for h.
-1
Suppose 4*l + 60 = 8*l. Solve l = -0*o + 3*o for o.
5
Let l be -2 + -1 - (-2)/((-2)/(-5)). Suppose -12 = -0*c - 3*c. Suppose l*w + h + 2*h = 16, 36 = c*w + 4*h. Solve -4*r = w + 1 for r.
-3
Let w = 4 + -1. Solve w*r = -19 + 7 for r.
-4
Let u(l) = 7*l - 3. Let q be u(1). Solve 6 = q*p - p for p.
2
Let h = 36 - 32. Solve n = -h*n - 25 for n.
-5
Suppose -5 = 2*y - 15. Suppose -2*s + 4 = -0. Solve z - s*z + y = 0 for z.
5
Let b(k) = -k**2 + 4*k - 4. Let c be b(4). Let i = 4 + c. Suppose -4*t = -4*f + 8, i*f = -t - 3*f + 18. Solve 0 = -g - t*g + 16 for g.
4
Let o be (-6)/(-3) - (-2)/(-2). Suppose -g - 21 = -2*a, 3*g = -o - 2. Solve a*r = 5*r + 25 for r.
5
Let l be (-11)/9 + (-12)/(-54). Let i(p) = -2*p. Let u be i(l). Suppose -4*x = -3*z - 6, -z - 4*z - u*x + 16 = 0. Solve -3*g - z = -5*g for g.
1
Let k(t) = t**2 + 8*t + 3. Let z be k(-5). Let a = -5 - z. Solve -a = -3*w + 8 for w.
5
Suppose -3*b - b = 0. Let y(x) = x**3 - x**2 + x + 2. Let v be y(b). Solve -5 = t - v*t for t.
5
Suppose 0 = 5*v - 3*o - 4 - 17, -2*v + 4 = o. Let y be v*(11/3 + 1). Suppose 2*m - y = -3*m + r, r + 2 = m. Solve n = -2*n - m for n.
-1
Suppose 0*r = 5*r - 2*w - 38, -2*r + 2*w = -20. Solve 26 = -5*l + r for l.
-4
Let i(c) = 2*c. Let r be i(1). Let m be 6/(-5)*(r + -7). Suppose -m*b + 2*b = 0. Solve b = 2*t + 7 + 1 for t.
-4
Suppose 3*f = 5*k - 0*k - 52, 5*f + k + 40 = 0. Let c(m) = -8 + 0 + 18 + 2*m**2 - m**2 + 10*m. Let v be c(f). Solve -v = 3*r + 5 for r.
-2
Suppose -2*b + 6*b = 4. Suppose -b = -z + 11. Suppose 5*p + 48 = 4*j, 2*j = 4*p + 18 + z. Solve 0 = -j*a + 3*a for a.
0
Suppose 3*q + 2*q + 5*a - 10 = 0, -2*q + 4 = 4*a. Suppose 0 = -q*b - 0*b. Solve -2*t = -b*t for t.
0
Let z(j) = -j**3 - 6*j**2 - j + 4. Let t be z(-6). Let h = t + -7. Suppose 3*g = p + 2, -g + 2*p = -0*p + 6. Solve -h*c = -g*c for c.
0
Suppose -y - 4*y - 2*v = -9, 4*v - 13 = -5*y. Suppose -y = -j + 1. Solve -1 + j = t for t.
1
Let n(d) = d**3 - 19*d**2 + 20*d - 36. Let z be n(18). Solve z = 10*l - 6*l + 4 for l.
-1
Suppose 4*l - 4*g + 2*g - 16 = 0, 5*l - 4*g - 14 = 0. Let v(x) = -x**3 + 7*x**2 - 5*x + 1. Let w be v(l). Solve -2*z = -w*z for z.
0
Let b(p) be the third derivative of 7*p**4/12 + p**3/6 - 3*p**2. Let h be b(1). Suppose 4*x + 11 = 3*j + 3, 5*j + x - 21 = 0. Solve -j*u + h = -u for u.
5
Let f be (-36)/(-3)*2/3. Suppose -5*s - 5*w + 5 = 0, -2*s - 4 - 4 = 4*w. Suppose -4*z - 4*d = -f, z - 3*d = -3*z - s. Solve z = -t - 2*t + 3 for t.
1
Let h(w) = 4*w**2 + 13*w - 2*w**2 - w**2. Let l be h(-13). Solve -3*a = -l*a + 9 for a.
-3
Let o(r) = 9*r - 2. Let b be o(2). Suppose 0 = 3*l - 5*q - 50, 0 = -l - l - q + b. Solve -6*k + l = -k for k.
2
Let l be -1 + 10/2 + -2. Suppose 12 = -2*j + 6*j - l*r, 3*j - 6 = 3*r. Let h = j - 2. Solve 0*o = o - h for o.
2
Let h(k) = k**2 + 7*k - 6. Let r be h(-8). Let m be -1*(2 + (r - 6)). Solve 3 = m*p + 1 for p.
1
Let f be 24/10 + 2/(-5). Suppose -z + w = f, z + z + 2*w = 8. Let s be (2 - z) + (3 - 2). Solve c + c = s for c.
1
Let j = 83 - 79. Solve 0 = -7*r + j*r + 3 for r.
1
Let c = -10 + 2. Suppose -2*b = -4*z + 10, -10 = 5*z + 5. Let j = c - b. Solve 16 = j*l + l for l.
4
Let h be (45/(-27))/(((-50)/(-12))/(-5)). Solve -h*z + 2 = 4 for z.
-1
Let q be (2/5)/((-1)/(-30)). Solve -g = 2*g - q for g.
4
Let y(z) be the second derivative of -z**5/20 - z**4/2 - z**3/3 - 3*z**2 + z. Let d be y(-6). Let t be (-3)/(-6)*d*1. Solve -t = -s - 0*s for s.
3
Suppose -2*x - 2*x = -3*a + 68, x + 22 = a. Suppose -2*v - a = -3*v. Solve -2*p - v = -6*p for p.
5
Let s = -8 + 8. Let d = 3 - s. Suppose 14 = d*v - v. Solve 0 = -2*g + v*g for g.
0
Let a = 1 - -4. Suppose -q + 19 = -3. Suppose -y = -4, -a*y + y + q = 3*f. Solve f*w + 4 = -2*w for w.
-1
Let v(d) = d**2 + 6*d - 6. Let o be v(4). Suppose 8 = -2*p + o. Let l = -15 - -48. Solve -4*r - l = -p for r.
-5
Let p(t) = t**3 + 7*t**2 + 4*t - 8. Let r be p(-6). Suppose 3*j - 24 = -0*i - r*i, 4*j + i - 32 = 0. Solve 0*a = 4*a - j for a.
2
Suppose 5*w - 3*w - i = 4, -w + 5*i + 11 = 0. Solve 4*a - w = 5*a for a.
-1
Suppose -24 = -4*v + 3*j, -6*v + 4*j + 12 = -4*v. Solve -2 + v = o for o.
4
Suppose 30*o - 26*o = 0. Solve -u - 5 = -o*u for u.
-5
Let f be 32/20*5/2. Suppose i = f*i - 12. Solve i*x - 2 = 2*x for x.
1
Suppose -3*g = 2*q - 20 - 17, g = 5*q - 101. Let r = q - 10. Let b = 9 - 6. Solve 4 = b*f + r for f.
-2
Let g(a) = -27*a**2 + 2*a - 1. Let j = 4 - 3. Let t be g(j). Let y = t + 46. Solve y = -5*i + 5 for i.
-3
Let b = -39 + 41. Solve -2*q + b - 10 = 0 for q.
-4
Let f(j) be the second derivative of j**5/20 - j**4/4 - 2*j**3/3 + 2*j**2 + j. Let s be f(4). Suppose -13 = -6*m + 17. Solve -s = -h + m*h for h.
-1
Let v(c) be the second derivative of -c**4/12 + 3*c**3/2 + c**2/2 - 2*c. Let i be v(9). Solve -z + 0 - i = 0 for z.
-1
Let g be (8/6)/(-2)*-9. Let y be 4/g - 4/6. Solve -x + 3 - 8 = y for x.
-5
Let f(b) = -b**3 - b**2 - b + 1. Let r(a) = -3*a**3 - 9*a**2 - 10*a. Let k(g) = 4*f(g) - r(g). Let i be k(6). Solve -8*u = -i*u - 20 for u.
5
Suppose -2*g = 14 + 2. Let x = -8 - g. Solve 0*n - n - 1 = x for n.
-1
Let z(t) = 7*t**2 - 10*t - 5. Let y(l) = -6*l**2 + 10*l + 5. Let a(b) = -6*y(b) - 5*z(b). Let f be a(11). Solve 4*r + 10 + f = 0 for r.
-4
Suppose -3*z + 2*z - 8 = 0. Let a be z*((-2)/4)/1. Solve -u + a + 1 = 0 for u.
5
Let p = 3 - 5. Let j = 8 + p. Solve 8 = -j*g + 4*g for g.
-4
Let y = 5 + -3. Let n be -4 + 6 + (1 - 1). Suppose 0 = n*t + 3 - 11. Solve -y*w = -t*w for w.
0
Let u(v) be the third derivative of v**7/2520 + v**6/240 + v**4/24 + v**2. Let q(s) be the second derivative of u(s). Let y be q(-4). Solve -c = -y*c for c.
0
Suppose 4*k = k + 33. Let t = k - 8. Solve 8 + 1 = -t*a for a.
-3
Let p(g) = -g**2 + 11*g - 5. Suppose -5*d + 3 = -2*s - 47, 0 = 4*s. Let y be p(d). Solve -4*n + y*n - 1 = 0 for n.
1
Suppose -1 = -b + 3. Suppose -3*m - 2 = -b*m. Let f be 3/(m*-3)*0. Solve 2*d - 7 + 1 = f for d.
3
Suppose 2*m = 2 - 10. Let a(z) = z**3 + 5*z**2 + 4*z + 6. Let q be a(m). Suppose -q*u = -2*u - 12. Solve j = -u*j + 4 for j.
1
Suppose 7 = 4*v - 5. Let c be 0/(2 - (-3 + 2)). Solve -12 = -v*w - c for w.
4
Suppose f + 16 = 9*f. Solve 5 = f*j + 15 for j.
-5
Let v = -1 - -4. Let c be v - (2 - -19)/(-3). Solve 0 = -5*t - c - 5 for t.
-3
Let f(t) = t**3 + 2*t**2 - 5*t + 2. Let v be f(-4). Let s = v + 7. Let y(q) = -q + 1. Let z be y(s). Solve 3*d = -d - z for d.
-1
Suppose 0 = -4*v + 98 - 34. Solve 2*r = -2*r + v for r.
4
Suppose -2*q + m - 4*m + 17 = 0, 12 = q - 2*m. Suppose 6*d - q = d. Suppose 0 = -5*f - 3*o, -3*f = -5*f + 4*o + 26. Solve 0 = f*v + d*v for v.
0
Let r be (25/(-10) - -2)*0. Solve -4*q + 0 - 16 = r for q.
-4
Let g = 1 + 1. Suppose -r = g*r - 24. Solve -4*a = -2*a + r for a.
-4
Suppose -4 = 7*v - 67. Solve v = 3*l - 6*l for l.
-3
Suppose -m + 0*i = 5*i + 27, -1 = -2*m + i. Let t = m + -2. Let w be 3/t - (-3)/4. Solve 0*b - 3*b + 6 = w for b.
2
Suppose s + 4*s + 10 = c, -4*s + 21 = 5*c. Suppose c*i = 3*a + 25, -a - 2*i = -3*a - 10. Suppose -3*z - 2*z = a. Solve -j + z*j - 4 = 0 for j.
-4
Let f be -1*(4 - (0 + 11)). Solve 0 = -5*w - f - 8 for w.
-3
Suppose b = -u, 7*b = 3*u + 4*b + 30. Let d be ((-2)/u)/((-1)/(-10)). Solve -d*q = q - 20 for q.
4
Let j(u) be the third derivative of u**6/120 - u**5/60 + 5*u**3/6 + 2*u**2. Suppose -4*d = -6*d. Let m be j(d). Solve -7 = -m*a - 2 for a.
1
Let z be (-9 + (-3 - -2))/(-2). Suppose q + z = -m - m, -50 = -5*q + 5*m. Solve -3*j - 14 = -q for j.
-3
Let i(x) = -x - 1 + x**2 - 7 - 2*x**2. Let u be i(0). Let s = -6 - u. Solve 0 = 4*f - s*f - 2 for f.
1
Let l(v) = -v**2 - 10*v - 9. Let m be l(-8). Suppose m = 3*o - 5. Solve 0 = -2*d + o - 0 for d.
2
Let i be ((-4)/(-5))/((-2)/(-5)). Let f(k) = 3*k + 69. Let v be f(-22). Solve -w = -v - i for w.
5
Suppose -4*y + y + 17 = x, 4*x = 3*y + 23. Solve 2*w + 2*w = -x for w.
-2
Suppose 4*s + s = 30. Let p = s + -3. Solve p*n - 6 - 3 = 0 for n.
3
Let u(c) be the second derivative of -1/20*c**5 - c + 0 - 3*c**2 + 5/6*c**3 - 1/2*c**4. Let d be u(-7). Solve 5*w - 3*w - d = 0 for w.
4
Let w be 1/2 + (-120)/(-48). Solve d + 1 - w = 0 for d.
2
Let f be 5/(24/(-9) + 3). Solve 3*o = 6*o - f for o.
5
Let j = -51 + 54. So