e ((-9)/(-12))/(2/r). Put t, 1, 0 in decreasing order.
t, 1, 0
Suppose -c = 2*m - 3, 5*c + 24 = -0*m + 3*m. Sort -7, 2, m in decreasing order.
m, 2, -7
Let v = -363/7 + 52. Let l = -73 - -70. Put l, v, 2 in decreasing order.
2, v, l
Let x be 2*(0 + -1 + -1). Suppose -8 = -7*n + 3*n. Suppose 5*k = 5*d - 10, n*d + 16 = d - 5*k. Sort -5, x, d in decreasing order.
d, x, -5
Suppose -3 = s + 1. Sort 9, -2, 0, s.
s, -2, 0, 9
Let l = 5.0903 + 0.0197. Let d = l - 0.11. Sort -5, d, 4/5.
-5, 4/5, d
Suppose -2*j = j - n - 7, -5*n = 5*j - 5. Let v be j/5 - 4/(-10). Put -1/6, v, -0.5 in decreasing order.
v, -1/6, -0.5
Suppose -3*a = 3*l - 9, 0 = -0*a + 2*a + 2. Sort -3, 1, l.
-3, 1, l
Let a = -837 - -839. Let w(h) = h**2 - h + 1. Let q be w(1). Put q, a, 4 in increasing order.
q, a, 4
Let a = 3.01 - 0.01. Let v = 29/3 + -10. Sort 0.1, v, a in increasing order.
v, 0.1, a
Let s(b) = -b**2 - 8*b + 43. Let f be s(-12). Sort f, -1, 4, -2.
f, -2, -1, 4
Suppose 0*c + u = -2*c + 23, 3*c - 2 = 5*u. Put c, -1, -3 in descending order.
c, -1, -3
Let t be (-10)/15 + (-5)/(-3). Put 0.4, t, 2 in decreasing order.
2, t, 0.4
Let n = 3 - 2.6. Let x = n + -0.2. Let g = 1/17 - 43/153. Put x, 0, g in decreasing order.
x, 0, g
Let w = -169 - -169.3. Sort -1/5, 5, w in descending order.
5, w, -1/5
Let k = 10 - -7. Let b = -13 + k. Put -3, b, -4/7 in decreasing order.
b, -4/7, -3
Let a = -20 - -18. Sort a, -1, 3.
a, -1, 3
Let p be 3 + (-5 + 3)/(-1). Suppose -8*t = -p*t. Let o = 0 - -1. Sort t, o, -5 in decreasing order.
o, t, -5
Suppose -5*x = -3*g - 14, x + 2*g - 1 = 7. Sort 2, -5, x.
-5, 2, x
Let v = -3 + 1. Let x(h) = h**3 + 2*h - 1. Let o be x(1). Suppose 3*r - 3*p + 2*p = -5, -r - 5*p - 23 = 0. Sort r, o, v in descending order.
o, v, r
Let y = -0.9 - -0.6. Let m = -1.3 - y. Put m, 4, 1 in descending order.
4, 1, m
Let g = -12.95 + 13. Sort g, -0.3, -2.
-2, -0.3, g
Let u = -8 + 8.4. Put 2/7, 2, u in ascending order.
2/7, u, 2
Let c(z) = -z**3 + 4*z**2 - z + 1. Let v be c(4). Let j be 9/(-6)*(-4)/v. Sort -1/2, j, -0.4 in descending order.
-0.4, -1/2, j
Let l = -0.6 - -1.6. Let d = -1.01 + l. Let p = 4.01 + d. Sort 0.1, 0, p in decreasing order.
p, 0.1, 0
Let c = 1.92 - -0.08. Let s = c + 0. Sort -0.2, s, -2/3 in increasing order.
-2/3, -0.2, s
Let f be 2/3 - 22/(-3). Suppose 4*l - f = 4. Let w be ((-8)/2 + l)*4. Sort w, 0, -3 in decreasing order.
0, -3, w
Let l = -25 + 23. Sort 0.4, l, -0.4 in ascending order.
l, -0.4, 0.4
Suppose -22 = 3*w + 2*v, 2*w + 2*v + 2 = 4*w. Suppose z - 1 = -3. Put -3, z, w in descending order.
z, -3, w
Let b(p) = p - 5. Let a be b(4). Suppose 0 - 1 = l + 5*m, -2*l = 5*m + 7. Let z = l - -1. Put -2, z, a in increasing order.
z, -2, a
Let q = 2.2 - -1.8. Put q, 2, -4 in descending order.
q, 2, -4
Let l be (25/20)/((-2)/8). Put 1, l, -3 in decreasing order.
1, -3, l
Let m = -27 + 27. Put m, -3, 1/7 in descending order.
1/7, m, -3
Suppose 46 = 26*t - 84. Let k be 2 - 3*20/27. Put -4, k, t in decreasing order.
t, k, -4
Let b be (-2 - 1)/((-6)/(-16)). Suppose 0 = 3*z, 2*i - 4*z + 0*z + 6 = 0. Put -2, i, b in increasing order.
b, i, -2
Let g = 3.9664 - -0.0336. Let z = -0.5 + 3.5. Let q = 0.5 + -3.5. Put q, z, g in increasing order.
q, z, g
Let u(x) = 64*x + 2. Let h be u(-2). Let p be (-82)/h + (-2)/9. Let g = 4.1 + -4. Sort g, p, 5.
g, p, 5
Let k(d) = -12*d**3 + d**2 + d + 1. Let s be k(-1). Let m = -10 + s. Put 0, m, -0.1 in descending order.
m, 0, -0.1
Let f be 1/2*2 - -4. Let h(b) = b - 11. Let u be h(15). Put -4, f, u in descending order.
f, u, -4
Let c(a) = -a**3 + 7*a**2 + 7*a + 2. Let z be c(8). Let r be ((-2)/z)/((-124)/24). Let i = r + 97/62. Sort i, -3, 4/5 in ascending order.
-3, 4/5, i
Let i be 2/((-1 + 0)*-1). Suppose 7*t - 2*t = 3*d + 17, 2*t = d + 6. Sort 0, t, i in decreasing order.
i, t, 0
Let x = -169 - -172. Let z be 2/6 + (-44)/(-12). Sort z, -0.01, x in descending order.
z, x, -0.01
Let g = 17 - 19. Put g, -4, 1 in decreasing order.
1, g, -4
Suppose 2*m - 4 = 3*m. Let o be 228/(-48) - (-1)/m. Put 4, o, -3 in descending order.
4, -3, o
Suppose 5*k + 15 = -j, -j + 0 = 2*k + 9. Let u be ((-2)/(-3))/(k/(-12)). Let s = -17 - -20. Put u, s, 0 in decreasing order.
u, s, 0
Let v = 1 + 1. Suppose d = -d - 4*p - 4, -5*d + 1 = -p. Sort v, d, -4 in increasing order.
-4, d, v
Suppose -4*w + 0 = d + 7, 0 = 5*w + 10. Let k = -5 + 3. Put k, d, 2 in increasing order.
k, d, 2
Suppose -4*l + l = 0. Let v(g) = g**2 - 10*g - 7. Let y be v(11). Sort 5, l, y in ascending order.
l, y, 5
Let t(w) = -w**3 - 17*w**2 + 20*w + 34. Let s be t(-18). Let n be (0/1)/(1 - -1). Put s, 3, n in descending order.
3, n, s
Let l = -8.01 + 8. Let b = l - -0.21. Sort -5, b, -4 in descending order.
b, -4, -5
Suppose q - 12*q + 44 = 0. Put q, -11, -0.1 in decreasing order.
q, -0.1, -11
Let r be (2 + 0)*87/(-15). Let g = r + 56/5. Let o be (-12)/(-3) - (0 + 1). Sort g, 1/2, o in descending order.
o, 1/2, g
Let j be 1/(-24)*-9 - (-11)/(-8). Sort -11, 3, j in descending order.
3, j, -11
Let r = -47 + 52. Let s = -0.9 - 0.1. Put r, 2, s in decreasing order.
r, 2, s
Let h = -146 + 149. Sort 4, -1, 1, h in descending order.
4, h, 1, -1
Suppose -4*s - 18 = -58. Suppose -3*r = -8*r + s. Sort 1, r, 0 in ascending order.
0, 1, r
Let z = -104 + 103. Let h(j) = j - 2. Let v be h(5). Sort -2, z, v in descending order.
v, z, -2
Let u = 1 - -1. Suppose 2*g + 14 = -4*v, -4*g = -u*v - 3*g - 13. Let n(r) = -2*r + 10. Let c be n(7). Sort -1, c, v.
v, c, -1
Let b = -0.27 + -0.03. Sort 0.4, 5, b in descending order.
5, 0.4, b
Let g(c) = -c**2 + 7*c - 5. Let u be g(5). Let h = -36 - -31. Sort 4, h, u in increasing order.
h, 4, u
Let k be 7 + (-8)/12*3. Let j = 2 + -5. Suppose 5 = -4*y + 1. Put k, y, j in descending order.
k, y, j
Let c = -9/64 - -43/1216. Put 0.4, -3/5, c in decreasing order.
0.4, c, -3/5
Suppose 0 = -3*g + 11 - 5. Let v = -18 + 13. Put g, -2, v in decreasing order.
g, -2, v
Let y = 4 - 7. Suppose 6*x - x + 22 = b, -10 = 5*b + 5*x. Suppose -2*f + b = -f. Put y, -1, f in descending order.
f, -1, y
Suppose -47 = -5*c - 32. Suppose 0 = -0*a + 5*a + 40. Sort 0, a, c in ascending order.
a, 0, c
Let w = -2.7 + 2.64. Sort -1, -4, w in descending order.
w, -1, -4
Let y = 0.6 - 0.4. Let l = -0.3 + y. Let u = -1 + 0. Put 3, u, l in descending order.
3, l, u
Let m be 1*-14*9/6. Let a = m + 23. Put -1/2, 3, a in descending order.
3, a, -1/2
Suppose 0*y = 4*y. Sort y, -1, -7 in descending order.
y, -1, -7
Suppose d - 2*g = -0*g, 3*d - 20 = -4*g. Let s(r) = 3*r**3 + r. Let n be s(-1). Put d, n, 2 in decreasing order.
d, 2, n
Let c = 0 + 1. Suppose 0 = -3*u + c - 10. Put -2, u, 4 in increasing order.
u, -2, 4
Let b = 11.6 + -11.2. Let t = -0.2 + 0.3. Let z = -0.6 + t. Sort 1, z, b in decreasing order.
1, b, z
Let u = -56 + 55. Sort u, -3, 4, 12 in descending order.
12, 4, u, -3
Let t be -1*3*(-5)/(-3). Suppose -5*i - 3*c = -22, 23 = 5*i - 0*i + 2*c. Sort i, 4, t in increasing order.
t, 4, i
Let h(d) = d**3 + 6*d**2 - 16*d. Let m be h(-8). Put -5, 5, -4, m in ascending order.
-5, -4, m, 5
Let q = -0.17 - -2.17. Suppose -3 = -4*h - 2*k + 3, -5*h + 4*k = -1. Sort h, q, 3/5.
3/5, h, q
Let w = -18 - -13. Let g = -1 + 3. Let v be (g/(-10))/(8/10). Sort w, -2, v in ascending order.
w, -2, v
Let h(r) = -r**3 - 6*r**2 + 16*r - 4. Let z be h(-8). Sort 2, z, -8 in descending order.
2, z, -8
Let z = 425/6 + -71. Let u(c) = -c**3 - 3*c**2 - 2*c. Let k be u(-3). Let a be (-1 + 9/k)*-2. Put z, a, -0.2 in descending order.
z, -0.2, a
Let g = -0.069 + -9.331. Let t = -9 - g. Sort t, -1/3, 3 in decreasing order.
3, t, -1/3
Let f(s) = -1 + s - 3 - 3 + 3. Let t be f(8). Put t, 3, -3 in decreasing order.
t, 3, -3
Let f = -3 - -3. Suppose f = -0*x - 2*x. Let o = -431/10 - -87/2. Put x, 0.3, o in ascending order.
x, 0.3, o
Let b = -3.5 - -1.5. Put b, 0.07, -1/4 in decreasing order.
0.07, -1/4, b
Suppose 5*d - v = -5*v - 20, 0 = -3*d + 3*v - 12. Sort -2, 1, d.
d, -2, 1
Let b = 46 + -40. Sort b, 0, 5.
0, 5, b
Let a be ((-160)/144)/(1 + 5/(-3)). Let n = 0.06 + -1.06. Let o(b) = 2*b + 2. Let d be o(-3). Put n, d, a in decreasing order.
a, n, d
Suppose 0 = 8*o - 5*o - 9. Put o, 3/4, -2/13 in decreasing order.
o, 3/4, -2/13
Suppose 60*j = 61*j - 5. Sort 4, j, 0 in descending order.
j, 4, 0
Suppose -m + 2 = 23. Let r = 18