= 0.0596 + -0.5196. Let j = -0.034 + -0.296. Let b = j - p. Sort 0, b, 0.4 in decreasing order.
0.4, b, 0
Let m = -20 + 21. Let d = 1.5 - m. Let z = -54 - -51. Put d, z, -1 in decreasing order.
d, -1, z
Suppose 0 = 3*f - 3. Suppose -5*r - 2 = -4*t, -3*t + 27*r = 24*r. Sort -1, t, -5, f in decreasing order.
f, -1, t, -5
Suppose -4*z + 3 = -5*i + 5, 3*z = i - 7. Put 3, 0, 5, z in increasing order.
z, 0, 3, 5
Let d = 709.2 + -709. Sort 4, d, -0.01, 10 in ascending order.
-0.01, d, 4, 10
Let c(t) = t**3 - t**2 - 33*t - 11. Let l be c(-5). Sort 5, l, 41 in decreasing order.
41, 5, l
Let t = -0.408 - -0.008. Let a = -3 + 7. Let d be (-1)/(-2) + 30/a. Sort -2/7, d, t in decreasing order.
d, -2/7, t
Suppose 4 = -5*l - 16. Let f be l/12 + 4/21. Let i = 2.1 - 2. Sort -4/9, i, f in decreasing order.
i, f, -4/9
Let z(l) = 35 + 4*l - 7*l**2 - 38 + 0*l + l**3 + 2*l. Let v be z(6). Suppose p = 5*j - 9, p + 3*j - 2*j + 9 = 0. Put v, p, -4 in increasing order.
p, -4, v
Suppose -19*n - 425 = -14*n. Let c be -1 - 10/(-6) - n/(-15). Sort 2, 3, c, 4 in descending order.
4, 3, 2, c
Let y(h) = -h**3 + 9*h**2 - h + 9. Let q be y(9). Sort -3, -0.2, -1, q.
-3, -1, -0.2, q
Let v = 5.97 + 0.03. Let h be (5/(-10))/((-15)/(-20)). Sort h, -0.3, v in decreasing order.
v, -0.3, h
Let s be -2*3/(-2)*17/(-51). Sort 1, -87, s, 2 in decreasing order.
2, 1, s, -87
Let k = 26.51 + -24.51. Put k, 3, -1/3, 0.04 in descending order.
3, k, 0.04, -1/3
Let l = -0.2 + -0.8. Let z = -231.1 + 233.6. Put l, -4, z in decreasing order.
z, l, -4
Let y = 77 - 20. Suppose -3*c - 3*f = y, 3*c + 72 = 5*f + 7. Let w be (c/(-5) + -5)/3. Put 3, w, 2 in decreasing order.
3, 2, w
Let d = -320 - -318. Let g = -167 + 168.94. Let c = g + 0.06. Sort d, 0.2, c in decreasing order.
c, 0.2, d
Let w = -17.73 + -0.27. Let r = w + 23. Suppose -3*b + 2*p + 20 = 6*p, 4*b - 4*p + 20 = 0. Sort 9, b, r in decreasing order.
9, r, b
Suppose -2 = -2*f + 3*x, -20 - 6 = -4*f - 5*x. Let a = f + -6. Suppose -2*o + 11*w - 4 = 8*w, 3*o + 3*w = 9. Sort a, o, 0 in decreasing order.
o, 0, a
Let k = -43.5 - -43.4. Put k, -3, -1/34 in increasing order.
-3, k, -1/34
Suppose -r - 2*g = 84, -g = -6*g + 10. Sort -2, 0.2, -0.3, r.
r, -2, -0.3, 0.2
Let c be 22/12*(-64 + 65). Put -2/3, 2, c in decreasing order.
2, c, -2/3
Let s = 1 - 1. Let c = 2403 + -2397. Sort s, c, 4, -5 in descending order.
c, 4, s, -5
Let q = 3.1501 + -0.1501. Sort 398, 2/5, q in decreasing order.
398, q, 2/5
Let c = -1299 - -1293. Put 2, c, 14 in descending order.
14, 2, c
Suppose 0 = 3*s, 4*q + 7*s - 2*s = 32. Suppose h + q = 5*h. Let o = -341.3 + 341. Put h, 4/7, o in descending order.
h, 4/7, o
Suppose -1 = -22*z + 21. Suppose 0 = -5*i + 6 + 9. Suppose i = -o + 6. Put z, -1, o in descending order.
o, z, -1
Let g = -705 + 704.7. Sort 6/11, -3/8, g, 2/19 in ascending order.
-3/8, g, 2/19, 6/11
Let k = 405 + -407. Sort -1, 4, k, 14 in descending order.
14, 4, -1, k
Suppose 2*l + 1 - 5 = 0, -4*i + l = 2. Suppose -h = 5*f, 5*f = -i*f + 3*h. Put -2, -11, f in decreasing order.
f, -2, -11
Suppose -2*b - 3*d = 11, -2*b + 10 = -5*d + d. Let j be (b - 2/(-8))*4. Suppose 0 - 10 = -5*v. Sort j, 3, v in increasing order.
j, v, 3
Let f(c) = -c**3 + 39*c**2 + 75*c + 178. Let u be f(41). Sort -2/3, 3/8, 0.4, u in ascending order.
u, -2/3, 3/8, 0.4
Let f be 10/45 + (-4)/18. Suppose -6*u + 11*u - 10 = f. Sort 5, -5, u in decreasing order.
5, u, -5
Let z(w) be the first derivative of 5*w**4/4 + 2*w**3/3 + 3*w**2/2 + w - 11. Let m be z(-1). Sort -2, m, 3 in descending order.
3, -2, m
Let f(c) = 4*c - 37. Let v be f(10). Put 12, -0.4, -2, v in ascending order.
-2, -0.4, v, 12
Let l = -941 - -927. Sort l, 2, -2, 3 in increasing order.
l, -2, 2, 3
Suppose 6*t - 3 - 45 = 0. Let n be (-6)/t*(-5 + 1). Suppose 7*s = 2*s - 15. Put -2, s, n in decreasing order.
n, -2, s
Let t = 320 + -321. Let d(g) = g**3 + 2*g**2 + 2. Let q be d(-2). Sort 5, -3, t, q.
-3, t, q, 5
Let w be 3*(-3 - 2 - -4). Put 2, w, 5, -12 in descending order.
5, 2, w, -12
Let b(k) = 11*k**2 - 48*k + 12. Let v be b(4). Sort 0, v, 5, 7 in decreasing order.
7, 5, 0, v
Let g = -61 - -65. Let w be (-11)/76 - (-7)/28. Sort g, 5, w in increasing order.
w, g, 5
Let i(x) = -x + 12. Let s be i(9). Suppose q - 4*v + 12 = 35, 3*q + 2*v - 13 = 0. Let b be 10/(-35) + 2/q. Sort s, b, -5.
-5, b, s
Let r(x) = -x**3 - 30*x**2 - 51*x + 67. Let t be r(-28). Sort 2, 1/6, t in ascending order.
t, 1/6, 2
Let q be 27/(-6) + 5 - (-10)/(-36). Sort q, -0.15, 2/7, 4 in decreasing order.
4, 2/7, q, -0.15
Let i = 12.8 + -13. Let u = -384 + 384.03. Sort i, u, 0.4 in increasing order.
i, u, 0.4
Let k = 61 + -113. Let h = k + 47.2. Let p = h + 5. Put -5, -0.5, p in descending order.
p, -0.5, -5
Suppose 13817 = -18*z + 7*z + 13773. Let m = -8 + 3. Put z, m, -1/16 in descending order.
-1/16, z, m
Let s = 279 - 283. Sort 2, s, 0.
s, 0, 2
Suppose 5*d = 2*t - t + 16, 5*d = 5*t. Let j be -2 + 8 + -3 + d. Sort -5, 0.1, j in decreasing order.
j, 0.1, -5
Let x = 1.846 - -0.094. Let c = 2.1 - x. Let h = c + -0.56. Sort 0, 3, h in increasing order.
h, 0, 3
Suppose -4*n + 1 + 7 = 0. Let z be 3/n*20/6. Let p be (0 - 3) + 15/z. Put 2, p, 5 in increasing order.
p, 2, 5
Let v be (-2 + 35/14)*0/(-4). Let y = 1.98 - 2. Sort y, v, -1 in descending order.
v, y, -1
Let y = 213 - 208. Let t = -0.1 + -0.4. Let p = -1 - t. Sort p, -1, y in descending order.
y, p, -1
Suppose 0*x - 167 = -2*l + x, 3*x + 169 = 2*l. Let k = 83 - l. Put 3, 0.03, k, 1 in decreasing order.
3, 1, 0.03, k
Let k(w) = -w - 6. Let b be k(-10). Put 0, b, 5, -6 in descending order.
5, b, 0, -6
Let l = -14.71 - -12.737. Let b = l + -0.027. Put b, -4, 5 in increasing order.
-4, b, 5
Let x = -79/2 - -33. Let d = -7 - x. Sort d, -0.2, 0, -0.3.
d, -0.3, -0.2, 0
Let o be (234/(-15))/(48/(-20) + 2). Put 0, -2, o, 3 in descending order.
o, 3, 0, -2
Let z = 6.1 + -1.1. Let u(p) = -p**2 + 5*p + 33. Let x be u(7). Put -4, x, z in descending order.
x, z, -4
Let k(c) = -c**3 + 3*c**2 - c + 8. Let z be k(3). Sort z, -20, 0.2.
-20, 0.2, z
Let m(n) = n - 10. Let o be m(13). Suppose 0*g - 3*g = -o. Sort g, 2, 5.
g, 2, 5
Let i = 1363 - 1368. Let t = 0.6 + -4.6. Sort -1/2, i, t in descending order.
-1/2, t, i
Suppose -25 + 73 = 12*o. Suppose k = 2*t + 3*k + 10, -o*k + 4 = -4*t. Put 17, t, 5 in ascending order.
t, 5, 17
Let g = -767/135 + 148/27. Let f = 1.3 - 0.3. Let q = f + -0.9. Put g, q, -2/3 in decreasing order.
q, g, -2/3
Let j = 11.8 - -19.8. Let u = -32 + j. Put u, -5, 0 in descending order.
0, u, -5
Let n be (-1)/(-6) + (-658)/(-12). Suppose -4*t = t + n. Suppose 3*x = 4*x + 4. Sort t, x, -5.
t, -5, x
Suppose -90 = 524*u - 521*u. Put -3, -6, u in decreasing order.
-3, -6, u
Suppose -5*j - 4*b - 7 = -4*j, -25 = -2*j + 5*b. Let z(p) = -p**3 + p**2 + 8*p - 8. Let n be z(3). Sort 4, j, -4, n in ascending order.
-4, n, 4, j
Let x be (2/3)/((-2)/(-12)). Suppose 5*b + 12 = 4*l, b - 12 = 4*b - x*l. Suppose i + 13 = -3*f + 6*f, 3*i + 6 = -2*f. Sort i, b, 1 in ascending order.
i, b, 1
Let h be 3/(-2)*(-7 - -5). Suppose 0*t + 85 = 4*p - 5*t, 10 = -2*t. Suppose 3*g = -3*o + p, 0 = o + 5*g - 5 - 20. Sort h, o, -4.
-4, o, h
Let u = 32.59 - 30.9. Let s = u + -1.29. Sort -13, 0.1, s, -0.1 in ascending order.
-13, -0.1, 0.1, s
Let x = -0.5 + 0.3. Let c = 5.2 + x. Let p = 2 + -2.5. Put -1/4, c, p in ascending order.
p, -1/4, c
Suppose -770 = 11*b + 3*b. Let q = b - -58. Suppose l + v = -0*l - 5, -2*l + 5*v + 11 = 0. Sort q, l, -1.
l, -1, q
Let s be 23/(-36) - (-16)/(-144). Let m = -4 + 4.5. Let y = m + -2.5. Sort s, y, 4 in descending order.
4, s, y
Let d = -17 + 17. Suppose -4 = -d*g - g. Suppose -g*v + 3*f - 11 = -0*f, -2*v - 4*f - 22 = 0. Sort 4, v, -3.
v, -3, 4
Suppose -2*b - b = -2*d - 68, b + 164 = -4*d. Put d, 2, 4, -7 in descending order.
4, 2, -7, d
Suppose 5*k - 67 = -3*t + 63, 0 = -2*k + 4. Sort t, -3, 1, -5 in descending order.
t, 1, -3, -5
Let w = 438 - 441. Put 3, -4, w, 5 in descending order.
5, 3, w, -4
Let y = -1 - 2. Let o be 1/(10/45 - (-2)/72). Sort -5, y, o.
-5, y, o
Let s(b) = b**3 - 48*b**2 + 45*b + 90. Let q be s(47). Put -2, -3, q in increasing order.
q, -3, -2
Let v(a) = -a**3 + 8*a**2 - 9*a + 12. Let u be v(7). Suppose -8*b + 20 = -10*b. Put u, b, -4 in ascending order.
b, -4, u
Let a = 5.1 + -6.9. Let f 