 Sort x, -2, -5 in decreasing order.
x, -2, -5
Suppose 0 = -5*x + 12 + 8. Let a be -2*((6 - 8) + (-15)/(-6)). Sort x, 43, a in decreasing order.
43, x, a
Let y = 8.176 - 109.676. Sort -5, y, -2 in decreasing order.
-2, -5, y
Let t = -1.462 - 138.138. Let j = t - -138. Sort 4, -0.2, j in descending order.
4, -0.2, j
Let a = -36.8 + -246.2. Let p = a - -277. Suppose 3*g = -5*o + 26, 0 = -6*g + g - 4*o + 26. Sort g, p, 5.
p, g, 5
Let d = -5.6 - -0.6. Let z = 321/560 - -3/112. Let r = -3.85714 + -0.14286. Put d, z, r in increasing order.
d, r, z
Suppose -2*y + 6*y = -0*y. Let c(b) = 16*b + 5. Let o be c(y). Sort o, -1/2, 20 in decreasing order.
20, o, -1/2
Suppose 11*h + 3*h = 11*h. Suppose 4*j = -5*o + 106, 3*o - 4*j + h*j = 70. Put o, -4, -1/2 in increasing order.
-4, -1/2, o
Let r = 0 + 0. Let n be -6 - (-7 + (-2)/1). Suppose g - 23 = -5*a, 1 = n*g - 6*a + 4*a. Put 19, g, r in ascending order.
r, g, 19
Let z be (-7)/(-4)*(-2 - 2). Let s be 2/4*(16 - 12). Suppose 2*y = s*f + 4*y - 18, -f - 4*y = -21. Sort f, -1/5, z, 1 in increasing order.
z, -1/5, 1, f
Let w be 20/70 + 2/(-56). Let m = 29 + -34. Let u = m - -4.5. Put u, 3, 0.4, w in decreasing order.
3, 0.4, w, u
Suppose -2*g + 4 = 2. Let b be (3*2)/(2 + (g - 1)). Let i be -2 + b + (-8 - 6). Put -5, -1, i in ascending order.
i, -5, -1
Let k = 1481/330 + 2/165. Let d = 161.6 + -162. Sort d, 2/13, k in descending order.
k, 2/13, d
Let u(a) = -a**3 - 9*a**2 + 10*a + 4. Let v be u(-10). Let o be -2 - -3 - 38/(2/(-1)). Suppose -3*l + o = -5*l - 5*f, l + 3*f + 11 = 0. Sort v, -21, l.
-21, l, v
Let a = 7269 + -29079/4. Put a, -23, 3 in descending order.
3, a, -23
Let u(g) = 17*g - 40. Let l be u(1). Put l, 4, -4, 2, -3 in descending order.
4, 2, -3, -4, l
Let q = 134/85 + -20/17. Let j = -132 - -82.2. Let r = 50 + j. Put r, q, 0.5 in decreasing order.
0.5, q, r
Let i be 5 + 4*6/(-24). Suppose -y - 24 = -h + 3, -i*y - 108 = 2*h. Sort 0.2, -3, y in decreasing order.
0.2, -3, y
Let x = 119 + 241. Let i = 357 - x. Put 0, -4, -45, i in decreasing order.
0, i, -4, -45
Let a = -0.8221 + 0.0221. Sort -4, 0.08, -0.1, a in descending order.
0.08, -0.1, a, -4
Let v(u) = 31*u - 308. Let b(f) = 29*f - 307. Let w(x) = 6*b(x) - 5*v(x). Let p be w(16). Sort -3, p, -4.
-4, -3, p
Let w(y) = -3*y**2 + 7*y + 4. Let d be w(5). Let t be (((-48)/45)/2)/(d/(-30)). Put 0.2, 9, t in descending order.
9, 0.2, t
Let r = -5 + 6. Suppose p = 2*k + 6, 7*p + 3*k = 4*p. Let m be p/(-6) + 39/117. Sort 3, r, -5, m in ascending order.
-5, m, r, 3
Let v(k) = k**3 + 29*k**2 + 31*k + 83. Let b be v(-28). Sort 386, -2, b, 2 in descending order.
386, 2, b, -2
Let h = 3.2 + -2.99. Let y = -0.41 + h. Suppose -21 = -34*v + 13*v. Put -2/5, v, y, 7 in increasing order.
-2/5, y, v, 7
Suppose 5*u = 29 + 66. Let k = u - 39/2. Let y(l) = -l**2 + 2*l + 6. Let j be y(-2). Put j, -10, k in descending order.
k, j, -10
Let d be 9/(-21) + (-81)/(-42) + 1057/302. Sort -1/9, -0.06, d, -3, -0.16 in descending order.
d, -0.06, -1/9, -0.16, -3
Suppose -8 = 4*k - 0. Let n(v) = v**2 + 5*v - 20. Let j(w) = -2*w**2 - 9*w + 41. Let r(q) = 2*j(q) + 5*n(q). Let s be r(2). Sort -4, s, k.
-4, k, s
Let g = -4.91 - 0.09. Let x = 0 + g. Let r = 14734 - 14734.1. Sort r, 0.2, -3, x in ascending order.
x, -3, r, 0.2
Let h(g) = 6*g - 4. Let k be h(3). Let u be (7 - (-75)/(-11))*66/48. Let m = -8 + 5. Put u, k, m in increasing order.
m, u, k
Let a = 1706 + -11944/7. Let f = 211/5 + -42. Put -0.08, a, -5, f in ascending order.
-5, a, -0.08, f
Let d = -329.48 + 334. Let q = d + -4.52. Put -53, 6, q in decreasing order.
6, q, -53
Let l be 4 - (8 - 2) - 4*-2. Let h = -57 - -57. Sort -2, l, h.
-2, h, l
Let k be (121/(-605))/(11/5 + -2). Suppose q + 2 = -b, -4*b + 0*b + 5*q + 37 = 0. Sort b, 15, k in descending order.
15, b, k
Let j = 4.3719 - 49.3719. Let q be -1 + ((-24)/14)/(-2). Put j, q, 2 in decreasing order.
2, q, j
Let t = 1842 + -1838. Let r(k) = 2*k**2 - k - 1. Let n be r(2). Sort n, -1, t, 2 in ascending order.
-1, 2, t, n
Suppose 5*u - 268 = -0*z - 2*z, 5*u - 266 = -4*z. Let v be (2/u)/((-54)/12 + 5). Put v, -1/6, -1/4 in descending order.
v, -1/6, -1/4
Let t(u) be the second derivative of -u**3/3 - 35*u**2/2 - u - 10. Let x be t(-15). Sort 3, x, 4, -1 in descending order.
4, 3, -1, x
Let q = 16260 - 16256. Sort 1/10, -3/5, q, 2/17 in descending order.
q, 2/17, 1/10, -3/5
Suppose 0 = 3*y - 9, -6*y + 4*y = -5*c + 124. Let o be (-12*c)/(-6) + 7. Put 0, o, -3 in descending order.
o, 0, -3
Suppose 0*o + 3*w = -o - 1, -o - 2*w = 1. Let d be 18/(-36) + o*(-2)/4. Let p be (2 - d/(0 - 1))/(-2). Sort 0, p, 25 in descending order.
25, 0, p
Let v = 0.7 + -0.8. Let l = -21.8 + 16.9. Let f = v + l. Sort -4, f, -0.3 in descending order.
-0.3, -4, f
Let s = 3.958 + -20.958. Let h = -8.1 + 9. Let j = 1 - h. Sort j, 0.2, s in decreasing order.
0.2, j, s
Let r be 5/2 - (6/12 - 2). Sort -1, r, 13, 200.
-1, r, 13, 200
Let f = -1855 - -1850. Put -4, -17, 0, f in decreasing order.
0, -4, f, -17
Let y = 289 - 272. Suppose -3*m = -j + y, 1 - 6 = -m - 5*j. Sort -54, 5, m, 3 in ascending order.
-54, m, 3, 5
Let z = -115 - -1033/9. Let o = 23.4 - -2.6. Let d = o - 22. Sort d, z, -4, 0.3 in increasing order.
-4, z, 0.3, d
Let l be 17 + -14*(-18)/63. Let a be (-2)/4*(-19 + l). Suppose u - 1 = -t - 0, u - 2*t = -2. Sort -11, a, u in descending order.
u, a, -11
Suppose -68 = -5*w - 3*y, 92 = -454*w + 459*w - 3*y. Sort 1, -51, w.
-51, 1, w
Let q = 120.08 + -123. Let t = q + 3. Let o = t + 0.02. Put -3, -0.3, o, -0.2 in descending order.
o, -0.2, -0.3, -3
Let v = 3/673 - 1373/6057. Put 0.9, 1, v, 3 in ascending order.
v, 0.9, 1, 3
Let i = 9.8 + -10.052. Let a = i - -0.052. Sort 2/5, -2/5, a, 3.
-2/5, a, 2/5, 3
Let a = -0.01287 + -65.98713. Put 3/5, -8, a in ascending order.
a, -8, 3/5
Let w be (1 - 2)*1*0. Let u be (-231)/21 - 8/(-1). Put 4, -1, w, u in ascending order.
u, -1, w, 4
Let j = -0.254 - -2.154. Let o = -2.2 + j. Sort 0, 1, o in increasing order.
o, 0, 1
Suppose 0 = -2*u - 4*c + 80, 4*c = -2*u + 9*c + 98. Suppose u*h - 45*h = -9. Put 1, -4, h in descending order.
h, 1, -4
Let i = 33241.5 - 33242. Let v = 0.04 - 0.02. Let f = v + -0.62. Put -3, 0.5, f, i in increasing order.
-3, f, i, 0.5
Suppose -8*m = -7*m. Suppose 2*u - 15 = -u, 2*x - 2*u + 18 = m. Let a be -1*((-62)/(-22) + 8/44). Put 0, x, a, 1 in descending order.
1, 0, a, x
Suppose 2*k + 6 = -5*w, 0*w = -3*w + 2*k + 6. Let a = 27 - 30. Suppose -8 = -3*m + 4, 0 = 5*l - 5*m - 5. Sort w, a, l in ascending order.
a, w, l
Suppose 3*n - 123 + 39 = 0. Suppose 8*d - d = n. Sort d, -12, 3, 2.
-12, 2, 3, d
Let c = 84 - -290. Put 2/9, 2, c, -0.2 in descending order.
c, 2, 2/9, -0.2
Let t(n) = 33*n**3 + 4*n**2 + 109*n - 337. Let s be t(3). Sort s, -1, -2 in ascending order.
-2, -1, s
Suppose 9*t = 10*t - 5. Let c = 7218 - 7216. Sort -0.4, c, t, -2/21 in descending order.
t, c, -2/21, -0.4
Let d = -8885.8309 + 8886. Put -1/10, d, 7 in increasing order.
-1/10, d, 7
Suppose 0 = 114*m - 552 + 96. Let s = 0 - 1.8. Let f = s - -1.6. Sort m, f, 2/11 in descending order.
m, 2/11, f
Let x = -42 + 45. Suppose -3*f - 3*i = -5 - 7, 2*f = x*i - 7. Let m = 2 - -0.4. Sort m, f, -2 in decreasing order.
m, f, -2
Let b = 168 - 168. Suppose 5*i - 10 = 7*i + l, b = 4*i + 3*l + 24. Put 40, 4, i in decreasing order.
40, 4, i
Let f be 16 + 148/(-8) - 3/(-18)*-3. Let d be (-23 + -1)*(-1)/2. Suppose 3*r = -0 + d. Sort -1, f, -8, r.
-8, f, -1, r
Let n = 29350 - 29379. Put 2, n, 18, -3, 4 in ascending order.
n, -3, 2, 4, 18
Suppose 29*u + 6 = -52. Put 0, -4, u, 5, 2 in descending order.
5, 2, 0, u, -4
Let t be 43/(-301) + (3/(-3) - 99/(-56)). Put 1.5, t, -0.08 in descending order.
1.5, t, -0.08
Suppose -16 = -3*z - 2*v, -3*v = 4*z - 8*v - 52. Let a(w) = -5*w**2 - 286*w + 531. Let o be a(-59). Sort o, z, 5, -3.
-3, o, 5, z
Let y be ((-3)/(-30)*(-10)/15)/(8/72). Let i be -5*(-2 + 4 - 1). Sort y, 1, 0.06, i.
i, y, 0.06, 1
Let o = 3 - -1. Let z be 1 + (-11 + 8 - 5)*(-2)/8. Sort o, -4, -10, z in descending order.
o, z, -4, -10
Let b be (-624)/182 - (-8)/(-14). Sort b, 5, 17, -3, 1 in decreasing order.
17, 5, 1, -3, b
Suppose 3*c - 139 = -2*h + 33, -5*c + 5*h = -320. Let v be (c/(-18))/(6/9). Let z = -220 - -227. Sort z, v, -2/7 in descending order.
z, -2/7, v
Let k be ((-12)/