 0, y
Let a = 177082/5 - 35577. Let d = a + 160. Sort 3, d, 1.
d, 1, 3
Let t = 176 + -1934/11. Sort -2, 7, -5, t in ascending order.
-5, -2, t, 7
Let z = 195 + -190. Sort z, -0.5, -20, 2/11 in ascending order.
-20, -0.5, 2/11, z
Let u = -2435.9 - -2436. Put -7/4, u, 0.13 in increasing order.
-7/4, u, 0.13
Suppose -5*d = -11 - 14, -15 = -5*f - 5*d. Put -1, 15, f in ascending order.
f, -1, 15
Let m(o) = -4*o + 4. Let x be m(-3). Suppose 4*g + 4 = z + g, 3*z - 3*g = -18. Let a = z + x. Sort a, 1, -2 in increasing order.
-2, 1, a
Suppose 0 = f - 2*d - 2, 2*f = -d + 2 - 13. Put -3, f, -6/23 in descending order.
-6/23, -3, f
Let a(t) = -t. Let d be a(-5). Let o = -64 - -68. Suppose k = 5*k - o. Sort d, k, 4 in descending order.
d, 4, k
Suppose -102*u = -76*u + 312. Sort 4.3, 3, u.
u, 3, 4.3
Let a = 271/1551 - -1/141. Sort 2, 5, a in ascending order.
a, 2, 5
Let s be (44/154 - (-18)/(-14))*4. Sort 2, -5, s, 5.
-5, s, 2, 5
Let k be ((-9)/(-6))/3 + (-63)/42. Sort 3, -12, k, -4.
-12, -4, k, 3
Let i = 202 - 198. Sort i, -5, -3 in ascending order.
-5, -3, i
Let d = -11 + 52. Let l = 36 - d. Put -4, l, 4 in decreasing order.
4, -4, l
Let t be (-216)/52 - (-2)/13. Let p be 13 - (-3 + 6 - 6). Suppose -5*u + 2*i = p, 0 = -3*u - 3*i + 5 - 2. Put u, t, -13 in increasing order.
-13, t, u
Let g be (-4)/(-8) - (15/6 - -1). Let r = -9 + 26. Let c = r + -12. Sort c, g, 0 in increasing order.
g, 0, c
Let r = 1 + 23. Suppose -2*z + g + 10 = -4, 3*g + r = 3*z. Sort z, -1, -3 in decreasing order.
z, -1, -3
Let o(z) = z**3 - 60*z**2 - 123*z - 64. Let u be o(62). Sort 28, u, -1.
u, -1, 28
Let a = -1150 + 1148. Sort -0.5, 3, a, -2/3 in descending order.
3, -0.5, -2/3, a
Suppose 2*d = 4, -3*x - 4 + 4 = 3*d. Suppose -5*z - 13 = 3*v, -4*z + 5*z = -3*v - 17. Put v, 4, x in increasing order.
v, x, 4
Let i = -10.91 - -10.77. Sort i, 4, 0.3 in ascending order.
i, 0.3, 4
Let g be -1*6*(-2)/(-12). Put -5, -4, -3, g in decreasing order.
g, -3, -4, -5
Suppose 37 = -5*h - 2*i - 2, 23 = -3*h - i. Let o = -3261 - -3266. Put o, 4, h, -1 in ascending order.
h, -1, 4, o
Let x(w) = w**3 - 4*w**2 - 27*w + 46. Let g be x(7). Put g, -3, 231, -4 in descending order.
231, g, -3, -4
Let o(t) = t**2 - 6*t - 11. Let j(c) = c**3 - 9*c**2 + 8. Let p be j(9). Let u be o(p). Suppose -m + 0*m = 4. Sort u, m, -2 in descending order.
u, -2, m
Let n = 1295 - 1298. Let o = -4.88 + -0.12. Let b = -3 - 4. Sort b, n, o.
b, o, n
Let g = 342.1 - 342. Let j be -3 + (-3 - (-1 + -1)). Sort g, 2/3, -0.5, j in decreasing order.
2/3, g, -0.5, j
Let w(x) = -2*x - 6. Let n be w(-5). Suppose 5*c + 4*p + 10 = 0, -4*p - 14 = -2*c - 2*p. Suppose b - c*b - 5 = 0. Sort 2, n, b in decreasing order.
n, 2, b
Suppose 7*d - 5*d - 2 = 0. Sort -20, d, 6, 2 in decreasing order.
6, 2, d, -20
Suppose -18*s = -17*s - 2. Sort -0.2, s, 0.017.
-0.2, 0.017, s
Suppose 3*x + 7 = -5. Let c be (2/x)/(4/8). Let n be c - (-7)/((-14)/8). Sort 4, 1, n in ascending order.
n, 1, 4
Let s(u) = -u**2 + 5*u - 6. Let a be s(5). Let b = 8 + a. Let g be (8/(-14))/(8/28). Sort b, g, 5.
g, b, 5
Let d = -0.056 - -4.956. Let u = d + -4.4. Sort -2/15, u, 0.7 in descending order.
0.7, u, -2/15
Let g be (0 - -22)*2/4. Let h be ((-58)/6)/((-1)/3). Suppose 5*x - g = h. Sort 2, x, -3 in descending order.
x, 2, -3
Let j = 4.88 + -5. Let i = 0.62 + j. Let r be (5 - 4) + 2/5. Put r, -1/4, i in descending order.
r, i, -1/4
Let j = -112 - -108. Sort 1, 5, j in decreasing order.
5, 1, j
Let k = -0.4 + 2.4. Let y = 17 + -32.1. Let g = y + 5.1. Sort k, -3/7, g in decreasing order.
k, -3/7, g
Suppose 2*q = -16*q + 5*q. Suppose q = 10*i - 8*i + 8. Let n be 1/3*(16 + -1). Put -1, i, n in decreasing order.
n, -1, i
Suppose 2*y = 5 + 7. Let i = -77 + 81. Suppose 0 = -i*r + 8*r + 8. Sort r, -5, y in decreasing order.
y, r, -5
Let m = -0.196 - 0.004. Let w = 4.1 + -4.2. Put -1/3, m, w, -4 in increasing order.
-4, -1/3, m, w
Let g = 1.282 - 8.282. Suppose 3*f + r = -20, -r - 2*r = -3*f. Sort g, -2, f in decreasing order.
-2, f, g
Let m = -169 - -173. Put -3, 3, m, -5 in descending order.
m, 3, -3, -5
Suppose 37*n - 35*n = -3*a - 4, -4*a = 3*n + 7. Let p be (-1)/(1 - 0)*-4. Put p, -3, -1, n in ascending order.
n, -3, -1, p
Let k(s) = s**2 - 7*s - 83. Let j be k(-6). Let m = -1 + 0. Put 1, j, 4, m in ascending order.
j, m, 1, 4
Suppose 0*y + k - 38 = -3*y, -24 = -4*y + 4*k. Let c be y - 1 - -1 - -1. Sort 1, c, -5, -2 in increasing order.
-5, -2, 1, c
Let s(q) = 2*q**2 - 21*q + 52. Let d be s(7). Sort 2/11, d, -13/7.
-13/7, 2/11, d
Let q = 1470 + -1446. Sort -4, 3, q in descending order.
q, 3, -4
Let h be 10/(1*(-1 + 3)). Suppose 0 = r - h*g - 24, 4*g = -5*r + r. Let a be 2*(r/8 + 2). Sort -2, a, -4 in increasing order.
-4, -2, a
Let c(b) = -b**3 - 3*b**2 + 12*b + 9. Let x be c(-5). Sort x, -0.11, 2/5 in ascending order.
x, -0.11, 2/5
Suppose -r + 4 = -5*r. Let h be (-2)/(-6)*-3*r. Let q be (6/(-6))/(h/5). Put q, -1/2, 1/2 in decreasing order.
1/2, -1/2, q
Suppose 9 = -102*u + 111*u. Sort 3, -2, u, 4 in increasing order.
-2, u, 3, 4
Suppose -4*r + 4*w - 29 = -33, -5*r = w + 13. Sort -6/13, -5/8, r in decreasing order.
-6/13, -5/8, r
Let r be 12/(-6) + 5 - (-2 + -7). Let v be (0 - 15/r)/(3/12). Put v, 23, 2 in decreasing order.
23, 2, v
Let p = -13.8 + 10.8. Put p, -4, 0.3, 0.57 in ascending order.
-4, p, 0.3, 0.57
Suppose -35*i + 21*i = 84. Sort 3, 9, i.
i, 3, 9
Let d(a) = a**2 - a - 1. Let s be d(-1). Suppose -70*v + 57*v = -39. Put 6, v, s in decreasing order.
6, v, s
Let h(n) = -22*n + 1. Let a be h(-1). Let g = a + -31. Put 0, -2, g in increasing order.
g, -2, 0
Let f = 358.84 - 359. Let q = 0 + 1. Let t be q*-2*10/(-35). Put f, 4, t in descending order.
4, t, f
Let u(o) = -4*o + 44. Let h be u(10). Suppose v = -l - 0*v + 8, -2*l - v + 13 = 0. Put l, h, -5 in ascending order.
-5, h, l
Let f be ((-1)/(-2 + 1))/(4/8). Sort 3, f, 0, 5 in descending order.
5, 3, f, 0
Let j = -934 - -933. Sort 5, 3, -8, j in ascending order.
-8, j, 3, 5
Let j(t) = t**3 + 10*t**2 + 5. Let n be j(-10). Suppose -4*a - 2 = n*o, -3*a - 2*o = o. Put a, 0, -1 in descending order.
a, 0, -1
Suppose -n + 35 = 6*n. Suppose -5*f = -g + 23, -2*g - 2*g - 33 = n*f. Put g, 1, -4, -5 in increasing order.
-5, -4, g, 1
Let w = 19 - 18.22. Let l = 0.22 + w. Let u = 0.1 - 0.1. Sort -1, u, l in descending order.
l, u, -1
Let b = 327 + -322. Sort -1, -4/9, b.
-1, -4/9, b
Suppose 0 = 15*l - 9*l + 78. Let x be 72/16*(-2 + l/(-6)). Let b = 1063/4 - 267. Sort x, 0.2, b in increasing order.
b, 0.2, x
Let k(l) = l**2 + 2*l. Let z be k(2). Suppose -103*y + 112*y = 0. Put y, z, 2, 4 in decreasing order.
z, 4, 2, y
Suppose -3*h = 2*f, 5*h = -8 - 2. Let s be 1/(4/8) - f. Let p = -14 + 9. Sort s, p, -2/9 in descending order.
-2/9, s, p
Let o = 8.14 + -8.12. Sort -0.1, -0.4, o in descending order.
o, -0.1, -0.4
Let l be (3 - 3)/(34 - 38). Sort l, -1/5, -33, 5 in increasing order.
-33, -1/5, l, 5
Let y = -73 + 73.1. Put -4, -3, y in increasing order.
-4, -3, y
Let s = 33 + -39. Let p be (s/(-25))/((-5)/25). Let x = 1.2 + -2.1. Put p, x, -0.4 in increasing order.
p, x, -0.4
Suppose 5*f + 4*b = -11, 23 = f - 4*b + 6. Suppose 2*o = 4*o - d - 7, -o + 6 = -3*d. Sort 9, 2, o, f in ascending order.
f, 2, o, 9
Let n be (2/(-4))/(4/(-8)). Let f be (9 - 7/1)/(n/(-2)). Put f, 1, -19, 4 in increasing order.
-19, f, 1, 4
Let i be 2 + (-2)/2 - 1. Let v(a) = -a**2 - 14*a - 17. Let d be v(-13). Let t(y) = y**3 + 4*y**2 + 2*y + 2. Let x be t(d). Sort x, i, 1 in decreasing order.
1, i, x
Let v = -3.47 + 5.47. Put -0.01, v, 1/3, -13 in decreasing order.
v, 1/3, -0.01, -13
Let p = 0.1 + 0.1. Let t = -5.9 - -36.9. Let w = 34 - t. Put 2, p, w in increasing order.
p, 2, w
Let w = 34 + -60. Let f = w - -25. Sort f, -0.4, 2/17, -4 in descending order.
2/17, -0.4, f, -4
Let a = -5.5 - -0.5. Let j = 2.831 + 0.169. Put a, j, 5, -3 in descending order.
5, j, -3, a
Let d = -702 + 705. Put -1, d, -2, 0 in decreasing order.
d, 0, -1, -2
Suppose -10*l - 361 = -311. Put l, -2/5, 0.1 in descending order.
0.1, -2/5, l
Let l = -8.6 + 2.6. Suppose p = -3*p. Let b be (-22)/(-24) + 1 - 2. Put p, b, l in decreasing order.
p, b, l
Suppose -8*r + 10*r = 34. Let z = r - 22. Let g(y) = -y + 8. Let f be g(7). Sort z, f, -1.
z, -1, f
Let x = -0.402 + -0.098. Sort 0.05, 11, x in a