. Let b = -8 - -6. Put q, b, -0.5 in descending order.
q, -0.5, b
Let m = 7 + -6. Let z = 0.25 - 0.15. Sort m, -3/4, z in decreasing order.
m, z, -3/4
Suppose 3*d = 7 + 65. Suppose 2*r + 0*x = 4*x + d, 25 = -5*x. Put -5, r, 1 in decreasing order.
r, 1, -5
Suppose -3*m - 7 = z, -4*z + 3 = 4*m - 1. Suppose -6*b = -z*b - 1. Sort 0, b, -4 in ascending order.
-4, 0, b
Let h be 129/27 + (-6)/(-27). Sort h, -0.3, 2/7 in ascending order.
-0.3, 2/7, h
Let t(g) = g**2 - 8*g - 2. Let m(a) = 6*a**2 - 41*a - 11. Let z(r) = -2*m(r) + 11*t(r). Let u be z(-6). Sort u, 1/8, -3 in increasing order.
-3, u, 1/8
Suppose 2*w - 1 = 2*b - 7, 3*b - 2*w - 4 = 0. Let x be (2/4)/(3/(-6)). Sort 5, x, b in increasing order.
b, x, 5
Let l = -3.9 - -3.4. Let b be 4/6*9/4. Put 2/5, b, l in increasing order.
l, 2/5, b
Let o = -9 + 14. Suppose 5*r - o = 2*l, -2*r = -r + 1. Suppose -2*y - k - 13 = -0, -3*k = 15. Sort y, l, -2/3.
l, y, -2/3
Let c = 56 - 55. Suppose 3*a + a = 92. Suppose 2*o - j + a = -3*o, 2*j - 22 = 4*o. Put c, 4, o in descending order.
4, c, o
Let a be ((-1)/(-2))/((-1)/26). Suppose -2*x + 32 = -2*z, 94 = 5*x + 2*z - 0. Let r = a + x. Sort r, -1, 2 in ascending order.
-1, 2, r
Let t = -0.1 - 0.02. Let a = t + -0.38. Let r = -2 - -3. Put 0.2, a, r in increasing order.
a, 0.2, r
Let n be -2 + (3 - 28/36). Sort 1, -0.2, 4, n in ascending order.
-0.2, n, 1, 4
Let h(x) = -x**3 - 5*x**2 - x - 6. Let w be h(-5). Put w, 3, 0 in increasing order.
w, 0, 3
Suppose o + 3 - 8 = 0. Sort o, 0, -5 in descending order.
o, 0, -5
Suppose 0*f = 2*f + 2*t - 10, -3*f + 47 = -5*t. Put 4, f, -4 in descending order.
f, 4, -4
Let r = -1 - -5. Let z = 0 - 2. Let f be ((-4)/6)/(z/(-6)). Sort -4/3, f, r in descending order.
r, -4/3, f
Suppose 7*d = 4*d + 9. Sort -3, -0.2, d in decreasing order.
d, -0.2, -3
Suppose 5 - 1 = -4*d. Sort 3, -2, d in increasing order.
-2, d, 3
Let v = 41 + -43. Let a be 2/(-4)*-4 - 2. Put v, a, -1 in increasing order.
v, -1, a
Let y be (-6)/(-9) - (-10)/6*2. Put -6, 1, y, 5 in descending order.
5, y, 1, -6
Suppose -b + 0 = -11. Suppose -3 = 2*p - b. Let k = 7 - p. Put 5, k, -2 in decreasing order.
5, k, -2
Let w = -5.41 - -0.41. Let y = 5 + -8. Let h = y + 1. Put -2/3, h, w in ascending order.
w, h, -2/3
Let i = -0.6 - 0.4. Let a = 1.1 + i. Put a, 4, 1/11 in increasing order.
1/11, a, 4
Suppose -26 = 7*b + 9. Put b, -1, -6, -4 in ascending order.
-6, b, -4, -1
Let k be 8/(-24) + (-13)/(-3). Put -2, 1, k in ascending order.
-2, 1, k
Suppose z - 1 = 0, 0*n + 5*z - 1 = -2*n. Sort 1, n, -3.
-3, n, 1
Let c be -8*-1*(2 - 3). Put 2/13, 2, c in ascending order.
c, 2/13, 2
Let d be ((-2)/3)/(4/(-30)). Let l(r) = 1 + 4*r + 0*r**2 - d*r + r**2 - 3*r. Let t be l(4). Sort t, -2/11, 0.4 in descending order.
t, 0.4, -2/11
Let b = -282 + 2253/8. Let j be (-19)/(-21)*1 - 1. Sort j, 0.5, b in decreasing order.
0.5, j, b
Let y = 375/4 + -94. Sort -5, 0, y in descending order.
0, y, -5
Suppose -15 = -2*d - 3*d. Suppose -2*x - 2*h = -8, -15 = -3*x - 2*x - 4*h. Sort 1, d, x in descending order.
d, 1, x
Suppose 0*f + 11 = 4*u - 3*f, 0 = -u - f + 1. Sort 3, u, -4 in increasing order.
-4, u, 3
Suppose -3*t + 12 = 0, -5*t + 1 = -3*u - 28. Put 0, u, 3 in descending order.
3, 0, u
Let g be (214/3)/((-52)/48). Let z = 66 + g. Let b = 0 - 0. Put z, b, -2/5 in descending order.
z, b, -2/5
Let x(k) = k**3 - 9*k**2 - 10*k - 2. Let d be x(10). Sort -4, 3/7, d, -1 in ascending order.
-4, d, -1, 3/7
Let j = 113 + -109. Put 2, j, 30 in ascending order.
2, j, 30
Suppose -4*f + 2*f = 0. Suppose f = -2*w + 4 - 12. Let g(n) = n**3 + 6*n**2 - 7*n - 2. Let h be g(-7). Sort h, w, -5 in ascending order.
-5, w, h
Let w = -6 - -16. Let v be w/(-2) + 3*1. Let n be 1*(-1)/(-10)*v. Sort n, -0.1, 1.
n, -0.1, 1
Let o = 0.43 + -0.53. Put 14, o, -2/3 in ascending order.
-2/3, o, 14
Suppose -5*c - 4 = 1. Sort -5, 8, c in increasing order.
-5, c, 8
Let a be (-4)/3*(-4)/(-24). Suppose 0 = -5*n - 0*n + 15. Let g be (-1)/n - (-7)/12. Sort -4, a, g in decreasing order.
g, a, -4
Suppose 80 = t + 3*t. Suppose 0 = 4*a - 0 - t. Sort 2, 0, a.
0, 2, a
Let j = 0.8 - 0.5. Let z(w) = -w**3 + w**2 + w - 1. Let r be z(2). Sort -2/3, j, r in descending order.
j, -2/3, r
Let j = -96/19 + 1210/247. Put -0.5, j, 0 in descending order.
0, j, -0.5
Let x = -27 - -23.4. Let n = -0.4 + x. Let k be 16/28*(-9)/(-12). Put n, k, -3 in increasing order.
n, -3, k
Let t = 7 + -7. Put 4, -2, t in decreasing order.
4, t, -2
Let x = -0.6 + 1. Let b = x + -0.2. Let j = -0.7 + b. Sort 0.2, 1/6, j.
j, 1/6, 0.2
Suppose -q - 2*q - 9 = 2*s, 3*q = -3*s - 9. Let h be (8/(-6))/(-2)*6. Let i(c) = -c + 8. Let w be i(6). Put w, q, h in descending order.
h, w, q
Let o be -2 - (1 + (-30)/9). Sort o, -0.5, 4 in descending order.
4, o, -0.5
Let p = 3 - 3.1. Let i(h) = 2*h**2 - 3. Let o be i(-3). Suppose -3*g + 0*g = o. Sort 3, p, g.
g, p, 3
Let q = 35.3 + -34. Let i = q - 1.5. Sort -7, -0.5, i in ascending order.
-7, -0.5, i
Let m = 5 + 9. Let y be (4/(-12))/(m/(-4)). Put -3/5, -1/2, y in ascending order.
-3/5, -1/2, y
Let k be 1 + -1 - 2/(-8). Let y = 421.5 + -422. Sort k, -5, y in decreasing order.
k, y, -5
Let f be 70/57 + 6/57. Put -4, f, 1/7, -0.2 in decreasing order.
f, 1/7, -0.2, -4
Let p = -47 - -236/5. Let t be 6/(-8)*(-4)/12. Sort p, t, -1/6 in ascending order.
-1/6, p, t
Suppose 4*g = -g + 10. Let j be (0 - 0) + -1*4. Put g, j, 3 in decreasing order.
3, g, j
Let i = 7.06 + -0.06. Let y = i - 6.8. Put y, 2, 3 in ascending order.
y, 2, 3
Let v = 24 - 27. Put v, 1, -0.4 in ascending order.
v, -0.4, 1
Suppose 4*c = 6*c + 4*f + 12, -5*f = -5*c. Suppose -6*u + 4 = -2*u. Sort 5, c, u in ascending order.
c, u, 5
Let k(s) = -3*s**2 + 4*s + 2. Let v be k(6). Let f = -412/5 - v. Sort 4, 0.1, f in increasing order.
f, 0.1, 4
Let d = -4.62 + 0.62. Sort d, -0.5, -3 in ascending order.
d, -3, -0.5
Let w be 1 - (1 - 3/12). Let a = -2 + 1.6. Let u = -42 - -37. Put a, w, u in ascending order.
u, a, w
Let f = -4/21 - 1/7. Let v = 0.7 + -0.8. Sort f, v, -0.2 in descending order.
v, -0.2, f
Suppose 4*c + 2*u + 18 = 0, 2*u - 1 = -c - 13. Let q be (24/(-9))/(2/(-3)). Put q, c, -3 in ascending order.
-3, c, q
Let z be ((-4)/6)/(2/12). Let j(k) = k**3 + 8*k**2 + 3. Let y be j(-8). Put 5, y, z in increasing order.
z, y, 5
Let x(k) = k**2 - k + 1. Let o be x(2). Suppose 0 = m, -3*q + 4*q - 3 = o*m. Let s be 2/(-6) + (-2)/(-3). Sort s, q, -1 in ascending order.
-1, s, q
Let m(n) = 0*n + 0*n - n - 1 - 3. Let g be m(0). Sort g, -2, 0.5.
g, -2, 0.5
Let v be 1/7*-3*1*-7. Sort 0, 2, v in descending order.
v, 2, 0
Let a = -2 + 1. Let p = -9 - a. Sort p, 2, 0.5 in increasing order.
p, 0.5, 2
Let j be (-8)/(-14) - 4/6. Sort j, -2, -3 in decreasing order.
j, -2, -3
Let r = 1/4 - -1/4. Let q = 5 + -4. Let w = q + -1. Put w, -4, r in descending order.
r, w, -4
Let n be (3/(-9))/(3/6). Put -4, n, 2 in increasing order.
-4, n, 2
Let r = 3671055/22676896 - -3/64423. Let m = -11/32 + r. Let o = -6 - -5.9. Sort -0.5, o, m.
-0.5, m, o
Let o(m) = m**2 - 1. Suppose 0 = -5*z - 20, -4*z = -2*a - 2*a + 8. Let l be o(a). Put 2, l, 5 in decreasing order.
5, l, 2
Let p = 1 - 0.9. Let w = p - 0.6. Let n = 0.2 + -0.1. Sort -3/5, n, w in decreasing order.
n, w, -3/5
Let v = 12 + -9. Let j = 209 - 1041/5. Put 1, j, v in increasing order.
j, 1, v
Let b be (-4)/14 + (-23)/(-7). Let t = 114 + -119. Put t, 1, b in ascending order.
t, 1, b
Let b(d) = -d - 4. Let w be b(-4). Let a be -1 + 2 - (-4)/1. Suppose w = -a*j - 5 - 10. Sort 4, 5, j in increasing order.
j, 4, 5
Let r be (4/(-55))/(4/(-10)). Let c = 3.92 - -0.08. Suppose -2*z + 1 = -7*t + 4*t, 4*t = 4*z - 4. Sort c, r, t in descending order.
c, t, r
Let h be 1/(52/8 + -1). Sort 0.2, 0, h in ascending order.
0, h, 0.2
Suppose 3*o + 2*o + 16 = -3*t, -4*t - 3*o - 3 = 0. Put t, 9, 5 in ascending order.
t, 5, 9
Suppose 3*a = -3*y - 15, 0*y + a = 2*y - 5. Suppose y = 5*b - 4 + 14. Sort 1, b, -4 in increasing order.
-4, b, 1
Suppose 5*v + 0*v - 10 = 0. Sort -8, v, -0.3 in ascending order.
-8, -0.3, v
Let j = 20 - 16. Put 5, j, -3 in increasing order.
-3, j, 5
Let n(w) = -w**3 - 4*w**2 - 3*w + 2. Let b be n(-3). Let x be 4 + (2 - (-114)/(-18)). Put x, -11, b in decreasing order.
b, x, -11
Let a = -15 + 17. Let f = -0.1 - -3.1. Sort a, f, 1/2 in decreasing order.
f