Solve 0 = a*o - 4*o - 27 for o.
3
Let o(k) = 14*k - 4*k - 8 + 10. Let z = 73 + -72. Let n be o(z). Solve 0 = -4*m + m + n for m.
4
Let s(r) = -2 - 2 - 5*r + 4*r**2 + 1 - 2. Let f be s(-1). Let b = 8 - f. Solve -b*x + 3 + 17 = 0 for x.
5
Let k(h) = -32*h**2 - 451*h + 1. Let r be k(-14). Solve r = -38*z + 271 for z.
6
Let t(v) = -2*v**3 + 7*v**2 + 104*v + 15. Let k be t(9). Solve 15*r = -15*r - k for r.
-2
Let r be 6/(-4)*(12/(-3))/2. Let k be (-1 + r - 3)*-2. Suppose 5*u - 31 = -3*s, 5*u = k*s + 6 + 15. Solve -h = -u*h for h.
0
Let r(n) be the first derivative of -2*n**2 - 19*n + 1. Let b = -381 + 375. Let s be r(b). Solve -s = 3*x + 1 for x.
-2
Let r(v) be the second derivative of -v**6/144 - 7*v**5/30 - 7*v**4/12 + 9*v. Let f(c) be the third derivative of r(c). Let m be f(-6). Solve 4 = m*a - a for a.
4
Let q(a) be the third derivative of -a**4/6 - 12*a**3 + 13*a**2. Let p be q(-18). Solve 5 = -p*c + 5*c for c.
1
Let z(p) = 93*p + 126. Let c be z(-3). Let h be (c/(-45))/((-2)/(-20)). Solve h*q = 29*q - 25 for q.
-5
Let k be (0/(-5) + -14)*(-12)/(-14). Let j be (-4 - -1)/(2/k). Suppose 18 = -j*f + 24*f. Solve f*l = -l for l.
0
Let r(l) be the first derivative of l**2/2 + 10*l + 278. Let p be r(-3). Solve -z = p - 4 for z.
-3
Let p be (-1 - -3 - 1)*201/(-1). Let a = 205 + p. Solve a = -0*x - x for x.
-4
Let a be (0 - 16)*66/132. Let f be 1*(2 + (-10 - a)). Solve -3*t - 9 = -f for t.
-3
Suppose -3*i - 69 = -x, -2*i + 14 = -0*i. Solve -x = 75*g - 60*g for g.
-6
Let j = 214 + -176. Let r be j/9 + (-170)/765. Suppose -3*q + q = -4. Solve -q*m - 8 = -r*m for m.
4
Let m be 11/3 + 2706/(-738). Solve m = 78*g - 80*g + 2 for g.
1
Suppose 4*j = -27*j + 899. Solve 24 = -21*a + j*a for a.
3
Let q be ((-1)/2)/(5/(-6850)). Suppose 25 = q*b - 680*b. Solve 0*m + m = -b for m.
-5
Suppose -17*s + 1657 = 705. Solve 0 = 6*l + 38 - s for l.
3
Let n be (-6)/15 + (-54)/(-10). Suppose -5*v + 8*c - 4*c = 120, n*v - 3*c = -120. Let w = v + 27. Solve w*t + 3 = -0 for t.
-1
Let a(p) be the first derivative of p**4/4 + 4*p**3 + 8*p**2 + 14*p + 12. Let t be a(-10). Let z be (t/(-3))/(-3)*2. Solve -3*l = -3 + z for l.
-3
Let y(b) = -3*b**3 - b + 2. Let g be y(-3). Let f = g + -98. Let h be -1 + 6 - (14 + f). Solve 1 = -h*c + 4 for c.
1
Let y(i) = i + 2. Suppose 3*j = -4*b, -11 = -5*b - j - 0. Let z(v) = -2*v + 1. Let d(f) = b*y(f) + z(f). Let t be d(-7). Solve t = -0*m - 2*m + 2 for m.
1
Let o = 685 + -703. Let q(k) = k**3 + 18*k**2 + 3*k + 64. Let z be q(o). Solve -z*r + 7 = -3 for r.
1
Let z = -107 + 169. Let a(b) = b**3 - 9*b**2 - 6*b + 14. Let n be a(10). Let m = z - n. Solve 3*h + m = 7*h for h.
2
Let y = 299 - 264. Suppose o + 5*r = -4*o + 25, -2*o = -3*r - y. Solve -7*s = -5*s - o for s.
5
Suppose -42*f + 437 + 63 - 122 = 0. Solve -11 = -f*k + 16 for k.
3
Suppose 0 = -21*r + 15*r + 12. Suppose -1 - 62 = 9*i. Let s = i - -10. Solve r = s*n + 14 for n.
-4
Suppose -5*m = 25, 3*q - 160 = 202*m - 197*m. Solve q*j = 318 - 3 for j.
7
Suppose -4*s - 184 = -3*s. Let o be 1/(2*(4/s + 0)). Let n = -23 - o. Solve n*l - 6 = 2*l for l.
-3
Let y = -25704 + 25734. Solve 77*j = 87*j + y for j.
-3
Let t = -3 - -5. Suppose 0 = -2*m + 2*d - 6, -4*m + 2 + 21 = 3*d. Let i(g) = 467*g - 10274. Let h be i(22). Solve -m*j + j + t = h for j.
2
Let b(l) = -2*l**3 + 13*l**2 + 10*l - 3. Let r be (2/(-4))/((-2)/(-4)). Let d be b(r). Solve c = d*c for c.
0
Let q(z) = -z**2 - 5*z + 2. Let t be (10/6)/(14/(-42)). Let a be q(t). Let h be 248/434*(1 + (-66)/(-4)). Solve 0 = -a*v + 4*v - h for v.
5
Let g(j) = 4*j**3 - 2*j**2 + j. Let z be g(1). Let f(n) = n + 1. Let d be f(1). Suppose -d*c - 2*c = -2*c. Solve z*i + c = 6 for i.
2
Suppose 0 = m - 19*h + 16*h - 5, -4*m + 84 = 4*h. Suppose 12*i = m*i - 50. Solve 18 = 4*d + i for d.
2
Suppose 4*m - 193 = -5*o, -109 = -3*m - 2*o + 34. Let h be ((-135)/(-18))/(6/(-36)). Let t = m + h. Solve t*d + 3 = -3 for d.
-3
Suppose 2*u + 41*u = -1584 + 4508. Solve 66*f - u*f + 6 = 0 for f.
3
Let t(d) = 3*d**2 - 9*d + 1. Let p be t(-7). Let j = 215 - p. Solve -7*q = -j*q - 3 for q.
1
Let h be ((-798)/(-56))/(((-12)/80)/((-4)/20)). Solve 0 = h*t - 3*t + 32 for t.
-2
Let h = 6999 + -6993. Solve 4*p - 22 = h for p.
7
Let q be (1 - 4) + (13 - (-3120)/8). Let h = q + -391. Solve -2*v + 3 = h for v.
-3
Suppose 0*y = 4*y - 228. Suppose -4*w = 3*f + f - 52, -y = -3*f + 3*w. Suppose 75*a - f = 71*a. Solve 2 = -a*d + 3*d for d.
-2
Suppose -14*f = p - 16*f + 13, 0 = 4*p - 2*f + 52. Let o = p - -17. Solve 3*x + 4 = o*x for x.
4
Suppose 10*t - 8*t - 3 - 23 = 0. Solve t + 5 = -18*l for l.
-1
Let j = -302 - -304. Let a(u) = -u**3 + 2*u**2 + 3*u + 1. Let q be a(j). Solve -3*b - 8 = q for b.
-5
Let u(l) = l**3 - 4*l**2 + 6*l - 7. Let m(p) = p - 20. Let q(b) = 22*b**2 - 5*b - 4. Let t be q(-1). Let j be m(t). Let i be u(j). Solve -8 = i*c - 0 for c.
-4
Let i = 14434 + -14362. Solve -33*j + 9*j - i = 0 for j.
-3
Suppose -110*y + 102 = -93*y. Solve 0*h + y = -3*h for h.
-2
Let s be 9 + (3 + -6 - -6). Suppose 0 = -0*f + f + s*f. Solve f = 6*o + 10 - 40 for o.
5
Let z(v) = -v + 2. Let w = -64 - -84. Let c be (10/4)/(25/w). Let l be z(c). Solve l = -3*m - 2 - 1 for m.
-1
Let b be -1 - (-5 + -9 + 13). Solve -3*k + 18 - 15 = b for k.
1
Suppose -52 = -11*u + 1257. Solve 107*t - u*t = -36 for t.
3
Let i = 771 + -394. Suppose i*x = 371*x + 72. Solve -x*a = -9 + 21 for a.
-1
Let u(d) = 2*d**3 - 2*d**2 + 4*d - 2. Let h be u(4). Let r = h - 79. Let j = r - 28. Solve -j = k - 7 for k.
4
Suppose 0 = -3*y - 15, -20 + 18 = a - 2*y. Let i be ((-2 - 0) + 0)*a/6. Solve -9*w - i = -8*w for w.
-4
Suppose -p = -4*c + 365 - 354, -3*p - 22 = -c. Solve -21*x - c = 20 for x.
-1
Suppose -g + 8 = 5*w, 2*g = 4*g + 4. Let f be (w + 3 + 37)*(-6)/(-7). Suppose f = 9*r - 6*r. Solve 17*i - r*i = 0 for i.
0
Let s be (2 - 16/7)/(9/(-63)). Let n be -6*2/(s*(-12)/(-8)). Let q = n + 16. Solve 0*f = -3*f + q for f.
4
Let n(l) = l**3 - l + 5. Let u be n(0). Suppose 9*b = -10*b - b. Suppose 5*k = 10 + 15. Solve k*w - u = -b*w for w.
1
Let h = -30065 + 30075. Let a = 4 + 9. Solve -6 = -a*x + h*x for x.
2
Suppose 0 = 19*d - 37*d - 108. Suppose z + 110 = -z. Let h be z/(-15) + 4/d*1. Solve x + 4 = h*x for x.
2
Let t(m) = 64*m**2 - 30*m - 1. Let q be t(1). Suppose -2*v - w = -q, 0*v = 3*v + 4*w - 42. Solve 0 = v*y - 21*y - 15 for y.
-5
Let z be (2/6)/((24/(-621))/(-8)). Suppose 0 = -78*i + z*i + 9. Solve -i = v - 0 for v.
-1
Let b = -72 - -74. Let g(y) = y**3 + 8*y**2 + y + 12. Let h be g(-8). Solve b*f - h = -0*f for f.
2
Let d(q) = 2*q**2 - 8*q + 19. Let x(u) = -u**2 + 4*u. Let m(z) = -d(z) - 3*x(z). Let l be m(7). Let a be 4/(-18) + (-10)/(-45). Solve a + 4 = -l*c for c.
-2
Let o(x) = -3*x**2 + 18*x + 5. Suppose 0 = -37*p + 12*p + 150. Let a be o(p). Solve -6 = -r - a for r.
1
Let w(d) = -d**3 - 2*d**2 + 3*d - 3. Let l be w(-3). Suppose v - o - 7 = 0, -3*o - o = 2*v + 10. Let c = l + v. Solve c = z - 1 - 1 for z.
2
Let w be ((-2)/(-5))/((-226)/(-165) + (-220)/165). Solve -5*u - 11 = -w for u.
0
Suppose 0 = -2*a - s + 5*s + 12, 0 = -4*a - s + 24. Let j be -7 + 2/((-2)/3). Let k be (-65)/j - (-3)/a. Solve -5*z + k = -13 for z.
4
Let t = 931 - 925. Solve -t = 204*o - 205*o for o.
6
Suppose -1322 = -165*z + 2473. Solve 37*a + 5*a = -z*a for a.
0
Suppose 5 = 2*h - 1. Let b = -43 - -44. Solve 0 = h*t + 11 + b for t.
-4
Let i be (-1353)/(-123) - (-1 + 8). Solve 0 = -162*u + 160*u - i for u.
-2
Let d = -51 - -83. Suppose -4*k - 92 - d = 0. Let z = k - -35. Solve 5*y + z = -21 for y.
-5
Let q(s) = -144*s - 30. Let i be q(-4). Let l = i + -531. Solve l = 3*a + 2*a for a.
3
Suppose -4*f + 16 = 0, 2*p + 3*f = -61 + 117. Solve -p*n + 27*n = 10 for n.
2
Suppose -97 - 41 = -u. Suppose -140*b = -u*b. Solve b*f + 5 = -f for f.
-5
Let n(m) = -m**2 - 7*m + 6. Let u be n(-5). Let z(w) = -3*w**2 + 20 - 11*w + 4*w**2 - u. Let f be z(11). Solve 5*c = -29 + f for c.
-5
Let m(g) = g + 17. Let r be m(5). Suppose -5 = -r*i - 5. Solve i*z - 2*z = 10 for z.
-5
Let p = -9 - -12. Suppose p*o - 28 = -n, -4*n + 0*o + 103 = 3*o. Let f = 202 + -198. Solve q = -f*q - n for q.
-5
Suppose 835*g = -5*a + 831*g + 278, 0 = -3*a - 5*g + 146. Solve -73*i + a*i - 11 = 0 for i.
-1
Let t be -6 + (-24)/16*-14. Let d(n) = 8*n - 112. Let l be d(t). Solve -s + l = 3 for s.
5
L