 4*z - 11. Sort c, z, a in decreasing order.
z, a, c
Suppose -o + 2*t - 100 = -6*o, 4*t - 20 = -o. Let k = o - 16. Suppose 2*p + a = -0*p + 15, -k*a = -4*p. Put p, -3, 4, 1 in decreasing order.
p, 4, 1, -3
Suppose 235*a - 222*a - 1 = -40. Put -2/7, a, -23, -14 in increasing order.
-23, -14, a, -2/7
Suppose -3*q - 20 = q, -3*x + 40 = -5*q. Suppose -3*f = -2*t - 18 - x, -3*f = -5*t - 44. Sort t, 5, -1.
t, -1, 5
Suppose i + 2*m = 7*m + 15, -i + 2*m + 15 = 0. Let r be (1763/82 - 22)*0/5. Put r, 1/4, i in descending order.
i, 1/4, r
Let n = 10744 + -10748. Sort n, 0.4, 9816 in descending order.
9816, 0.4, n
Let m = -597 + 564. Let i be 39/m - 2/(-11). Sort 5, 52, i in descending order.
52, 5, i
Suppose 161 = 5*n - 34. Suppose -5*z - 29 + n = 0. Suppose 0 = 5*u - 5*g - 45, -z*u + 15 = u + 3*g. Put -3, -4, u, 5 in decreasing order.
u, 5, -3, -4
Let g(j) = -j**3 + 23*j**2 - 135*j + 45. Let t be g(10). Put -1, 0, -33, t in decreasing order.
0, -1, t, -33
Let t be (-3)/(-6) - (-1)/2. Let o = 105/2 + -50. Suppose 229*f - 96 = 253*f. Put t, f, o, -3 in descending order.
o, t, -3, f
Let h = 3.48 - 26.68. Let u = h + 23.6. Let f = 6 - 6. Put 2/21, -3, f, u in decreasing order.
u, 2/21, f, -3
Let j = 26/103 + -233/515. Put j, 4, 1/3, -1/10, 0 in descending order.
4, 1/3, 0, -1/10, j
Let f(x) = x**3 + 10*x**2 + 10*x + 1. Let n be f(-9). Let c = -12 - n. Let w be -1*2 + (348 - 353). Put c, w, -3 in descending order.
-3, c, w
Let z(l) = -l**3 - 2*l**2 - 3*l - 3. Let v be z(-2). Let u be 2/(-10) - (-126)/30. Suppose 0 = i - 3*p - 1, 5*p + 1 = -u. Sort v, i, -5 in descending order.
v, i, -5
Let k be (-10)/12 + 178/267. Sort -0.05, k, 0.23, -1/5 in increasing order.
-1/5, k, -0.05, 0.23
Let q = 27.49 - 28.7. Let y = -1.21 - q. Sort -2, -0.1, y in increasing order.
-2, -0.1, y
Let q = -1.2 - -0.7. Suppose -p + 0*p - 268 = 5*m, -m = 2*p + 50. Let b be (-1 + 3)*(114/m + 2). Sort q, 2/11, b, -3 in decreasing order.
2/11, b, q, -3
Suppose -180 = 82*q + 640. Put -3/5, 1, 5, q in increasing order.
q, -3/5, 1, 5
Let x = -32382/13 + 129515/52. Put 4/7, -17, x, 2, 0.4 in descending order.
2, 4/7, 0.4, x, -17
Let o = 50.4 + -7.4. Let p = 114 - 72. Let v = o - p. Put v, 0.3, 14 in ascending order.
0.3, v, 14
Let q = -4 + 3. Suppose 2*z - 2*l = -16, 4*l + 2914 = 3*z + 2941. Put -13, q, z in decreasing order.
q, z, -13
Let f be (-20*77/220)/(1*-1). Let u be 3/(-2)*(-4)/6. Suppose -5*g + 6 - u = 0. Sort g, -2, f in increasing order.
-2, g, f
Let w be (-10)/(-55)*(30 + -8). Let f = -198 + 218. Put w, 2, f in decreasing order.
f, w, 2
Let f = -300 - -157. Put f, 3, 4 in ascending order.
f, 3, 4
Let k = 14.81 + -14.11. Put -3, -0.4, -2/3, k, 31 in decreasing order.
31, k, -0.4, -2/3, -3
Let h be (-14 - 1705/(-110))/(-1 + -1). Sort -3/2, 1/3, -5, -4, h in decreasing order.
1/3, h, -3/2, -4, -5
Let t = -230.9549 + -0.0451. Let u = t - -227. Put 0.3, 5, 0.06, u in decreasing order.
5, 0.3, 0.06, u
Suppose -356*u - 632 + 147 = 939. Let n(v) = v**3 - 6*v**2 - 8*v + 5. Let r be n(7). Sort -35, r, u in descending order.
r, u, -35
Let o be (-10 + 69/6)/((-9)/(-39)) - 4. Let x = -60 - -60.03. Put o, 7, -1/5, x in increasing order.
-1/5, x, o, 7
Let z = 279 - 269. Suppose -z*i - 12 = -13*i. Sort i, -1/3, -4.
-4, -1/3, i
Suppose -4*k = -r - 331, -2*r - 51 - 107 = -2*k. Suppose -4*l = -10*l - k. Let h(d) = -d**2 + 6*d - 7. Let s be h(5). Put -3, l, s in descending order.
s, -3, l
Let w = 13 - 7. Suppose -6 = -8*b + 18. Let a be (-4)/6*(-15)/20*-6. Sort w, a, b in decreasing order.
w, b, a
Let j = 2/48899 + 97784/342293. Sort -0.035, j, 1, -7/2.
-7/2, -0.035, j, 1
Suppose 200*n = -39*n + 2151. Sort 7, 10, n in decreasing order.
10, n, 7
Let j be 2/(-6) + (-4)/6. Suppose 5*f = 3*f + 5*c - 25, 5*f = -c - 22. Suppose 22*l - 93 = 17. Put -4, j, f, l in increasing order.
f, -4, j, l
Suppose 4*p = 9 - 33. Suppose 19*a + 245 = -40. Let r be (2 - 11/5) + p/a. Put -0.1, 1, r, 5 in descending order.
5, 1, r, -0.1
Suppose 3*q = 3*s - 1392, 2*s - 5*s = -9. Let y = -803/2 - q. Let v = 58 - y. Sort v, 0.1, -3, -0.3.
-3, v, -0.3, 0.1
Let n be 4/10 - (-11)/(-15). Let h = 25 + -25.4. Let z = -99 + 99. Sort h, z, n in increasing order.
h, n, z
Let i(v) = 114*v**2 + 11*v - 49. Let b be i(3). Sort -3, 0, 2, b in ascending order.
-3, 0, 2, b
Let b be (-52)/180 + ((-38)/18 - -2). Sort 1/4, -1/21, b, 0.054 in decreasing order.
1/4, 0.054, -1/21, b
Let q(h) = 3*h - 22. Let r(x) = 10*x - 65. Let t(a) = 8*q(a) - 3*r(a). Let j be t(3). Suppose -2*w + u = 8 - j, -3*w + u - 11 = 0. Sort 3, -1, 1, w.
w, -1, 1, 3
Let y = 0.4108 + -0.2108. Let i = -0.038 - 0.052. Sort 0, 0.5, y, i.
i, 0, y, 0.5
Let y be 9050/(-543) + (-16)/(-6). Sort 9, y, 1/3 in decreasing order.
9, 1/3, y
Let j be ((-15)/3 - -4)*-8. Suppose -2*a + 0 = 2*m - 8, 0 = -5*m + 2*a - j. Let d = 15 - 11. Sort -1, -3, m, d in descending order.
d, m, -1, -3
Let y = -1492/7 + 213. Put -1/8, 0.2, 14, y in ascending order.
y, -1/8, 0.2, 14
Suppose 4 = 23*x - 65. Let o be 27*x/63 + (-8)/28. Sort 5, 33, o in descending order.
33, 5, o
Let t(o) = o - 1. Let n be t(-3). Let y = 15 + -17. Let h be (12 + -12 + 14)*1. Sort n, h, y.
n, y, h
Let v = -3 + 0. Let t = -818 - -817. Let g be 5*t + (-12)/((-144)/66). Put v, g, -13 in descending order.
g, v, -13
Suppose 19*q = -59*q + 3120. Put -1/7, q, 0.2, 3/7, 2 in ascending order.
-1/7, 0.2, 3/7, 2, q
Suppose 108*b - 8 = 112*b, -5*l + 4*b + 28 = 0. Sort -2, 2, 1, -149, l in ascending order.
-149, -2, 1, 2, l
Suppose 4*c + 208 + 332 = 5*n, -4*n + 411 = c. Let t = 97 - n. Sort 2, t, 4 in decreasing order.
4, 2, t
Let q = -332101 + 332106. Let c be (2/(-4))/(1/(-100)). Sort q, c, -4 in increasing order.
-4, q, c
Suppose 5*p + 128 = 37*p. Let j(f) = f + 5. Let a be j(4). Let z be a - 10 - p/1. Put z, -4, 3/14, -1 in increasing order.
z, -4, -1, 3/14
Let i be 0*(3/(-2))/((-30)/(-20)). Let p = -0.5 - 2.5. Sort 0.5, -1/7, i, p in descending order.
0.5, i, -1/7, p
Suppose -9*d = -2975 + 3002. Put -2, d, 5, -6, 10 in increasing order.
-6, d, -2, 5, 10
Let o = -3.1393 - -0.1393. Put o, -9/7, -3/37 in decreasing order.
-3/37, -9/7, o
Suppose -47*k - 327 = 96*k - 34*k. Sort k, 35, 1, 4, -1 in descending order.
35, 4, 1, -1, k
Suppose 4 + 5 = -s. Let d be (42/(-3) - -13)/(1/27). Let h be 6/d - (-12)/54. Sort s, h, -2.
s, -2, h
Let d = -46601 - -46598. Put 2070, 1, d, -1 in descending order.
2070, 1, -1, d
Suppose -902*m = -896*m + 24. Put 24, -5, 5, m, -1 in descending order.
24, 5, -1, m, -5
Let f = -52352/3 - -17449. Let s = -1 + 1.7. Let x = 0.2 - s. Sort -4, x, f in descending order.
x, f, -4
Suppose -353*y - 32 = -385*y. Put -1, 4/5, -0.6, y, -2 in increasing order.
-2, -1, -0.6, 4/5, y
Let h = -166.91 + 163.91. Put 0.5, h, 5/22, 0.6, 1 in ascending order.
h, 5/22, 0.5, 0.6, 1
Suppose -7*w = -5*w - 4*t - 2, -w + 5*t = -4. Sort -19, w, 0.4, -0.09 in ascending order.
-19, w, -0.09, 0.4
Let k = -7733 + 7730. Put k, -1166, 3 in descending order.
3, k, -1166
Let q = 4.608 - 0.608. Suppose 2*o + 17 = 3*c, 7 = -6*c + 3*c - 4*o. Let v = -0.3 - -0.2. Sort c, q, v in increasing order.
v, c, q
Let a be (-14)/(-42)*(-3)/(-2). Let h = 111.28 - 1.28. Let u = h + -110.15. Sort u, 4, a.
u, a, 4
Let k be 2/((-286)/39 - -8). Sort k, -1, -857.
-857, -1, k
Let u be 81/21 + -13 + 425/35. Suppose 0 = -7*l - 59 - 60. Sort l, -5, u.
l, -5, u
Let t = 30839 - 30891. Suppose 15 = 5*f + 5. Sort 3, t, f in decreasing order.
3, f, t
Let n be (-1248)/96876 - (-4)/(-54). Sort 4, -2/7, n, -5/4 in descending order.
4, n, -2/7, -5/4
Let a = -11.0285 - -1.0285. Sort a, 0.2, 3 in decreasing order.
3, 0.2, a
Let c = 828.636 + -828.836. Let l(j) = -3*j**2 + j + 2. Let o be l(2). Sort o, -6, c.
o, -6, c
Let x be 934/20 - 174/(-580). Suppose 5*m + 6 = 3*m. Sort m, x, 0.
m, 0, x
Let y be 5 + (-2)/((-2)/(-5)). Suppose 0 = -3*x + t - 3, 4*x - t + y*t = -3. Suppose 0*m - 5*a + 10 = -4*m, x = 4*m + 4*a - 8. Put m, 2, 4 in descending order.
4, 2, m
Let j = 4563 - 4572. Sort -3, j, 14, 3 in decreasing order.
14, 3, -3, j
Let w be ((-36)/9)/((-36)/(-3834)). Sort w, 5, -4 in decreasing order.
5, -4, w
Let i(o) = -o**2 + 6*o - 3. Let x be i(4). Suppose 3*p + 24 = -36. Let b be p/((-10)/2) + -2 - 7. Put -2, -4, x, b in increasing order.
b, -4, -2, x
Let v = 6.938 + -7.038. Sort v, 4/9,