i = 142.1 + -142. Put l, z, i in decreasing order.
i, z, l
Suppose -b = -3 + 8. Suppose -205*d = -189*d. Put b, d, 1 in ascending order.
b, d, 1
Let h = 4.935 - -0.065. Sort 5.8, 1, h, 0 in increasing order.
0, 1, h, 5.8
Suppose -x - 13 = -33. Let r be 4/(-18) + (714/54 - 13). Sort x, r, 3 in increasing order.
r, 3, x
Let g(o) = o**2 - 6*o + 1. Let p be g(5). Suppose 5*f = -2*c + 336, -13*c + 3*f - 332 = -15*c. Let m = c + -160. Put m, 0, p in increasing order.
p, 0, m
Let b = 0.398 + 0.002. Sort b, -13, 1/7.
-13, 1/7, b
Let x be (-3 + 0 + (-14)/(-6))*-3. Suppose 3*t + 24 = -4*v, -5*v + 6*v - 5 = x*t. Sort t, -6, 4 in decreasing order.
4, t, -6
Suppose -17*d + 83 + 19 = 0. Sort -5, -9, d in ascending order.
-9, -5, d
Let t be 0 - (248/40 + -6)*25. Put t, 5, -4, -2 in increasing order.
t, -4, -2, 5
Let z be 3/6 + (-17)/(-2). Suppose z*h = 4*h + 30. Suppose -h = -3*m - 0*m + 3*o, -3*m - 15 = 4*o. Sort -2, m, -4 in decreasing order.
m, -2, -4
Let y = 2 - -21. Let s = -13 + y. Suppose -3*x - k = -0*x + 5, 4*k + s = -2*x. Sort x, 2, -3 in descending order.
2, x, -3
Let b = -5.2 + 40.2. Let r = b + -35.5. Sort 5, r, 0 in descending order.
5, 0, r
Let j = -3.98 + -0.02. Let g be 4/(-24)*-2*120/8. Sort g, j, 0.
j, 0, g
Let z(i) = -i + 1. Let b(w) = 3*w - 1. Let s(y) = b(y) + 2*z(y). Let n be s(-1). Suppose -u = -2*g - 10, -3*g + n - 6 = 3*u. Put -3, g, -1 in decreasing order.
-1, -3, g
Let b be (-1)/2 + 110/140. Let t be ((-9)/(-2))/(21/28). Let a = t + -1. Put a, -1/2, b in decreasing order.
a, b, -1/2
Let t = 687 - 686. Sort -5, 3, t.
-5, t, 3
Let h(k) = k + 23. Let j be h(-16). Suppose -2*x = -j - 3. Sort x, -3, 2, -12 in decreasing order.
x, 2, -3, -12
Let z = -21.935 - 0.065. Sort 2, 0.1, z.
z, 0.1, 2
Let o be 984/(-88) + (-6)/(-33). Let z = 7 + o. Put z, 8, -0.3 in ascending order.
z, -0.3, 8
Let f = 13 - 14. Suppose -2*l + 4 = -n + 2, 0 = -2*n + 2*l. Sort f, n, 3 in increasing order.
f, n, 3
Let u = 236 - 232. Let n = 9.5 - 9. Sort n, u, 3, 4/9.
4/9, n, 3, u
Suppose 0 = -20*n + 16*n + 120. Let y be 2*-1 + 56/n. Put y, 4, -27, 3 in increasing order.
-27, y, 3, 4
Let t = 1141 - 1146. Let k be ((-3)/(-6))/(6/772). Let r = k - 65. Sort 3/2, t, r in decreasing order.
3/2, r, t
Let a be (-5)/(2 + -1) + 7592/949. Suppose 2*q + 18 = -4. Put q, a, 1 in ascending order.
q, 1, a
Let g = -6 - -7. Let v = -143 - -141. Sort 0.04, v, g in increasing order.
v, 0.04, g
Let n(r) = -r + 4. Let x be n(2). Suppose -10*f + x*f + 120 = 0. Put f, -2, 5 in ascending order.
-2, 5, f
Let u be 216/(-20)*5/(-2). Suppose 22 = 7*t - u. Put -4, -3, t, -1 in descending order.
t, -1, -3, -4
Let s = 71/72 - 10/9. Let m = -55 + 59. Suppose -m*a - 2*w + w = -4, 8 = 2*a + 2*w. Put 4, s, a in increasing order.
s, a, 4
Let h = 517/2124 + -5/236. Put -2/5, h, -57 in increasing order.
-57, -2/5, h
Let b = -429.9 - -430. Put -16, b, 5 in descending order.
5, b, -16
Let k = -301 + 301.3. Sort -1, k, 4/7, -3 in ascending order.
-3, -1, k, 4/7
Let w = -4/65 - 6/65. Let c(l) = l**3 - 2*l**2 + l - 4. Let g be c(3). Let x be ((-1)/(-3))/(4/g). Put w, 2/13, x in increasing order.
w, 2/13, x
Let f be (-21)/(-35) + 6/15. Sort -4, -5, -1, f.
-5, -4, -1, f
Suppose -20*f - 10 = -18*f. Let w(g) = g - 7. Let v be w(4). Let c = 166 + -166. Sort f, v, c.
f, v, c
Let t = -0.0454 + 0.5454. Put -3, t, 1/12, -0.2 in ascending order.
-3, -0.2, 1/12, t
Let k = 110.8 + -111.1. Sort k, 2/7, 0.5, -2/3 in ascending order.
-2/3, k, 2/7, 0.5
Let p = -3472537/1148 + 21172/7. Let n = -3/82 - p. Let s = -0.36 - 0.04. Sort 0.2, s, n.
s, 0.2, n
Let y be ((-10)/(-15))/((-16)/(-6))*16. Put -0.2, 12, y in descending order.
12, y, -0.2
Suppose 0 = -785*k + 773*k - 24. Let n(v) = -2*v. Let x be n(-2). Sort k, -4, x in increasing order.
-4, k, x
Let f = 6.94 + -0.14. Let l = -1.07 - 5.93. Let x = f + l. Put x, 1/4, 2/7 in ascending order.
x, 1/4, 2/7
Suppose 4*v - 6*v = 5*b + 15, -3*v = 3*b + 9. Suppose 0 = -4*s - 4 - 4, -j - 5*s - 8 = v. Put j, 4, -2 in decreasing order.
4, j, -2
Let z = 1606 + -1603. Sort z, -2, -4 in ascending order.
-4, -2, z
Let d = 0.0577 - 0.1577. Suppose 2*z = 5*o - 46, -3*o + 31 + 7 = -2*z. Sort d, z, -2 in descending order.
d, -2, z
Let i be ((-23)/46)/(2/(-60)*3). Put i, 2, -55 in decreasing order.
i, 2, -55
Let o(i) = -i**3 - 2*i**2 - 3*i - 3. Let j be o(-2). Suppose -b = j*b - 12. Suppose -101*y = 4*y + 136 - 661. Sort b, -1, y in ascending order.
-1, b, y
Let n be ((-20)/(-24))/((-132)/(-16) - 2). Let l = -5/42 + -3/14. Sort 2, l, -2, n in increasing order.
-2, l, n, 2
Suppose -4*q - q + 10 = 0. Suppose -q*v = -8 - 4. Suppose u - 3*u - v = -2*j, 2*j = 4*u + 6. Sort u, -5, -2/7 in decreasing order.
u, -2/7, -5
Let p = -71.6 - -75.6. Sort 1/12, p, -18 in descending order.
p, 1/12, -18
Let b be (1/21)/((-1)/(-3)). Let o = -2250 - -2171.94. Let p = o - -78. Sort p, b, 2/11 in decreasing order.
2/11, b, p
Suppose -3*z + f = -0 + 3, 3*f - 9 = -z. Suppose -63 = -j + 6*j + 4*t, z = -4*j - t - 46. Let i be 3/(-9) + j/3. Sort 0, 5, i in ascending order.
i, 0, 5
Let b(r) = -r**3 + 6*r - 4. Let y be b(2). Sort -2, -3, -1, y in descending order.
y, -1, -2, -3
Let f = -16.6 + 18. Let m = 1.2 + f. Let n = -4.4 - m. Sort -4, 5, n in descending order.
5, -4, n
Let x(a) = -a**2 - 27*a - 26. Let s be x(-26). Suppose s = 6*u - 11*u - 110. Put 3, u, -1 in increasing order.
u, -1, 3
Let v = 16 + -14. Suppose 2*b = -v*b. Put 3, b, -3 in decreasing order.
3, b, -3
Suppose 847*c + 32 = 855*c. Put -106, 5, c in descending order.
5, c, -106
Suppose 30 = 36*w - 42. Sort 5, w, 47 in decreasing order.
47, 5, w
Let l = -2091.4 - -2091. Sort l, 2/11, -1039.
-1039, l, 2/11
Let o = 0.6 + -5.6. Suppose 12*z + 2 + 34 = 0. Let x be (-2 - z/3*2)/2. Sort o, 2, x in increasing order.
o, x, 2
Suppose 0 = -354*o + 360*o + 48. Sort -1.6, o, 5.
o, -1.6, 5
Let d be ((-4)/6)/((-32)/240). Sort d, -6, -5 in descending order.
d, -5, -6
Let g = 177/2 - 91. Let r = 2.1 - -0.1. Let h = r - 2.5. Sort -2/19, g, h in descending order.
-2/19, h, g
Let p = 14 - 24. Let m = 969 + -972. Put p, m, 5, 2 in descending order.
5, 2, m, p
Let l(v) = -10*v + 40. Let g be l(4). Sort 3, g, 3/7, 1/7 in ascending order.
g, 1/7, 3/7, 3
Let h = 152 - 152.98. Let x = h + 1.98. Let q be (2/(-6))/((-8)/3). Put -1, x, q in decreasing order.
x, q, -1
Let y be ((-7)/(-14))/((-2)/(32/(-20))). Sort -4, 4, y, 57 in decreasing order.
57, 4, y, -4
Let f = -11/315 - -9/35. Put f, -47, 1 in decreasing order.
1, f, -47
Let w = 10 + -9.98. Let c = w - 0.82. Let x = c + 1. Put x, -3, 2/5 in increasing order.
-3, x, 2/5
Suppose 4*k = -15*k - 38. Sort -13, k, -4 in increasing order.
-13, -4, k
Let k = -1290 - -3872/3. Let l = 3.1 - 3. Let y = 0.3 - l. Sort y, k, 5 in descending order.
5, k, y
Let s = -92 - -84. Sort 31, s, -4 in descending order.
31, -4, s
Let d be 10/(-2)*(-1 + 2). Let c be 1 + (-3 - (3 + -4)). Let m = 109 - 105. Sort m, c, d in decreasing order.
m, c, d
Suppose 613*c = 595*c + 36. Put -4, -294, c in decreasing order.
c, -4, -294
Let h = 491/21 + -71/3. Let v = 9 + -6. Sort v, 0.8, h in ascending order.
h, 0.8, v
Let v = 0.25 - -0.05. Let q = 2533 + -2530. Sort -5, -0.2, v, q in descending order.
q, v, -0.2, -5
Let g be 1 - ((-18)/6 + -1). Sort g, 4, -37 in increasing order.
-37, 4, g
Let r = -34 + 81. Let h = 55 - r. Let w = -14 + 9. Put -4, w, h in ascending order.
w, -4, h
Let h = -151 - -147. Let f(l) = -l. Let o be f(-2). Suppose 16 = 4*y + u, -o + 1 = -y - u. Sort 4, h, y in descending order.
y, 4, h
Let p = -887 - -868. Sort -2, -1, p, 4 in increasing order.
p, -2, -1, 4
Suppose 0 = -2*b - 25 + 1. Let s be (-18)/8*8/b. Sort 0.08, 0.3, s.
0.08, 0.3, s
Let p = 0.646 + 0.654. Sort p, -2/3, 3/4, -0.24 in decreasing order.
p, 3/4, -0.24, -2/3
Let r be 5/(((-6)/18)/((-1)/(-3))). Let p = -44.8 + 45. Sort r, p, -1/4, 27 in ascending order.
r, -1/4, p, 27
Let j = -21.4 + 22.1. Sort j, -1, 2/25 in increasing order.
-1, 2/25, j
Let w be 85/(-15) - (-2)/(-6). Let l = w - 0. Sort -1, 0.2, l.
l, -1, 0.2
Let d = 152 + -181. Put 10, d, 2 in ascending order.
d, 2, 10
Suppose -4*c - 2*g - 9 - 1 = 0, -g = -5. Put -3, 1, -28, c in decreasing order.
1, -3, c, -28
Let j = 55 - 16. Suppose -3*l - 30 = l - p, j = -5*l + 2*p. Sort -2, 2, l in decreasing order.
2, -2, l
Let s be