 z in decreasing order.
w, z, -6
Let a = -1.2 + 1.11. Let k = 0.01 - a. Put -4, -0.2, k, -3 in decreasing order.
k, -0.2, -3, -4
Let z(v) be the second derivative of v**3/3 - 13*v**2/2 + 8*v. Let s be z(6). Suppose 0 = -2*o + 4 + 8. Sort -2, s, o.
-2, s, o
Suppose -3*v - 20 = -5*u - 5*v, 0 = -3*v + 15. Suppose 5*w - 532 + 32 = 0. Suppose -3*s - w = -94. Sort s, 0, u in decreasing order.
u, 0, s
Let q be (-1)/(99/22 + -4). Let n be (-1)/(-1) - (-6)/(-2). Let i = n - -1. Sort 3, q, i in descending order.
3, i, q
Let c = -416/4431 + -2/1477. Let u = -30.6 - -30.2. Sort 0, c, u in decreasing order.
0, c, u
Suppose 4*m = -5*v + 2*m + 21, -v + 4*m - 9 = 0. Sort -7, v, -6 in increasing order.
-7, -6, v
Suppose 2 = -2*h - 8. Suppose 0 = 4*c - 1 - 27. Let x = -3 + c. Sort x, h, -1.
h, -1, x
Let n be (-12)/30*30/(-12)*4. Suppose -l = 2*l. Sort n, l, 5.
l, n, 5
Let b = 3.6 - 3.4. Let m = 156 + -1406/9. Suppose -5*w - 4 = -w. Sort m, b, w in decreasing order.
b, m, w
Let r = -7 + 9. Let o = 71.1 - 73.1. Sort 0.2, r, o, -1/5.
o, -1/5, 0.2, r
Let r = -150 + 147. Put r, 66, 2 in ascending order.
r, 2, 66
Suppose 4*t - i + 0*i = -11, 19 = -5*t + 3*i. Let c(g) = g**3 - 2*g**2 - 4*g + 4. Let b be c(3). Sort b, t, 16.
t, b, 16
Let l = 6.7 - 7. Let c = 15 + -11. Let o be (c/25)/((-24)/20). Put l, 0.06, o in descending order.
0.06, o, l
Let j be 12/5*80/24. Let b be (-58)/j + 2/8. Suppose k = 4*x - 1, 2*x = -3*k - 0*k - 3. Put k, b, 3 in decreasing order.
3, k, b
Let f = 39 - 35. Let t be 15/20 + 53/4. Sort 5, t, -1, f in descending order.
t, 5, f, -1
Let a = -171 - -176. Let z(j) = -j**2 - 3*j - 3. Let t be z(-3). Put t, 4, -1, a in increasing order.
t, -1, 4, a
Suppose j + 0*j + 2 = z, 4*z = j - 7. Let v = 67 + 58. Let k be (-1)/(-6) + v/(-30). Put z, k, -5 in decreasing order.
z, k, -5
Let r be (2 - (-392)/(-48)) + 6/36. Put 1, 3, r, -61 in descending order.
3, 1, r, -61
Let t = -358 + 356.1. Sort 2/9, t, 5, -3 in descending order.
5, 2/9, t, -3
Let p = -94 + 845/9. Let y = 22/3 - 64/9. Put p, y, 0.4 in descending order.
0.4, y, p
Let q = 1.7 - 2. Let d = -2/349 - -1402/1047. Sort q, d, 3/5 in decreasing order.
d, 3/5, q
Let n = 16.5 + -23. Let h = 4.5 + n. Let l = -2/49 - -151/98. Sort l, h, 2/7 in decreasing order.
l, 2/7, h
Let l = -617 + 621. Sort 14, -2, l, -3 in descending order.
14, l, -2, -3
Let g(i) = i**2 - 2*i + 2. Let m be g(3). Let a(y) = -7*y - 11. Let w be a(-5). Suppose 0 = 26*p - w*p - 4. Sort -3, p, m.
-3, p, m
Let b = 0.8 + 4.2. Let i = -2118/13 + 10616/65. Put 1/5, i, b in increasing order.
1/5, i, b
Let w = -23.43 + 23.5. Sort 4, w, 5, 2 in ascending order.
w, 2, 4, 5
Let h = 590 - 592. Sort 1.8, h, -0.5 in increasing order.
h, -0.5, 1.8
Suppose 3*t + 1 = -5*v - 11, 4*v + 20 = -5*t. Suppose v = -0*l + 2*l + 6. Let q be -6 + (-1 - -1 - l). Sort 1, q, -1/12.
q, -1/12, 1
Let h = -509 + 508.82. Let x = 0.2 + -0.18. Let g = h - x. Put -0.5, g, -2/7 in descending order.
g, -2/7, -0.5
Let b(i) = 22*i - 287. Let y be b(13). Put y, 8, 2, -3 in ascending order.
-3, y, 2, 8
Suppose 4*v + 4*w - 6 = -14, -5*w = 4*v + 10. Sort 1, v, -27, -3 in decreasing order.
1, v, -3, -27
Let d = 2 + 3. Let x(l) = -l + d - 4 - 2 + 11. Let w be x(7). Put 0, -3, w in decreasing order.
w, 0, -3
Let y be (4/(-5))/(((-40)/(-28))/(-5)). Sort y, -2, 5 in descending order.
5, y, -2
Let y(t) = 2*t - 33. Let k be y(14). Put 1, -13, k in descending order.
1, k, -13
Suppose -2*p = 2 - 6. Let w(d) = d - 4. Let f be w(p). Sort 0.2, -3, f in descending order.
0.2, f, -3
Let z = 1.8101 - -2.1899. Let o = 0 + -0.2. Let j = 1.2 + o. Put j, 1/11, z in increasing order.
1/11, j, z
Let z be (-20 - -19)*(11/4 - 0). Sort -5, z, 2, 6 in decreasing order.
6, 2, z, -5
Let v be 15 + -11 + -4 - (-1 - 0). Put v, -8, 4, 3 in descending order.
4, 3, v, -8
Let a = 0.17 - -0.03. Suppose -6 = -4*i + 6. Suppose -2 = i*w - 5. Sort a, 0, w in decreasing order.
w, a, 0
Let o = -3.92 + 6.92. Put o, -3/2, -6 in increasing order.
-6, -3/2, o
Let b be 1 + 2 + 14/(-7). Suppose b = i - 1. Sort i, -5, 1 in decreasing order.
i, 1, -5
Let t be 4/(-5) - 36/(-20). Put 5, t, 3, 0 in decreasing order.
5, 3, t, 0
Let a be (1/3)/(4/72). Suppose 47*u + 27 = 38*u. Put u, 2, a in decreasing order.
a, 2, u
Suppose 3*v = -5*d - 27, 2*d + 2*d + 32 = -5*v. Let a = -71.2 + 84. Let l = a + -13. Put 2/7, d, l in increasing order.
d, l, 2/7
Let g = -23.74 + 21. Let v = 12.74 - 13. Let r = v + g. Put 0.3, -4, r in ascending order.
-4, r, 0.3
Let y(o) = -o - 9. Let l be y(-11). Suppose 2*b - l*j = 10, 0*b = -2*b - 3*j + 10. Let p(n) = n + 2. Let z be p(-6). Sort -3, z, b.
z, -3, b
Suppose 5*n - 3*n = 2*b - 10, 3*b + 2*n = 0. Suppose 4 - b = x. Sort -0.2, 1, 3, x.
-0.2, 1, x, 3
Let a be (-2)/(-16) + (-742)/(-848). Sort a, 4, -438 in decreasing order.
4, a, -438
Let y = -0.046 + -2.054. Let p = y - -2.4. Sort p, 2/7, 2, 1.
2/7, p, 1, 2
Suppose 0 = 5*t + 2*j + 33, t - 4*j = -2*t + 1. Let l = 33 + -36. Let q be (3*10/(-45))/((-2)/l). Sort t, -3, q.
t, -3, q
Let i be -5 - (-10 - (-6 + (-1 - -5))). Sort -5, -3, i, 95 in ascending order.
-5, -3, i, 95
Suppose 5*a + 4*o + 0*o - 284 = 0, a - 64 = o. Suppose -8*d - a = -14*d. Sort -4, 0, d in descending order.
d, 0, -4
Suppose -229 = -47*a + 6. Put 3/7, 0, a, -3/2 in descending order.
a, 3/7, 0, -3/2
Let j be 2/(-3)*(1 + 2). Suppose 5*z + 25 = 8*y - 6*y, -25 = 5*z + 2*y. Sort 5, j, z.
z, j, 5
Let m be (2*(-2)/2)/((-74)/148). Sort 17, m, 5.
m, 5, 17
Let r = 143.9 + -145. Sort 1/2, -0.1, r.
r, -0.1, 1/2
Let s = -2325 + 69757/30. Let j = 1/6 + s. Let o = -0.04 - -0.04. Put j, o, -9 in ascending order.
-9, o, j
Let j = 102 + -122. Let s = -15 - j. Put -2, 46, s in ascending order.
-2, s, 46
Let r be ((-3)/(-45))/(7/42). Let v = -23/20 + r. Let w = 0 - 0.2. Sort -6, w, v in increasing order.
-6, v, w
Let o be (-1)/(-2 - (-33)/15). Let z = -2 - o. Suppose 10 = -5*y, 3*y + 31 = z*g - 2*y. Put 3, g, 4 in ascending order.
3, 4, g
Suppose -2*p + 0*r - 28 = 5*r, 5*p = r - 43. Let m = -15 - p. Let w(h) = -h**3 - 7*h**2 - 4*h + 7. Let z be w(m). Put 4, -1, z in decreasing order.
4, -1, z
Let u = 11.7 + -1.7. Let q be -4 + 8 + 3/((-9)/6). Sort 0.5, q, -1/5, u in increasing order.
-1/5, 0.5, q, u
Suppose 7*a + 7*a = -70. Put 2, -8, a in decreasing order.
2, a, -8
Let a be (-7)/(-4) + (5 - 19/4). Suppose -4*p = -2*p - 4*l + 20, 0 = -a*p + 2*l - 14. Sort 1, p, -1, 3 in increasing order.
p, -1, 1, 3
Let c = -15 + 16. Let i = 7.8 - 8.2. Put c, 0.1, 4, i in ascending order.
i, 0.1, c, 4
Suppose 8 = 3*x + x, x + 12 = -2*z. Let i(p) = 5*p**2 - 17*p + 17. Let y be i(1). Sort y, -3, z, -5 in decreasing order.
y, -3, -5, z
Suppose 0 = -2*g + 10, -5*r + 6*g - 9*g + 25 = 0. Sort -2, r, 4 in increasing order.
-2, r, 4
Let x = 0.9 + 0.1. Let y = 1/103 - -197/927. Suppose l = -1 + 6. Sort y, l, x in descending order.
l, x, y
Let k = 115 - 148.5. Let o = k + 34. Let i = 0.08 + -0.14. Sort i, o, 2 in ascending order.
i, o, 2
Suppose 0 = 210*d - 204*d. Put 3, 5, -12, d in descending order.
5, 3, d, -12
Let o = 49.2 - 44.2. Sort -0.1, o, 1 in descending order.
o, 1, -0.1
Suppose 3*q - 98 = -92. Let p be -1*(3 + -1 + -3). Put q, p, -5, -3 in increasing order.
-5, -3, p, q
Let a be (1/(60/16))/((-2)/5). Let u be 3/15 + 14/5. Suppose -2*o - 15 = u*o. Put 2, o, a in descending order.
2, a, o
Let a be (10 - 4) + -1 + (-2)/2. Suppose -2*l - l = -a*i + 24, 28 = 4*i - 4*l. Put i, 0, 0.1, 2/21 in decreasing order.
i, 0.1, 2/21, 0
Let m = -867 + 869. Put m, 4, -27, -5 in decreasing order.
4, m, -5, -27
Let c be ((-51)/(-17))/(2 - 1). Put -5, c, -9, -4 in increasing order.
-9, -5, -4, c
Let k = 2.971 + 1.029. Sort -1/6, 0, k, -7.
-7, -1/6, 0, k
Let l(t) = 3*t**3 + 3*t**2 - 4*t + 2. Let y(o) = 2*o - 21. Let n be y(11). Let r be l(n). Let k be 2/5 + 24/(-10). Sort r, -5, k in descending order.
r, k, -5
Let m be -1 - (-2)/6*-3. Let p be (-77)/(-132) + (-1)/3. Let x = -0.11 - 4.89. Put p, m, x in decreasing order.
p, m, x
Let h = -4623 + 22807/5. Let i = h + 922/15. Let g = 27 - 27.3. Sort g, 1/5, i in increasing order.
g, i, 1/5
Let h be 20/(2 + -3) - (-14)/(-14). Sort 1, h, -1, -4 in descending order.
1, -1, -4, h
Let f = -0.4 - -0.47. Let k = 1204 - 22874/19. Sort k, f, 2.
f, k, 2
Let o be 8/32 + (-4)/(-32). Put o, 0.05, 2/9 in incr