5*w - 6 - 5. Sort i, c, -1 in decreasing order.
c, -1, i
Let y = 16.6 - -1.4. Let w = -17.91 + y. Let m = w + 0.11. Sort -0.2, m, -2/5 in increasing order.
-2/5, -0.2, m
Let u = 7 + -3. Let n be (-3)/(((-3)/(-4))/(1/2)). Let d be (3*n/(-48))/(-3 + 2). Put d, u, -2/5 in ascending order.
-2/5, d, u
Let x be (5/15)/((-9)/162). Put 4, x, 2 in decreasing order.
4, 2, x
Suppose 0*n = -21*n - 84. Put -6, n, 3, -1 in decreasing order.
3, -1, n, -6
Let f be (-1 + 12/13)*2. Let c = -21.44 - -21. Let i = c - -0.24. Put f, 5/4, i in descending order.
5/4, f, i
Let y(k) = 88*k - 523. Let v be y(6). Suppose -3*n = -r - 7, -2*r = -3*n + 2*r + 1. Put n, v, 2 in descending order.
v, n, 2
Let w = -11/30 + -32/15. Let g = 103/2 - 729/14. Sort -0.4, 0.14, g, w.
w, g, -0.4, 0.14
Let w = 1.198 + -0.998. Let q(a) = 2*a - 13. Let n be q(9). Put w, n, -1, -0.3 in descending order.
n, w, -0.3, -1
Let d = 1110.9 - 1111. Sort 3, 1/5, 1/53, d in ascending order.
d, 1/53, 1/5, 3
Let a be 2/(-2) - (-25)/15. Let x be (47/1551)/((-1)/2). Put x, a, -0.1, 0.1 in descending order.
a, 0.1, x, -0.1
Suppose 2*z = u - 3, 0 = -u - 5*z + 1 - 12. Let n be 0/(u + 1 + 1). Sort n, -6, 4, 1 in ascending order.
-6, n, 1, 4
Let n be (2*2/(-2))/((-86)/4). Sort n, -2/3, -0.2 in decreasing order.
n, -0.2, -2/3
Let h be 1 + 1 - (5 - 3). Let z = 4 - h. Suppose x + z = 3. Put x, 0, -4 in descending order.
0, x, -4
Let j = -29 + 24.5. Let n = j + 4.8. Let g = 2.2 - 2. Sort n, -2/11, g in ascending order.
-2/11, g, n
Let d = -79 + 78.9. Sort d, 2/7, 3, -2 in ascending order.
-2, d, 2/7, 3
Let b be (-1*(-4)/(-4))/(-1). Let w be b + 0/1 - (-12 + 12). Let q = 28 - 138/5. Put 1/4, w, q in descending order.
w, q, 1/4
Let o be 15*((-24)/10 + 3). Let d be o*6/(-9) + 2. Suppose 0 = 4*z - 3 + 7. Sort d, 4, z in decreasing order.
4, z, d
Let o be 24/7 + 75/(-175). Suppose c + j - 3*j = 8, 5*c - 5*j - 40 = 0. Suppose q + c = -o*q. Put q, -5, 1 in ascending order.
-5, q, 1
Let o = -714 - -713.9. Put 0.4, 3, o, -3/2 in ascending order.
-3/2, o, 0.4, 3
Let r = 2.4 - 3.1. Let c = r + -0.3. Put 4, -2, c in decreasing order.
4, c, -2
Suppose -3*b = -4*h - 0 - 3, -2*h = -b + 1. Sort -3, b, -1, 0.
-3, -1, 0, b
Let j = -216.5 + 216. Let m = 5.2 - 1.2. Sort 0.11, j, m in decreasing order.
m, 0.11, j
Suppose 0*f - 3*f + 18 = 0. Suppose -42 = 2435*p - 2428*p. Let q be ((-2)/p)/(f/(-27)). Sort 1, q, 5/6 in decreasing order.
1, 5/6, q
Suppose 117*c - 11 = 106*c. Let l = 3 - 2. Suppose 0 = 3*v + 2*w + 2*w + l, -14 = 4*v - w. Put c, v, -5 in increasing order.
-5, v, c
Let q(d) = -28*d + 365. Let s be q(13). Let r = 11 - 17. Put s, -1, r in decreasing order.
s, -1, r
Let l be 15/(-2)*(-270)/5400. Sort 7, 1/10, l in descending order.
7, l, 1/10
Let r(m) = -5*m + 30. Let c be r(7). Sort c, 0, 1, 5 in increasing order.
c, 0, 1, 5
Let c be 10/(6/(-3)) + 0. Let h = 13 - 12.6. Sort c, h, -2/23.
c, -2/23, h
Let k = -528 - -526. Sort k, 4, -85 in ascending order.
-85, k, 4
Let b be 1*(2/(-3))/(12/18). Put -2, -11, b, -23 in increasing order.
-23, -11, -2, b
Let b = -6 - -12. Let q = b + -6.12. Let m = q - -0.32. Sort 5, -5, m in descending order.
5, m, -5
Let v be (4/190)/(9/(-90)). Let x = 1/95 + v. Put x, -0.5, 1 in increasing order.
-0.5, x, 1
Let h be (1/1)/((-1)/(-3)). Suppose -w + 3*w = 5*f - 13, -12 = -3*w - 3*f. Suppose -w = -4*u + 19, -r - u = -11. Put h, 5, r in descending order.
r, 5, h
Let n = -1/9 - -8/153. Put 3, n, -0.11 in decreasing order.
3, n, -0.11
Suppose -w - 9*w + 40 = 0. Sort -1, 0.01, w in decreasing order.
w, 0.01, -1
Let f = 13 - 7. Let t = 5 - f. Let i = -112/195 + -1/39. Put i, 0, t in decreasing order.
0, i, t
Suppose 0*g - 8*g - 328 = 0. Let o = g + 37. Put -3, o, -5 in decreasing order.
-3, o, -5
Suppose -4*g - 6 = -22. Suppose d - 2*d = -v + 11, -g*v + 49 = -5*d. Let n be (16/v)/((-16)/(-24)). Put n, -4, 1 in ascending order.
-4, 1, n
Let w = 15 + -11. Let o be (21 - 21)/(2 - (2 + -2)) - 3. Sort o, -2, w in ascending order.
o, -2, w
Suppose 0*o + 5*o - 20 = 0. Let c = 1 - 5. Suppose -2*z + 4*z = 2*u - 6, -z + 12 = 2*u. Sort c, u, o in decreasing order.
u, o, c
Suppose 3*x + 4*h - 23 = 0, x = 3*h + 3 - 4. Put x, -1, 3 in descending order.
x, 3, -1
Let u = 0.3 - 0. Let c = -0.95 + -10.05. Put u, c, -0.1 in increasing order.
c, -0.1, u
Let k = 174 - 164.6. Let p = k - 12.4. Sort 0.5, -0.02, 0.1, p in ascending order.
p, -0.02, 0.1, 0.5
Let a = -186 + 188. Put a, 2/7, -1/4 in decreasing order.
a, 2/7, -1/4
Suppose 4*u - 5 = 3. Suppose 0 = -2*o + 2, 4*n - u*n - o = 9. Sort n, 1, -1 in increasing order.
-1, 1, n
Suppose -h = 4*x, -5 = -12*x + 7*x. Sort -1, h, -84.
-84, h, -1
Suppose 1 = 4*q - 19. Let d = -495 - -494.88. Put q, -2/3, d in descending order.
q, d, -2/3
Let l = 10 - 5. Let y = 31 - 25. Suppose -2*j + 7 = 3*b, -5*b + y = 2*j - 7. Put l, b, 6 in decreasing order.
6, l, b
Suppose 3 = -5*d - y, -3*d + 3 = -0*d + 3*y. Let s(j) = -3*j + 4. Let z be s(3). Put -3, 4, d, z in descending order.
4, d, -3, z
Let v = 4.95 + 0.05. Let c = 28.5 - 32. Let y = -4.1 - c. Put y, -0.4, v in decreasing order.
v, -0.4, y
Suppose 4*l - 2*c + 18 = 2*l, -4*c + 1 = 3*l. Let d be 0/(l/(15/6)). Suppose d*p = -p. Sort -4, p, 1 in descending order.
1, p, -4
Suppose 3*v + t - 8 = 2, -8 = 4*v - 4*t. Let u = 25 - 30. Suppose -2*f = -j + 6*j - 23, 0 = -4*j + f + 8. Sort j, u, v in descending order.
j, v, u
Let g = 164/5 + -33. Sort g, -1, 76 in descending order.
76, g, -1
Let h(p) = -9*p + 292. Let l be h(33). Sort l, -2, -15, 4 in increasing order.
-15, l, -2, 4
Suppose -4*r = -2 - 6. Let x be (-69)/(-18) + r/12. Suppose w = 1, -w + 9 = 2*b + x*w. Sort -12, b, -1 in decreasing order.
b, -1, -12
Suppose -14*p + 21*p = -35. Put -3, 0, p in decreasing order.
0, -3, p
Let f = 116 + -111. Sort f, -2/9, -5, 99 in decreasing order.
99, f, -2/9, -5
Let z = 1.9 + -1.4. Let i = z - 1.4. Let q be (-5)/10 + 2/(-4). Put i, q, 2/17 in descending order.
2/17, i, q
Let f = 152 + -151. Put f, 5, -4, 27 in increasing order.
-4, f, 5, 27
Suppose 0 = -2*m - 25*m - 81. Put 5, 2, m, 0 in ascending order.
m, 0, 2, 5
Let s be 1/(-5)*(-1890)/(-1323). Sort s, 0.2, 7, 7/3 in descending order.
7, 7/3, 0.2, s
Let m be (-25)/(-30) + (0 - (-2)/12). Let s be (1 + -1)/2*-1. Suppose s = 3*z - 3*i + 9, 0 = z - 2*z - 2*i. Put 5, z, m in ascending order.
z, m, 5
Let v = 9 - 1. Let s = -15 + v. Let u(f) = f + 18. Let x be u(-19). Sort x, -3/7, s in increasing order.
s, x, -3/7
Let l be 24/(-180) - (-1)/(-5). Let r = -145 - -145.2. Sort 4, 1/2, r, l.
l, r, 1/2, 4
Suppose 2*v - 4*v = 8. Let w(j) = -j + 17. Let o be w(3). Let q be (o/126)/((-2)/(-6)). Put q, v, 4 in increasing order.
v, q, 4
Let p be 147/18 + (-10)/60 - 7. Sort -3, p, -1, -14 in increasing order.
-14, -3, -1, p
Let q(o) = 17*o - 404. Let c be q(24). Put -1, -5, -19, c in descending order.
c, -1, -5, -19
Let v = 258 - 253.12. Let p = v + 0.12. Let l(b) = -2*b**3 - 2*b**2 + b. Let y be l(1). Put 4, y, p in descending order.
p, 4, y
Let z = -177/4 + 87/2. Let w = 0.8 + 4.2. Let q = 85.1 - 85.2. Sort z, w, q in descending order.
w, q, z
Suppose 495 = 71*x + 353. Let b = -7 + 5. Put 3, b, x, 4 in decreasing order.
4, 3, x, b
Let a = -45 - -44.6. Sort 16/3, 1/7, a.
a, 1/7, 16/3
Let m = 1607/6 + -537/2. Let z(c) = -6*c**3 + c + 1. Let a be z(-1). Let p be (-1 - 0) + a + -1. Put p, m, -0.2 in ascending order.
m, -0.2, p
Let x = 44.025 - 0.125. Let c = -7.9 + x. Let a = c + -34. Put a, -4, -2/9 in descending order.
a, -2/9, -4
Suppose 2*u = 6*u, -5*x - 2*u + 10 = 0. Suppose 4*y = -2*y + 12. Suppose 7 = 5*l + y. Put l, x, -5 in decreasing order.
x, l, -5
Let m = -542 + 541. Put 3, m, 0.1, 9/7 in decreasing order.
3, 9/7, 0.1, m
Let i = -48 - -68. Let j be 12/30*i/2. Let d = 162 - 162. Put j, 1, d in descending order.
j, 1, d
Suppose -13*f + 18 = -4*f. Put 5, 60, f in decreasing order.
60, 5, f
Let p = -1530 - -1528. Sort -3, 56, p in descending order.
56, p, -3
Let z be (-3)/15 - 104/(-20) - 4. Put 0.3, 0, -2, z in ascending order.
-2, 0, 0.3, z
Let y(m) = m**2 + 5*m - 8. Let i be y(-6). Sort 20, i, -5, -1 in descending order.
20, -1, i, -5
Let n = 6 + -5. Let q = n + -1. Suppose -2*g + 5*v = -1, -223*v = 4*g - 224*v + 7. Sort g, q, 1 in increasing order.
g, q, 1
Let m = -192 + 183. Sort 5, m, -3, -4.
m, -