 - 3*i + 1. Put k, t, 0 in decreasing order.
k, 0, t
Suppose 2*f + 3 = -1. Sort -3, f, 6.
-3, f, 6
Let b be (16/30 - 1) + 34/51. Put -5, 2, b in increasing order.
-5, b, 2
Let g = -480.93 - -477. Let q = g + -0.07. Put -5, -0.1, q in decreasing order.
-0.1, q, -5
Let t = 7 + -17. Let y be t/(-2)*(-1 + 0). Sort y, 0, -3.
y, -3, 0
Let d = -0.3 + 0.3. Let u be (-3)/(-9)*(5/(-1) + 3). Put -1/9, u, d in decreasing order.
d, -1/9, u
Let m(x) = x + 4. Let p be m(-8). Let n = 0.37 + -0.47. Put 2, p, n in decreasing order.
2, n, p
Suppose -33 = 6*m - 45. Sort 0, -1, m, 5 in decreasing order.
5, m, 0, -1
Let z = -52977 - -36130223/682. Let g = -3/62 + z. Sort g, 4, -3 in ascending order.
-3, g, 4
Suppose 3*d = c - 3 - 13, -3*d = 3*c. Sort -4, -3, c in ascending order.
-4, -3, c
Let a = 92 + -87. Put -2, 0.4, a, 6 in decreasing order.
6, a, 0.4, -2
Let r be (-12)/18*(-1 + 7). Sort 4, -3, 1, r in ascending order.
r, -3, 1, 4
Let w = 19 + -15. Let n = 0.06 + 1.94. Let z = w - n. Put z, 3/5, -2/3 in ascending order.
-2/3, 3/5, z
Let x = 9 + -14. Let q = -2/43 + 145/344. Let y be 2/(-1) + 1 + -2. Sort y, q, x in ascending order.
x, y, q
Let o = -0.02 - -2.02. Let x = o + -5. Let n = 3.1 + x. Sort n, -2/9, 0.5.
-2/9, n, 0.5
Let l = -899/4 - -226. Sort l, 0, -0.27, -5 in descending order.
l, 0, -0.27, -5
Suppose -g - 4 = g + 4*v, g + 4*v + 4 = 0. Let u be (0 + 6/(-4))*-2. Put g, 5, u in descending order.
5, u, g
Let z = -11 + 7. Let s = -110 - -115. Put 0.4, s, z in ascending order.
z, 0.4, s
Suppose -n = 18 - 23. Sort -11, 2, 3, n in decreasing order.
n, 3, 2, -11
Let w(q) = -q**3 + 4*q**2 + 4*q + 5. Let b be w(5). Let p be (b - (-2 - 0)) + -4. Let k(m) = m - 9. Let i be k(4). Sort i, p, 3 in ascending order.
i, p, 3
Let f be 6 + (1 - (4 - 2)). Let v(l) = -l**2 + 7*l - 7. Let a be v(f). Let h = 7 + -10. Sort -5, h, a in ascending order.
-5, h, a
Suppose -2*d - 2*d - 3*z + 7 = 0, 2*z = -4*d + 10. Suppose -d*r - 8 = 3*a, 2*a = -0*a. Put -4, 3, r in ascending order.
-4, r, 3
Let u(a) = -a**3 - 7*a**2 - 5*a. Let x be u(-6). Let t = -21 + 19. Sort 0, x, t in decreasing order.
0, t, x
Let g(d) = 11*d - 2. Let u be g(2). Let a be u/110 - 114/22. Sort a, -1, 1/7 in descending order.
1/7, -1, a
Let c = 4/53 + 37/212. Put c, -0.5, -4, 0.4 in ascending order.
-4, -0.5, c, 0.4
Let y be (-55)/(-110)*(-8)/(-10). Let o = -379 - -1901/5. Sort o, y, -2 in descending order.
o, y, -2
Let b = 85 + -10. Let h be (b/(-10))/(2/(-44)). Let q = 2477/15 - h. Sort 2, 3, q.
q, 2, 3
Suppose -6 = 4*l - 2*p + 14, 0 = 3*l + 3*p + 6. Let o = -0.33 - 1.67. Put l, -1/2, o in decreasing order.
-1/2, o, l
Suppose 0 = 5*r + q - 29, -r + 2 = -2*q + 5. Suppose -6*b + 12 = -0*b. Suppose -z = 4*j - 2, 5*z - 10 = -0*z - b*j. Sort z, r, -5 in descending order.
r, z, -5
Suppose -q = -4*k - 14, -2*q + 2*k - 11 = 7*k. Let y = -1 + q. Let x = 6 - y. Sort 4, x, 3 in increasing order.
3, 4, x
Let t be 4/2 - (4 + 2). Put 4, t, -3 in decreasing order.
4, -3, t
Let n be 10/35 - (-57)/21*1. Let f(m) = -2*m + 1. Let w be f(-2). Sort w, -7, n in decreasing order.
w, n, -7
Let u be (-22)/8 + 0 + 3/(-12). Put -1, u, 5, 4 in descending order.
5, 4, -1, u
Let c = -5.34 - 0.16. Let t = c + 6. Let b = -5 + 4.7. Put -1/5, t, b in ascending order.
b, -1/5, t
Let w = -242 - -261.8. Let m = -20 + w. Sort 2, m, -0.04 in decreasing order.
2, -0.04, m
Let x be (10 - (1 - 3)) + 3 - 0. Put 1, -4, x in descending order.
x, 1, -4
Let v = 2 - 1.5. Let i = -89/451 - -187/41. Let u = i - 181/44. Sort u, v, 0.1 in decreasing order.
v, u, 0.1
Let k(t) = 3*t**3 + 2*t**2 + 6*t + 6. Let r be k(-4). Let o be (r/60 - -3)*4. Sort -0.5, o, -1 in descending order.
o, -0.5, -1
Let g = -47 - -44. Put 3/2, 0.3, -13, g in increasing order.
-13, g, 0.3, 3/2
Let g = -21/2 - -11. Let r = -20.1 + 17. Let t = -3 - r. Sort t, 1/3, g in descending order.
g, 1/3, t
Suppose 20 = -4*b + 5*k, -4*b + b - 2*k - 15 = 0. Suppose -12 = 3*d - 4*d. Suppose 0 = 5*j - j - d. Put j, b, -1 in decreasing order.
j, -1, b
Let w = 1.1 - 1.4. Let h = 1.3 + w. Sort -1/6, 2, h in decreasing order.
2, h, -1/6
Let g(q) = q**2 - 4*q + 3. Let s be g(3). Let t = -6 + s. Let v be (-36)/t*(-4)/6. Put v, 4, 5 in ascending order.
v, 4, 5
Let z be 1/(1/(-4))*(-2)/(-2). Suppose 3*a + 4 = 7*a. Sort a, 2, z in decreasing order.
2, a, z
Let k = 7.3 + 0.7. Sort -0.5, k, 0.1, 5.
-0.5, 0.1, 5, k
Let w = 2 + -3. Let t = -35 - -32. Let q = 5 - 1. Sort w, q, t in increasing order.
t, w, q
Let a = 20 - 14. Let x = a - 6.01. Let j = 1.01 + x. Sort -3/2, 3, j.
-3/2, j, 3
Let u be (-26)/(-7) + 2/7. Suppose 0 = -3*f + u + 11. Suppose t + 0*t = -f. Sort t, -1, 3 in increasing order.
t, -1, 3
Let k = 0 - -4.5. Let r = -0.5 - k. Sort r, 0.4, 2/9 in descending order.
0.4, 2/9, r
Let z = 5 + -4.6. Let h = 3 + -2. Sort 2, z, h.
z, h, 2
Suppose -2*v = -3*h, -2*v - 3*h + 12 = -0*h. Sort v, -4, -1 in descending order.
v, -1, -4
Suppose -b + 10 = -2*f + 2*b, -4*b + 8 = 0. Put 3, f, -4 in decreasing order.
3, f, -4
Let z = 3 + -2.8. Suppose o - 2 - 2 = 0. Put o, -4, z in descending order.
o, z, -4
Suppose -15 = -3*f + 4*y, 5*f - 25 = -4*y - 0*y. Suppose -2*l + i + 6 = 0, -5*i = l - i - 3. Sort f, l, -1 in descending order.
f, l, -1
Let o(q) = q - 1. Let v be o(-1). Let x(a) = 3*a - 10. Let b(r) = -r. Let p(z) = 4*b(z) + x(z). Let k be p(-7). Sort k, -4, v in descending order.
v, k, -4
Let o = 0.3 + -0.25. Let v = o - -2.95. Let x = 14 - 13.9. Sort v, x, 1/3 in decreasing order.
v, 1/3, x
Let p be -2*(0 - 6/4). Suppose -4*o - 45 = 5*w, -p*w - 10 = 2*o - 3*o. Let h = o + 8. Sort -2, h, -3 in decreasing order.
h, -2, -3
Let q(l) = -l**3 - 9*l**2 + 10*l + 8. Let v be q(-10). Put 3, v, -1, 1 in decreasing order.
v, 3, 1, -1
Let c = -2.4 - -1.4. Put c, -2, -5 in descending order.
c, -2, -5
Let f be (-2)/10 - 28/10. Let m = -1 - f. Suppose -q - 2*q - 3*r = 18, m*r = 5*q - 5. Put -4/7, q, -4 in ascending order.
-4, q, -4/7
Suppose 2*c - 9 = 3*y - 0, 0 = 5*y + 4*c - 7. Put y, 0, 6 in descending order.
6, 0, y
Let n(a) = a**3 + 5*a**2 - 6*a - 3. Let q be n(-6). Let b be (-9)/6*(-2)/q. Let z(t) = t**2 + 7*t + 7. Let x be z(-5). Put b, x, 4 in increasing order.
x, b, 4
Let r(q) = q**2 + 2*q + 1. Let z be r(-1). Suppose y = -5*a + 31 - 7, z = a + 4*y - 20. Sort 0, -2, a.
-2, 0, a
Let g = 7525331/40 - 188123. Let w = g - 52/5. Sort 0.1, -3, w.
-3, w, 0.1
Let d = -1.3 + 1.6. Put 3, d, -5 in decreasing order.
3, d, -5
Let y = 0 - -8. Suppose -y = 6*a - 4*a, -4*t = -2*a - 16. Let l be (-40)/22 + 4/t. Put l, -4/9, 0.3 in decreasing order.
0.3, l, -4/9
Let k(b) = b - 12. Let u be k(11). Sort u, 6, 2.
u, 2, 6
Let h = 715/6 + -119. Sort 5, h, 20, -0.2.
-0.2, h, 5, 20
Let w be 0 + (0 - -3) + 1. Let d be (-8)/12*(-6)/w. Put -5, -2, d in increasing order.
-5, -2, d
Suppose 0 = -5*u + 5*g + 20, 0*u = -u - 4*g + 4. Suppose 4*a = -2*h + 2, 4*a = -h - 1 + u. Sort 0.4, h, 3 in descending order.
3, 0.4, h
Let p = 171 - 174. Suppose -5*o + 4*o - 4 = 0. Sort p, o, 5.
o, p, 5
Let v = 5 + -1. Let i = 460859 - 5994393/13. Let n = 248 + i. Sort n, -0.5, v in ascending order.
-0.5, n, v
Let t(d) = -d**3 - 8*d**2 + 10*d + 7. Let k be t(-9). Let i = -1 - 3. Let z = i + 0. Put z, 0, k in descending order.
0, k, z
Let k = -0.444 + 5.314. Let u = k - -0.13. Let q = -0.1 - -0.1. Sort q, u, 1 in increasing order.
q, 1, u
Let h = -0.024 - 3.976. Put h, -3/8, -0.3 in ascending order.
h, -3/8, -0.3
Let t be 2/14 + (-2 - 41/(-7)). Sort 0, -5, 27, t in decreasing order.
27, t, 0, -5
Let m be 8/28 + (-200)/14. Let b be (-6)/(-21) + 4/m. Suppose b*l + 2*a = -2*l, -4*a = -l - 10. Sort l, -3, 0.4 in decreasing order.
0.4, l, -3
Let h = 18 - 20. Suppose -i - 3 = -4*i. Sort -0.5, i, h in ascending order.
h, -0.5, i
Let s = -16 + 19. Put -2, s, -9 in decreasing order.
s, -2, -9
Let d be 5/3 + 4/12. Let l be (-1 + 1)*1/1. Let a = -3 - l. Sort d, a, 4 in descending order.
4, d, a
Let j = -60 + 56. Sort j, 11, 0.
j, 0, 11
Let q = -21 - -16. Sort 0, 1, -4, q.
q, -4, 0, 1
Let j = 5.6 - 5.6. Put j, -2/11, 4/7 in decreasing order.
4/7, j, -2/11
Let g(d) = -2*d**2 - 16*d - 4. Let b be g(-8). Sort -1, b, -2/19, -0.2 in descending order.
-2/19, -0.2, -1, b
Let o be (4 + -3)/((-2)/(-6)). Suppose -o*t - 5 = 4. Put t, 2, 0 in ascending order.
t, 0, 2
Let o = -11 - -56/5. So