, -0.5, 5 in decreasing order.
5, 2/11, v, -0.5
Suppose 0 = -t + z + 3, -t - 1 = -2*z - 3. Sort t, -2/7, -0.1141 in decreasing order.
t, -0.1141, -2/7
Let d = 12 + -15. Let s = 0.0283 - 5.0283. Sort 4/5, d, s in decreasing order.
4/5, d, s
Let l(k) = -3*k**3 + 2*k**2 + 7*k + 7. Let b be l(-1). Sort 4, b, -1, -4 in ascending order.
-4, -1, 4, b
Let f(r) = -r**3 - 4*r**2 + 5. Let t be f(-4). Let v(o) = -4*o - 33. Let d be v(-8). Let z = 27 - 25. Sort d, t, z.
d, z, t
Suppose 4*q - 2*w + 4 = 0, 59*q = 64*q + 5*w - 10. Sort 2, q, -124 in decreasing order.
2, q, -124
Let v(i) = -4*i + 85. Suppose l - 13 - 3 = -2*q, -l = 3*q - 13. Let w be v(l). Suppose -h - 3*h - t = 1, t = -3*h - 2. Put h, w, 2 in ascending order.
w, h, 2
Suppose 10*z - 7*z = 15. Suppose 0 = z*x + 12 + 8. Let i = -6 + 3. Sort i, x, 1 in ascending order.
x, i, 1
Let o be (-66)/(-16) - (11 - 7). Sort -2/351, o, 1 in increasing order.
-2/351, o, 1
Suppose 2*o - 2*l - 8 = 0, 31 - 7 = 4*o + 4*l. Suppose -j - 4*j - 35 = -o*k, -j - 5*k + 11 = 0. Put -7, j, -3 in decreasing order.
-3, j, -7
Let n be 11/84 - (-4)/14. Let m = -1/60 + n. Let y = -142 - -2132/15. Sort y, m, -1/2 in decreasing order.
m, y, -1/2
Let l(h) = -h**3 + 7*h**2 - h - 4. Let v be l(7). Let r = 3 + -8. Put r, v, 4 in descending order.
4, r, v
Let s(d) = -d**3 + 9*d**2 - 5. Let m be s(9). Suppose 8 = -4*v - 3*w, -3*v - 3*w = -4 + 13. Put -2, 4, m, v in increasing order.
m, -2, v, 4
Let z be 4/6*6/(-8)*4. Let q be (1 - 2) + 28/18. Sort 3, 2, q, z.
z, q, 2, 3
Let k be 1/4 - 2/(16/(-38)). Let d = -7 + 3. Sort k, -1, d in increasing order.
d, -1, k
Let t = -0.107 - -0.117. Sort 5, t, -0.3 in decreasing order.
5, t, -0.3
Suppose 0 = -5*v + 3*o + 3, 5 = -7*v + 5*v - 5*o. Let a = -0.1 + -5.9. Let u = a + 6.4. Sort v, 0.2, u in descending order.
u, 0.2, v
Let t = 2319/11 + -211. Let l = -0.24 - -0.74. Sort -1, t, l in ascending order.
-1, t, l
Let q(l) = l**3 - 5*l**2 - l + 2. Let g be q(5). Sort g, -4, 3, 9.
-4, g, 3, 9
Let u be (-164)/(-287) - ((-324)/21 - -3). Put 4, 0, u in descending order.
u, 4, 0
Suppose -2*i = -81 - 45. Let v be (12/i)/((-2)/(-3)). Let g = 1.453 + -1.053. Put -0.1, g, v in ascending order.
-0.1, v, g
Let a(j) = -4*j + j**2 + 10 - 2*j - 3. Let r be a(5). Suppose -17*t - 326 + 275 = 0. Sort t, r, 3.
t, r, 3
Let z(f) = -2*f - 34. Let v(b) = -2*b - 33. Let j(u) = 6*v(u) - 5*z(u). Let t be j(-12). Put -5, 1, t, -1 in decreasing order.
1, -1, t, -5
Let t = -1 - -1. Let s = 1100 - 2203/2. Sort s, t, 1/4, -5 in ascending order.
-5, s, t, 1/4
Let w be ((-1)/5*4)/((-12)/60). Sort w, -184, -4 in ascending order.
-184, -4, w
Let u = -9.9 + 23.9. Let z = 19 - u. Sort z, 3, -1 in descending order.
z, 3, -1
Let v = 229 - 226. Sort -3, -7, v in ascending order.
-7, -3, v
Suppose -1067 = 55*r - 1012. Let m be (-2 + -1)*(2 - 1). Put -6, m, r in decreasing order.
r, m, -6
Let f = 15.1 + -10.1. Sort 14, f, -4, -1 in decreasing order.
14, f, -1, -4
Suppose -4*t = -3*u + 13, -54 = -u - 3*u - 2*t. Put 2, 10, u in descending order.
u, 10, 2
Let c be (50/(-35))/((-2)/14). Let b be 8/(-20) + 4/c. Put -1, 5, b in increasing order.
-1, b, 5
Let b be (2 - -2) + (12 - 4 - 4). Let r(o) = o + 4. Let n be r(0). Let s be 11/3 + 4/(-6). Put b, n, s in descending order.
b, n, s
Let h(g) = -g**2 - 3*g + 2. Let f be h(-2). Suppose 2*d + f*v - 12 = 2*v, -15 = -2*d - 3*v. Suppose -3 = d*c - 18. Sort 4, -1, c in descending order.
c, 4, -1
Let j = -28.2 - -24.2. Sort -5, j, -1/8, 14 in increasing order.
-5, j, -1/8, 14
Suppose 2*t - 2*i = 0, -2*i - 2*i + 6 = -t. Let m be (t - -3)/(-4 + (-105)/(-25)). Sort 4, 2/9, m in decreasing order.
m, 4, 2/9
Let m = -0.651 - -17.651. Sort 5, 2/3, m, -3 in decreasing order.
m, 5, 2/3, -3
Let x(w) = -w**3 - 5*w**2 - 5*w - 5. Let s be x(-4). Sort 31, 2, s in decreasing order.
31, 2, s
Suppose -2*a = 380 - 386. Sort 0, 9, a.
0, a, 9
Let b = -36.4 - -34.4. Put -1, b, -0.2, -2/19 in ascending order.
b, -1, -0.2, -2/19
Suppose -9 = 8*k - 11*k. Let o(f) = -f**2 + 7*f - 9. Let q be o(6). Let w be q/(-18)*3*10. Put 2, k, w in ascending order.
2, k, w
Suppose -11501 + 11525 = -8*b. Sort -1, 3, b, -314 in decreasing order.
3, -1, b, -314
Let c(b) = b + 6. Let m be c(-7). Suppose -5*t - 4*u + u = 47, -4*u - 37 = 3*t. Put 2, m, t in ascending order.
t, m, 2
Suppose -4*r - 8 = -0*r. Suppose 0 = 2*w - 8, 4*i + i = -3*w + 27. Put r, 1, i in ascending order.
r, 1, i
Suppose -21*q = -22*q + 2*b + 13, -2*b - 33 = -5*q. Sort q, -3, -3/8 in descending order.
q, -3/8, -3
Suppose -u + 395 = 4*u. Suppose -u - 177 = -8*y. Let a = y + -36. Put -2, a, -5 in descending order.
-2, a, -5
Let z = -71 + 73. Sort -4, z, -5, 5 in increasing order.
-5, -4, z, 5
Let x = 0.012 - 0.082. Let g = 43 + -42.83. Let i = g + x. Put i, -0.3, -0.2 in descending order.
i, -0.2, -0.3
Let a = -560.3 + 552.3. Let l = 5.1 + -0.1. Let y = -7 + l. Sort 0, a, y in increasing order.
a, y, 0
Let b = -6 + 4. Let z be (-6)/10*(-8)/(-12)*b. Put z, 5, -3/2, -2 in decreasing order.
5, z, -3/2, -2
Let z = 6 - 2. Let a = 6.4 - 9. Let y = -0.6 - a. Put z, -4, y in descending order.
z, y, -4
Let s be (100/175)/((-2)/(-7)). Sort s, 4, -5, 10 in decreasing order.
10, 4, s, -5
Let n = -1109 - -1291. Put n, 4, -4 in descending order.
n, 4, -4
Suppose 4*o = -2 + 6. Let n be (-3)/(-3)*(-3 + 2/o). Sort -3, -7, n, 5.
-7, -3, n, 5
Let o = 3 + -1.7. Let d = 0.3 - o. Suppose 0 = 17*h - 7*h - 50. Sort h, d, -6 in descending order.
h, d, -6
Let k = -64 + 61. Put 4, -1, k in increasing order.
k, -1, 4
Let k = 370 + -388. Put k, 2, -1 in ascending order.
k, -1, 2
Let z = -8 + 7.72. Let v = 0.17 + z. Let r = 3.89 - v. Put 5, r, 1 in descending order.
5, r, 1
Let b(y) = -4*y**3 + 9*y**2 - 4*y + 10. Let g(w) = 5*w**3 - 8*w**2 + 5*w - 10. Let q(v) = 6*b(v) + 5*g(v). Let o be q(-14). Put o, 13, -3 in decreasing order.
13, -3, o
Let w = -320 - -335. Put -6, -1, w in descending order.
w, -1, -6
Let a(w) = w**3 + 8*w**2 - 3*w + 21. Let o be a(-9). Let c = o - -36. Sort 1, c, -5 in increasing order.
-5, 1, c
Let f = 1073 - 5167/5. Let p = f + -40. Sort -0.1, 5, p in ascending order.
p, -0.1, 5
Let b(g) = g**2 + 14*g - 32. Let l be b(-16). Put 2, l, 7, 4 in descending order.
7, 4, 2, l
Let i(h) = -h + 9. Let b be i(-3). Put 7, b, -1 in increasing order.
-1, 7, b
Let q = -2816 - -2815.94. Let f = 6.7 + -7. Put -0.2, -1/10, q, f in increasing order.
f, -0.2, -1/10, q
Let r = 235 - 237. Put r, 3, -1 in ascending order.
r, -1, 3
Let v = 2 + -2.1. Let q = -0.1 + 0.13. Let s = -0.17 - q. Sort 0, s, v in increasing order.
s, v, 0
Let u = -22 - -26. Suppose -36 = -3*t + v, 0 = u*t - 2*v - 5 - 45. Sort 1, t, 4 in decreasing order.
t, 4, 1
Suppose -5*z + 16 = 21. Let n = 1 - -5. Suppose 2*u + 2*y = -6, -2*y = -u + n*u. Put z, -2, u in decreasing order.
u, z, -2
Let q be ((-22)/(-6))/((-5)/15). Let z(t) = -17*t - 37. Let h be z(-2). Sort q, h, 1, -1.
q, h, -1, 1
Suppose -40*l + 3 - 3 = 0. Let f be 2/5 - (-17)/(-5). Let i be f/(2 - (-5)/(-4)). Put i, l, 5 in decreasing order.
5, l, i
Suppose 0 = -j + 205 - 207. Sort j, -1/10, -6 in decreasing order.
-1/10, j, -6
Let v = -13 - -13. Suppose -26*m + 30 = -16*m. Sort v, m, 8 in ascending order.
v, m, 8
Let y = 1189 + -1194. Put y, 35, 0.5 in descending order.
35, 0.5, y
Let i = 3 - 15. Let t = 9 + i. Let k be (t - 15/(-2))*-2. Put k, 4, 1 in ascending order.
k, 1, 4
Let p(u) = u**2 - 3*u - 30. Let w be p(-4). Put 13, 2, -3, w in descending order.
13, 2, w, -3
Let n be -3 + (1 - (-6 + 4)) + 3. Let m = 199/28 + -48/7. Put n, m, -0.2 in descending order.
n, m, -0.2
Let d = -902 - -897. Put 0.2, -6/11, 2, d in decreasing order.
2, 0.2, -6/11, d
Let d = 2870/3 + -961. Sort 7, -2/9, d, 3 in ascending order.
d, -2/9, 3, 7
Let u be (-7)/(-3)*570/(-18). Let f = -74 - u. Sort 0.4, f, 5, -4 in descending order.
5, 0.4, f, -4
Suppose b = 5*x + 28, 5*b + x - 6 = 4. Let y = 13.19 + -14.6. Let i = 1.81 + y. Sort i, 1/4, b in increasing order.
1/4, i, b
Let u be (-33)/6 - 1/(-2). Let f(t) = -t**3 + 8*t**2 + 3*t + 6. Let i be f(8). Suppose 0 = 3*y + 4*z + 11, 5*z + i = 5*y + 2*z. Put u, -4, y in ascending order.
u, -4, y
Let p(l) = -l**3 - 6*l**2 - 2*l - 11. Let b be p(-6). Let s be (-8)/(-44) + 180/(-22). Sort b, 5, s in descending order.
5, b, s
Suppose 5*s + 5*c = -5, -c 