. Put m, 4, -5 in increasing order.
-5, 4, m
Let v = 31/75 + -2/25. Put -2/3, -0.1, v in decreasing order.
v, -0.1, -2/3
Suppose 0*b - 4 = 2*b. Suppose 0 = -6*m + 7*m - 4*m. Sort 5, m, b.
b, m, 5
Let a = -7.2 - -7. Let z = -2.18 + -0.22. Let v = z - 0.6. Sort v, a, 0.3 in decreasing order.
0.3, a, v
Let d = 575 + -280. Let v = d - 3243/11. Put v, 0.4, -3 in ascending order.
-3, v, 0.4
Let u = -18 - -13. Suppose -5*b + 3*v = -b + 40, 5 = -3*b - 4*v. Let i(f) = f**3 + 6*f**2 - 8*f - 8. Let k be i(b). Sort k, u, 5.
u, k, 5
Let y be 2/5 + 115/25. Put y, -0.5, -2/11 in descending order.
y, -2/11, -0.5
Suppose 0 = -3*d - 2 - 13. Sort 9, 3, d in ascending order.
d, 3, 9
Suppose -5 - 5 = -5*n. Put n, -8, -5 in ascending order.
-8, -5, n
Let d be ((-45)/6)/(-15)*(-3 + 1). Put -4, d, 3 in descending order.
3, d, -4
Let d(v) = 4*v**3 - v**2 - 2*v + 1. Let t be d(1). Sort t, 0, -16 in descending order.
t, 0, -16
Let m = 10 - 10.2. Suppose 2*i + 4 = 3*i. Let u be i/(-6)*6/(-10). Sort u, m, 0 in descending order.
u, 0, m
Let p(b) = 3*b - 1. Let g be p(-1). Let z be g/6 - 16/12. Sort -6, 0, z in decreasing order.
0, z, -6
Suppose 0 = -5*r - 9 + 29. Suppose 2*x = -x + w + 6, -3*w - 5 = r*x. Let y = 14 + -15. Sort x, y, -2 in increasing order.
-2, y, x
Suppose -5*b + 44 = 4*d - 9, 13 = b + 2*d. Suppose 4*i = 67 + 33. Suppose b*y + i = 4*y. Put y, 4, 3 in descending order.
4, 3, y
Let b be 54*(-2)/(-8)*2. Suppose -4*p - 11 = -v + 4*v, b = 2*p - 5*v. Put -3, 5, p in descending order.
5, p, -3
Let c = 0.8 + 2.2. Let t = c - 6. Let m = 2 + t. Sort m, -2/3, 0.2.
m, -2/3, 0.2
Suppose -15 = -3*m - 0*m. Suppose 2*b = -4*a + 5*b + 33, -m*b = 5*a - 15. Suppose -a = -5*d + 3*d. Put d, -2, 1 in descending order.
d, 1, -2
Let j = 13.1 + -13. Sort -3, -0.5, j in decreasing order.
j, -0.5, -3
Let w be (-54)/(-15) - (-3)/(-5). Suppose -q + w*q - 10 = -4*j, -16 = -4*q - 4*j. Sort 4, 5, q.
q, 4, 5
Let o = 16/9 - 22/9. Let i = 321 - 961/3. Put 3/2, i, o in descending order.
3/2, i, o
Let x be (1 + -1 - 0) + 4. Suppose 4*t + x = -0*t. Let f = 14 - 14.5. Put 3, f, t in increasing order.
t, f, 3
Let c be 75/(-15)*18/10. Put 5, c, 1/5 in ascending order.
c, 1/5, 5
Let s = -8.05 + 0.05. Let u = 3 + s. Sort -2, u, 5 in descending order.
5, -2, u
Let k = 0.21 - 0.11. Let c = k - -0.3. Let f = 8/39 - 2/39. Sort c, f, -0.3 in descending order.
c, f, -0.3
Suppose -4*n + 5*b - 5 = -3*n, 5*b - 5 = 0. Suppose 0 = f + o - 19, 4*f - 26 = -3*o + 53. Let k = f + -27. Sort k, -3, n in decreasing order.
n, -3, k
Let c = 24 + -25. Put 5, 2, -3/4, c in decreasing order.
5, 2, -3/4, c
Let r = -0.5 + 1. Let q = r + -0.1. Let d = q + 1.6. Put 0.1, -4, d in descending order.
d, 0.1, -4
Let m = 0.005 + 0.095. Sort 1, -0.11, -2/3, m in descending order.
1, m, -0.11, -2/3
Let v = -0.5 - 0. Let j = -0.8 - v. Let m = -13/4 - -43/12. Put -2/13, m, j in descending order.
m, -2/13, j
Let b be -1*(5 - (1 + 3)). Sort b, -4, -2 in ascending order.
-4, -2, b
Let p = 0.14 + -0.08. Let u = p - -0.04. Sort 3/2, u, -4 in descending order.
3/2, u, -4
Suppose 2*v = 1 + 1. Let h be (-2)/(-1) - (-1 - v). Let y = h + -6. Put 4, -1, y in ascending order.
y, -1, 4
Let b(g) = -g**2 - 12*g - 15. Let y be b(-10). Suppose -2*p + y*n = 0, 4*p + 3*n = -2*n. Put -4, p, 1 in descending order.
1, p, -4
Let r be (-2 - -3)*-4*(0 + 1). Sort 1, 4, 0.1, r in decreasing order.
4, 1, 0.1, r
Let f = -6.7 - -7. Let o be 21/9*8/(-14). Sort o, 1, f in descending order.
1, f, o
Let t = 35 - 33. Put 5, t, 0.3 in ascending order.
0.3, t, 5
Let h(l) = -l**3 + 8*l**2 - 6*l - 2. Let p be h(7). Let d = 151 + -156. Sort d, p, -1 in increasing order.
d, -1, p
Let d = -4.815 + -0.225. Let i = 0.04 + d. Let y = 1.5 + -2. Sort i, y, -1 in ascending order.
i, -1, y
Suppose -24 = 14*s - 8*s. Suppose 8 + 1 = 3*k. Suppose 2*x - k = 7. Put 4, s, x in decreasing order.
x, 4, s
Suppose 0 = -13*k + 21 + 31. Put -4, k, 15 in ascending order.
-4, k, 15
Suppose -7*p - 6*p - 26 = 0. Let r = -1 - -1. Suppose 4*v - 2*v = r. Sort v, p, 1 in ascending order.
p, v, 1
Suppose -2*f + 5*f = 12. Let w = -0.2 - -0.6. Put -0.03, f, w in descending order.
f, w, -0.03
Suppose 5*c + 5 = -3*w + 25, -3*w + 5*c - 20 = 0. Suppose -11*b + 24 = -20. Sort b, 1, w in decreasing order.
b, 1, w
Let u be 4 + -8 + 3 - -4. Sort u, -3, -1 in decreasing order.
u, -1, -3
Let f = 1.5 - 2. Let x = 4.5 + -4. Let d = 1 - x. Sort 2, f, d in ascending order.
f, d, 2
Let k be (6/(-4))/((-6)/8). Suppose k*b + 2*b = -20. Let r = -0.8 + 0.4. Sort b, 4, r in decreasing order.
4, r, b
Let z = -41 - -44. Sort 0.03, z, 4 in decreasing order.
4, z, 0.03
Let s = -2 + 3. Let v(j) = 6*j**3 + j**2 - 1. Let n be v(1). Suppose 4*t = -l + 18, 0 = 3*l + n*t - t - 26. Sort s, -5, l in ascending order.
-5, s, l
Let k = -102.7 + 103. Put 2, k, -3 in ascending order.
-3, k, 2
Let j = -3.2 - -1.6. Let q = 1.4 + j. Put 0, -5, q in decreasing order.
0, q, -5
Let l = -132 + 129. Let i = 2 - 1.6. Put l, 0.1, i in ascending order.
l, 0.1, i
Suppose s = 3*v + 6, 4*s - 4*v - 21 = -5. Put 0, s, 4 in ascending order.
0, s, 4
Let x be -1 + 20 - 2 - 2. Let u be ((-6)/x)/((-2)/(-10)). Let y be u/6 - (-6)/(-9). Sort 0.1, -3, y in decreasing order.
0.1, y, -3
Let m = 2/143 - -133/715. Put -4, m, -1/4 in decreasing order.
m, -1/4, -4
Let o = 27 + -25. Put -5, 4, o in descending order.
4, o, -5
Let r = 34 + -30. Sort -5, r, 0.
-5, 0, r
Let n(z) = 1 + z**2 - 9 + 2. Let k be n(3). Put 1, k, 0.4 in ascending order.
0.4, 1, k
Suppose 3*d = -6 - 6. Sort 4, -2, d, 0.
d, -2, 0, 4
Suppose 2*d + 4*m = 3 + 11, -3*d = m - 11. Put -5, 1, -12, d in decreasing order.
d, 1, -5, -12
Let f(h) = h**2 + h + 3. Let l be f(0). Suppose -w = -l*j - 8, -j - 6 = -3*w + w. Let m be (4 - (-2)/2)/1. Put m, 3, j in ascending order.
j, 3, m
Suppose -14*n + 9*n = -10. Sort n, -57, 0 in descending order.
n, 0, -57
Let t = 30 + -32. Sort 5, 2, -3, t in descending order.
5, 2, t, -3
Suppose 0*d = -4*d. Suppose -5*h + 10 = d, 5*h - 6 = -2*r - 0. Put r, 2, 7 in descending order.
7, 2, r
Let j = -0.21 - -0.31. Sort j, 0.05, -0.4 in descending order.
j, 0.05, -0.4
Suppose 33 = 2*j - j. Let a = 4/559 - -37445/1118. Let v = a - j. Put 0, v, 2 in descending order.
2, v, 0
Let a = -33.7 + 29. Let s = 0.7 + a. Let n = 1.9 - 2. Put n, s, -0.5 in ascending order.
s, -0.5, n
Let f = 16 + -15. Sort 23, -1, f in decreasing order.
23, f, -1
Let b = 19/150 - -1/25. Let l = 0.096 + 0.104. Sort b, l, 0.4.
b, l, 0.4
Let v = -33 + 33.04. Put v, 3, 1 in ascending order.
v, 1, 3
Let n be (8/(-14))/(32/(-112)). Let k = 0 - 3. Put -2, k, n in descending order.
n, -2, k
Suppose q = 3*w - 3, 5*q + 4*w = q + 20. Let b = 1 - 2. Put q, -4, b in decreasing order.
q, b, -4
Let l = -120 + 121. Let r = 3 + -2.6. Sort r, l, 4 in decreasing order.
4, l, r
Let l = 6 - 1. Suppose 0 = l*u + 3*v + 8 + 2, 20 = -3*u + v. Sort u, 5, -3 in decreasing order.
5, -3, u
Let o be (-2)/40 + 1/(-5). Let d be ((-5)/(-2))/(4/8). Sort 1, o, d.
o, 1, d
Let a = -1 - 4. Let p be (-3)/(-1) - (2 + 3). Let r be (3/p)/((-66)/8). Sort r, a, 0.5 in descending order.
0.5, r, a
Let o(d) be the first derivative of -d**2/2 - 2. Let l be o(4). Suppose 0 = 5*t + 15, r + 5*t + 10 = -0*t. Put -5, r, l in ascending order.
-5, l, r
Let n = 9 - 3. Let q = n + -6. Put q, -3, -2 in decreasing order.
q, -2, -3
Let q = -0.2 + 1.2. Let w = -0.4 + 0.2. Let h = -3.04 + 0.04. Sort w, h, q.
h, w, q
Let y = -8 + 13. Let h = -4 + y. Put -2, h, 2 in increasing order.
-2, h, 2
Suppose 0 = 5*r + 2*l + 5, -2*r - 2*l - 11 = -3*r. Sort r, 2, 3, 5.
r, 2, 3, 5
Let w = 62/7 + -145/14. Suppose -5*z = -7 - 3. Suppose -u = -5, 5*t = t - 2*u - 10. Sort w, t, z in increasing order.
t, w, z
Let w be (-9)/(3123/1040) + 3. Let p = w + -713/6593. Let i = 2 - 5. Sort i, p, 1.
i, p, 1
Suppose 2*g - 3*m = -3*g + 6, 21 = 5*g + 2*m. Let z be (2/(-3))/(2/42). Let c = z - -11. Sort c, -2, g in ascending order.
c, -2, g
Let r = -2 + 2.6. Let l = r + -1. Let c = 0.2 + l. Put 0.1, c, 4 in ascending order.
c, 0.1, 4
Let t(m) = 2*m + 31. Let n be t(-17). Let u = 6 + -2. Let x = -2 + u. Sort x, n, -5.
-5, n, x
Suppose 9 = 5*a - 1. Let k = -0.5 - -1.5. Put k, -1, a in descending order.
a, k, -1
Let b be 5 + -1 + 1 + -2. Let i = 94 + -94.3. Sort i, -0.4, b in decreasing order.
b, i, -