1/7, -3, -4
Let v be (-13)/1 - (12 - 24). Let i = 12 - 11. Put v, i, 2 in increasing order.
v, i, 2
Let k be -11*1 + 819/312*4. Put 4, 2/5, -0.4, -3, k in ascending order.
-3, k, -0.4, 2/5, 4
Let a = -152851/25 + 6114. Let u = 6.2 + -6.3. Sort a, 3, u in decreasing order.
3, a, u
Let k be 6/(-3) + 4 - (-228)/(-133). Let r = 3.3 + -3.2. Suppose 5*l + 5 = 0, 0 = -4*z - l - 3*l + 88. Put r, -4/3, k, z in decreasing order.
z, k, r, -4/3
Let d(b) = -b**3 - 7*b**2 - 11*b + 9. Let v be d(-3). Suppose -7 = v*r - 79. Put 5, -4, 4, r in decreasing order.
r, 5, 4, -4
Let l(j) = 2*j + 29. Suppose 14*b - 17*b = 39. Let q be l(b). Let i be -8*(q/2 - 2). Sort i, 0, -8 in increasing order.
-8, 0, i
Suppose -193 = 4*n + 179 - 352. Sort 0.5, -3, 22, n, 2/13 in descending order.
22, 0.5, 2/13, -3, n
Let l = -25039 - -325691/13. Let r = l + -14. Put 0.2, r, 0, 2/7 in increasing order.
0, r, 0.2, 2/7
Let q(h) = h**2 - 66*h - 133. Let f be q(68). Sort 40, 7, 4, f in descending order.
40, 7, 4, f
Let z = -4 - -2. Let q = -1 + 2. Let j = 0.036318 - -0.073682. Sort j, q, z.
z, j, q
Suppose 4*h = -v - 36 + 24, -5*h - v - 16 = 0. Sort 3, -2, -16, h, 8 in decreasing order.
8, 3, -2, h, -16
Let j(k) = 71*k - 117. Let p be j(2). Sort -3, p, 3, -4, -7.
-7, -4, -3, 3, p
Let d = 948 - 948.1. Put 0.011, d, -1/4, 0.12 in decreasing order.
0.12, 0.011, d, -1/4
Let z be -5*(7/(-5) - -1). Suppose 3*k + 48 = 111*p - 106*p, -12 = 3*k - p. Put -4, k, z, -13 in descending order.
z, k, -4, -13
Let n = 6.2 - 6.4. Put -6, n, -2/7, 6 in descending order.
6, n, -2/7, -6
Let m = -7393.7 - -7394. Let y = 1 + -1. Put -4, m, y, -7 in decreasing order.
m, y, -4, -7
Suppose 0*j + 2*j + 79 = -y, -42 = j - 2*y. Let q(o) = -43*o + 176. Let n be q(4). Sort n, j, -1, -4 in descending order.
n, -1, -4, j
Let h be 9*(5 + 4/(-2)). Let p be (-8)/(-4) + (-24)/h. Let j(g) = -10*g + 343. Let s be j(34). Put s, p, -0.1 in ascending order.
-0.1, p, s
Let c = 3.95 - 2.95. Let n be 11/(-42) - (-3 + 25/7). Put -4.6, c, n in increasing order.
-4.6, n, c
Let a(m) = m**3 - 1 + 0*m**3 + 2*m**2 + 7*m**2 + 8*m. Let z be a(-8). Suppose 705 = 49*g + 174*g + 259. Sort 5, -2, z, g in descending order.
5, g, z, -2
Let t = 7185.973 - 7189. Let f = -0.027 - t. Put f, 6, 0.3, 2/9 in ascending order.
2/9, 0.3, f, 6
Let u = -2 - 1. Let w(k) = 359*k - 37701. Let p be w(105). Put u, -5, 5, p in ascending order.
p, -5, u, 5
Suppose 3*s + 0 + 31 = -5*d, -d - 16 = 2*s. Let n(w) = -w**2 - 18*w + 16. Let r be n(-19). Sort -5, s, r, 5 in ascending order.
s, -5, r, 5
Let r = 1 - 4. Let q be (75/6)/((-40)/(-32)). Let m be (-6 - (-64)/q) + (-36)/15. Sort -4, 1, m, r.
-4, r, m, 1
Let k be 139/2 - (-2)/(-4). Let i = k + -4. Let o = 63 - i. Put 1.1, o, 3/4 in decreasing order.
1.1, 3/4, o
Let c = 185 - 175. Let v be (6/c)/(38/(-95)). Sort -4, v, 3, -0.08 in increasing order.
-4, v, -0.08, 3
Suppose 115*y + 152 - 43 + 351 = 0. Put -21, 4, y, 5 in ascending order.
-21, y, 4, 5
Let o(d) = d**3 + 17*d**2 + 16*d - 1. Let z be o(-16). Let h = -2711 - -2703. Suppose 2*r - 3*f = -6*f + 22, 3*r = 3*f + 3. Put h, r, z in descending order.
r, z, h
Let z be 1/(-3) + 1/12. Let w = -1 - 2. Let v = 3100 + -3099. Put v, w, z, 3/2 in increasing order.
w, z, v, 3/2
Let b = 0 + -5. Let c = -0.869 - 421.131. Let i = 426 + c. Sort 0.7, b, i in descending order.
i, 0.7, b
Let d = -0.1245 - 625.8755. Put d, 3/5, -5 in ascending order.
d, -5, 3/5
Let r = 217 + -220. Sort 24, 0, r, -5, -4 in descending order.
24, 0, r, -4, -5
Let x(l) = l**2 - 44*l + 223. Let w be x(6). Sort 0.4, 1/16, w in descending order.
0.4, 1/16, w
Let z = 0.113 + -0.013. Let m be (-5 - (-115)/25) + (-2)/(-5). Suppose 5*w - 3*f = 4 - 39, -4*w - f - 11 = m. Put 2, w, z, 4 in ascending order.
w, z, 2, 4
Suppose -3*y + 331 + 293 = -15. Put 2, y, 4 in descending order.
y, 4, 2
Let i be 1/(-3 - (-50)/17). Suppose 3*x + 3 = 2*d, 2*d + 2*x = -3*d + 17. Put 1, i, d, 2 in increasing order.
i, 1, 2, d
Let j = 8534 + -8531. Sort 0.4, -3, 0.5, -0.1, j.
-3, -0.1, 0.4, 0.5, j
Let i(x) = -x**2 + 5*x + 2. Suppose 4*o + 12 = -4*h - 20, -5*h - 30 = 3*o. Let q be i(h). Let z = -4921 - -4926. Put -1, q, z in descending order.
z, -1, q
Let p = -274.7 - -276. Sort p, -0.68, -4.
-4, -0.68, p
Let t = -11.67 - -12. Let u = t - 0.309. Let w = 4.021 - u. Sort w, -2, 1, 9 in descending order.
9, w, 1, -2
Let s = 2 - 0. Let b = -411 - -698. Suppose -8*j - b = -295. Sort s, -2, j, -3 in ascending order.
-3, -2, j, s
Let x = -60 - -63. Suppose 4*a + 20 = 0, 0*j = x*j - a + 253. Let s = j + 83. Sort s, 5, 4.
s, 4, 5
Let w be -2*(-7)/(-84) + 92/(-24). Sort 607, w, 12 in decreasing order.
607, 12, w
Let k = -4 + 2. Let u be (-7 - (-99)/15)*705/(-94). Put 10, 1, k, u in descending order.
10, u, 1, k
Let k(l) = l**3 + 14*l**2 - 17*l - 21. Let d be k(-15). Suppose d = -4*t + 65. Let i be t/28 - 26/(-4). Put i, -0.4, 3, -4 in increasing order.
-4, -0.4, 3, i
Let o = -0.056 + 1.206. Let z = -1.62 + o. Let q = -0.87 - z. Sort 2, q, -4, -5/4.
-4, -5/4, q, 2
Let u = -4810.1 - -4810. Put -1.6, u, 28 in decreasing order.
28, u, -1.6
Let t = 39/242 + -113/1452. Suppose -4*q + 2*q - 4 = 0. Let i = 0.93 - -2.07. Sort -0.4, i, q, t in increasing order.
q, -0.4, t, i
Let o be (2 + (-14)/6)*-15. Let s be 62/2 + (29 - 30). Suppose 724*c = 734*c + s. Sort c, o, -1 in decreasing order.
o, -1, c
Let b(n) = 260*n + 778. Let f be b(-3). Put 1/7, 0.5, f, 2, -14 in descending order.
2, 0.5, 1/7, f, -14
Let g be 3/15*(23 + -18). Let m be (-26)/3 + g - -8. Sort -4, m, 8, 0.2 in decreasing order.
8, m, 0.2, -4
Suppose i + 120 = 3*f + 131, -4*f + 5*i = 33. Put 1, 7, f, 3 in ascending order.
f, 1, 3, 7
Let i(z) = 6*z - 1. Let c be i(1). Let w = 3349 + -3339. Put c, 2, w in increasing order.
2, c, w
Let d = 4 - 4.2. Let j = -85 + 86. Let c be (-2)/j*37/111. Put d, 4, 2/13, c in increasing order.
c, d, 2/13, 4
Let i(k) = -k**3 + 42*k**2 + 3*k + 1. Let c be i(42). Let n = 124 - c. Let j be 12/10*(-20)/(-18). Sort j, n, 3 in descending order.
3, j, n
Let v be 24/(-10)*30/(-9). Let g be ((-24)/56 + v/(-14))*-24. Suppose -28*x + g*x = 0. Sort 5, -0.4, -4, x.
-4, -0.4, x, 5
Let n(o) = o**2 - 6. Let h = 23 - 26. Let d be n(h). Suppose 4*t = -d*t. Sort -1, t, -3.
-3, -1, t
Let m(v) = v - 3. Let b be m(3). Let r be 6*(2/(-9))/((-18)/27). Let c be r/20 - 2*9/36. Sort b, c, -1, 3 in descending order.
3, b, c, -1
Let s be (8/56 - (-115)/(-21)) + (4 - -1). Put s, 3, -1, 1/6 in decreasing order.
3, 1/6, s, -1
Let l be 0 - ((-6)/18)/(3/18). Put l, -8, -5, 8 in decreasing order.
8, l, -5, -8
Let z(u) = u**3 - 2*u**2 - 5*u + 3. Let d be z(3). Suppose -12*j - 262 = 2. Sort -2, j, d in decreasing order.
-2, d, j
Suppose -293*j - 36 - 225 - 618 = 0. Suppose -k - 6 = -4*b, -2*k = -2*b - 0*k. Sort j, b, -161 in ascending order.
-161, j, b
Let k = 3067 + -3066.7. Let a = -1.02 - -0.02. Sort 11, a, k.
a, k, 11
Let n = 256 + -253. Suppose -n*c - 3*q + 18 = 15, -5*c + 4*q = -23. Sort -1, -2, c, -5 in decreasing order.
c, -1, -2, -5
Suppose -t - 3*a + 2*a - 7 = 0, 5*t - 4*a - 1 = 0. Let w = -7633 + 7634. Put 3, w, t, 3/2 in descending order.
3, 3/2, w, t
Let g = 3942 - 3941.8. Put g, -3/7, 2/2607 in decreasing order.
g, 2/2607, -3/7
Let s = -9924.1 + 9924. Put -6/31, -7, s in decreasing order.
s, -6/31, -7
Let q = -409/1863 - 5/1863. Sort q, -17, 0.5 in ascending order.
-17, q, 0.5
Suppose -2*j = j - 3. Suppose -4*z + 9*o = 12*o + 1214, 5*z = 3*o - 1531. Let g = 297 + z. Put -4, g, j in increasing order.
g, -4, j
Let z be (-2)/(-12)*165/33. Sort -13, z, 0.5, 2.
-13, 0.5, z, 2
Suppose 33*i + 26 = t + 32*i, -2*i - 116 = -4*t. Suppose 0 = 3*u - 4*f - 1, -4*f - 3 = -u - 0. Sort 5, u, t, 1 in descending order.
t, 5, 1, u
Suppose 5*s + 406 = 2*t, 0 = -3*t - 12*s + 7*s + 634. Suppose -77*m + t = -25*m. Put 0, 3, m in increasing order.
0, 3, m
Let b = -0.5 + 0.8. Let i = -8.21 + 3.21. Let c = 12 + i. Sort 2, b, 3, c in increasing order.
b, 2, 3, c
Suppose -20 = r - 7*b + 3*b, 0 = -2*r + 2*b - 16. Let u(w) = 4*w - 33. Let i be u(8). Sort i, r, -2, 0.
r, -2, i, 0
Suppose -6*v - 299*v - 161*v = 4660. Let n = 9 + -15. Put -5, v, n in ascending order.
v, n, -5
Let a = -804 - -909. Sort a, 2, 1, -5 in decreasing order.
a, 2, 1, -5
Let t = 884 + -1105. Sort 7, t, 2/11.
t, 2/11, 7
Suppose -i +