 + 77. Put p, 3, a in descending order.
p, 3, a
Suppose 5*x = -r - 1, -5*x = -x. Let c = r - -1. Put 5, -2, c, -3 in decreasing order.
5, c, -2, -3
Let b be (-2)/5*-5*(0 + 2). Put 5, b, 1, 2 in descending order.
5, b, 2, 1
Let f = -1172 - -1175. Sort 4, 0.4, f, 0.2 in ascending order.
0.2, 0.4, f, 4
Let b = 0 + 0. Let u = -5.03 + 6.03. Sort u, 0.4, -10, b in decreasing order.
u, 0.4, b, -10
Suppose 2*l + 3*l = 0. Suppose -11*b + 6*b - 60 = l. Let f be 19/44 - (-3)/b. Sort 5, -0.1, f in descending order.
5, f, -0.1
Let m(j) = -j**3 + 22*j**2 + 25*j - 48. Let v be m(23). Let z be (3/(-6))/((-2)/(-4)). Put z, v, -3 in ascending order.
-3, v, z
Suppose -71*o + 68*o - 3*k = -30, 5*k - 10 = 3*o. Put -2, o, 0, -5 in increasing order.
-5, -2, 0, o
Suppose u + 1 = 4*o, -2*o + 3 - 7 = 4*u. Suppose 0 = -5*p + y + y - 28, 5*y - 12 = -2*p. Sort 5, -2, p, u in descending order.
5, u, -2, p
Suppose 4*d - 8 - 12 = 0. Suppose -5*h + 4 = -p, 9*h - 8*h + 5*p + 20 = 0. Sort -1, h, d in increasing order.
-1, h, d
Let o(f) = -f**3 + 5*f**2 - f + 10. Let u be o(5). Suppose -19*c - u = -14*c. Sort -4, c, 1, 5 in decreasing order.
5, 1, c, -4
Let q = -42 - -27. Let b = q + 10. Let m = b + 7. Sort -0.3, -4, m in descending order.
m, -0.3, -4
Let q = -19/330 + -1/30. Let z = -69 - -1171/17. Sort 2/3, -1, z, q in ascending order.
-1, z, q, 2/3
Let k = 381 - 381. Suppose 0*r + 3*r - 3 = 0. Put 2, r, k in ascending order.
k, r, 2
Let n = 3 + -6. Let h = 0.284 - -0.116. Sort 3/5, -0.5, h, n in ascending order.
n, -0.5, h, 3/5
Let d be 28/6 - 2/(-6). Let m(f) = -50*f + 353. Let l be m(7). Suppose 3*a - 4 = 5*h, 2*a - 3*h + l = d. Put a, 3, -4 in descending order.
3, a, -4
Suppose -34 = -11*h + 21. Let m(j) = -j**2 + 5*j + 1. Let i be m(6). Sort 34, i, h, 0.
i, 0, h, 34
Let d be (2/(-6)*-12)/4. Put d, -34, 4, 6 in descending order.
6, 4, d, -34
Suppose -70 = 5*q + 5*v, 18*v - 15 = 15*v. Sort 5, 7, q in descending order.
7, 5, q
Let q = 1086 - 1117. Sort -1, 2, q in ascending order.
q, -1, 2
Let t = -0.035 + -4.265. Let b = 29.7 - t. Let s = -29 + b. Put s, 3, -0.4 in decreasing order.
s, 3, -0.4
Let p = -307 - -302. Put -9, p, -3 in descending order.
-3, p, -9
Let m = 1259 - 1259. Put m, -2, -53/4 in descending order.
m, -2, -53/4
Suppose -3*n = -8*n + 2*y + 770, y = 3*n - 462. Sort -4, -5, -1, n in increasing order.
-5, -4, -1, n
Suppose -4*b = -9*b + 15. Suppose -57*i - 1245 = 182*i - 3157. Sort -1, b, i in decreasing order.
i, b, -1
Let z(j) = 37*j + 816. Let s be z(-22). Sort -74, s, 5 in increasing order.
-74, s, 5
Let p = -8 - -8.1. Let c = -0.02 - 1.04. Let x = -0.06 - c. Sort 2, x, p in increasing order.
p, x, 2
Let m = -1.29 - -8.19. Let h = m + -16.9. Let y be 2 + (0 - (-18)/(-10)). Put 0.3, y, h in decreasing order.
0.3, y, h
Suppose -1 = w + 2. Suppose -5*h + 45 = -2*k + k, -4*h = 5*k - 65. Sort h, -2, w.
w, -2, h
Suppose -96 = -3*m + 6*m. Sort 2, m, 4.
m, 2, 4
Let z be (-2)/(-3) - (16/(-12) + 2). Suppose 4*x + 12 = -z*x. Sort -5, x, 3 in decreasing order.
3, x, -5
Let p = -27 - -27.4. Sort -0.6, -1, p in descending order.
p, -0.6, -1
Let y = -0.8742 - 0.1258. Sort y, -2, 0.168 in ascending order.
-2, y, 0.168
Let x = -201 - -211. Let y(t) = t - 2. Let s be y(-4). Let k = s + x. Sort 3, k, 5.
3, k, 5
Let x(r) = -3*r - 2. Let m be x(-6). Suppose 2*v - m = 6*v. Suppose 0 = 2*z + 2*o - 16, 0*o = 2*z + o - 13. Put z, -2, v in descending order.
z, -2, v
Let b = 0.23 + -0.09. Let j = b + -0.34. Sort -0.5, 1/3, j.
-0.5, j, 1/3
Suppose 8*t - 12*t - 64 = 0. Put 9, t, -3 in decreasing order.
9, -3, t
Let b = -205 + 205.1. Let u = -9 - -3. Let a = 8 + u. Sort -2/3, a, b.
-2/3, b, a
Let b(o) = 2*o - 1. Let u be b(-1). Sort 5, 0.5, u.
u, 0.5, 5
Let g = -0.057 - -0.065. Let l = 0.308 - g. Sort 1, l, 0.9.
l, 0.9, 1
Let l = -603 - -603.4. Put 29, l, 0.6 in decreasing order.
29, 0.6, l
Let z(h) = -h + 11. Let w be z(0). Let j be (2 - 1) + (w - 0). Let d be -5 + 4/(j/9). Sort -4, 5, d.
-4, d, 5
Suppose -16*s + 1106 = 1026. Suppose 0 = 5*c - 5, 25 = 2*p + 3*c - 2*c. Put p, s, -3, -1 in increasing order.
-3, -1, s, p
Let w = 0.37 - 0.23. Let y = 0.54 + 0.1. Let i = w - y. Put 1, i, 0 in descending order.
1, 0, i
Let d be (0/(-2))/(3*3/(-9)). Suppose d = 20*i - 21*i + 3. Let w = -3 - -8. Put w, 2, i in increasing order.
2, i, w
Let h = 0.111 - -0.889. Sort -106, -5, h, -3 in ascending order.
-106, -5, -3, h
Let z be (-210)/36 + 3/(-18). Let d be (-7)/(3 - (-20)/z). Sort 4, -1, d in decreasing order.
d, 4, -1
Suppose 3 = -f + 2. Let i(r) = r**2 - 3*r + 9. Let d be i(6). Suppose 5*t - y = d, -2*t - 4*y - 33 = -7*t. Sort f, 6, t in decreasing order.
6, t, f
Let u = 7.9 + -8. Let n = 119.7 - 120. Sort n, u, -1/7, 3 in increasing order.
n, -1/7, u, 3
Let m = 10639/10 + -1064. Suppose -3*h + 4*d = 2*h + 16, -4*d + 16 = 0. Sort h, -2, m, 4/3 in ascending order.
-2, m, h, 4/3
Suppose -6*h + h + 5 = 0. Let z = -26 - -32. Suppose -6*v = -z + 36. Sort v, h, -2 in increasing order.
v, -2, h
Let z be (-2)/(-18)*75 + 4/6. Let k be -5 + (-2 - 0) + z. Suppose 29 = x - 5*m, -x = x - 3*m - 23. Sort k, x, -1.
-1, k, x
Suppose t - 3*s + 8 = 0, 0 = 2*s - 4 - 4. Put t, 11/4, -0.4 in ascending order.
-0.4, 11/4, t
Let r be ((-492)/410)/((-3)/(-5)). Sort -8, 2, 5, r.
-8, r, 2, 5
Let h = -14.08 + 14. Let d = -4.08 - h. Let r be (-1 + -1)/(-1 + -14). Put 0.2, r, d in ascending order.
d, r, 0.2
Let n = 3 - 6. Let l = n - -5. Suppose 3*g = -4*v + 35, 0*v + l*v - 15 = -g. Sort -5, g, 3.
-5, 3, g
Let q(d) = -d + 2. Let y be q(7). Let i be y/4 - 9/12. Let f = 1.3 + -1. Put f, i, -0.5 in descending order.
f, -0.5, i
Let z = -10 + 15. Suppose 0 = 3*o - 5*n - 26, -3*o - o = 3*n + 4. Let p be (-2)/(-7)*o/(2/(-1)). Sort z, 2, p in increasing order.
p, 2, z
Let b(t) = 2*t**3 - 11*t**2 - 3*t - 25. Let v be b(6). Sort -2, 5, v in decreasing order.
5, -2, v
Suppose 14*h = -19*h - 66. Put h, -5, 0, 3 in ascending order.
-5, h, 0, 3
Let u be 5 + (3 - (-3)/(-1))*1. Let g = u + 0. Sort 2/3, 0.1, g in descending order.
g, 2/3, 0.1
Suppose -3*m + 12 = m. Suppose 0 = 2*b + 3*c + 16, -4*b + 2*b - 5*c - 20 = 0. Sort m, 7, b in decreasing order.
7, m, b
Suppose 0 = 16*q + 3479 - 1191. Sort -1, -5, q, 4 in increasing order.
q, -5, -1, 4
Let v = 13 - 10. Suppose 90*b = -94 + 544. Sort v, b, 4, -4 in increasing order.
-4, v, 4, b
Let s = -6 + 6.3. Let y = -50 - -49.6. Sort 0, s, y in increasing order.
y, 0, s
Let q = 3 + -2.8. Suppose 0 = -3*j + 3*r - 24, r + 7 = -j - j. Let a be ((-2)/j)/((-3)/(-15)). Put -5, a, q in decreasing order.
a, q, -5
Let j(y) be the third derivative of y**4/24 + 5*y**3/3 - 4*y**2. Let f be j(-18). Sort -4, 1, f in ascending order.
f, -4, 1
Let o = -1682 - -13459/8. Sort -5, -2, -3/5, o in increasing order.
-5, -2, -3/5, o
Let b(k) = k**2 - 3*k - 4. Let p be b(4). Suppose 14 = -3*g + 4*h - p, 0 = -2*g + 5*h - 7. Let o be g/(-8)*(-15)/9. Sort -0.2, -5, o in descending order.
-0.2, o, -5
Let m = 156 + -92. Let v = m + -65. Put 1, v, -2, -5 in increasing order.
-5, -2, v, 1
Let k = -114 - -131. Suppose 24 = a - 5*n, a + 4*n + k = 4*a. Put -3, -5, a, 1 in increasing order.
-5, -3, a, 1
Suppose -g = -k - 2, 4*g + 0*g = 5*k + 13. Let r be 0 - ((-1)/(-7) - 80/(-28)). Let v be 8/12*4*r. Sort 4, k, v in decreasing order.
4, k, v
Let p be 8/(-6) + (-2)/84*-50. Sort -0.12, -2, 0.1, p in increasing order.
-2, p, -0.12, 0.1
Suppose -3*w - 2*w + 15 = 0. Suppose 11 = -w*s - 22. Let u be (-2)/s - 8/44. Put 1, -1, u in increasing order.
-1, u, 1
Let w be 156/(-30) - (-2)/10. Let r(t) = t**2 + 4*t - 23. Let b be r(-7). Sort 1, w, 5, b.
w, b, 1, 5
Suppose 3*w + 3*g = 9, 3*w - g + 0*g - 1 = 0. Let x be -1*3*(-4)/(-3). Suppose 6*f = -3*f + 45. Sort x, f, w in increasing order.
x, w, f
Suppose -5*r + 11*r - 60 = 0. Suppose 0 = 2*o - o + 2*k + 14, 0 = -5*o + 2*k - r. Sort -2, 5, o, -3 in decreasing order.
5, -2, -3, o
Let y be (-2*2 - -3) + 3. Let g(h) = 10*h + h**3 - 5*h - 5*h**2 + y - 2*h**2. Let b be g(6). Put b, -2/5, -3 in decreasing order.
-2/5, -3, b
Let l = 58 + -55. Suppose 4*t - q = 2*q, -5*q = 0. Sort -5, l, t in descending order.
l, t, -5
Suppose -j - 2*n + 0 = 2, j = 3*n - 27. Let a = j + 14. Let b = -1 - a. Sort 4, b, -4 in decreasing order.
4, b, -4
Let y be (2*9/(-24))/((-2)/(-48)). Sort -4, y, -1, -3 in increas