= -49 + 44. Sort -3, 0, m in decreasing order.
0, -3, m
Let z = 12.85 - -0.15. Let b = z + -9. Let k be ((-1)/2*-2)/(-2). Put 4/7, b, k in decreasing order.
b, 4/7, k
Suppose 11 = r + i, -9 - 9 = -3*r + 2*i. Suppose 4*z - y - 1 = 1, 4*y + r = -3*z. Let w be (-48)/21 + 4/14. Put z, 4, w in ascending order.
w, z, 4
Let s = 71 - 67.1. Let h = -0.1 - s. Sort -3/7, -0.2, h in decreasing order.
-0.2, -3/7, h
Let a = -2 - -1.4. Let n = 4.9 + a. Let c = -4 + n. Sort -0.1, c, 1/10 in ascending order.
-0.1, 1/10, c
Let j = 0 + -5. Let y = -48 - -242/5. Sort y, -1/6, j.
j, -1/6, y
Suppose 0 = 4*c - 4, -4*c = n + n - 14. Put -9, -2, n in ascending order.
-9, -2, n
Suppose 0 = 2*v - 2*x, 4*x = -0*v - v + 5. Sort 0, v, -1 in decreasing order.
v, 0, -1
Let h be (-34)/(-6) + (-3)/(-9). Let z = h - 4. Suppose 0 = z*k - 6*k - 20. Put 0, -3, k in ascending order.
k, -3, 0
Let j = -0.86 - 0.14. Put j, -2/7, 1 in ascending order.
j, -2/7, 1
Let j = -0.2 + -4.8. Sort j, 1/6, 1/3 in ascending order.
j, 1/6, 1/3
Let m = 2 + -7. Sort 1, m, -2 in ascending order.
m, -2, 1
Let y = -106/7 - -643/42. Sort 114, y, 2 in increasing order.
y, 2, 114
Let c be 0/(-2*3/6). Let h = 0 + 1. Put -5, c, h in increasing order.
-5, c, h
Let d = 0.1 - 0. Let o = -3 + 8. Sort d, -2/3, o.
-2/3, d, o
Suppose 2*y - 53 = -5*p, -39 = -3*y + 2*y - 5*p. Let c = -10 + y. Sort -2, c, 0.4 in decreasing order.
c, 0.4, -2
Let m be -1 + (-2)/((-2)/(-1)). Let u = m - -3. Let k(w) = w**2 - 7*w + 5. Let j be k(7). Put j, -0.2, u in increasing order.
-0.2, u, j
Suppose 3*h - 16 = 7*h, 0 = 4*b + 3*h - 4. Let x be ((-8)/(-10))/(b/20). Let m = 7 - 11. Sort 2, m, x.
m, 2, x
Let g be 254/10 + 4/(-10). Let y = g - 21. Put y, -5, 1 in descending order.
y, 1, -5
Let o be ((-8)/(-12))/((-1)/3). Let k be ((-1)/(-3))/((-7)/(-14)). Sort 2, k, o in ascending order.
o, k, 2
Let a = 14 - 4. Let r = a - 14. Sort -1, r, 0.4.
r, -1, 0.4
Let a be (-1 - -1)*2/(-4). Sort a, -1/6, -6 in descending order.
a, -1/6, -6
Suppose w - 10 = -3*w + 5*o, -w - 3*o = -11. Suppose w*m - p = 53, -2*m + 28 = p + 2*p. Sort -5, m, -2 in increasing order.
-5, -2, m
Let g = 25 + -24. Sort 3, g, 0.
0, g, 3
Let z = -44 - -43.6. Put 18, z, 0.4 in descending order.
18, 0.4, z
Let s be (-1*(-3 - -2))/1. Let z = s - -1. Suppose -z*r + 2 + 2 = 0. Put r, -5, -2 in increasing order.
-5, -2, r
Suppose -3*i + 0 + 9 = 0. Suppose -i*c = r + 25 - 6, -4*c + 4*r - 4 = 0. Suppose d - 4*d = -15. Put d, c, -4 in increasing order.
c, -4, d
Let o = -13 + 7. Let j = o - -10. Put j, -5, -2 in decreasing order.
j, -2, -5
Let x(r) = 3*r - 24. Let o be x(8). Put o, 3, 10 in decreasing order.
10, 3, o
Let c = 91 + -91. Sort -1, c, -5 in ascending order.
-5, -1, c
Let j = -92 - -459/5. Sort 0, j, -2, -1/2 in decreasing order.
0, j, -1/2, -2
Let x = 10 - 1. Let g = x - 11. Sort -4, g, -5 in descending order.
g, -4, -5
Let z = 0 + 1. Let m = 1 - z. Let a be (((-15)/27)/5)/1. Put -0.5, m, a in decreasing order.
m, a, -0.5
Let f = -0.7 + 1.7. Let u be ((-9)/30)/((-4)/(-10)). Sort u, f, -4 in decreasing order.
f, u, -4
Let p = 151/235 - 2/47. Let u be (2/(-3))/(-3 + 2). Put 2/5, u, p in decreasing order.
u, p, 2/5
Suppose -4*a + 50 = -14*a. Put 0, 3, a in ascending order.
a, 0, 3
Let i = 9 + -4. Let d(s) = -s**2 + 9*s + 1. Suppose 1 + 26 = 3*f. Let v be d(f). Sort -5, v, i in ascending order.
-5, v, i
Suppose -2*d - 4*u - 3 = -27, 4 = 4*d - 3*u. Sort -3/5, d, -3 in decreasing order.
d, -3/5, -3
Let t be (-4 + (-26)/(-6))*9. Suppose -2*h + h = -1. Put 0, h, t in increasing order.
0, h, t
Let d be (-16)/3 - 6/(-18). Let m be 8/14 + 0/(-2). Put m, 2/13, d in decreasing order.
m, 2/13, d
Suppose -2*x + n + 52 = 2*x, 3*n + 24 = x. Let c = x + -8. Sort -1, 1/6, c in decreasing order.
c, 1/6, -1
Let w = -8 + 8.06. Let k = w - 0.36. Put k, 5, -2/9 in descending order.
5, -2/9, k
Let q(h) = -h**3 + 5*h**2 + 6*h - 4. Let s be q(6). Let d = -3 + 3. Sort s, d, -2.
s, -2, d
Let j = 151 + -149.97. Let l = j - 0.03. Put 3, l, 1/10 in descending order.
3, l, 1/10
Let q = 7 + -8. Let v be q - -2 - (-218)/(-6). Let h = 36 + v. Put h, 5/3, 4 in descending order.
4, 5/3, h
Let c = -0.42 + 0.92. Sort 11, c, 0.1 in increasing order.
0.1, c, 11
Suppose -6 = -3*c + 2*z, -2*c - z + 0*z + 11 = 0. Let d be c/10*(-10)/18. Sort 2/11, d, -4 in ascending order.
-4, d, 2/11
Let g = 1.24 - 0.14. Sort -2/3, 0.2, g in decreasing order.
g, 0.2, -2/3
Suppose 0 = -5*z + 10, -2*a = -z + 4*z. Let b = 2 - 0. Sort b, a, 1 in decreasing order.
b, 1, a
Let p = -0.2 + 3.2. Let g = -5 + p. Let a = 0.5 + -1. Sort g, 1, a in increasing order.
g, a, 1
Suppose -3*p + 5*x - 12 = 0, -4*p - 16 = -4*x + 5*x. Sort 1, p, -3.
p, -3, 1
Let w = 167 + -512/3. Put w, -1/3, 2/13 in decreasing order.
2/13, -1/3, w
Suppose -4*n + 5 = 1. Let s be (-1 - 1) + n - 1. Sort 4, s, 1 in ascending order.
s, 1, 4
Let y(s) = -s**3 - 7*s**2 - 7*s - 4. Let t be y(-6). Suppose 0 = b + b + t. Let n be 12/8 + (b - 0). Sort 0.2, -1, n in decreasing order.
n, 0.2, -1
Let r = -7 + 7. Sort -0.1, r, -0.2 in ascending order.
-0.2, -0.1, r
Let o be 1/6*0 - 2*1. Sort -1/8, -6, o, -0.1 in ascending order.
-6, o, -1/8, -0.1
Let c = 33 + -33.1. Put -0.3, c, 0.3 in descending order.
0.3, c, -0.3
Let j = 0.063 - -0.437. Let w be -2 + (-6)/(-2) + 2. Put w, -2, j in decreasing order.
w, j, -2
Let q = -19.9 + 1.9. Let n = 14 + q. Put 1, 2/25, n in decreasing order.
1, 2/25, n
Let v = -2 + 4. Let a be v/3*(-5 - -2). Sort 9, -5, a.
-5, a, 9
Let q(p) = -2 + 6 + p**2 + p + 3*p. Let v = 5 - 9. Let i be q(v). Put -4, i, 2 in increasing order.
-4, 2, i
Suppose -5*c + 25 = z, -4*z = -2*c + 3*c - 5. Let p = -3 - -2.9. Put p, c, -5 in increasing order.
-5, p, c
Let l be -3 + 25/5 + -1. Sort 0, l, 3.
0, l, 3
Let k(w) = w - 1. Let i be k(-2). Put -1, 3, i in increasing order.
i, -1, 3
Suppose 2*t + f - 11 = -t, 2*f - 13 = -3*t. Suppose -5*z + t*i = -7, -3*z + z - 5*i + 9 = 0. Sort 0, 3, z.
0, z, 3
Let w be 4 - 1 - 210/56. Sort -2, 2/15, w, -0.2 in descending order.
2/15, -0.2, w, -2
Let p = 2.4 - 2.3. Let t = 2/2241 - -29878/2241. Let b = -14 + t. Sort p, -0.4, b in descending order.
p, -0.4, b
Suppose -4*x - 3*z + 7 = 0, -2*x = 2*z - 1 - 1. Suppose 5*f + v = -2*v - 19, 3*v = -x*f - 17. Sort f, -4, -5 in decreasing order.
f, -4, -5
Let m = -5 - -7. Let b = 27.6 + -28. Sort b, m, 4 in decreasing order.
4, m, b
Suppose 3*x - x + 10 = 0. Put 1, x, 0 in decreasing order.
1, 0, x
Suppose 29 - 33 = 4*a. Sort -23, -2, a in increasing order.
-23, -2, a
Suppose 0*d - 4*d + 2*t - 30 = 0, d + 2*t - 5 = 0. Let a(z) = 3*z**3 - 2*z**3 - 3*z**2 + 1 + 0. Let m be a(1). Sort -4, d, m.
d, -4, m
Let d = 7.8 - -0.8. Let p = d + -9. Put -0.3, 0.1, p in increasing order.
p, -0.3, 0.1
Let g be (5/2)/(-9 + 5). Let f = g + 3/8. Sort 0.7, 0.2, f in decreasing order.
0.7, 0.2, f
Suppose -5*g + l - 27 = 0, -2*l - 2*l = -g - 13. Let w = -0.1 - -1.1. Put g, w, -2/13 in descending order.
w, -2/13, g
Suppose -4*a + 2*k + 3 = 13, 4*a + 13 = k. Let q(t) = t + 11. Let h be q(-8). Put h, a, 1 in decreasing order.
h, 1, a
Let r be 32/(-24)*(-6)/4. Let i be (10/25)/(r/(-20)). Sort i, 2, 3 in descending order.
3, 2, i
Let s be (-22)/4 - (-8)/16. Let k = -4 - -6. Sort s, -3, k in decreasing order.
k, -3, s
Suppose -r - r - 6 = 0. Let s be (r/(-2))/((-1)/(-2)). Let l be 3/(-36) + 1/s. Sort l, 4, 0.4 in decreasing order.
4, 0.4, l
Let t = 12.9 + -13. Put 2/11, t, -2, 3 in descending order.
3, 2/11, t, -2
Let s be (-15)/(-25) + (-2)/10. Sort s, 4, 1/5.
1/5, s, 4
Let k be -2 + 1 + 3 + 1. Let h = k - 11. Let t be h/(-12) - (-17)/(-21). Put -4, t, 4 in ascending order.
-4, t, 4
Let a be ((-7)/(-14))/(2/(-4)). Let h = -2 + 6. Put h, a, 1 in ascending order.
a, 1, h
Let u = 0.1 - -4.9. Sort u, 0.2, 1.
0.2, 1, u
Suppose -4*x = 5*a - 74, 4*a + 10 = 5*a + 2*x. Sort a, 2, 5 in descending order.
a, 5, 2
Let q = -2 + 2. Suppose -6 = 5*j + 2*z, 5*j = 4*z + 13 - 1. Let c be (-4 - (-3 - j)) + 2. Put q, c, 3 in decreasing order.
3, c, q
Let m = 2.03 - 0.03. Let c = 6 - 1. Put m, c, -4 in increasing order.
-4, m, c
Suppose 4*n - 3 - 9 = -b, -24 = 5*b - n. Put -1, -3, b in ascending order.
b, -3, -1
Let c be 15/(-21) + (-8)/28 + -2. Let y = 2 - 1. Let o be (y/3 - 0)*-2. Sort o, -0.1, c in increasing order.
c, o, -0.1
Let k be 3/36*(-3 -