c - 15 = 0, 0 = y + 3*c - 15. Suppose y = -10*v + 65 + 15. Sort 5, -2, v in decreasing order.
v, 5, -2
Let n = 98 - 687/7. Suppose 2*f + 2*i = -38, -95 = -3*f + 8*f + 4*i. Let v = -24 - f. Sort n, 3/5, v in decreasing order.
3/5, n, v
Let g = 520 - 518. Let h be (14 + -14)/(g/(-2)). Sort h, -2, 31 in increasing order.
-2, h, 31
Let q = 13.70447 - -0.29553. Put q, -0.3, 0.16, -1/9, 0 in decreasing order.
q, 0.16, 0, -1/9, -0.3
Suppose -4*o = -5*a - 7*o - 19, -3*a - 11 = 2*o. Suppose 7 = 4*z + 3. Suppose -p - 3*j = -39 + 22, 17 = 5*p - 2*j. Sort z, a, p, 0.
a, 0, z, p
Let g(h) = 522*h - 5146. Let p be g(9). Put -1, p, 2, 5 in decreasing order.
5, 2, -1, p
Let p = 1033.4 - 1166. Let f = 18.6 + p. Sort -3/4, f, -2 in increasing order.
f, -2, -3/4
Let c = 4696.11 + -4696. Put 1, -5, 2/9, c in descending order.
1, 2/9, c, -5
Let m(g) = -15*g - 83. Let k be m(-24). Let v = -284 + k. Sort -2, 4, v.
v, -2, 4
Suppose 5*s = 7*s - 3*f - 109, -4*f - 20 = 0. Sort -1, 0, -16, s in descending order.
s, 0, -1, -16
Let c = -4 - 2. Suppose -42 = 8*b + 6. Let p be (18/(-108))/(4/b). Sort 1, p, c, -0.2.
c, -0.2, p, 1
Let x be ((-1362)/1589)/(27/7). Sort 122, -1/3, x, -3/8, -2 in descending order.
122, x, -1/3, -3/8, -2
Suppose 73*x - 201*x + 4224 = 0. Sort -4, x, -3, -1.
-4, -3, -1, x
Let f = -2916 - -2915. Sort -21, 0, 3, f in decreasing order.
3, 0, f, -21
Let r(z) = 7*z - 302. Let x be r(43). Put -2712, 1, x in decreasing order.
1, x, -2712
Let q = 0 + -1. Let g = 0.1463 + 3.8537. Sort q, 10, 4/7, g in increasing order.
q, 4/7, g, 10
Let i = -2 + 3. Let o = -39805 + 39802. Sort i, o, -1, 3 in descending order.
3, i, -1, o
Let n = -1.22 + 1.12. Put 11, n, -1, -0.2 in increasing order.
-1, -0.2, n, 11
Let n = -0.539 + 0.079. Let s = 0.16 + n. Put -0.07, s, -4 in increasing order.
-4, s, -0.07
Suppose 4 = 5*t - 1, -15 = -m - 3*t. Let k(s) = m - s**3 + 22 - 24*s + 24*s**2 - 14. Let h be k(23). Sort h, 0, -2 in descending order.
0, -2, h
Suppose -12*k + 380 = -8*k. Suppose 4*c = -15*c + k. Sort c, -13, 1/3, 3 in decreasing order.
c, 3, 1/3, -13
Let w(m) be the first derivative of 5*m**2 + 222*m - 195. Let u be w(-22). Sort 5, u, -1, -3.
-3, -1, u, 5
Let l = 6732.8 - 6733. Put l, -2, 2.5 in decreasing order.
2.5, l, -2
Let o = 278 + -202. Let z = 2826/7 + -36924/77. Let y = z + o. Put -0.4, y, -1 in descending order.
y, -0.4, -1
Let u be (1 - -4) + (-25 - 26). Let o = 1 - 1. Sort o, u, 4 in descending order.
4, o, u
Let w = 2046 - 2041. Suppose 21 = 4*a + 5. Sort a, w, 2.
2, a, w
Let g be (-9)/6*(-70)/(-21). Suppose 2*p = 5*p + 12. Let f be -6*(p/(-4))/(-6). Put g, f, -4 in descending order.
f, -4, g
Suppose v - 9*h + 5*h - 3 = 0, -5*v - 21 = -2*h. Suppose -21*q = -3*l - 18*q + 12, -4*q = -l + 1. Put -12, v, l in descending order.
l, v, -12
Let w be 3*2/7 + 8/14*-5. Suppose 0 = 3*x - 9. Sort -13, x, -3, w in descending order.
x, w, -3, -13
Let d = 24.49 + -0.49. Let x = d - 24.3. Suppose -5*y - 3*i = -9 - 7, 2*i - 12 = -4*y. Put y, 29, x in descending order.
29, y, x
Suppose -11 = -5*y + 2*t, -2*y - 88*t + 92*t + 30 = 0. Sort y, -3, -19, 15, -4.
-19, -4, -3, y, 15
Suppose u = -w - 256, -5*w + w - 250 = u. Let z = 24506 - 24508. Sort u, z, -1 in descending order.
-1, z, u
Let m = -1/48623 - -48629/291738. Sort -790, m, 4 in decreasing order.
4, m, -790
Let r be (-17)/((-833)/(-14)) - (-82)/238. Sort r, -1, 4, -0.5 in ascending order.
-1, -0.5, r, 4
Let q = -65 - -197/3. Let w = -1.82729 - 0.17271. Sort q, w, -3.
-3, w, q
Let v = 11025 - 11025.1. Put v, -5, -11, -0.5, 0.4 in increasing order.
-11, -5, -0.5, v, 0.4
Let m(d) = 40*d - 4199. Let c be m(105). Sort 7, c, -51 in ascending order.
-51, c, 7
Let o(w) = 10*w - 45*w - 5 - w**3 + 35*w**2 + 36. Let h = 4256 + -4222. Let y be o(h). Put -18, y, 2 in increasing order.
-18, y, 2
Let y = 61 + -61. Suppose 4*k = -y*k. Suppose -4 = 4*j - 0, -43 = 4*u - 5*j. Sort k, u, -1 in ascending order.
u, -1, k
Let y = 0.199 + 0.451. Let t = y - -5.35. Sort 5, -2, t in decreasing order.
t, 5, -2
Let x be (-1)/(66/18 - 4). Suppose x*t = 3*q - 15, -2*q + 2*t - 5 = 3*t. Let s = -4 - 9. Sort -1, s, q.
s, -1, q
Let c = -0.1 - -0.31. Let k be 3 + -2 - (24/(-9))/(-2). Let i = 661.6 + -662. Sort k, i, c in descending order.
c, k, i
Let d(b) = -b**3 - 3*b**2 + 6*b - 2. Let h(c) = -c**3 + c**2 + 1. Let i(o) = -d(o) + 2*h(o). Let v be i(4). Put v, 3, 8 in increasing order.
v, 3, 8
Let q be 23/2*(-4 + 2). Suppose -51*t + 61*t + 604 = 161*t. Sort -3, q, t.
q, -3, t
Let t = -10110 + 30331/3. Put 2, t, -4, 0.3, 21 in ascending order.
-4, 0.3, t, 2, 21
Let a = 3761 + -3761.127. Put 1, -2/5, a in ascending order.
-2/5, a, 1
Let c be -5*(12/(-4) + 2). Suppose -5*p + 15 = -c*l, -5*l - 17 = 5*p + 8. Suppose 0 = -4*h - 4*h - 8. Sort l, -5, h.
-5, l, h
Let d = 1.9 + -1.89. Let r = -2.206 - 21.794. Put d, r, 1/2, -3 in descending order.
1/2, d, -3, r
Let y(f) = 3*f**2 - 2 - 4*f**2 - f + 2 + f**3. Let c be y(0). Let n be ((-4)/(-12))/(2/6). Put n, c, 0.3 in descending order.
n, 0.3, c
Let c = 16 - 10. Let p = c - 11. Let b be (((-308)/12)/(-7) + (-29 - -25))*-18. Sort p, 4, b.
p, 4, b
Let f(u) = -u**2 + 8*u - 10. Let p be 252/52 - 2/(-13). Suppose -p*w = -11*w + 42. Let q be f(w). Put q, -5, 5, -4 in descending order.
5, q, -4, -5
Suppose -3*m + 5*m + 18 = 0. Let f = m + 1. Sort 2, -4, f, 5 in ascending order.
f, -4, 2, 5
Let d be (-9)/3 - (-1 + (4 - 36)). Let j be (-3)/2*(-3 - (-65)/d). Sort -0.1, -0.03, j in increasing order.
-0.1, -0.03, j
Suppose -6*u + u = -3*m - 11, -u = 5*m + 37. Let g be (-8)/(-24)*6*-2. Sort 1, g, m, 3 in ascending order.
m, g, 1, 3
Let t = -16 + 46/3. Let n = 165.9 + -167. Sort t, -3, 2/5, n in decreasing order.
2/5, t, n, -3
Let y = 101 - 103. Let u be (y/(-18))/(5/(-6)). Let j = -1/23 + -85/161. Sort j, u, 0.1, -5 in descending order.
0.1, u, j, -5
Let r(l) = -l**3 + 57*l**2 + 182*l + 1. Let z be r(-3). Put -3, 3, z in increasing order.
z, -3, 3
Let x be (-2)/6 + 20/12. Let g = -7737 + 54165/7. Sort g, 2, x, -17.
-17, g, x, 2
Let t = -7310 - -7309. Put 0, t, 10, 2/23 in increasing order.
t, 0, 2/23, 10
Let w = 0.53 - -0.07. Let d = w - 0. Let n = -5063 - -5068. Sort 1, d, n in increasing order.
d, 1, n
Let g = -2 + 4. Let o(l) = -l**3 + 87*l**2 - 39*l - 4039. Let z be o(86). Sort 4, g, -3, z in descending order.
4, z, g, -3
Let m(u) = -2*u**2 - 41*u - 213. Let l be m(-9). Let j(v) = 18*v + 33 - 3*v**2 + v**2 + 4*v**2. Let p be j(l). Put 1, p, 0 in ascending order.
p, 0, 1
Let y = 15001 + -14997. Suppose -6*m - 11 = -47. Let x be (0 + -3 + 2)*-3. Sort x, 2, y, m.
2, x, y, m
Let m(p) = -493*p + 1524. Let a be m(3). Sort 1, a, 3, 0, -2 in decreasing order.
a, 3, 1, 0, -2
Let n = 8 - 5. Let j(w) = 32*w - 63. Let d be j(2). Suppose 0 = 4*o - 20, 3*s + d - 3 = 2*o. Sort s, n, -1 in ascending order.
-1, n, s
Let o be 37/((-7326)/(-504)) + (1 - 3). Put 0.22, 4, -2, -3, o in descending order.
4, o, 0.22, -2, -3
Let t(n) = 8*n**2 + 55*n - 28. Let d be t(-9). Suppose -d*c + 131*c = -18. Put -2, -115, c in descending order.
-2, c, -115
Suppose -a - 4*x = -2*a, 2*x = a. Sort -5, a, 366.
-5, a, 366
Let a(i) = -6*i**3 - 27*i**2 - 12*i + 4. Let j be a(-4). Put 3/5, j, 2.86, 3/7 in descending order.
j, 2.86, 3/5, 3/7
Let l(x) = -x**3 + x**2 + 9*x - 17. Let i be l(2). Suppose -3*v + 0 - 15 = 0. Sort i, 1, v in increasing order.
v, i, 1
Let p = 1.00549 + -0.00549. Sort -0.3, 0, p, 0.3, 1/91 in ascending order.
-0.3, 0, 1/91, 0.3, p
Let p = 2188 + -1525. Let j = -660 + p. Put 13, -2, j in increasing order.
-2, j, 13
Let w = -2.895 - -2.87. Let r = w + 144.025. Sort 0.1, 0.2, r in descending order.
r, 0.2, 0.1
Let z be (-4)/10*(-5)/(-1). Let u = -0.483 - -0.75. Let t = u + -0.467. Sort t, z, -1/6, -0.3 in decreasing order.
-1/6, t, -0.3, z
Let t = -0.0761 + -0.3239. Sort -1/12, 0.12, t, -5.
-5, t, -1/12, 0.12
Suppose 11*f - 898 + 249 = 0. Sort 3, f, -10 in descending order.
f, 3, -10
Let n be 1/((-4)/(-12)) + ((-68)/4 - -18). Sort -6, 3, 5, n, -4 in descending order.
5, n, 3, -4, -6
Let h = 33355 - 33368. Suppose 0 = 5*o - 4*t + 26 - 71, -o = t. Suppose -2*a - o - 1 = 0. Sort 2/13, h, a in increasing order.
h, a, 2/13
Let r = -10.28 - 0.12. Let m = r - -10. Let j(c) = 10*c - 109. Let n be j(11). Put 5, -0.1, m, n in ascending order.
m, -0.1, n, 