. Sort x, -0.1, u in descending order.
u, -0.1, x
Let t be 15/(-6) - (10/4 - 2). Let l = -5 + 8. Suppose 5*d + 4*u = 35, 25 = l*d + 3*u + 1. Put t, 2, d in descending order.
d, 2, t
Let i = -14 - -13.89. Let v = 0.1 + i. Let u = v - -0.01. Sort 0.5, 0.4, u in ascending order.
u, 0.4, 0.5
Let v = 0.0533 + -216.0533. Let q = 221 + v. Let f be 10/(-12) + (-3)/(-9). Sort f, q, -1/4.
f, -1/4, q
Let f(m) = 3*m**3 - 3*m**2 + 15. Let d be f(0). Put d, -4, -6, 0 in increasing order.
-6, -4, 0, d
Let t = -0.02 - 0.4. Let v = t - -0.25. Let o = 0.11 + v. Put -1/4, o, -0.3 in descending order.
o, -1/4, -0.3
Suppose 0 = p + 6*p. Suppose t + 26 = 5*t - 2*a, p = -3*t - 5*a. Put -2, 2, t in increasing order.
-2, 2, t
Suppose 0 = a + a - 52. Let r = a - 12. Suppose 2*x = -0*x + 2*y + r, 3*x + 4*y + 7 = 0. Put x, 2, 1 in ascending order.
1, 2, x
Suppose 4*z - 3*n = 118, 2*n - 54 = -z - 19. Suppose b = -w + 2*w + 3, -5*b + z = 3*w. Put b, 3, -4, -2 in increasing order.
-4, -2, 3, b
Let o = 1099.7 - 1100. Put o, -10/11, 3 in increasing order.
-10/11, o, 3
Suppose -3*h = -h - 10. Suppose -2 = -2*a, a - 32 + 6 = h*z. Sort -1, -13, z.
-13, z, -1
Let q(p) = 4*p - 38. Let v be q(8). Let x be -1*(0 - (-5)/((-15)/v)). Put 5, x, 14 in ascending order.
x, 5, 14
Let x = 19 - 10. Let i(w) = w**2 + 6 - w**3 - x + 5. Let s be i(2). Sort 4, s, -1 in descending order.
4, -1, s
Let x = 0.03 - -22.97. Let u = 22.16 - x. Let c = -0.16 + u. Put c, -2/5, 1 in decreasing order.
1, -2/5, c
Let j be (-4 + 3)*40/(-180). Sort 0, j, -1, -0.5 in increasing order.
-1, -0.5, 0, j
Suppose 5*t = -3 + 18. Let p(d) = d**2 - 10*d - 10. Let g be p(11). Suppose 2*z - 4*u + 8 = 0, -2*z + 0*z + g = 5*u. Sort z, -1, t in decreasing order.
t, -1, z
Let h = 19 + -132/7. Let l(p) = 4*p**2 + p + 8. Let k be l(-3). Sort 2, k, h in decreasing order.
k, 2, h
Let z = -15 + 15.03. Let w = z + -0.03. Let l be (-1)/2*(-12)/14. Sort w, 4, l in decreasing order.
4, l, w
Let v be (112/20)/((-2)/(-5)). Let f = 19 - v. Let o(t) = -2*t + 1. Let d be o(-1). Sort d, f, 17.
d, f, 17
Let q be ((-18)/12)/((-4)/(-8)). Sort -1, 3, q, 5 in ascending order.
q, -1, 3, 5
Let o = -0.083 - 0.017. Let c = -59 - -53.9. Let q = o - c. Put -2/7, 2/7, q in decreasing order.
q, 2/7, -2/7
Suppose 3 = 3*r + 6. Let o be (2/3)/(2/(-6)). Let p(q) = -20*q - 5. Let l be p(0). Sort o, r, l in increasing order.
l, o, r
Suppose -5*t + 5*y - 28 = 12, 0 = t - 5*y + 16. Let k = t - -8. Suppose -k*v = -9 - 1. Sort 4, v, -1 in descending order.
v, 4, -1
Let r = -1.07 + 0.07. Let p = -1.5 - r. Let h = p + 1. Sort 5, h, -4 in ascending order.
-4, h, 5
Let g = 5.34 - 6.34. Put 0.2, g, -11, -2/23 in increasing order.
-11, g, -2/23, 0.2
Let g = -71 - -66. Put g, -7, 1 in increasing order.
-7, g, 1
Let q(g) = -2*g**3 - 24*g**2 - 23*g - 13. Let n be q(-11). Put 3, n, -5 in decreasing order.
3, n, -5
Suppose 0 = -a - 0*a + 1. Let v be (-6)/a - (-12)/3. Suppose 2*b = -2*b - 20. Sort b, v, 4 in increasing order.
b, v, 4
Let l = 66 - 64. Sort -41, l, -2 in descending order.
l, -2, -41
Let y = -1 - -0.98. Let r = y - 0.38. Let i = 2/49 - 104/147. Put i, 3, r in decreasing order.
3, r, i
Let v = -418.6 - -419. Let k = -2 - -5. Sort k, v, 1 in descending order.
k, 1, v
Let c = 229.7 + -230. Put -0.7, c, 2, 3 in ascending order.
-0.7, c, 2, 3
Let i = -2.8 - -2.8. Let u = -2954 - -82727/28. Let t = u - 1/28. Put -3, i, t in increasing order.
-3, i, t
Suppose 2*p + 4 = 10. Suppose 0 = -q - p*t - 48, 0*q - 228 = 5*q + 3*t. Sort -0.4, q, 0.5 in decreasing order.
0.5, -0.4, q
Let p = 0.6 + -0.5. Let n = 3.9 + p. Put -2, n, 2/15 in ascending order.
-2, 2/15, n
Let d(z) = 2*z. Let b be d(4). Let y = -39 + 27. Let g = y + b. Sort g, -3, -2.
g, -3, -2
Let d = 1.793 + 0.207. Let h = -19/44 + 1/4. Sort d, h, -5 in descending order.
d, h, -5
Suppose 1 = -j - 3, 5*j = 4*m - 20. Sort m, 0.9, -8 in ascending order.
-8, m, 0.9
Let m be (96/120)/((-1)/(-5)). Sort m, 1, -5.
-5, 1, m
Let k = -35 - -37.3. Let g = k - 13.3. Let y = g - -7. Sort -1, 2, y.
y, -1, 2
Let f(y) = -2*y**3 + 13*y**2 - 8*y + 8. Let c be f(6). Put c, 11, -5, 32 in decreasing order.
32, 11, c, -5
Let o = -1/87 + 49/58. Sort o, 5, -0.6, -2/9 in ascending order.
-0.6, -2/9, o, 5
Let f be 25/30 - (-2)/((-372)/191). Put -0.3, 5, f in descending order.
5, f, -0.3
Let y be -1*2 - (-5 + -2). Let d be (-2 + 2)/(-43 + 44). Sort d, y, -3, 3 in descending order.
y, 3, d, -3
Let r = 1.12 - 1.444. Sort r, -2/11, 0.
r, -2/11, 0
Suppose 0 = -905*l + 902*l - 12. Put l, -3, -7, 2 in ascending order.
-7, l, -3, 2
Let x = 1.5 + 0.1. Let i = x + -0.2. Let t = -1.6 - i. Put -0.5, t, 1 in decreasing order.
1, -0.5, t
Let u = -143 + 144. Suppose 0 = -3*c - 6. Sort -4, 3, u, c in ascending order.
-4, c, u, 3
Suppose 3*r - r + 2 = 0. Let n(s) = s**2 - 31*s - 263. Let a be n(-7). Put 4, a, r in increasing order.
r, a, 4
Let z be 10/(-4)*(-26)/65*-1. Put -4, 0, z, -43 in ascending order.
-43, -4, z, 0
Let d = 2652 + -2651.7. Sort d, -312, 0.4 in ascending order.
-312, d, 0.4
Let z be (-1)/(3 + (-2)/1). Let b be 6/10*4/2. Sort z, b, -4 in decreasing order.
b, z, -4
Suppose 0 = 6*y - y - 25. Let w(c) = 2*c**3 - 2*c**2 - 3*c - 1. Let p(s) = -s**2 - 14*s - 46. Let j be p(-9). Let a be w(j). Sort 4, y, a.
a, 4, y
Let z = -947 - -943. Sort -0.3, z, -0.61.
z, -0.61, -0.3
Let u = -3.8 + -5.2. Let t = 33 - 21. Let i = u + t. Sort i, 0.5, 5.
0.5, i, 5
Let t(w) = w**3 + w**2 + w + 2. Let r be t(-2). Let c(b) = -b**2 - 7*b - 21. Let z be c(-6). Put r, 4, z in descending order.
4, r, z
Let p = -1 - -1. Let x(w) = w**2 - 7*w + 5. Let j be x(7). Suppose j = c - p. Sort 3, 0, c in descending order.
c, 3, 0
Let h = -350797/1092 - -1285/4. Let t be (-1408)/4914*(-27)/36. Let d = t + h. Sort -0.1, 2/5, d in descending order.
2/5, d, -0.1
Suppose -v - 4 = 0, -z - 6*v + 307 = -5*v. Let m = z - 2803/9. Put -4, -0.5, m in descending order.
m, -0.5, -4
Let n be (-291)/(-970) + 73/(-10). Sort -16, n, 4, 0 in increasing order.
-16, n, 0, 4
Suppose 6*r = -29 + 221. Let z = r - 29. Sort z, -57, -4.
-57, -4, z
Let s be -1 + 1 + -4 + 5. Suppose g + 17 - 3 = -3*v, -5*g = -5*v + 10. Let i be (3/v)/(1/8). Sort i, 2, s.
i, s, 2
Let g be (-8)/(-6)*1/(-8). Let x = 5.0022 - 0.0022. Sort -4, x, g, -0.4 in ascending order.
-4, -0.4, g, x
Let v(s) = s**2 - 15*s + 42. Let h be v(4). Let t(a) = 2*a - 2. Let i be t(3). Suppose -3*p = -8*p - 25. Put h, i, p in descending order.
i, h, p
Let n = -0.11 + -4.89. Suppose 2*u - o - 2*o = 10, 0 = -4*u + 5*o + 22. Suppose -6*g + 6 = -u*g. Sort n, -1, g in ascending order.
n, g, -1
Suppose 2*m = -4*k + 2, 0*k - k = m - 3. Let b = k + 2. Put -5, 10, b in descending order.
10, b, -5
Let q(n) = -n + 3. Let f be q(3). Suppose -i - 17 + 11 = f. Put 3, 0, i in decreasing order.
3, 0, i
Let m(z) = 42*z + 715. Let w be m(-17). Sort -6, 1/5, w, -0.5 in increasing order.
-6, -0.5, 1/5, w
Suppose -4*x + 1 + 7 = 0. Suppose -8*r - x = -7*r. Let y be (r - -2)*1/(-3). Put -2, y, 5 in increasing order.
-2, y, 5
Let b = 119/3 + -38. Let d = -8.3 - -8. Put b, 3, d in descending order.
3, b, d
Let k = -177 + 177.3. Let q(g) = -g**2 - 2*g - 1. Let j be q(-1). Sort j, k, -0.1 in increasing order.
-0.1, j, k
Suppose -96 + 204 = 27*l. Suppose -3*f - f - 16 = -4*o, -2*o + 11 = f. Sort l, -1, o in increasing order.
-1, l, o
Suppose 0 = -2*m + 21 - 1. Let c = 1 + m. Sort c, 5, -5 in ascending order.
-5, 5, c
Let x = -12.5 + -2.5. Let i = -23 - x. Let j = 7.3 + i. Put -0.4, j, -1 in descending order.
-0.4, j, -1
Let c = -337/3 + 111. Let u be (0 - -1) + 0/4. Let h be 11/(-3) + u + 2. Put c, 3, h in descending order.
3, h, c
Suppose -25 = 5*m, m + 0*m = -5*n + 5. Suppose 0 = y + 4*g + 4, y + 1 = -g + 3. Suppose 0 = -y*r + 17 - 41. Put 1, n, r in increasing order.
r, 1, n
Suppose -133*j = -137*j + 20. Put -20, 3, j, -5 in ascending order.
-20, -5, 3, j
Let l = 302 + -302. Sort 3, 12, -1, l.
-1, l, 3, 12
Suppose 70 = -419*z + 405*z. Suppose g - 3*k = 14, -g = 4*g - k. Sort z, -2, g, 1 in ascending order.
z, -2, g, 1
Let v be 2/(-22) - (-16)/352*-86. Sort v, 0, -20 in ascending order.
-20, v, 0
Let w(y) = y + 12. Let o(r) = r**2 - 9*r + 9. Let z be o(7). Let k be w(z). Let l be (1 + k)*(-4 + 3). Sort -1, l, -4.
l, -4, -1
Let b = -415 + 2077/5. Sort 4/5, b, 1/6 in asce