= -k, 7 - 30 = -3*k + 2*v. Put -4, -3, -11, k in decreasing order.
k, -3, -4, -11
Let u = 5654 - 5649. Sort 7, 0.16, -2/3, 0, u in decreasing order.
7, u, 0.16, 0, -2/3
Let x = -0.19675 + -0.00325. Let g be (12/688)/((-18)/(-16)). Put 2, -2/11, g, x in decreasing order.
2, g, -2/11, x
Let h = -810 - -792.9. Let i = h + 18.1. Put -1, -9, i in decreasing order.
i, -1, -9
Let y = 3348 - 3349. Sort 14, y, 8, 4, 1/3 in descending order.
14, 8, 4, 1/3, y
Let w = 2305.5 - 2256.5. Sort -15, w, 0.3, -1/4 in descending order.
w, 0.3, -1/4, -15
Let n(h) = 22*h**2 + 2*h + 5. Let s be n(-2). Suppose s*x - 93*x = -936. Let d be (-88)/x + (-18)/(-117). Sort d, 0.5, 5, -3/4 in decreasing order.
5, 0.5, d, -3/4
Suppose 3*g = -3*r + 63, 38*g - 40*g = -5*r - 70. Sort -1, 5, 2, g in decreasing order.
g, 5, 2, -1
Let n = 0.05 - -0.05. Let x = -0.25371 - -0.33371. Sort x, n, 0.13.
x, n, 0.13
Let q = -0.209 - -2.049. Let l = 1.9 - q. Put l, 2/15, 2/11, 3/2 in ascending order.
l, 2/15, 2/11, 3/2
Let u = 80.039 - 80. Let k = u + -0.439. Let s = -4.93 + -0.07. Sort 0.5, -18, s, k in descending order.
0.5, k, s, -18
Let v = 4778 - 4773. Sort 2/3, v, -0.08, -21, 2 in ascending order.
-21, -0.08, 2/3, 2, v
Let g = 12139 + -12142. Put -4, g, 1/2, -34 in ascending order.
-34, -4, g, 1/2
Let l = -13.53 - -263.93. Let q = -313.35 + l. Let i = 63 + q. Put i, -2, 2/5, -0.5 in ascending order.
-2, -0.5, i, 2/5
Suppose -5*g + 80 = -51170*j + 51170*j, 4*g - 94 = -10*j. Suppose 5*o + 5 = -3*f + 2*f, 20 = -4*f + o. Put f, 4, 0, j in ascending order.
f, 0, j, 4
Let i be 902/164 + (-1)/(-2). Suppose 3*x - 10 = p - 0*p, p = 5*x - 18. Suppose p*w = -2*o - 14, 3*o - 3*w + 3 = -0. Sort 4, -5, o, i.
-5, o, 4, i
Let j = 2427/3445 - 72/689. Put -4/5, 13.4, j, 2/29, -0.4 in decreasing order.
13.4, j, 2/29, -0.4, -4/5
Let j = -293 - -292. Let m be (-8)/(-3)*27/18. Sort j, 1/14, m in decreasing order.
m, 1/14, j
Let a be 20/(-28) + 6 - 4/14. Let s(v) be the first derivative of -v**4/4 + v**3/3 + 2*v**2 - 5*v - 20. Let f be s(2). Sort -5, -2, f, a in ascending order.
-5, -2, f, a
Suppose 4*p - 2*p = 6. Let v = 106.28 + -98.28. Sort 3/8, p, v in increasing order.
3/8, p, v
Let p = -4.0493 + 0.0493. Sort -2/9, 7, -0.1, p, -3.
p, -3, -2/9, -0.1, 7
Suppose -2*c - 8 = -6*c. Let x = c + -3. Let p(q) = q**3 + 22*q**2 - 16*q + 4. Let w be p(0). Sort x, 7, w in increasing order.
x, w, 7
Suppose 30*f - 2*z + 33 = 33*f, 2*z = -4*f + 46. Put 3, -3, 4, 12, f in increasing order.
-3, 3, 4, 12, f
Let d = -237 + 241. Let w = 8 - 14. Suppose 9 = -5*o - 16. Put d, o, 3, w in increasing order.
w, o, 3, d
Suppose 16 = -2*i + 2*s, -5*i - 542 = -4*s - 506. Put i, 322, 2 in decreasing order.
322, 2, i
Let h be 2*8/96*-6. Sort -3, h, -4/557 in ascending order.
-3, h, -4/557
Suppose -i - 36 = -k + i, -2*k - i + 82 = 0. Let x = k - 30. Suppose -x = -6*n + 2. Put -10, n, -4 in descending order.
n, -4, -10
Let u be 18 - (-23 + -7)/(-10). Sort -5, u, -2, 3.
-5, -2, 3, u
Suppose 5*d - 1 = 14. Let z = d - -1. Suppose -z*v + 38 - 94 = 0. Put 1, 0, v in increasing order.
v, 0, 1
Let l be (-98)/(-84)*(-4)/7. Sort l, 70, 3/7, 1/3 in increasing order.
l, 1/3, 3/7, 70
Let f = 11.111 + -11.481. Sort -19/4, f, -2 in descending order.
f, -2, -19/4
Suppose -741*l - 2 = -742*l. Suppose 3*v = -k - 19, l*k - 4 = -3*v - 27. Let z = 149 - 742/5. Put z, 2, k, 1/2 in decreasing order.
2, z, 1/2, k
Let c = -5144 - -5143. Sort -6, 0, c, 4, 3 in decreasing order.
4, 3, 0, c, -6
Let m = 1077377/7292 + 4/1823. Let j = m - 147. Suppose 0 = -2*l + 3*x - 12, 4*x = l + 2699 - 2688. Put -15, j, l in descending order.
j, l, -15
Let w = 123.994 - 124. Let y = w - 0.094. Sort -28, y, 4 in ascending order.
-28, y, 4
Let u = -11152 + 11152. Sort 421, 6, u in ascending order.
u, 6, 421
Let v = -37 + 25. Suppose -g + 1 = u, 3*g + 10 - 1 = 3*u. Put u, -2, v in ascending order.
v, -2, u
Let f(u) = 36*u - 19. Let l be f(1). Suppose -l*p + 315 = 4*p. Put 3, -3, p, -2 in ascending order.
-3, -2, 3, p
Suppose -3*m + 894 = 900. Sort 3, 125, m, 2 in increasing order.
m, 2, 3, 125
Let u = 5245 + -20979/4. Put -0.4, u, 479 in ascending order.
-0.4, u, 479
Let m be (-12)/15*-1 + 171/190*-2. Put -2, m, 1216 in descending order.
1216, m, -2
Suppose j - 8 = -3*j. Suppose 0*x - 29 = 2*x + n, 45 = -3*x - j*n. Let o(g) = g**3 + 12*g**2 - 12*g + 13. Let a be o(x). Sort a, 2, 4, 1 in descending order.
4, 2, 1, a
Let v be (0/13)/(4/2). Suppose v = a + 4*c + 9, -6*a + 7 = -8*a + 3*c. Let u be 1/15 + (-1)/(-3). Sort -2, a, -0.09, u.
a, -2, -0.09, u
Let u(f) = -f**3 + 8*f**2 - 8*f + 7. Let w be u(7). Let l = 22158 - 22162. Put -19, w, l in ascending order.
-19, l, w
Let b = -0.7 + 0.4. Let u be (-30)/(-42) + -1 - (-117)/42. Let l be (-27)/5 + (-7)/((-28)/20). Put l, b, 3, u in descending order.
3, u, b, l
Let u = -0.06 + -0.24. Let d = 22.4 + -15. Let q = 2.4 - d. Put u, -1/4, q in ascending order.
q, u, -1/4
Let s = 18322/3 - 6109. Put s, 3, -1, 4/19, 7/3 in increasing order.
s, -1, 4/19, 7/3, 3
Suppose -5*a + 35 = t, -4*t + 3*a - 21 = -5*t. Put t, -1.7, -2 in decreasing order.
t, -1.7, -2
Suppose 15 = -5*w + 45. Let h be -3*(-168)/36 - 10. Put 3, h, w in decreasing order.
w, h, 3
Let y(k) = k**2 - 5*k - 2. Let f be y(6). Let r be 2/686*(-1 + 214357/780). Let z = r + 1/588. Sort -1/4, f, -5, z in descending order.
f, z, -1/4, -5
Let h be (-2018)/6 - 5/((-60)/16). Let c = h - -338. Put -5, c, 6 in decreasing order.
6, c, -5
Let z = -1.2 + -4.8. Suppose -3*a - g - 19 = 0, 5*g = -3*a - a - 40. Let r = -10.3 + 11.3. Sort a, r, z in decreasing order.
r, a, z
Suppose 76*s = -56*s - 660. Sort -1, -2, -119, s.
-119, s, -2, -1
Let d be (225/(-6))/15*(-2 - 0). Suppose -o = 0, -o - 16 - 14 = 5*s. Let t be (s/(-14))/(11/77). Put -2, 0, t, d in decreasing order.
d, t, 0, -2
Let n = 11 - 14.8. Let y = n + 3.8. Let o = -44 + 175/4. Put o, 0.05, y, 2/3 in ascending order.
o, y, 0.05, 2/3
Let c be (-4 - 1)*52/13. Sort 3, -4, 1, c.
c, -4, 1, 3
Let w = -14937.02 - -14937. Sort -4, -11, w, 0.1 in descending order.
0.1, w, -4, -11
Suppose -2*x - 2*t + 4 = 0, -217*x + 3*t = -221*x + 6. Sort 49, -3/5, x in increasing order.
-3/5, x, 49
Suppose 385*m - 377*m + 48 = 0. Put -3, -2, m, 1 in increasing order.
m, -3, -2, 1
Let d(o) = o**2 - 324*o - 63159. Let t be d(-137). Suppose -28 = -0*f + 2*f. Sort t, 1, f in decreasing order.
1, t, f
Suppose 0 = p - 2*p + 3. Let h = -63/4 + 16. Let q = 51291 + -51262. Sort q, 4, h, p in decreasing order.
q, 4, p, h
Let x = 5464 - 5459. Put 0, x, 12, -2/13 in increasing order.
-2/13, 0, x, 12
Let j = -20878 + 20886. Sort 4, j, -2/17, 5, -5 in ascending order.
-5, -2/17, 4, 5, j
Let g = -6.97 + 3.97. Let c = g - -2.9. Put c, 0.4, -8, 1 in increasing order.
-8, c, 0.4, 1
Let m(j) = 7*j**3 - 2*j**2 + j - 11. Let c be m(3). Let d = -601 + c. Let h be d/231 - -2 - (-4)/22. Put h, 5, 2, 4 in descending order.
5, 4, 2, h
Let o = 16088 + -16084. Let l = -15 + 14.8. Put -12, o, l in descending order.
o, l, -12
Let l = -18606 + 18607. Suppose 5*r - 1 = 19. Suppose -6*h + h = 10. Sort r, l, h.
h, l, r
Suppose 0 = -99*p + 78*p + 105. Suppose 4*v + 71 + 125 = 0. Sort p, 3, -3, v in decreasing order.
p, 3, -3, v
Let a = 69810 + -69734.826. Let l = -1.926 - a. Let n = -77 - l. Sort 4, 5, 0.07, n.
0.07, n, 4, 5
Let h(u) = 19*u**2 - 513*u + 3. Let g be h(27). Suppose -5*j - 4*t + 10 = 0, 0 = 5*j - j + 5*t - 17. Sort -3, g, 28, j in decreasing order.
28, g, j, -3
Suppose -3*g = -d - 3 - 4, -d = -2*g + 6. Put -7, -0.7, 2/17, d in decreasing order.
2/17, -0.7, d, -7
Let q(u) = 3*u**2 + 8*u - 94. Let t be q(-7). Let j be ((-1420)/(-30))/(4/6). Sort t, j, 1, 0 in descending order.
j, 1, 0, t
Let h be (-180)/(-25)*(-65)/26. Let j be 4/h + (-240)/(-675). Let r be 0 - 1/((-38)/4). Sort r, 0, j, 0.1 in decreasing order.
j, r, 0.1, 0
Let v = 5236 - 5235.5. Let n be (2/(-4))/(33/22). Put -22, n, v in decreasing order.
v, n, -22
Let t = 1444.8 - 1445. Put -1.6, 0.4, -1, t, -2 in decreasing order.
0.4, t, -1, -1.6, -2
Suppose -4*w + 4*o - 24 = 0, -4*w + w - 2*o + 2 = 0. Let f = -1579 + 1581. Sort w, -4, 3, f in decreasing order.
3, f, w, -4
Suppose c + 2*d + 9 = 0, -3*c + 2*d = 29 - 42. Sort c, 17, -4 in decreasing order.
17, c, -4
Let a be (0 - -2)/((-3)/6). Let w = -561 + 574. Let b be w/(-117