. Sort s, -1/9, 0.5 in decreasing order.
0.5, -1/9, s
Let s = 239 + -238.03. Sort -1, s, 1/5 in decreasing order.
s, 1/5, -1
Let c(i) = i**2 - 15*i + 22. Let g be c(13). Sort g, -38, 1 in descending order.
1, g, -38
Let y = 2193.987 + -2168. Let x = y + 0.013. Sort 2, 4, -5, x in decreasing order.
x, 4, 2, -5
Let x = 649 + -1301/2. Sort -1.2, x, -0.2, 0 in ascending order.
x, -1.2, -0.2, 0
Let n be -215*(-4 - (-66)/15). Let v = n - -90. Sort 3, -3, -5, v.
-5, -3, 3, v
Let a = 1.743 - -0.367. Let z = a - -0.89. Sort -0.5, z, 1/2, -0.3.
-0.5, -0.3, 1/2, z
Suppose -167*j = -161*j + 240. Put -1, j, 1 in decreasing order.
1, -1, j
Let k = -5 + 10. Let o = 0.085 + 0.215. Sort -5, -0.1, k, o in ascending order.
-5, -0.1, o, k
Let i(b) = 4*b**2 + 55*b + 59. Let x be i(-13). Sort 2, 1, x, 3 in descending order.
x, 3, 2, 1
Let c(j) = 19*j + 78. Let r be c(-4). Sort -5, -4, -0.011, r.
-5, -4, -0.011, r
Let j = -137 - -683/5. Let c = -360 + 363. Sort j, -0.2, c, 0.05 in decreasing order.
c, 0.05, -0.2, j
Suppose -a + 5 - 4 = 0. Let c(g) = 2*g**3 - 4*g**2 - 26*g + 57. Let u be c(3). Sort u, -4, a in ascending order.
-4, u, a
Suppose -2*a - 20 = -b + 3*a, 2 = -a. Suppose -2*y + b = 3*y. Suppose 10 = 5*q, 2*t + 2*t + 2 = 3*q. Sort y, -4, t.
-4, t, y
Let j = -4555/29 + 157. Let u = -68 - -63. Put 0.5, j, u in decreasing order.
0.5, j, u
Let j = 2 + -2. Suppose -a = -2*a - 5*p + 9, 4*p = -4*a + 36. Suppose -3*l - a = -6*l. Sort j, -1, l in increasing order.
-1, j, l
Let q be (1*(181 + 0))/(11 - 10). Put q, 2, -2 in decreasing order.
q, 2, -2
Let d be 4/(-14) - 30/(-7). Suppose -8*x + d*x = 0. Suppose x = -3*c + 6*c - 12. Sort c, 6, 2 in descending order.
6, c, 2
Let z(w) = 2*w - 16. Let k be z(8). Suppose 52 = -4*y - 8. Sort k, -4/5, y.
y, -4/5, k
Let f = 1163.8 - 1163. Put -2/13, 9, f, -3/4 in increasing order.
-3/4, -2/13, f, 9
Let f = -95271/2158 + 574/13. Put f, -4, -1, -2 in descending order.
f, -1, -2, -4
Suppose 0 = -20*l + 86 - 46. Put l, 885, -3 in descending order.
885, l, -3
Suppose 0 = -44*q + 36*q + 16. Let n = -3 + 7. Sort -0.4, n, q, 2/11 in increasing order.
-0.4, 2/11, q, n
Let g = -92 + 95. Suppose -3*m - g = -4*o, -3*o + 8*o = -m - 20. Suppose q + 7 = -3*d, -2 = 2*q + d - 3. Sort o, 3, q.
o, q, 3
Let f be 2552/32 - (-1)/4. Let y be 2/7 - f/(-112). Let q = -3.7 + 0.7. Put y, -4, q in decreasing order.
y, q, -4
Let k(t) = -t**2 - 5*t + 8. Let j(n) = 2*n. Let x be j(-3). Let c be k(x). Suppose 3 = -3*v, -w + c*v + 1 = -v. Sort 2, -6, w in increasing order.
-6, w, 2
Let l = -35 - -38. Suppose -l*h = 15 - 0. Sort h, 3, 5, -2 in ascending order.
h, -2, 3, 5
Let c(s) = -2*s**3 + 23*s**2 + 12*s + 3. Let x be c(12). Sort x, 11, 5 in ascending order.
x, 5, 11
Let n = 51.897 + 0.103. Let u = n + -56. Sort 2, u, -5, 3 in increasing order.
-5, u, 2, 3
Suppose t - 3*w = 3, -4*t + w = -3*t - 3. Let x = 4 + t. Let p(u) = u**3 - 7*u**2 - 2*u + 9. Let q be p(x). Put q, 0, -4 in decreasing order.
0, -4, q
Let m = -6049/76 + 1498/19. Let d(w) = -w**2 - 2*w + 4. Let s be d(-3). Let x be 3/108 - s/4. Sort m, 4, x in decreasing order.
4, x, m
Suppose -43*m - 51 = -8. Sort m, -23, 2 in ascending order.
-23, m, 2
Suppose 28 = -475*p + 468*p. Put -23, p, -3/7 in descending order.
-3/7, p, -23
Let m(g) = -2*g**2 + 38*g - 98. Let k be m(16). Sort k, 1.1, 0.3, 0.5 in descending order.
1.1, 0.5, 0.3, k
Let j(c) = -4*c**2 - 5*c - 1. Let g be j(0). Let r be -1 + 3 + 0 + -2. Sort -4, 5, g, r in increasing order.
-4, g, r, 5
Let c be (5 - 6)/((-2)/(-14)). Put 0, c, -3, -6 in descending order.
0, -3, -6, c
Let s(z) = 2*z**3 - 2*z**2 - z + 1. Let q be s(2). Suppose 18 = -x + q*x. Suppose 0 = 3*u - 4*u - l - 5, 5*u = x*l + 15. Put u, -7, -4 in ascending order.
-7, -4, u
Let w be ((-123)/369)/(0 + 1/12). Put 2, -2, w, 0 in descending order.
2, 0, -2, w
Let g be (1/2)/(-19 - (-2835)/150). Put 0, g, -294, -3 in decreasing order.
0, -3, g, -294
Let l = 1 - -1. Let b = -15 - -14. Let x = b + 1.3. Sort l, x, 4 in descending order.
4, l, x
Let s be (1/(-5))/((-24)/20). Let g = 306 + -309. Sort -1, s, g in descending order.
s, -1, g
Let l = -12/13 - -45/91. Suppose v - 2 = y, -3*y - 3 - 11 = -5*v. Put l, y, -1/6 in ascending order.
l, -1/6, y
Let g = -65 + 65. Sort g, 0.1, -2/15 in increasing order.
-2/15, g, 0.1
Let b = -1018 + 1005. Sort 6, b, -1 in increasing order.
b, -1, 6
Let m(u) = u**3 - 4*u**2 + 4. Let o be m(4). Suppose 5*x - 2*v = -20, -4*x - 3*v - 1 = -8. Let c(p) = -4*p - 3. Let h be c(x). Sort 2, o, h.
2, o, h
Let q be (33 - 31)*(-10)/(-4). Let k be 1/((-2)/(2 + 24)). Sort 0, k, q in decreasing order.
q, 0, k
Suppose m + 226 = -5*r - 2*m, 129 = -3*r - 4*m. Let p = -83 - r. Let y = p + 110/3. Sort y, -0.1, -1/3 in descending order.
y, -0.1, -1/3
Let c = 8 + -6. Let i = 400.6 + -401. Let f = 104/105 + -4/21. Sort f, c, i.
i, f, c
Let l = 1240 - 1245. Sort -3, l, -4 in ascending order.
l, -4, -3
Let o = -38 - -36. Let f be (o/1 + 5)*-1. Sort -5, f, -0.4 in descending order.
-0.4, f, -5
Suppose 492*u - 502*u = 480. Put u, -3, 2 in ascending order.
u, -3, 2
Suppose -5*w - 33 + 13 = 0. Suppose 2*p = -2*g + 14, -5*g + 3*g + 4*p + 8 = 0. Put g, 1, w, -1 in ascending order.
w, -1, 1, g
Suppose -9*g - 35 = -14*g. Suppose -4*l + g*l = -5*p + 62, 5*l - 30 = -p. Sort 0, p, 5.
0, 5, p
Suppose 0 = -2*t + s + 181 - 184, -2*s + 11 = t. Sort t, -15, 2, 5 in ascending order.
-15, t, 2, 5
Let j be (-2)/(-5) - 12/5. Let z(v) = -v**2 + 10*v - 20. Let y be z(6). Suppose -5*p + y*p - 10 = 0. Put -3, j, p in decreasing order.
j, -3, p
Suppose -5*p + 8 = -4*p. Let c = 303 + -302.5. Sort p, -2/11, 3, c in increasing order.
-2/11, c, 3, p
Let k(v) = -2*v - 28. Let y be k(-15). Put -4, -2, y in increasing order.
-4, -2, y
Let y = -2.46 + 10.1. Let i = 2.38 + y. Let l = -10 + i. Put l, 3, -2/11 in ascending order.
-2/11, l, 3
Let x = 628 + -632. Put -0.5, -5, 5, x in decreasing order.
5, -0.5, x, -5
Let n = -398 + 398. Put 0.1, n, 11 in decreasing order.
11, 0.1, n
Let i(d) = -d + 57. Let n be i(17). Let y = n - 42. Put y, -1, 4 in descending order.
4, -1, y
Suppose -h = 3*y + 2*y - 22, -4*h = -2*y. Suppose 9 = -t + k, -y*t = -5*k - 6 + 47. Suppose -1 + 3 = -2*w. Put -2, w, t in decreasing order.
w, -2, t
Let h(v) = -5*v**2 - 7*v - 6. Let q be h(-2). Put q, 4, 3 in decreasing order.
4, 3, q
Let l = 4 + -1. Let k = -12 - -32/3. Put k, l, -3, -2/23 in ascending order.
-3, k, -2/23, l
Let t = -0.5076 + 0.0076. Sort t, -0.4, 1 in ascending order.
t, -0.4, 1
Suppose 4 = -3*k - 2*d - 4, 2*k = -5*d - 20. Suppose 0 = 189*t - 195*t + 12. Put -3, k, t, 5 in decreasing order.
5, t, k, -3
Let s be 73/5 + (-4)/(-10). Let h(i) = -i**3 + i**2 + 2*i + 11. Let l be h(0). Let o = l - s. Sort 4, o, 0 in decreasing order.
4, 0, o
Let i = -44 + 80. Suppose 5*u = -u + i. Let b(z) = z**2 - 8*z + 13. Let s be b(u). Put -4, 4, s in descending order.
4, s, -4
Suppose -2*v - 4*p + 7 = 1, 6 = 4*v + 2*p. Sort -2, v, -5 in descending order.
v, -2, -5
Let i = -15 - -15.1. Let m = i - 0.18. Let r = m - 0.42. Sort r, 4, 5.
r, 4, 5
Let v = -0.2 + 13.2. Let t = v - 15.5. Let h = t + 2.5. Put h, 4/3, -4 in decreasing order.
4/3, h, -4
Let w(i) = i**2 - 10*i - 11. Let y(n) = n + 1. Let f(g) = w(g) + 5*y(g). Let b be f(6). Suppose b = 2*z - 0*z - 6. Sort -5, -2, z in ascending order.
-5, -2, z
Suppose 3*u + 2*u = -d - 7, -65 = 5*d - 5*u. Sort 0, -2, d in descending order.
0, -2, d
Suppose -q = 4*p - 0*p + 11, 3*p + 27 = 3*q. Sort q, 13, 2, -1 in descending order.
13, q, 2, -1
Let v be (-23)/(-2)*(0 - (-4 + -2)). Suppose 12 = -x + v. Sort x, -2, 1 in ascending order.
-2, 1, x
Let p = -25.8 - -26.2. Suppose -3*r + 8*r - 20 = 0. Sort -0.07, 3/2, p, r in decreasing order.
r, 3/2, p, -0.07
Let i be 4/18 + (-20)/9. Let s be (-23 - -1)*(-2)/4. Put 1, i, s, 0 in descending order.
s, 1, 0, i
Let o(i) = i. Let h be o(-4). Let a be (-17)/h + (-4)/16. Suppose -a*d = -8, d = -5*v + 3*v + 12. Sort -3, 6, v.
-3, v, 6
Let b be -6 - -17 - (1 - -5). Put b, 138, 3 in descending order.
138, b, 3
Suppose -11*l = 7*l + 90. Suppose -4*u + 4*m + 28 = 0, -m - 9 = -u + m. Suppose -4 = 4*x - u*x. Put x, l, 1 in ascending order.
l, 1, x
Suppose -5*s - 13*h + 9*h = 640, -5*s - 670 = -2*h. Sort -2, 1, -1, s in descending order.
1, -1, -2, s
Let x = 47/4 - 12. Let