 t = -411 + b. Suppose x = -2*x + 3. Sort t, 3, x.
x, t, 3
Suppose 0*j + j + 3*y + 11 = 0, -5*j - 5*y = 5. Suppose d = 5*p + 4 + 1, 0 = 5*d + 4*p + 4. Let g be 4/(-8)*(6 - d). Put -9, j, g in decreasing order.
j, g, -9
Let y(u) = -u**2 + 3*u + 8. Let w be y(-2). Let j be 112/21 + -6 - 8/(-3). Put j, 3, 7, w in decreasing order.
7, 3, j, w
Let v = -504.0193 - -504. Let j = v - -2.0193. Put j, 0.4, -2/5, 16 in descending order.
16, j, 0.4, -2/5
Let y be (0 - 1)*4 + 2. Let c be (y + -3)*(-44)/20. Let z = 3.92 + 0.08. Sort z, c, 0, -3 in descending order.
c, z, 0, -3
Let t(k) = -k + 4. Let b be t(4). Let g(p) = 2*p + 50. Let f be g(-15). Suppose 0 = -s - 3*s - f. Sort s, b, -8, -1 in descending order.
b, -1, s, -8
Let k = 37840 + -37835. Sort k, -2, -3, -16 in decreasing order.
k, -2, -3, -16
Suppose -3*y + 2*y - 4*s + 2 = 0, 0 = -2*y + 5*s - 9. Let r be (-84)/(-30)*345/161. Sort 2, r, -4, y in ascending order.
-4, y, 2, r
Let w be (-12)/84 + (-9)/7. Sort -7, -0.4, w.
-7, w, -0.4
Let d(k) = -2*k**2 - k + 5. Let y be d(0). Let i be (0 - (1 + -2) - y) + 0. Let u = 0 + 0. Sort -3, i, u in decreasing order.
u, -3, i
Let z be (-19)/6 - 14/35*30/(-72). Sort -85, -4, -5, z, 0 in descending order.
0, z, -4, -5, -85
Let r = -4249 - -4269. Put r, -84, 0, 3 in ascending order.
-84, 0, 3, r
Let s = -1.64 - 69.36. Let y be ((-783)/756 - (-27)/36)*7/4. Put 0.1, 0.2, y, s in increasing order.
s, y, 0.1, 0.2
Suppose -3 - 5 = -4*i. Suppose -4*r - 3*t + 5*t = 12, i*r + t + 2 = 0. Suppose 0 = -7*x + 12*x - 5. Sort x, -4, r, -5 in ascending order.
-5, -4, r, x
Suppose 0 = 5*c + 22*c + 4752. Let q = -180 - c. Put 4, -15, q in decreasing order.
4, q, -15
Let p(o) = o**3 + 43*o**2 + 82*o - 53. Let z be p(-41). Sort -5, -3, z.
z, -5, -3
Let v(k) = -k**2 - 18*k + 81. Suppose -b = 3*t + 67, 4*t - 44*b = -42*b - 76. Let d be v(t). Put d, 13, -2 in descending order.
d, 13, -2
Suppose -27*z + 190 = -17*z. Let k = -16 + z. Suppose -2*b = 3*o - 6*o + 2, -13 = -5*b + 3*o. Sort b, k, 1, 4 in descending order.
b, 4, k, 1
Let i(u) = u**2 - u. Let b be i(1). Let v(w) = 12*w**2 - 38*w + 11. Let d be v(3). Sort d, b, -5.
-5, b, d
Let p = 21 - 20. Let v = -82.172 + 0.172. Sort -0.4, v, p in descending order.
p, -0.4, v
Let w(i) = i**2 - 32*i + 245. Let r be w(12). Let n = -6 + 6.06. Sort 0.14, n, r in decreasing order.
r, 0.14, n
Let v = 6051 + -5731. Put -2, -4, v in descending order.
v, -2, -4
Let d(l) = -l**3 - l**2 - 2. Let m be d(-2). Let c be (3 + 0)*m/(-4)*1. Let y = 0.05 - -4.95. Put y, 7, c in increasing order.
c, y, 7
Let s be 33/9 - (-1)/3. Suppose j = -5*a + 7*a + 125, -5*a - 315 = -3*j. Sort s, -3, a in decreasing order.
s, -3, a
Let j be ((-9)/(-4) + 0)/((-12)/(-32)). Let k be (-8)/(-2)*j/(-84). Sort k, 1, -27 in ascending order.
-27, k, 1
Let v be 4/(-30) + 2440/300. Sort 2, v, 64 in decreasing order.
64, v, 2
Let m = -9 - -4. Let o = -2/1395 + -18127/5580. Let d = o - -19/4. Put 0.4, -1, d, m in increasing order.
m, -1, 0.4, d
Let l = 313 + -392. Let a = -80 - l. Sort -1/4, -0.04, a, 2 in ascending order.
a, -1/4, -0.04, 2
Suppose 5*h = j - 2169, -19*h + 1307 = -22*h + 2*j. Let d = -431 - h. Put -38, -5, d in ascending order.
-38, -5, d
Let i = -566 - -564. Sort -4, i, 2 in descending order.
2, i, -4
Let t be (-1350)/(-360) + (-326)/8. Sort 4, -4, t in ascending order.
t, -4, 4
Let r = 2.7 + -3. Let w = 6.08 + -8.08. Put r, 0, w, -34 in descending order.
0, r, w, -34
Suppose 0 = n - 5, -s - 28 - 4 = -5*n. Let m be (s/14)/(7/12). Let h = -1.64 + 1.54. Put h, m, 0.3, 3 in descending order.
3, 0.3, h, m
Let l = -279 + 284. Suppose l*h - t + 18 = 0, 2*t = 2*h + 5*t - 3. Sort 43, h, -2.
h, -2, 43
Let z = -310 - -2477/8. Let n be ((8/(-32))/(42/32))/(66/(-77)). Sort z, -1, n, 0 in decreasing order.
n, 0, z, -1
Let k = -5718.029 + 5718. Let p = -0.05 - 0.35. Sort 2/9, k, p in ascending order.
p, k, 2/9
Let n(m) = 5*m + 14. Let i(j) = -16*j - 41. Let o(t) = -2*i(t) - 7*n(t). Let b be o(-7). Sort -1, b, -5 in descending order.
b, -1, -5
Suppose 0 = 380*o - 320*o + 660. Sort -2, 9/2, o.
o, -2, 9/2
Let q = -1193 - -1194. Sort -133, q, -3/4, -5 in decreasing order.
q, -3/4, -5, -133
Suppose 0 = -g + 4*b + 6, -5*g + 5*b - 2*b + 13 = 0. Let q be (16/(-56) + g/7)/1. Let z be -1 + (-1 - (-3 + -3)). Put z, -5, q in descending order.
z, q, -5
Let o = 21 + -26. Let i = 97.48 + -94.48. Put i, -34, 1/3, o in ascending order.
-34, o, 1/3, i
Let b be (-1 - -1 - 5)*1. Suppose 15*h + 16 - 59 - 17 = 0. Let o be (52/(-16) + 4)*4*1. Put -4, b, h, o in decreasing order.
h, o, -4, b
Let j(z) = 32*z + 38. Let c be j(-1). Let l be (-18)/(-15) + ((-36)/6)/c. Put -5, l, 4 in descending order.
4, l, -5
Suppose -44 = -4*d + 3*j, 2*j - 5 - 3 = 0. Sort -6, d, 3 in increasing order.
-6, 3, d
Let m = -367 - -368. Suppose 20 = -5*s, 4*o + 5*s + m = -3. Sort -15, o, 5, -2 in descending order.
5, o, -2, -15
Let w be (-28)/(-16) - (-2)/(-8). Let z = -128 - -128. Sort w, 1/18, z in decreasing order.
w, 1/18, z
Let h be (-769)/36 - 39/(-351). Sort 2, h, 0.3 in decreasing order.
2, 0.3, h
Let y = 0.04 - -0.16. Let v = -0.1 - y. Sort -5, v, -1.4.
-5, -1.4, v
Let t = 1.9 - 611.9. Let g = t - -668. Sort 4, g, 0.2.
0.2, 4, g
Let b(a) = 7*a**2 - 72*a + 12. Let q be b(11). Sort q, 6, -1 in ascending order.
-1, 6, q
Let m be 2/8 - (-7)/4. Let o = 1188.11 + -1187.11. Put m, o, -5/2, 0 in descending order.
m, o, 0, -5/2
Suppose -102 = -2*n - 130. Sort -8, -3, n, -5 in decreasing order.
-3, -5, -8, n
Let r = -3 - -3. Suppose 0 = -u - 21 + 19, -3*k = -2*u - 31. Sort 5, -1, k, r in increasing order.
-1, r, 5, k
Let x(z) = -z**3 + 3*z - 2. Let f be x(-2). Suppose f*h - h = 4*h. Suppose h*u = 4*r - 4*u + 28, -r + 4*u - 19 = 0. Put 2, r, -2 in descending order.
2, -2, r
Let n be ((-18)/(-4))/((-60)/24)*(-10)/6. Sort -5, 4, -80, n, -9.
-80, -9, -5, n, 4
Let c be 206/(4/(-12) - (-28)/12). Suppose 0 = -105*v + c*v - 30. Put 5, v, -3 in descending order.
5, -3, v
Let t = -7 - -3. Let c = 10614.7 - 10615. Let n = -1.3 - -1.8. Sort 5, n, c, t in increasing order.
t, c, n, 5
Let i(v) = -2*v - 6. Let z = -162 + 157. Let r be i(z). Sort r, -1, 0, 2 in decreasing order.
r, 2, 0, -1
Let r = 0.06 + 3.94. Let h(y) = -3*y**2 + 4 - 1 + 1593*y - 1588*y. Let j be h(-1). Put -1/3, -1, r, j in descending order.
r, -1/3, -1, j
Suppose 22*p + 64 = -10*p. Sort p, -5, -201 in ascending order.
-201, -5, p
Suppose 5*s - 10 = p, -5*p - 3*s + 41 = -21. Let g be (1 + 1)*(-29)/58. Sort p, 4, 0, g in decreasing order.
p, 4, 0, g
Let b(c) = -2*c**3 - 30*c**2 + 24*c + 359. Let d be b(-15). Put 4, -15, 1, d in increasing order.
-15, d, 1, 4
Let t = -311.79 - -311.9. Sort t, -0.2, 3.
-0.2, t, 3
Suppose -4*i + 3*b + 68 = -3*i, 62 = i + 3*b. Let g = i + -41. Let w(s) = s**3 - s. Let c be w(1). Sort -3, c, g in increasing order.
-3, c, g
Let g(m) = 2*m - 36. Let p be g(18). Suppose 5*l = -4*b + 2 - 12, 5*l = 4*b + 30. Let i be 6/9 + -1*(-3)/9. Sort i, p, b.
b, p, i
Let r = 3 + -4. Let c(v) = 2*v - 18. Let z be c(10). Let f be z - 70/(-45)*(-10)/7. Sort 1/4, r, f in decreasing order.
1/4, f, r
Suppose 3*c - 4 = -5*l, -3*l = -3*c + 2*l + 14. Let h = 21238 + -21241. Suppose 0*b + 4*b = -4. Put c, 2, b, h in ascending order.
h, b, 2, c
Let l = 69 + -66. Suppose g - 76 = -l*y, 4*g - 4*y - 198 - 90 = 0. Sort 5, -5, g, -2 in ascending order.
-5, -2, 5, g
Let x be (68/238)/((-66)/(-21)). Sort 6, 0.1, x, 2, 0 in increasing order.
0, x, 0.1, 2, 6
Let s = -5026 + 5022.656. Sort -2/11, s, -2 in ascending order.
s, -2, -2/11
Let n = -24 - -25. Let s be 4/6*6 + (3 - 8). Sort 5, -2, s, n.
-2, s, n, 5
Let g = -41/7 - -184/35. Let p = -157/3 + 53. Let s = 0.1565 + -3.1565. Sort g, p, s.
s, g, p
Let c be (2052/(-266))/(6/140). Let q = c - -177. Put q, 3, 8 in increasing order.
q, 3, 8
Let a be (-2)/((-8)/(-15)) - (-115)/(-92). Let z be a*3/25 + 43/5. Sort -2, 24, z in decreasing order.
24, z, -2
Let c = -3 + 1. Let a = -0.0532 + 2.9532. Let m = c + a. Put -1/3, m, 0.2 in decreasing order.
m, 0.2, -1/3
Suppose 0 = -14*q - 21*q - 385. Let t = 25 + -17. Put q, 0, -2, t in descending order.
t, 0, -2, q
Let i be 2/3 + (-24)/9. Suppose -2*o - 77 = -101. Suppose o*b - 19 = 17. Sort i, b, 2 in decreasing order.
b, 2, i
Let h = -514.85 + 511.85. Let w = -0.2 - 0. Let k = -9 + -46. Sort w,