5.263 + -0.037. Let q = a - -5. Let u be 1*(-3)/(-6)*-1. Sort q, 2, u in descending order.
2, q, u
Suppose 0 = -4*z + 11 + 5. Sort -3, -5, z in ascending order.
-5, -3, z
Let m = -13/20 - 1/10. Sort 1, m, 0.3.
m, 0.3, 1
Let d be 5/(-8) + (0 - -1). Let l = -2.61 - -2.21. Put d, 1, l in descending order.
1, d, l
Suppose -31 = -3*j - 3*g - 1, -6 = 3*g. Suppose 0 = 3*o - 0*o - j. Sort o, -1, 3 in increasing order.
-1, 3, o
Let p(c) = -c**3 + c**2 - 5. Let a be p(0). Suppose 3*s = 5*s + 8. Sort s, a, 5.
a, s, 5
Let v = 1 - 1.01. Let j = 5.01 + v. Sort 4, j, -2/7.
-2/7, 4, j
Let b = -0.67 + 0.27. Sort 2/17, b, -1/4 in ascending order.
b, -1/4, 2/17
Let d(p) = p**2 + 7*p + 2. Let f be d(-6). Let b = 8 - 6. Let x be (-2)/(-4)*-2 - b. Sort f, x, -1 in decreasing order.
-1, x, f
Let f = 6 + -3. Let t = -11 + 16. Suppose 0*y = -t*y. Put 1/4, y, f in increasing order.
y, 1/4, f
Let r = 1.3 - -0.6. Let t = 2 - r. Put t, -0.3, 4/5 in descending order.
4/5, t, -0.3
Let x = -6 + 13. Suppose 0 = -5*v + x + 8. Sort v, -4, -1 in descending order.
v, -1, -4
Let f = -7 - -7.4. Let u = 4.6 + 0.4. Let l = u - 4. Put -3/2, f, l in descending order.
l, f, -3/2
Let z = -0.1 + 0.3. Let d = 0.13 - z. Sort -2/3, -5, d in increasing order.
-5, -2/3, d
Let a = -2/273 + 823/546. Sort -1.5, 4, -5, a in ascending order.
-5, -1.5, a, 4
Let y = 1 + 4. Let s = y + -4. Sort s, 8, -4 in ascending order.
-4, s, 8
Let j be 2/8 - 14/(-8). Put 0, j, -4 in decreasing order.
j, 0, -4
Let t be (-4)/6*18/(-6). Suppose -m - 1 + t = 0. Let g = 1 + m. Sort -3/4, g, 5 in increasing order.
-3/4, g, 5
Let h be (13/2)/(3/6). Suppose -1 - h = r - 4*d, 5*d - 28 = -4*r. Suppose -n = 3*t + 2, 5*n - 3*t - 3 = 5. Put n, -5, r in increasing order.
-5, n, r
Suppose 5*f + 6*c = 5*c - 6, -6 = -f - 2*c. Let i = 7 + f. Put i, 1, 2 in decreasing order.
i, 2, 1
Let l = -18 + 19. Let w = -3 + 2.8. Sort 5, w, l in increasing order.
w, l, 5
Let g(n) = -n**3 + 10*n**2 - 10*n + 6. Let a be g(9). Sort 2, a, 4, 1.
a, 1, 2, 4
Suppose -a - 4 = -l - 0*l, 0 = -5*l. Let m be ((-12)/8)/(1/2). Suppose 2*i = 9 - 5. Put m, a, i in descending order.
i, m, a
Suppose 0 = -2*z - 0*z - 4. Put -4, -3, z in descending order.
z, -3, -4
Suppose r = -2 + 7. Put r, -0.4, -0.6 in decreasing order.
r, -0.4, -0.6
Let f = -113.4 - -114. Put f, 1/7, 2/7 in ascending order.
1/7, 2/7, f
Let j = -21 + 8. Let r = 9 + j. Put r, -1, 4 in ascending order.
r, -1, 4
Let o = -0.25 - -0.65. Put 3/4, -0.4, o in descending order.
3/4, o, -0.4
Let m be ((5 - 1) + 0)/2. Let x(d) = d**3 - 8*d**2 + 2*d - 11. Let r be x(8). Let l = -4 + 0. Put l, m, r in decreasing order.
r, m, l
Let s = -8.5 + 8. Suppose 2*d - 10 = 5*a + d, -3*d - 12 = -a. Let y be a - (-24)/10 - -1. Sort y, -4, s in decreasing order.
y, s, -4
Let c = -2/419 - -856/3771. Let w be 0 - (-1 - (-718)/84). Let n = w + 54/7. Sort c, n, 1/3.
n, c, 1/3
Let a = -40.6 + 34. Let y = 7 + a. Put -0.4, y, 2/3 in ascending order.
-0.4, y, 2/3
Let p = -19 - -19. Sort p, 3, -6 in descending order.
3, p, -6
Let o(r) = -r**3 - r + 4. Let s = 7 - 5. Let f = s - 2. Let a be o(f). Sort a, 3, 5 in decreasing order.
5, a, 3
Let f = -101/3 - -33. Put 5, f, -3/8 in decreasing order.
5, -3/8, f
Suppose 0 = 6*p - 3*p + 15. Let y(u) = u + 3. Let q be y(p). Sort -3, -5, q.
-5, -3, q
Let a = 4 + -8. Sort a, -5, -0.4 in ascending order.
-5, a, -0.4
Let b = -14 + 9. Let n(i) = i**3 + 6*i**2 + 5*i + 2. Let j be n(b). Let y = -3 + 1. Sort j, 3, y.
y, j, 3
Let n(c) = -2*c + 1. Let o be n(2). Let k(r) = 2*r**3 + 10*r**2 - 4*r - 17. Let v be k(-5). Put v, o, -4 in decreasing order.
v, o, -4
Let p(y) = y**3 + 5*y**2 - 2*y - 7. Let b be p(-5). Suppose 8 = b*x - x + 2*s, -15 = -5*x - 4*s. Let t = -0.05 - 2.95. Sort t, 0.2, x in decreasing order.
0.2, x, t
Let k(w) = w**2 + 8*w - 9. Let q(v) = -v**3 + 2*v**2 + 3*v. Let u be q(-2). Let n = 1 - u. Let i be k(n). Sort i, -1/6, -4 in descending order.
i, -1/6, -4
Let o be (1*-6)/((-39)/26). Sort 1/7, o, -0.4 in ascending order.
-0.4, 1/7, o
Suppose -23 = -3*r - 8. Let f = r + -5. Suppose 2*q - 4*c - 18 = 4, 3*c + 15 = q. Sort 1, q, f in increasing order.
f, 1, q
Let b(r) be the first derivative of r**3/3 + r**2 - r - 2. Let l be b(-2). Put l, 3, 0 in increasing order.
l, 0, 3
Let v be (75/(-4))/((-9)/(-6)). Let a = 13 + v. Sort -2, a, 2.
-2, a, 2
Let x(z) = z - 5. Let q be x(5). Let g(i) = -i**3 - 6*i**2 - 2*i - 9. Let s be g(-6). Put 2, s, q in descending order.
s, 2, q
Let y(z) = z**2 + 6*z - 4. Let s be y(-6). Let t be 2 + 0 - 2/(-2)*3. Sort t, 3, s.
s, 3, t
Let z = -0.58 + 3.58. Put -1/8, z, 0.1 in increasing order.
-1/8, 0.1, z
Suppose 5 = -4*d + 5. Put -2, 4, d, 1 in descending order.
4, 1, d, -2
Let z = -21 + 21.18. Let v = z + -0.68. Sort v, 1/2, 0.4 in decreasing order.
1/2, 0.4, v
Suppose -a + 4*a + y = 11, -28 = -4*a - 4*y. Let j(x) = -x**2 + 3*x - 1. Let b be j(a). Let o be 6/4*2*b. Sort -2, o, 4 in descending order.
4, o, -2
Let k = -0.04 - -0.44. Suppose 0*i + 8 = 4*i. Suppose 9 = i*d - 3*w - 3, -2*d + 4*w + 14 = 0. Sort -3, k, d in decreasing order.
d, k, -3
Let t = 67 - 66. Let w = 88/3 + -266/9. Sort t, -1, w in increasing order.
-1, w, t
Let q = 6 + -5. Let g = 0 - 0.1. Let z = 1176/5 + -235. Put g, q, z in ascending order.
g, z, q
Suppose -3*x - 4*c = 5, 0 = -19*x + 20*x - c - 10. Suppose 2*u - 17 = -d, -52 = -5*u + d - 6. Sort u, x, 3 in decreasing order.
u, x, 3
Let d = -1 - 4. Let g = 4 + -6. Let m = -2 + g. Put -1, m, d in ascending order.
d, m, -1
Let w be 1 - 0 - 8/4. Let a(j) = -4*j. Let i be a(w). Sort i, 1, 0 in increasing order.
0, 1, i
Let k be 2/(-7) + (-48)/28. Put -4, k, -0.1 in decreasing order.
-0.1, k, -4
Suppose -2*a + a = -4. Let n = 27 + -27. Sort n, -4, a.
-4, n, a
Let y be (-4)/6 - (-1)/((-6)/(-34)). Sort -1.1, -0.4, y in decreasing order.
y, -0.4, -1.1
Let b be (-238)/(-306)*2/(-7). Sort 2, -8, b in descending order.
2, b, -8
Suppose 4*y - j - 2*j = -42, 4*y + 26 = -5*j. Sort y, 5, -4.
y, -4, 5
Suppose 0*s = -2*q + 3*s + 8, 12 = 4*q - 4*s. Put 0, 5, q in increasing order.
0, q, 5
Let w be 2/(-4)*(11 - 15). Put 0, w, -5, -4 in descending order.
w, 0, -4, -5
Let b be -2 + -1 + (-1 - -3). Let i = -19 + 22. Put b, i, 2 in increasing order.
b, 2, i
Suppose 9 = b + 10. Let q = -2 - -3. Put 4, q, b in decreasing order.
4, q, b
Suppose -4*n - 38 = 2. Let r be 2/8 + 5/n. Sort r, 4, 2.
r, 2, 4
Let a be (3/2)/(11/22). Let m be ((0/1)/(-2))/(-1). Sort m, a, -1 in descending order.
a, m, -1
Let o be 3/6 + 30/(-28). Let i = 2 + 1. Sort 0.4, i, o.
o, 0.4, i
Let y = -0.043 - -0.443. Sort -1, y, -7 in increasing order.
-7, -1, y
Let j = 8 - 5. Let w = -7 + j. Sort 5, w, 2/3.
w, 2/3, 5
Suppose 0*c - 3*c = 0. Let o(d) = 2*d**2 - 4*d - 3. Let u be o(-2). Let h = -9 + u. Put 1, c, h in descending order.
h, 1, c
Let w = -7 - -13. Suppose -4*r - 2 = d + w, 2*r - d = -10. Sort -2, r, 3 in decreasing order.
3, -2, r
Let l = -4 - -4. Suppose 5*p = -l*p - 15. Sort -1, 5, p in decreasing order.
5, -1, p
Let g(d) = 2*d**2 + 31*d - 20. Let q be g(-16). Sort 1, q, -50 in descending order.
1, q, -50
Let o be (-2)/6 + 31/3. Suppose 6 = -3*b, 0 = 3*w - 4*b - 3 + o. Suppose 4 + 4 = 4*g. Sort g, 0, w in increasing order.
w, 0, g
Let v = -99 + 101. Put v, -1, -2, 1/5 in ascending order.
-2, -1, 1/5, v
Suppose 6*m + 2 - 2 = 0. Let a = -0.05 - 0.65. Let r = a - -0.2. Sort -5, r, m in descending order.
m, r, -5
Let l(g) = g**2 + 5*g - 11. Let a be l(-6). Put -2, -4, a in increasing order.
a, -4, -2
Suppose 4*b + 2*u - 16 = 0, 0 = 3*b - 6*u + u + 1. Put -7, -1, b in ascending order.
-7, -1, b
Suppose 4*f - 5*t - 13 = 0, 2*f - 6*f - 3*t = -5. Sort -5, f, 3 in descending order.
3, f, -5
Let a = 50.9 + -54. Let z = 3 + a. Put 5, -2/5, z in increasing order.
-2/5, z, 5
Let a = -0.1 - -0.2. Let r = a + -0.6. Put 4, r, -1/7 in increasing order.
r, -1/7, 4
Let j = -9 - -1. Let u = 6 + j. Put 0.4, u, 0.7 in ascending order.
u, 0.4, 0.7
Let s(d) = d**3 - d**2 - d + 1. Let h be s(1). Sort 2, h, 5.
h, 2, 5
Let r = 0.5 - 0.3. Let t = -27.5 - -26. Let h = t - -1.49. Sort r, -0.5, h.
-0.5, h, r
Let w = -0.09 + -0.31. Put 0, 0.3, w in decreasing order.
0.3, 0, w
Let w be (-8)/14 - (-110)/560. Sort w, -2, 5, -0.1.
-2, w, -0.1, 5
Suppose 7 = 4*b - 1. Suppose -j = 4*q - 150, -q - b*j + 30 = 2*j. Le