*n - 8 for n.
-2
Let g(u) be the third derivative of u**4/24 + u**3/3 + 6*u**2. Let t be g(2). Solve 0*d = -t*d + 12 for d.
3
Suppose -2*o = -7*o, -2*o = -p + 4. Let k be (-498)/(-9) - 1/3. Suppose -5*i + k = 5*h, h = i - p*h - 5. Solve -d = -6*d + i for d.
2
Let p be ((-9)/6)/((-3)/6). Suppose -k - 4 = -p*k. Let q = 1 + k. Solve 4*y + q = 23 for y.
5
Let u = 15 - 13. Solve u*g + 3 - 7 = 0 for g.
2
Suppose m - 5*y = -2*y, -5*y + 5 = 0. Solve -m = g + 2*g for g.
-1
Let y be (34/(-51))/((-1)/6). Solve -y*k = -k + 6 for k.
-2
Let d(w) = -4*w - 6. Let q be d(-2). Solve -3 - q = b for b.
-5
Suppose 0 = -0*c - 5*c + 10. Solve 4 = c*b + 14 for b.
-5
Let m = 41 - 28. Let t = m + -9. Solve -5*p = -3*p - t for p.
2
Let v(o) = -o - 6. Let k be v(-6). Let s = 3 - k. Solve 0*w + s = -3*w for w.
-1
Let m be (-4)/(-3)*(-21)/(-14). Suppose -g - m*g + 24 = 0. Let c(v) = v**2 + 10*v + 3. Let u be c(-10). Solve u*p = g*p + 20 for p.
-4
Let b(u) be the third derivative of -u**6/120 + u**5/10 - 5*u**4/24 + u**3/2 + 2*u**2. Let s be b(5). Solve 5*m = -2 - s for m.
-1
Suppose 2*b = 2*w - 2, 2*b - 22 = -7*w + 3*w. Suppose -9 = f - w*f. Solve -z + f*z = -2 for z.
-1
Let o be ((-2)/(-3))/((-2)/(-6)). Suppose 2*h = 4*h - 2. Let f be (h - o - -1)*-1. Solve x + x = f for x.
0
Let l be 1/(-4) + (-82)/(-8). Let o = -5 + l. Suppose 2*m + b = m + o, 20 = -5*b. Solve m + 16 = -5*v for v.
-5
Let s = 1 - 1. Let c(j) = j + 10. Let i be c(-8). Suppose 0 = -i*x - 3*x. Solve s = -l - x + 1 for l.
1
Suppose -2 = -t + 1. Suppose w + 0*w = t*b + 10, w - 5 = -2*b. Solve 5*c = w - 2 for c.
1
Suppose -4*r + 8 = 2*n - 6*n, -3*r - 2*n = -21. Solve r*o = o + 12 for o.
3
Let u(h) = h**3 + 10*h**2 + 5*h - 21. Let m be u(-9). Solve m = a - 6*a for a.
-3
Let r(j) = j - 5. Let g = -6 + 10. Suppose -3*k - g + 31 = 0. Let z be r(k). Solve 2*c - 4*c + z = 0 for c.
2
Let p be (2/4)/((-2)/(-8)). Solve -p*j + 3*j = 1 for j.
1
Suppose 0*q = -q - 14. Let l = q + 16. Solve -l*k - 2*k = -20 for k.
5
Suppose h - 3 - 10 = -3*r, 33 = 5*r - 4*h. Suppose s - r*s = -4. Solve d = s + 3 for d.
4
Let l = 63 + -61. Solve 12 = -l*a - a for a.
-4
Let k(j) = 4*j + 5. Let g(y) = 3*y + 4. Let z(f) = 3*g(f) - 2*k(f). Let q be z(2). Solve q = 3*p - 2 for p.
2
Let b be -3 + 3 + -2 + 3. Solve -4*p = b - 13 for p.
3
Let s(y) = y**2 + 3*y + 9. Let q be s(-6). Suppose 0*o + 3*o = q. Solve -3*r = -0*r + o for r.
-3
Let m = 88 - 88. Solve 2*b + 10 = -m*b for b.
-5
Suppose 0*u + 2*u = -2*s + 14, -5*s = -2*u - 7. Let f(v) = 1 + 4*v + 1 - s. Let k be f(2). Solve k*o = 2*o - 20 for o.
-4
Suppose 0 = -2*y - 4*n + 20 - 0, -10 = -2*n. Let i = -2 + 4. Solve y = -t - i for t.
-2
Let c = 7 + 2. Suppose 13 = 2*x + c. Solve 0 = -x*l + l + 5 for l.
5
Let f = 65 - 63. Solve 0*a - 2*a = f for a.
-1
Let n(z) = -2*z - 7. Let y be n(-5). Suppose 5 + y = 4*t. Let u be 20/2 - -1 - t. Solve -3*d - u = -21 for d.
4
Let m = 3 + -3. Suppose 4*t + m*t = 0. Solve -16 = -t*y + 4*y for y.
-4
Let q(j) be the second derivative of j**4/12 - j**3/2 - j. Let y be q(3). Let h be ((-2)/4)/(4/(-80)). Solve 0*l + 5*l - h = y for l.
2
Let f = -17 + 21. Solve 0*a + 2*a - f = 0 for a.
2
Let b be 3/((-18)/(-15))*2. Solve b*k - 6 = 3*k for k.
3
Let m(y) = 2*y - 5. Suppose 9 = 5*i - 11. Let s be m(i). Let h(z) = -z**3 + z + 5. Let d be h(0). Solve -s*t + 10 + d = 0 for t.
5
Let b be 28/8 - (-2)/(-4). Suppose 2*d + 16 = -q + b*q, 5*q - 16 = -3*d. Suppose v - 4*a + 9*a - 5 = 0, q*a - 5 = v. Solve 0*x - 2*x + 6 = v for x.
3
Let a(m) = -16*m + 12. Let v be a(6). Let d be (-3 + -1)*v/48. Let j = -19 + 36. Solve j = 2*t + d for t.
5
Let t = -6 - -7. Let f be 0 + 4*t/2. Solve f*g + 2*g - 8 = 0 for g.
2
Let j be (5 - -1)*2/4. Suppose -3*w - 9 + 21 = 0. Suppose 0 = 5*c + 2 - 12. Solve 0 = -j*o + c*o - w for o.
-4
Let y = 0 + 2. Let m(z) = -z**2 + 8*z + y*z**2 - 2*z**2 + 3. Let o be m(7). Solve -2*h = -0*h + o for h.
-5
Let m = -12 + 5. Let q(s) = s**3 + 4*s**2 - 4*s - 4. Let x be q(-4). Let z = m + x. Solve z*n = 7 + 3 for n.
2
Let n = 13 + -8. Suppose r = -n*p, 4*p = -r - r. Solve p*i = -i + 4 for i.
4
Suppose u - 2*u = 0. Suppose 2*s = s + 5. Suppose s*j + g = -g + 25, 0 = -2*j - g + 9. Solve 4*v + 13 + j = u for v.
-5
Suppose 5*c + 4 = 14. Solve 3 = -c*o + 5 for o.
1
Suppose 3*z + 3*h + 2*h = -19, 4*h = -2*z - 16. Suppose -t - 1 = -z*t. Solve n = -4 + t for n.
-3
Let h = -22 + 15. Let t = -3 - h. Solve -t*w - 1 = 3 for w.
-1
Let q be (4/(-12))/(1/(-12)). Solve -q*z - 9 = 7 for z.
-4
Suppose a - 2*r - 1 = 0, 3*r + 29 = a - 5*a. Let t = -2 - a. Suppose -28 = -3*o + 5*q, -4*o + 8 = -t*o - q. Solve -o = -7*p + 4*p for p.
2
Suppose -4*f + 0*f + 340 = 0. Suppose -5*v - 2*m = -0*m - f, 3*v - m = 40. Let g = -64 - -70. Solve 0 = 3*r - g*r + v for r.
5
Let f be (-1)/3 + 13/3. Suppose 0 = -5*i - 10, d + 4*d + i - 13 = 0. Suppose 2*m + 3*w - 9 = 0, w = -2*m - d*w + 8. Solve f*g - 2 = -m for g.
-1
Let y(s) = s - 10. Let u be y(12). Let p be u + (-3 - -3) + 1. Solve -p*x = 1 + 8 for x.
-3
Suppose 2*z + 104 = 5*o, 4*o + 2*z - 4 = 72. Suppose -5*u = -u - o. Solve -u*x + 4*x = 0 for x.
0
Let r be (-2 - -1)/(3 + -4). Let j be 2 - ((0 - 1) + r). Solve -j*f + f = 0 for f.
0
Suppose 3*i + c - 16 = 9, -4*c = 2*i - 30. Suppose 0 = -4*j + 4*b - 3 - 1, 2*j + 2*b - 2 = 0. Let z = j + 3. Solve z = 5*v - i for v.
2
Suppose 5*g + 3*i = -6, -4*g + 0*g + 2 = -i. Suppose g*h - 3*h = 0. Let r = -259 - -262. Solve h = r*w - w + 4 for w.
-2
Let w be (-5)/(-20) - 39/(-4). Let a = w - 7. Solve -p - a + 0 = 0 for p.
-3
Let p = 3 + -6. Let a be p/(-2)*20/6. Let w(f) = 2*f + 15. Let s be w(-7). Solve -a*y = -21 + s for y.
4
Let w(r) = 2*r + 3. Let x(j) = 3*j + 7. Let g(k) = 10*w(k) - 6*x(k). Let y be g(7). Let i be 76/10 - (-6)/15. Solve 0 = y*s - 4*s + i for s.
4
Let n be (-3)/(2 + 1) - -6. Let t be (1 + -1 + 0)/1. Let k = t + n. Solve p - k = -0*p for p.
5
Let a = -1 + 4. Solve -6*b + 3 = -a*b for b.
1
Suppose 3*w - 12 = 5*k, -3*w - 4*k - 16 = -7*w. Let d = w + -1. Solve -d*i + 2 = -1 for i.
1
Let i(g) = g**2 + 9*g + 16. Let z be i(-7). Solve z - 3 = -q for q.
1
Let x be 3 + -1*23/1. Let b be ((-30)/25)/(6/x). Solve -i + 10 = b*i for i.
2
Let c(q) = -q**3 + 7*q**2 + 9*q - 3. Let i be c(8). Solve -i*u + 6*u - 1 = 0 for u.
1
Suppose 18 = 4*t + t - 2*o, 0 = 2*t + o. Suppose 5*w = -3*l + 16, -t*l + 1 + 3 = 0. Let i be w/(-8)*2*-6. Solve -i*u - 3 = -0*u for u.
-1
Let k(m) = -m**3 + 6*m**2 - 2*m + 7. Let y be k(6). Let o = y + 5. Solve o*v - 4*v = 0 for v.
0
Suppose -2*t = -0*t - 4. Let k be (t + (3 - 6))*-3. Solve 5*j = 2*j - k for j.
-1
Let t be -18*(1 + (-26)/6 - -3). Solve -16 = 5*p - t for p.
-2
Let u be (-54)/(-45)*(-25)/(-3). Solve 3*h + u = h for h.
-5
Let j = -2 - -7. Let r = j - 0. Let z = 3 - 3. Solve r*p - 4*p - 3 = z for p.
3
Suppose -4*m + 0*m - 4*t + 12 = 0, -4*t + 13 = 3*m. Let q be (7/7)/(m/(-4)). Solve 8 + 4 = -q*v for v.
-3
Let b(n) = n + 2. Suppose 5 = -4*r + 13. Let v be b(r). Solve -u + v*u - 12 = 0 for u.
4
Suppose -3 = 5*l - 3*v - 4, 4*v - 10 = l. Solve -l*a + 8 = -6*a for a.
-2
Let b(i) = -i**2 + 5*i - 10. Let m be b(4). Let x be 14/(-21) + (-16)/m. Solve -g - 3 = x*g for g.
-1
Let w = -1 + 1. Solve -2*t - 4 + 0 = w for t.
-2
Suppose -q + 10 = 3*f, -25 = -2*f - 0*q + 3*q. Solve 15 = -f*j - 10 for j.
-5
Let i(k) = -8 - 3*k + 4*k + 7. Let f = 0 - -1. Let v be i(f). Solve v = 3*w - w for w.
0
Let c be (-1 - -1)/(1 - -1). Suppose -75 = -3*i - c*i. Solve -5*j + 0*j + i = 0 for j.
5
Let z be 34/4 + 21/14 + -2. Solve 7 = -5*o - z for o.
-3
Let h(m) = m**3 - 14*m**2 - 15*m + 4. Let p be h(15). Solve -4 - p = 2*v for v.
-4
Suppose -2*t - t = 6, 0 = 2*o + 2*t + 4. Let w be o + 8 + (-9)/3. Solve 0*x - 25 = w*x for x.
-5
Let o(a) = a**2 - 7*a - 1. Let s be o(6). Let r be (-16)/s - (-6)/(-21). Suppose 0 = -r*h + 6*h. Solve 4*z - 3*z = h for z.
0
Let w(l) = -l**2 + 11*l - 1. Let b(y) = y + 1. Let u(q) = 3*b(q) - w(q). Let i be u(8). Solve 18 = i*v - 2 for v.
5
Let t(m) = -m**3 + 16*m**2 + 18*m - 15. Let y be t(17). Solve 9 + 1 = -y*x for x.
-5
Suppose -m + 3 + 5 = 0. Suppose 0 = 3*u - m*u + 140. Solve 0 = 5*n - u + 8 for n.
4
Let z(x) = -x**2 - x + 5. Let a be z(-2). Solve -2 = -a*w + 10 for w.
4
Suppose 0 = n + 2*n. Let d be (14/(-4) + 3)*n. Solve -2*l + 1 - 9 = d for l.
-4
Let m be (-10)/(-18)*-3*-3. S