 -a. Let c = -3 + -1. Let s be -303 + 294 - (-1 + -1). Sort a, s, c in decreasing order.
a, c, s
Suppose 3*h = -5*x + 53, 0 = h - 5*h + 4. Put 0.7, -2, x in decreasing order.
x, 0.7, -2
Let g = 2733 - 2737. Sort g, -0.5, -3 in descending order.
-0.5, -3, g
Suppose 63*s - 58*s = -5. Sort 4, s, -14.
-14, s, 4
Let a = -38 + 37. Let d = -0.16 + -2.84. Let p = -3.08 - d. Put p, a, -0.5 in descending order.
p, -0.5, a
Suppose -5 = -2*p - 3. Suppose -4*v + 28 = 4*u, 2*v - 15 - p = -3*u. Suppose 3*y + 5*r = 6*y - 4, 0 = -v*y - 2*r + 17. Put y, -5, 4 in increasing order.
-5, y, 4
Let a = -454.91 + 455. Let v = 0.6 + -1. Put 3, a, v in increasing order.
v, a, 3
Let k(p) = -p - 4. Let s be k(-6). Suppose -3*i = -2 - 10. Suppose 0 = -3*v - 0*o + 3*o - 30, o = i*v + 25. Sort -1, v, s.
v, -1, s
Suppose 7 + 1 = f. Let w be 1/f*2*1. Let n = 28/101 - -62/505. Sort n, w, -5 in ascending order.
-5, w, n
Suppose -2*h + 4*h = 0. Suppose -8*j + 10 + 22 = h. Sort -4, j, -25 in descending order.
j, -4, -25
Let x(u) = -u**3 - 13*u**2 + 30*u + 4. Let p be x(-15). Sort 1, p, -1, -6 in ascending order.
-6, -1, 1, p
Suppose 3*j = -0*j - 3. Let z = -9 + 2. Sort z, 1, j.
z, j, 1
Let j be (-1)/(-7) + 40/14. Suppose -12 = j*s, 3*s = -4*o + 2*o. Let d be 3/(-6)*(o + 0). Put 1, -2, d in increasing order.
d, -2, 1
Let w = -14 + 16. Suppose 0 = -w*z + 5*u - 10, 3 - 25 = -2*z - 3*u. Put 2, z, -3 in increasing order.
-3, 2, z
Let r = 8 - 36. Let g = -11 - r. Let s = g - 22. Sort -2, s, -0.1 in ascending order.
s, -2, -0.1
Let z(f) = -f**2 - 6*f - 8. Let m be z(-6). Let a be 15 - 12 - 5/1. Sort a, -3, m in descending order.
a, -3, m
Let j be ((-8)/15)/(10/(-15)). Let t = -67.4 - -67. Put j, t, 1/5 in increasing order.
t, 1/5, j
Suppose 4*v - 21 = 5*y, 0 = -v + 7*y - 8*y - 6. Put 6, 2, v in ascending order.
v, 2, 6
Let p = -161 - -177. Sort 4, 0, p, 5 in decreasing order.
p, 5, 4, 0
Let v = -0.1 - -3.1. Let j = -0.8 + 0.5. Put 0.4, j, v in decreasing order.
v, 0.4, j
Let u be 1090/30 - 1/3. Let r = u + -31. Suppose 1 = -5*q + 11. Put q, 3, r in increasing order.
q, 3, r
Let h(g) = -2*g**2 - 34*g + 1. Let d be h(-17). Let o be (-15)/9 + d - 84/(-18). Let l(n) = 2*n - 5. Let b be l(5). Put -4, b, o in decreasing order.
b, o, -4
Let b(v) = -v**3 + v**2. Let u be b(0). Suppose -8*m - 6 + 102 = 0. Suppose 3*t + 3 + m = u. Sort -4, -2, t.
t, -4, -2
Let m = 2763 - 2763.04. Let u = -3 + 4. Sort 0.5, m, u.
m, 0.5, u
Suppose -5*n + 4*r = 32, 0 = n - 5*r + 14 + 5. Let d be (-4)/(-1 - n/(-12)). Suppose 7*m = d*m - 12. Sort 3, m, -4/5.
m, -4/5, 3
Let i = -1.52 + 0.22. Let f = i + 1.7. Sort -2, f, 2 in increasing order.
-2, f, 2
Let v = 23.974 - -0.026. Let k = 545 + -568.9. Let i = v + k. Put i, -1/4, 6 in decreasing order.
6, i, -1/4
Let m = 1840 + -1807. Sort m, -13, -1 in decreasing order.
m, -1, -13
Let y = -157.9 - -159. Let p = -48 - -50.1. Let c = p - y. Sort c, -3, 0.3.
-3, 0.3, c
Let w = -0.7 + -0.3. Let k = -87 + 88. Sort 17, k, w, -1/5 in descending order.
17, k, -1/5, w
Let d(x) = x**2 - 5*x - 3. Let p be d(5). Let a(k) = -2*k**2 - 163 + 59 - 3*k + 53 + 55. Let j be a(p). Sort j, -2, 5 in increasing order.
j, -2, 5
Let g = -19 - -35/2. Sort g, -1, -46 in increasing order.
-46, g, -1
Let k = 45 + -42. Suppose 2*z - 5 = -k. Put 0, z, 7 in decreasing order.
7, z, 0
Let f = -640.3 + 640. Let d = 11 - 10.7. Sort -2, -4, d, f in ascending order.
-4, -2, f, d
Suppose 4*p = -4, 0 = 4*j - 4*p + p - 7. Let y(o) = 76*o - 534. Let c be y(7). Sort j, 10, c, -3 in decreasing order.
10, j, c, -3
Let g = 0.234 + -2.234. Let b = 880/323 + -54/19. Put b, -2/5, g in descending order.
b, -2/5, g
Let g = 257 + -217. Sort -2/3, g, 2 in ascending order.
-2/3, 2, g
Let m = 0.105 + -5.105. Sort m, 4, -3, 6 in increasing order.
m, -3, 4, 6
Let h(t) = t**3 - t**2 + t + 99. Let a be h(0). Let n be (-2)/(-9) - 4/a. Sort 0.5, n, -1 in decreasing order.
0.5, n, -1
Suppose 21*m = 16*m + 15. Let t(a) = -a + 5. Let n be t(m). Let l be 2*(-3*1 - -2). Sort l, -5, n in ascending order.
-5, l, n
Let k = -34.6 - -35. Let n = -75 + 147/2. Sort n, k, 5 in decreasing order.
5, k, n
Let i(d) = -d**3 - 12*d**2 + 12*d - 16. Let c be i(-13). Sort c, 0, 4 in increasing order.
c, 0, 4
Let v be (3 - 3)*(-8)/(-72). Sort -14, 4, v, -2 in decreasing order.
4, v, -2, -14
Let z(a) = a**3 + 11*a**2 + 71*a + 210. Let m be z(-5). Suppose -2*n + 0*n = -22. Suppose -n = -3*u + 2*u. Sort m, u, -1 in ascending order.
-1, m, u
Suppose 28*s + 186 = -3*s. Put -5, 2, s in descending order.
2, -5, s
Let v = -1240 + 1856. Let l be (-24)/v - 2/(-11). Sort -0.13, -4, l in decreasing order.
l, -0.13, -4
Suppose 10 - 18 = 2*m. Put 0, -7, m in descending order.
0, m, -7
Let f be ((-58)/(-5))/((-6)/(-15)). Put 2/9, f, 0.5 in increasing order.
2/9, 0.5, f
Let a(p) = p**2 + 3*p - 2. Let u be a(0). Sort u, -4, -36.
-36, -4, u
Let a be (-1287)/7371 + 2/7. Sort 0.9, -0.6, -0.1, a.
-0.6, -0.1, a, 0.9
Suppose 4*o - 2*o - 20 = -2*s, -2*s + 14 = 5*o. Let z(t) = 7*t + 7. Let f be z(-1). Put f, -3, 2, s in descending order.
s, 2, f, -3
Suppose -2*n + 9*l = 5*l - 20, l = 4. Suppose 5*p - 16 - 79 = 0. Let x = n - p. Put 3, x, -5 in descending order.
3, x, -5
Let x be (-1)/((-14)/(-6) + -2). Suppose -12*f = -1509 + 1521. Put x, 5, f, -5 in descending order.
5, f, x, -5
Let k = -12962.446 + 12977. Let w = k - 0.154. Let y = w + -14. Sort 0.5, 0.13, y in decreasing order.
0.5, y, 0.13
Let t be 4/(-6)*81/18. Suppose 2*s = -3*y - 41, 0*s = -4*y + 3*s - 32. Sort t, 3, y.
y, t, 3
Let x = 6185.61 + -6213. Let b = x - 0.61. Let m = 27 + b. Put m, 3, -1/3 in decreasing order.
3, -1/3, m
Let m(a) = a**2 + a - 1. Let o be (-3 - (-3 - -3)) + 0. Let s be m(o). Let i = -23 - -21. Put s, i, 4 in ascending order.
i, 4, s
Let t = -1737 + 1733. Put -2/3, -0.3, t, -17 in decreasing order.
-0.3, -2/3, t, -17
Let o = -31 - -23. Let u be (-22)/o - (33/12 + -2). Put -1, 3, u, -5 in descending order.
3, u, -1, -5
Suppose 5*g + 18 = -0*l - 3*l, 3*l = g + 18. Let j be -3 - (g/4)/3. Let c(b) = b**3 - 4*b**2 + 4. Let v be c(3). Sort -3, v, j in decreasing order.
j, -3, v
Let r = 3 - 4. Let o = -8.26 - -8.16. Put 1/3, r, 1, o in descending order.
1, 1/3, o, r
Suppose -14*j = -10*j - 12. Suppose 0 = 4*b + 5*k + 2, 9*k = -5*b + 4*k. Suppose 5*m + b - 22 = 0. Sort -8, j, m in decreasing order.
m, j, -8
Suppose 0 = 2*h + 2*h - 44. Suppose h = -12*s - 25. Let x = 8 + -6. Put 3, x, s in descending order.
3, x, s
Let s = -832 + 813. Sort 3/5, 3, s in increasing order.
s, 3/5, 3
Suppose -7*k + 3*k + m = 292, -3*k + 4*m - 232 = 0. Sort k, -3, -4.
k, -4, -3
Suppose 5*v = v - 20. Put 5, v, -3, 16 in increasing order.
v, -3, 5, 16
Let x = -0.448 + -0.052. Let v(q) = -3*q**3 - q**2 - q + 1. Let s be v(1). Let t(o) = o**3 + 4*o**2 + o + 2. Let r be t(s). Put 0.2, r, x in descending order.
0.2, x, r
Suppose 0 = -4*r + 33*r - 116. Suppose -3*b + 2 + 7 = 0. Suppose 0 = -b*z - 3*s, z + 4*s - 4 = 5*s. Put r, z, -5 in descending order.
r, z, -5
Let g = 553 - 558. Sort -4.3, g, 0.4, 9 in decreasing order.
9, 0.4, -4.3, g
Suppose -7 = 4*p + 3*g, -3*g + 4 - 17 = p. Put p, -5, 10, 5 in increasing order.
-5, p, 5, 10
Suppose 0 = -5*d - 89 + 109. Let k be (1/(-2)*-62)/9. Let o = 101/45 - k. Sort o, d, 1/4 in descending order.
d, 1/4, o
Let r = -0.0055 - -0.0355. Sort 0.5, 3/4, r, -13 in ascending order.
-13, r, 0.5, 3/4
Suppose -2 = 8*f - 6*f + 2*a, -5 = -f + a. Sort -4, -80, 7, f in increasing order.
-80, -4, f, 7
Suppose 2*g - 3 = 3. Let p = -99 - -115. Suppose p = o - 9*o. Put g, 5, o in ascending order.
o, g, 5
Suppose 0*x = 5*x. Suppose 3*z - 5*r - 28 = x, -5*z + 2*r + 7 = -27. Suppose -69*v = 112 + 164. Sort 5, z, v in ascending order.
v, 5, z
Suppose -34 = -3*b + 326. Let w = 121 - b. Sort 20, 4, 3, w in decreasing order.
20, 4, 3, w
Let w = -16 + 18. Suppose -2*l - w*u - 2 = 0, 0*l + 3*l - 4*u = 4. Suppose 2 = b + 3. Sort l, b, 3 in increasing order.
b, l, 3
Let f be 3 + (-5)/(175/95). Let j = 0.084 + 3.616. Let o = -1.3 - j. Put -3/5, f, o in increasing order.
o, -3/5, f
Suppose 805*d + 36 = 769*d. Suppose -5*r = -1 - 4. Sort r, -5, d, -4 in decreasing order.
r, d, -4, -5
Let k = -1090 - -1089. Let o = 13/28 - 5/7. Sort k, 5, o.
k, o, 5
Let p = -207 - -193.2. Sort 2/9, p, 4.
p, 2/9, 4
Suppose -s + 8 = r, -3*s 