ose 15 - c = -6*p. Sort p, 6, 18 in descending order.
18, 6, p
Let b = 19843 + -19837. Sort b, 1/9, -0.5 in decreasing order.
b, 1/9, -0.5
Let y be (6/(-15))/(2/4). Let h be 0 - -3 - 1332/(-45). Let q = -1121/35 + h. Sort 1, y, q in descending order.
1, q, y
Suppose 5*t - u - 10 = 0, 3*t = 3*u + 1 + 17. Let k be (-304)/164 + 1 + t. Let m = k - -146/123. Put -4, m, -0.3 in ascending order.
-4, -0.3, m
Let k = 382 + -545. Let v = k - -166. Suppose u + 4 + 1 = 0. Sort v, -1, 24, u in decreasing order.
24, v, -1, u
Suppose -8 = 4*b - 20, 5 = -2*u + 5*b. Sort -4, 428, u, 1 in ascending order.
-4, 1, u, 428
Let g = 47 - 45. Let a(h) = -h**3 + 6*h**2 + 19*h - 15. Let p be a(7). Suppose -p = -g*u + 5*u. Put 2, u, -3 in increasing order.
u, -3, 2
Let o = -5.26 - -9.03. Let r = o + -4.17. Let k be (-2)/(-10)*(-10)/4. Put r, -0.15, k, -1 in decreasing order.
-0.15, r, k, -1
Let f = 10.26 + -10.1. Put 2, 0.3, f in descending order.
2, 0.3, f
Let i(t) = 31*t + 1397. Let b be i(-45). Sort b, -1, -5, 4, -62.
-62, -5, -1, b, 4
Let b(o) = -2*o**2 - 4*o - 2. Let k be b(-2). Suppose -943*y - 30 = -948*y. Sort k, 3, y in descending order.
y, 3, k
Suppose -3253*n + 1230 = -3280*n - 1362. Put n, 6, 4 in decreasing order.
6, 4, n
Suppose -8*t = -38 + 14. Sort -0.1, -8, t, -3 in descending order.
t, -0.1, -3, -8
Let q = -5304 + 5304.2. Let j(x) be the first derivative of -x**2/2 + 7*x - 2. Let r be j(5). Sort q, r, 0.1.
0.1, q, r
Suppose 2*h + 5*s = -2*h - 324, 5*s = -2*h - 172. Let r = 75 + h. Sort 5, r, 2, -69.
-69, r, 2, 5
Suppose 2*f + 4 = -4*c, -15*c + 11*c - 3*f = 0. Sort -4, c, 90, 4 in ascending order.
-4, c, 4, 90
Let t = -31610/9 + 3512. Put t, -0.3, 623 in descending order.
623, t, -0.3
Let r = 0 - 1. Let u be 7 + 48/(-4) - (-1 - -1)/3. Put -2/9, r, u, -1/5 in ascending order.
u, r, -2/9, -1/5
Let o be (5 + -9)/((-28)/21). Let k = 1 + 1. Let m = -1 - k. Sort 1/7, o, m, 0.5 in descending order.
o, 0.5, 1/7, m
Suppose 2*i = -4*x - 188, -21*i + 22*i = -5*x - 88. Let f = -2 - 94. Let j = f - i. Sort 4, j, -11 in increasing order.
-11, j, 4
Let m = 15 + 11. Suppose -22*s = -m*s. Let v be (-62)/(-80) - (s + (-10)/(-25)). Put v, -4, -1 in descending order.
v, -1, -4
Let r = 116.82 - 2.82. Let m = -111 + r. Sort m, 0.06, -0.4, 2/9.
-0.4, 0.06, 2/9, m
Suppose -2*f + s + 9 = 0, -f + 4*s + 15 = -7. Let w be (4/f + 2)*1. Put -7, 3, 0, w in ascending order.
-7, 0, 3, w
Let u = -308236 + 6469111/21. Let j = -183 - u. Sort 2/11, j, -13, 0.1 in ascending order.
-13, j, 0.1, 2/11
Suppose 24*r = 36*r. Suppose -5*i - 21 + 17 = -m, r = 4*i. Put -5, -77, m in increasing order.
-77, -5, m
Suppose -k + 5*l = 2*l + 11, 4*l = k + 16. Let a = -5/3 + 4. Let b = 109 - 1309/12. Sort a, k, -0.4, b.
-0.4, b, a, k
Let p(v) = -v**3 - 10*v**2 + 21*v - 33. Let s be p(-12). Suppose 6 = 17*g - 19*g. Suppose 5*w - 3*w - 4 = 0. Sort w, s, g.
g, w, s
Suppose -11*n + 6 = -13 - 14. Sort 4, n, 0.1, -5, 17/12.
-5, 0.1, 17/12, n, 4
Let q be -10*(5 - (-190)/(-4)). Let g = 344 - q. Sort 4, g, 2 in decreasing order.
4, 2, g
Let x = -1533 - -1535. Sort -3, 3, x, 4 in decreasing order.
4, 3, x, -3
Let o = 2/2683 - -5352/18781. Sort 1/3, 3, 0.7, o, 0.4.
o, 1/3, 0.4, 0.7, 3
Let v = -1.003 - -0.003. Let o = -475/11 + 43. Let m be (3/15)/(16/(-30)). Sort v, m, o, -3/2 in decreasing order.
o, m, v, -3/2
Let x = 88 + -77. Suppose -3*c = -x + 29. Put -5, 1, c in descending order.
1, -5, c
Let i = -5076 - -5344. Sort 3, -3, i in ascending order.
-3, 3, i
Suppose -4*a + 0*a - 12 = 0. Suppose 3*t + 0*l + l = 5, t - 2*l + 10 = 0. Suppose t = -12*f - 2*f - 56. Put f, a, 1 in increasing order.
f, a, 1
Let c = -17 - -12. Suppose 18*s + 1060 = 8*s. Let w = s - -105. Put w, 5, 4, c in decreasing order.
5, 4, w, c
Let g be (40/(-24))/5*-3*5. Sort g, -0.08, -1/9, -0.8.
-0.8, -1/9, -0.08, g
Let s = -12 - -10. Let y be (-10)/6 + s/6. Suppose 467 - 482 = -5*q. Put 2, q, y in descending order.
q, 2, y
Let h be 134/(-9)*5*(-6)/35. Let j = 40/3 - h. Sort -1, j, -0.5, 7.
-1, -0.5, j, 7
Suppose 0 = 3*t + 3*k + 15, -13 = 4*t - 4*k - 1. Let l = t + 3. Let m be 0 - (0 - (-51)/(-85)). Sort -2/5, l, m in descending order.
m, -2/5, l
Let s = -612 + 620. Put -4, s, -2, -6/11, -2/3 in decreasing order.
s, -6/11, -2/3, -2, -4
Let n = 2970 + -2966. Let h be (-2)/(-3) - (-63)/27. Sort n, -2/7, h in decreasing order.
n, h, -2/7
Let u = -1.6 - 0.4. Let p = 39 + -38.8. Suppose -1230*a + 1182*a - 336 = 0. Sort p, -3, u, a.
a, -3, u, p
Let y = 2743 - 2741. Sort 2/9, 3, 19/2, y in increasing order.
2/9, y, 3, 19/2
Let q = 0.13 + -0.01. Let h(g) = -g**3 + 21*g**2 + 19*g + 16. Let j be h(22). Let l = j + 55. Put q, l, 4 in decreasing order.
l, 4, q
Suppose y = 4*y - 9. Let m(b) = -28*b**2 - 4*b. Let h be m(-1). Let n be (4 - 4)*(-6)/h. Sort -22, y, n in increasing order.
-22, n, y
Let z be (-2)/20*(-8 - -6)/(-7 + 6). Sort 0.3, z, 0, -99, 1 in decreasing order.
1, 0.3, 0, z, -99
Let s = -10367 + 10751. Put -3/4, 1/4, s in ascending order.
-3/4, 1/4, s
Let n be 4/14*105/45. Let w = 2 - 1. Put n, w, 3/4, 0.14 in increasing order.
0.14, n, 3/4, w
Let a(o) = o**3 + 5*o**2 + 2*o + 16. Let c be a(-6). Suppose -5 = l + 2*h, -2*l - 7 = -h - 2. Put l, 4, 2, c in descending order.
4, 2, l, c
Let d = 6525 - 6529. Put -3, 2, 4, -5, d in decreasing order.
4, 2, -3, d, -5
Suppose 3*x - 72 = 5*y + 501, 5*y + 2*x + 543 = 0. Sort y, -3, -1 in ascending order.
y, -3, -1
Let o = -176.9 + 187. Let s = o + -61.1. Let z = -54 - s. Sort -5, 3, -4, z in increasing order.
-5, -4, z, 3
Let l(c) = -c - 23. Let p be l(-17). Let b = -22 + 25. Sort p, -4, b in decreasing order.
b, -4, p
Let z be (-52 - -72)*(-3)/(-12). Sort z, -86/9, -4.
-86/9, -4, z
Let c = -85 - -80. Let m(k) = -k**2 - 14*k - 50. Let o be m(c). Sort -12, 4, o in decreasing order.
4, o, -12
Let f = 8 + -3. Let b = -1473/7765 + -16/1553. Let v = -2/5 - -7/30. Sort v, f, b.
b, v, f
Let x = -3.2464 + 2.1004. Sort -1/5, x, 0.1, 0.5 in decreasing order.
0.5, 0.1, -1/5, x
Let q = -722 - -726.29. Let w = q - 0.59. Let j = w - 3.4. Sort -4, j, -1/5 in increasing order.
-4, -1/5, j
Let r = -333 + 361.2. Let t = -2055 - -2083. Let m = t - r. Sort -2, m, -4 in decreasing order.
m, -2, -4
Suppose 4*p + 3*h = 178, 0 = -2*p + p - 3*h + 49. Suppose 3*i - 7 = -2*g + 4, -4*i + p = -3*g. Let s be 3*(-9 - 96/(-9)). Sort i, 1, s in ascending order.
1, s, i
Suppose w - 13 = -3*u, -4*u = 5*w - 3*w - 18. Let q be 10/(-2)*136/170 - -38. Suppose 0 = 5*s - 24 + q. Sort u, s, 24 in increasing order.
s, u, 24
Let t be (80/6)/(7/(-105)*1). Let j = 193 + t. Sort 11, 2, j, 5.
j, 2, 5, 11
Let m(b) = b**3 - 22*b**2 + 48*b + 170. Let d be m(19). Put 0, 3, -4, -10, d in descending order.
3, 0, d, -4, -10
Let x = -345.6 - -346. Let h = -0.233 - -0.513. Sort h, x, -2/9, -3 in decreasing order.
x, h, -2/9, -3
Let r = 336 - 336.03. Suppose -3 = 3*l + 4*g, 8*l = 3*l + 3*g - 34. Put r, l, -1/4, 5 in decreasing order.
5, r, -1/4, l
Let p = 1248.61 - 1246. Let u = -6.61 + p. Let t = 0.31 - 0.01. Put -0.2, 0.1, u, t in increasing order.
u, -0.2, 0.1, t
Let w = -20.4 - -3. Let c = w - -26. Let x = 5.6 - c. Sort x, 4, 2/13 in descending order.
4, 2/13, x
Let u = 257267 - 257229. Let r(a) = -a - 4. Let m be r(-4). Put m, u, 1 in increasing order.
m, 1, u
Suppose 0 = -335*o - 379*o. Suppose 3*u = -x + 46, 0*x + 2*x = 2. Sort o, 5, 1, u.
o, 1, 5, u
Let f(v) = -2*v**3 + 42*v**2 - 136*v + 2. Let r be f(17). Put r, 13, 5 in ascending order.
r, 5, 13
Suppose -1 = 15*d - 1. Let u = -4/21 - -37/84. Put 5/3, -0.3, d, u in decreasing order.
5/3, u, d, -0.3
Let z = 0.25633 + 0.04367. Let f = 1 - 0.5. Sort f, -0.2, z, -15/8.
-15/8, -0.2, z, f
Let t be (319/(-22))/(-29)*-1*(0 - 2). Put -8, -20, 5, 4, t in increasing order.
-20, -8, t, 4, 5
Let o = -14.9 - -14.957. Let f = o + 0.013. Put 2/13, 2, f, -2/9 in ascending order.
-2/9, f, 2/13, 2
Let q = 26 + -22. Let o = q - 7. Let h be o/(-7) + (-256)/(-56). Sort -2, h, -1 in ascending order.
-2, -1, h
Let v = -41 + 40. Let k = -2127.7 + 2128. Put v, k, -0.06 in descending order.
k, -0.06, v
Suppose 5*v - 142 = -c - 2296, -4 = c. Let r = v - -1292/3. Sort -4/3, r, -0.3.
-4/3, -0.3, r
Let g be (2 - (-26)/221) + -2. Sort -0.13, -1, g, 9.
-1, -0.13, g, 9
Let z = -2 + 4. Let s = 4637 + -4641. Sort 24, s, z in increasing orde