 670. Sort x, r, 2 in descending order.
x, r, 2
Let b(h) = -53*h - 427. Let u be b(-8). Put -6.5, -0.02, u in descending order.
-0.02, u, -6.5
Suppose -70*a + 179 = -185 + 84. Put 5, 2, a, 3, 7 in descending order.
7, 5, a, 3, 2
Suppose 14*a + 4*i = 18*a - 116, -a + 27 = -2*i. Sort -1, 5, a, -2.
-2, -1, 5, a
Suppose 2525 = 250*q + 267*q - 12*q. Put 10, -3, q, 16, -2 in increasing order.
-3, -2, q, 10, 16
Suppose -k - 3 + 4 = 0. Suppose 0*i = -3*i. Suppose -3*w + w = -10, i = -5*z - 3*w + 15. Sort k, z, 3 in ascending order.
z, k, 3
Suppose 0 = v + s + 397, 0 = 4*s - 8*s + 20. Let i = v + 405. Sort -30, -5, i.
-30, -5, i
Let s = -87.813 + -0.187. Let a = -88.5 - s. Let o = 0.07 - 4.07. Sort 0.3, o, a in descending order.
0.3, a, o
Suppose -5*v = 5*l - 25, -558*v + 4*l = -560*v + 14. Put v, -1, -5, -2, -4 in descending order.
v, -1, -2, -4, -5
Let z = 502 - 502. Let k be (-4)/(-20)*(-4 + 2). Sort z, k, 1/8 in decreasing order.
1/8, z, k
Let v(q) = -3*q**2 + 9*q - 1. Let n be v(2). Suppose 42 = n*s + s. Sort 0, 2, s, 3 in decreasing order.
s, 3, 2, 0
Suppose -4*j + 55*j - 43 = 8*j. Sort j, -2, 4, -202 in ascending order.
-202, -2, j, 4
Let q be (1 - 1)/(124 + -126). Let t = -67 + 70. Sort 5, q, t.
q, t, 5
Let q be 7/21*-2 + (222/18)/(-1). Put 1/23, q, -4 in descending order.
1/23, -4, q
Let x = -23218/15 + 1548. Put 0.07, 4/5, -7, x in descending order.
4/5, x, 0.07, -7
Suppose 4*y = -235 - 137. Let z = y - -91. Let u be z/(-1) + (-425)/175. Sort u, 46, -3/4 in descending order.
46, u, -3/4
Let w = -157 - -180. Suppose 4*f + 3*a = w, f - 4 = a - 7. Sort f, 423, 4 in descending order.
423, 4, f
Suppose f = -3*f - 8. Suppose 49*y + 89*y + 107*y - 1120 = 21*y. Put f, 3, y, 1 in increasing order.
f, 1, 3, y
Let u = -803 + 802.5256. Let o = 0.0256 - u. Put 0.1, o, 0.07, -1/10 in decreasing order.
o, 0.1, 0.07, -1/10
Suppose 860*g = 861*g - 24. Put g, 11, 1, -1 in descending order.
g, 11, 1, -1
Let u be -1*3 - (11 + 2 + -4) - -7. Put -4, -29, u, 3 in increasing order.
-29, u, -4, 3
Let o = -329237 - -329232. Suppose -3 = -b + 4*b. Sort o, b, 0.2, 9.
o, b, 0.2, 9
Suppose -2*q = -3*v + 6, -35*v + q + 3 = -40*v. Put v, 75, -3, 3 in descending order.
75, 3, v, -3
Let f be -8 + (-14)/(140/(-75)). Let v be (-7)/(-28) - 14/(-8). Sort v, -0.2, 0.23, f.
f, -0.2, 0.23, v
Suppose 0 = -4*h + 2*o - 12, -14*h + 5*o - 24 = -10*h. Sort h, 0.4, 2/55, -11.
-11, h, 2/55, 0.4
Let q = 31.5 + 1.5. Let b = 33.05403 + 0.01597. Let m = q - b. Sort 4, m, -5 in ascending order.
-5, m, 4
Let h = -84 + 84.051. Let j = -0.151 + h. Put j, -4, 1/9, 1/2 in ascending order.
-4, j, 1/9, 1/2
Let s(x) = x**2 - x + 3. Let m be s(0). Let v be (-36)/(-144)*12/(-1) - 7. Let z be 35/28*(-4)/v. Put z, -2, m, -5/3 in increasing order.
-2, -5/3, z, m
Suppose -560 = -2*x + 5*f, 101*f - 1342 = -5*x + 99*f. Let q be (18/x)/((-3)/6). Sort q, -3, 0.5.
-3, q, 0.5
Let x = -90 - -31. Let a = 58.7611 - 0.0111. Let q = x + a. Sort 5, q, -0.3 in decreasing order.
5, q, -0.3
Suppose -34*d + 37*d + 3 = 0. Let l be 4/6 - 248/12. Let r be (2 - l/(-5))*1. Put d, r, 0, 5 in descending order.
5, 0, d, r
Let t = -2/129 + -13/86. Let v be (-4)/14 - 1980/420. Let w = -3.6 - -4. Sort v, w, t.
v, t, w
Let g = 18966.2 - 18966. Put -0.2, -212/3, -7, 5, g in increasing order.
-212/3, -7, -0.2, g, 5
Suppose -486 = 2*p + 5*q - 163, 0 = -p + q - 144. Sort -4, 0, p, 5, 4 in decreasing order.
5, 4, 0, -4, p
Let b = 9/13 + -102/91. Put -0.5, -0.4, 3/8, b, -20/11 in descending order.
3/8, -0.4, b, -0.5, -20/11
Let t be (1 - 21/15) + (-2840)/25. Let q = -114 - t. Let c(u) = u**2 - 1. Let b be c(q). Put 1, -3, b, 4 in decreasing order.
4, 1, b, -3
Let x = -325.449 - -0.449. Let v = -328 - x. Put 5, 3, -2, v in descending order.
5, 3, -2, v
Let c(k) = 6*k**2 + 10*k + 10. Let x be c(-1). Suppose -s = -0*s + y - 6, -y = -3*s + 22. Suppose -x*z = -s*z. Put -0.4, 3, z in decreasing order.
3, z, -0.4
Suppose -5*k + h = -0*h + 6, -k + 2*h = 3. Let v(o) = -o**3 - 3*o**2 + 19*o + 3. Let s be v(-6). Sort k, -2, s in decreasing order.
k, -2, s
Suppose 20 = 9*v + 47. Let u = 559 + -12856/23. Put u, 1, v in decreasing order.
1, u, v
Let d = 2507 - 2506. Put d, 5, 266, -2 in descending order.
266, 5, d, -2
Let v(o) = o**2 + 4*o - 7. Let s be v(-6). Let n be (4/48*4)/((-375)/(-180) - 2). Sort s, -7, n in decreasing order.
s, n, -7
Let a(v) = -v**2 - 10*v - 15. Let r be a(-5). Suppose r*c - 24 = 7*c. Suppose 5*n - 3*o + 14 = o, 5*n + c = -2*o. Sort 1, 5, n in decreasing order.
5, 1, n
Let x(b) = -9*b + 93. Let f(v) = 10*v - 92. Let m(g) = 6*f(g) + 5*x(g). Let o be m(6). Let r be 2 + -4 + (1 - 1). Put 0, o, r in decreasing order.
o, 0, r
Let u = -8 + 13. Let q(f) = f + 9. Suppose y + 28 = -3*y. Let x be q(y). Put 3, x, u in ascending order.
x, 3, u
Let s = -1 - -1. Let z = -0.0678 - -0.1678. Sort z, 2, s, 0.8.
s, z, 0.8, 2
Let h = -4.0514 - -0.0514. Let i = -14 - -14.1. Let t be (-1)/(-6)*3/(-2). Sort i, h, t, -2.
h, -2, t, i
Let o be (-40)/64*(-2 + (-3633)/(-5)). Let d = -453 - o. Let b be 1 - 53/(-102)*-2. Sort -0.2, 0.1, b, d.
-0.2, d, b, 0.1
Suppose 5*v + 74 - 11 = 26*v. Put 4, -11, v in increasing order.
-11, v, 4
Suppose 17*p - 20*p - 3*g = -84, -4*g + 46 = 2*p. Suppose 3 = 18*a - p. Let q(c) = c**2 - c - 1. Let k be q(-1). Sort k, -2, -5, a.
-5, -2, k, a
Suppose 5*o = 4*m + 37, -o - 35 = 5*m + 4*o. Let a be (5 - -1)*(-12)/18 - -12. Put -1, m, a in descending order.
a, -1, m
Let t = -3.02 - -0.02. Let d = 9 + -5. Let z = -24274 + 24273.88. Sort z, d, t, 0.3.
t, z, 0.3, d
Let y be 16 + (-16 + 0 - -94). Suppose -4*o - 5 - 7 = 0. Sort y, 3, o in ascending order.
o, 3, y
Let m be -14*1/(-7)*(-91)/26. Let o be 2/m - 7068/(-140). Let z = 50 - o. Sort 4, 14, z in decreasing order.
14, 4, z
Let c(g) = 122*g - 1598. Let y be c(13). Sort -3, 2, y, -11.
y, -11, -3, 2
Let d = -104 + 101. Let u(t) = t**2 + 6*t - 2. Let h be u(-6). Sort d, h, -22 in decreasing order.
h, d, -22
Suppose -3*u + 0*u - 4 = 2*c, u = -3*c - 6. Let h(s) = -s**2 + 5. Let k be h(-4). Let n = k + 11. Sort n, 4, c in increasing order.
c, n, 4
Suppose -5*l + 5*o + 85 = 0, -4*l = 3*o + 13 - 53. Suppose -5*k - 3 = -5*v + 7, -5*k - l = -2*v. Put v, -4, 4, -5 in increasing order.
-5, -4, v, 4
Let k = -1108 - -1112. Suppose 0 = y - 3*y + 3*m - 7, 5*y = 2*m - 12. Put -9, y, -4, k in ascending order.
-9, -4, y, k
Let o = -528.3 + 525.3. Sort 0.4, -30.96, o in descending order.
0.4, o, -30.96
Let r(i) = 356*i - 7831. Let k be r(22). Let d(x) = -x**3 + 3*x**2 + x. Let t be d(4). Sort t, k, 3.
t, k, 3
Let a(z) = -z + 1. Let c be a(-7). Let t = -3 + 1. Let d = -531 - -535. Put d, t, c in increasing order.
t, d, c
Let k = 0.2933 - -0.7067. Let w(d) = d**3 - 9*d**2 + 5*d - 6. Let t be w(6). Let p = t + 587/7. Sort p, -14, k.
-14, p, k
Let v be 0 + 69/27 + (-20)/405*-9. Sort -8, 0, -4, v, -5 in ascending order.
-8, -5, -4, 0, v
Let x be 2*(-2)/(13 + -1). Suppose 4*v + 421 = 433. Let o be (-156)/(-351)*v/(-2). Sort x, o, -0.3 in descending order.
-0.3, x, o
Let s(g) = -11*g**3 - 8*g**2 - 8*g - 5. Let v be s(-1). Put v, -3, -22, 9 in descending order.
9, v, -3, -22
Suppose 246 = -34*l - 468. Sort -23, 1, l in decreasing order.
1, l, -23
Suppose w - 115 = -113. Suppose w*a = -a + 9*a. Sort -6, 9, a in increasing order.
-6, a, 9
Let b = -65 + 79. Suppose j = -t + 6, -17 = 3*t + 10*j - b*j. Sort -30, -5, t in descending order.
t, -5, -30
Let o be 3/(-1)*(-130)/30. Suppose 21*u - o = 34*u. Sort u, 3, -96 in increasing order.
-96, u, 3
Suppose -158 - 1 = -31*k - 4. Sort k, -4, -7, 4 in ascending order.
-7, -4, 4, k
Let m = 6679/2 + -3340. Let a = -67/1455 - 2/97. Sort m, a, -2/15, -0.8 in increasing order.
-0.8, m, -2/15, a
Let q(b) = -16*b - 232. Let k be q(-15). Let r(f) = -16*f + 120. Let j be r(k). Put j, 2/13, -2/3 in descending order.
2/13, -2/3, j
Let i = -2870 + 2871. Put i, -3/244, 2/33 in decreasing order.
i, 2/33, -3/244
Let z = 29955 - 29956. Sort 6, 5, 0.4, z, 10/9.
z, 0.4, 10/9, 5, 6
Let g be 3 + (-9)/(81/18). Sort g, 3, -5, 287 in descending order.
287, 3, g, -5
Let b = -11.644 + -4.956. Sort -1.5, 0, b in decreasing order.
0, -1.5, b
Suppose 4*g - z - 16 = 0, 46*g = 42*g + 3*z + 16. Put 0, -5, 28, 5, g in decreasing order.
28, 5, g, 0, -5
Let i = -97 + 94. Let l be (3*22/(-30))/3. Let