 u in increasing order.
u, 2, 10
Let l = 287/62 + -128/31. Put 287, l, 2/5 in descending order.
287, l, 2/5
Suppose 5*k + 88 = -4*i, 15*k = 18*k - 3*i + 42. Sort 3, -6, k in descending order.
3, -6, k
Let z(w) = -w**2 + 2*w + 44. Let v be z(-6). Let p be 66/(-24) - (-6)/(-24). Put p, 5, -1, v in ascending order.
v, p, -1, 5
Let h = -0.6368 - -0.2368. Sort 8, -5, 0.16, -4, h in decreasing order.
8, 0.16, h, -4, -5
Let q = -18 + -13. Suppose -846 = -82*j - 600. Sort j, 2, 5, q in decreasing order.
5, j, 2, q
Suppose 5 = 4*u - 7, 3*u + 3 = 4*o. Let a be ((-20)/6)/((-2)/(-6)) - -2. Put a, o, 0, 2 in ascending order.
a, 0, 2, o
Suppose -14 + 3 = f - 2*k, 3*k - 20 = 5*f. Let t = 363 - 363.0147. Put f, t, -3 in decreasing order.
t, f, -3
Let a be (-46)/(-14) - (948/84 + -11)/1. Put -330, -6, 2, a in descending order.
a, 2, -6, -330
Let w be 0 + 1/(-1) + 1. Let o = 4.639 + 0.361. Let l be 2/(-12)*32/(-8). Sort o, l, w.
w, l, o
Let l = -417 - -423. Suppose l*q = 17*q - 44. Sort 0, -12, q.
-12, 0, q
Let o(m) = 359*m - 5373. Let k be o(15). Suppose -3*r = 5*i + 14, r - 3 - 19 = 5*i. Put -1, i, k in decreasing order.
k, -1, i
Let l be (3 - (1 - -4))/((-3)/3). Suppose 3 = -0*t - 3*t, 4*d = t + 1. Let o be 27/216 + d/l. Put 16, 0.1, o in decreasing order.
16, o, 0.1
Let p = -3993 - -3998. Put 3/5, -0.8, 2, p in descending order.
p, 2, 3/5, -0.8
Let f = -24.24 + 426.64. Let w = -402 + f. Put 0.2, w, -5, -0.1 in decreasing order.
w, 0.2, -0.1, -5
Let t = 1141 + -1135. Let c = -0.5 - 0. Let m be -3 - -1 - (-5 - 0). Sort c, t, m.
c, m, t
Suppose -5*u - 47 + 42 = 0. Let p be u/((-12)/(-18) + 231/(-333)). Sort 5, -6, p in decreasing order.
p, 5, -6
Let p be (-1)/2 - (-7)/(-2). Let s = -207628 + 207632. Put p, -1, s, 1 in descending order.
s, 1, -1, p
Suppose -14 = 4*q + 2*z, z = 4*q + 37 - 14. Let p be -7 - 5*(-3 + 2). Let x be (-9*2)/p - (28 + -23). Sort 1/2, x, q in ascending order.
q, 1/2, x
Suppose 0 = 4*r + 4*z + 12, 3*r - 5*z - 22 = 9. Let p(g) = 2*g**2 + 17*g - 82. Let k be p(6). Let q = 92 - k. Sort r, q, 4 in increasing order.
q, r, 4
Suppose 13*q - 52 = 39. Let l(b) = -2*b - 10. Let k(d) = -9*d - 41. Let z(t) = -6*k(t) + 26*l(t). Let n be z(q). Put 3, -27, n in descending order.
3, n, -27
Let h = 3155 + -3165. Put h, -2, 1, 2, -1 in decreasing order.
2, 1, -1, -2, h
Let h(s) = s**2 - 7*s + 7. Let g be h(6). Let b = 381 + -194.9. Let v = b - 186. Sort v, 75, 1/3, g in ascending order.
v, 1/3, g, 75
Let v(y) = y**3 + 59*y**2 + 57*y - 57. Let g be v(-58). Put g, 5, -1, -4, -209 in ascending order.
-209, -4, -1, g, 5
Let s = 43 - 99. Let g be -1 + 4 - s/(-8). Sort -1, 2, g, -33 in descending order.
2, -1, g, -33
Suppose 20 = -2*f - 2*v - 2*v, 2*f - 4*v = 4. Let m = -31/9 - -181/63. Sort f, 0.5, 1, m in descending order.
1, 0.5, m, f
Let v(h) = h**3 - 14*h**2 - 21*h + 90. Let z be v(15). Sort 4, z, -130, 1 in increasing order.
-130, z, 1, 4
Suppose 4*l + 129 = 5*d, -1863*l = -1868*l + 2*d - 157. Sort -0.5, -2, -5, -7, l in descending order.
-0.5, -2, -5, -7, l
Let x = -33740 + 33737. Let q(d) = 3*d - 6. Let l be q(6). Put 0, l, x, -4 in decreasing order.
l, 0, x, -4
Let d = 2035 + -2035.164. Put 0.2, -2, -0.4, d, -3 in decreasing order.
0.2, d, -0.4, -2, -3
Let c = 1/7 - -2/7. Put -17, 3, -2/3, c in ascending order.
-17, -2/3, c, 3
Let a = 3231.9 + -2802. Let r = 430 - a. Let y be (-6)/(-15) + (-32)/130. Sort y, r, -5.
-5, r, y
Suppose -13 = 3*m - 46. Suppose 0 = 3*c - 4*b - 5, 12*c = 9*c - b + 10. Sort c, m, -3 in descending order.
m, c, -3
Let a = -1871 + 1874. Put 7, a, 0, -5 in descending order.
7, a, 0, -5
Let l(x) = 17*x + 58. Let j be l(-8). Let d = 78 + j. Suppose 2*b - s = 5, 15 = s + 4*s. Sort b, -8, d in decreasing order.
b, d, -8
Suppose 472*o + 6 = 471*o. Put -40, o, 1, -3 in descending order.
1, -3, o, -40
Suppose -i + 7 = 2*s, -i + 447*s - 444*s = 13. Sort i, 2, -4, 0 in descending order.
2, 0, i, -4
Let f = -1/226 - -239/2938. Let d = -519 + 520. Sort d, 1/21, f in decreasing order.
d, f, 1/21
Let j = -1582 + 1587. Sort -3, -82, j, 1 in ascending order.
-82, -3, 1, j
Suppose 28*t = 17*t. Let f(a) = -a**3 + 3*a**2 + 2*a - 2. Let m be f(3). Sort -5, t, 7, m in decreasing order.
7, m, t, -5
Suppose 1802*l = 1806*l - 4. Sort -2, 5, 20, -3, l in increasing order.
-3, -2, l, 5, 20
Let b = 0.355 - 0.275. Put 4, -0.29, b in decreasing order.
4, b, -0.29
Suppose -3 - 3 = -p. Let b be (-16)/(-24) + -4*1/6. Suppose r - v + 3 = b, -3 = -5*r + 3*v - 12. Sort p, r, 1 in decreasing order.
p, 1, r
Let o be 4/(-34) + 552/68. Let h be (-20)/o*(-8)/(-5). Let a be -3 + h/((-64)/36). Sort 5, -3, a in decreasing order.
5, a, -3
Let i = 979/9 - 109. Let n = 34.162 - 42.162. Sort 4, i, n, -3 in descending order.
4, i, -3, n
Suppose 0*w + 20 = 5*w, -4*x - 4*w = -12. Let j be ((x - 1) + 4)*4/(-32). Let f = 0 - -0.1. Sort j, f, 6 in descending order.
6, f, j
Suppose 30*l - 25*l + 25 = 0. Let g be (112/20 + l)/(-1). Sort -1, g, -2 in descending order.
g, -1, -2
Suppose -q + 7 = 2*i + 28, -2*i + 2*q - 18 = 0. Suppose 2*l - 2 = 0, -w - 3*w - 3*l + 47 = 0. Let c = w + i. Put 0.11, c, -4, 0.2 in increasing order.
-4, 0.11, 0.2, c
Let p(h) = h**2 + 7*h + 4. Suppose 0 = 3*a - 3*t + t + 30, 2*a = 2*t - 22. Let k be p(a). Sort -14, 1, k in descending order.
k, 1, -14
Let r = 42.04 + -62.04. Put -2/9, 0.04, r, 1/2, -4 in descending order.
1/2, 0.04, -2/9, -4, r
Let h = 3368 + -3376. Sort h, 5, 0, 1.
h, 0, 1, 5
Let y = 25476 - 25510. Sort -3, -5, y, -0.4, -1 in decreasing order.
-0.4, -1, -3, -5, y
Let t = 357 + -333. Let q = t + -30. Sort -5, q, 2, -2 in ascending order.
q, -5, -2, 2
Suppose -1 = -2*j + 3. Let w = 80 - -55. Let v = w - 130. Sort j, -1, v.
-1, j, v
Let r = -0.1 - -0.2. Let x = -0.3 + r. Let y = -675.52 - -675.12. Sort 1.1, y, 3, x.
y, x, 1.1, 3
Let c(m) = m**2 - 16*m + 31. Let h be c(2). Let s(t) = -3*t + 2. Let l be s(6). Sort h, l, -3 in ascending order.
l, -3, h
Suppose 19*o - 12 = 20*o - 2*h, -h + 6 = 7*o. Put o, -13, 44 in increasing order.
-13, o, 44
Let r = 36 + -34. Suppose v - r = 0, -3*f + 4*v - 14 - 9 = 0. Let x be (-22)/121 + (-46)/(-11). Put 7, x, f, 2 in descending order.
7, x, 2, f
Let h = -8 + 12. Let o(u) = 78*u + 1635. Let a be o(-21). Sort 1, a, h in decreasing order.
h, 1, a
Let i = -0.036 + -0.064. Let p = -37.7 + 39. Put p, i, 0.1 in increasing order.
i, 0.1, p
Let s = 3565 - 2571. Sort s, 0.1, -2/3, -2/7 in descending order.
s, 0.1, -2/7, -2/3
Let m = -0.0934 - -407.0934. Let r = m - 281. Let l = r + -126.1. Sort -0.7, -0.3, l in decreasing order.
l, -0.3, -0.7
Suppose 5*q - 47 = -p + 37, -3*q + 52 = -p. Suppose 16*x - q*x = -2. Sort 19, x, -3, -1.
-3, -1, x, 19
Let w(v) be the first derivative of 2*v**3 + v**2 - 2*v + 30. Let d be w(1). Suppose -34*a = -28*a - d. Sort 3, 0, 4, a.
0, a, 3, 4
Let t be ((-4)/(-14)*35)/(6 + -2 + -2). Sort -2/3, 1/5, t, -4 in descending order.
t, 1/5, -2/3, -4
Let i = -15675.6 + 15676. Sort 5, -17, -0.1, i, -0.5 in increasing order.
-17, -0.5, -0.1, i, 5
Let m be (-74)/(-666) - (-1)/(-9). Sort m, -29, 21 in decreasing order.
21, m, -29
Let m = -5467 + 5467.5. Sort -3, -0.65, m, 0, -0.2 in increasing order.
-3, -0.65, -0.2, 0, m
Let v = 30328.5 - 30340. Sort 4, -3/4, 5, v in ascending order.
v, -3/4, 4, 5
Let p = -17366 + 17366. Sort -66, p, 2/3, -2 in decreasing order.
2/3, p, -2, -66
Let a = -0.005 + -7.425. Let f = -3.43 - a. Put -0.2, 12/13, f in decreasing order.
f, 12/13, -0.2
Let y = -42/733 - -2516/18325. Sort -0.79, y, 0, -1.
-1, -0.79, 0, y
Let a = 2502 + -2510. Sort -1, 3, a, -11 in decreasing order.
3, -1, a, -11
Let o(b) = b**3 - 18*b**2 + 47*b - 251. Let d be o(16). Put -10, 4, -2, d, 1 in ascending order.
d, -10, -2, 1, 4
Let g = 17929 + -17938. Put g, 3, -4, -102 in increasing order.
-102, g, -4, 3
Suppose -5*o - t - 1747 + 1726 = 0, 0 = -4*t - 24. Put -26, 1, -1, -5, o in decreasing order.
1, -1, o, -5, -26
Let n = -30816/107807 - -2/15401. Put 10, -0.5, 0.08, n in ascending order.
-0.5, n, 0.08, 10
Suppose 181*f - 183*f - 26 = 5*k, 2*k = 5*f + 7. Suppose 4*x = -x + 85. Sort x, f, 2.
f, 2, x
Let m(c) = -2*c**3 + 3*c**2 - 3157*c - 3. Let x be m(0). Let k = 0 - 0. Let i = k + 4. Put i, 0.01, x, -1 in ascending order.
x, -1, 0.01, i
Suppose 31*o = 27*o. Let n be (-12)/(-3) + (-15)/(-10)*-2. So