 = 8*w - 19. Suppose w*v + v = -2*v. Put 2, 3, v, 4 in increasing order.
v, 2, 3, 4
Let f = -10 - -14. Let z be ((-6)/(-1))/(-3) + -1. Let n(u) = u**3 + 4*u**2 + 3*u + 2. Let s be n(z). Sort -5, f, s.
-5, s, f
Suppose -w = 18 - 19. Suppose w = 3*m + 10. Put m, -2, -6 in decreasing order.
-2, m, -6
Suppose -3*n + 8*n + 65 = 0. Suppose -20 = -4*c, 3*c = 5*o + 11 - 56. Let y = o + n. Put -5, y, -3 in increasing order.
-5, -3, y
Let t = -38520/103 - -374. Put t, -5, -4/5 in ascending order.
-5, -4/5, t
Let b = -99 + 94.9. Let j = 4.13 + b. Put -0.5, -2/17, j in descending order.
j, -2/17, -0.5
Let x be -5*(-4 - 6/(-2)). Suppose -g + 2 = -2*t, t + x*g = 3*t - 14. Let h = 0.37 + -0.07. Put h, t, 2 in decreasing order.
2, h, t
Let p = -1085 - -1085.2. Let c = -3.2 - 18.8. Put c, 0, p, 5 in decreasing order.
5, p, 0, c
Let k = 2218/9 - 246. Let b = 3.4 - 0.4. Put b, -1/7, k in descending order.
b, k, -1/7
Let b be (-4)/(-2) + ((-6)/2 - -3). Suppose 0 = b*m - 0 - 8. Sort m, -4, -2 in descending order.
m, -2, -4
Let a be 49245/4489 - (10 + 1). Sort 11, a, -1 in ascending order.
-1, a, 11
Suppose 24 = -8*k + 64. Suppose 2 = 3*u - 2*p - 3, 2*u = 3*p - k. Sort -5, 1, u in descending order.
u, 1, -5
Let z = 1192 + -1186. Let l = 1 + -1. Put l, z, -1 in descending order.
z, l, -1
Let y(i) = 7*i + 222. Let g be y(-32). Let m = -2 - 3. Sort 1, m, g in ascending order.
m, g, 1
Let r(m) = m**2 + 8*m + 4. Let p be r(-7). Let t be (-1)/5*(-2 - p). Sort 1, t, 0.4 in increasing order.
t, 0.4, 1
Suppose 3*a + 4*d - 7*d + 6 = 0, 0 = 4*a + 2*d + 8. Sort 3, a, -11.
-11, a, 3
Suppose -5*r = -4*b - 17, r - b = 3*r + 1. Let p(l) = 3*l**3 + l**2 - 1. Let k be p(1). Sort k, -5, r.
-5, r, k
Let s = -2489/270 - -46/5. Let j = s - -29/108. Let h be (4/(-5))/(12/60). Sort j, h, 1/6 in decreasing order.
j, 1/6, h
Let g = -46 + 231/5. Let d = -2465 + 2465.1. Put g, -0.1, d, 3 in ascending order.
-0.1, d, g, 3
Let x be (-1)/10 + (-4)/10. Let y be 32/20 - (12 + -10). Put x, -2, 4/13, y in increasing order.
-2, x, y, 4/13
Let u = -41.7 - -39.7. Sort -0.1, u, 0 in decreasing order.
0, -0.1, u
Let k = -10 + 12. Suppose -3*b - 2*q - q = 6, k*b + 4*q = -10. Suppose -t = -r - 10, -4*t = 5*r + b + 4. Sort -4, r, -3 in descending order.
-3, -4, r
Let s be 83/(-12) + 6 - 6/(-9). Sort 4, s, 2/3 in descending order.
4, 2/3, s
Suppose -i - s - 14 = 2*i, 2*s + 23 = -5*i. Let p be (-21)/(-35) - (-28)/i. Sort -2, 3, p, 0 in descending order.
3, 0, -2, p
Suppose 2*v + 3*a = -18, -5*v + 5*a + 2 + 3 = 0. Sort -1, v, -1/2 in ascending order.
v, -1, -1/2
Let k be (-4)/(-3) - (744/(-36) - -14). Sort 6, k, -0.4, 0.2 in descending order.
k, 6, 0.2, -0.4
Let n = 4 - 13/4. Let x = -255.7 - -256. Let u = -0.2 + 0.7. Sort x, u, n in descending order.
n, u, x
Let f = 4859.88 + -4599. Let r = f - 256. Let m = 0.12 + r. Put 0.1, -0.3, m in decreasing order.
m, 0.1, -0.3
Let z(r) = 6*r - 166. Let l be z(21). Sort 0, 4, l in descending order.
4, 0, l
Suppose m + 4*t + 5 + 2 = 0, -2*m - 4*t - 2 = 0. Let o = 741 - 746. Sort o, m, -2, 4 in increasing order.
o, -2, 4, m
Suppose 0 = 61*y + 217 - 339. Suppose o + o = 0. Let a = -27/2 - -129/10. Sort a, o, y in decreasing order.
y, o, a
Let z be (-2)/(1/3*-2). Suppose 11*b - 30 = z. Sort 5, -3, b in descending order.
5, b, -3
Let y = -3800/11 + 346. Sort 4/9, y, 4/5, 0.
0, 4/9, y, 4/5
Suppose 2*u - 2*k = -6, -10*k + 6*k + 8 = 0. Put 1, u, -5, 4 in descending order.
4, 1, u, -5
Let x(p) = -2*p**2 + 24*p + 126. Let w be x(16). Sort -3, w, -10, 2 in increasing order.
-10, -3, w, 2
Let x = 60 - 36. Let w = x + -29. Put -1/3, 2/7, w in increasing order.
w, -1/3, 2/7
Let m = 0.0435 - -0.0165. Sort -5, m, 2/7.
-5, m, 2/7
Let t = -2402 - -2183. Put t, 0, -1 in descending order.
0, -1, t
Let g(w) = 2*w**2 + 3*w - 9. Let r be g(3). Sort -21, r, 5 in increasing order.
-21, 5, r
Let k be (-140)/8*18/(-15). Let b = k + -20. Suppose -6 = 2*z + z. Put 2, z, b in descending order.
2, b, z
Suppose -5*b - 20 = 0, 0*c = 4*c + 2*b + 24. Sort 0, c, 2, 7 in decreasing order.
7, 2, 0, c
Let o(i) = 3*i**3 - 2*i**2 + 8*i + 13. Let k be o(-4). Sort -4, k, -2, -1 in increasing order.
k, -4, -2, -1
Let h = -4 + 4.4. Let b = 26 - 18. Let u = -1.536 - -0.536. Sort b, u, h in decreasing order.
b, h, u
Let c be (35/70)/(1/(-10)). Put 15, 1, c in decreasing order.
15, 1, c
Suppose -7*z - 56 = -21. Let p = -0.99 + 1.1. Let j = 0.01 - p. Sort z, 1, j.
z, j, 1
Let i = -425 + 429. Put 0.3, 1/4, -0.07, i in descending order.
i, 0.3, 1/4, -0.07
Let o be (8/(-10))/((-588)/(-490)). Let f = 4 + -9. Sort o, f, 5/2 in decreasing order.
5/2, o, f
Let l be (-105)/(-100) - 5/4. Put -39, l, 3 in increasing order.
-39, l, 3
Let x be -12*14/(-294) - (-31)/7. Suppose -2*z = -5*z - 6. Let y be (z/6)/(2/(-6)). Put 1/6, x, y in decreasing order.
x, y, 1/6
Let y(r) be the second derivative of r**3/3 + 11*r**2/2 + 3*r. Let p be y(-5). Sort -3, -4, p in decreasing order.
p, -3, -4
Let i = 77 + -35. Let q = -42.3 + i. Sort 5, q, -1 in descending order.
5, q, -1
Let w = -5.84 + -0.16. Let f = 5.86 + w. Let a = f - -0.44. Put a, 2, -2/7 in descending order.
2, a, -2/7
Let y = 3584967/175 + -20485. Let g = -6/25 + y. Put -3, g, 13 in ascending order.
-3, g, 13
Suppose 2*q + 3*k = 53, -5*q = -3*q + 2*k - 48. Suppose 2*t + 29 = q. Sort 3, -3, t, 5 in decreasing order.
5, 3, -3, t
Let z be (-2)/4 - 5/(-2). Let y be -1 - 1 - ((-21 - -4) + -1). Suppose 0 = 5*v - v + y. Sort 0, z, v in increasing order.
v, 0, z
Suppose 3*z + 8 = 23. Put -1, -4, z, -5 in decreasing order.
z, -1, -4, -5
Suppose d + 6*p = 2*p + 3, -2 = -p. Suppose 3*w - 56 = -50. Put 8, 0, d, w in descending order.
8, w, 0, d
Let q = 668 + -671. Let o = -5 + 7. Suppose -o*g = 2*v, 0 = 3*g - 4*v + 6 - 41. Sort q, -6, g in decreasing order.
g, q, -6
Let t be (-64)/(-608)*(-19)/(-3). Let f be (-2 + 0)*(-20)/2. Suppose -6*u + f = -u. Put -2/3, u, t in ascending order.
-2/3, t, u
Let r be 8/(-20) - (-26)/(-10). Suppose a + 5*w - 6 = 0, -3*a + 5*w - 1 = w. Sort -1, a, r, -5 in decreasing order.
a, -1, r, -5
Suppose -34 = -7*l - 6. Suppose l = 6*u - 4*u. Let v be 2*-1*(1 + -3). Sort u, 1, v in descending order.
v, u, 1
Let n(l) be the third derivative of l**6/120 + l**5/20 + l**4/12 + l**3/3 + 5*l**2. Let y be n(-2). Suppose -y*d = -0*d. Sort 2, d, -4 in ascending order.
-4, d, 2
Let k = 358 + -359. Suppose -4*w - w = -15. Suppose -39 + 4 = -5*l. Sort k, l, w in decreasing order.
l, w, k
Suppose 29*y - 10 = 31*y. Put -4, 5, y, 2 in decreasing order.
5, 2, -4, y
Let h = 1817 - 1813. Sort -5, 3/8, -7, h in decreasing order.
h, 3/8, -5, -7
Suppose 2*a - 3*a - 2 = 0. Suppose -4*y + c = -3*c, 3*y - 4*c = -4. Suppose 3*m + 3*l - 50 = 7*m, -3*m = -3*l + 36. Put y, a, m in increasing order.
m, a, y
Let w = -13244 - -13238. Suppose -2*v - 2*v = 16. Put 0, w, v in ascending order.
w, v, 0
Suppose -3*u + q - 2*q = -9, 2*q + 2 = -u. Suppose -5*t - 5 = z, u*z = -7*t + 3*t + 12. Let x be (-1)/3 + (-48)/18. Put z, x, -6 in descending order.
z, x, -6
Let a be 8/70 - 2/(-7). Let h(n) = -2*n**3 - 17*n**2 + 278*n + 2426. Let o be h(-9). Sort o, 8, a.
a, o, 8
Let a = 33 - 35. Let x = -113 - -68. Let c = x - -31. Put c, a, 2/7 in decreasing order.
2/7, a, c
Let i = -5.759 - -1.759. Sort -18.5, 2/9, i in decreasing order.
2/9, i, -18.5
Let v = -44 - -64. Let c = -19.93 + v. Sort 1/4, c, -2/7, 0 in decreasing order.
1/4, c, 0, -2/7
Let b = 301 + -342. Put b, 3, -4 in ascending order.
b, -4, 3
Let c(r) = -2*r**2 - 5*r. Suppose 3*u + 22 = -3*i + 4, -27 = 4*u + 5*i. Let t be c(u). Sort t, -4, -6.
-6, -4, t
Let i = -280 - -280.3. Let x = -1.06 - -1. Put -0.5, i, x in descending order.
i, x, -0.5
Let r = -123 + 52.3. Let s = -71 - r. Sort s, 1/4, 0.9 in ascending order.
s, 1/4, 0.9
Let b = -393.1 + 393. Sort -2, -1/13, b in ascending order.
-2, b, -1/13
Suppose -5*h + 8*l + 35 = 13*l, 0 = -4*h - 5*l + 31. Sort 1, h, 5 in increasing order.
1, h, 5
Let c = -14 + 20. Suppose 3*d + 18 = c. Let m(w) = -w**2 - w + 3. Let q be m(-2). Sort d, q, 2 in ascending order.
d, q, 2
Let t(u) = u - 10. Let b be t(13). Suppose w = 4, -b*k + 47 = -w + 6*w. Sort k, -2, -1 in decreasing order.
k, -1, -2
Let d be ((-12)/(-8))/((-1)/(-6)). Suppose -4*z - 22 + 18 = 0. Let u(h) = h**2 - 2*h - 3. Let v be u(3). Put v, d, z in d