 t. Let b = -0.5 - m. Put b, -0.2, -0.1 in descending order.
-0.1, -0.2, b
Suppose o + 5*z + 26 = 0, 5*o - 10 - 40 = 5*z. Suppose 4 = -5*u - 3*m + 26, -u + 4 = m. Let g = 5 + -8. Put o, g, u in descending order.
u, o, g
Suppose -3*i = -0*i - 5*t - 7, -5*t + 1 = -i. Suppose 0 = -5*h - 5*l + 25, 4*h - l + 2 + 3 = 0. Suppose -12 = -h*k + 4*k. Sort i, 2, k in ascending order.
k, 2, i
Let m(l) = l**3 + 11*l**2 + 19*l + 13. Let v be m(-9). Suppose 2*q = 3*n - 10, -3*q + 5 = -5*n - v*q. Sort n, 1, 5.
n, 1, 5
Let i be ((-1)/(-2))/(1/(-4)). Suppose 0 = 42*u + 1269 - 1101. Put u, 2, -11, i in ascending order.
-11, u, i, 2
Let d = -336 + 336. Sort d, -2/5, -10, -5 in ascending order.
-10, -5, -2/5, d
Let j be 2 + 6*(0 - 1). Put -4.1, j, 0.1 in decreasing order.
0.1, j, -4.1
Let t = -8147/15 + 543. Sort -0.2, 107, t.
-0.2, t, 107
Let b = -245 - -3673/15. Let p = 29074/25311 - -20/649. Let j = p - -2/13. Put b, j, -0.06 in descending order.
j, -0.06, b
Let n = 1.4 + 17.6. Let w = n + -17. Sort -3/5, 4/3, w, 4 in increasing order.
-3/5, 4/3, w, 4
Let u be ((-2)/4)/((-1)/(-2)). Let r(t) = t**3 + 9*t**2 - 4*t - 5. Let z be r(-10). Let b = 65 + z. Sort 1, u, b in ascending order.
u, b, 1
Let r be 3/(-1)*40/(-6). Let j = -18 + r. Suppose 0 = t + 4*d + 21, -d - 13 - 1 = 2*t. Sort -3, j, t.
t, -3, j
Let q be 3 - 2 - 9/12. Let l = 61 + -63. Sort 1/2, 0, q, l in descending order.
1/2, q, 0, l
Let j be (-14 + 16 + (-1)/1)*13. Put 2, -4, j in ascending order.
-4, 2, j
Suppose 4*m - 7 - 1 = 0. Let c be m/7 + (-32)/14. Suppose 5*w = 8*w + 15. Sort -1, w, c.
w, c, -1
Suppose 5*q - 3*f = -5, q + 4*f + 2 = -q. Suppose -3*l + 20 = -1. Suppose l = -2*p + 7. Sort p, 3, q in increasing order.
q, p, 3
Suppose -4 = -5*m + 16. Suppose -20 = 5*p, -2*h = 3*h - m*p - 11. Let x(c) = -c**2 + 4*c - 6. Let b be x(3). Put 1, h, b in increasing order.
b, h, 1
Suppose 3*a - 6 = -3. Let d = 101 + -102. Let o = -6 + 11. Sort o, d, a.
d, a, o
Suppose 0 = 2*k + 4*h, -4*h - 22 = -3*k + h. Let w = -58 - -53. Sort k, w, -4 in increasing order.
w, -4, k
Let w = -26 + 25.6. Let f = -1.1 - 13.5. Let b = 15 + f. Sort b, 1, w.
w, b, 1
Let t be (-2)/4 - (-1525)/(-122). Sort 2, 0, t in descending order.
2, 0, t
Let g = -212 + 214. Sort g, -3, -33 in ascending order.
-33, -3, g
Let w = -13 - -17. Suppose w*v - 95 - 1 = 0. Suppose -o = 5*o + v. Put o, -3, -17 in descending order.
-3, o, -17
Let p = -35.1 + 41. Let d = p + -7. Let l = 0.6 + d. Put -2, -0.05, l in increasing order.
-2, l, -0.05
Let c = 1.111 - -2.889. Put 1/22, 5, -0.1, c in decreasing order.
5, c, 1/22, -0.1
Let h = 6621 + -562842/85. Let d = -8/17 - h. Let o = -3 + -2. Sort 5, o, d.
o, d, 5
Let p be (-5 + 6)*(-2 + 0). Suppose -10 = -a + 3*v, 0 = -0*a + a - v - 6. Let f be (-2 + 1)/(2/8). Sort f, a, p in descending order.
a, p, f
Suppose 3*h + 2*h = 5*y - 25, 0 = 4*y + 5*h + 7. Put y, 3, -0.1, 1/2 in increasing order.
-0.1, 1/2, y, 3
Let o = 91 - 92. Sort -0.1, 17/4, o in increasing order.
o, -0.1, 17/4
Suppose 2*f + 5*l + 30 = 0, -2*f - 1 + 3 = -3*l. Let j be (15 + -7)*1/6. Sort f, j, 0.4, 1/5 in increasing order.
f, 1/5, 0.4, j
Let o(s) = s**3 + 7*s**2 - 21*s - 19. Let w be o(-9). Sort w, 0, -1.
-1, 0, w
Let u be (-4)/35*(2 + (-11)/2). Sort 3, u, 3/2, -2/35 in ascending order.
-2/35, u, 3/2, 3
Suppose -3*a = 6, 3*a + 11 = 4*m - 3*m. Let f be 6 + (4 - 1) + -4. Suppose -6*j = -f*j - 3. Sort j, -2, m in descending order.
m, j, -2
Let k = 9 - 4. Let x = 21 + -38. Let i = 13 + x. Sort -12, k, i.
-12, i, k
Let a be -47 + 10 + 1 + 0. Let g = 38 + a. Put 6, 3, 10, g in decreasing order.
10, 6, 3, g
Suppose -4*n + 11 - 2 = -t, -4*t = 2*n. Let a be (-9)/6*(-16)/(-12). Sort 4, a, n.
a, n, 4
Let s = -34.3 - -34.9. Let t = 1 + 4. Sort s, 2, t in descending order.
t, 2, s
Suppose -3*i = -4*z - 13, z - 8 = -3*z - 4*i. Suppose 0 = -24*o + 20*o + 52. Let a = o - 17. Sort -5, z, a in decreasing order.
z, a, -5
Suppose 12 = -5*k + k. Suppose -4*p - 923 = -o - 941, o - 5*p = -23. Sort o, -2, -5, k in descending order.
o, -2, k, -5
Let v = 141 + -141. Sort 1, v, -1 in decreasing order.
1, v, -1
Let l(i) = -43*i**2 - 2*i - 3. Let p be l(-1). Put 1, p, -4 in increasing order.
p, -4, 1
Let r(w) = -w**3 - 9*w**2 - w - 6. Let c be r(-9). Put 5, -10, -1, c in decreasing order.
5, c, -1, -10
Let x = 0.9 - 0.7. Let h be ((-102)/12)/((-1)/2). Suppose 3*q - 20 = 4*m, -3*m - 5 = -4*q + h. Sort -4, q, x in decreasing order.
q, x, -4
Let w be (10/(-12))/((-354)/(-36) - 10). Sort 0, w, -2, 8.
-2, 0, w, 8
Let u = 1914 + -1180. Sort -0.3, 3, u.
-0.3, 3, u
Let m be (4/8)/(2*3/(-24)). Suppose 0 = -2*u - 1 + 3. Let t be (-4)/(-4)*u/(-1). Sort t, 0, m in decreasing order.
0, t, m
Suppose 5*t - 2*t - 21 = 0. Let m = -24 + 44. Suppose -8*a + m - 4 = 0. Sort -1, t, a.
-1, a, t
Let t be 8/(-2)*(2 + -1). Let m = -99 - -104. Let j(o) = -o**3 - 3*o**2 + 5*o + 3. Let y be j(-4). Sort t, y, m.
t, y, m
Let l = -14 + 20. Suppose 7*x - l = 4*x. Sort -1, -4, x in descending order.
x, -1, -4
Let u be 1 - -1 - 23/11. Let v be (684/15)/((39/20)/(-3)). Let k = v - -70. Put u, k, 1 in descending order.
1, u, k
Let v = -9 + 3. Let p = 10 + v. Suppose -3*k = -p*a - 1 + 2, -3*k - a = -4. Put k, 0, -5 in decreasing order.
k, 0, -5
Let x be (11 - 5) + (-8)/4 + -1. Sort -8, 7, x, 2 in descending order.
7, x, 2, -8
Let x = -1 - -13. Let j = x - 12.1. Let u = 193 - 193.4. Sort u, j, -4/5 in descending order.
j, u, -4/5
Suppose 0 = -96*s + 73*s. Sort 7, s, 1.1 in descending order.
7, 1.1, s
Let x = -2 - -7. Suppose 0*v - x = -v. Put 4, -2, v in ascending order.
-2, 4, v
Let h = -0.07 - 0.23. Let r = h - -0.26. Let a = 20.9 + -18.9. Sort r, -2/3, a in decreasing order.
a, r, -2/3
Let p = -13658/253 + 590/11. Let v = p - -26/207. Sort 2, -0.2, v in ascending order.
v, -0.2, 2
Let k = -5 - 7. Let u = 0.34 + -0.54. Sort u, k, 1/6.
k, u, 1/6
Let l = -5 + 3.1. Let k = l + 1.9. Put k, 0.3, 3 in descending order.
3, 0.3, k
Let o = -159.8 + 160. Sort -3, o, -2.
-3, -2, o
Let f be ((-13)/(-52))/((-2)/88) - -5. Let w be ((-2)/16)/((-1)/(-2)). Sort -2, f, 5, w in decreasing order.
5, w, -2, f
Let x(r) = r**3 - 13*r**2 - 28*r + 21. Let c be x(15). Let n = -56 + c. Put n, 5, 0, 28 in descending order.
28, 5, 0, n
Let r = 0.04 + 0.36. Sort r, -0.09, 2/33, -3 in descending order.
r, 2/33, -0.09, -3
Let w = -1503 + 1499. Sort 5, 4, 31, w.
w, 4, 5, 31
Let g = 0.5 + 1.5. Sort -0.5, g, -2/15, -2 in ascending order.
-2, -0.5, -2/15, g
Let w(x) = -4*x**3 - 5*x + 4. Let m be w(1). Sort -2, -3, 4, m in ascending order.
m, -3, -2, 4
Let x = -36.8 + 34.8. Let v = 11 - 8. Let g = x - v. Sort g, 2, 15 in decreasing order.
15, 2, g
Let t = 7 - 45. Let i = -38 - t. Sort i, -9, 0.4 in increasing order.
-9, i, 0.4
Let n = 3.9133 - -0.0867. Sort 3/2, -197, n.
-197, 3/2, n
Let o = 409/460 - 16/115. Let h be -1*(98/(-2) - 0). Let z = 197/4 - h. Sort -1/6, o, z.
-1/6, z, o
Suppose 71 + 33 = 52*u. Put 7, u, -1, -2 in descending order.
7, u, -1, -2
Let j = -0.14 - 0.86. Let w = -0.31 - -0.01. Let b = -6 - -11. Sort j, b, w in decreasing order.
b, w, j
Suppose 12*r - 15*r = -60. Suppose -3*k + 4*o + 15 = -5, -4*o = -k + r. Let d = 0 - -1. Put d, k, -3 in descending order.
d, k, -3
Let q = 2.5 - 3. Let o = -23441/4420 - -3/884. Let g = o - -34/5. Put g, q, 0 in increasing order.
q, 0, g
Suppose 20 = 4*o + 4*n, 0*o + 4*o = -2*n + 10. Let w = -5 + 3. Let g = 3 - -2. Sort w, o, g in decreasing order.
g, o, w
Suppose 0 = -2*a - 3*a - 10. Suppose 0 = 32*j - 30*j + 82. Let k = -41 - j. Put a, -5, k in increasing order.
-5, a, k
Let z = 146.9 + -144.9. Sort 4, -18, 1/5, z in descending order.
4, z, 1/5, -18
Let h = 103 - 99. Let q = 19 - 11. Let b = q - 5. Sort -5, b, h.
-5, b, h
Suppose -8 = 4*y, -4*y = -w - 5*y. Let k be (-3 + w)/(-5 - -6). Sort 4, k, 1.
k, 1, 4
Let b(d) = -d**2 + 11*d - 29. Let j be b(6). Sort -69, -3/2, j in ascending order.
-69, -3/2, j
Let d = 1771/9 - 197. Sort -5, d, 5, 0.2.
-5, d, 0.2, 5
Let k = 234 + -234.02. Put -4, 6, k in increasing order.
-4, k, 6
Let i = -0.35 - -0.2. Let n = i + -0.35. Suppose -3*s + 5 = -2*s. Sort n, s, -3.
-3, n, s
Suppose -3 + 0 = -3*j. Let m(l) = -l**3 - 11*l**2 - 10*l - 9. Let w be m(-10). Let s(x) = x + 9. Let p be s(w). Put j, p, -5 in ascending order.
-5, p, j
Let t = -96 + 234. Suppose 