 + 10, -l + 7 = -2*x. Let g = 345.49 + -3.49. Sort g, -4, x in descending order.
g, x, -4
Let l be (-102660)/(-315) + 6/63. Sort 1, l, 3 in increasing order.
1, 3, l
Let p = -558 - -870. Let q = -314 + p. Sort -3, -4, q, 15 in descending order.
15, q, -3, -4
Suppose -8*b - 2414 = -6. Let j = 299 + b. Let z(g) = g**3 - 2*g**2 - g - 3. Let n be z(3). Put n, -1, j in ascending order.
j, -1, n
Let b be (2 + 180/(-188))/1 + -1. Let c = 871752 + -368751302/423. Let k = c + b. Put k, -0.4, -4 in descending order.
-0.4, k, -4
Let s = -1 + 1. Let p be 1*(1 + -3)*1. Let h(a) = a**3 - 12*a**2 + 35*a - 19. Let f be h(8). Put s, p, f in decreasing order.
f, s, p
Let p = 194715/4 + -48677. Suppose 3*i - 2 = -2*u + 2*i, 4*i + 4 = -2*u. Sort u, 1/2, -5, p in descending order.
u, p, 1/2, -5
Let w(m) = -m**3 + 39*m**2 - 84*m + 370. Let h be w(37). Put h, 33, 37, 5 in ascending order.
h, 5, 33, 37
Let s = -2773 + 2772. Sort s, -2, 39 in increasing order.
-2, s, 39
Let j be 84/(-8)*6080/1064. Put j, -2, -1, -18 in descending order.
-1, -2, -18, j
Let r be 54/21*1526/327. Let o = 5 + -1. Put r, o, 5 in decreasing order.
r, 5, o
Suppose 0 = -d - w - 38, 4*d + 4*w - 3*w + 131 = 0. Suppose 0*c + 5*c - 20 = 0. Suppose -5*z = -3*h, z + c*h = 5*z. Put -5, d, z in descending order.
z, -5, d
Let n = 2719 - 2713. Sort 2, -61, n, 3.
-61, 2, 3, n
Let v = -185 - -100. Let s = -86 - v. Put -5, s, 1, -33 in descending order.
1, s, -5, -33
Let d = 207 + -209. Let n be (d - (-26 - -8))*1/4. Sort -4, n, 8 in ascending order.
-4, n, 8
Let s = -4395 + 4395.18. Put 0.03, 11/5, s in increasing order.
0.03, s, 11/5
Let s = 2750 + -2742. Sort s, -7, -4, -1 in decreasing order.
s, -1, -4, -7
Suppose 0 = 3*y + 8 + 46. Let b(k) = k**2 + 18*k + 3. Let q be b(y). Put -1, 10, q in ascending order.
-1, q, 10
Suppose -8*b = -3*k - 590, 0 = 5*b + 13*k - 11*k - 361. Sort b, 0, 3, 4, -8 in increasing order.
-8, 0, 3, 4, b
Suppose 119 = -85*b - 476. Sort -4, -1, -3, b in descending order.
-1, -3, -4, b
Let w = -1 - -6. Let t(s) be the first derivative of -s**3/3 - 3*s**2/2 + s + 22. Let k be t(0). Put w, -2, k, -1/2 in decreasing order.
w, k, -1/2, -2
Let a(c) = 40*c - 17. Let h be a(2). Let g be 78/h + 24/(-42). Let i(k) = k - 4. Let n be i(6). Put g, 4/3, n, 0.1 in increasing order.
0.1, g, 4/3, n
Let f = 4.7 - 4. Let v = f + -3.7. Let a = -3.0455 - -4.0455. Put a, -0.2, 3, v in increasing order.
v, -0.2, a, 3
Let x = 8667 + -8666.715. Put x, -2, 8 in decreasing order.
8, x, -2
Suppose 5*v - 24 + 15 = -3*u, 0 = 2*u + 4*v - 8. Put -16, 1, -1/4, u in descending order.
1, -1/4, u, -16
Let k = 373 + -377. Suppose g = 7 + 9. Suppose q = -z - 2, -2*q - 5*z - g - 3 = 0. Sort 0, q, k.
k, 0, q
Let b = -84923 + 84934. Let c be 2 + -4 - 1*-5. Sort b, 1, -5, c in decreasing order.
b, c, 1, -5
Suppose -27*o + 86 = 96 + 71. Put -2/7, o, 23.9, -1 in increasing order.
o, -1, -2/7, 23.9
Let w = 0.14 - -12.86. Let z = w + -24. Let c = z - -16. Sort 2, c, -5 in ascending order.
-5, 2, c
Let j(q) = -183*q + 910. Let g be j(5). Sort 4, 1, g, 10.
g, 1, 4, 10
Let l = 13.314 + -31.314. Put -5, -0.2, 0.03, l, -4 in decreasing order.
0.03, -0.2, -4, -5, l
Let k = 11 + 19. Suppose -8*q + k = -13*q. Let f be 4 + (q - (-7 + 3)). Put -2, -1, f in descending order.
f, -1, -2
Suppose 2*f = 7*z - 2*z - 20, 0 = z + 5*f - 31. Suppose 10*t + 1 = 1. Let n(b) = b**3 - 2*b**2 - 3*b + 3. Let r be n(t). Sort 4, z, r.
r, 4, z
Let k(o) = -o**3 - 9*o**2 - 14*o - 16. Let s = -97 + 92. Let y be k(s). Sort 4, y, 2 in increasing order.
y, 2, 4
Let r be (11/(-4))/((-15)/180). Let l = r - 40. Let q = -0.3 - 0. Put q, l, -5 in ascending order.
l, -5, q
Let o = 56 + -61. Let n be (16 - -2)*6/9. Put o, -4, n in descending order.
n, -4, o
Let x = -17 + 14. Let n(g) = g**3 + 4*g**2 - 3. Let m be n(x). Suppose 0 = m*z - 2*z. Sort z, -1, -3 in decreasing order.
z, -1, -3
Let c = -151 + 151.3. Let q be (-4)/54 - 2356/(-4104). Sort c, 1, q, -0.2 in descending order.
1, q, c, -0.2
Let l = -1 - -39. Let f = -39 + l. Let r = 21 + -18. Put r, f, -3, 0 in ascending order.
-3, f, 0, r
Suppose -77*p + 134 = 2*p + 845. Put p, -2, 2 in descending order.
2, -2, p
Let l = -3 - 1. Let j(g) = g**2 - 902*g - 24130. Let a be j(-26). Sort a, 4, 1, l in descending order.
4, 1, a, l
Let i = 67 - 58. Let j(d) = d**3 - 2*d + 6. Let x be j(0). Suppose x = -t + 5. Sort t, i, -4 in increasing order.
-4, t, i
Let t = 131 + -136. Let c be 16/(-28) + (-8)/(-14). Suppose c = -4*q + 3*q + 5. Sort q, -2, t, -20 in descending order.
q, -2, t, -20
Suppose 7523 = 19*l + 7466. Sort l, -9, -5, -6.
-9, -6, -5, l
Let c = 18521.96 - 18522. Sort 5/2, -0.5, c, -4 in ascending order.
-4, -0.5, c, 5/2
Let a be (-38)/16 - 15/(-40). Suppose -8*u + 1430 - 1286 = 0. Sort a, u, -1 in decreasing order.
u, -1, a
Let i = -5788 + 5784. Put 13, i, 2, 1, 0 in increasing order.
i, 0, 1, 2, 13
Let g be -264 - (7 + (-5 - 7)). Let r be (-2)/(-2)*(-592)/g. Put 0.2, -2, -3/8, r in descending order.
r, 0.2, -3/8, -2
Let j(r) = -r**3 - 54*r**2 + 35*r - 566. Let l be j(-55). Sort -4, -2, -5, l.
-5, -4, -2, l
Suppose 530*r = 461*r - 44781. Put r, -5, -2 in ascending order.
r, -5, -2
Let i(p) = -p**3 - p - 8. Let v be i(-4). Let j be (-8)/v*(-3)/(-1). Let z = 49 - 49.11. Sort z, j, -1.
-1, j, z
Let g = -95 - -110. Suppose -9*d - 6*d + g = 0. Let n(v) = 6*v**3 - 2*v**2 + v. Let t be n(1). Sort t, d, 3 in decreasing order.
t, 3, d
Let o = -6094 + 6091. Let h(c) = -c**2 - 5*c + 8. Let d(m) = m**3 - 5*m**2 - 6. Let q be d(5). Let u be h(q). Put o, u, 3 in descending order.
3, u, o
Let v = -2153 - -2157. Suppose 0 = 10*a - 7*a - 15. Sort 0, a, v, -1.
-1, 0, v, a
Let w = 20.644 - 20.6. Let k = 0.144 - w. Let y = -7 + 15/2. Put y, k, -0.03 in decreasing order.
y, k, -0.03
Let v = -52274/7 + 7467. Put 3, v, -2/9, -12 in decreasing order.
3, -2/9, v, -12
Let f = 2 + -7. Let a be (-63)/(-34) - (-348)/(-986). Let i be 2 - (-10)/19*-4. Put i, a, f, -0.5 in increasing order.
f, -0.5, i, a
Let z be 6/(-14)*(-28670)/10434. Let u = -33/37 + z. Sort -0.4, u, 0.41, -2/13 in descending order.
0.41, u, -2/13, -0.4
Let n = 16024 - 16020. Sort n, 1, -5, -2, 5 in increasing order.
-5, -2, 1, n, 5
Suppose 15 = -3*p + 18, -4*p + 8 = 2*o. Let r be (1*(191 + -2 + -1))/o. Sort r, -3, 2 in ascending order.
-3, 2, r
Let y be 4/(-14)*238/(-612). Sort -2/7, 12/61, y.
-2/7, y, 12/61
Suppose -322*m = -5*c - 318*m - 19, 3*c + 4*m - 27 = 0. Put c, 5, -1, 3, -83 in decreasing order.
5, 3, c, -1, -83
Let o be ((-2)/10 - 0)/((-21)/(-42)). Let s = 0.169 - -0.831. Let n be 66/16 - (4 - (0 + 0)). Put o, s, n in ascending order.
o, n, s
Let l = -0.2 - 0.3. Let w = -12727 + 12729. Sort -1, w, l, -0.6 in decreasing order.
w, l, -0.6, -1
Let z = 107 - 113. Let n(f) = 3*f**2 + 11*f + 6. Let t be n(z). Let h = -48 + t. Sort 5, h, 4, 1.
h, 1, 4, 5
Let c = 13765 + -13759. Sort 4, -3, c, 2.23.
-3, 2.23, 4, c
Let k = 5160989827/528 - 6439032090619529/658751280. Let m = k - -2/196995. Let d = m + 12/19. Put 10/3, 0.4, 1, d in increasing order.
d, 0.4, 1, 10/3
Suppose 5*v - 2*l - 25 = 0, v + l - 12 = -7. Sort -7, 6, v in decreasing order.
6, v, -7
Suppose 62*b - 6*b - 1336 = 232. Sort b, -10, -1 in decreasing order.
b, -1, -10
Suppose 0 = -2*o + 2*z - 50, 49*o - 35 = 52*o + 5*z. Sort 1, o, -2, 5/2.
o, -2, 1, 5/2
Let y be -18 + (-28 - 2 - -3). Sort -7, y, 3 in descending order.
3, -7, y
Suppose 6 = -5*i + 1. Let y = 0.57292 + -0.47292. Put 0.3, i, y in descending order.
0.3, y, i
Let p = -4011 - -28086/7. Sort 3, 0.5, p, 1.
0.5, 1, p, 3
Let h = -673 + 673. Put 45.1, h, 1 in decreasing order.
45.1, 1, h
Suppose 22 = 5*v - 3*t + 4*t, 2*t + 8 = 3*v. Suppose 8*y - 3*y = -15. Sort -19, v, y in decreasing order.
v, y, -19
Let u(x) = 595*x - 1194. Let z be u(2). Let s(j) = j**3 + 4*j**2 - 2*j - 4. Let g be s(-4). Let w be (2/g)/((-1)/(-2)). Put -3, -1, z, w in descending order.
w, -1, -3, z
Let v = -3.995 + 3.883. Put v, -1/4, 0, 1/7, 4 in ascending order.
-1/4, v, 0, 1/7, 4
Let p = -0.7 + -0.3. Let n = 5.9503 + -5.97. Let w = 0.5197 + n. Sort 2/13, -0.5, w, p in increasing order.
p, -0.5, 2/13, w
Suppose -11*l - 4*l - 780 = 0. Let v = 53 + l. Put -3, -10, 0, v in descending order.
v, 0, -3, -10
Let s = -105 - -101. Sort 4, s, 1349 in descending order.
1349, 4, s
Suppose 