- 19 = 4*i. Let o = 3.73 + 63.07. Let y = o - 67. Sort -2/7, i, 0.4, y in decreasing order.
0.4, y, -2/7, i
Suppose 0*f - 195 = -3*f. Suppose 2*i - 145*x = -148*x + 9, 17 = -4*i + x. Sort i, f, 2 in ascending order.
i, 2, f
Let m = -175.8 - -177. Let b = -30.1 - -32.1. Put m, -3, b in ascending order.
-3, m, b
Let g = -4349 - -4350.7. Put -19, 2/7, g in increasing order.
-19, 2/7, g
Let r = 8 - 5. Let t be r - (-5 + 6) - -4. Sort t, 0, -8 in ascending order.
-8, 0, t
Let s be (16/(-10))/(16*(-7)/140). Sort s, -5, 4, 3, 1/4 in decreasing order.
4, 3, s, 1/4, -5
Let g = -1664.3 + 1664.5. Sort 2/5, g, 0.0783 in decreasing order.
2/5, g, 0.0783
Let m be (10/12)/(5/10)*3. Suppose 2*d + 0*d + 4*g + 22 = 0, m*d = -4*g - 37. Let v = -9 - -11. Sort -2, v, d in ascending order.
d, -2, v
Let m = 410.3 - 410. Let o = 10 - 9.9. Sort m, o, -4.
-4, o, m
Let w = -2.514 - -2.19. Let m = w + -0.176. Sort -2/13, 1.4, m in increasing order.
m, -2/13, 1.4
Let d = 1270 + -1172.1. Let o = d + -98. Let v be (2/4)/((-2)/12). Sort o, -0.5, v in descending order.
o, -0.5, v
Let o be (2 - 0 - 0)*-1. Suppose 5*r - 15 = -5*h, 7*h = 2*r + 5*h - 2. Suppose -134*k = -102*k + 96. Sort o, k, r, 5 in ascending order.
k, o, r, 5
Let g be 2 - 9 - (4 - 4/(-4)). Sort 6/19, g, 3/5, 1/2 in ascending order.
g, 6/19, 1/2, 3/5
Let b be 12/4 - 9 - -2. Let s be (-1)/(b/40)*2/(-4). Sort 5, s, 4, 1.
s, 1, 4, 5
Let x(r) = -r**2 - 7*r + 9. Suppose 24 = -0*f - 2*f - 4*j, 0 = -f - 4*j - 16. Let d be x(f). Let a be d/((-3 + 1)*4). Put 5, -0.2, a in descending order.
5, a, -0.2
Let c(l) = -59*l - 36. Let b be c(-4). Let o = 196 - b. Put -6, -1, o, 5/4 in decreasing order.
5/4, -1, o, -6
Let d = 214 - 267. Let w = d - -56. Sort -2, 4, w.
-2, w, 4
Let d = 2 + 9. Let t = -78.004 - -0.004. Let v = t - -83. Sort -4, d, v in descending order.
d, v, -4
Let m be 5 + 670/(-130) + 6/39 + -4. Sort -1, 3, -5, m, -22 in descending order.
3, -1, m, -5, -22
Let w(n) = -4*n + 54. Suppose -35*j + 38*j - 39 = 0. Let i be w(j). Put 4, i, 7 in descending order.
7, 4, i
Suppose b = 7, -35 = -18*j + 20*j - b. Put 4, -2, -11, j, -5 in ascending order.
j, -11, -5, -2, 4
Let n = 8 + -7.6. Let r be 4/1155*-3*-230. Let p = 18/7 - r. Sort p, -1, n.
-1, p, n
Let n = -0.08709 + 0.04709. Sort 1/2, -31, n, -0.1, -0.02.
-31, -0.1, n, -0.02, 1/2
Let r(p) = p**2 + 6*p - 6. Let i be r(-7). Suppose -4*g + 6*g + 4 = 0. Let o be (-5)/(((-8)/4)/g). Sort -3, 2, i, o.
o, -3, i, 2
Let r(s) = -s**2 - 45*s - 78. Let l be r(-43). Put -5, l, -1 in ascending order.
-5, -1, l
Let x = -15077 + 15082. Sort 7, 1/6, -1/5, x in decreasing order.
7, x, 1/6, -1/5
Let n = -98 - -94. Suppose -19 = -p - 3*g, -3*p - 5*g = -4*p + 35. Suppose p = -8*y - 15. Put 21, y, n, 2/9 in decreasing order.
21, 2/9, n, y
Let x = -10640 + 10642. Suppose -28 = -4*l + 36. Let s = l + -10. Sort x, s, 0, -3.
-3, 0, x, s
Let b = -7 - 24. Let z = -31.011 - b. Sort 2/3, -1, z.
-1, z, 2/3
Let m = 0.0175 + 4.9825. Let g = 1.5 - 6.9. Let c = g + 5. Sort -2, m, c, 2 in descending order.
m, 2, c, -2
Let i = 136019/764 - 150/191. Let m = 178 - i. Sort m, 2/19, -3 in increasing order.
-3, 2/19, m
Let v = 6436 + -6437. Sort 4, v, -29.8.
-29.8, v, 4
Let u(c) = -2*c**3 + 3*c**2 + 6*c. Let a be u(8). Let k = a - -1302. Let w be k/182 + (-2)/(-13). Sort 0, -23, w in ascending order.
-23, 0, w
Let d = 118 + 217. Let l = d - 330. Put l, 3, -4, 4 in decreasing order.
l, 4, 3, -4
Let x be (12/10)/((-2)/(-50)). Let c(m) = m**2 + 19*m - 16. Let r(f) = 4*f + 32. Let u be r(-13). Let q be c(u). Sort q, 3, x in decreasing order.
x, q, 3
Let u be 28/(-3) - -56*(-5)/(-120). Put u, 1, -0.1, -0.12, 0.4 in decreasing order.
1, 0.4, -0.1, -0.12, u
Let k = 17361 - 17362. Sort 79, -2, k.
-2, k, 79
Let b be (10/(-285))/((-3)/(-9)). Sort 3, 2, b, 1.7, -2.
-2, b, 1.7, 2, 3
Suppose 4*j + 7*d = 3*d + 32, -d = 4*j - 20. Suppose 0 = -5*v, -r - j*v + 2 - 3 = 0. Sort r, 5, 4, 26 in decreasing order.
26, 5, 4, r
Let o = 10881.7 + -11370.23. Let z = 488 + o. Put 4, -0.1, z in decreasing order.
4, -0.1, z
Let y be (-204)/3*(-1 + 20/8). Let k = -62 - y. Suppose -2*c = 6*c + k. Put 2, 6, c in decreasing order.
6, 2, c
Suppose -4*w + 2*v = 0, -4*w + 3*v + 0 = -2. Let t = -63932 - -63897. Sort t, -3, -5, w in ascending order.
t, -5, -3, w
Let p be (-318)/24 + 13 + ((-11)/4 - 1). Sort 226, 23, p.
p, 23, 226
Let h = -488.7 - -489.7. Sort 4, 2, 1.71, h.
h, 1.71, 2, 4
Suppose 2*m - 4 + 14 = 0. Let z = 14335 + -14333. Sort z, 16, m in decreasing order.
16, z, m
Suppose 19*c - 17 - 59 = 0. Put c, 8, 29 in ascending order.
c, 8, 29
Let c = -577.955 - -578. Let o = -1.045 + c. Let f be 2*1/(-1 + -8). Sort f, -3, -0.2, o.
-3, o, f, -0.2
Let d = 1.161 + -0.761. Put d, -0.2, -4/7, -35 in descending order.
d, -0.2, -4/7, -35
Suppose 4*h = 5*g + 32, 27 = -2*g - g + 5*h. Let z = 6 + g. Let i = 9 + -14. Put 3, z, i, -3 in decreasing order.
3, z, -3, i
Let u be 2/(-15)*20*(-8)/64*-12. Put -814, u, -8 in descending order.
u, -8, -814
Suppose 17 - 5 = 2*n. Suppose -11*a + 14*a - n = 0. Let h be (1 - a) + 0 + 3. Put h, -4, 4, -11 in descending order.
4, h, -4, -11
Let w = 19/232 - 1281/9976. Sort -0.05, w, 1/4 in increasing order.
-0.05, w, 1/4
Let v = 233 + -99. Suppose 4*j = 3*k - k + v, 3*j - 100 = k. Let f = -29 + j. Put f, -4, 1 in decreasing order.
f, 1, -4
Let v = -9 - -10. Let z = 320 - 315. Suppose -40 = -5*m - 0*g - 3*g, 10 = -3*m + z*g. Put m, v, -9, 4 in descending order.
m, 4, v, -9
Let h = -4 - -4.4. Let q be (487/(-1948))/((140/16)/7). Put q, -81, 3, h in decreasing order.
3, h, q, -81
Let o = 14719.6 - 14720. Sort 5, -174, o in ascending order.
-174, o, 5
Let v = -193.41 + 193.11. Sort v, 0.19, 67 in descending order.
67, 0.19, v
Suppose p - 3 + 1 = -2*w, -5*p - 3*w = 4. Let q = -852 + 832.71. Let y = q - -19.39. Sort p, y, -1.
p, -1, y
Let m = 0.2661 + 8.7339. Put m, -0.3, 2, -3, 2/5 in increasing order.
-3, -0.3, 2/5, 2, m
Let d = -91 + 90. Let h be d*(160/(-4) + 3). Let a = h + -39. Sort -4, -3, 2, a in decreasing order.
2, a, -3, -4
Let b = -343.5 + 343. Let y be (0 + 1 + 1)/(-2). Sort y, b, 2, -13 in decreasing order.
2, b, y, -13
Let l be (10/6)/(340/(-408)). Sort -1, -3, l, -36 in descending order.
-1, l, -3, -36
Let d = -1276 + 800. Let g = 480 + d. Put -1, -5, g, -6 in descending order.
g, -1, -5, -6
Let i = -28.6 - 123.4. Let f = -210.5 - i. Let a = 59 + f. Sort a, 0, 2/13, 0.3.
0, 2/13, 0.3, a
Let z(x) = 3*x**3 + 19*x**2 - 14*x + 5. Let f be z(-7). Suppose 0 = f*s - 2*v + 30, 3*s + 0*s + 18 = -v. Put -2, s, 5 in descending order.
5, -2, s
Let n be (3/6)/(-13*(-4)/208). Sort 133, n, 1 in descending order.
133, n, 1
Let j(g) = -28*g - 138. Let t be j(-5). Let p be 1*(-3)/(-21) - 385/(-49). Sort p, 3, t, 9 in descending order.
9, p, 3, t
Let y = -0.938 - 411.062. Let x = y - -408. Let s = 19 + 3. Put 3, x, s in decreasing order.
s, 3, x
Let i = -13 + 6. Let k be ((-1)/i)/((-2)/(-7)). Let u = -13033.9 - -13034. Put u, -1, 6, k in descending order.
6, k, u, -1
Let n be (-8)/(-56) + ((-90)/42 - -1). Put 7, 5, n, 1 in ascending order.
n, 1, 5, 7
Let k be ((-32)/(-6))/((-7)/21). Let x be (-6 - -4) + (7 - k/(-4)). Sort 28, x, -0.2.
-0.2, x, 28
Suppose 83*q - 13301 - 11350 = 0. Let n = 2 + -1. Put 3, q, n in ascending order.
n, 3, q
Let s(c) = 18*c**3 + 100*c**2 + 51*c + 7. Let u be s(-5). Suppose b + 3 = t, t + t = -5*b - 1. Put u, 3, b in descending order.
3, u, b
Let q(u) = -u**3 + 27*u**2 - 42*u - 205. Let t be q(25). Suppose 0 = -13*w + 18*w - 10. Sort w, t, 51.
t, w, 51
Let x = 1199 - 1198. Put -2/13, 25, x in descending order.
25, x, -2/13
Suppose 231*a - 162 = 75 + 225. Let m be (-1 - -4) + 0 - 2. Put m, 0, 4, a in descending order.
4, a, m, 0
Let k(n) = n**3 + 9*n**2 + 8*n + 2. Let a be k(-8). Suppose 0 = -a*p - 2*p - 40. Let g = 9 + p. Put 5, g, 0 in descending order.
5, 0, g
Let a(u) = -64*u + 130. Let h be a(-4). Suppose h*i - 389*i - 21 = 0. Sort -9, i, -2 in descending order.
-2, i, -9
Let f(n) = -n**3 + 7*n**2 - 5*n - 4. Let z be f(4). Let j be 4/z - 1/(-2). Let u = -0.72 - -2.72. Put 1, j, u in ascending order.
j, 1, u
Suppose -357*s + 181 = -164 - 1083. Put 58, s, -27, 5 in increasing order.
-27, s, 5, 58
Let j = 77/172 + 13/43. Sort j, 0.37, -1/9, -27 in descending order.
j, 0.37, -1/9, -27
Suppose 7 