2*u = -2*u + 12. Let x be 3 - -6 - 9/u. Suppose 10 - x = -y. Sort -1, 4, y in decreasing order.
4, -1, y
Let a = -86 - -86. Let g(s) = s**2 + 14*s + 15. Let f be g(-13). Put a, f, 7 in decreasing order.
7, f, a
Suppose -73 - 5 = -26*w. Sort -2, 60, w, 5 in increasing order.
-2, w, 5, 60
Suppose -6 = 2*d - 5*d. Suppose 0 = 31*z - 37*z - 24. Put -5, 5, d, z in increasing order.
-5, z, d, 5
Suppose 0*a + 2*a + 4*j + 8 = 0, 4 = -4*a - 2*j. Suppose -58 = -2*z - 54. Sort z, -1, a in decreasing order.
z, a, -1
Let d = 10 - 10. Suppose 5*p - 16 = -1. Suppose 5*a - 9 = 4*c, -5*c + 23 = -3*c + p*a. Put -2/19, c, d in increasing order.
-2/19, d, c
Let g be ((-9)/(-3))/9 - -1. Let k be 30/45 + 44/6. Suppose -u = -3*o - k + 3, 0 = 2*u + o + 11. Sort u, g, 0.4 in descending order.
g, 0.4, u
Let o be 5/(-9 + 4)*(-1 + 3). Suppose 5*d - 5*m = -35, -m + 1 = -1. Sort o, d, 0.
d, o, 0
Let l be ((360/16)/5)/(6/(-2)). Sort 0.4, 0, -0.2, l.
l, -0.2, 0, 0.4
Let z(d) = 2*d**3 - 15*d**2 + 20*d - 7. Let k be z(6). Let w = 6 + -6.04. Put w, -2, k in descending order.
k, w, -2
Let c = -0.38 + 12.18. Let y = 12 - c. Let o = y + 2.8. Put 4/3, -6, o in ascending order.
-6, 4/3, o
Let d = 15 - 14. Let b be (d - (2 + 2)) + 2. Sort 5, 2, b in increasing order.
b, 2, 5
Let l = 247 - 151. Let r = 96.1 - l. Put 2/7, 1, r, -0.1 in decreasing order.
1, 2/7, r, -0.1
Suppose 3*g = -z, -g = 2*g. Sort z, 25, 2 in decreasing order.
25, 2, z
Let s be 2*(4 - 7)/6. Let q be ((-6)/5)/((-14)/(-35)). Sort s, 3, q.
q, s, 3
Suppose 3*s = s - u - 8, 0 = 3*s + u + 11. Let h be (1*s/(-45))/(20/25). Sort 1/2, h, -2 in increasing order.
-2, h, 1/2
Let g = -32331.4 + 32331. Let x be (-10)/3 - (-2)/6. Sort -0.11, x, g in descending order.
-0.11, g, x
Let k = -0.322 - -0.222. Put -5, -0.5, 0, k in decreasing order.
0, k, -0.5, -5
Suppose 5*r + 12 = r. Let l be (r/18)/((-1)/2). Sort -1/2, l, -1/4 in increasing order.
-1/2, -1/4, l
Let n = -455 - -481. Sort 2, n, -1 in decreasing order.
n, 2, -1
Let u = 2347856 - 2970037324/1265. Let m = u - 2/253. Sort -0.1, m, 3/4.
-0.1, m, 3/4
Let l(i) = -i**3 + 8*i**2 - 5*i + 10. Let u be l(7). Let r = u - 21. Sort 4, 1, r in ascending order.
1, r, 4
Let o = -2227/5896 + 2/737. Let g = 58 + -41. Let b = -17.4 + g. Put o, -2, b in increasing order.
-2, b, o
Let d = 27 + -18. Let v be d/3 - (0 - -1). Suppose v*a + 24 = 7*p - 3*p, 0 = -3*a - p - 1. Sort a, 1, -0.2 in ascending order.
a, -0.2, 1
Let m = 6.7 - 8.7. Let z(v) = -2*v + 3. Let f(l) = -l - 1. Let s be f(-3). Let k be z(s). Put m, 2, k in descending order.
2, k, m
Let p(h) = -h**2 + 10*h + 13. Let j be p(13). Let v = -132/5 - j. Suppose 3*n + 2 = -1. Put n, v, -2 in increasing order.
-2, n, v
Let s = -62.8 + 63.8. Put -4, s, 6, 2/67 in decreasing order.
6, s, 2/67, -4
Suppose 2*j + h - 13 = -23, j + 2*h = -5. Suppose 0*s - 4 = s. Sort s, j, 3.
j, s, 3
Suppose -4*m = -5*v - 5*m + 15, 0 = 4*v + 3*m - 1. Suppose v*b + 6 - 18 = 0. Suppose 1 = -u + b. Sort u, 3, -3.
-3, u, 3
Let c = -5 - -6. Let b be 3/(-39)*(c - -1). Let y = -0.3 + 0.1. Put b, 0.6, y in ascending order.
y, b, 0.6
Let h = -9.13 - -4.13. Put -4, -10, h in ascending order.
-10, h, -4
Let c = 198 + -197. Sort -4, c, 2, -35 in descending order.
2, c, -4, -35
Let v = 33 - 28. Let j = 5 + -9. Sort j, v, 1, -1.
j, -1, 1, v
Let j(b) = -13*b + 48. Let s be j(4). Let z = 8 - 5. Suppose c = z*c - 10. Put s, c, 3 in decreasing order.
c, 3, s
Suppose 49 = -4*f + 5*a, 2*f = 4*f - 3*a + 27. Sort f, 1, -4 in ascending order.
f, -4, 1
Let q be (-30)/(-75)*(-30)/72. Sort -1, q, 24 in descending order.
24, q, -1
Let w = -5 - -10. Let d = 1945 + -1944.5. Put -3, w, 4, d in increasing order.
-3, d, 4, w
Suppose 5*f + 10 = -3*m, -2*f = -f - 1. Let b be (48/(-20))/3*m. Put b, 8, -2 in decreasing order.
8, b, -2
Suppose j = -m + 2*m + 10, -3*m - 25 = -2*j. Suppose 23 = -j*s - 7. Put 2, -0.4, s in ascending order.
s, -0.4, 2
Let t = -1/29493 + -2329907/1179720. Let i = -11/8 - t. Sort 3/4, i, 1/8, 3/7.
1/8, 3/7, i, 3/4
Suppose -4*c - 4 = 0, -1535 = 5*w + 4*c - 181. Let l be (-78)/w + 2/(-5). Let a be (2/30)/((-8)/(-24)). Sort a, l, -0.1 in ascending order.
l, -0.1, a
Let p = -392.8 + 393. Sort -2/7, p, -16, 0.5.
-16, -2/7, p, 0.5
Let w = 340 - 338. Put w, 2/279, 0.2 in increasing order.
2/279, 0.2, w
Let w = 20 - 18. Suppose 0 = w*u + 3*u - 20. Suppose -2 = b - d + 4, -8 = -u*d. Put 3, 4, b in decreasing order.
4, 3, b
Let b be (-80)/(-45) - (-4)/18. Let d = -258 - -258.3. Put d, -1, b in descending order.
b, d, -1
Let i = 5.39 + -5.5. Let p = i + 0.31. Sort -8, p, 2/3, -2/11 in ascending order.
-8, -2/11, p, 2/3
Let h = -310.6 + 311. Let l be (-4)/(-14)*(-7)/3. Sort 13, h, l, -1/7 in increasing order.
l, -1/7, h, 13
Suppose 0*n - n = 2*c - 7, -c = -2*n + 4. Suppose -13*h + 8*h = 50. Let q = -12 - h. Sort c, q, 0.2 in descending order.
c, 0.2, q
Let f = 70 + -69. Suppose 2*l = c + 1, 6*c - 18 = 2*c - 3*l. Sort f, c, -7 in descending order.
c, f, -7
Let q = 61/140 + -3/20. Let c = 9.834 + -0.134. Let t = c - 10. Put q, t, -2 in descending order.
q, t, -2
Let x be (837/336 - 2) + (-9)/18. Put -5, x, -0.5, 2 in descending order.
2, x, -0.5, -5
Let n = 19 + -18.7. Let f be (10971/33)/(-3) - 2. Let l = -113 - f. Sort n, -0.5, l in descending order.
n, l, -0.5
Let u(y) = -21*y**3 - 4*y**2 - y + 4. Let w be u(1). Sort 1, w, -2, 4 in ascending order.
w, -2, 1, 4
Suppose -124 + 128 = -4*x. Put -5, 1, -12, x in increasing order.
-12, -5, x, 1
Suppose 127 = 8*o - 89. Put -5, 0.5, o, 1 in descending order.
o, 1, 0.5, -5
Let k = 35 + -26. Let v be (-20)/6*k/(-15). Suppose 0 = y + v - 0. Put 4, -3, y in decreasing order.
4, y, -3
Suppose 0*k = k - 4. Suppose 2*x + f + 3*f = 24, 5*x = -5*f + 40. Suppose 0*l + x = -4*l. Sort 0.4, k, l in increasing order.
l, 0.4, k
Let v(y) = -3*y**2 + 12*y - 6. Let j be v(3). Let x = 0.062 - 40.062. Sort 5, j, x in descending order.
5, j, x
Let r = 108.9 - 118.9. Put r, 3, -2/29 in increasing order.
r, -2/29, 3
Suppose -2*j = -6*j - 20. Let i = -145/3927 + -2/187. Sort j, i, 0.1 in ascending order.
j, i, 0.1
Let c(k) = k. Let o be c(2). Suppose -23 = -5*u - 4*j, 5*j - o*j = -3*u + 15. Let r be ((-1)/(-7))/(3/(-6)). Sort u, r, 0.4 in descending order.
u, 0.4, r
Suppose -7*r = -3*r - 84. Let f be -1*(-7)/(r/(-6)). Let t = 0.4 - 0.1. Put f, t, -0.4 in increasing order.
f, -0.4, t
Let f = -158.91 + 158. Let d = 0.9 + f. Let u = d + -0.29. Sort u, -3, -1 in decreasing order.
u, -1, -3
Let u = -12 + 11.3. Let p = u + 3.81. Let t = p - 0.11. Sort 3/2, t, 1/13.
1/13, 3/2, t
Let i = -1156 - -1157.9. Put -0.03, -0.2, i in descending order.
i, -0.03, -0.2
Suppose -2*q - 228 = -2*g, 4*g - 156*q + 161*q - 474 = 0. Put 1, g, 5, -1 in descending order.
g, 5, 1, -1
Let b be (0 + -2)/((-2)/9). Let f = b - 3. Suppose -2*h = -f*h. Put 3/5, h, 2/11 in decreasing order.
3/5, 2/11, h
Let c(k) = k**2 + 7*k - 13. Let v be c(-9). Suppose v*f = 10*f + 20. Let n be 16/(-3) - (-3)/9. Sort -2, n, f in decreasing order.
-2, f, n
Suppose s - 4*f - 16 = 0, 2*f = s - 3*f - 18. Let z = 3/70 + -23/70. Sort z, s, -2/15 in descending order.
s, -2/15, z
Let t be 2*(-6)/8*2. Let q be t/2 - (-174)/12. Suppose 3*b = 2*c - 5, 4*b - q = -33. Sort -1, c, -0.1.
c, -1, -0.1
Let m be ((-4)/(-8))/((-2)/16). Suppose -1 = -3*g - 5*w, g = 5*g + 3*w + 6. Let n = -2 + 4. Sort n, m, g.
m, g, n
Suppose -11*v + 2 = 35. Let p be (-14 + 14)/(2*9/(-6)). Sort 2, v, p, 4 in increasing order.
v, p, 2, 4
Let m = -11.2 + 0.2. Let x = m - -15. Put x, 6, 5 in decreasing order.
6, 5, x
Let w = 410 + -409. Sort 61, -1, -2, w in decreasing order.
61, w, -1, -2
Suppose -103*a = -22*a - 81. Sort 2, a, -5.
-5, a, 2
Let l(n) = -2*n**3 + 11*n**2 - 5*n - 4. Let r be l(5). Sort 29, r, -3 in descending order.
29, -3, r
Suppose 3*f + 3 = 12. Suppose 0 = -3*a - 3*o, -2*a - 3 = -f*a - 2*o. Sort 0, a, -4 in descending order.
0, a, -4
Let f = 0 + 0.2. Let s = -1002899 + 19048011/19. Let n = s + 372. Put -1/2, n, f in ascending order.
-1/2, n, f
Suppose 34*x = -34*x - 272. Put 0, x, 2, 4 in descending order.
4, 2, 0, x
Let q = -0.81 - -1.81. Sort -5, q, 9/2, -1 in decreasing order.
9/2, q, -1, -5
Let j = 5 - 13. Let z = j + 1. Let b be (1 - 27/21)/2. Sort z, b, 4/7 in decreasing order.
4/7, b, z
Let u = -286 - -309. Put u, 2, -5 in 