order.
a, 0, j, -0.5
Let n = -5122.4 - -5126. Sort -1, n, 6 in decreasing order.
6, n, -1
Suppose -138*w + 8 = -146*w. Let g(f) = -f**2 + 1. Let t be g(w). Put -0.4, 2/5, t in increasing order.
-0.4, t, 2/5
Let a = 8.08 + 0.5. Let s = 3.58 - a. Sort s, 7/3, -0.5, -3 in ascending order.
s, -3, -0.5, 7/3
Suppose 211*a = 236*a - 35 + 10. Suppose 0 = -8*s + 5*s - 174. Put s, -5, a in increasing order.
s, -5, a
Let c = 7.5 - -52.5. Let k = c + -122. Let n = k + 62.01. Sort n, 5, -4.
-4, n, 5
Let p = -0.03 + -0.57. Let l = -483 - -330. Let t = l + 156. Put 2, t, p in decreasing order.
t, 2, p
Let l = 101.83 - 0.83. Let t = l + -103. Sort t, -4, -1 in decreasing order.
-1, t, -4
Let j = 49 + -49.1. Suppose -h - 15 = 3*a, -a + h + 6 - 11 = 0. Put a, -0.4, 0, j in increasing order.
a, -0.4, j, 0
Let a be (-537)/435 - 1/5*-1. Let q = a + 151/174. Let g = 0 + -0.1. Put q, g, 23 in decreasing order.
23, g, q
Let x = 0.2 - 0.3. Let s = -9423 + 9408. Put 3, s, x in descending order.
3, x, s
Let l = 8/61 + 18/793. Let n be (1140/5016)/(1/4 - -1). Sort n, 0.4, l in ascending order.
l, n, 0.4
Let u = -2282 - -2281.6. Let k = 0 - -5. Suppose -19 = k*g + 6. Put u, 1, 2, g in decreasing order.
2, 1, u, g
Let r = -0.105 - 0.045. Let z = r + -0.66. Let w = z + 1.01. Sort -0.2, -3, w, 0.3 in decreasing order.
0.3, w, -0.2, -3
Suppose -5*y - 329*d + 331*d = 4, y - 20 = 3*d. Let m = 5 - -12. Sort m, 1, y, 5 in ascending order.
y, 1, 5, m
Suppose -4*x + 11 + 5 = 0. Suppose -57*p = -55*p - 40. Suppose -27*k + 7 = -p*k. Sort x, k, -1 in decreasing order.
x, k, -1
Suppose -140*r + 528 = -96*r. Put 2, 1, 2/19, -5, r in increasing order.
-5, 2/19, 1, 2, r
Let j(r) = r**2 + 7*r + 4. Let x be j(-6). Suppose -4*a - q + 5*q + 680 = 0, -4*a + 5*q + 680 = 0. Suppose -172*v = -a*v + 2. Put -4, x, v in increasing order.
-4, x, v
Let a = -35 + -10. Let q = a - -48. Suppose -s - q*n - 12 = 0, -4*s + 3*n = -n. Put 1, -2, 4, s in descending order.
4, 1, -2, s
Let i = 516 - 444. Let n be ((-1)/(-5))/(i/120). Let l be -2 - ((-11)/10 + -1). Sort n, l, 2/3 in descending order.
2/3, n, l
Let f be (-8)/(-4)*(-2)/4. Let q = 8910 + -8896. Put -4, q, 3, f in ascending order.
-4, f, 3, q
Let b = -1.691 - 0.309. Let v be ((-3)/9*3)/3. Put b, 0, v in descending order.
0, v, b
Let g(z) = -z**3 + 2*z + 1. Let m be g(-1). Suppose m = 6*r - 2*r - 20. Let x = -183/41 + 997/205. Sort 1/9, r, x in descending order.
r, x, 1/9
Let t be -3 - ((-1764)/35)/12 - 1. Sort 0.3, -0.8, 15, t in descending order.
15, 0.3, t, -0.8
Suppose 0 = -5*w + 5*g + 5, -3*w - 114*g = -118*g - 8. Put 616, 0, 4, w in ascending order.
w, 0, 4, 616
Let y be (1 + -9)/(0 - -1). Let x = y - -3. Let m = 3299 - 3295. Sort 1, -1, m, x.
x, -1, 1, m
Let v be -30*(-4)/40*1/(-3). Sort 1, 5, v, -3/5 in descending order.
5, 1, -3/5, v
Let r(j) = -4*j**2 + 15*j + j + 5*j**2 + 43. Let m be r(-13). Suppose 4*u = -1 - 3. Sort u, m, -3, 2.
-3, u, 2, m
Let k(j) = j - 1. Let d be 3/5 - (-2)/5. Let f be k(d). Let n = -690321 - -690332. Put n, -5, -3, f in increasing order.
-5, -3, f, n
Let q = -27 + -328. Sort 0, 5, 3, q in decreasing order.
5, 3, 0, q
Suppose 8*v + 4*j = 4*v - 40, 45 = -2*v + 3*j. Let o be (-1*1)/((-33)/v + -2). Let k be (-45)/(-20) + (2/(-8))/1. Put k, o, 0, 4 in descending order.
4, k, 0, o
Let o(d) = 2*d + 1. Let s be o(-3). Let a = 0.42 - 2.42. Let c be 15/(-10)*(-6)/(-15). Sort c, s, a in descending order.
c, a, s
Let q = 210.257 - 211. Let w = -1.743 - q. Put -2/9, w, 3/8, -2/5 in increasing order.
w, -2/5, -2/9, 3/8
Suppose -10307*z = -9611*z - 13224. Let i be 1/2 - (-15)/2. Put 1, z, i, 0 in ascending order.
0, 1, i, z
Let x be (-6)/9*1/(-5). Suppose -4*g + 7 = -9. Let o = 818 + -4094/5. Sort -0.2, g, o, x in decreasing order.
g, x, -0.2, o
Suppose -80 = -4*f - 0*f. Let n be (-6)/4 + ((-50)/f - -2). Let m = 29 + -60. Sort m, n, -3 in decreasing order.
n, -3, m
Let z = -2268 + 2264. Let s = -4.8 + 1.8. Put s, -0.2, 1/4, z in descending order.
1/4, -0.2, s, z
Suppose -4*c - 33 = 3*j, -24 = 8*j - 10*j + 5*c. Put 20, j, 3, -5, -4 in decreasing order.
20, 3, j, -4, -5
Let d = -39731 + 39588. Put 12, d, -1 in decreasing order.
12, -1, d
Let f = 15.426 + 0.274. Let a = 6.3 + f. Sort a, -2, 1/8 in descending order.
a, 1/8, -2
Let n = -312 - -296. Let w(y) be the second derivative of y**4/12 + 8*y**3/3 + 2*y**2 - y. Let i be w(n). Sort 5, i, -1, -5 in decreasing order.
5, i, -1, -5
Suppose 50*u - 53*u = -3*r - 3, -2*u - 14 = 2*r. Let w(s) = 4*s**2 - 13*s + 2. Let v be w(3). Let p(c) = 2*c + 6. Let q be p(-3). Sort q, -4, u, v.
-4, u, v, q
Let t = -1.0435 + -2.9565. Sort 2, -392, -2/7, -1, t in descending order.
2, -2/7, -1, t, -392
Let a be (20/15)/(2/(-12)). Let t = 8900 + -8905. Put t, a, 2 in descending order.
2, t, a
Let v = 13521/8 + -1690. Put -0.4, -0.1, 2/19, v in descending order.
v, 2/19, -0.1, -0.4
Let h be 33/(-66) - (-58)/100. Let r = -5.019 + 0.019. Sort r, h, -0.5, 3 in ascending order.
r, -0.5, h, 3
Let b be (-16)/24 + (-3093)/(-9). Let p = -683/2 + b. Sort p, 0.2, -5, -0.5 in decreasing order.
p, 0.2, -0.5, -5
Let u = 4.8122 + 0.1878. Sort 118, -0.5, u.
-0.5, u, 118
Let b = 41.274 - 15.274. Suppose 0*c + 2*c = -8. Put c, b, 5, -0.3 in descending order.
b, 5, -0.3, c
Let z be (5/20)/((-1)/2). Suppose -714*c = -730*c - 48. Put c, -1/5, z, 3/8 in descending order.
3/8, -1/5, z, c
Let q = -4137 - -28974/7. Put -2, -5, -1, 5, q in ascending order.
-5, -2, -1, q, 5
Suppose -21 = -5*t - 11. Suppose 0 = 4*h + 5 - 13. Let m be ((-1)/(5/25))/(h/8). Sort 4, t, m in increasing order.
m, t, 4
Let m = 2086/6213 + -5/2071. Put 7, m, -0.2, 1/4, -5 in increasing order.
-5, -0.2, 1/4, m, 7
Let u(w) = w**2 - 3*w - 43. Suppose -137*b + 15 = -140*b. Let c be u(b). Put c, -6, -2 in decreasing order.
-2, c, -6
Suppose 8*v - 4*v - 10 = 5*p, 3*v = 4*p + 7. Suppose -j = -2*j - p*u - 5, -2*j = 3*u + 7. Let r be 2 - 1 - (-5 - 1). Sort j, -3, r, -2 in descending order.
r, j, -2, -3
Let p be (-34)/(-8) + 3/(-12). Put -2, -1, 0, -5, p in descending order.
p, 0, -1, -2, -5
Let c(z) = -z**3 + 21*z**2 - 21*z + 30. Let i be c(20). Sort -3, i, -4, 2 in decreasing order.
i, 2, -3, -4
Suppose -58 = 3*g + u, 48*g - 45*g = -4*u - 61. Sort 0, 5, g, -5, -2 in decreasing order.
5, 0, -2, -5, g
Suppose 0 = -4*v + 10*v - 108. Suppose -5*i - 4*i + 45 = 0. Put v, i, 3, -2 in descending order.
v, i, 3, -2
Suppose 11 = -3*w + q, 4*w = 5*q - 3*q - 18. Let x = 317 + -341. Let u be (x/15)/((-1)/(-5)). Put u, w, -4 in descending order.
w, -4, u
Let a = 21386 + -21381. Sort -0.4, -1836, a in ascending order.
-1836, -0.4, a
Let n = 222846 + -222832. Suppose -3*m + 5 + 10 = 0. Put m, n, 3 in decreasing order.
n, m, 3
Let o = 8 + -5. Let f be 1*4 - -3*82/(-6). Let w be -34 - f - 2/(-2). Sort -5, o, w.
-5, o, w
Let c(i) = -i**3 + 4*i**2 + 20*i + 31. Let k be c(-5). Let d be 11/(-3) + -9 + k/18. Let u be 4 - (-2 - -4 - 2). Sort 5, 0, u, d in descending order.
5, u, 0, d
Let r = -26505 - -26509. Let y be 52/8*(-3)/(-5). Let g = 27/5 - y. Sort g, 14, r in decreasing order.
14, r, g
Let p = -3366 + 3364. Sort 0, 6, 5, p, -8 in ascending order.
-8, p, 0, 5, 6
Let z = -13980 + 13996. Put z, 7, -1, -2 in decreasing order.
z, 7, -1, -2
Let v be 20/130 + (-38)/78. Let c = -4.64 + 21.46. Let a = c + -0.82. Sort a, -4/9, v, 0.3 in increasing order.
-4/9, v, 0.3, a
Let b = 603.61 - 605. Let h = 1.39 + b. Sort 4, h, -2 in descending order.
4, h, -2
Suppose 29*k - 14 = -35*k + 62*k. Put -12, k, 1, -4 in increasing order.
-12, -4, 1, k
Suppose -x = 3 + 2. Let v be 0 - 3 - (3 + -4 + 2). Let o(q) = q**3 + 3*q**2 - 3*q. Let c be o(v). Sort -2, x, c in ascending order.
x, c, -2
Let i(c) = 2*c**2 - 4*c + 4. Let g be i(1). Let n be (-30)/4*8/g. Let z = n - -26. Put 0.4, 1/7, -0.3, z in ascending order.
z, -0.3, 1/7, 0.4
Let u(k) = -31*k + 253. Let j be u(8). Let m = 10 - 21. Let q = m + 11.03. Put j, q, -3 in descending order.
j, q, -3
Let p = 93 - 193. Let o = -109 - p. Put 3, o, -0.2, -2 in decreasing order.
3, -0.2, -2, o
Let z = -2577/94 - -398175/658. Let d = z + -578. Let w = 2.8 - 3. Sort d, 1/13, w, 1/5 in decreasing order.
1/5, 1/13, w, d
Let w be ((-1261130)/(-450))/(-13) + (-2)/9. Let o = -216 - w. Sort 5, -0.03, -1/7, o in increasing order.
o, -1/7, -0.03, 5
Let f = -9811 - -981