se -5*b = -20, -13 = 3*u - b + y*b. Put 5, j, u in ascending order.
u, j, 5
Let o = -33.16 - -32.96. Sort o, 2/87, 1, 3 in decreasing order.
3, 1, 2/87, o
Suppose 0 = -m - 5, 89*h - 94*h - 45 = 4*m. Sort 4, -122, h in descending order.
4, h, -122
Suppose -75 = -2*y - 2*i - 131, 2*i = -6*y - 156. Put y, -5, -15, 2, 0 in descending order.
2, 0, -5, -15, y
Suppose -4*p = d + 16, 5*p + 2*p = d - 28. Sort p, 5, 4, 6, -5 in increasing order.
-5, p, 4, 5, 6
Let q = -211 + 402. Let a = q - 188. Sort 1, 0.3, a.
0.3, 1, a
Suppose 3 = -5*s + 103. Suppose 3*c + c = s. Suppose 0 = 24*o + 47 + 1. Sort 4, c, o, -3 in increasing order.
-3, o, 4, c
Let c(l) = 74*l - 3705. Let o be c(50). Sort o, -6, -4, 90, -3.
-6, o, -4, -3, 90
Let v(h) = -36*h + 3094. Let f be v(86). Put 2, 23, f in decreasing order.
23, 2, f
Let k = -0.09 + -11.91. Let c = k + -5. Let x = 17.09 + c. Sort -5, 2, x in ascending order.
-5, x, 2
Let q = -0.04461 - -184.04461. Sort q, -1/4, 0.3 in ascending order.
-1/4, 0.3, q
Let u(s) = 16*s**2 - 2*s - 2. Let d be u(-1). Suppose -13*g = -17*g + d. Put g, 0, 2, 3 in ascending order.
0, 2, 3, g
Suppose -3*f - 14 = -b, -2*f - 26 = 72*b - 76*b. Sort -26, 2, 6, b, -1 in increasing order.
-26, -1, 2, b, 6
Suppose 47*p + 31 = 16*p. Suppose i + i - 99 = 3*g, 2*i = -4*g - 146. Sort p, -4, g in ascending order.
g, -4, p
Suppose -n - 2*t = 2*t - 365, 2*n - 712 = t. Suppose -3*y = -3*i + n, 0 = -3*y - 0*i + 4*i - 362. Let v = y + 128. Put 0, v, 2 in increasing order.
0, 2, v
Let l = 71 - 5. Let q = -63 + l. Sort q, 4, -3, 11.
-3, q, 4, 11
Let v = 54.67 - 53.67. Sort v, -5.6, -1 in ascending order.
-5.6, -1, v
Let b = 3634.1 - 3634. Sort 0.2, -12, 1/2, b in decreasing order.
1/2, 0.2, b, -12
Suppose -11 - 5 = -4*w + 2*g, -3*g - 9 = -3*w. Suppose -11*s - 21 = -2*o - 8*s, -28 = -o + w*s. Put 5, 57, -3, o in decreasing order.
57, 5, o, -3
Let g = -10551.037 + 10551. Put 0.2, -1/6, 2/7, g in decreasing order.
2/7, 0.2, g, -1/6
Suppose -3*q - q = 4*j - 4, -5*j - 4*q + 5 = 0. Suppose 6*t + 2 = 3*t + x, -5*x - 30 = 5*t. Put 3, t, j, 5 in descending order.
5, 3, j, t
Suppose 0 = -9*a - 4 - 194. Let p be 4/(-8) + 2/4. Put p, -2, a in ascending order.
a, -2, p
Let s(q) = -q**3 - 229*q**2 + 4*q + 2. Let k be s(0). Let r(l) = -2*l - 1. Let w be r(6). Sort -5, w, -3, k in decreasing order.
k, -3, -5, w
Let z = -8 + 14. Suppose 10*t + 196 = 24*t. Suppose -11*v = -t*v - 9. Sort 5, z, 2, v in increasing order.
v, 2, 5, z
Let p = -605635.2 - -605635. Let z = 3.3 + -0.3. Sort 5, 11/5, z, p in ascending order.
p, 11/5, z, 5
Let g = -4.18 + 3.1. Let i = -19075 - -19074.7. Sort i, g, -0.2, 1 in ascending order.
g, i, -0.2, 1
Let x = -1.08894 + 0.78894. Let c = -371 - -1867/5. Sort x, c, 2/29.
x, 2/29, c
Let k = -4/4485 - 1487/8970. Put 5, 0.5, 1, k in ascending order.
k, 0.5, 1, 5
Suppose 3*t + 5*a = 844 - 773, 19 = t + a. Let s(x) = -x**3 - 4*x**2 - 3. Let w be s(-4). Sort w, t, 4 in increasing order.
w, 4, t
Let k be (5 - ((-45)/10 - -6))/((-25)/30). Sort 5, 3, 0, k, -3.
k, -3, 0, 3, 5
Let q = -1.0487 - -0.2487. Put 4/5, -5, q, -7, 0.3 in decreasing order.
4/5, 0.3, q, -5, -7
Let k = 2 + -4. Let s = -216 - -211. Sort s, k, 37, 3.
s, k, 3, 37
Let g = 1498 - 1497.92. Sort 0.3, -9, 0, g in increasing order.
-9, 0, g, 0.3
Suppose -4 = 3*k - 2*k. Let c = 18 - 6/7. Let x = c - 473/28. Put 1/2, x, k in descending order.
1/2, x, k
Let i = 11880 - 11877. Let t(l) = l + 14. Let m be t(-10). Sort m, -1, i, 5 in descending order.
5, m, i, -1
Let d(c) = -2*c**3 + 24*c**2 - 20*c - 34. Let l be d(11). Let v be (-42)/(-36) - 4/l. Put 5, -30, -0.1, v in ascending order.
-30, -0.1, v, 5
Suppose 4 = 4*p, 3*k - p - 3 = -7. Put 5, 5377, k in increasing order.
k, 5, 5377
Let s(u) = -u**2 + 76*u + 2527. Let j be s(101). Let f be 1 + (0 - (0 - 0)). Suppose -4*t = -2*t + 2. Sort t, 3, j, f.
t, f, j, 3
Let t = -3.899 - 0.101. Sort 0.4, t, 19, 5, -10 in ascending order.
-10, t, 0.4, 5, 19
Let u be 0/(0 - (3 - 2)). Let j(p) = 2*p**2 + 26*p - 55. Let c be j(2). Suppose 3*z + 15 = 60. Put c, z, u in descending order.
z, c, u
Let q = 271 + -268. Let a = 0.3 - 0.8. Let w = 1.67 + 3.33. Sort 0.2, q, a, w in decreasing order.
w, q, 0.2, a
Let v = -0.03 - 2.97. Let x = -5174 + 5176.5. Let t = v + x. Sort t, 3, 2/9 in descending order.
3, 2/9, t
Let l(p) = 2*p**2 - 62 + 130 - 62 + 19*p. Let h be l(-9). Suppose -n + 3*i = 13, -4*n + 5*i + 1 = 32. Put n, -5, h in decreasing order.
h, n, -5
Let i be (-2)/(-2)*(-13 + 1) + (16 - 2). Let g be (-6)/9 - (-2)/(-6). Let q be (2*(-1)/(-10))/g. Sort i, q, -5, -0.1 in increasing order.
-5, q, -0.1, i
Let x(v) be the first derivative of -5*v**3/3 + 2*v + 1. Let a be x(-1). Let t = -220 - -220. Sort 3, t, a, 4 in decreasing order.
4, 3, t, a
Suppose -269 = -24*i - 53. Let g be -1*((-3)/i)/(1/(-9)). Put 4, -8, g, -5 in decreasing order.
4, g, -5, -8
Let n = -389 + 393. Let d be -1 - 6/(-9)*-6. Suppose -x = 4*i - 36 + 22, -4*i + 12 = 0. Sort x, d, n, -2 in increasing order.
d, -2, x, n
Let z = -1.441 - -0.101. Let a = z + -2.66. Put a, 4, 2/11 in descending order.
4, 2/11, a
Let n = 353 + -706. Let a = n + 360. Sort 0, -4, 2, a in decreasing order.
a, 2, 0, -4
Let m be (12 - 1 - -1) + -3 + 1. Suppose 2*t = 4*v - 14, t - m = v - 13. Sort 9, -1/4, -0.3, v.
-0.3, -1/4, v, 9
Suppose 0 = -28*w + 16*w + 57*w + 90. Put -5, w, 47 in increasing order.
-5, w, 47
Let k = 24 - 17. Suppose -7 = 7*y + k. Let h = -0.201 - 3.799. Sort y, h, 3.
h, y, 3
Suppose 0 = -40*x - 4*x - 26*x - 350. Put 5, 2, 0, 1, x in decreasing order.
5, 2, 1, 0, x
Let x be ((-1053)/6)/((-4)/(-8)). Let p = x - -347. Put -8, -1, p in descending order.
-1, p, -8
Let j = -8.26 - 77.94. Let w = j + 81.2. Put 1/3, -4, w, -41 in increasing order.
-41, w, -4, 1/3
Let i = 0.185 + -0.285. Let c = -3 - -2. Let s = 173 + -173.3. Put -5, s, c, i in decreasing order.
i, s, c, -5
Suppose -18 = 4*n + 398*o - 396*o, 3*o - 18 = 3*n. Suppose p = -2*p + 5*w - 26, -3*w = -3*p - 18. Sort 3, p, -80, n.
-80, n, p, 3
Suppose 4*n - 2*n = 2. Let t(z) = -z**2 + 4*z + 9. Let k be t(5). Suppose 4*x - q + 12 = x, 0 = 5*x - 4*q + 27. Put k, x, n in decreasing order.
k, n, x
Let h be (-12)/30 + (13 - (-672)/(-70)). Put h, -364, 0 in decreasing order.
h, 0, -364
Let a be (0 - -3)/15 + (3 - (-2002)/(-35)). Put 4, a, 7 in ascending order.
a, 4, 7
Let d = 96.7 - 97. Let q(p) = p**3 + 9*p**2 + 6*p - 17. Let u = 40 + -48. Let a be q(u). Put a, 0.1, 1, d in decreasing order.
1, 0.1, d, a
Let t = -1537/9 - -171. Let i = -202102 - -202099. Put 2/25, 4, t, i in increasing order.
i, 2/25, t, 4
Let f(i) = -i**2 + 130*i - 500. Let t be f(4). Suppose 4*r = 22 + 74. Put r, -2, t, -4 in increasing order.
-4, -2, t, r
Suppose 0 = -5*z + 12*z - s - 1905, 5*z - 1379 = 3*s. Sort -4, 2, -8, -5, z in increasing order.
-8, -5, -4, 2, z
Let t = 6510 + -6514. Put 4, -5, 370, t in increasing order.
-5, t, 4, 370
Suppose 3*q - 152 + 20 = -2*z, 0 = 2*z + 5*q - 124. Sort -2, z, 4, -1, -5 in descending order.
z, 4, -1, -2, -5
Let f = -17.8 - -17.7. Sort -1/4, f, -531.
-531, -1/4, f
Let g = 117 - 116.246. Let r = g - -42.246. Sort 1/2, r, -1/3 in descending order.
r, 1/2, -1/3
Suppose -3*w + 127 - 311 = -2*n, n = w + 62. Let b be (3/(-18))/(2/w). Put 2, -5, b in descending order.
b, 2, -5
Let y = -20.84 - -21. Let r = 0.04 + y. Let t = 0.031 + -5.031. Put t, -3, r in descending order.
r, -3, t
Suppose 22*l + 86 = 5*l + 120. Sort -4, -135, 4, l, -13 in ascending order.
-135, -13, -4, l, 4
Let k be 14 + -21 + 2*57. Suppose -4*j = -k - 193. Sort j, 3, -3, -1.
-3, -1, 3, j
Suppose 0 = -2*t - 3*t + 30. Let l(n) = -n**3 + 6*n**2 - 2*n. Let m be l(t). Put m, 1, -2, 5 in increasing order.
m, -2, 1, 5
Let f = -3407/35994 + -1/1714. Let i = 35/3 + -12. Put 14, i, f, -3/4 in increasing order.
-3/4, i, f, 14
Suppose 5 = 5*z, 0 = 4*c - 6*c - 2*z + 12. Suppose 0 = c*y + 35 - 50. Put 1/3, 1/8, -31/4, y in ascending order.
-31/4, 1/8, 1/3, y
Let j = -3226 - -3222. Put 0.371, 0.4, j in increasing order.
j, 0.371, 0.4
Let w = 11793 + -82566/7. Sort -0.5, w, 1/3.
w, -0.5, 1/3
Let o = -3 - -4. Let h = -395 + -112. Let t = h - -502. Put t, -6, o in increasing order.
-6, t, o
Let u = 452.48 - 453.48. Let f = 8.82 - -0.18. Let k = f + -2. Put k, u, 4 in increasing order.
u, 4, k
Let b(u) = -2*u**3