28 = 4*t. Sort 3, t, 4 in decreasing order.
4, 3, t
Let x = 129 - 134. Put -0.3, 0.01, x in increasing order.
x, -0.3, 0.01
Let x = 0.1 + -0.5. Let p be 1/4 - 75/108. Sort x, p, 2/3.
p, x, 2/3
Suppose 2*b + 0 = -6. Put -1, b, 5 in increasing order.
b, -1, 5
Let s = -0.2 - -0.16. Let l = s - 1.96. Let q = 0.8 - 1. Put l, q, -4 in descending order.
q, l, -4
Let t = 0.03 + 0.27. Let m = -1 - -1.8. Let c = m - 0.3. Sort c, t, 1.
t, c, 1
Let x = -5.65 + 9.58. Let v = x + 0.07. Let a be (-2)/(-4) + 3/2. Put 0.5, v, a in descending order.
v, a, 0.5
Let q = 2 - -3. Suppose -m + 2*m - i + 2 = 0, -m + 4*i - 8 = 0. Let l be (4 - (m + 2))*-2. Put l, 0, q in increasing order.
l, 0, q
Let o = 6 - 11. Sort -4/5, o, 5, 3/7.
o, -4/5, 3/7, 5
Let a(s) = s**3 + 8*s**2 + 7*s + 2. Let v be a(-7). Put 5, 13, v in increasing order.
v, 5, 13
Let t be 1/((-3)/162) + 0. Let w be ((-8)/t)/(16/24). Let q = 8 + -12. Put w, -2, q in decreasing order.
w, -2, q
Suppose -3*n - 2 = -5*n. Let k be (-20)/(-4) - (-4)/2. Sort k, -2, n in increasing order.
-2, n, k
Let k = 5.6 + -0.6. Let t = -2.96 + -0.04. Let i = t + k. Put -2, i, 0.5 in ascending order.
-2, 0.5, i
Let b(w) = w**2 - 10*w - 3. Let t be b(10). Let a be 2/(-8)*0 + t. Sort a, 3/4, 3.
a, 3/4, 3
Suppose -4*c + 6865 = -4711. Let b = c - 651151/225. Let s = -682/1575 - b. Put s, 0.2, -4 in ascending order.
-4, s, 0.2
Suppose -6*x = -3*x - 15. Suppose 0 = -4*d - 0*d + 2*q - 16, x*d - 10 = -5*q. Put -2/7, -3, d in ascending order.
-3, d, -2/7
Let i be 3/(-6)*0/(-2). Let n be -14*9/(-63)*(-1)/(-2). Put 6, n, i in increasing order.
i, n, 6
Let b(f) = -f - 10. Let g(h) = -h**2 - 11*h - 15. Let t be g(-10). Let v be b(t). Sort 5, -2, v.
v, -2, 5
Let u = -7 - -4. Put u, 3, 2 in ascending order.
u, 2, 3
Suppose 8 + 7 = 3*u. Put -2, 0, u in descending order.
u, 0, -2
Suppose 10 = 5*h, -3*h + 25 + 21 = 5*d. Let b be (-6)/(-4)*d/(-3). Put 4, b, -2 in descending order.
4, -2, b
Suppose 0 = -2*p + 3*s + 15, 4*s + 15 = -3*p + s. Put -1, p, -3, -2/13 in descending order.
p, -2/13, -1, -3
Suppose 3*u + 7*r - 11 = 6*r, -21 = 2*u - 5*r. Let j(c) = -c**3 - 6*c**2 + 7*c + 1. Let b be j(-7). Sort b, 3, u in increasing order.
b, u, 3
Let c = -39.5 - -2.5. Put c, 0.3, 0 in descending order.
0.3, 0, c
Suppose 3*v - 20 = v + 5*d, 5*d = 0. Suppose v - 13 = y. Let m be (-3)/(-12) - (-46)/(-56). Sort 1, m, y in increasing order.
y, m, 1
Let o = 95 + -133. Let a be 2/4 - o/(-60). Suppose 6*v = -41 + 29. Put 1/3, v, a in descending order.
1/3, a, v
Suppose 0 = -12*k + 60 - 0. Sort -22, k, 0 in decreasing order.
k, 0, -22
Let h be (2/(-6) + 0)/(1/(-12)). Sort -4, h, -1/6, 5 in increasing order.
-4, -1/6, h, 5
Suppose 0 = -2*l + 5*n - 72, -3*l + 3*n = 19 + 107. Sort l, 4, 0 in ascending order.
l, 0, 4
Let r be -8 - (-4 + 0) - -6. Sort -3, -5, r in decreasing order.
r, -3, -5
Let i(a) = 2*a**3 + a**2 - a. Let w be i(1). Let p = -2 - -4. Suppose j = p*j + w. Put 3, j, 2/7 in increasing order.
j, 2/7, 3
Let w(d) = d**2 - 9*d + 14. Let y be w(6). Sort y, 2, 4, 10 in decreasing order.
10, 4, 2, y
Let l(s) = -5*s**3 - s**2 + s - 1. Let h be l(1). Let v be (42/(-9))/(4/h). Suppose 0 = -4*w + 4*q - 4, w - 2*w - q = -v. Sort -0.4, 1/3, w in ascending order.
-0.4, 1/3, w
Let k = 8 + -17. Let o be k/9 + (-1 - -2). Sort 2, -3, o in descending order.
2, o, -3
Let i = 11 + -15. Suppose 5*w - 28 = -h - 2*h, 2*w = -3*h + 13. Put i, w, 3 in descending order.
w, 3, i
Suppose -2*f + 4*g + 27 = 3*f, 3 = -2*f - 3*g. Let z be ((-4)/7)/((-10)/35). Suppose 5*j + z = -8. Put f, 0.4, j in ascending order.
j, 0.4, f
Let p = -7583/7 - -1083. Let l = -0.4 - -0.8. Let n be 2/6 + (-1)/(-3). Put n, p, l in descending order.
n, l, p
Let m be ((-5)/((-30)/9))/((-9)/(-30)). Suppose -5*t + 15 = -5*r, -1 = -2*t + 5*t - r. Put t, m, -5 in decreasing order.
m, t, -5
Let h = -18 - -17. Let c be 1/(-2) - (-1)/2. Sort 3, h, c.
h, c, 3
Suppose -5*b - 2*x = 3 - 2, 4*x - 8 = 0. Put b, 3, -22 in descending order.
3, b, -22
Suppose 9 = -3*c + 6*c. Suppose -5*b + 0*b - 5*i + 10 = 0, -b + 2*i = 1. Put c, -5, b in increasing order.
-5, b, c
Suppose 8 = -2*u + 5*r, 5*r + 0 = -2*u + 12. Let p be (-9)/12 - u/4. Let h be -4 - (-5 + 10)/5. Sort h, -3, p in increasing order.
h, -3, p
Suppose l + m + 1 + 5 = 0, 4*l = 4*m - 16. Put 3, 4, l, -4 in descending order.
4, 3, -4, l
Let m = -0.34 - 0.06. Let w = 118/35 + -14/5. Sort w, m, -5 in increasing order.
-5, m, w
Let v = 20 + -23. Let m = -0.2 - -0.7. Put m, -0.06, v in decreasing order.
m, -0.06, v
Suppose -3*m + 4*s + 23 = 0, m - s - 8 = -2*m. Sort 3, 21, m in decreasing order.
21, 3, m
Suppose -2*u - 4 = 0, -4*r - 5*u - 7 = 7. Let h be (-1 - -1) + -3 + r. Let y = -2 - -5. Sort h, y, -2 in ascending order.
h, -2, y
Let v = 19 - 10. Let j = v + -8.5. Sort j, 2, 0.1 in increasing order.
0.1, j, 2
Let x(l) = -l + 4. Let a be x(8). Suppose 2*f + 3*n - 12 = n, 0 = 3*f - 2*n + 2. Put 5, f, a in descending order.
5, f, a
Let t = -0.8 - 0.2. Sort 2/3, -5, t in descending order.
2/3, t, -5
Let u be (3/2)/(-1)*2. Let w = 109 - 105. Sort u, 2, w in decreasing order.
w, 2, u
Let a = 0 + 4. Let t be (4/(-6))/(8/(-36)). Suppose 4 = 4*x - 2*l - 10, t*l + 17 = 4*x. Sort a, 0, x in decreasing order.
a, x, 0
Suppose 0 = 4*p - 5*p + 3. Suppose -3 = -5*v + 7. Suppose -4*w - 1 = -q, 0*q = -3*w - 4*q + 4. Sort v, p, w in increasing order.
w, v, p
Suppose 14 = 2*m - 4*w + 2*w, 8 = 4*m + w. Let h be -6 + 1 + 8/4. Let b = m + h. Put b, -4, -5 in descending order.
b, -4, -5
Let k = 0.7 - 0.3. Let z = -8 + 7.5. Sort k, -1, z in descending order.
k, z, -1
Let g be (-11 - -2)*1/(-21). Let f = -6.9 - -6. Let r = 0.1 - f. Sort g, r, 4 in increasing order.
g, r, 4
Suppose -3*q = -4*q - 1. Let l be 3 + 3 + 3/q. Let s be (-2)/3 - (-21)/(-9). Put s, 0.3, l in ascending order.
s, 0.3, l
Let h = 60 - 65. Suppose u - 4*f - 15 = 0, 0*u + 5*f + 30 = 5*u. Suppose -u*q = 2*q. Put h, 4, q in increasing order.
h, q, 4
Let y = 3.1 + -3.4. Sort -2, -2/23, y, 5 in descending order.
5, -2/23, y, -2
Let v(h) = -h. Let x be v(-6). Let n be -4*(1 - x/4). Put 0, n, 5 in increasing order.
0, n, 5
Let r = 8.5 + -1.5. Let x = -7.5 + r. Let t be (-2)/12 + 4/6. Sort x, -0.1, t in decreasing order.
t, -0.1, x
Let c = -35 + 35.2. Sort c, -4/7, 3.
-4/7, c, 3
Let v = -3 - -7. Suppose -4*t - 5*a - 5 = -0*t, -2*t + 4 = -4*a. Put -5, v, t in descending order.
v, t, -5
Let s(a) = 16*a**3 + 6*a**2 + 21*a - 15. Let g(p) = -3*p**3 - p**2 - 4*p + 3. Let h(o) = -11*g(o) - 2*s(o). Let d be h(2). Put d, 2, 3 in decreasing order.
d, 3, 2
Let s = 0 - 2. Let t = -7 + 9. Sort t, s, 1/5 in increasing order.
s, 1/5, t
Let p = -5 + 4. Let t = p - -4. Let m = 4 - t. Put m, -2/9, -2/5 in descending order.
m, -2/9, -2/5
Let o = 3 - 2.8. Let w = -320/3 + 108. Sort 1/3, w, o in ascending order.
o, 1/3, w
Suppose -2*n + 3 = -2*f + 13, 4*n - 2*f = -12. Sort 4, -2, n in descending order.
4, n, -2
Let j = -14.7 - -15. Sort -0.5, j, -4/7 in descending order.
j, -0.5, -4/7
Suppose -q = -3*q + 6. Suppose -5 + q = -2*l. Let h be (l/2)/(4/10). Sort 1/2, 3, h in increasing order.
1/2, h, 3
Suppose 3*p - 5 = -5*j, -4*j - 2*p - 13 = -3*p. Let h be j/((-2)/6 - -1). Sort 5, h, 4.
h, 4, 5
Let b = 18 - 52/3. Sort b, -2/7, 5/4 in increasing order.
-2/7, b, 5/4
Let r(q) = q**2 + 1. Let c be r(-1). Sort -5, c, 4, 26.
-5, c, 4, 26
Suppose -3*s = 2*s - 10. Suppose 32 - s = -5*o. Let t = -3 - o. Put t, -4, 4 in increasing order.
-4, t, 4
Let n = 0.32 - -0.08. Let b = -0.6 - n. Suppose 1 = u + 5. Put u, b, 0 in descending order.
0, b, u
Suppose 5*d = 4*j - 5, 0 = 2*j + 2*j - d + 15. Let l = -11 - -3. Let z = l + 6. Put j, -1/8, z in descending order.
-1/8, z, j
Let v(o) = -o**3 + o**2 - 2. Let y(g) = -g**2 + 4*g + 5. Let x be y(5). Let n be v(x). Let j = -4 + 8. Sort 2, n, j.
n, 2, j
Let x = 188 + -183. Sort -4/9, 2/27, x, 1 in ascending order.
-4/9, 2/27, 1, x
Let u be (3/(-14))/((-9)/(-12)). Sort u, 0, 2 in increasing order.
u, 0, 2
Let q = 1.9 - 1.5. Let h = -0.2 - -0.4. Sort h, q, 0 in decreasing order.
q, h, 0
Let l = -14 - -25. Suppose -3*u + l + 1 = 0. Sort 5, 0.5, u in increasing order.
0.5, u, 5
Suppose 0 = 5*f - 23 - 2. Sort -2, f, -1 in increasing order.
-2, -1, f
Let k(h) = -30*h**3 + h**2 + 2*h + 1. Let u be k(-1). Suppose -c - 3*c = 4*n - 32, 