1 = 5*d - 3*o, 0*o + w*o = -5*d - 5. Let t = -0.2 + 0.2. Put d, 0.3, t in descending order.
d, 0.3, t
Suppose -33 = -2*f + r + 4*r, 0 = 2*r + 10. Suppose 0 = -6*a + 4*a - 6. Put f, -1, a in descending order.
f, -1, a
Suppose 0 = 4*g - 3*i - 28, i - 16 = -3*g - 2*g. Suppose v - 8 + g = 0. Let b be (15/3)/(4 - 3). Put b, v, -2 in increasing order.
-2, v, b
Suppose -5*b + 4 = -1. Let s = -4868 + 4872. Sort -1, b, s, -3 in decreasing order.
s, b, -1, -3
Let w(q) = 9 - 9*q + 8*q**2 - q**3 - q + 0. Let u be w(7). Let h be u + 11 + 8/9. Put -4, h, -3 in ascending order.
-4, -3, h
Let q be (-242)/8*(-16)/(-6). Suppose 11*b + 47 + 833 = 0. Let s = b - q. Put -4, 6, s in descending order.
6, s, -4
Suppose -111 = 12*w - 867. Let t = w - 64. Sort t, -2/3, 4 in descending order.
4, -2/3, t
Let p be 0 + (-1)/(-1 + 0). Let f = -695 - -690. Sort p, 4, f in increasing order.
f, p, 4
Let p = 53 - 317/6. Suppose -3*h + 5*d = h + 114, 2*d = -5*h - 126. Let a be 1 + (h/12 - (-2)/(-6)). Put 3, p, a in descending order.
3, p, a
Let h = -1.8 - -1. Let g = 344.7 + -345. Let d = -391 - -5867/15. Put g, h, d in ascending order.
h, g, d
Let w = -22 + 12. Let k = 253/39 + -210/13. Let f = k - w. Put 3, f, 5 in decreasing order.
5, 3, f
Let k be ((-5)/4)/(-5) - (-70)/8. Suppose -m - 32 = -k*m. Put m, 2, 1, -3 in descending order.
m, 2, 1, -3
Let r = 48 + -47.7. Sort 2, 1.1, r, 1/9 in ascending order.
1/9, r, 1.1, 2
Let i(p) = -40*p**3 + p**2 + 1. Let c be i(1). Let g be -2 + 3 + (1 - 7). Sort -4, c, g in decreasing order.
-4, g, c
Let c = 0.111 - -47.889. Let r = -47.8 + c. Sort r, 5, -2, -0.2 in ascending order.
-2, -0.2, r, 5
Let b = 987/4 + -248. Put -1/3, -0.2, b, 1/2 in decreasing order.
1/2, -0.2, -1/3, b
Let v = 0.0591 - 2.5591. Sort 2/3, -5, v, 1.
-5, v, 2/3, 1
Let r(z) = -2*z + 11. Let n be r(5). Suppose 0 = 3*f + t - n, 2*f + t = 6*f - 6. Sort 0, -1, f in ascending order.
-1, 0, f
Let h be ((-4)/14)/(1157/(-623)). Sort h, -1, -5.4.
-5.4, -1, h
Let g = 114.5 + -115. Let x = -3 - -3. Put x, 1, g, -3 in descending order.
1, x, g, -3
Let d = -11 + 10.9. Let r = -0.6 - d. Let b = r + 0.1. Sort b, 0.2, 2 in descending order.
2, 0.2, b
Let f(l) = l**2 - 19*l - 10. Let n be f(19). Let x(t) = t**3 + 10*t**2 + 4*t + 39. Let w be x(n). Sort 2, w, -10, 3 in ascending order.
-10, w, 2, 3
Let d be (-374)/110 - 4/(-10). Put -1, 4, d, -2 in decreasing order.
4, -1, -2, d
Let c = 460 + -459. Put -4, c, -8, -1 in increasing order.
-8, -4, -1, c
Let r = -6 - -16. Suppose 3*d = 3*t - 0*t, -t - r = -3*d. Suppose 2*v + 4 = d*j - 0, 3*v = -3*j - 6. Sort -3, 3, v in ascending order.
-3, v, 3
Suppose 0 = 5*g - g - 3*v - 19, 18 = 5*g + 2*v. Let b = 4.66 + 0.34. Let r = -0.04 - -2.04. Put g, b, r in decreasing order.
b, g, r
Let b be ((-9)/2)/(9/(-12)). Let p = -1357 - -1354. Sort p, b, -1 in increasing order.
p, -1, b
Let s(h) = -2*h**3 - 2*h**2 - 2*h - 1. Let x be s(-1). Let c be ((-15)/6)/(1/2). Let o be (18 + -21)/(6/8). Put o, x, c in descending order.
x, o, c
Suppose -c = -v + 10, -9*v - 10 = 4*c - 7*v. Put 7, 0, 3, c in increasing order.
c, 0, 3, 7
Let d be (7 + -8)*10/(-2). Suppose -24 = 25*t - 17*t. Sort 10, t, d.
t, d, 10
Let y(g) = -g**2 - 60*g + 257. Let q be y(4). Sort -7, -5, -4, q in increasing order.
-7, -5, -4, q
Suppose -403 + 163 = -5*n. Suppose -5*b - n = -b. Let m = -0.66 + 0.16. Sort m, b, 3.
b, m, 3
Let w = 0.1 - -0.1. Let h = 2.8 + w. Let c be (-5 + 9 + -2)/(7/(-1)). Sort c, h, -0.1 in decreasing order.
h, -0.1, c
Suppose 0 = 2*g - 0*s - 4*s + 26, -10 = -5*g - 5*s. Let f = 9 - g. Suppose 0 = 4*v - f - 4. Sort 2, v, 5 in increasing order.
2, v, 5
Suppose 0 = 2*r - 6, -9*r + 4*r + 48 = 3*w. Suppose 2*g = -w*g + 65. Put 5/6, g, -0.01, -2/5 in increasing order.
-2/5, -0.01, 5/6, g
Suppose -4*o + 66*t - 71*t = 41, 2*o + t = -13. Put -30, 0, o in descending order.
0, o, -30
Let n(q) = q**2 + 20*q - 71. Let i be n(-23). Put -3, -10, i in descending order.
i, -3, -10
Let a be 2/(((-112)/147)/8). Sort 2/13, a, -3.
a, -3, 2/13
Let i = -1633/11 + 149. Suppose 149*a - 148*a - 2 = 0. Put i, a, -3 in decreasing order.
a, i, -3
Let q(a) = a**3 - 20*a**2 + 17*a - 3. Let l be q(19). Let o = 42 + l. Put 2, o, 4, -2 in ascending order.
-2, o, 2, 4
Suppose 48*u = -4*k + 43*u - 17, 0 = -2*k + 3*u + 19. Sort k, -83, -5 in decreasing order.
k, -5, -83
Let k = -27 - -55/2. Let d be (98/(-1127) - (-186)/23) + -4. Sort k, -0.2, d.
-0.2, k, d
Let t be 1 + -3 - (-4 + 10 - 3). Let v = 0 - 1. Let n be v*(-6 - -1)*1. Put t, n, 2 in decreasing order.
n, 2, t
Suppose -5*t + 19 = 2*r, 0 = t - r - 2*r + 3. Let g be ((-84)/(-49))/6 + 78/21. Put g, 0, t in decreasing order.
g, t, 0
Let v = 24 - 46. Let i be v/(-4) - (-1)/(-2). Let y(f) = f**3 + 3*f**2 + 2*f + 4. Let d be y(-3). Put d, 15, i in descending order.
15, i, d
Let d = 196 - 195. Put -0.4, d, 0.4 in increasing order.
-0.4, 0.4, d
Let v = -2081 - -2080. Sort 2/3, v, 0.6 in decreasing order.
2/3, 0.6, v
Let c(w) = w - 4. Let j be c(6). Suppose j = 2*m + 12. Let r be (-6 + 148/24)*6. Put r, -4, m in decreasing order.
r, -4, m
Let f = 44.6 + -44. Sort f, -5, -0.4.
-5, -0.4, f
Let t(n) = 2*n**3 - 21*n**2 + 27*n + 2. Let q be t(9). Sort -3, q, 5, -8 in decreasing order.
5, q, -3, -8
Suppose -20 = h + 5*y, 4*h - 7*y + 2*y = 45. Suppose -5*k = -v + 42, 50 = -h*k + 3*v + 2*v. Put -2/11, -2, k in descending order.
-2/11, -2, k
Suppose -2*c + 130 - 168 = 0. Let x be (-3 - c) + 0 - -1. Sort x, -4, 0.
-4, 0, x
Let a(p) = -89*p + 2044. Let n be a(23). Let i = -7 + 2. Sort i, n, -2 in decreasing order.
-2, n, i
Let m be 11/22*(3 - 4)*6. Sort -566, m, -2.
-566, m, -2
Suppose 0*r = -5*r + 10. Suppose 4*v + 20 = -r*o - 0*o, 0 = 5*o - 5*v - 25. Let b be o - (15/(-6) - -2). Sort -0.3, b, 0 in descending order.
b, 0, -0.3
Suppose -5*u - 4*q = -12, -5*u + 2*q = 4 + 2. Suppose 0 = 4*o + 2*d - 5*d + 20, -5*o + d - 14 = 0. Let g be -2 + (-6)/3 + o. Put 3, u, g in decreasing order.
3, u, g
Let n(h) = h**3 - 2*h**2 + 2*h - 2. Let a be n(2). Let q be ((-6)/10)/(a/(-5)). Let f = -2869.8 + 2870. Sort q, f, -4 in descending order.
q, f, -4
Let w be 4/(-1) + 8 + -3. Sort -1, -7, w in descending order.
w, -1, -7
Let k = 136 + -136. Sort -1, k, 12, -10 in descending order.
12, k, -1, -10
Let r = 20.3 - 20. Sort 3/5, -0.04, r in descending order.
3/5, r, -0.04
Let o = -0.732 - -1.032. Put 0.01, o, 0, -5 in decreasing order.
o, 0.01, 0, -5
Let i = -29.3 - 1.7. Let p = 29.3 + i. Let a = p - -6.7. Sort 1, -0.3, a.
-0.3, 1, a
Let p = -6 - -11. Let a = 267 + -269. Put 3, a, p in decreasing order.
p, 3, a
Let u = -199/350 - -7/50. Put -4, -0.2, 1, u in descending order.
1, -0.2, u, -4
Suppose -2*t = 2, 3*g + 4*t = -g + 540. Let z = g - 129. Sort 2, -4, z, 4 in descending order.
z, 4, 2, -4
Suppose 0 = -18*c - 11*c - 87. Sort c, 11, -2 in decreasing order.
11, -2, c
Let q = 0.07 + -5.07. Let i(z) = -2*z + 16. Let h be i(7). Suppose 6 = 5*p + 2*l - h, -3*l = 4*p - 12. Sort q, -2/3, p in decreasing order.
p, -2/3, q
Let h(w) = -6*w + 54. Let b be h(10). Let k(s) = -s + 2. Let f be k(-1). Let z = 253/9 + -28. Put f, z, b in decreasing order.
f, z, b
Suppose -3*i + 0*i = -12. Let s be (2 + -4)/((-72)/(-108)). Sort -3/5, 6, i, s in descending order.
6, i, -3/5, s
Let d = -0.85 + 0.95. Sort d, 2, -4, -0.08 in decreasing order.
2, d, -0.08, -4
Let u = 11/60 - 1/20. Sort 3, u, -28 in descending order.
3, u, -28
Suppose 0 = -y - y + 6. Let z be (-2 - 1)*4/y. Let r = 4 + -5. Sort r, z, -5 in ascending order.
-5, z, r
Let r = 0.0193 - 22.0193. Sort 0.14, 5, r.
r, 0.14, 5
Let w = 127 - 126. Sort w, -5, 9 in decreasing order.
9, w, -5
Let a(l) = 2*l**3 - l**2 - 9*l - 7. Let i be a(-1). Put i, -3, 5, 85 in increasing order.
-3, i, 5, 85
Suppose 0 = 2*k - 10, 6*z = z - 3*k + 15. Let p(w) = -5 + 0 + z + 3*w - 2. Let d be p(3). Sort -3, 4, d.
-3, d, 4
Let x = -43.05 - -0.05. Let b = x - -45. Sort 5/4, -0.4, 2/9, b in ascending order.
-0.4, 2/9, 5/4, b
Let j(t) = t**2 + 2*t + 2. Let d be j(-2). Let l be (78/65)/(2/20). Let r = 102 + -99. Sort r, l, d in decreasing order.
l, r, d
Suppose -4*u = 3*t + 32, 5*t + 3*u + 19 = 4*t. Sort -1, 3, t, 38 in descending order.
38, 3, -1, t
Suppose 3*z + g - 11 = 0, 70 - 79 = 3*z - 3*g. Let k(i) = 3*i + 1. Let m(s) = -14*s - 5. Let d(c) = -11*k(c) - 2*m(c). Let 