i = -1800 - -1800.3. Let d = -5 - -5.5. Put i, 1, d, 4 in decreasing order.
4, 1, d, i
Let w(h) = 4*h**3 + 2*h - 1. Let t be 4/(-6)*6/(-4). Let d be w(t). Put -8, d, 1 in descending order.
d, 1, -8
Let o = 287 - 292. Put 27, 4, o in descending order.
27, 4, o
Let v = -17 + 31/2. Sort v, 4, -8/7, -1/2.
v, -8/7, -1/2, 4
Let o be -3*417/81 - -4. Let v = o - -35/3. Suppose -1 = -p + 3*l, 0 = 3*p - 2*l - 2*l + 2. Sort v, p, -5.
-5, p, v
Let h = 0.3 - 2.3. Let w = -44.917 + -0.083. Let y = w + 46. Put y, h, -5 in increasing order.
-5, h, y
Let y = 7.7 + -8.7. Put y, -2, 4 in ascending order.
-2, y, 4
Let n be (-7)/294*-22 - 1/(-7). Let m = 10.6 + -11. Sort 0, n, 1, m in decreasing order.
1, n, 0, m
Suppose -15*l = 3*l - 72. Suppose 0 = -o + 3. Let c be (0 - 1)*(1 + o). Sort c, 0, l in ascending order.
c, 0, l
Let b = -3.71 - -3.8. Let q be (8/(-18))/(5/(45/(-6))). Sort b, q, -3 in decreasing order.
q, b, -3
Let o(j) = j**3 - 21*j**2 - 23*j - 8. Let f be o(22). Let r = f - -36. Put r, -3, 2 in ascending order.
-3, 2, r
Let k be 54/3 - (-2 - -1). Suppose -l + 5*x + 18 = 1, 5*l - 3*x = k. Let b be (1 - -2)*(-12)/(-9). Put l, -4, b in descending order.
b, l, -4
Suppose -28*q + 58 = 30*q. Let o(y) = y**2 - 3*y - 1. Let i be o(4). Sort q, -4, i in decreasing order.
i, q, -4
Let g be 360/770 - -1*(-4)/22. Suppose 3*q = 2*q + 5. Put q, g, 0.3 in ascending order.
g, 0.3, q
Let w(x) = -x**3 - 6*x**2 - x - 3. Let d be w(-6). Suppose -2*i + d*f - 4 + 6 = 0, 2*f = i. Sort -2, -4, i, 2 in decreasing order.
i, 2, -2, -4
Suppose 5*h + 26 = -4. Let o = -10 - h. Let z(j) = -j - 7. Let g be z(-6). Sort o, -5, g in increasing order.
-5, o, g
Let c = -1172 - -1178. Sort -3/5, 2/59, c in descending order.
c, 2/59, -3/5
Let b = -871 - -733. Sort -3, b, 1 in ascending order.
b, -3, 1
Let v = -2.42 + -24.58. Sort 3, v, -3 in ascending order.
v, -3, 3
Let h = -19 + 18.34. Let d = 0.62 + h. Put -2/3, 0.5, -3, d in decreasing order.
0.5, d, -2/3, -3
Let d be (-2)/(104/(-120) - -1). Sort d, 5, -2, -3.
d, -3, -2, 5
Suppose 0 = 22*o - 19 - 3. Sort 0.1, o, 4, -4/7 in descending order.
4, o, 0.1, -4/7
Let h = 104 + -417/4. Sort -6, -1, h, 4/7.
-6, -1, h, 4/7
Let u = 672 + -675. Put u, 3, 2 in descending order.
3, 2, u
Let h(t) = -t**3 - 10*t**2 - t - 6. Let u = -89 + 79. Let s be h(u). Put s, 16, -2 in decreasing order.
16, s, -2
Suppose -17*l = -20*l - 72. Let z(k) = 2*k**2 - 1. Let i be z(-1). Let m be (0 + (-4)/l)*i. Put -2/5, m, -3 in decreasing order.
m, -2/5, -3
Let z = 3.244 + -2.99. Let b = 0.046 + z. Put 5, -0.4, b in decreasing order.
5, b, -0.4
Let a = -4 - -4. Suppose 5*u + z = 6, a = -3*u + 5*u + 2*z + 4. Let v be (-20)/4*(-10)/(-25). Sort 6, v, u.
v, u, 6
Let g = -0.0959 + 0.1159. Sort 0.03, -2/21, g, 2/17 in ascending order.
-2/21, g, 0.03, 2/17
Let h be (1 - 393/(-6))*2/1. Let l be (4/7)/(19/h) - 4. Sort 3, 2, l, 21 in ascending order.
l, 2, 3, 21
Suppose 12 = 4*s + 2*w - 18, -3*s = -4*w + 5. Suppose 0*q + 2*q + s = -k, -2*k - 5 = -q. Sort -4, -5, k in decreasing order.
k, -4, -5
Let x = 0.1488 - -64.8512. Put 0.1, x, -3 in decreasing order.
x, 0.1, -3
Suppose 42*z = 43*z. Sort 4, -3, z, -5.
-5, -3, z, 4
Let m be (-1 - 1)*10/(-4). Let b = 29/447 + -3921/1490. Let t = b + 1/15. Put 0.3, m, t in decreasing order.
m, 0.3, t
Let k(m) = -m**2 - 5*m + 143. Let v be k(21). Put 5, v, -3 in descending order.
5, -3, v
Let j = -7/96 - 17/96. Sort -1/110, 5, -0.5, j in decreasing order.
5, -1/110, j, -0.5
Let s(j) = 2*j - 6. Let p be s(4). Suppose -2*r + 3*v = 7, 4*r - p*v - 3*v + 11 = 0. Sort r, 9, 0 in increasing order.
0, r, 9
Let t = 74 + -74.032. Let z = -0.368 + t. Sort 15, z, 2 in descending order.
15, 2, z
Suppose 5*w = -5, -2*v + 5*w - 660 = -7*v. Let t = 1067/8 - v. Put -2/17, 11, t in decreasing order.
11, t, -2/17
Suppose 3*w + 47 - 128 = 0. Let n = 29 - w. Sort 0.4, -0.1, n.
-0.1, 0.4, n
Let g(j) = -j**2 + 14*j - 28. Let z be g(2). Sort 3/7, 1/5, -4.8, z in descending order.
3/7, 1/5, z, -4.8
Suppose 103*h + 36 = 99*h. Suppose -2 + 0 = -z. Sort 4, h, z in ascending order.
h, z, 4
Let g = 0.317 + -9.317. Sort g, 3/7, -3 in descending order.
3/7, -3, g
Let c = 42 - 31. Suppose 3*b = 4 + c. Sort -3, 1, b.
-3, 1, b
Let r = -24 - -10. Let v be 5520/56 - 4/r. Let s = 99 - v. Put -1/12, -1, s in ascending order.
-1, -1/12, s
Let m be 1/(2*1/10). Let d be (1 + 2*1)/(-1). Suppose -7*r - 15*r = 88. Put m, r, d in ascending order.
r, d, m
Let m = 108 - 44. Suppose 6*j - m = 3*j + 4*z, -2*j + 12 = 5*z. Suppose 4*p + 2*a - j = 7*a, 5*p + a + 9 = 0. Put p, 0, -3 in descending order.
0, p, -3
Suppose -5*v - 3*c = 20 - 1, -4*v - 18 = c. Let i = -617 - -617. Suppose 0*n - 2 = 2*n. Put v, i, n in increasing order.
v, n, i
Let f = -48 - -238/5. Sort -3, 1/24, f, -0.3 in descending order.
1/24, -0.3, f, -3
Let v be (-10)/40 - 35/4. Put -5, -10, 4, v in decreasing order.
4, -5, v, -10
Let t = 10.2 + -104.2. Let x = t + 95. Put x, -4, -0.2 in descending order.
x, -0.2, -4
Let w = 0 - 1. Suppose -5*d + 4*j = -0*j - 9, 0 = -5*d + 3*j + 13. Suppose 0 = -4*q + 5*z + 3, 21 = -4*q + 2*z - d*z. Put q, w, -2 in descending order.
w, -2, q
Let r = 0.03 - -0.97. Let s be (-48)/32*(-6)/81. Sort 0, r, s.
0, s, r
Let f = -2.9 + 1.9. Let m be -4 + (-1)/(55/(-210)). Sort f, m, -9 in ascending order.
-9, f, m
Let k be 10/6*(-13 - -16). Suppose 6*y + 5*h = 2*y + 37, -h - 10 = -5*y. Let c(i) = i + 19. Let j be c(-15). Sort k, y, j in ascending order.
y, j, k
Suppose -3*g + 3*z = -108, -5*g + 0*z + 171 = 4*z. Let t = g + -38. Sort t, -5, 16 in increasing order.
-5, t, 16
Let g = -118/3 + 40. Let o be (-12)/(-16) + (-171)/(-12). Let q be o/(-21) - (-3 + 2). Sort 3/5, q, g in descending order.
g, 3/5, q
Let q = 5 + -8. Suppose -3*f = 2*j - 11, -3*f + 2 = -4*j + 15. Sort -0.4, 6, q, f.
q, -0.4, f, 6
Suppose -197*w = -176*w + 21. Sort 6, -5, -3, w in ascending order.
-5, -3, w, 6
Let r = 124.9 - 124.6. Put r, -2/5, -4/13 in decreasing order.
r, -4/13, -2/5
Let m = -5.0745 + 0.0745. Sort 3, -0.3, 0.2, m in descending order.
3, 0.2, -0.3, m
Let f be -1 - 0 - (4 - (-33)/(-6)). Let n = 17.4 + -17. Let h = 6/13 + -56/65. Sort f, h, n in decreasing order.
f, n, h
Let g = 6 - 4. Let t be (-5 + 0)*2/(-1). Suppose -2*u - 3*u = -2*f + t, 0 = -2*f + u + 10. Sort f, -3, g in decreasing order.
f, g, -3
Let v = -110 - -108. Let s = -2 - -1. Sort v, s, -8 in increasing order.
-8, v, s
Let s(l) = -l**3 + 4*l**2 - 1. Let r = 12 + -8. Let c be s(r). Suppose 3*z = -2*a + 16, 0*a - 5*a + 19 = -3*z. Put c, a, 3 in increasing order.
c, 3, a
Let y be (6/1)/(22/44). Suppose -3*n = -y, 0 = 5*q - 3*n + 22 + 10. Put 0.3, -12, 0.4, q in increasing order.
-12, q, 0.3, 0.4
Let u = -0.1632 + 7.0532. Let c = -7 + u. Let l = 0.1123 + 3.8877. Put c, -0.4, l in decreasing order.
l, c, -0.4
Suppose 0 = 2*h - 0*h. Suppose -17*t = 51 - 0. Put t, 1, h, -5 in ascending order.
-5, t, h, 1
Let n be (-112)/(-24) - (-3 - (-11)/3). Put 1/2, 3/2, n, 1.6 in increasing order.
1/2, 3/2, 1.6, n
Let w be 1 + (1 - 6) - 1. Let v = -8.4 - -43.4. Let g = -35.4 + v. Put g, 1/3, w in increasing order.
w, g, 1/3
Let y = 8 + -8. Suppose 5*d - 20 = -5*n, 0 = -7*n + 2*n - d + 12. Suppose y = -3*i + n*k - 16, -i + 3*k = k + 8. Put 2, 0, i in increasing order.
i, 0, 2
Let n be 160/(-144)*1/(10/6). Sort 9, n, 7 in ascending order.
n, 7, 9
Suppose w - 48 = -7*w. Let i be (-32)/w + 7/21. Put i, -4, 32 in increasing order.
i, -4, 32
Let z be 2*(-2)/4 - 15. Let t be 5/(-20) + 2/(-24). Put -0.1, z, t in descending order.
-0.1, t, z
Let z = 164 + -183. Put z, 4, -9 in descending order.
4, -9, z
Let y = -148 - -744/5. Let f be (-4 + (-11)/(-3))/((-25)/(-75)). Sort f, y, -3, -1/2.
-3, f, -1/2, y
Let h = 4.261 + 0.039. Let x = h - 7.3. Put x, 3/2, -2, 0.5 in increasing order.
x, -2, 0.5, 3/2
Suppose 0 = x + 5*g + 10, -2*x - g - 32 = -21. Sort 2, x, -2, 26.
x, -2, 2, 26
Let y = -10 + 4. Let u = 3731 - 3726. Sort u, -5, y, 4.
y, -5, 4, u
Let q(v) = 2*v + 18. Let z be q(-10). Suppose -g + 14 = 12. Sort z, g, 0 in increasing order.
z, 0, g
Let u = -52811/24 - -2201. Let g be ((-2)/(-4))/(-3 + -1). Let v = g - u. Sort v, -1/8, -2/15.
v, -2/15, -1/8
Let p be (4/3)/((-12)/(-36)). Suppose -p*x - r = -2*x - 15, -x + 3*r - 10 = 0. Let u = 4 - 4.6. Sort x, 2, u in ascending order.
u, 2, 