= 0. Put c, -4, d in ascending order.
-4, c, d
Let c = -1.5 - -3.5. Let n = c + -1. Put -0.4, n, 5 in decreasing order.
5, n, -0.4
Let h be (-15)/25 - 33/(-45). Put 2/7, h, -1/4 in ascending order.
-1/4, h, 2/7
Let f = -1.3 - -0.3. Sort f, 3/2, -0.29 in ascending order.
f, -0.29, 3/2
Let p be 1*(0 + -4) + (-228)/(-54). Let u = 17/104 + -1/104. Sort p, u, -0.1 in descending order.
p, u, -0.1
Let v(s) = -s - 23. Let p be v(-18). Suppose -5*w = -5*r - 17 + 2, -2*w = 4*r + 6. Let m be (-4)/(-2) + (-6)/w. Sort m, 3, p.
p, m, 3
Let l(w) = -w**3 + 23*w**2 + 25*w - 20. Let x be l(24). Put x, -3, 3 in increasing order.
-3, 3, x
Let f = -0.2 + -0.4. Let h = 1.4 - f. Sort h, 5, -3 in increasing order.
-3, h, 5
Suppose 4*r = r + 15. Suppose r*k - 19 = 1. Sort k, 0, -21 in decreasing order.
k, 0, -21
Let n = -8.8 + 6.8. Sort 0, 22, -0.4, n in increasing order.
n, -0.4, 0, 22
Let r be (4 - 2) + -1 - (9 + -4). Sort r, 3, 5, 11 in descending order.
11, 5, 3, r
Let r = 0.4 + 25.6. Let y = -26 + r. Sort 4, y, 1/3 in ascending order.
y, 1/3, 4
Let y = -3568/15 - -238. Sort y, 4, 3 in increasing order.
y, 3, 4
Let q = 0 - -1. Let d = -79 - -166. Let y = d + -263/3. Sort 2, q, y in increasing order.
y, q, 2
Let u be 4/10 - (-145)/(-175). Let q = -0.2 - -0.1. Let v = -0.3 - q. Sort v, u, -5 in ascending order.
-5, u, v
Let m = 5.9 + -5.07. Let d = -0.13 + m. Let b = -1.3 - d. Put 5, 4, b in increasing order.
b, 4, 5
Let r(v) = -v**2 + 8*v - 7. Let p be r(6). Let f = p - 0. Suppose -f*x - 20 = -0*x. Sort x, 5, -5 in increasing order.
-5, x, 5
Let u = -6/11 - -19/55. Sort u, 5, 0.5, 4 in increasing order.
u, 0.5, 4, 5
Suppose -4*f + 2*y - 18 = 0, f + 3*y - 4*y = -4. Let q = -7 + 12. Suppose -3*u + 9 = -3. Sort f, q, u in decreasing order.
q, u, f
Let s = -0.2 - -3.2. Let f = -8.9 + 10. Let l = 0.7 - f. Sort l, s, -1/5.
l, -1/5, s
Let a = 0.56 - 4.56. Let d = -5.2 + -0.8. Let u = d - a. Sort -5, u, -2/7 in descending order.
-2/7, u, -5
Let v = -0.299 - 0.101. Let o be (0 + 2/32)*6. Sort v, 5, o in descending order.
5, o, v
Suppose -5*y = -y - c + 19, -4*c = 3*y + 19. Suppose -4*h - 20 = -v, -2*v - 4*h = 3*v + 20. Put v, y, -4 in ascending order.
y, -4, v
Suppose 0 = 2*r - 3 - 7. Suppose -2 = r*a + 18. Put 0, a, 6 in decreasing order.
6, 0, a
Let s be -2 + ((-80)/25 - -6). Put 4/3, s, -8, -2 in increasing order.
-8, -2, s, 4/3
Let n = 1 - 5. Sort -2, n, 16 in increasing order.
n, -2, 16
Let s = 3.32 + 0. Let g = -0.12 + s. Let w = 0.8 + g. Put w, 0.2, 0 in descending order.
w, 0.2, 0
Let j = -1.7 - 2.3. Sort 0.1, j, -0.4 in descending order.
0.1, -0.4, j
Let n(d) = d**3 + 3*d**2 - 4*d - 4. Let j be n(-4). Let s be (-5 - (-55)/10)*0. Sort s, j, -9.
-9, j, s
Let h = 0 + 1. Let d be 1 + 4 + (h - 3). Let x(b) = b**3 - 11*b**2 + 11*b - 9. Let a be x(10). Put a, d, 2 in ascending order.
a, 2, d
Let j be (3/2)/((-20)/(-8)). Let w = 101 - 102. Put j, w, 0.2 in descending order.
j, 0.2, w
Let f = 0.781 + -0.781. Let o = -18.91 + 19. Put 2, f, o in increasing order.
f, o, 2
Let r(b) = -b**2 - 7*b - 6. Let t be r(-5). Let y = 0 + t. Put 3, y, 5 in descending order.
5, y, 3
Let m(h) = 2*h + 1. Let f be m(2). Suppose -j + 3*j = 4. Suppose -3 = -j*b + 1. Sort b, f, -2 in decreasing order.
f, b, -2
Suppose 3*k - 2 = -2*m + 4*k, -3*m + 5*k + 3 = 0. Let d be 7/(-3) + 135/(-81). Put -1/8, d, m in descending order.
m, -1/8, d
Suppose 0 = 4*a - 20, 2*y + 2*y + a + 11 = 0. Let n = 17 + -7. Let t = 5 - n. Put t, 4, y in decreasing order.
4, y, t
Let q = -139 - -138.5. Sort -2, -5, 1, q in decreasing order.
1, q, -2, -5
Let g = 6 + -14. Let i be (-14)/g + (-9)/12. Put -2, 4, i in ascending order.
-2, i, 4
Let q = 13 - 14. Let a(w) = -3*w**3 - 2*w**2 + 1. Let g be a(q). Put -4, -3, g in descending order.
g, -3, -4
Let k = -3 - 2. Let d = -53/177 - 2/59. Sort d, -0.2, k in decreasing order.
-0.2, d, k
Let l be 16/35 + (-2)/(-5). Let p = 0.51 + -0.01. Put p, l, -1 in descending order.
l, p, -1
Let f = -63 - -59. Let j = 4 - 3. Let r(g) = g**3 - 7*g**2 + 7*g - 2. Let w be r(6). Sort f, j, w in descending order.
w, j, f
Let g = 29 - 27. Put 0.5, 1/5, g in descending order.
g, 0.5, 1/5
Suppose n - k = 4*n + 46, -k - 32 = 2*n. Let a = n + 10. Put a, 4, 3 in descending order.
4, 3, a
Suppose 2*l = 5*l - 12. Put 2, 6, l, 0 in increasing order.
0, 2, l, 6
Let a be -6*6/9 - -3. Sort a, 5, 4 in ascending order.
a, 4, 5
Suppose 0 = -2*g + 4*l + 4, 2*l = 4*g - 3*l - 2. Let f = -38 - -41. Sort g, f, -4 in decreasing order.
f, g, -4
Suppose 2*v - 8 = -l, 0 = -v + 3*v - l. Let m = -148 + 147. Let d(f) = f - 7. Let c be d(11). Put m, v, c in decreasing order.
c, v, m
Let p be (-237701)/380 + 5/(-20). Let y = 626 + p. Let k = y - 2/95. Put -2/5, 0.1, k in decreasing order.
k, 0.1, -2/5
Let o = 3.1 + -7. Sort 1/2, 0.1, o in ascending order.
o, 0.1, 1/2
Let v = 666/1141 + -2/163. Let a be ((-100)/75)/(4*7/(-6)). Put -5, a, v in descending order.
v, a, -5
Let t be 22/8 - (-3 - -5). Put 1/4, 0, t, -27 in increasing order.
-27, 0, 1/4, t
Let g(x) be the first derivative of x**4/4 - 10*x**3/3 + 9*x**2/2 + 4*x - 3. Let d be g(9). Suppose -3*q = -2 + 8. Sort -3, q, d in decreasing order.
d, q, -3
Let x be 3 - (2 + 0 + -5). Sort 0, -3, x, 4.
-3, 0, 4, x
Let a(m) = -m**2 + 16*m + 37. Let p be a(18). Sort -2, 4, p in increasing order.
-2, p, 4
Suppose -2*a + a - 3 = 0. Let g = a - 1. Put g, 0, 2 in ascending order.
g, 0, 2
Let r = 10 + -11. Let v = 0.9 + -5.9. Put v, r, -2/5 in decreasing order.
-2/5, r, v
Suppose 5*w + 5 = 20. Let f be (w - 3)/(3 + -1). Sort 2, -2, f.
-2, f, 2
Let s be 17/4 - (-5)/(-20). Put -0.03, s, -1/2 in descending order.
s, -0.03, -1/2
Let o(v) = v**3 - 7*v**2 + 5*v + 6. Let q be o(6). Let w(y) = y**2 - 2*y - 2. Let i be (8/12)/(4/18). Let f be w(i). Put q, f, -2/7 in decreasing order.
f, q, -2/7
Let m = 0 - 0.4. Let r = 0.8 - -0.2. Let k = 0.45 - 0.05. Put m, k, r in descending order.
r, k, m
Let j = 1.3 - 1.1. Sort 4, -0.1, j in decreasing order.
4, j, -0.1
Suppose 8*n - 3 = 5*n. Put -4, 5, n in descending order.
5, n, -4
Suppose 0*w - w = -3*c - 4, 0 = 2*w - 4*c - 4. Let b = 0.3 - -0.7. Sort 0.3, b, w in ascending order.
w, 0.3, b
Suppose -2*a - 4*x + 22 = 0, 2*x = 2*a - 2 - 2. Suppose 6*m = 11*m - 20. Sort a, m, 1 in descending order.
a, m, 1
Suppose 0 = w - 4*w. Suppose 4*q + 5*c + 17 = w, 2*q + 3 = 4*c + 1. Suppose -3*l - 11 = 1. Put q, 1, l in decreasing order.
1, q, l
Suppose 0*y = 2*y + 8. Let w be 42/(-12) - 3/2. Sort w, 4, y.
w, y, 4
Let v = -64 - -69. Let z be 2 + -1 + 1 + 1. Put v, -4, z in descending order.
v, z, -4
Let m be (-2)/(-1) + 70/7. Suppose 2*v + 2*v = -m. Sort 0, v, 2 in ascending order.
v, 0, 2
Let v = -3 + 2.9. Let p = 1.34 - 1.34. Sort 1/4, v, p in increasing order.
v, p, 1/4
Let r = 3 - 8. Put 2, 3, r, 5 in decreasing order.
5, 3, 2, r
Let j = -4 + 1. Let w be (-2 - -1)*(j - 2). Suppose 9 = w*s + 29. Sort s, 1, 3.
s, 1, 3
Let f be (-6)/(-8)*(-8)/(-2). Sort f, 5, -9, -1 in ascending order.
-9, -1, f, 5
Suppose -41*n + 42*n - 3 = 0. Sort n, -4, -3, 2 in increasing order.
-4, -3, 2, n
Suppose 0 = -4*k + 4*d - 31 + 11, 0 = 4*k + 4*d + 44. Let n = -94 - -94. Put k, -1, n in decreasing order.
n, -1, k
Let y = 0.8 + 3.2. Let v = -5 - -2. Sort v, 0.2, y in descending order.
y, 0.2, v
Suppose -4*t - 2*m - 12 = 0, -4*m - 14 = t + 2*t. Put -1, 5, t in descending order.
5, -1, t
Let z = -28 + 28. Sort z, -0.4, -2/13, 0.2 in decreasing order.
0.2, z, -2/13, -0.4
Let u(d) = -3*d - 2. Let z be u(-2). Let f be 6/(-12)*4/2. Let q be 10*1/(f - -3). Sort q, z, 3 in decreasing order.
q, z, 3
Let l(q) = -q + 7. Let t be l(4). Sort t, 1, -2, 2 in decreasing order.
t, 2, 1, -2
Let x = 0.12 + -0.12. Sort -5, x, 0.3 in increasing order.
-5, x, 0.3
Let s be -10 - -8 - -5*1. Suppose s*q = q - 4. Let r = 0 - 0.2. Sort -0.3, q, r in descending order.
r, -0.3, q
Let l = -1 + 0. Let t be (l - -9)*(-8)/(-16). Sort t, -2, 7 in descending order.
7, t, -2
Let o = 1 - -2. Sort 0.3, o, -1 in ascending order.
-1, 0.3, o
Let x = -14 - -13.8. Sort -1/2, -5, -3, x in decreasing order.
x, -1/2, -3, -5
Let t = -0.6 - 0.4. Sort 0.3, 2, t in decreasing order.
2, 0.3, t
Let p = -35 - -32. Sort 2/13, p, -2/5 in descending order.
2/13, -2/5, p
Let q = 29.5 + -29. Sort 4, 0.2, q, -0.4.
-0.4, 0.2, q, 4
Suppose -t