, -3
Let l = -4/253 + 1040/1771. Let c = -4.185 - -0.275. Let g = c - 0.09. Sort g, -2, l in decreasing order.
l, -2, g
Let l = -1.657 - -1.462. Put 0.2, l, 0.4 in decreasing order.
0.4, 0.2, l
Let z = -3.47 - -3.07. Sort z, 0.1, -2, -1 in decreasing order.
0.1, z, -1, -2
Let r = 0.14 - -0.06. Let z = 364 + -365. Sort z, 7, r in ascending order.
z, r, 7
Let m = -0.071 + 14.071. Let d = 13.94 - m. Put 0.5, 0, d in increasing order.
d, 0, 0.5
Let j = -0.2 - 0.4. Suppose -70*s = 8 + 202. Sort j, -2, s.
s, -2, j
Suppose -38*r - 2726 - 542 = 0. Sort r, 3, -3 in increasing order.
r, -3, 3
Let r = -1.9 - -12.9. Let t = -5 + r. Let d = t + -5.5. Put d, 4, 2/17 in ascending order.
2/17, d, 4
Suppose -5*y - 16 = -w, 2*w = y + 11 + 3. Let q be (0 - 3)*(-1)/3. Sort -1, w, q in descending order.
w, q, -1
Let r = -400 + 403. Sort 1, 106, -5/4, r in increasing order.
-5/4, 1, r, 106
Let y = -70 + 71. Put y, 0.5, -11 in decreasing order.
y, 0.5, -11
Let c(q) = 3*q + 57. Let l be c(-16). Sort -4, -2, l.
-4, -2, l
Let z = -272 - -277. Sort -9, z, -3.
-9, -3, z
Let r = 59 + -57. Let w be (3 - 2) + -13 - 0. Let s be ((-8)/3)/((-8)/w). Sort s, 5, r.
s, r, 5
Suppose -143*m + 163*m + 80 = 0. Let v(i) = -i**3 + 6*i**2 - 4*i - 5. Let u be v(5). Let t(q) = q**3 - q**2 + 7. Let j be t(u). Put m, j, 5 in decreasing order.
j, 5, m
Let r = -66 + 69. Sort r, -2, 0.5, -15 in descending order.
r, 0.5, -2, -15
Let d = -54 - -49. Let k = -0.12 + 0.12. Sort 0.1, d, k.
d, k, 0.1
Let u(d) = -2*d**2 - d + 1. Let m = 25 + -24. Let i be u(m). Sort 2, -10, i, -1.
-10, i, -1, 2
Let q = 209 - 143. Let d be 2/3 + 2/((-36)/q). Suppose -2*f - 1 = -7. Put d, 5, f in increasing order.
d, f, 5
Suppose 11 = 5*w + 1. Let x(c) = c**2 + 12*c + 5. Let z be x(-12). Suppose -z*m = -7*m + 10. Put -5, w, m in ascending order.
-5, w, m
Let z be (10/4)/((-5)/(-12)) + -6. Put -6, 4, 5, z in ascending order.
-6, z, 4, 5
Let o = 1.06 + 60.94. Let u = o + -62.1. Sort -4, u, 9 in descending order.
9, u, -4
Let w = -0.1 - -0.1. Let m = -297 + 168. Let a = m + 133. Put a, 0.3, w in decreasing order.
a, 0.3, w
Suppose d - 4 = 2*q + 2*q, -4*q = d + 4. Suppose -3*b - b - 28 = 0. Sort d, b, -3.
b, -3, d
Let s = 4.972 - -0.028. Let i = 5.243 + -0.043. Let o = s - i. Sort o, -5, 0.
-5, o, 0
Let x = -19.7 + 1.7. Let j = x + 14. Sort 3, -3, j, 2/7 in ascending order.
j, -3, 2/7, 3
Suppose 4*a + 8 = -3*z, 2*z = 5*a - 29 + 16. Put 1, z, 0, 19 in descending order.
19, 1, 0, z
Let g = 18075 - 18072. Let m = 0.2 - 0.1. Put g, m, 2, 0.4 in descending order.
g, 2, 0.4, m
Let r be (-7 - (0 - -4) - 2)*-1. Suppose 0 = -4*p + 4*w - 36, -5*p - 2 = 5*w + 33. Let a = p + r. Sort a, 1, -2.
-2, 1, a
Let h be -3*5*(-16)/(-60). Let s be 2*(-6)/h*1 + -4. Let o(r) = r + 6. Let u be o(-4). Sort -5, s, u in descending order.
u, s, -5
Let r(b) = -16*b - 149. Let i be r(-9). Sort 16, 4, i, 2 in increasing order.
i, 2, 4, 16
Suppose -4*h + 2*h = -20. Suppose -10 = 5*l + h. Sort 1, 7, l in descending order.
7, 1, l
Let u = -0.19 + -0.11. Let l = -40.5 + 40. Put 0.3, u, l, 1 in descending order.
1, 0.3, u, l
Let u(g) = -6*g**3 + g**2 - 3*g + 3. Suppose 3*w + 5 = -2*x, 5*w - x = 4*x + 25. Let m be u(w). Sort 4, -40, 2, m in ascending order.
-40, m, 2, 4
Let x(g) = -7*g**3 + 65*g**2 - 20*g + 16. Let r be x(9). Let d be ((-3)/(-15))/((-4)/10). Sort d, -1, r, -3/2.
r, -3/2, -1, d
Suppose -21*r = -19*r - 4. Sort r, 0.4, -23, -2/5 in increasing order.
-23, -2/5, 0.4, r
Let n(y) = 27*y + 355. Let f be n(-14). Put 0, f, -1, 4 in descending order.
4, 0, -1, f
Suppose -5*j + 4*q - 344 - 205 = 0, 3*j - q = -328. Put -4, -3, j, 2 in ascending order.
j, -4, -3, 2
Let q(a) = -5*a + 4. Let w be q(0). Suppose -3*t - w*k + 28 = 0, 0 = -t + 6*t + k - 24. Sort -2, t, 2 in decreasing order.
t, 2, -2
Let j = -9.4 - -9.8. Let r = 1/37 + -79/185. Let g = 38 + -35. Sort g, j, r in decreasing order.
g, j, r
Let n(y) = 3*y**2 + 3*y + 1. Let f be n(-2). Suppose 9*v - 12 = 3*v. Put -5, v, f in descending order.
f, v, -5
Suppose -2*p + 6 = 2. Let y = 111 - 111. Suppose 2*q - 18 = 4*d, y = -5*d - 11 - 14. Put q, p, 1 in ascending order.
q, 1, p
Let o be 1/(-2) + (-16)/32. Put o, -20, 0 in descending order.
0, o, -20
Let i = -79353/104 - -763. Let l = 27/104 + i. Sort l, 2, 22 in descending order.
22, 2, l
Let x = -1143 + 1140. Put x, -2, 13, -5 in descending order.
13, -2, x, -5
Let h be (-2331)/(-481) - (-2)/13. Sort h, -3, 1.
-3, 1, h
Let y = 6 - 1. Let h = 2/665 - -653/3990. Sort 2/17, 2/11, h, y.
2/17, h, 2/11, y
Let s = 10 - 6. Suppose -f - 7 = -5*r, 0 = -2*f - s*r - 0 + 14. Suppose x - 1 = f. Sort -1/2, x, 3/5.
-1/2, 3/5, x
Suppose 0 = -4*t, -3*s - 3 = t - 18. Suppose 2*o - 4*o = -b + 22, -o + s*b - 20 = 0. Let q = o + 12. Sort -5, 4, q in ascending order.
-5, q, 4
Suppose 0 = -2*z - x - 10, 3*z = 3*x - x - 1. Let k(r) = -r**2 + 9*r - 6. Let q be k(10). Let i = q - -14. Sort i, -4, z in increasing order.
-4, z, i
Let x(q) = -q**3 - 3*q**2 + 3*q + 4. Let v be x(-3). Let p be 6 - (-22 - -24 - (-5 - 1)). Sort p, 0, v, 2.
v, p, 0, 2
Let o(j) = -j**3 - 11*j**2 + 32*j + 79. Let k be o(-13). Put -2, -198, k, 6 in ascending order.
-198, -2, k, 6
Let d = -2 + 5. Suppose 4*c + 3*h + 13 = -22, 43 = -5*c - 3*h. Let u be (c/20)/(28/20). Sort d, u, 2/13 in ascending order.
u, 2/13, d
Let q be 4/26 + 50/13. Suppose 5*f + 37 = q*w, 4*w - 19 = -0*f + 3*f. Let s be (1/(-2))/(f/18). Sort -5, s, -11 in decreasing order.
s, -5, -11
Suppose -4*x - 28 = -5*q, -34*x + 37*x - q + 10 = 0. Sort x, 0.3, -67 in descending order.
0.3, x, -67
Let z be 130/39 + 4/(-3). Sort -4, z, -3, 22 in descending order.
22, z, -3, -4
Suppose 5*h + 121 = 2*b, 0 = 3*h - 6*h - 15. Suppose 3*n - 18 = -2*y, n - 4*y + 30 = 6*n. Let p be (n/4)/(b/128). Sort 0, p, -1 in descending order.
p, 0, -1
Let y be 119/252*3 - 2/3. Let t = -1 - -7. Let n = -1 + t. Put n, y, -0.2 in decreasing order.
n, y, -0.2
Let a be ((-15 - -1) + 5)*235/(-15). Sort a, 1, 3 in ascending order.
1, 3, a
Let u = 0.07 - 0.06. Let l = u + 4.99. Suppose 0 = 7*v - 4 + 4. Sort -3, v, l.
-3, v, l
Suppose 3*n = 2*n + 12. Suppose 0 = m - 5*m + n. Put 0.1, m, 4 in decreasing order.
4, m, 0.1
Let n = -1159/8 + 145. Let w = n + -29/8. Put 2/19, -3, 0.4, w in ascending order.
w, -3, 2/19, 0.4
Let q = -38 - -12. Let s = q + 25. Sort -5, s, 0 in increasing order.
-5, s, 0
Let k = -178.99 + 179. Let h(b) = -b - 3. Let p be h(-4). Put 2, p, k in descending order.
2, p, k
Let g = 0.5871 + -5.5871. Let x = -3/80 - 1/16. Put g, -0.5, x in decreasing order.
x, -0.5, g
Suppose 4*g - 209 = -5*f, 6*g - 4*g - 2*f - 100 = 0. Suppose -56*c - 15 = -g*c. Put -5, c, -2, 2 in descending order.
2, -2, c, -5
Suppose -4*p + 60 = -0*p. Suppose 10*g - p*g - 5 = 0. Suppose 3*s - 1 = 11. Sort s, g, -5 in decreasing order.
s, g, -5
Let i be ((-6)/72)/((-54)/(-12) - 4). Let p = 0.9 + -1. Sort i, p, 3/7.
i, p, 3/7
Let d(l) = l**3 - 8*l**2 + 23*l - 309. Let k be d(10). Put 5, k, -3, -1 in increasing order.
-3, -1, 5, k
Let n = -31 + 23. Let y = -10 - n. Suppose -2*k - 1 + 5 = 0. Put k, y, -5 in descending order.
k, y, -5
Suppose d = 4*w + 32 - 9, 17 = -w + 4*d. Put -9, w, 10, 0 in increasing order.
-9, w, 0, 10
Let j = -242 - -247. Put j, 4, -2/47 in descending order.
j, 4, -2/47
Let d = 470 - 467. Suppose -g + 9 = 2*g. Let s be (-1 - 1) + g - 3. Sort -3, d, s in decreasing order.
d, s, -3
Let a = 1.9 + -11.9. Let s = 8 + a. Sort s, 2/9, 0.03 in descending order.
2/9, 0.03, s
Let v be ((-1)/3)/((-1)/6). Let l = 51 - 53. Sort 1, -5, v, l in descending order.
v, 1, l, -5
Let r = -1921 + 1916. Put 0, r, -36, -3 in descending order.
0, -3, r, -36
Let w be -4*(-4 + (-4)/((-48)/57)). Let a = 0.04 - -0.46. Put 2, w, a, -2 in ascending order.
w, -2, a, 2
Let a be 4/18 - -78*11/1485. Put a, 25, 0.4 in decreasing order.
25, a, 0.4
Let a be (-2)/(-9) - (-40)/(-18). Let y = 5281 - 5285. Put a, -3, 2, y in decreasing order.
2, a, -3, y
Let q(g) = -g**2 - 5*g - 8. Let o be q(-4). Put 0.4, 3/7, o in ascending order.
o, 0.4, 3/7
Suppose 3*v + z - 31 = -z, -4*v + 5*z + 72 = 0. Put 2/7, 1/3, v, -0.3 in increasing order.
-0.3, 2/7, 1/3, v
Suppose 0 = z + 314 - 306. Put 3, z, 1 in ascending order.
z, 1, 3
Let j(w) = -w**3 - 3. Let t be j(0). Let d = -1/11 - -15/44. Sort d, -0.3, t.
t, -0.3, d
Let d(u)