1, -3, z in increasing order.
-3, z, -1
Suppose -92 = 3*m + 25. Let o = -75/2 - m. Put 2/11, 0.3, o in increasing order.
2/11, 0.3, o
Let z be 4/6 - 65/(-15). Let y = 9 - z. Let v be -1 - (-2 + y - 3). Put -5, v, 4 in ascending order.
-5, v, 4
Let x = 277/42 + -13/2. Let q = 16/21 - x. Let l = -2/111 - -187/111. Sort l, q, -4.
-4, q, l
Let b be (-6)/4*(-16)/(-426). Let l = b - -210/1207. Let f = -1/51 - -115/663. Sort l, f, -1 in increasing order.
-1, l, f
Let s = 7 + -12. Suppose -3*u = -0*u + 4*c + 1, -3*c - 13 = 4*u. Let f = -9 - u. Put 0.2, s, f in increasing order.
s, f, 0.2
Suppose -2*g + 3*g = 2. Suppose 0 = o + 2*o - 15. Suppose 0 = -k + o. Put g, -4, k in ascending order.
-4, g, k
Let t = -22 - -27. Sort t, -4, -2.
-4, -2, t
Let z = 828/7 + -118. Let s = 2468/13 - 190. Sort 0.4, s, z in decreasing order.
0.4, z, s
Suppose 2*i - 27 = k, i + 5*k = k. Let p = 10 - i. Sort 8, p, 0 in decreasing order.
8, 0, p
Let q = -1.2 - -0.2. Sort q, -0.2, -2 in increasing order.
-2, q, -0.2
Let z = -0.369 - 0.031. Let l = -0.8 + 0.5. Put -1, z, l in descending order.
l, z, -1
Let d = 8 - -4. Sort -5, d, -0.1.
-5, -0.1, d
Suppose 0 = -9*z + 1 - 19. Sort -26, z, -3 in increasing order.
-26, -3, z
Let g = -0.2 + 0.7. Let h = 0.4 - g. Put h, 1/3, 5 in descending order.
5, 1/3, h
Suppose -3*m - m + 14 = -u, -5*u + 6 = -m. Sort 10, -3, u in descending order.
10, u, -3
Let z be (-2)/(-9) + (-68)/(-18). Suppose -7 = -5*f - 4*y, 0 = 4*f + 4*y - 4. Sort 2, f, z in ascending order.
2, f, z
Let w(s) = -s**2 + 5*s + 4. Let o be w(5). Sort o, -2/15, -0.5 in decreasing order.
o, -2/15, -0.5
Let u = 8 + -7. Let b = -2 - u. Put b, 4, -4 in descending order.
4, b, -4
Let c = -39 + 120.1. Let r = c + -85. Let j = r - -4. Sort 0, j, -4 in ascending order.
-4, 0, j
Let f = -51 - -47. Put 0.5, f, 13 in descending order.
13, 0.5, f
Let x = 13 + -12.1. Let a = x - -0.1. Let p = 1.2 - a. Put p, -4, 5 in descending order.
5, p, -4
Let q = -4 + 1.5. Let p = q + 0.5. Put -5/4, p, 0.1 in decreasing order.
0.1, -5/4, p
Suppose 0 = -h - c + 3, c - 2*c = 3*h - 7. Suppose 3*m = h*m - 4. Sort 0, m, 3 in ascending order.
m, 0, 3
Suppose 0 = -3*g + 6 + 3, -5*d = -5*g. Let h = d + -4. Suppose -12 = 4*m + 4. Sort h, 4, m in descending order.
4, h, m
Let b be -1*(-3 - -5) + -1. Put b, 5, 1 in decreasing order.
5, 1, b
Let f(c) = c**2 + 6*c - 6. Let x be f(-6). Let u(z) = -z**2 - 6*z - 2. Let s be u(x). Let m = s - -2. Sort 2, m, -2.
-2, m, 2
Let k(s) be the second derivative of 0 - 1/12*s**4 - 2*s - 3/2*s**2 - 1/2*s**3. Let z be k(-2). Put z, -6/11, 2/17 in descending order.
2/17, -6/11, z
Let m(z) = -2*z - 4. Let w be m(0). Put 3, 6, w in descending order.
6, 3, w
Let m = -227 + 226.8. Let j = 0.5 - 2.5. Sort m, j, 0.1 in descending order.
0.1, m, j
Suppose -2*h = 2*h. Let r = -13 + 9. Suppose 5*c - 4 - 21 = 0, -20 = -o - 3*c. Put r, o, h in ascending order.
r, h, o
Let v be (-4)/10 + (-67)/(-266). Let u = 3/70 + v. Sort -1, 0, u in decreasing order.
0, u, -1
Let l be ((4 - 8) + 3)/(2/(-4)). Sort l, -5, -4 in descending order.
l, -4, -5
Let v = -3 - -2. Let l = v - 4. Put l, 4, 0.5 in ascending order.
l, 0.5, 4
Suppose 0*h - 2*h = -2*c - 8, h = 0. Let p be -1*(-1)/((-2)/6). Sort 3, c, p in ascending order.
c, p, 3
Let s = 105 + -105. Sort 42, 4, s in ascending order.
s, 4, 42
Suppose 3*m - 7*j + 3*j = -20, 0 = m - 3*j + 10. Let i = -4 - m. Sort i, 5, -1 in descending order.
5, i, -1
Suppose 2*o = 3*o. Suppose -b = -4*r, o*b = -b - 4*r. Suppose -2*h + 6*h + 16 = b. Sort h, -1, -5 in increasing order.
-5, h, -1
Let w(d) = d**2 - 7*d. Let z be w(7). Let y be (0 + z)/(1/(-1)). Sort -4, y, 2 in decreasing order.
2, y, -4
Suppose 2*h = -1 + 7. Sort 1, 4, h in decreasing order.
4, h, 1
Suppose u = -4*j + 28, 3*j + 0*j + 17 = 4*u. Let s(l) = -3*l + 19. Let g be s(u). Put g, -2, 3 in descending order.
3, -2, g
Suppose -196*g - 6 = -193*g. Let q(m) = m + 3. Let t be q(-4). Let r = 0 - t. Put -1, r, g in increasing order.
g, -1, r
Let j = 11/4 + -13/4. Let a = -0.073 - 0.027. Sort 1/2, a, j.
j, a, 1/2
Suppose -9*r + 0 - 18 = 0. Put 0, -1, r in increasing order.
r, -1, 0
Let n be (18 + -3)/(-2 + 52/8). Sort 5, n, -0.4, 1 in descending order.
5, n, 1, -0.4
Let c be (-20)/(-8)*10/25. Sort c, -3, -1.
-3, -1, c
Let b = -7 + 6. Sort -2/9, -1/2, b in decreasing order.
-2/9, -1/2, b
Let i = -3499/13 + 269. Sort -0.5, 0.06, -5, i in decreasing order.
0.06, i, -0.5, -5
Let a = -84 + 102. Sort 1, 2, a.
1, 2, a
Let c be (-17)/(-170)*(1 - 13). Sort c, 2/7, 4, -2 in increasing order.
-2, c, 2/7, 4
Let n = 3.981 - -0.019. Sort 1, -1, n in descending order.
n, 1, -1
Suppose 6 = 6*z - 4*z. Let o be (z - 5)/(-2)*1. Put -4, o, 0 in descending order.
o, 0, -4
Let r be -2 - 28/(-12) - 4/(-15). Sort 0.1, 3/17, r in descending order.
r, 3/17, 0.1
Let a = 83 - 78. Put a, 1, 4, 0.42 in decreasing order.
a, 4, 1, 0.42
Suppose 1 - 3 = -2*f. Let w be f*(-3 + -4 + 2). Let n be -1 - (-4 - (-2)/2). Put w, n, 5 in increasing order.
w, n, 5
Let w = 2 + 0. Let p be (-12)/42 + 4/14. Suppose 16 = 4*r + z, z = -p*r + 2*r - 14. Put -5, w, r in ascending order.
-5, w, r
Let r be (-156)/(-12) - 10 - 1*3. Let c = -1 - 0. Put -5, r, c in decreasing order.
r, c, -5
Let i = -0.1 + 0.2. Let k = i + -0.1. Let l = 0 + 3. Put -2, k, l in ascending order.
-2, k, l
Let g = -45 - -47. Let h be (-1)/((-10)/(-12)) + 1. Sort h, 2/5, g.
h, 2/5, g
Suppose 0 = 3*w + 2*j - 28 + 5, 2*j - 28 = -4*w. Let a be 3/(3/2) - 5. Sort -4, a, w.
-4, a, w
Let d(v) = v - 4. Let h be d(5). Suppose h = -y + 5. Sort 2, y, 11.
2, y, 11
Let q be ((-22)/28 - 13/(-26))/(-2). Let v = 34/21 - 2/7. Put q, -1, v in descending order.
v, q, -1
Suppose -3*o = -6*o. Suppose k + 2*k = 2*s - 14, 4*s + 5*k - 6 = 0. Suppose o*p = s*p. Sort -3, p, -2 in descending order.
p, -2, -3
Let h be ((-1)/(-2))/(1/(-2)). Put 0, -3, 2, h in descending order.
2, 0, h, -3
Suppose 2*r - 40 = 6*r. Let d = -31 - -19. Let l = r - d. Put 4, -4, l in increasing order.
-4, l, 4
Let a = -2 + 2. Let z = a + 0. Let s = -15 + 17. Put z, -5, s in ascending order.
-5, z, s
Let q be (-10)/(-3)*12/(-10). Suppose -4*f + 2 = -6*f. Put q, f, 2 in descending order.
2, f, q
Let h = 0.45 + -0.05. Let r = 8.6 - 9. Let m = -0.6 - r. Sort 3/4, h, m in ascending order.
m, h, 3/4
Suppose 3*t - 12 = 2*v - 5*v, 0 = 3*t - 3*v - 12. Put t, -2, 3 in decreasing order.
t, 3, -2
Suppose 3*m = 5*m - 20. Let q = -6 + m. Put 0, -1, q in ascending order.
-1, 0, q
Let l be 0*((-15)/(-6))/(-5). Suppose l = q - 2 + 1. Sort q, -2, 2 in descending order.
2, q, -2
Suppose 0*d - c + 95 = 2*d, -3*c + 9 = 0. Let x(l) = -l**2 + l + 4. Let t be x(4). Let w be d/56 + 2/t. Put 2/15, -1/3, w in decreasing order.
w, 2/15, -1/3
Suppose 2*f + 12 = 2. Put f, 4, 2 in increasing order.
f, 2, 4
Suppose 4*q = 6*q - 8, 3*x = 2*q - 17. Let f be 1/4 - (-2)/(-8). Let b = f + -4. Put x, 5, b in ascending order.
b, x, 5
Let d be (-4)/(-6)*(-3)/(-6). Let m be 45 + 2 + -2 + 2. Let x = 140/3 - m. Sort d, 5, x.
x, d, 5
Let p = -1 + 2. Let i be (2/p - 0)*1. Sort -3, i, -2 in descending order.
i, -2, -3
Let d be (-39)/1 - (-4 + 7). Let p be 46/d - (-4)/6. Sort -2, 5, p.
-2, p, 5
Let b = 0.9 - 0.6. Let x = 0.12 - 0.42. Put b, x, -2/11 in increasing order.
x, -2/11, b
Let p = -0.127 + 0.027. Sort p, 4, -0.4 in ascending order.
-0.4, p, 4
Let y = -0.05 + -0.25. Put -0.4, -0.2, y in descending order.
-0.2, y, -0.4
Suppose 0 = -d + 3*d - 8. Let y(s) = -3*s - 23. Let b be y(-7). Sort d, b, 0.
b, 0, d
Let z = 6 - 8. Let k(t) = -t + 1. Let i be k(z). Put 5, i, 1 in increasing order.
1, i, 5
Let j be 2 + 4 + 2/(-2). Suppose 2*h + 2 = -3*o, 1 = 4*h + j. Let u be (-3 + 6)/((-3)/2). Sort o, u, -1 in descending order.
o, -1, u
Suppose 5*w = 3*y - 42 + 186, w + 3*y - 36 = 0. Let v be (-13)/w + 2/6. Let k = 0.02 - -0.98. Put v, k, -2 in decreasing order.
k, v, -2
Let i(q) = -q**2 - 14*q - 14. Let k be i(-11). Let b = k - 16. Sort b, -1, 5 in decreasing order.
5, b, -1
Let c = 0.3 - 3.3. Suppose 3*j - 4*j + 2 = 0. Suppose -j*h + 7 = -1. Sort 1/2, h, c.
c, 1/2, h
Let n = -2.2 + -0.8. Let i = 0.31 + -0.11. Let y(j) = 3*j**3 - j**2 + j - 1. Let m be y(1). Put m, i, n in increasing order.
n, i, m
Let i = 5.6 + -6. Let z = -8/9 + 5/9. Let l = 3 - 3.5. Sort i, l, z.
l, i, z
Let z = -231 +