ort 0, 1, c in descending order.
c, 1, 0
Let r = 95 - 92. Suppose -r*l + 7*l + 3*w + 6 = 0, 0 = -3*w + 6. Put l, 2, 4, -5 in decreasing order.
4, 2, l, -5
Let w = -151 + 151. Let b(l) = -2*l - 18. Let c be b(-8). Sort c, -3, w in descending order.
w, c, -3
Let a be (0 + -1)*20/(-10). Let z be (1 - 2 - 3/a)*-2. Sort 1, z, 2.
1, 2, z
Let w = -12 - -50. Let c = 41.05 + -3.45. Let x = w - c. Sort x, 1/6, 1/2 in descending order.
1/2, x, 1/6
Let f(v) = v**2 + 2*v - 3. Let u(k) = k**2 + k - 3. Let y(a) = 2*f(a) - 3*u(a). Let z be y(4). Put -1, z, -4, -2 in descending order.
-1, -2, -4, z
Suppose -24*i + 210 = 46*i. Sort -3, 0, i, -10 in ascending order.
-10, -3, 0, i
Let h = -0.4 + -0.1. Suppose -g = -b - 7, -7 = -4*b - 0*g - 3*g. Sort 0.32, 0.4, h, b in increasing order.
b, h, 0.32, 0.4
Let o = -30 - -25. Let i be -3 - (o/(15/(-6)) + -3). Sort i, 2, -6 in descending order.
2, i, -6
Let l(g) = 5*g**3 + 2*g**2 + 44*g + 42. Let v be l(-1). Let o be 0/3 + 0 + 0. Suppose 0*m + 5*m - 10 = o. Sort m, v, -1 in descending order.
m, -1, v
Let p = -182 - -180. Sort 2, 1, p, -15 in descending order.
2, 1, p, -15
Let o be 2*((-1)/8 + 12/(-32)). Sort o, 423, -5.
-5, o, 423
Suppose 0*w + 27*w - 216 = 0. Put -4, -2, w, 4 in increasing order.
-4, -2, 4, w
Let d = 1138 + -1139. Put -5, 3.1, d, -1/4 in increasing order.
-5, d, -1/4, 3.1
Suppose -2*b + 45 = -11*b. Suppose -u + 18 = 2*u. Sort 0, u, b in increasing order.
b, 0, u
Let f = -33.027 - -0.727. Let b = f - -32. Sort b, -7, -3 in decreasing order.
b, -3, -7
Let u be 6/(-9) - (-4)/6. Suppose -l + 9 = 2*f - 6*l, 0 = -5*f - 5*l - 30. Let i(g) = -g**2 - 4*g - 10. Let b be i(f). Put b, u, 3 in increasing order.
b, u, 3
Let y = -57.2 - -57.2. Sort 10, 4/3, y.
y, 4/3, 10
Let z = 52.26 - 52. Let o = 1.26 - z. Sort -3, -2/17, o, -2 in ascending order.
-3, -2, -2/17, o
Suppose -8*k + 174 = -2*k. Let t = 31 - k. Put -11, -3, t in increasing order.
-11, -3, t
Suppose -3*d - 20 = -23. Let p be 0/(-12)*(1 - d/2). Sort -0.1, p, 0.5, -4 in decreasing order.
0.5, p, -0.1, -4
Let y be 5 + -9 + (-4)/(-4). Sort y, 5, -2, -5 in descending order.
5, -2, y, -5
Suppose 0 = -3*k - k. Suppose 4*i + 0 + 4 = -3*u, 0 = -2*u + 5*i + 28. Put u, -2, k in increasing order.
-2, k, u
Suppose 5*u - 15 - 45 = 0. Put -5, 5, u in increasing order.
-5, 5, u
Suppose -35 - 5 = 10*a. Let d be (-37)/(-7) + 4/(-14). Sort d, 0, a in descending order.
d, 0, a
Let z = -113 - -113. Sort -1/2, z, -1/3, 3 in decreasing order.
3, z, -1/3, -1/2
Suppose -k - 2 = -5. Let u be (-30)/k*(-3)/(-6). Let t(y) = y**2 + 5*y - 2. Let b be t(u). Put b, 3, 0 in descending order.
3, 0, b
Suppose 22 = -2*y + 3*f - 5*f, -5*f + 8 = -2*y. Let q be 3/(y/(-24)) - 12/4. Sort -3, -22, q.
-22, -3, q
Let x be -3 - 3*1329/648. Let n = 75/8 + x. Put n, 2, 4/5, -0.9 in decreasing order.
2, 4/5, n, -0.9
Suppose 0 = 5*i - 2*i - 3. Let w be (-5 + 4)/(5/(-1 + 56)). Sort w, i, -3 in descending order.
i, -3, w
Let z be 7 - 64/(8/1). Suppose 5*p = 2*p. Sort 7, 3, z, p in descending order.
7, 3, p, z
Let h be 10/15 - (32/(-6) - -1). Let i be (0 - 6/3 - 1) + h. Sort -7, i, -5 in increasing order.
-7, -5, i
Suppose 124*c - 126*c = -3*o - 7, 0 = 4*c + 2*o - 22. Sort c, -1, 73, -2 in increasing order.
-2, -1, c, 73
Suppose -5*d + 19 = -1. Suppose d*u = 6*u. Let o = -7.8 + -10.2. Sort u, -0.3, o in descending order.
u, -0.3, o
Suppose -5*r + 18*r - 52 = 0. Put -3, -9, r in descending order.
r, -3, -9
Let h(p) = -p**3 - 20*p**2 + 18*p - 60. Let a be h(-21). Sort 6, a, -4, 12 in decreasing order.
12, 6, a, -4
Let y = 0.1 + 0.96. Let j = -3.06 + y. Sort -0.4, -4, j, -3/11 in descending order.
-3/11, -0.4, j, -4
Let l = -45.9 + 46.9. Let k = 8 - 3. Put k, 0.2, l in increasing order.
0.2, l, k
Let i = -4/25 - -118/425. Let y = 4.7 - 3.5. Let n = 1.3 - y. Put 1, i, n in ascending order.
n, i, 1
Let s be (-105)/(-84) + 42/(-8). Suppose 5*f = 3*f - 10. Sort 3, f, s.
f, s, 3
Let g = 186 + -186.1. Let s = 375/13 + -29. Put s, -4, g in descending order.
g, s, -4
Let s be (3/(-18))/((-2)/(-52)). Let z = 0.2 - 0. Sort s, 3/4, z.
s, z, 3/4
Let n = 478 + -482. Sort -7, n, 3, 2.
-7, n, 2, 3
Let l = -27.85 - -29. Sort -2, 5, l.
-2, l, 5
Let g = -16 + -108. Let q = 128 + g. Put 33, -0.2, q in decreasing order.
33, q, -0.2
Let j be (-9)/(-4)*(-64)/(-48). Let l be 1 - (3 - 2) - 1. Sort 2, -4, l, j in decreasing order.
j, 2, l, -4
Let l = 844 - 842. Sort -3/2, l, 0.5, 0.4.
-3/2, 0.4, 0.5, l
Let a(r) be the second derivative of r**5/20 - 5*r**4/6 - r**3/6 + 7*r**2/2 + 11*r. Suppose 2*o + 3 = 23. Let z be a(o). Put z, -1/4, 0.3 in increasing order.
z, -1/4, 0.3
Let c = -282.9 + 283. Put -3, c, -4 in decreasing order.
c, -3, -4
Let m = 305 - 301. Let u(p) = -p - 8. Suppose 0 = -s + 4*g + 4 - 14, 3*s = g - 19. Let v be u(s). Put m, 0, v in decreasing order.
m, 0, v
Let k = -5 + 9. Suppose 4*p - 4*q = -12, k*q = -p - 4*p + 12. Sort 5, p, 2, 4 in descending order.
5, 4, 2, p
Let v = 108 - 107. Let o be (-11 - -1)*(-2)/(-5). Put o, 5, -5, v in ascending order.
-5, o, v, 5
Let j be 1 + 1 + (-20)/11. Let u = -267.64 + 3.64. Let v = u - -268. Sort j, -3, v in decreasing order.
v, j, -3
Let s = -1047 - -1048. Put -7, s, 4 in decreasing order.
4, s, -7
Let n = 102 + -71. Let g = n + -34. Sort -0.3, g, -0.6 in increasing order.
g, -0.6, -0.3
Let k = 5.82 + -3.82. Sort 5/3, -4/3, k, 1/7 in descending order.
k, 5/3, 1/7, -4/3
Let m(k) = -21*k - 5. Let z(g) = -7*g - 2. Let b(i) = -6*m(i) + 17*z(i). Let w be b(1). Put 1, w, -2 in descending order.
w, 1, -2
Let c = 208 - 205. Sort 20, c, -2/13 in increasing order.
-2/13, c, 20
Let q = 0.212 - 0.012. Sort 0.4, -0.98, 2, q in increasing order.
-0.98, q, 0.4, 2
Suppose 15*o = 5*o. Let x(n) be the third derivative of -n**6/120 - n**5/30 + n**4/24 - n**2. Let h be x(o). Sort 1/4, -1/4, h in decreasing order.
1/4, h, -1/4
Let t = -70 - -70.4. Sort -0.3, -10, t in ascending order.
-10, -0.3, t
Let j = -0.11 + -0.03. Let f = 242 + -241.56. Let i = f + j. Put i, 0.4, 3 in ascending order.
i, 0.4, 3
Let b be (-2 + 40/15)/2. Let g be (-15)/25 + (-13)/(-30). Put b, g, 11 in ascending order.
g, b, 11
Let u = -426 + 405. Put u, 4, 3, -5 in decreasing order.
4, 3, -5, u
Let a = 1341 + -1341. Sort -43, 2/17, -2/13, a in decreasing order.
2/17, a, -2/13, -43
Let u be (-3 - (2 + 1)/6)*-2. Suppose -5*z + w = 28, 4*w + 15 - u = -4*z. Sort 5, 4, z, 1 in ascending order.
z, 1, 4, 5
Let j be 23/(-15) + 8/60 - -2. Put -226, j, -1/4, -2 in increasing order.
-226, -2, -1/4, j
Let a = 29 - 16. Suppose a - 13 = -4*i. Put 1, 5, -1, i in descending order.
5, 1, i, -1
Let i = -0.56 - -0.31. Let d = -0.05 + i. Suppose -5*l = -3*l - 2. Put d, -2, l in decreasing order.
l, d, -2
Let y = -1.82 + 1.8. Let l = -0.42 - y. Let q = 4 + -2. Sort 3, q, l in ascending order.
l, q, 3
Suppose 13*l - 2*l = -209. Let w = -10 - l. Suppose 3*s - 1 - 9 = -5*m, -2*m = -3*s - 4. Sort w, s, 3 in decreasing order.
w, 3, s
Let r = 1543 - 1542. Sort -2/21, -8, r, -1/3 in ascending order.
-8, -1/3, -2/21, r
Let o(s) = 2*s**3 - 12 + 4 - 4*s + s**2 + 6 + 1. Let v be o(-2). Put 8, v, 1 in decreasing order.
8, 1, v
Let s be -4 + ((-4)/(-4))/(1/(-1)). Let q(y) = -y**3 + 8*y**2 - 7*y - 2. Let f be q(7). Put s, f, 17 in decreasing order.
17, f, s
Let u(h) = -h**3 + h**2 + 2*h + 1. Let d be u(-1). Suppose 0 = -4*s + v - 0*v - 528, -2*s - v = 270. Let b = s - -133. Sort -2, b, d.
-2, b, d
Let g be 1/((6/(-24))/((-10)/8)). Sort -6, -4, -25, g in decreasing order.
g, -4, -6, -25
Let x = -0.2 - -0.21. Sort 0.5, 2/9, x in decreasing order.
0.5, 2/9, x
Let f(q) = -q**2 - 2*q - 1. Let x be f(-1). Let z(y) = y**3 - 14*y**2 - 13. Let h be z(14). Sort -4, x, h in descending order.
x, -4, h
Let n = -0.0427 - -0.5427. Let y = -4/19 + -3/76. Put y, -0.8, -0.2, n in descending order.
n, -0.2, y, -0.8
Let p(n) = 5*n + 215. Let x be p(-43). Put -8, x, -5 in decreasing order.
x, -5, -8
Let h(d) = d + 18. Let c be h(-9). Suppose x - 2*x - 2*u - c = 0, 3*x - 2*u = -11. Let a = 2 - 0. Put 4, a, x in descending order.
4, a, x
Let v = 0.56 + -6.56. Sort 2, v, -1 in increasing order.
v, -1, 2
Suppose 5*n + 7 = 4*n. Suppose -2*t = 2*x + 36 - 2, -4*x + 12 = 0. Let g = t - -18. Sort g, n, 5.
n, g, 5
Let z = 284 - 300. Sort 0.7, z, 2/3, 1.
z, 2/3, 0.7, 1
Let f = 99 - 100. So