 -x. Put 13, x, -3, -1 in increasing order.
-3, -1, x, 13
Let x = -1862 + 1861.97. Put -2/9, -0.04, x, 5 in increasing order.
-2/9, -0.04, x, 5
Let x be 96/(-5) - (-56)/280. Put x, 2/7, 0.16, 0.2 in ascending order.
x, 0.16, 0.2, 2/7
Let y(j) = -37*j**2 - 2*j + 1. Suppose 13*k - 12*k - 1 = 0. Let t be y(k). Let b = 34 + t. Put 2, b, -0.2, 0 in decreasing order.
2, 0, -0.2, b
Let c be 306/(-136)*(-28)/(-13). Suppose -5*k + 3*k + 10 = 0. Let m = c + k. Put -1, m, 0.8 in increasing order.
-1, m, 0.8
Let v be (96/20)/(-1 + 978/960). Let x = v + -241. Sort -3/2, 4, x.
-3/2, 4, x
Let b = -15.1 + 6.1. Let f = b - 0. Let x = -1 + f. Put -1, x, -3, 3 in decreasing order.
3, -1, -3, x
Let k(s) = -s**3 - 3*s**2 + 14*s + 34. Let f be k(-4). Suppose 3*u - 3 = -0. Suppose -23*z + 12*z = 44. Sort z, f, u, -2 in ascending order.
f, z, -2, u
Let d be (98/63)/((-2)/18). Sort -2, d, -4, 38, 2.
d, -4, -2, 2, 38
Suppose 2*x = -2*l - 120, 7*l + 258 = 3*l + 2*x. Let s = 59 + l. Put 0, 1, s, -3 in ascending order.
s, -3, 0, 1
Suppose 2*m = -231*h + 236*h - 14, 2*h + 5*m + 6 = 0. Put 55, 5, h in ascending order.
h, 5, 55
Let y(n) = -2*n**2 + 12*n + 5. Let s be y(6). Let z be 4/(12*s/1245). Sort 2, -5, z in ascending order.
-5, 2, z
Let l(u) = u**3 + 2*u**2 + 16*u + 90. Let b be l(-4). Let z(i) = -i**3 - 7*i**2 + 7*i + 2. Let s be z(-8). Put 0, s, 4, b in decreasing order.
s, 4, 0, b
Suppose -2*b - 4*s = -22, 4*b = 5*s - 23 - 11. Sort 5, -30, 2, b, -6.
-30, -6, b, 2, 5
Let y = -306 + 314. Let u(q) = 9*q - 69. Let o be u(y). Put 0.1, o, 0.08, 1 in descending order.
o, 1, 0.1, 0.08
Let u be ((-1125)/(-135))/((-2)/(-18)). Suppose -2*m = -27*m - u. Sort 1, 31, m in ascending order.
m, 1, 31
Let b be 8 - 3/20*52. Sort 61, -3, b in increasing order.
-3, b, 61
Let y = -5 - -7. Let c(z) = -2*z**3 - 2*z**2 + 7*z - 2. Let d be c(-4). Suppose -8*g - d + 10 = 0. Sort 0.2, g, y, 3.
g, 0.2, y, 3
Let j be (-1 + 3)*(62 - -12). Let n = 171 - j. Sort n, -5, -4 in decreasing order.
n, -4, -5
Let c be 4 + ((-192)/5)/((-48)/(-160)). Let i = c - -124. Put 3, 53, i in increasing order.
i, 3, 53
Let g = -14409 + 187315/13. Put g, 0, 0.256, -0.2, 1/5 in increasing order.
-0.2, g, 0, 1/5, 0.256
Let k = -185.8 + 186.1. Let c = 14.8 - 19.8. Let v = 2.8 - -0.2. Sort -2/19, v, c, k in descending order.
v, k, -2/19, c
Let f(q) = 2*q**3 + 12*q**2 - 42*q - 188. Let s be f(-7). Put 10, 2, 0.5, s in descending order.
10, s, 2, 0.5
Let h be (-120)/36 - 224/(-42). Sort 5, h, -3 in decreasing order.
5, h, -3
Let j = -6 - -3. Let z = -384 + 387. Let s be 66/770 - z/(-15). Put j, 2/11, s, -1 in descending order.
s, 2/11, -1, j
Suppose 2*b + 47 - 3 = 0. Let f be b/(-8) - ((-165)/20 - -8). Suppose 2*z + z - 51 = 0. Sort f, -2, z, 1 in descending order.
z, f, 1, -2
Let u = 26.87 - 27. Let k = -3271 + 3271.3. Put k, u, 2/3, 0.2 in descending order.
2/3, k, 0.2, u
Suppose 55 = 116*g + 171. Sort 3/65, 0.05, g.
g, 3/65, 0.05
Let i = -0.12 + -23.88. Let p = i - -22. Let k = 914 + -912. Sort p, 1/14, k in descending order.
k, 1/14, p
Let z = 4132/795 + 2/795. Let j = -179634 + 179633.6. Sort z, j, -0.5 in decreasing order.
z, j, -0.5
Let p(l) = 33*l + 20. Let d be p(0). Let x(t) = t + 6. Let g be x(-6). Let r(c) = c. Let s be r(g). Put s, -5, d in decreasing order.
d, s, -5
Let u = -57746 + 57774. Let t = -2 - -1. Sort 5, u, t, 2 in decreasing order.
u, 5, 2, t
Let d = 1323 - 1320. Sort -103, -7, d, -2 in descending order.
d, -2, -7, -103
Let l = 0.24754 - -0.05246. Sort -2, -3, l, 1/9, -0.2 in descending order.
l, 1/9, -0.2, -2, -3
Let a be 0 + 1 + (-23)/((-46)/(-24)) + 8. Sort -2, 5, -1, a, -35 in descending order.
5, -1, -2, a, -35
Let d = 14884 + -14858.5. Sort 10, d, -3.
-3, 10, d
Suppose 4*x + 3 = -3*y - 0, 12 = 5*y + x. Suppose -52*s = -28*s + 240. Put -4, s, y in descending order.
y, -4, s
Let a = -1646.8 + 1647. Let o = 1 - 1. Let t = a + o. Sort -1, -0.2, t, 0 in descending order.
t, 0, -0.2, -1
Let u be (-114)/30 + (-43)/215. Sort 5, u, 0, 4, 7 in decreasing order.
7, 5, 4, 0, u
Let k = -0.028 - -0.228. Let x = 2/737 - 2958/3685. Let r = -8/35 - 2/35. Sort x, 2/11, r, k.
x, r, 2/11, k
Let s be (-42)/8*136/51 + 5. Let r(d) = -2*d**2 - 18*d - 3. Let m be r(s). Sort -8, 1, 0, m in decreasing order.
1, 0, m, -8
Suppose -4 + 9 = -4*z - 5*t, 2*t + 19 = -5*z. Sort 147, z, -0.05.
z, -0.05, 147
Suppose 302*p - 260 + 204 = 1454. Sort 0.1, p, 108 in decreasing order.
108, p, 0.1
Let z = 57112/19 - 3006. Sort -12/5, z, -0.8, -2/3, 0.3 in increasing order.
-12/5, -0.8, -2/3, z, 0.3
Let c be 20/(-6) + 6/18. Let g(x) = -2*x - 2. Let f be g(c). Suppose -5 = f*k + 7. Sort 4, k, 1.
k, 1, 4
Suppose 0 = v - 4*w - 4 - 4, -2*v + 42 = 5*w. Suppose v - 10 = -3*l. Sort -3, 61, l in decreasing order.
61, l, -3
Let b(v) = 3*v**2 - 155*v - 83. Let g be b(52). Put g, -3, 15 in increasing order.
g, -3, 15
Let n = -1.96 - 0.04. Let f = -645.8 + 649. Let k = -2.7 + f. Sort -0.04, k, n in descending order.
k, -0.04, n
Let w be 16/(-3) + 29/(-3) + 10. Sort w, -2, 389 in descending order.
389, -2, w
Let s = 2084 + -2094. Sort 3, 5, s in decreasing order.
5, 3, s
Let c(n) = -n**3 - 31*n**2 + 34*n + 50. Let w be c(-32). Sort w, 3, 44 in descending order.
44, 3, w
Let g = -1 + 5. Suppose 661*b - 114 + 467 = -208 - 100. Put 0, g, -2, b in ascending order.
-2, b, 0, g
Let r = 779.4 - 779. Put -0.1, -1, r, -0.05, -3 in ascending order.
-3, -1, -0.1, -0.05, r
Let m = -10307 - -10305. Put m, -3, 6, -679, -5 in decreasing order.
6, m, -3, -5, -679
Let o(a) = -a**3 + 4*a**2 - 2*a. Let t be o(3). Suppose 169*s - 187*s = -45 + 225. Let b be (2/t)/(s/45). Put b, 8, 4, -5 in descending order.
8, 4, b, -5
Let u = -49.22 - -40. Let k = u - 0.48. Let d = k + 9.2. Put -3, d, 2, -3/5 in ascending order.
-3, -3/5, d, 2
Suppose 3*y - 4*d + 18 = 0, 8*y + 1 = 3*y - 3*d. Let q be (28/(-35))/(y/5). Let g = 0.17 + -0.37. Sort -1, g, q.
-1, g, q
Let v be 10/1 - (-3 + (-3 + 3)/(-4)). Sort 8, -2, v, -4 in increasing order.
-4, -2, 8, v
Let s = -125.07 + -10.93. Let x = -2/135 + -41/270. Sort s, x, 0.2 in ascending order.
s, x, 0.2
Suppose j + 3*k = 3, -3*j + j + 3*k = -6. Sort -22, j, 5, -57 in decreasing order.
5, j, -22, -57
Let k be 0 - -1 - 10/7. Suppose -5*i = -2*y + 30, -i - 1 = 4*y + 27. Let l be (i/10)/((-476)/70). Sort -1/7, -2/3, l, k in increasing order.
-2/3, k, -1/7, l
Let h(s) = s**2 + 139*s - 6731. Let j be h(38). Let b be (2 - 1) + 0 - 7. Sort j, 1, b, 5 in decreasing order.
5, 1, j, b
Let p = 1199/3633 + -23/519. Let u = 2 - 2.2. Sort p, u, -7.7.
-7.7, u, p
Let a = 58 + -106. Let b be a/(-80) - (-27)/5. Suppose -h + i = 9, 2*h + b = -i - 0. Sort h, 0, -2/5 in descending order.
0, -2/5, h
Let o = -750449/8745 - 547/265. Let h = -262/3 - o. Sort -3, 1, h, 11.
-3, h, 1, 11
Let l = -1272.99 - -1387.6. Let f = -115 + l. Put 0.4, 3/2, f in descending order.
3/2, 0.4, f
Let d = 49 + -228. Let b = d + 541/3. Sort -1/5, 1/4, -4, b in descending order.
b, 1/4, -1/5, -4
Let q(w) = -54*w + 2266. Let p be q(42). Sort 2, -944, 0, p in increasing order.
-944, p, 0, 2
Let u = 576 + -894. Let j = -321 - u. Put 0.2, -0.1, j, 1/44 in descending order.
0.2, 1/44, -0.1, j
Let w(q) = 68*q + 1023. Let h be w(-15). Sort 5, h, 4, 2, 24 in descending order.
24, 5, 4, h, 2
Let j = -15973 - -15922. Sort j, -17, -2, 0 in increasing order.
j, -17, -2, 0
Suppose 3*x - 9 = -2*u, 0*x + 7 = u + 4*x. Let q = u + -7. Let w be 1/(12/(-18) + (-14)/(-30)). Put 0, w, q, -3 in decreasing order.
0, -3, q, w
Suppose -10*o + 6 = -8*o, 19 = -2*y + 5*o. Sort -5, 104, y in descending order.
104, y, -5
Let l = 74 + -65. Suppose -6*k - 3*k = l. Suppose 4*r - 15 = r. Put k, r, -9 in decreasing order.
r, k, -9
Let k be (-51)/(-204)*(1 - -3). Let d(q) = -q**3 - 3*q**2 + 3*q - 3. Let w be d(-4). Let t = w - 5. Put k, -3, t in descending order.
k, -3, t
Let d be (-1)/1*(-1)/(-1). Let j(k) = -9*k + 2. Let z be j(0). Let r be (z + 18/(-8))/((-2)/16). Sort -76, d, r in descending order.
r, d, -76
Suppose 0*o + 5*o - c = -15, -o = -3*c - 11. Sort -2, -3, -0.5, -0.2, o.
o, -3, -2, -0.5, -0.2
Let i = 10/103 - -568/515. Let x be -4 - -2*(-15)/(-6). Let z be ((-74)/(-56) - x) + (-10)/(-40). Put i, 2/5, z in decreasing order.
i, z, 2/5
Let j be (-82)/((-2050)/(-225)) + 1 + (-1 - -8). Put -4, 4, j, 448 in incr