 17.3 - 8.3. Put -0.2, z, 5, s in increasing order.
-0.2, s, 5, z
Suppose -9 = 4*j + 51. Let n = -21 - -35. Let f = n + j. Put 3, f, 4 in decreasing order.
4, 3, f
Suppose 2*d + 14 = -5*u, 0*u - 3*d - 4 = -u. Let s be (u/28)/((-21)/84). Sort 0, s, -1/5, 1.
-1/5, 0, s, 1
Let x be 726/18*11821/(-3). Let n = -158675 - x. Let l = -252 + n. Sort -0.2, 0.01, -1/2, l.
-1/2, l, -0.2, 0.01
Let o be 45/(-50)*(-50)/60. Sort -5, o, -215 in descending order.
o, -5, -215
Let d = 5.546 + -0.546. Let q = -3.1 - -3. Let p = 0.0092 - -3.9908. Sort 1, d, p, q in descending order.
d, p, 1, q
Let f = 2736 - 2736.04. Sort f, -1.1, -1 in decreasing order.
f, -1, -1.1
Let h(g) = g**3 - 8*g**2 + 13*g + 12. Let r be h(4). Sort r, 0.7, 5 in decreasing order.
5, 0.7, r
Let x = 110 - -8. Let h = 153 - x. Sort h, -0.6, -3.
-3, -0.6, h
Let o be (-3)/(-2)*(-10)/45. Let w = 12772 + -12774. Sort -3, o, w, -0.4.
-3, w, -0.4, o
Let t = -142635028/187 + 762756. Let a = t - 22/17. Let m = 0.41 + 2.59. Put m, a, 2/3, 1 in ascending order.
a, 2/3, 1, m
Let l = 677.3 + -677.3. Sort l, 3/8, 11 in ascending order.
l, 3/8, 11
Suppose 11 = 18*a + 46 + 1. Sort a, 8, -5, 4, 3 in decreasing order.
8, 4, 3, a, -5
Suppose -292 - 104 = -12*d. Let q be ((-3)/(-2))/(d/(-44)). Let k(h) = -h**2 + 8*h + 10. Let o be k(9). Sort -14, o, q in decreasing order.
o, q, -14
Let f = -10.022 + 10.122. Put f, -0.111, 2/15 in decreasing order.
2/15, f, -0.111
Let c(g) = -g**3 - 2*g**2 - 11*g - 11. Let s be c(-1). Let b = 72 + -60. Sort 7, b, s in ascending order.
s, 7, b
Let j(s) = 403 - 872 - 20*s + 374. Let i be j(-5). Sort -22, -3, i, 1.
-22, -3, 1, i
Suppose 5*d + 1 = 6*d. Let p be d - 11 - (9 + -13). Sort -2/15, p, 1.
p, -2/15, 1
Suppose 3*d = -12, 2*d - 6 = -2*s + 6*d. Put s, 8, 0, 45 in decreasing order.
45, 8, 0, s
Let s(h) = 6*h**2 - 18*h - 1. Let k be s(3). Put -4, 0, 2, k, 3 in ascending order.
-4, k, 0, 2, 3
Let l be (-16)/((-4224)/100) - (-6)/36. Sort 13, -6, l, -2.
-6, -2, l, 13
Let x(t) = -25*t + 1848. Let m be x(69). Sort -4, m, 5, 4 in increasing order.
-4, 4, 5, m
Let w = -4.03 + -0.1. Let a = -16.13 - w. Put a, 0.4, 2/7, -1/3 in decreasing order.
0.4, 2/7, -1/3, a
Suppose 448 = 42*q - 266. Sort -3, q, 68.
-3, q, 68
Suppose 3*f + 2*k = 344, 112 = -2*f + 3*f - 2*k. Suppose f*a = 116*a + 10. Let y = 0.41 - 0.01. Sort y, 5, a.
a, y, 5
Let p = -100 - -104. Let i = -7 + 2. Sort 2, i, 3, p.
i, 2, 3, p
Suppose 5*g + 31 = 18 - 12. Let d(q) = -q**3 - 3*q**2 - q - 4. Let y be d(-3). Sort -17/5, -2, y, g in decreasing order.
y, -2, -17/5, g
Let m = 4599 + -4599. Sort m, 3, 10, 43, 2.
m, 2, 3, 10, 43
Let a(b) be the first derivative of b**4/4 + 16*b**3/3 - 9*b**2 - 23*b + 26. Let h be a(-17). Let l = 6 + h. Put 6, l, -5, -2 in ascending order.
-5, -2, l, 6
Let t(g) = -g**2 - 6*g - 2. Let k be t(-5). Suppose -k*r = 2 + 1. Suppose 401*b - 403*b + 6 = 0. Sort b, r, 4 in increasing order.
r, b, 4
Let s(v) = -5*v**2 - 30*v + 139. Let a be s(-9). Sort -2, 6, -6, a, -4 in decreasing order.
6, a, -2, -4, -6
Let h = -843.9 + 831.9. Put -5, h, 5, 0.01 in decreasing order.
5, 0.01, -5, h
Let u = -58 + 60. Suppose 3*c - 3 = -2*i + 12, u*c - i - 10 = 0. Suppose c = 5*q, 0*h - 29 = 4*h - 5*q. Sort 1, -3, h in ascending order.
h, -3, 1
Let c = -2.02 - -7.02. Let r = -92 - -92. Let w be ((-2)/(-2))/(2/6). Put r, c, w in increasing order.
r, w, c
Let z = -402 + 405. Suppose -8*f = -5*f - z. Put -0.1, 36, f, 0.1 in descending order.
36, f, 0.1, -0.1
Let u be (3 + 8 - 18) + 8. Put u, -0.01, -0.07 in descending order.
u, -0.01, -0.07
Let z = 211.92 - 212. Let f = 13.96 + -13.96. Sort z, 0.5, 2/9, f in descending order.
0.5, 2/9, f, z
Let z be -8 + 3 + (3 - -3) + -2. Let h be z*1*(7 - (-45)/(-5)). Let l = -1 - 4. Sort l, 0, -1, h in descending order.
h, 0, -1, l
Suppose 4*a - 3 = 6*a - u, -u = 5*a - 6*u. Let y be (2/3)/((-2)/(-6)). Sort a, y, -45.
-45, a, y
Let s = -1 - 5. Let w = -26956 + 26959. Sort w, -5, s, 1 in ascending order.
s, -5, 1, w
Suppose 0 = -2*t + 4*t - 8. Let b = 216 - 207. Suppose -2*m + b = -o, 4*o - m + 45 = -o. Put 2, -2, t, o in increasing order.
o, -2, 2, t
Let x = 21 - 21.3. Let h = 0.07 - 0.007. Let m = h - -0.937. Sort m, -4, 4, x.
-4, x, m, 4
Let y = 5.7 - -8.3. Let t = -64 + y. Let a = -50.3 - t. Sort a, 8, -2, -1.
-2, -1, a, 8
Let t = -0.16755 + -27.83245. Put 5, -3, 0.1, t, 0.5 in decreasing order.
5, 0.5, 0.1, -3, t
Let s = -65447/179949 + 1/16359. Sort -1.2, 0.5, 1, s in descending order.
1, 0.5, s, -1.2
Let h = -161 + 266. Let s be (-42)/h*(31 + -1). Sort 0, s, -3 in decreasing order.
0, -3, s
Let x = -377 + 378. Let b = 50 - 53. Sort x, b, 26/3, 0.5 in decreasing order.
26/3, x, 0.5, b
Suppose -4*s + 12 = 0, 5*s - 507 + 492 = 3*z. Sort -4/13, 2/11, 0.024, z, 1/6 in decreasing order.
2/11, 1/6, 0.024, z, -4/13
Let v = 370 - 376. Let a be v/48 - (-70)/(-80). Put 5, a, 27 in ascending order.
a, 5, 27
Let y = 11 - 15. Suppose 0 = 2*u + u. Put -5, u, -2.5, y in decreasing order.
u, -2.5, y, -5
Let u = -7.64 + -27.06. Let g = 55 + -90. Let b = g - u. Put 1/2, b, 4 in increasing order.
b, 1/2, 4
Let y = -529/6 - -88. Let s = -490 + 490. Sort y, s, -10/13 in descending order.
s, y, -10/13
Let z = 2399 - 2373. Put 0.1, 102, z, 2 in decreasing order.
102, z, 2, 0.1
Suppose 6*j = 18*j - 6*j. Suppose 85*l = 88*l - 102. Suppose 32*m = l*m - 20. Sort -3, j, m.
-3, j, m
Let n = -61 + 80. Suppose -10 = 2*v, -o = -3*v - 75 + n. Let d = o + -38. Sort 5, -1, d, 4 in decreasing order.
5, 4, d, -1
Let u be ((-6)/(-27))/(4/(8 + 0)). Let j = 14 - 13.68. Put 0.1, j, u in descending order.
u, j, 0.1
Let p be ((-9)/(360/(-184)) - 5) + ((-6216)/(-40) - -4). Suppose s - 2*s + 2 = 0. Put -1, s, p in decreasing order.
p, s, -1
Let t = 7975/3 - 2654. Put -2/37, -2/7, t in decreasing order.
t, -2/37, -2/7
Let n(g) = -g**3 - 6*g**2 - 22*g - 18. Let h be n(-6). Let p = h - 114. Put -2, -5, p in decreasing order.
p, -2, -5
Let r be ((9 - 12 - -8) + -11)*(-4)/(-6). Sort -2, 5, -0.2, r, 29 in ascending order.
r, -2, -0.2, 5, 29
Let p = -3004 - -3006. Put 4, -5, p, -14 in descending order.
4, p, -5, -14
Let a = 16371 - 16376. Sort a, -146, -0.4, 5, 0.2 in decreasing order.
5, 0.2, -0.4, a, -146
Suppose -2*s = 0, s = -3*p + 2*p + 6*s - s. Sort p, -4, 9, 3.
-4, p, 3, 9
Let i be 1208/(-2718)*(3 + -1 - 11). Sort i, 0, 9, 1 in decreasing order.
9, i, 1, 0
Let i(b) = -b**3 - 17*b**2 - 18*b - 13. Let x be i(-16). Suppose x*v = 29 + 104. Let d be 2/(-15) - (-231)/45. Put d, -2, v in descending order.
v, d, -2
Let l = 7538 + -15075/2. Put 39, l, -10, 4 in ascending order.
-10, l, 4, 39
Suppose 0 = -4*j + 3*w - 0*w + 265, w + 3 = 0. Suppose -3*b + 2*t = -j, b + 2*t - 4*t = 16. Sort b, 3, 2 in decreasing order.
b, 3, 2
Let v be (-277)/59 - (10 - (24 - 9)). Let g = v - 383/1062. Sort g, -1, -2/11, 0.3 in ascending order.
-1, -2/11, g, 0.3
Let u = -88 - -91. Let i = 40.48 - 53.48. Sort u, -4, 0.4, i in descending order.
u, 0.4, -4, i
Let r = 170 + -53. Let l = r + -116.7. Sort 5, -0.2, l, 8/3 in decreasing order.
5, 8/3, l, -0.2
Suppose 2*f - 3 = -f. Let u = -6725.5 + 6726. Put -3/7, u, -0.4, f in increasing order.
-3/7, -0.4, u, f
Suppose 33 = 4*d - 87. Suppose 4*j = -j - d. Let k be 144/45 - 4/(-6)*j. Sort 0.2, k, -5, -1.
-5, -1, k, 0.2
Let d = -1 - 2. Let f = -0.318 + 0.718. Let r = -0.57 - 1.43. Put f, r, d in ascending order.
d, r, f
Suppose 151*d + 34*d + 146*d = 331. Suppose 22 = -5*r - 3. Sort 9, -3, r, d in ascending order.
r, -3, d, 9
Let o = -2.972 + 5.145. Let m = o + -0.173. Let r = 1.1 - 1. Sort m, r, -0.1, 0.5 in descending order.
m, 0.5, r, -0.1
Let k(b) = 1 + 9 + 2*b - 3*b**2 - 12. Suppose -1 = -2*i + 2*n + 1, 1 = i + n. Let h be k(i). Sort h, -16/7, -0.1.
h, -16/7, -0.1
Let k(v) = -v**3 - 18*v**2 + 28*v + 180. Let r be k(-19). Put -2, r, 41, 0 in ascending order.
-2, 0, r, 41
Let c = -519/2 - -9869/38. Let r = c + -96/95. Let j = -9 - -7. Sort j, 0, r, -2/5 in descending order.
0, -2/5, r, j
Suppose u + 59 = 60. Suppose 15*d = 14*d - u. Put -4, d, -2, -15 in increasing order.
-15, -4, -2, d
Let y be 5 + -1*(-1435)/(-161) - (-8)/(-92). Put -5, -176, y, -3 in descending order.
-3, y, -5, -176
Let b be 1 + 0 + 12 + -11. Suppose -6*v + b*v = 40. Let h be (4/(-2))/(v/10). Sort -1, 2/9, 1, h in ascending order.
-1, 2/9, 1, 