= -0.915 + 0.715. Let s = -88.4 + 88. Put -1/8, s, u in ascending order.
s, u, -1/8
Let v = -418.9736 - -418. Let i = v - 0.0264. Sort -0.4, -8, 3, i in decreasing order.
3, -0.4, i, -8
Let a = 1233 + -1231. Put -4, 0.5, a, -13.1 in descending order.
a, 0.5, -4, -13.1
Suppose 0 = -3*v + 6*v + l + 7, -2*v + 5*l = 33. Let t be (7/21)/((-1 - 1)/(-18)). Suppose -7*m - 5 = 16. Sort m, t, v.
v, m, t
Let b = -184.69 - -183.91. Sort 6, b, 2 in descending order.
6, 2, b
Suppose 2*q - 14 = -4*l, l - 11*q = -13*q + 5. Sort -6, -3, l, 0.
-6, -3, 0, l
Let u = -545.28 - -56.28. Sort u, -0.3, 3, 1.
u, -0.3, 1, 3
Suppose 0 = -7*u - 86 + 1136. Let y = -152 + u. Sort 14, 5, 3, y in ascending order.
y, 3, 5, 14
Suppose -4*i + 14*r - 2 = 16*r, 0 = -5*i + 4*r - 22. Let x = -23 - -22. Let j(t) = t - 1. Let u be j(5). Put x, u, i in ascending order.
i, x, u
Let w = 197 + -592/3. Sort w, -11, 3, -0.3 in descending order.
3, -0.3, w, -11
Let m be ((-22)/4 + 9)*20/35. Put 3, -0.9, -4, -0.03, m in descending order.
3, m, -0.03, -0.9, -4
Suppose -26 - 263 = 3*o + 4*f, 5*o + 4*f + 495 = 0. Let a = o - -101. Suppose z - 3*c = 2*z + 8, 0 = z + 2*c + 4. Put a, z, 3 in ascending order.
a, 3, z
Suppose -u + 0*u = 6 - 7. Sort -4, 2, u, -3, -2 in increasing order.
-4, -3, -2, u, 2
Let t(u) = 107*u**2 + 11*u - 13*u + 36*u - 108*u**2 - 27. Let m be t(33). Put m, -1/11, -2, -3/5 in decreasing order.
m, -1/11, -3/5, -2
Let p = 590 - 591. Put 3, p, 1, 11 in decreasing order.
11, 3, 1, p
Let a be (-2)/(-10) + 6 + (-217)/35. Suppose i - 4*y + 13 = 0, -6*i + a*y - 9 = -y. Put i, 3, 14 in decreasing order.
14, 3, i
Let j = -862 + 845. Sort -4, j, 1, -30 in increasing order.
-30, j, -4, 1
Let d = 169.91 - 169.51. Sort -1/4, -3, 0.1, d, -107 in increasing order.
-107, -3, -1/4, 0.1, d
Let t = -25 - -24. Let a = 3567 + -3569. Put 0.6, -5, t, a in descending order.
0.6, t, a, -5
Suppose -14*p + 619 = 157. Suppose 0 = -11*q + p*q - 44. Sort q, -4, 8.
-4, q, 8
Let n(k) = k**3 - 3*k**2 - 2*k - 4. Let z = -216 - -220. Let o be n(z). Put 0, 2, o, -1 in increasing order.
-1, 0, 2, o
Let w be (-28 - -2)/((-16)/(-8)). Suppose 9*l - 117 = 90. Suppose 21*a - l*a + 10 = 0. Put a, -1, w, 0 in descending order.
a, 0, -1, w
Suppose -20*n = -15*n + 20. Let g be (-16)/n*(-2)/4. Sort 19, -4, 1, g.
-4, g, 1, 19
Let g be ((-20)/(-16))/(39/(-9)*(-6)/(-8) - -7). Let a = -3.95 + -0.05. Sort -1/5, -3/7, g, a in decreasing order.
g, -1/5, -3/7, a
Suppose -9*c + 12*c = 21. Let q(x) = -x**3 + 7*x**2 + 2. Let m be q(c). Suppose 0 = -5*u + 4*n + 23, 5*n + 6 = 4*u - u. Sort m, u, -2 in increasing order.
-2, m, u
Let j be 7/35*15*-1. Let s be 1 - ((-11)/(-4) - 2). Let d = -259.7 - -260.7. Sort s, j, d in increasing order.
j, s, d
Suppose 5*m - 171 = -44*z + 43*z, 3*m + 3*z - 105 = 0. Let x = 184/13 - 14. Put m, 1, 5, x in ascending order.
x, 1, 5, m
Suppose 5*f - 4*l - 16 = 0, 3*l = -2*f + 2 + 9. Suppose -2*j + 123 = -3*o, -32 = f*j - 44. Put 0, 4, o in ascending order.
o, 0, 4
Let n = 2.86 + -2.86. Put -0.3, 8, 0.2, -3/7, n in ascending order.
-3/7, -0.3, n, 0.2, 8
Let r be (-8)/(-50)*(-30)/12. Let b be 16 + 4761/(-253) - (-2)/(-11). Sort r, -9, b, 5 in increasing order.
-9, b, r, 5
Let l = 1088920/97 + -11226. Put 3, -4, -1/7, l in decreasing order.
3, l, -1/7, -4
Let r = -950 + 951. Suppose -6 = -p - 18. Put r, -4, -2, p in increasing order.
p, -4, -2, r
Let p = -4915 + 4915.5. Sort p, 2, 106, -1, -3 in increasing order.
-3, -1, p, 2, 106
Let f = -154.9 - -155. Sort 82, f, -2, -0.4 in increasing order.
-2, -0.4, f, 82
Let j = -30094.02 - -30107. Sort 0.5, -2/3, j.
-2/3, 0.5, j
Let a = 35 + -32. Let i be (-3)/5*(-2)/(-6). Let l = 412 - 415. Sort -4, a, i, l.
-4, l, i, a
Let a = -228 + 4334/19. Let i = -0.9736 + -0.0264. Put 5, i, a, -4/9 in increasing order.
i, -4/9, a, 5
Suppose -4*l = 3*s - 31, -l - 58 = -14*s + 2*l. Let n = 3 + 2. Let a(i) = -2*i + 6. Let j be a(n). Sort j, s, 3 in increasing order.
j, 3, s
Let z = 2.93 + 0.97. Let r = -2.1 + z. Let t = 2.6 - r. Sort -2, 0.5, t in ascending order.
-2, 0.5, t
Let x = 40.33 - 40. Let n = -10.56 - 1.44. Let v = 11.7 + n. Put x, v, -1 in descending order.
x, v, -1
Let f = -4390 + 4391. Put -27, -5, -3, f in descending order.
f, -3, -5, -27
Let h = -17.77 + 17.57. Let v = -115 - -61. Sort v, -2, h in ascending order.
v, -2, h
Suppose 177*o = 18*o + 795. Put 2/5, 6, o, -5/3, 0 in descending order.
6, o, 2/5, 0, -5/3
Let a = -49.89 - 13.38. Let i = -64 - a. Let s = 2.97 - i. Put 1, -3, s in decreasing order.
s, 1, -3
Suppose -41*i + 239*i = -1782. Sort i, -175, 5.
-175, i, 5
Suppose -5*s = -2*y + 114, 0 = -5*s + 5*y - 31 - 74. Let o be (332/s + -4)/(-12). Let i = o + -10/9. Sort 4, 3, i, -3 in decreasing order.
4, 3, i, -3
Let t(w) = 834*w + 5016. Let b be t(-6). Sort 5, b, -3, 4, 2 in decreasing order.
b, 5, 4, 2, -3
Suppose 18*i + 526 - 2239 - 1437 = 0. Put 3, -2, i in increasing order.
-2, 3, i
Let y = 179/3 - 59. Let l = 349 - 348. Put l, 5, y in increasing order.
y, l, 5
Let x = 87.0291 + -0.0291. Let b = 118 - x. Sort b, -1/5, 2/7 in ascending order.
-1/5, 2/7, b
Let p = -0.05304 - -24.68304. Let n = -0.87 - p. Let y = n - -26. Sort 0.2, y, 4/5, -2 in decreasing order.
4/5, y, 0.2, -2
Let k = -2909 + 2908. Put 0.022, k, 2, 0.3, -5 in decreasing order.
2, 0.3, 0.022, k, -5
Let l be 960/(-640)*(-8)/3. Sort l, 0, 5, 330, -1 in descending order.
330, 5, l, 0, -1
Let h = 8.4217 - 8.2217. Let k = -0.32 - -0.02. Sort 5, -17, k, h in descending order.
5, h, k, -17
Let u be 9/10 + 2/(-2). Let d = -1278/29 - -11444/261. Let v be 64/(-28) - 2/(-7). Sort d, u, v.
v, d, u
Let c = -9.82 + 4.82. Let z = -2.86 + -0.14. Sort z, c, -1.
c, z, -1
Let s = -1231 + 1237. Put 5, s, 57, 2 in ascending order.
2, 5, s, 57
Let f = -91.71 + 91.81. Sort -0.1, 0.4, 17, 7, f in increasing order.
-0.1, f, 0.4, 7, 17
Let z = -449.6 - -450. Let h = 7.943 + 0.057. Let f = 0.7 - -0.3. Sort f, z, h, -3/7 in ascending order.
-3/7, z, f, h
Suppose -41996 = -4*n - 41980. Suppose d = 4*d - 15. Put d, -3, -1, n in decreasing order.
d, n, -1, -3
Let l = -2266.1 + 2266. Put -0.04, 5, -0.3, 0.11, l in descending order.
5, 0.11, -0.04, l, -0.3
Let u(q) be the third derivative of -q**6/120 - q**5/30 - q**4/2 + 13*q**3/6 - 2*q**2 - 10*q. Let t be u(4). Sort t, -3, -1.
t, -3, -1
Suppose -2*y - 8 = 2*y. Suppose -19*w - 600 = 101*w. Let s = -2 + 2. Sort s, 1, y, w in descending order.
1, s, y, w
Let f = 75118800 - 92020522994/1225. Let l = 144/25 - f. Sort l, 2/3, -5, 0.2 in descending order.
2/3, 0.2, l, -5
Let j be (-274)/(-5)*20/8. Suppose 21 = -130*c + j*c. Sort -5, -2, -8, c in descending order.
c, -2, -5, -8
Let p = 3 - 3.5. Let l = -226.9904 - -227. Let u = 1.0096 - l. Sort p, u, -2/5, 0.1 in increasing order.
p, -2/5, 0.1, u
Let k(t) = -3*t + 21. Let h be k(5). Suppose -h*f - 11 = 7. Put f, 9, 4 in descending order.
9, 4, f
Let h = -32548 + 32557. Put 1, 5, 14, h in increasing order.
1, 5, h, 14
Let f = 0.004 - 0.09. Let c = 0.126 + f. Let x = c + -0.04. Put x, -5, -8, 0.2 in decreasing order.
0.2, x, -5, -8
Let r = 37403 - 37405. Sort -5, r, 21, -39, -3 in decreasing order.
21, r, -3, -5, -39
Let a = 9155.1 + -9155. Sort -390, 0, a.
-390, 0, a
Let r = -0.0251 + 754.0251. Let f = r + -751. Sort -0.4, f, -0.1, -2.
-2, -0.4, -0.1, f
Suppose 143 - 2302 = 127*v. Sort 3, v, -7 in increasing order.
v, -7, 3
Let l be 81/(-63) + (-4)/(-14). Let j(k) = 12*k + 22. Let r be j(-2). Put r, 3/5, l in descending order.
3/5, l, r
Let n = -42 - -62. Let t be 6/15 + 0*(-5)/n. Let i = 0 - 2. Sort -2/13, -2/9, t, i.
i, -2/9, -2/13, t
Suppose 0*g = -4*g + 2*v + 16, g - 4 = 4*v. Suppose 2212*m - 47375 + 9245 = 23806. Sort m, 7, g in descending order.
m, 7, g
Let o = 0 + 1. Let i = 61413.3 - 61413. Sort -15, i, 1/5, o.
-15, 1/5, i, o
Let h = -2854.7 + 2855. Put 4, h, -2/13 in decreasing order.
4, h, -2/13
Suppose 0 = -4*v - t - 437, 0 = 3*v + 5*t - t + 344. Suppose -4*m = -u + 90, 350 = 5*u - m - 119. Let z = v + u. Sort -1, 5, z in descending order.
5, -1, z
Let i be (-3)/4*4/(-18). Let b = 568679 - 568674. Put b, 4/3, i in increasing order.
i, 4/3, b
Suppose 5*q + 4 = 42*s - 43*s, 0 = -s + 3*q - 4. Let j be 0 + (5 + -3)*-1. Sort j, 6, s, 5 in ascending order.
s, j, 5, 6
Let n = 6553 + -6550. Put 1, n, 5, 97 in decreasing orde