. Sort c, -5, b, 4 in decreasing order.
4, b, c, -5
Let f = -523 + 519. Put 4, f, -51 in descending order.
4, f, -51
Let o = 0.359 - 2.359. Put o, 6.8, -1/3 in decreasing order.
6.8, -1/3, o
Suppose -f + 5*f = 0. Let v = f - -2. Suppose v*x - 5*x = 0. Sort 4, 1, x.
x, 1, 4
Suppose 5*v + 2*q = -13 - 353, -q - 3 = 0. Let a = v + 71. Put 1, -4, -3, a in descending order.
1, a, -3, -4
Let o = 27 + -18. Let m = o + -8.6. Let r = -0.08 - -0.58. Sort r, m, -0.3 in decreasing order.
r, m, -0.3
Let b = -422 + 425. Put 19, 0.1, b, 0.4 in descending order.
19, b, 0.4, 0.1
Let z(x) = 2 - 9*x**2 - x + 2 - x**3 + 2*x**3. Let d be z(9). Sort d, 0, 20 in ascending order.
d, 0, 20
Let i(o) = 2*o**2 - 30*o - 28. Suppose 5*u - j - 83 = 0, -8 + 65 = 3*u - 3*j. Let a be i(u). Sort 13, a, -1, 2 in increasing order.
-1, 2, a, 13
Let x = -41 + 46. Put x, -4, 2, -11 in decreasing order.
x, 2, -4, -11
Let k be (14*17/1190)/((-1)/(-5)). Sort -63, -3, k in ascending order.
-63, -3, k
Let y be (-2)/(-1)*(-1 + 0). Let z be -6*1/(-2) - y. Let c be z/(-7) - 2/7. Sort -3, c, 2 in increasing order.
-3, c, 2
Suppose 7 = 3*h + 4*h. Let k = -48 + 47. Sort h, 1/9, -0.5, k in decreasing order.
h, 1/9, -0.5, k
Suppose 4*n + 24*n = -6*n + 102. Let q = -6 + 4. Put 0, q, n in ascending order.
q, 0, n
Let a = -0.819 - -0.319. Sort -4, 6.2, a in increasing order.
-4, a, 6.2
Let c = -7571/2910 - -1/582. Let z = 67/20 + c. Suppose -l = -3*l + 10. Put l, z, -1 in decreasing order.
l, z, -1
Let j = -1228 + 1205. Put -2, 1, j in decreasing order.
1, -2, j
Let c be 84*-9*(-4)/108. Sort 4, 3, c.
3, 4, c
Suppose -5*g = -4*o - 12, -4*o = -2*g + 9 + 3. Suppose 0 = -b + 9*b - 392. Suppose 5*f + 2*f = b. Sort o, f, -1 in descending order.
f, -1, o
Let t(f) = 2*f**2 + 3*f - 2. Let p be t(-6). Suppose 0*a - p = -2*a. Suppose -2*o - 4*u = a, o = 4*o + 3*u + 24. Sort -5, -4, o in descending order.
o, -4, -5
Let z = -4952/15 - -330. Let b = 4.106 - 4.106. Sort -3, b, 2/11, z in ascending order.
-3, z, b, 2/11
Let x be ((-2)/5)/((-8)/160*4). Let c(s) = -4*s**2 + 30*s + 21. Let u be c(8). Put u, x, 4 in ascending order.
x, 4, u
Suppose -4*k + k = 2*m - 8, -k = 0. Suppose -6*s + 2*x = -3*s - 46, 4*x = 4*s - 64. Suppose -s*i - 4 = -18*i. Sort m, 2, i in decreasing order.
m, 2, i
Let h be (-2)/(-4) - (-3)/(-14). Let b = -66 - -97. Let r = -31.5 + b. Put -1, h, r in descending order.
h, r, -1
Let y be ((-4)/(-6))/(1/(-3)). Let r be (-6)/(-22)*y/6. Let f = -2/565 + -1116/3955. Put f, 2, r in decreasing order.
2, r, f
Let o = -270 + 275. Sort o, 11, 0.
0, o, 11
Let r = 5 - 0. Let o = 27 + -35. Let p = o + 7.8. Put 2/11, p, r in increasing order.
p, 2/11, r
Let v be ((-3)/(-30))/(1/8). Let z = 13.85 - 14.05. Sort v, 0.5, z, -7.
-7, z, 0.5, v
Suppose 61 = 24*r - 59. Sort 1, r, -93, 4 in increasing order.
-93, 1, 4, r
Let q = 28 + -8.4. Let t = q + -20. Sort 2/3, 2, t, -2/17 in increasing order.
t, -2/17, 2/3, 2
Let i(f) = -f**3 + 14*f**2 - 14*f + 15. Let k be i(13). Suppose -1 = t + k. Sort -1, t, -2 in descending order.
-1, -2, t
Let i be ((-4)/6)/(2/12). Let n be -1 + -14 - (5 - 1) - -3. Let l be (-2)/(-4)*4/n*0. Put i, 5, l in increasing order.
i, l, 5
Let z be (16/6)/((-21)/(-18)). Let j = 66/35 - z. Let u be 36/(-315) - (-12)/30. Sort u, j, 2 in descending order.
2, u, j
Let h be 112/(-120) + (-4)/(-12). Put h, -1/2, -1/7, 0 in descending order.
0, -1/7, -1/2, h
Let g(v) = v**2 + 6*v - 16. Let y be g(-9). Let o be y/(-12)*-4 - 3. Put 3, 0, o in ascending order.
0, o, 3
Let k = 18 - 29. Let o(w) = w**3 + 11*w**2 + w + 9. Let p be o(k). Suppose 2*y + 5*q - 31 = 0, 0*q - 5 = -q. Sort 4, p, y.
p, y, 4
Suppose -5*p = -2*p. Let z be (-2)/7 + p/(-14). Sort 0, 4/7, z in increasing order.
z, 0, 4/7
Let h(w) = -w + 3. Let p be h(0). Let z be 2/p - (-10)/(-18). Let v be (5 + -5)/((-4 - -7) + 3). Sort -0.5, z, v.
-0.5, v, z
Let r(m) = -m - 4. Let g be r(-4). Let p(l) = l**3 + 3. Let w be p(g). Suppose -w*o - 17 + 7 = -2*v, o - v + 3 = 0. Sort -2, -1, o in descending order.
-1, -2, o
Let n = -1329 + 1384. Put 3, 1, n, -3 in ascending order.
-3, 1, 3, n
Let a = -99.9 - -98. Let s = 1.5 + -3.4. Let g = s - a. Put g, -3, 0.4 in ascending order.
-3, g, 0.4
Let t = -764 - -760. Let j = 18 + -17. Sort t, j, 0, 0.1.
t, 0, 0.1, j
Let y = 133 - 137. Sort y, 4, -21.
-21, y, 4
Let q(c) = -20*c - 199. Let s be q(-10). Put -1, -3, s in descending order.
s, -1, -3
Let u = 1 + -3. Let s = 39 + -40. Let x(f) = 17*f - 2. Let t be x(s). Sort 2, t, u.
t, u, 2
Let j(h) = 7*h**3 + h**2 + 2*h - 1. Let f be j(2). Put f, -3, 4, 0 in descending order.
f, 4, 0, -3
Let d = -0.56 - -0.46. Let h = -0.15 - d. Let v = -3 + 4. Put h, 5, v in descending order.
5, v, h
Let c = -2036/3 + 679. Sort c, 2, -6 in ascending order.
-6, c, 2
Suppose 4*j - 11 = 3*k + 10, 24 = 4*j - 4*k. Suppose 2*g = -3*g. Suppose r = 3*r - c - 10, -4*c - 8 = g. Sort j, -1, r in decreasing order.
r, j, -1
Let v = -1.336 - -0.936. Let k = -1.4 - -2. Let x = -4.6 + k. Sort x, v, 4 in descending order.
4, v, x
Suppose 0 = 3*a + 9 + 3. Let w = -0.43 + -0.07. Let h be -4 - -3 - (-4)/3. Sort w, a, h in descending order.
h, w, a
Suppose 0 = -x - 4 - 5. Let z be 2/x*(-3)/18*-3. Sort z, 1/2, -1/5 in ascending order.
-1/5, z, 1/2
Let v be 3/(-8)*(-1 - 5/(-3)). Let g be (4/12)/(2/2). Sort -11, v, g.
-11, v, g
Let q(y) = y + 13. Suppose 0 = 3*t + 4*z + 59, 2*t + 3*z = -8 - 32. Let w be q(t). Let m = -6 - w. Sort m, 3, 0 in decreasing order.
3, 0, m
Suppose u + 7 - 10 = 0. Let a be (2/u)/(1/3) + -7. Sort a, 2, 4, 5.
a, 2, 4, 5
Let o be 116/(-19) + 28 + -22. Sort o, -3/2, 1/2, -2/5.
-3/2, -2/5, o, 1/2
Suppose 5*p - p - 5*r - 48 = 0, p - r = 13. Let i = -2 - -3. Sort 2/7, i, p in increasing order.
2/7, i, p
Let r(h) = -h**3 + h + 4. Let d be r(0). Suppose -z + 3*z + d*k + 8 = 0, 5*z - 2*k = -56. Let o be (12/z)/(14/35). Put 1/3, 2, o in increasing order.
o, 1/3, 2
Let l = -18.2 - 3.8. Let k = l + 21.7. Put k, -0.4, -0.09 in descending order.
-0.09, k, -0.4
Let l be (-3)/36*(-16)/(-6). Let y = -76 - -77. Sort y, 0.23, l.
l, 0.23, y
Let j(m) = 3*m + 50. Let p be j(-14). Suppose -h - 1 = 4*b, 3*h - b = 6*h - p. Put 5, -4, h in descending order.
5, h, -4
Let a = 0.2057 + 3.7943. Sort -11, 3, a in descending order.
a, 3, -11
Suppose -4 = 2366*q - 2365*q - j, -5*q = 2*j - 1. Suppose 0 = -6*u + 2*u - 5*d + 12, -4 = d. Sort q, 3, 4, u in descending order.
u, 4, 3, q
Let h = 1.29 + -0.24. Let r = 0.05 - h. Let w be (-37)/(-7) + (-2)/7. Put -5, w, r in increasing order.
-5, r, w
Let p = -541 + 540.8. Suppose -2*l + 5*d + 4 = 20, 4*d - 11 = l. Put p, 15, l in descending order.
15, p, l
Let f be ((-7)/14)/((-2)/(-20)). Let v = 2/29 + -64/87. Sort 3, v, f in ascending order.
f, v, 3
Let k = 776 + -774. Put -37/5, -4, k in decreasing order.
k, -4, -37/5
Suppose -2*a = 4*u - 158, a - 58 = -4*u + 101. Sort -34, u, -3.
-34, -3, u
Let j = 1.1 + -0.1. Let o = 2456 - 2453. Sort j, 2, -4, o in increasing order.
-4, j, 2, o
Let t be (-2 - (-15)/6)*58. Let p(q) = -q - 20. Let m be p(-16). Put m, t, -2 in ascending order.
m, -2, t
Let o = -2 - -3. Let h(u) = -5*u + 23. Let z be h(4). Suppose 4*y = -4*p, 4*p + 4*y = z*y - 3. Put p, o, 3 in ascending order.
p, o, 3
Suppose 0 = -9*r + 2321 - 2285. Let d(l) = -l**2 + 12*l - 15. Let c be d(10). Put r, 3, c in decreasing order.
c, r, 3
Suppose -k = -0 - 2, -3*b = -4*k - 55. Let f = b - 16. Sort -0.4, -1, 2/3, f in descending order.
f, 2/3, -0.4, -1
Suppose 2*i - 14 + 4 = 0. Suppose -15*h = -14*h + 5. Let x = 7 + h. Sort i, x, -1 in descending order.
i, x, -1
Let h = 1596.2 - 1598.2. Let u be (-2)/2 - (-9)/11. Put h, 1/3, 4/5, u in descending order.
4/5, 1/3, u, h
Let o(x) = 13*x**3 + 3*x**2 - 3*x - 4. Let i be o(-3). Let t = i - -4149/13. Sort t, 2, -3.
-3, t, 2
Let b = -399/136 - -52/17. Put b, 0.6, -0.2 in ascending order.
-0.2, b, 0.6
Let u = 3 + -2. Let q = -0.4948 + -0.0052. Let p = 0.2 - 1.2. Sort u, q, p in decreasing order.
u, q, p
Suppose -28*v = 2*o - 32*v - 6, -5*v = -4*o + 6. Sort -4, -333, o in ascending order.
-333, -4, o
Let m = -168 - -162. Put -1/3, m, -2, -0.3 in descending order.
-0.3, -1/3, -2, m
Let s = -50 - -49.8. Let q = -25 + 23. Let l = 4 + q. Put -0.4, l, s in decreasing order.
l, s, -0.4
Let i be -2*(20 - 17)/(-2*1). Put -1, -21, i, 4 in incr