Put s, 0.2, -0.3 in decreasing order.
0.2, s, -0.3
Let g = -3 - -4. Sort 5, g, 2.
g, 2, 5
Let t be (2 - 3)*-3 + -7. Let r(d) = -d**2 - 7*d - 6. Let n be r(-6). Put t, 1, n in descending order.
1, n, t
Let y = -10.9 - -11. Let v = y + 3.9. Let b be (3/(-42))/(1/(-6)). Sort 0.2, v, b in descending order.
v, b, 0.2
Suppose 2*o - 21 = -5*r + 7, 24 = 4*o + 2*r. Suppose 0 = 3*s - o*s, -3*s - 4 = -2*m. Suppose -m*j + 4 = c - 4, -3*j + 17 = -c. Put c, -1, 3 in decreasing order.
3, -1, c
Let s be 118/(-3) + (-2)/(-6). Let m be 0 + (45/s - -1). Put m, 0.5, -2/7 in decreasing order.
0.5, m, -2/7
Suppose 0 = -5*h + 13*h + 120. Sort h, -3, 5 in ascending order.
h, -3, 5
Let n(c) = c**2 - 20*c + 14. Let g be n(19). Let t = -5 + 9. Sort 1, g, t.
g, 1, t
Let j(t) = -t**2 - 5. Let l be j(4). Let z = l - -22. Sort z, -1, 5 in ascending order.
-1, z, 5
Let k = 28 + -33. Let f be 1 + (-1)/((-10)/(-12)). Sort k, 0.5, f.
k, f, 0.5
Let y = -1.9 + 2. Let a = 1.05 + -0.05. Let u = -2 - a. Put 2, u, y in descending order.
2, y, u
Let v = -5.54 - -0.44. Let k = v - -5. Put 5, k, -1/3 in increasing order.
-1/3, k, 5
Suppose 2*n = -2*n + 4. Let x be 2/(-2) - -7 - n. Sort 1/4, -5, x in descending order.
x, 1/4, -5
Let f = -2 + -2. Let q = f + 4.5. Let h = -0.4 + q. Sort 1/4, 0.2, h in descending order.
1/4, 0.2, h
Let c = -11 + 13. Let t be -4*1/c - 2. Sort -3, 1, t in descending order.
1, -3, t
Suppose 5*g - 15 = -3*c, 2*c + 2*g - 15 = -c. Sort 3, 4, c, -3 in decreasing order.
c, 4, 3, -3
Let d = 0 - 9. Let x = 13 + d. Sort 3/2, x, -0.1 in increasing order.
-0.1, 3/2, x
Let n = 35 + -8. Let p be -3*(0 - 3/n). Put p, 0.4, -2 in descending order.
0.4, p, -2
Let b = -9 + 4. Suppose 3*i = -5*q + 17, 0 = -2*i - q - 3*q + 12. Sort i, b, 1 in decreasing order.
i, 1, b
Let v = 523/3 + -175. Put -0.4, v, -3/2 in ascending order.
-3/2, v, -0.4
Let p = 2 - 2.3. Suppose 4*t - 11 = 13. Let k be (8/t - 3) + 2. Sort k, 0.2, p in descending order.
k, 0.2, p
Let i = -2 + 5. Suppose -3 = -i*q - 0. Suppose 6 = 2*o - 0*o. Put q, 0, o in descending order.
o, q, 0
Let j = -3.7 - -4. Suppose -253 - 327 = -5*r. Let z = 582/5 - r. Sort -5, z, j in descending order.
z, j, -5
Let z = 3.82 + -0.42. Let w = z - 0.4. Sort -2/5, 2/9, w in descending order.
w, 2/9, -2/5
Suppose -6*m + 5*f + 15 = -4*m, -5*m = 3*f + 40. Suppose 3*r - 15 = 0, g + 5*r - 26 + 7 = 0. Let i = g - -2. Put m, 3/5, i in ascending order.
m, i, 3/5
Let r be 0 - 4*-1 - -1. Suppose 5*v = -4*y - 2, 10 - 3 = 2*v - y. Suppose 5*u + 12 = 2*p - 9, -4*p = -2*u - v. Put r, 0, p in ascending order.
p, 0, r
Let d(f) = f**3 - f - 1. Let b be d(0). Put -12, -4, b in increasing order.
-12, -4, b
Suppose 4*n + 3*f - 26 = 0, 2*n - 6 = -2*f + 8. Let g = 273 - 258. Sort 4, g, n in descending order.
g, n, 4
Let z(v) = -2*v - 12. Let d be z(-7). Sort -4, -10, d.
-10, -4, d
Let a(z) be the second derivative of -7/2*z**2 + 2*z + 2*z**3 + 0 - 1/12*z**4. Let s be a(11). Sort s, 8, 0 in increasing order.
0, s, 8
Let d be 5 + 16 + -2 + 1. Let y be (8/d)/(1/(-10)). Put -8, y, -5 in decreasing order.
y, -5, -8
Let k = 0.9 + -7.9. Let d = -0.102 + 7.002. Let l = d + k. Sort 0.5, l, 0.1 in descending order.
0.5, 0.1, l
Suppose 0 = -2*d - d. Let g be d/(2/(1 + -2)). Put g, -4, 4 in decreasing order.
4, g, -4
Let x = -3.7 - 0.3. Put 2, x, 3 in decreasing order.
3, 2, x
Let i be ((-3)/6*2)/((-11)/(-22)). Put 0, 4, i, 2 in ascending order.
i, 0, 2, 4
Let c be 98/3 - (2 + -4). Let v = 36 - c. Suppose 5*s = -25, -a + 4*s = 4*a + 5. Put -4, a, v in ascending order.
a, -4, v
Let y = 1 + -3. Let u = -1 + y. Put -0.4, u, -2/9 in ascending order.
u, -0.4, -2/9
Let r = -14.95 - -15. Sort 4, r, -2/11 in increasing order.
-2/11, r, 4
Suppose 2*s + 0*s = -10. Let a(z) = 3*z**3 + z**2 - 1. Let f be a(1). Suppose -o + f = 2*v, -2*o + 7 = -v - 4. Put s, v, -3 in decreasing order.
v, -3, s
Suppose 4*a = 5*g - 16, -2*g = -7 - 1. Put -4, -5, a, -1 in descending order.
a, -1, -4, -5
Let j = 3 + -4. Let r = -0.6 - j. Sort 2, -1, r in decreasing order.
2, r, -1
Suppose -5*g - 4*v + 24 = -16, -3*g + 5*v - 13 = 0. Suppose t + 3*t = -g. Suppose -3*w - a - 14 = 0, 3*w - 2*w = 4*a - 9. Sort 4, w, t in descending order.
4, t, w
Suppose n = 2*n - 9. Let d(c) = -c + 9. Let o be d(n). Let l = -5 - -9. Put l, -3, o in ascending order.
-3, o, l
Let t = -45 + 70. Suppose 0*l = 4*l - 5*c - 30, -5*c - t = -3*l. Sort 0, 2, l.
0, 2, l
Let z = 11 + -7. Suppose 0 = -2*l - l + 3. Let a = l + 2. Put z, a, -1 in ascending order.
-1, a, z
Let c be (-4)/65*80/(-32). Sort 6, c, 2/19 in decreasing order.
6, c, 2/19
Let g = 0 - -3. Let p = -46 + 22. Let q = p + 70/3. Sort 0.2, g, q in ascending order.
q, 0.2, g
Let r be 2/(-10) - (-27)/(-15). Let s = r + 2. Put 1, s, 5 in ascending order.
s, 1, 5
Let d = 8 + -6. Put 0, -0.1, 4, d in descending order.
4, d, 0, -0.1
Let z = -2422/11 - -220. Suppose -5*q = -5*j + 20, 5*q - 5*j = 2*q - 14. Sort z, -2, q.
q, -2, z
Let q = -14.82 + 15. Let j = q + 0.02. Put j, 0, 4 in descending order.
4, j, 0
Let r = -4 - -5. Let k(o) = 2*o**3 - 4*o**2 + 3*o - 2. Let p be k(2). Sort 3, p, r.
r, 3, p
Let r be 18/27 - 14/(-6). Let q be (2 - 2)/(4/(-2)). Put r, -3, q in increasing order.
-3, q, r
Let c be (6 - 9)/(2/(-6)). Sort c, 0, -2 in descending order.
c, 0, -2
Let w(h) = -2*h + 4. Let f be w(-1). Sort -4, -3, 4, f in descending order.
f, 4, -3, -4
Let b(r) = 2*r**3 - 2*r**2 + 1. Let l be b(1). Suppose 0 = -4*a + 4, i = -4*i + a - 21. Sort i, l, -7 in increasing order.
-7, i, l
Suppose 0*q - q + 2 = 0. Suppose -4*r - q = l, 0*l + 10 = 4*r - 5*l. Put -4, r, -3 in decreasing order.
r, -3, -4
Suppose -4*w + 21 = -3*w. Let y be 5/w*4/10. Let p = -0.09 - -4.09. Sort -1, y, p in descending order.
p, y, -1
Let k = -48 - -46. Put -1/3, k, 1, -0.5 in descending order.
1, -1/3, -0.5, k
Suppose -c + 4*d + 25 = 0, -2*c + 5 = -5*d - 30. Put -4/7, -1, c in increasing order.
-1, -4/7, c
Suppose -22 = -7*h + 6. Put h, -5, -1 in increasing order.
-5, -1, h
Let p = 0.3 + -1.3. Let r = -5 - -8. Let u = p - r. Put u, -3, -0.5 in increasing order.
u, -3, -0.5
Suppose 0 = 10*z - 8*z - 34. Sort z, 4, 0 in descending order.
z, 4, 0
Let y = 95 - 95. Sort y, -4, 5, -5 in ascending order.
-5, -4, y, 5
Let d be (2/6)/(-2 + (-3)/(-2)). Put -23, 0.5, d in decreasing order.
0.5, d, -23
Suppose -3*n = -n + 6. Suppose -o + 2 - 3 = 0. Suppose 0*x = -5*x + 25. Sort x, n, o in increasing order.
n, o, x
Let w be 1 - (-14)/(-2)*-1. Suppose i = -3*i + w. Let f = 7 - 12. Sort f, 0, i.
f, 0, i
Let z(l) = -l**2 + 2*l. Let s be z(2). Let n be (2/3)/((-2)/(-6)). Sort n, 5, s.
s, n, 5
Suppose 0*x = 3*x. Suppose 2*w - 5 = 5. Sort x, 2, w in descending order.
w, 2, x
Let m = -1 + 3. Suppose -3*p = -m*p. Put -5, p, 1 in decreasing order.
1, p, -5
Let h = 4 - -1. Let m = 0 + 2. Let s = m + -1. Sort h, s, -3 in decreasing order.
h, s, -3
Let g = 71/10 + -7. Let d be 2 - 1*(2 + -1). Sort -10, d, g in ascending order.
-10, g, d
Let c = -0.8 - -5.8. Sort -2, -0.4, c in decreasing order.
c, -0.4, -2
Let l be -2*12/8 + 5. Sort l, 0.1, 2/9 in decreasing order.
l, 2/9, 0.1
Let k = -7 - -11. Let d(c) = -c**3 - 3*c**2 - 3*c. Let l be d(-2). Put k, l, 0 in decreasing order.
k, l, 0
Let d = -64 + 68. Sort 2/7, -3, d, -0.6.
-3, -0.6, 2/7, d
Let n(y) = -y**3 + 13*y**2 - 11*y - 14. Let l be n(12). Sort 2, l, -7.
-7, l, 2
Suppose -m + 16 - 21 = 0. Let y = -1 - 0. Let s = y + 1.1. Put s, -3/5, m in ascending order.
m, -3/5, s
Let w be ((-4)/(-8))/((-106)/(-98)). Let d be (6/(-106))/((-3)/2). Let n = d + w. Put n, 2/7, -5 in increasing order.
-5, 2/7, n
Suppose w = 3*k + 3, 5*w = -0*k - 4*k - 4. Suppose 1 = 2*a + 9, 0 = -m - 3*a - 17. Sort m, k, 0 in descending order.
0, k, m
Let l(u) = -u**2 - 2*u + 6. Let g be l(4). Let n = -14 - g. Sort n, -1, -5.
-5, -1, n
Let i be (-7)/21*(-3 + -3 + 6). Put -2/5, -0.15, i in decreasing order.
i, -0.15, -2/5
Suppose -2*q + 185 + 255 = 0. Let z be q/585 - 2/13. Let c(w) = -w**2 - 3*w - 1. Let s be c(-2). Put z, -5, s in descending order.
s, z, -5
Suppose 5*w = 2*x - 14, 0*w + 6 = -3*w. Let r be -8*-11*x/28. Let h = 199/35 - r. Sort 1, h, 0.4 in decreasing order.
1, 0.4, h
Let o = -55/102 - -2/51. Let s = -426/11 + 211/33. Let u = -32 - s. Sort u, o, -5 in decreasing order.
u, o, -5
Let j = -75.15 - -79. 