 o = -6 - d. Put 1, o, 3 in increasing order.
1, 3, o
Let r = 3.15 - 1.15. Sort 3/7, -1, r in decreasing order.
r, 3/7, -1
Let f = 293/5 - 58. Sort -1/3, 2/11, 1/6, f in decreasing order.
f, 2/11, 1/6, -1/3
Let k = -6 - -6.2. Put 14, k, -0.3, -1/5 in increasing order.
-0.3, -1/5, k, 14
Let h = -43 - -44. Let t = -1/38 + -143/342. Sort h, 0.3, t.
t, 0.3, h
Let x = 4 - 2. Suppose -2*f - 6 = -0*f. Put x, f, -2 in ascending order.
f, -2, x
Suppose 0*j + 5 = -j + 4*k, 3*j + 3*k = -15. Let c = 2 + j. Sort c, -4, 1 in ascending order.
-4, c, 1
Let m = 0.15 + 4.85. Put m, -6, 0.3 in descending order.
m, 0.3, -6
Suppose -7*i = -0*i + 21. Put -0.5, 1/2, -1/3, i in decreasing order.
1/2, -1/3, -0.5, i
Let p be 4/14 - (-240)/42. Let d(h) = 6 - h - 1 - 1. Let j be d(p). Put 2, 1, j in decreasing order.
2, 1, j
Suppose 10 = -x - 3*o + 2, -5*x = o - 16. Sort x, 5, 1, -5 in increasing order.
-5, 1, x, 5
Let q = 13/18 + -20/9. Sort q, -4, 1 in ascending order.
-4, q, 1
Let w(z) = z**3 + 16*z**2 + 16*z + 14. Let i be w(-15). Put -0.5, i, 20 in increasing order.
i, -0.5, 20
Let t = -0.13 + 2.13. Sort -0.2, t, -1/3, 4 in descending order.
4, t, -0.2, -1/3
Let y = 3 + 0. Suppose -3*w - 5*v - 5 = 0, y*w = -w + 2*v + 2. Suppose w = -5*t + 2*t. Sort t, 4, -1.
-1, t, 4
Suppose 0 = -3*z - x, z - 10 = 3*x - 0. Sort z, 0, 2 in decreasing order.
2, z, 0
Suppose -3 = -3*l, 0 = -0*w - 4*w + 4*l - 12. Let b = 4 - 7. Let a(t) = t**2 - 6*t + 4. Let m be a(6). Sort m, w, b in increasing order.
b, w, m
Let t = 0.2 - 3.4. Let s = 0.04 - 3.04. Let b = t - s. Put 0.4, b, 2 in descending order.
2, 0.4, b
Let k = -13 - -8. Let n be -1 - (-1)/5*3. Sort 0.2, k, n in ascending order.
k, n, 0.2
Suppose -14 = -5*w + 3*o, -4*w + 3*o - 3 = -13. Suppose -5*y + w*h + h = -20, 2*y = -4*h - 16. Let f = 0.3 - 0.6. Sort f, y, -1 in increasing order.
-1, f, y
Let j be ((-2)/(-4))/((-4)/(-32)). Suppose 4*z - j*s - 9 = z, 0 = -3*z + 2*s + 3. Let b = 4 + -7. Put z, b, 4 in decreasing order.
4, z, b
Let d = -6.5 + 3.8. Let q = d + -2.3. Suppose 0 = -4*g + 7*f - 3*f, -3*g - 4*f = 0. Sort q, g, 5 in increasing order.
q, g, 5
Let p(c) = 3*c + 19. Let t be p(-5). Sort -2, t, 5, 2 in ascending order.
-2, 2, t, 5
Let p = -6 + 23. Let t = p + -22. Put t, -1/2, 5 in decreasing order.
5, -1/2, t
Let z be (0 - 12/(-3)) + 34/(-10). Sort z, -1/17, 0.5 in ascending order.
-1/17, 0.5, z
Let b = -38 - -24. Suppose -2*s - 28 = -u + 4*u, 3*s - 3 = 0. Let y = u - b. Sort 3/5, -0.4, y in ascending order.
-0.4, 3/5, y
Suppose -10 = -2*p - 4. Sort p, -0.1, 2 in increasing order.
-0.1, 2, p
Let u = -7 + 13. Let x = -9 + u. Put -2, 1, x in descending order.
1, -2, x
Let f be 1 + 1 + 2 + 0. Let r(x) = -x**2 + 20*x - 48. Let k be r(17). Put k, f, -8 in descending order.
f, k, -8
Let x = 20 + -15. Put x, -1, 1 in decreasing order.
x, 1, -1
Suppose 8*z + 55 = 3*z. Let p = z - -19. Let q be p/6*(-9)/(-42). Sort -1/3, q, 2.
-1/3, q, 2
Let t = 0.202 + 2.818. Let i = 0.02 - t. Let v = 0 - -4. Put -1, i, v in ascending order.
i, -1, v
Suppose -22 = 9*h - 13. Let s = 5 - 9. Sort h, s, 1 in increasing order.
s, h, 1
Let h = 91 + -90.7. Let v = 0 + -0.1. Sort 0, v, h in descending order.
h, 0, v
Let w be 1/4 + 1/(-4). Let k = -1 + 3. Suppose -k*b = -b + 3. Put b, 2, w in increasing order.
b, w, 2
Suppose 7 = 3*s + 4. Let k be 53/6 - 7/(-42). Suppose -3*u - 30 = -k*u. Sort s, -4, u in ascending order.
-4, s, u
Suppose 0 = -4*z - z + 5. Let y be 2 + (1 - 1 - 6). Sort -3, y, z in ascending order.
y, -3, z
Let w(o) = 4*o**2 - 8 + 2*o**2 - 5*o - 5*o**2. Let a be w(6). Sort 3, -1, a in descending order.
3, -1, a
Let g = -2 + 2. Let y = -9 + 7. Put g, 1, y in decreasing order.
1, g, y
Let y be 2/((-1 - -2)/2). Sort y, -3, 12.
-3, y, 12
Let r be (-32)/7 + 3 - -2. Put r, -2/9, -3, 0.4 in increasing order.
-3, -2/9, 0.4, r
Let g(w) = w - 4. Let b be g(4). Sort b, 5, -3.
-3, b, 5
Let o = 15.3 - 17. Let a = -1.6 - o. Put 2/11, a, 4 in ascending order.
a, 2/11, 4
Let p = -115 - -119. Sort 2/11, p, -1/4, 2 in increasing order.
-1/4, 2/11, 2, p
Suppose -4*u - 12 = -q + 2*q, -2*u + 4*q = -12. Sort -34, u, -5.
-34, -5, u
Let h(d) be the first derivative of -d**2/2 + 5*d - 3. Let u be h(0). Suppose -21 = c - 5*w, 35 = u*c - w + 4*w. Put 1, -5, c in increasing order.
-5, 1, c
Let k = -1 - 2. Let z(p) = -p**2 + p - 2. Let g = 0 - 0. Let s be z(g). Put s, 2, k in descending order.
2, s, k
Let q(r) = 2*r + 7. Let l be (-4)/16 - 23/4. Let h be q(l). Let i be -1 + 6/(-2)*-2. Sort 1, i, h.
h, 1, i
Suppose 5*r - 2*m = -4*m + 33, -4*m + 36 = 4*r. Let d(c) = c**2 + c - 3. Let s be d(-3). Suppose -s = o + 2. Put -4, o, r in decreasing order.
r, -4, o
Let q = 24 + -22. Sort 0.1, -0.2, q.
-0.2, 0.1, q
Suppose -3*u - 7 = 2. Let i = 6 + -2. Put u, -5, i in increasing order.
-5, u, i
Suppose -3*f - 2 = 4. Let q(r) = r**2 + 13*r + 16. Let c be q(-11). Let y(w) = -w**3 - 7*w**2 - 7*w - 6. Let n be y(c). Sort n, 4, f.
f, n, 4
Let k be (-4 - 1)*12/(-15). Let y(p) = -p**2 - 6*p - 3. Let i be y(-4). Sort i, k, -5 in ascending order.
-5, k, i
Suppose 3*c = -l + 37, -4*l = -5*c - 34 - 63. Suppose -3*i + l = -5*j, i - 2*j + 0*j = 11. Put i, -2, 2 in decreasing order.
2, i, -2
Let o = 17 + -15. Put o, -5/3, -3/2, -1/4 in decreasing order.
o, -1/4, -3/2, -5/3
Suppose 1 = 3*a + 10. Let l be (-26)/91*3/2. Sort a, l, 0.06 in ascending order.
a, l, 0.06
Let d = -6 - -8. Suppose m - 42 = -d*m. Let z be 2/(-21)*m/6. Put 2/11, -1, z in decreasing order.
2/11, z, -1
Let o = -5 + 5. Put o, 4/5, 3/2 in increasing order.
o, 4/5, 3/2
Let d = -7 + 10. Let c be 3/((-63)/2)*d. Let m = -2.1 + 2.1. Put m, -3, c in decreasing order.
m, c, -3
Let g(u) = u**3 - 4*u**2 + 2. Let i be g(4). Suppose 3*o - 4*s - 23 = 0, -5*o + s + 17 = -i*o. Sort o, -4, 0.
-4, 0, o
Suppose 4 = j - z, -j - 4*z - 4 = 2. Let b = 3.1 - 3. Put j, -3/2, b in descending order.
j, b, -3/2
Let i = 15 - 15.5. Let d = 48 - 47.7. Put d, 3, i in increasing order.
i, d, 3
Let x be (-3)/(1 + 0) + 8. Suppose 7 = -2*c + 3*j, -c + 3*j - x = -0*c. Sort c, -1, 4.
c, -1, 4
Let j = -8 + 10. Sort 3, 2/7, j in increasing order.
2/7, j, 3
Let x = 0.2 + 1.1. Let r = -1.5 + x. Put 0.1, 0.2, r in decreasing order.
0.2, 0.1, r
Let s be -3 + 4 + -1 + -4. Suppose 0 = 5*d - 2*u - 26, -2*u + 3*u - 32 = -5*d. Suppose j - d*j = 0. Put s, j, 5/2 in decreasing order.
5/2, j, s
Let c be 8/6*27/(-2). Let j = c - -13. Let f = -14 + 19. Sort j, f, 3.
j, 3, f
Let o = -16 - -21. Suppose 0 = -v + 23 - 6. Let g = 12 - v. Put o, -2, g in descending order.
o, -2, g
Let t = -0.5 + -0.2. Let p = -1 - t. Let h = 0.8 + 0.2. Sort -3, h, p in increasing order.
-3, p, h
Suppose 14*f + 12 = 16*f. Put 3, f, 0 in increasing order.
0, 3, f
Let c = -0.8 - -0.8. Let v = 0.4 - c. Put 4, v, 0.3 in decreasing order.
4, v, 0.3
Suppose -5*q - 4 = 6. Let s = -8 - -9. Sort s, -5, q in descending order.
s, q, -5
Let y = 0.4 + 2.6. Let d be (4 - 0) + 152/(-36). Put d, -2, y in ascending order.
-2, d, y
Suppose 8 = 2*k + 4*y, 2*k - y = -0 + 8. Sort 2, k, 5 in ascending order.
2, k, 5
Let o = 10 + -11. Let n be o/2*(-4)/(-11). Sort n, -0.1, 5 in descending order.
5, -0.1, n
Let p be (-23)/3 - 6/(-9). Let y = -5 - p. Let u be (-6)/y*4/(-12). Sort 3, u, -1 in descending order.
3, u, -1
Suppose 3*h + 0*h = 0. Suppose -12 = -3*c - 4*p, 2*p = -4*c + 23 - 7. Suppose 2*u = 1 - 5. Put h, u, c in increasing order.
u, h, c
Let h = -0.07 + -14.43. Let b = 15 + h. Sort 1, 0.4, b in descending order.
1, b, 0.4
Let d = 22 - 22.19. Sort d, 3, 2 in descending order.
3, 2, d
Let i = 37 - 21. Let p = i + -11. Suppose 0*h + 3*h + 12 = 0. Sort p, h, 2 in descending order.
p, 2, h
Let s = -14 + 9. Let p = 9 - 7. Put p, s, 0 in increasing order.
s, 0, p
Suppose -40 = -15*b + 5. Sort -8, 0, b in ascending order.
-8, 0, b
Let s = 5 + -7. Suppose -n + 0*n = -2. Sort n, s, 0 in decreasing order.
n, 0, s
Let x = -49572/95 - -7224/19. Let v = x - -142. Let h = 2 + -2. Put v, h, 4 in decreasing order.
4, v, h
Let q(z) = z**3 - 19*z**2 - 19*z - 28. Let m be q(20). Let y be 14/(-10) + (-4)/(-10). Let h be 4*(18/m - y). Put 2, -4, h in ascending order.
h, -4, 2
Suppose 0 = -4*z - 7 + 3. Suppose -4 = 5*t + 6. Let i = t - -3. Sort 5, i, z in ascending order.
z, i, 5
Let f = 0.4 - 0.2. Let b = f + -0.3. Suppose 3 = 4*n 