 r = v - 144. Sort 1, w, r in descending order.
w, 1, r
Suppose -3*d = 5*k + 18, -26*d - 3*k = -27*d - 6. Put -3, -4, d, -14 in increasing order.
-14, d, -4, -3
Let v(b) = 4*b**2 + 8*b + 6. Let g(d) = -d**2 + 1. Let s = -85 - -83. Let h(k) = s*v(k) - 6*g(k). Let u be h(-7). Sort -7, u, 5 in decreasing order.
5, u, -7
Let c = -2224 + 2225. Sort c, 3, -10 in descending order.
3, c, -10
Let s = -49978 + 49974. Suppose -4*l - 45 = l. Let k be (6 + -4)/2*0. Put l, s, k in descending order.
k, s, l
Let r = -4809 + 33659/7. Sort -1/5, r, 2, 0.03, -3.
-3, r, -1/5, 0.03, 2
Let i = 145 + -142. Let r(j) = 196 + 164 - 401 - 3*j. Let t be r(-12). Sort i, t, 2 in increasing order.
t, 2, i
Suppose -5*x + 2*j + 13 = -6, -5*j = -5*x + 10. Suppose 8*m = -x*m - 65. Let t(n) = -n. Let f be t(-4). Sort m, f, -1.
m, -1, f
Let h = -161.951 - -162. Let a = 0.349 - h. Put -0.2, -0.08, -6, a in descending order.
a, -0.08, -0.2, -6
Let p(u) = u**3 - 6*u**2 + 2*u - 11. Let j be p(9). Sort 1, -5, j in increasing order.
-5, 1, j
Let m be (-2)/(-10) + 216/120. Suppose k - 6 = 3*s - 16, -3*k + 25 = m*s. Sort -5, s, 132 in decreasing order.
132, s, -5
Let t(z) = 30*z + 39. Let g be t(7). Let d = g - 362. Let c = d - -116. Sort -11, 2, c.
-11, 2, c
Let i = -4229 + 4234. Put 10, 2/13, -2, 3, i in descending order.
10, i, 3, 2/13, -2
Suppose 0 = -2*q - 6, -3*q - 21 = 7*m - 3*m. Let n be ((-110)/(-33))/((-2)/m). Suppose t - 2*h + 7 = 0, 0 = 2*t - 32*h + 31*h - 1. Sort t, n, 31.
t, n, 31
Let t = 0.1 - -0.1. Let x = 1 - 2. Let l = -0.87417 + 5.87417. Sort x, t, -5, l in descending order.
l, t, x, -5
Suppose 633 = q - 4*q. Let f = q - -207. Sort f, 0, -3, -14 in increasing order.
-14, f, -3, 0
Let w = -92.86 + 93. Let o = w + -0.14. Sort -3, o, 0.9, -2/5 in decreasing order.
0.9, o, -2/5, -3
Suppose 0*w = -50*w + 5500. Put 2, 4, w in increasing order.
2, 4, w
Let f be ((-24)/(-208))/((-24)/(-208)). Suppose 0 = m - 4*c - 17, -2*m + 4*c + 4 = -10. Put 5, f, m, -5 in increasing order.
-5, m, f, 5
Let o = 5409 + -5410. Let m be 6/21 - 4/14. Sort 18, m, o in ascending order.
o, m, 18
Let q = -2312.05 - -2396. Let i = 145.04 - q. Let z = 61 - i. Put -2/11, 2, 0.4, z in ascending order.
-2/11, z, 0.4, 2
Let t = 22.27 + -0.27. Let j = 4123/2 + -2061. Put -5, j, -0.3, t in decreasing order.
t, j, -0.3, -5
Let b = -602 + 603. Let s be (-2)/8 - b/(-4)*409. Sort s, -4, -1 in decreasing order.
s, -1, -4
Let m = 3392 - 3391. Put m, 3/2, -3/113 in ascending order.
-3/113, m, 3/2
Let b(t) = -3*t**2 + 196*t - 411. Let a be b(63). Put -1, -2, 1, a in decreasing order.
a, 1, -1, -2
Let r(v) = v**3 + 32*v**2 - 231*v - 119. Let g be r(-38). Put 5, g, -2, 4, 3 in increasing order.
g, -2, 3, 4, 5
Let g = 183 - 413. Let q = g + 230. Sort -3/7, -3, q, 2 in increasing order.
-3, -3/7, q, 2
Let z = 1.6 + -2. Let x(v) = v**2 + 11*v + 25. Let i be ((-14)/(-6))/(33/(-99)). Let h be x(i). Sort 0.05, z, h in descending order.
0.05, z, h
Let g = 112/23 - 695/138. Let r = -27 + 29. Suppose r*i + 27 = 31. Put i, -2/9, g, 0 in increasing order.
-2/9, g, 0, i
Let k = -6.2 + 6. Let v = -2393/13 - -9637/52. Sort 2, v, k.
k, v, 2
Let f be (-3638)/204 + (-2)/12. Let r be ((f/(-5))/6)/(3/(-45)). Sort 0, 0.3, r in increasing order.
r, 0, 0.3
Let u be (8/(-6) - -1)*-54*1. Let p = u + -33. Let t = p + 17. Put -9, t, 5 in descending order.
5, t, -9
Let i(y) = -y**3 + 5*y**2 + 2680. Let v be i(0). Put 4, v, -4 in descending order.
v, 4, -4
Let z(n) = -4*n**2 + 18*n + 3. Let b be z(9). Let v = 162 + b. Put v, 0, -2, 27 in descending order.
27, v, 0, -2
Suppose -595 + 688 = -31*m. Put 6, -5, -4, m, 1 in descending order.
6, 1, m, -4, -5
Let u be (9 - 1152/12)/(-3). Let x(q) = -2*q**3 - 37*q**2 + 17*q - 34. Let v be x(-19). Put 5, v, 0, u in increasing order.
0, v, 5, u
Let c(s) = -s**2 + 4*s + 436. Let p be c(23). Sort -4, -63, p, -5 in ascending order.
-63, -5, -4, p
Let c(y) = -y**3 - y**2 + 2*y + 3. Let v be c(-2). Let u = -3084 - -3091. Suppose v*r = u*r - 8. Put r, 3, 15, 0 in increasing order.
0, r, 3, 15
Let o = 6/331 + -2052/3641. Put 5, 2, 2/9, o, 2/7 in descending order.
5, 2, 2/7, 2/9, o
Let w be 94/960 + 60/(-90). Let k = w + -1/32. Sort k, 4, 0.2, -2.
-2, k, 0.2, 4
Let i be (240/2400)/(1/50). Sort i, 57, -2 in decreasing order.
57, i, -2
Let k = 278 - 274. Suppose -3*u - 2*z - 22 = 0, -k*z = -2*u - u - 10. Sort -2/19, -1.1, u in descending order.
-2/19, -1.1, u
Let c be (-5)/(-3) - (-624)/144. Suppose -73*r - c = -71*r. Sort -63/5, -1/8, r.
-63/5, r, -1/8
Let k be (-3 - 258/(-24))*6. Let h = k - 56. Sort h, -5, 2/5 in decreasing order.
2/5, -5, h
Let i = -17494 + 17493. Let j = -3 - -4. Sort 80, i, j in increasing order.
i, j, 80
Let t be (3/(-5))/(4/(-10)). Suppose -5*q = 0, 4*q = 5*y - 11 - 79. Let h be -4*y/(-189) - (-4)/14. Put -5, t, 2/35, h in descending order.
t, h, 2/35, -5
Let j = 14516 + -14518. Let u = -17 - -10. Let o = u - -6.5. Sort 4, j, o in descending order.
4, o, j
Let v = 3078 - 3081. Sort 0.5, v, -0.2, 3 in descending order.
3, 0.5, -0.2, v
Suppose 3*v = -v. Suppose -19 = 2*h + 5*c, h = -v*c + 3*c + 18. Sort 0.4, h, -1, -1/5 in decreasing order.
h, 0.4, -1/5, -1
Suppose -2*w + 222 = 3*y + 217, w + 5*y + 15 = 0. Put 0.3, w, 3/2, 1 in decreasing order.
w, 3/2, 1, 0.3
Let s be (-49)/(-392) - 11/(-8). Sort -0.1, 13, s in descending order.
13, s, -0.1
Let q = -151.7 + 152. Sort -1544, -3, q in increasing order.
-1544, -3, q
Suppose -2*p - 2*y - 148 = 338, 4*p + 964 = -5*y. Sort -6, -5, p.
p, -6, -5
Let s = -0.3 - -0.4. Let z = 57.4 + -51.81. Let o = z - 0.59. Sort o, -2, s, 1/8 in descending order.
o, 1/8, s, -2
Let k be ((-6)/8*1)/(12 - 81/6). Put k, -5, -1/5 in increasing order.
-5, -1/5, k
Let d(o) = 3*o**2 - 2*o + 1. Let q be d(1). Suppose -q = k + 2. Let u be 559/215*-5 + 2. Put u, k, -3 in ascending order.
u, k, -3
Suppose 0 = -42*d + 34*d - 448. Sort -1, d, 1 in descending order.
1, -1, d
Let g = 28 - 22. Suppose -2*y - 8 + g = 0. Let w be (-1 + 2)*(-6)/(-54)*9. Sort y, w, 4.
y, w, 4
Let o be 2 - (-10 + 13) - 875/5. Sort o, 3, -22 in descending order.
3, -22, o
Suppose 32 + 70 = -14*f - 24. Put f, -24, 4 in decreasing order.
4, f, -24
Let k be (-4)/9 - 0/3. Let a be 1*(-6)/(-20)*15/(-18). Let f = 4.9218 + 0.0782. Put a, k, -6, f in decreasing order.
f, a, k, -6
Let i be (-2)/6 + (-100)/(-12). Suppose 2*a - i*a = -18. Suppose a*u - 7*u = -2*m, 2*m - 5*u = 2. Sort 2, 4, m, -18 in ascending order.
-18, m, 2, 4
Let i = 0.02 + -5.02. Let d = 1319.6 - 1323.6. Sort -2/9, i, d in ascending order.
i, d, -2/9
Let v be 5 + (-511)/105 - (-1)/((-42)/8). Sort -0.3, 1/5, v in descending order.
1/5, v, -0.3
Let t = 8866 - 8869. Put t, 1, -436 in decreasing order.
1, t, -436
Let g(s) = -s**3 + 8*s + 5. Let p be g(0). Sort 3, -49, -3, -1, p.
-49, -3, -1, 3, p
Let s = 115/12 + -28/3. Let z(k) = 268*k**2 - 5*k + 4. Let g be z(1). Let l = g + -2669/10. Put s, l, 3, 2/5 in ascending order.
l, s, 2/5, 3
Let s = -3738 - -3737. Let r be (-8)/(-12) - (-4)/(-6). Sort s, r, -4 in ascending order.
-4, s, r
Suppose 0 = -4*q + 26 - 10, -2*q + 4 = h. Let n(x) = -x + 5. Suppose -3*s + 35 = 2*s. Let c be n(s). Sort 8, c, h in decreasing order.
8, c, h
Let l = 3340 - 3341. Sort l, 0, -5, 3 in increasing order.
-5, l, 0, 3
Suppose 213*z - 1369 = -517. Sort z, 2, 10, 6.
2, z, 6, 10
Let u be (3/(-1))/(-2*42/(-476)). Let o = 232 - 236. Sort -0.5, u, o in increasing order.
u, o, -0.5
Let r = -20917 - -20912. Sort 15936, r, -2 in ascending order.
r, -2, 15936
Let c be 11*(-19 - 4554/(-242)). Let h be ((-3)/6)/(2/12). Let w be 2*(1/(-1) - -6). Sort h, c, w, 1 in increasing order.
h, c, 1, w
Let z = -2 - -2.3. Let v be (878 - 890) + (-1 - -11). Put v, 1, z, 2/15 in decreasing order.
1, z, 2/15, v
Let d = -0.08 - -1.48. Let c = d - 0.9. Let i = -485 - -485.4. Sort -0.5, c, -4, i in descending order.
c, i, -0.5, -4
Let d = -5.93 - 0.07. Let a = 3193 - 3179. Sort d, a, -1 in increasing order.
d, -1, a
Let a = 11.8 - 14.8. Let v = 37 - 36.954. Let u = v + 0.454. Sort -0.5, a, u, 5/4 in ascending order.
a, -0.5, u, 5/4
Suppose -7*y + 47050 - 47232 = 0. Sort 3, y, 31 in increasing order.
y, 3, 31
Let d = 6925 - 6924.5. Sort -1/5, 10/71, d.
-1/5, 10/71, d
Let p(s) = s**3 + 8*s**2 + 8*s + 10. Let w = -24 - -24. Suppose -3*l = -m + 18, 2*m + 