 y, m, -0.1 in increasing order.
m, -0.1, y
Let h = -81 - -76. Put 3, h, 4 in decreasing order.
4, 3, h
Let c be (-1)/2*0 + 1. Suppose 0 = -2*z + c - 9. Let p(u) = -u - 15. Let t be p(-10). Put t, z, 3 in descending order.
3, z, t
Let u(l) = -l**2 - 5*l + 4. Let s be u(-6). Sort -6, s, -1 in increasing order.
-6, s, -1
Let y(l) = l**2 + 2*l. Let w be y(-3). Suppose -5*j + 2*j - 218 = -2*x, w*j + 214 = -2*x. Let f be 2/(-18) - (-16)/j. Put 0.5, f, -3/2 in ascending order.
-3/2, f, 0.5
Suppose 0 = 4*t + 4*h + h + 20, 5*t + 25 = 4*h. Put -2, -0.5, t in increasing order.
t, -2, -0.5
Let q be (2/4)/(8/(-80)). Let t be 48/8 + -1 + -2. Sort q, 1, t.
q, 1, t
Let j be 9 + (0 - -1)*-1. Suppose 50 = 36*i - 46*i. Sort i, 0, j in ascending order.
i, 0, j
Suppose -4*l + p = 4, -4*p = -l - 2*l - 3. Let u = 4 + -4.02. Let a = u + 1.02. Put -1/2, a, l in descending order.
a, -1/2, l
Let q be (-32 - (4 + -2))/2. Let y = 13 + q. Put y, 1, 4 in decreasing order.
4, 1, y
Let m be (-1 + -5)/3 - -9. Suppose g + 3 = -0*g. Sort m, 3, g in ascending order.
g, 3, m
Let c = -128 - -212. Let u be (-2)/11 + c/(-22). Suppose -3 = -3*h - 0. Put h, u, 2 in decreasing order.
2, h, u
Let b = 22 + -20. Sort 1/4, 0.2, b in descending order.
b, 1/4, 0.2
Let b = 748/7 - 107. Let v = 1 - -2. Sort v, b, 2.
b, 2, v
Let d be (2/(-2))/(3/(-12)). Suppose -d*f = -6*f + 26. Let h = -9 + f. Put 3, -3, h in increasing order.
-3, 3, h
Let d = -4.9 - 0.1. Let f(h) = -h**3 - 2*h**2 + h - 10. Let m be f(-3). Sort m, 0.4, d in descending order.
0.4, m, d
Let a = -36 + 21. Let t = -15.3 - a. Let p be 64/126 + (-2)/7. Sort t, p, 0.4 in descending order.
0.4, p, t
Let a = 0.08 - -2.92. Let n = 3.1 - a. Put n, 3, -5 in ascending order.
-5, n, 3
Let b = 2/87 - -160/609. Let r be ((-2)/(-12))/((-10)/15). Sort r, b, 1/9 in descending order.
b, 1/9, r
Let g be 5 + -1 - (-3)/1. Suppose q - 5*l - 13 = 3*q, 3*q - 5*l = -g. Put q, 0, 2 in descending order.
2, 0, q
Let s = -163 - -163.1. Sort -4, 1/3, -1, s in increasing order.
-4, -1, s, 1/3
Let w = 30 + -30.17. Let s = 0.07 + w. Let m = 0.9 - s. Sort -1/6, -1, m in ascending order.
-1, -1/6, m
Let x be (-2 - -5) + (6 - 1). Suppose -2*r = 2 + x. Put r, -0.2, -2 in ascending order.
r, -2, -0.2
Suppose -27 = 4*q - m, 4*q - m + 18 = -3*m. Let k = -4 - q. Let d be (1/2)/(8/16). Put -5, k, d in ascending order.
-5, d, k
Let y = 47 + -51. Put 1, -2, -1, y in increasing order.
y, -2, -1, 1
Let p be (411/(-158))/(2*-1). Let z = p + -4/79. Let i = -11.6 - -12. Sort -0.2, i, z in decreasing order.
z, i, -0.2
Let t = 5/3 + -7/6. Let i be 1/4 - (-1553)/(-20). Let a = -77 - i. Put -2, a, t in ascending order.
-2, a, t
Let c = -3.96 + -0.04. Let w = -6.87 - 0.13. Let h = -6.7 - w. Sort -1/5, c, h.
c, -1/5, h
Let u = 5 + -19. Let y = 22 + u. Let j = y + -8. Put -0.5, -0.2, j in decreasing order.
j, -0.2, -0.5
Suppose -4*h = c + 15 - 0, c + 3*h = -11. Sort 3, 5, c in ascending order.
c, 3, 5
Let p = -0.053 + 2.153. Let w = p + -1.7. Put -0.1, w, -5 in decreasing order.
w, -0.1, -5
Let u be 1 + 2 + (-70)/30. Sort u, -4, 0.1.
-4, 0.1, u
Let x = 4.08 - 0.08. Let g = -3 + x. Sort g, 0.2, 0 in increasing order.
0, 0.2, g
Let v = 0.22 + 0.08. Let g = -91.05 - -91. Put g, v, 2 in descending order.
2, v, g
Let i = -2.8 + 3. Let y = i + -0.5. Let l be 4 - (1 + 1)/(-2). Sort 3, y, l in increasing order.
y, 3, l
Let q(b) = b + 7. Let f be q(-4). Let c = -24.84 + 22. Let g = c + -0.16. Sort f, 0.5, g in descending order.
f, 0.5, g
Suppose 5*g - 17 = -3*z, 2*z - 2*g + 10 = -0*g. Let o = 5 + -5. Let i = 2 + o. Sort z, i, -2 in descending order.
i, z, -2
Let c = 173 + -172.5. Sort 4, c, -1/6.
-1/6, c, 4
Let n = 0.048 + 1.952. Let w = -0.4 - -0.9. Put n, w, -5/6 in ascending order.
-5/6, w, n
Let z = -1.9 - -2.1. Let h(x) = x**2 - 8*x - 1. Suppose -2 - 38 = -5*r. Let f be h(r). Put z, -0.2, f in ascending order.
f, -0.2, z
Let z = -2 + 1. Let h be (z/(-8))/((-3)/(-6)). Let s = 3 - 2.6. Sort -3/5, h, s.
-3/5, h, s
Let j be -3 - ((-117)/(-3))/3. Sort 1, j, 0 in decreasing order.
1, 0, j
Let x = -191/2 - -94. Sort -11, -0.1, -4, x in increasing order.
-11, -4, x, -0.1
Suppose -7*z + 3*z + 24 = -d, -4*d + 4*z - 96 = 0. Let x = 34 + d. Suppose -p + x = -3*p. Put 2, 1, p in increasing order.
p, 1, 2
Let k be (4/12)/((-1)/(-21)). Let b(r) = -2*r + 10. Let p be b(k). Suppose -3*q - 4 = q. Sort 5, q, p in ascending order.
p, q, 5
Let i be -1*(-3 + (-8)/(-2)). Let j = -14 + 14. Sort j, 5, i.
i, j, 5
Suppose 129 = 5*s - 11. Let y be s/(-5) + 6/(-15). Sort -1, y, 1 in ascending order.
y, -1, 1
Let o = 3 + -7. Sort 0.1, 0.4, o in decreasing order.
0.4, 0.1, o
Let s = 13 - 10. Let j be (2/6)/(s/36). Put j, -6, 2 in ascending order.
-6, 2, j
Let n(r) = r + 3. Let f be n(-2). Let j(l) = 6*l**2 + l + f + 0*l + l**3 + 5*l. Let g be j(-5). Put -2, g, 2/23 in ascending order.
g, -2, 2/23
Let v be ((-9)/(-6))/((-12)/(-8)). Let z = 1 + v. Sort -5, -7, z in decreasing order.
z, -5, -7
Let h = -1.74 + 1.6. Let s = -0.06 + h. Put 0.4, s, -5/3 in decreasing order.
0.4, s, -5/3
Let y(r) = -4*r**3 - 2*r - 1. Let w be y(-1). Sort -5, -1, w in descending order.
w, -1, -5
Suppose -8 = 4*z - 0, 12 = -2*x + z. Put x, 2, 5 in decreasing order.
5, 2, x
Suppose -4*t + 25 + 35 = 0. Suppose -3*m + t = -0*m. Suppose m*u + 2*q + 4 = 3*q, 4*q = 3*u - 1. Put -3, 3, u in ascending order.
-3, u, 3
Let y = 58 + -60. Sort y, -2/5, 3.
y, -2/5, 3
Let c be 2/4*(14 - 2). Let x be c*1/2*-1. Sort 5, x, -2 in decreasing order.
5, -2, x
Let i = 75/2 + -37. Sort i, -0.3, -1/3 in decreasing order.
i, -0.3, -1/3
Suppose 2*v - 7*v = -150. Let c be (5/v)/(2/4). Sort 4, c, 0.5.
c, 0.5, 4
Let a = 31 - 30.83. Let n = a - 0.08. Put -0.5, n, -2/13 in decreasing order.
n, -2/13, -0.5
Suppose s + 0*a + 17 = -3*a, 0 = -a - 5. Let t be -3 + (5 - -1) + 2. Put 3, t, s in descending order.
t, 3, s
Suppose 12*p + 5 = 197. Sort p, 2, -4 in decreasing order.
p, 2, -4
Let i(n) = -1 - 2*n - 3 + 3. Let a be i(-1). Sort 0, 4, a in ascending order.
0, a, 4
Let c be 0 + (-2 - -2)/3. Let i be 3/(c + 9/15). Sort 3, -6, i in descending order.
i, 3, -6
Suppose 3*a - 6 = -2*a - 4*z, 0 = 4*a + z - 7. Put a, 1, 0 in descending order.
a, 1, 0
Suppose 35*k - 32*k = 6. Sort 0, k, -9 in increasing order.
-9, 0, k
Suppose -q = -2*q - 1. Put 4, q, 1, 5 in descending order.
5, 4, 1, q
Let b be ((-3)/(-2))/(2 + 36/(-16)). Put 5, b, -3, 3 in descending order.
5, 3, -3, b
Let m be (-3)/1 + 8 + -7. Put m, 2, 0 in increasing order.
m, 0, 2
Let d = -37 - -37.19. Let f = d + -0.09. Put 1, -4/9, f in descending order.
1, f, -4/9
Let b = -15 + 13. Sort -1, b, 3/4 in descending order.
3/4, -1, b
Suppose -2*j = 2*j + 16. Let n be 3/(-12) - 6/8. Sort n, 5, j in descending order.
5, n, j
Let s be (-4)/(-14)*(-1 + 2). Let n = 2 - 0. Let p = 4 - n. Sort s, 3, p in ascending order.
s, p, 3
Let h(f) = -f**3 + 7*f**2 - 2*f + 8. Let r be h(7). Let g be r*(-3 - -1)/4. Sort 4, -3, g in ascending order.
-3, g, 4
Suppose 0 = 3*f + 3*m - 6, 5*m + 2 - 10 = -3*f. Let r(z) = z**3 - 10*z**2 + 8*z + 5. Let q be r(9). Let l = q + -1. Sort l, 0, f in ascending order.
l, 0, f
Suppose 6 = -4*m + 5*m. Let g = -6 + m. Sort g, 4, -3.
-3, g, 4
Suppose -50 = -5*p - 4*m, 5*m + 3 + 2 = 5*p. Suppose 3*l = l - p. Suppose 9*i - 10*i = 2. Put 2/7, l, i in descending order.
2/7, i, l
Let n be 1/5 - 19/(-5). Let s = 0 - 0. Sort s, 3, n in descending order.
n, 3, s
Let x = -7 + -4.9. Let j = x - -12. Put -0.1, j, 11 in ascending order.
-0.1, j, 11
Let i = 4.5 - 4.6. Sort 3/4, 3, i in decreasing order.
3, 3/4, i
Suppose m + 2 = -2. Let v(l) = -l**2 - 3*l - 2. Let q be v(-2). Sort q, -5, m in descending order.
q, m, -5
Suppose -4*y - 3*b - 2 = 0, -8 = 3*b - 7*b. Suppose -3*o - 9 = -3*v, -4 = 2*o + 5*v + 2. Let n = o + 2. Sort y, 5, n in descending order.
5, n, y
Let h = -3 - -4. Let z be (48/(-300))/(-1 - (-9)/15). Let d = -3 + 0. Put h, z, d in decreasing order.
h, z, d
Let i be (-4)/14 - 30/(-7). Let m be (-14)/(-35) - 154/10. Let h = 13 + m. Sort -3, i, h in ascending order.
-3, h, i
Let w be 52/5 + (-8)/20. Suppose 0 = t + 4*f + f + 18, -3*t = -f - w. Suppose -u + 3*y = -8, u + t*y = -u. Sort u, 4, -5 in decreasing order.
4, u, -5
Let c = 6.7 - -2.3. Let x = 8.9 - c. Sort 2/7, x, 1 in increasing order.
x, 2/7, 1
Let b = 