b + 0*b = -20, 0 = -5*k + 4*b - 4. Let j be u/k*0/(-3). Put 1, j, -4 in increasing order.
-4, j, 1
Suppose 0 = -5*y + 1 - 6. Let h be (2 - 6)*y/(-6). Let p = 430/981 + 2/327. Put 4, p, h in increasing order.
h, p, 4
Let l(b) = 12*b + 193. Let w be l(-19). Put w, 5, -17 in descending order.
5, -17, w
Suppose 4*o = 5*x + 22 - 69, 4*x - 40 = 2*o. Suppose 0 = -p - 2*w - 20, 0 = -p - 5*w - 18 - x. Let j be (-80)/35 + (-4)/p. Put -3, j, 2 in descending order.
2, j, -3
Let r = -72.8 - -73. Sort r, -39, -4, 3 in increasing order.
-39, -4, r, 3
Suppose 31*m + 66 = -27. Put -7, -4, -1, m in descending order.
-1, m, -4, -7
Let b = -0.4 - 3.6. Let z be (16/(-180)*(-125)/50)/(4/(-3)). Put z, 13, b, -0.3 in descending order.
13, z, -0.3, b
Let f = -1.8 - 3.2. Let h = 0.22 - 0.22. Let w = 0.6 + -3.6. Put w, h, f in decreasing order.
h, w, f
Let y be 16/144 + (88/18 - 2). Sort 2, y, -5, -1 in descending order.
y, 2, -1, -5
Let a(s) = s**3 + s**2 + 1. Let h be a(-2). Suppose -2*g = -0*g, -5*b + 5*g - 620 = 0. Let z be 10/75 - b/(-30). Put h, z, -2 in descending order.
-2, h, z
Suppose -3*r + 0*j = -3*j - 21, -3*r - j + 5 = 0. Sort 1, r, 2, -3.
-3, 1, 2, r
Let x(w) = -w**3 - 18*w**2 + w + 17. Let g be x(-18). Let y = -2 + 7. Sort 0, g, y in decreasing order.
y, 0, g
Let i(d) be the first derivative of -d**3/3 - d**2 + 3*d + 35. Let m be i(1). Sort -7, m, -5 in decreasing order.
m, -5, -7
Let k be 0 + 12/66 - 126/(-33). Put 1, -4, k in descending order.
k, 1, -4
Let v = 283 + -5095/18. Sort 0, -0.5, v in descending order.
0, v, -0.5
Suppose -3*t + 20 = -4. Let s be ((-20)/t + -3)*-2. Suppose 2*i + p - 17 = -2*i, -i = -2*p - s. Sort i, -1, -2/7.
-1, -2/7, i
Let x = -3.36 + -0.14. Let k = x - -4. Let w = 3758/9 + -418. Sort w, 1/3, k in descending order.
k, 1/3, w
Suppose -10*m - m = -11. Sort m, -2, 3 in increasing order.
-2, m, 3
Let r = 0.147 + -0.347. Let w = 0.39 - 16.39. Let o = 15.87 + w. Sort 1/9, o, r in ascending order.
r, o, 1/9
Let k be 63/(-140) + 10/20. Sort 2/5, -0.01, k, -0.1 in decreasing order.
2/5, k, -0.01, -0.1
Let s = 282 + -851/3. Put -6, s, 1 in decreasing order.
1, s, -6
Suppose 10*z - 601 = -591. Let l = 7 + -4. Sort l, 16, z in decreasing order.
16, l, z
Let m = 1 + -4. Suppose 0 = 2*q - 5*k - 23, -8*q + 3*q + 32 = -4*k. Let r = 20 - 19. Put q, r, m in increasing order.
m, r, q
Let s = -275/119 + 17/7. Let j = -12.34 + 12.04. Put -3/4, -0.2, s, j in descending order.
s, -0.2, j, -3/4
Let o = 189 - 185. Let m be (-22)/(-8) + 2/8. Let u be 2*2/(8/(-6)). Sort m, u, o in increasing order.
u, m, o
Let o(r) = -r**3 + 5*r**2 + 11*r - 67. Let c be o(4). Put 2, c, -22 in descending order.
2, c, -22
Let h = 17 - 12. Let r(w) = -4*w**2 + 91*w + 122. Let x be r(24). Sort x, h, 0, -0.3.
-0.3, 0, x, h
Suppose 5*h - 9 = 4*u + 2, 2*h = 3*u + 3. Suppose -h*x = -6*x - 6. Suppose -5*i - 8 = 2*d - 36, 4*d + 4 = 5*i. Sort -3, i, x in increasing order.
-3, x, i
Suppose 4*d + h = 510, 5*d - 154 - 477 = 2*h. Let p = d + -132. Let t = 2 - 5. Sort p, -7, t.
-7, p, t
Let f = -0.11 - 5.89. Let q(l) = -2*l**3 + 34*l**2 - l + 19. Suppose -7*n + 195 - 76 = 0. Let y be q(n). Sort y, f, 5.
f, y, 5
Suppose y - 4*v - 9 = 0, -5*y - 2*v = -5*v - 28. Suppose -t - y = -1, m = 3*t + 15. Put -5, -7, m in ascending order.
-7, -5, m
Let r = -2.61 + -0.39. Let z be (-1 - 0)*4/16. Put -1/9, r, z in descending order.
-1/9, z, r
Suppose 4*q - k + 6 = 3*q, 0 = 2*q - 3*k + 13. Let v(h) = -h + 10. Let y = -7 + 17. Let i be v(y). Put -4, i, q in increasing order.
q, -4, i
Let w be (-8)/(-6)*6/(-4). Let r be 3 + (0 - (-3 - w)). Let l be ((-2)/(-21))/(r/12). Sort l, 4/7, -5 in increasing order.
-5, l, 4/7
Let g = -2.761 + -0.239. Sort g, 2, -2/69, -0.3 in decreasing order.
2, -2/69, -0.3, g
Let d = 14794 - 14794.02. Let w = -1 - -3. Put d, -0.1, w in descending order.
w, d, -0.1
Suppose 9*d + 36 = -3*d. Suppose -m = w + m - 2, 4 = 2*w - 3*m. Sort d, w, 1 in decreasing order.
w, 1, d
Suppose 0*m + 25 = 5*m. Suppose 3*w - 4*g - 6 = 0, -4*g + 4 + 6 = m*w. Suppose 5*s = y - 0*s - 5, 0 = y - w*s + 1. Sort y, 5, 7.
y, 5, 7
Let v(j) = -j**3 - 4*j**2 - 10*j - 18. Let s be v(-3). Sort 194, -1, s.
-1, s, 194
Let l = -1 - -1. Suppose 2*k + 2 = -i - 1, -i - 3*k - 7 = l. Put i, 2, -3 in decreasing order.
i, 2, -3
Suppose 0 = 3*m + 15, -5*u - 13 = -u + 5*m. Let t = 84 + -70. Sort 1, u, t in increasing order.
1, u, t
Let h = -194 + 198. Put h, 0, 5, -9 in increasing order.
-9, 0, h, 5
Let q = 182 - 127.5. Let p = q + -54. Put -0.1, p, -5 in increasing order.
-5, -0.1, p
Let j be (-3)/((-12)/(-16)) - -1. Let t = j + 9. Sort -3, t, 1 in decreasing order.
t, 1, -3
Let t = 489 + -484. Sort 3, -3, 4, t in increasing order.
-3, 3, 4, t
Let s be 6152/(-44) - ((-24)/(-4))/3. Let f = s - -142. Suppose -5*w = -w + 4*p - 24, -4*w - 5*p = -26. Sort -4, w, f in increasing order.
-4, f, w
Let r be ((-12)/(-27))/(17/153). Sort 2, r, -5, 6 in decreasing order.
6, r, 2, -5
Let n(c) = -c**3 + 2*c - 1. Let r be n(2). Let h be (-32)/(-14) + (-10)/35. Suppose 0 = h*a - a - 5. Sort r, a, -6.
-6, r, a
Suppose -k + 5*u + 15 = 10*u, 0 = 3*u - 6. Sort 2/5, k, 0, 1.
0, 2/5, 1, k
Suppose 5*p - 18 = -3*j, 27*p = -2*j + 25*p + 12. Sort 7, -5, j in decreasing order.
7, j, -5
Suppose 0 = -b - 3. Suppose 0 = 3*h + 4*x + 4 + 7, -5*h - 26 = -x. Let k be ((-8)/20)/((-1)/(-10)). Sort k, h, b in decreasing order.
b, k, h
Let g be 8/10*(-5)/1. Let x(z) = -28*z + 331. Let u be x(12). Sort 5, -1, u, g in descending order.
5, -1, g, u
Let n = 618/5 + -123. Let u be 13 - 18 - (-2 + -5). Sort -2, n, -0.4, u in decreasing order.
u, n, -0.4, -2
Let y = 876.5 - 876. Let a = 0.6 + 0.4. Put a, -0.4, y, -8 in descending order.
a, y, -0.4, -8
Let i(c) = 5*c**2 + 20*c + 5. Let o be i(-4). Put 0, -0.7, -3, o in decreasing order.
o, 0, -0.7, -3
Let s = -0.39 - 0.01. Let q = 86/15 - 27/5. Put s, 2/3, q in descending order.
2/3, q, s
Let y = -0.4192 - 0.0808. Put 62, 1/5, y in descending order.
62, 1/5, y
Let h = -2453 + 2457. Let a = -1 - 2. Sort a, 1, -5, h in decreasing order.
h, 1, a, -5
Let a = -9 - -14. Suppose a*g = 3*c + 13, 2*g - 4*c - 1 = -7. Suppose -o + 6*o - 5*x = -35, g*o - 10 = -4*x. Put o, -4, 2 in decreasing order.
2, o, -4
Let z(f) = f**2 - 2*f - 23. Let h be z(-4). Suppose 2*x + 3 = -3. Sort 4, 0, h, x.
x, 0, h, 4
Let x = -6.207 + -1.793. Put 3/5, x, 1/6 in ascending order.
x, 1/6, 3/5
Let n = -0.5 + -4.5. Let m be ((-2)/(-4))/((-10)/40). Put m, n, 4/5, 2/13 in increasing order.
n, m, 2/13, 4/5
Suppose -4*o + 44 = 52. Put o, 2, -3/4, 5 in increasing order.
o, -3/4, 2, 5
Suppose -5*k - 6 = w + 9, 23 = k - 5*w. Let d = -1962 - -1959. Sort 3, d, k in descending order.
3, k, d
Let d be 33/(-4) - 0 - 45/(-180). Sort 1, d, -2, -5.
d, -5, -2, 1
Let g = -285 - -288. Suppose 3*p - 7*p + 16 = 0. Let u be p + -2 + (-1 - -1). Sort u, -4, g in decreasing order.
g, u, -4
Let r be (-69)/(-21) + -3 + 40/(-140). Let l = -22 - -22.11. Let h = l - 5.11. Put -2/3, r, h in decreasing order.
r, -2/3, h
Let v(s) = s**3 + 15*s**2 + 47*s + 29. Let l be v(-11). Put l, -7, -5 in ascending order.
-7, -5, l
Let o = 22.5 + -18.6. Let t = -1.02 - 0.08. Let n = t - o. Put -3, -3/8, n in increasing order.
n, -3, -3/8
Let g = -31 + 42.6. Let b = g - 12. Let c(k) = -k**3 + 3*k**2 - k - 1. Let h be c(3). Put b, h, -1 in ascending order.
h, -1, b
Suppose 0 = 5*t - 5*f + 15, 37 = -t + 3*f + 24. Sort -1, t, 52.
-1, t, 52
Let g = 562519 + -590644763/1050. Let f = -2/175 + g. Put -3, -5, f in descending order.
f, -3, -5
Let i = -14.934 + 15. Let j = i + 2.934. Put -4/5, -0.3, -0.2, j in descending order.
j, -0.2, -0.3, -4/5
Let m be (13 + 8)*(15/9)/(-5). Let a be (224/12)/m*(3 + 0). Sort 0.2, -4/9, a in ascending order.
a, -4/9, 0.2
Let t = -25 + 27. Suppose 2*o + 3*r - 12 = 0, t*o - 3 = 5*r - 23. Suppose o = 4*m - 13 + 9. Put m, -1, -2 in descending order.
m, -1, -2
Suppose -c + 0*c = 5*r - 12, 0 = -3*r - c + 6. Suppose r = d - 3*f, 0*d - 4*f = d + 4. Sort 1, -1, -2, d in decreasing order.
1, d, -1, -2
Let k = 2 + -1.76. Let r = 0.28 - k. Let h = -0.06 - r. Sort -3, 1, h in decreasing order.
1, h, -3
Let x = -351 - -347. Sort -3, 1, x, 2 in descending order.
2, 1, -3, x
Let u = 0.47 + 4.23. Let q = u + -0.7. Let y = -344 + 349. Put q, -4, y in descending order.
y, q, -4
Let 