.
a, s, -3, -5
Let x be 4/64*8*(2 + -2). Suppose -8 = -2*u + 2*k, -4*u + 4*k = u - 20. Suppose -3*a - u*q - 22 = 0, x*a = 4*a + q + 12. Put a, -4, -11 in descending order.
a, -4, -11
Let m = -0.2 + -0.3. Let c(z) = -z**2 + 12*z - 16. Let n be c(11). Let t be 68/119 - 559/819. Sort n, m, t in descending order.
t, m, n
Let v = 4282 - 4279. Sort v, -0.055, 0.2 in descending order.
v, 0.2, -0.055
Suppose 2*c + 3*c = 5. Let y = 1249 - 664. Let q = y + -590. Sort 0.07, q, c.
q, 0.07, c
Let j = -5917381 - -5917380. Let q = -14.9 - 0.1. Let d = q + 9. Put j, -4, d in decreasing order.
j, -4, d
Let r be (3 - 4)/(-7)*4. Let h = -8377 + 8379. Put h, r, -10, 3 in decreasing order.
3, h, r, -10
Let s = -2 + 7. Let z(y) = 237*y + 1188. Let x be z(-5). Put 9, x, s in descending order.
9, s, x
Suppose 3*m - 2*y - 9 = 0, 55 - 18 = 5*m + 4*y. Let i = m - 9/2. Let l be (44/(-12) - -2)*-3. Sort i, -0.1, l in ascending order.
-0.1, i, l
Let u = -2450.0248 - -2455. Let i = u - -0.0248. Sort 0.037, i, 2/11 in ascending order.
0.037, 2/11, i
Let k(s) = -s**3 + 11*s**2 - 30*s + 18. Let t be k(3). Sort -0.253, 2/9, t, 2.
-0.253, t, 2/9, 2
Suppose -4*n + 1 + 91 = 0. Suppose -2*i + 5*m + 5 - n = 0, -i + 13 = 3*m. Sort -2, 7, i in decreasing order.
7, i, -2
Let h = 451 - 578. Let c = h + 134. Let x be 36/6*1/2. Put -3, c, x in increasing order.
-3, x, c
Let l = 12.87 - 2.87. Let f = 10.4 - l. Sort -1/6, f, -0.03, 2/3.
-1/6, -0.03, f, 2/3
Let n be 60 + -64 + (24/30)/(4/10). Put 0.2, -21, n, -4, -3 in descending order.
0.2, n, -3, -4, -21
Let p = -31890 - -31894. Let f be 14/18 + (1 - 2). Put -0.2, f, 2/31, p in ascending order.
f, -0.2, 2/31, p
Let t be (-19)/(-39) - (-2)/(-6). Let j be 9/90*(-20)/(-16) + (-5)/(-24). Sort j, t, 1, -0.2 in descending order.
1, j, t, -0.2
Let z = 32575 - 32579. Sort -11, z, -0.3, 0.114 in increasing order.
-11, z, -0.3, 0.114
Let k be 2/(-10) + (-31)/(-5) + -6. Let p be (51/(-9))/(5/45) + -1. Let d = -53 - p. Put k, d, -4 in ascending order.
-4, d, k
Let a = 649 - 649. Sort a, -20, 8 in decreasing order.
8, a, -20
Let l be (392/686)/(-1 + (-18)/(-14)). Let o(b) = 15*b**3 + b**2 + 2*b + 1. Let t be o(-1). Let p be -2*(t/(-6) + -2). Sort 0, p, l, 3 in decreasing order.
3, l, 0, p
Let b be 128 + -5 + (-7 + 4)*1. Put -4, b, -3 in descending order.
b, -3, -4
Let o = -117 + 121. Let y be (3 - 175/55) + (-378)/(-22). Put y, o, -2, 1 in decreasing order.
y, o, 1, -2
Suppose 53*t = 45*t - 40. Let h(x) = x + 12. Let i be h(-12). Sort 4, -4, i, t in descending order.
4, i, -4, t
Let l = 23.393 - 22.393. Sort -1/2, 0.04, 3, 102, l in increasing order.
-1/2, 0.04, l, 3, 102
Let k(t) = t**2 + 5*t - 70. Let o be k(6). Sort -42, 0, o, -1, 6.
-42, o, -1, 0, 6
Let k = 26351.8 - 26352. Sort 26, k, 1.57.
k, 1.57, 26
Suppose -301 = -o - c - 275, c + 319 = 14*o. Suppose -10 = -4*s + 2. Sort s, 1, o, -0.4 in decreasing order.
o, s, 1, -0.4
Let m be (15/(-9))/((-230)/(-69) + -5). Suppose 0*h = -2*h + 8. Let z be 4/(-2)*(-6)/h. Sort 8, 5, m, z in increasing order.
m, z, 5, 8
Let x be 3 + (-32)/(-3 - -11). Put 0.15, -0.32, x in descending order.
0.15, -0.32, x
Let i(o) = -2*o - 15. Suppose -2*q = -b + 3*q - 21, -4*b - 18 = 2*q. Let u be i(b). Let l(r) = r**2 - r. Let p be l(3). Put p, 0, u in increasing order.
u, 0, p
Let l = 0.5477 - -0.4523. Let z = 3.2 + -0.2. Sort -8, z, l.
-8, l, z
Let f = 374.5 - 372.5. Sort 0.2, 0.3, -0.05, f, -4.8 in increasing order.
-4.8, -0.05, 0.2, 0.3, f
Let s be (-5*((-5)/5 - -3))/(-3 + 5). Put 4, 2, s, -3939 in descending order.
4, 2, s, -3939
Suppose -68 = -q + 3*y - 85, 10 = 2*y. Put -5, q, 6 in descending order.
6, q, -5
Suppose 12*h - 1540 = -149*h + 21*h. Sort -4, -2/41, 4, h, 1/3.
-4, -2/41, 1/3, 4, h
Let h(s) = -s - 3. Let r be h(-4). Let c = -1996.8 - -1997. Put c, r, -1/3, -1.5 in ascending order.
-1.5, -1/3, c, r
Suppose 15*f - 63*f = 240. Sort 1, 0, 5, f, 302 in decreasing order.
302, 5, 1, 0, f
Let m(z) = 33*z**2 - 1288*z + 35. Let a be m(39). Sort -2, 115, a.
a, -2, 115
Suppose 0*o = -u - 2*o - 1, -3*u + 5*o = -30. Suppose u*r - 15 = 4*q, -2*q = -3*r + q + 6. Suppose 10 = 2*m - r*m. Put 1, -3, m in descending order.
1, m, -3
Let a = -5 - -10. Suppose 630 = 5*n + 5*y, 7*y - 10*y - 670 = -5*n. Let v = -134 + n. Sort a, v, 7, 3.
v, 3, a, 7
Suppose -43*o + 84 = 64 - 109. Put -3, -2, o, 5 in ascending order.
-3, -2, o, 5
Let y = 670 + -665. Suppose 0*c = -c. Let j = -0.079 + 0.479. Put j, c, -0.1, y in decreasing order.
y, j, c, -0.1
Suppose -12*k - 495 = -21*k. Suppose 16*x + k - 119 = 0. Put 5, -6, x in descending order.
5, x, -6
Suppose -2*d - 5*i = -d - 3, 3*d - 9 = 3*i. Let w(g) = -d*g**2 + 2 + 4*g**2 + 11*g + 9*g - 17*g. Let f be w(-2). Put f, -5, 2 in descending order.
2, f, -5
Let t(z) = z - 12. Let p be t(7). Let a = -0.04563 - 0.95437. Sort p, -0.3, a in ascending order.
p, a, -0.3
Let i(z) = -z**2 - 5*z + 8. Let h be i(-6). Let v be -7 + 160/((-1440)/(-45)). Sort v, h, 4, -1 in ascending order.
v, -1, h, 4
Let v = -16607 - -16610. Put 2, 29, 15, -5, v in ascending order.
-5, 2, v, 15, 29
Let y be ((-14)/5)/((-29)/145). Suppose y*i - 3*i - 44 = 0. Sort 8, i, -5 in ascending order.
-5, i, 8
Let l = 0.16643 - 0.36643. Sort 3, -2/9, -4/19, l.
-2/9, -4/19, l, 3
Let a(h) = 12*h + 8. Let j be a(-4). Let y = -11 - j. Suppose -4*b + y = 29. Put b, -1, 5 in increasing order.
-1, b, 5
Let k(z) = -10*z**2 + 20*z - 46 - 9*z**2 + 20*z**2. Let y be k(-22). Put -9, -5, y in increasing order.
-9, -5, y
Suppose 5*d = -r - 42, 189*r - 193*r = 2*d + 42. Sort 4, 1, -128, r in ascending order.
-128, r, 1, 4
Suppose -99*c + 6 = -102*c. Let i be (-1)/c*(-6 - (-12)/2). Sort 4, -4, 2, i.
-4, i, 2, 4
Suppose 0 = -32*b - 18*b + 6050. Let u = b - 123. Put 4, 1, u, 73 in decreasing order.
73, 4, 1, u
Suppose 5*b + 2058 - 2113 = 0. Sort -11, 3, b in descending order.
b, 3, -11
Let h = -0.3 + 0.3. Let t = 5.939 + -6.139. Sort h, -2, -0.07, t in increasing order.
-2, t, -0.07, h
Let q be (11 - (-108)/(-9))/(1 - 0). Let z be -1*(6/10 + (-24)/15). Put z, 4, -5, q in descending order.
4, z, q, -5
Suppose 9 = 2*z + 3*f, -z - 4*z - 3*f = 0. Suppose 243*g - 3*t = 240*g - 27, 2*t = -4*g + 36. Put 11, 4, z, g in decreasing order.
11, 4, g, z
Let k = 752 - 745.87. Let x = k - 4.24. Let t = x - -0.11. Sort 3, -4, t in ascending order.
-4, t, 3
Suppose -49 + 13 = 41*t - 50*t. Let f be (3/(-2))/((-5)/(-10)). Sort f, 0.3, t, 0.2 in descending order.
t, 0.3, 0.2, f
Suppose 0 = h + 2*l - 2, 228*h - 3*l - 12 = 227*h. Put h, -41, -5, 0 in descending order.
h, 0, -5, -41
Let i(b) be the second derivative of -b**4/12 + 8*b**3/3 + 19*b**2/2 - 281*b. Let d be i(17). Sort 28, d, -3.
-3, d, 28
Let y(m) = m - 8. Let w be y(7). Let t be (-5 + 10)/(-5 - -6). Let c(g) = -g**3 + 5*g**2 + g - 9. Let a be c(t). Put 5, -5, w, a in descending order.
5, w, a, -5
Suppose q = 2*a, -26 = -2*a + 4*q - 26. Sort -4, a, 2, 3, -7.
-7, -4, a, 2, 3
Suppose -133*f + 598 = 193 - 127. Put f, -2, -4, 5, -15 in descending order.
5, f, -2, -4, -15
Let g = -280 - -76. Let x = 201 + g. Sort -6/41, x, 1/4.
x, -6/41, 1/4
Let q = -826.9 + 866.9. Let m = -28 + 25. Sort 5, m, -0.1, q in decreasing order.
q, 5, -0.1, m
Let g = 273 - 272.58. Let p = 4.42 - g. Put 0, 1, p, -2/9 in decreasing order.
p, 1, 0, -2/9
Suppose 4*j = 3*s + 15, -5 = -j + 2*s + 5. Suppose j = -0*f + 8*f. Suppose d + c = -c + 1, 4*d + 4*c = 8. Sort -3, 2, d, f in decreasing order.
d, 2, f, -3
Let q = -16257 - -16257.1. Let w = 0.03 + 3.97. Put q, w, -3/5 in decreasing order.
w, q, -3/5
Suppose -3*c - 6*c = 27. Suppose 0 = -12*i - 76 + 16. Sort -4, i, c, 1 in decreasing order.
1, c, -4, i
Suppose 0 = -13*h + 72 - 20. Let c = -0.056 - -0.416. Let p = c - 0.26. Sort p, 2/5, h.
p, 2/5, h
Let d = -4253 + 4269. Sort d, -24, 3 in decreasing order.
d, 3, -24
Let w be ((-6)/(-4))/(1/6). Suppose -23*o - 872 = -780. Sort -6, w, o in increasing order.
-6, o, w
Let q = -2482 + 2481. Put -23, q, 0, -9, 5 in descending order.
5, 0, q, -9, -23
Let z = 5.73 - 5.71. Let f be (-22)/21 - (-4)/(-14). Let j = -1.4 - -1.1. Put z, f, j in increasing order.
f, j, z
Let l(r) = r**2 - 22*r - 30. Let s be l(23). Let h be 1 + s/(14/(-4)). Suppose 3*o - 24 = -h*x, 3*o + 5*x - 16 = 4*o. Put -2, o, 3, -5 in descending order.
o, 3, -2, -5
Let y(m) = -23*m - 1648