= 7*c - s. Put c, 1, -4, -0.4 in descending order.
c, 1, -0.4, -4
Let j be 9/(-5) - (-4)/(-20). Let i be 31 - (-270)/(-9) - (2 - (-13 + -2)). Sort j, i, -3, 4.
i, -3, j, 4
Suppose -3*i = -2*i - 4. Let j = -24004/21 + 3433/3. Sort j, -0.5, i in decreasing order.
i, j, -0.5
Let u = 6713/4478 - -2/2239. Let q = 1101889/104 + -10595. Let c = -6/13 + q. Sort -1/5, c, -1/7, u in decreasing order.
u, -1/7, -1/5, c
Let v be (-2)/(-11) + ((-984)/37884)/((-4)/(-6)). Put -2, 4.2, v in increasing order.
-2, v, 4.2
Let a = -37.2 - -37. Let w = -325/1606 + 3/146. Put w, -0.1, -2, a in increasing order.
-2, a, w, -0.1
Suppose 25*a - 10 = 23*a, 3*a - 65 = -2*w. Suppose 3*q - 5*v = -v + w, -3*q + v = -22. Put -4, 3, q, -5 in descending order.
q, 3, -4, -5
Let r = -92 - -95. Suppose -d + 2*o + r = -4, 2*o + 1 = 3*d. Let c be (-2)/(-7) - (-66)/14. Sort -7, c, d in decreasing order.
c, d, -7
Let u be (-29)/26 + 518/444. Sort u, -0.3, 5, 19, -2 in increasing order.
-2, -0.3, u, 5, 19
Let h be 16/56 + -4*91/(-98). Sort 227, h, 3, 5.
3, h, 5, 227
Let k(a) = 9*a - 23. Let q be k(4). Suppose -m - 45 = -4*m - 5*z, -m - z + q = 0. Sort 0, -3, m.
-3, 0, m
Let q = -183 - 548. Let a = -730 - q. Sort 8, 5, a, -4 in decreasing order.
8, 5, a, -4
Let t = -254.9 - -254. Put t, -5, -0.29, -0.3 in descending order.
-0.29, -0.3, t, -5
Let d be (-12)/(-40) + 885/50. Suppose -d - 12 = 10*y. Sort -296, y, 1 in ascending order.
-296, y, 1
Let t = 0.47 + -34.47. Let u = -7.0971 + 10.0971. Sort 0.4, u, t.
t, 0.4, u
Let f be (1 - (-30)/(-26)) + (33 - 14849/403). Sort f, 37, 3, 4, -1.
f, -1, 3, 4, 37
Let c be (21/(-140))/((-1)/5078). Let b = c + -5893/10. Let a = b + -173. Sort a, 2/15, -7 in decreasing order.
2/15, a, -7
Let v = -30.84 - -30.44. Let a = 0.05 + 4.95. Sort v, 4, -1/12, a.
v, -1/12, 4, a
Let p be (15 + -4)/55 - 46692/10. Sort 1, 0, p, -4 in decreasing order.
1, 0, -4, p
Let i be ((-1216)/(-6))/(-16) - -12. Put i, 303, 1, -19 in increasing order.
-19, i, 1, 303
Let z be (11 - 8)/((-27)/(-369)). Sort z, -5, -1.
-5, -1, z
Let l be (350/132 - 2) + 810/4455. Put -9.2, 8, l in decreasing order.
8, l, -9.2
Let a be (-2)/6 + (-168)/(-504). Sort 2, -5, -8, a in ascending order.
-8, -5, a, 2
Let j = -88 + 81. Let h(v) = -v**2 - 10*v - 12. Let l be h(j). Suppose -25 = -16*y - l. Sort y, 6, 5 in increasing order.
y, 5, 6
Let r be 32/(-56) + (-38)/7. Let u be (-8)/(-92) + 90/23. Put r, -12, u in descending order.
u, r, -12
Let f = -346 - -370.9. Let z = f + -1.9. Let i = z + -29. Put 1, 0.2, i in increasing order.
i, 0.2, 1
Let j(i) = 10*i**2 + 327*i + 2539. Let c be j(-20). Let p = 0.02 - 3.02. Sort -0.4, c, p, 4.
p, c, -0.4, 4
Let d = -9 + -4. Suppose 130 = -3*c + 277. Let w = c + -50. Sort d, w, 2 in ascending order.
d, w, 2
Let i = -1965 - -1946. Sort i, -2, -2/115 in increasing order.
i, -2, -2/115
Suppose -30*b + 80*b - 39 = 111. Let p(y) = 2*y - 8. Let q be p(6). Let f(o) = -o**3 - 5*o**2 - 4*o - 6. Let t be f(-4). Sort q, 0, t, b in decreasing order.
q, b, 0, t
Let u = 9685 + -9686. Sort 3, 0, u, -25, -6 in ascending order.
-25, -6, u, 0, 3
Let q = -26.03827 + 0.03827. Sort 0.3, 2/9, q, 1/2, 5 in decreasing order.
5, 1/2, 0.3, 2/9, q
Let h = 4510 + -4493. Sort 3, 14, h in increasing order.
3, 14, h
Let l = -87.79 + 87. Let k = l + 35.79. Let j = k + 8. Put -0.2, j, -2 in increasing order.
-2, -0.2, j
Suppose -a - 2*o - 14 = 3*o, a + 3*o = -8. Sort 10, 0.54, a, -0.5.
-0.5, 0.54, a, 10
Let i = -13188283/99243 + -1/11027. Let d = 133 + i. Let y be ((-2)/4)/(2/(-44)). Put y, -2, -2/3, d in decreasing order.
y, d, -2/3, -2
Let r be (-318)/27 - ((-40)/18)/(-10). Let k be 3/6 + 10/4. Put -4, 2, k, r in decreasing order.
k, 2, -4, r
Let i be (-4)/4 + (-7 - -5) + 6. Sort 0.5, -3, -0.26, i in descending order.
i, 0.5, -0.26, -3
Suppose -55*l + 28 = -41*l. Suppose 4*y = -4*h + 16, 2*h - y - l = 3*y. Sort 5, -3, h.
-3, h, 5
Suppose 30 = 5*s + 4*q, 2*s + 2*q - 19 = -5. Let b be (-30)/12*2/(-5). Let x be 2 + 6 + (b - 12). Sort s, 3, 3/2, x.
x, 3/2, s, 3
Suppose 7*r + 4*r + 132 = 0. Let w be 9/((-3)/12*2). Let g be 40/(-6) + r/w. Sort -1, 2, g in decreasing order.
2, -1, g
Suppose -9 + 1 = -4*n. Suppose n*v + k = -41, k + 2*k = -15. Let m = 16 + v. Sort 1, m, -1 in decreasing order.
1, -1, m
Let t = 1.039 + -0.039. Suppose s + 6 = -2*s. Let v = -2/781 + 1588/10153. Put s, t, v, 4 in increasing order.
s, v, t, 4
Suppose 6*i + 498 = 3*x + i, -4*i + 183 = x. Let p = x + -167. Sort 0, p, 17 in descending order.
17, p, 0
Suppose 0 = 2*n - 5*w + 11, -9*n + 4*w - 10 = -7*n. Sort 0.4, n, 0.58, -2/11 in decreasing order.
0.58, 0.4, -2/11, n
Let s be 1038/(-1730)*(-4)/18. Sort -50/9, -23, s in increasing order.
-23, -50/9, s
Let l be (-1 - (-254)/90) + (-14)/63. Let b = -77/45 + l. Sort -3/7, b, 0.055 in ascending order.
-3/7, b, 0.055
Let o be -3*-2*2/4. Let z be 15/o - 2/(-1). Suppose 16 = -15*t + 11*t. Put t, z, -3 in decreasing order.
z, -3, t
Let h be (-2)/4 - 6/(-4). Suppose t + 0 = h. Let g = 37662 - 37657. Sort -3, g, t.
-3, t, g
Let i = -60 - -111. Suppose 7*h - 36 = 2*c, 4*c = -3*h + 10 - 14. Sort c, -3, i in descending order.
i, -3, c
Let r(t) = -5*t + 190. Let g be r(37). Sort g, 34, -1/3, 3 in increasing order.
-1/3, 3, g, 34
Let y = 0.12 - 0.02. Let k be 10 + 1 + (-25715)/2780. Put -2/13, k, -8, y in descending order.
k, y, -2/13, -8
Suppose 40*p - 12*p - 144 = -44*p. Put p, -56, 4, -3 in descending order.
4, p, -3, -56
Let w(h) = 2*h**2 - 88*h + 395. Let l be w(8). Put l, -3, 10 in descending order.
10, -3, l
Let r = -2/15479 - 46385/402454. Put 1/11, 2/11, r in ascending order.
r, 1/11, 2/11
Suppose 1507 + 1643 = -18*l. Put l, 4, 5 in decreasing order.
5, 4, l
Suppose -o + 0*y + 10 = -2*y, -14 = -5*o - 2*y. Suppose 0 = -3*r - 3*w - 0*w + 18, 2*r - o*w = 36. Suppose 1900*x - 7 = 1907*x. Put x, r, 1 in ascending order.
x, 1, r
Let b = 2797/6 - 468. Let r = 31/18 + b. Suppose 10 = -3*v + v. Put -1, v, r in descending order.
r, -1, v
Let k = 26 + -27. Let c = -1635 - -1643. Sort -2, k, -4, c.
-4, -2, k, c
Let p = 0.129 - 0.049. Put -0.5, -78, p, -2 in descending order.
p, -0.5, -2, -78
Suppose -2*b - 4 = -z, 4*z + 0 + 2 = 2*b. Suppose -2*r = -4*u - 34, 5*u - 7 = -6*r + 3*r. Sort u, 6, -5, b in descending order.
6, b, u, -5
Let a be (263 + 51)*(-166)/4. Put 0, 1, a in ascending order.
a, 0, 1
Let k(v) = 2*v**2 + 22*v + 19. Let g be k(-9). Sort g, -3, 3, -5, 4.
g, -5, -3, 3, 4
Let s = -0.6941 + 0.2941. Put -2/23, s, 3, -1, 3/5 in descending order.
3, 3/5, -2/23, s, -1
Let g = 33 + -137/4. Let n be ((-4)/(-54))/(5 + (-464)/87). Let m be (-36)/10 - (-2)/(-5). Sort m, 4/3, n, g in increasing order.
m, g, n, 4/3
Let v(w) = 2*w + 6. Let k be v(-1). Let m be (-6)/21*(4 - (-135)/(-25)). Let n = 96 - 95.9. Sort k, n, m.
n, m, k
Let c = -185/747 - -34/249. Put -0.3, 15/23, 5, c in ascending order.
-0.3, c, 15/23, 5
Suppose 2*y = 3*v + 8, -2*y = -2*v - 3 - 3. Let t be (-3 + y)*(1 - 4). Let q be t/(-9) - (-1)/(-3). Put -11, q, 2 in increasing order.
-11, q, 2
Let c = 26/9 - 8/3. Let j be ((-6)/8*-10)/(112/(-2656)). Let i = j - -177. Put i, c, -1/6 in descending order.
c, -1/6, i
Let y(g) = 2*g + 7*g**3 - g - 4*g**2 - 14*g**3 + 6*g**2 - 2. Let c be y(1). Suppose 3*u = -1 + 7. Sort u, -5, c in ascending order.
c, -5, u
Suppose 206*i = 213*i - 42. Suppose i*p = -7*p + 12*p. Put 1, p, 2, 7 in ascending order.
p, 1, 2, 7
Let t = 8 - -4. Let j(p) = -p**3 + 66*p + 19. Let x be j(-8). Suppose -16 = x*l + 2*h, 34 = -4*l - 3*h + t. Sort 2/13, l, 4 in ascending order.
l, 2/13, 4
Let f = 487 - 333.4. Let m = f + -154. Sort 1, -4, -7, m in descending order.
1, m, -4, -7
Let l be (2 - 1)/((-4)/(-8)). Let w be (-25)/(-15) + (-2)/3. Let s = 3659 - 3663. Put w, s, l, -2 in increasing order.
s, -2, w, l
Suppose 18*p - 7 = 4*s + 23*p, -2*p = 2*s + 4. Sort 45, s, 0, 2, 1 in ascending order.
s, 0, 1, 2, 45
Suppose -4*b + 3*n - 11 = 3, 0 = 4*b - 4*n + 12. Put b, 2/45, 4, 2/5 in decreasing order.
4, 2/5, 2/45, b
Let x = -6 + 5. Sort 5, 1, x, 0, -5 in descending order.
5, 1, 0, x, -5
Let a = -61/4 - -15. Let i = -2910.6 - -3535. Let c = i - 624. Put a, c, -4 in decreasing order.
c, a, -4
Let p = 50.101 - 0.101. Let d be (177/(-72))/((-22)/6) + 102/(-187). Sort d, -4, p in increasing order.
-4, d, p
Suppose 2*j + 3*q = -21