2. Put u, -3, -1 in decreasing order.
u, -1, -3
Suppose 0 = -5*s - 5*h, 3*h = -2*s - 0*h + 3. Let m = 0.06 + -0.46. Put s, 12, m in decreasing order.
12, m, s
Suppose -5*o + 4*n = -12, -2*o - n = 3*o - 22. Sort 2, -3, 39, o.
-3, 2, o, 39
Let y be (-203)/232*8/12*6. Sort 2, y, -4.
-4, y, 2
Let k(a) = a**2 - a - 4. Let s be k(-2). Let c(g) = -6*g - 267. Let b be c(-44). Put s, 5, b, -2 in descending order.
5, s, -2, b
Suppose 0 = -o + 3*o - 58. Suppose -o = 2*f - 7*f + 4*g, 14 = 3*f + g. Let x be 250/600*4/(-10). Put x, f, 3 in ascending order.
x, 3, f
Let c(w) = w**2 - 6*w - 2. Let t be c(6). Suppose 3*n + 1 = -4*f, 13 = -5*f + 3*f + n. Let z be -1*-2*(-2)/f. Put 0, z, t in increasing order.
t, 0, z
Let q(x) = -19*x + 18. Let r be q(1). Put r, 0, -67 in ascending order.
-67, r, 0
Let x(h) = h**2 - 15*h + 6. Let u be x(15). Let z be 88/(-24) - (-4)/u. Sort 4, z, 3, -4 in increasing order.
-4, z, 3, 4
Let q be (-4)/(-18) + 43/9. Let u = 436 + -433. Sort 2, u, q in descending order.
q, u, 2
Let k be (4 - (-105)/(-14))/((-4)/(-8)). Suppose 0 = 4*z - z + 12. Put z, k, 0 in descending order.
0, z, k
Suppose 5*i - 4 = 4*i. Sort i, 214, 5 in descending order.
214, 5, i
Let m = -190 - -53. Let d = 141 + m. Sort -1, -10, d in decreasing order.
d, -1, -10
Let i = -10.7 - -11. Let c be 4/(-8)*10/1. Let f be c*3/(-6)*2. Sort i, f, -0.1 in ascending order.
-0.1, i, f
Let d(q) = -2*q - 4. Let b(i) = -i**3 - 4*i**2 - i. Let l be b(-4). Suppose 0 = u + l*u + 20. Let s be d(u). Sort 3, s, -5 in descending order.
s, 3, -5
Let c = 1.5 - 1.261. Let k = c - -0.061. Sort k, 2/7, -1/4.
-1/4, 2/7, k
Let h be ((1 - -6) + -9)*1. Sort -1, 1, -21, h in increasing order.
-21, h, -1, 1
Let u(l) = l**2 + 7*l - 42. Let c be u(4). Let v = -8 - -11. Sort 5, 1, c, v in ascending order.
1, c, v, 5
Let u = 159/572 - 19/44. Put 17, 0.2, u, -2/5 in increasing order.
-2/5, u, 0.2, 17
Let w(t) = -t**2 + 8*t + 3. Let r be w(0). Let x(d) = d - 1. Let q be x(-4). Sort -3, r, q in ascending order.
q, -3, r
Suppose -2 + 7 = k. Let r(z) = -2*z**2 - 14*z + 14. Let t be r(1). Sort t, k, 2.
t, 2, k
Let u be 6/18*(0 + 3)*4. Sort 3, u, -5, 5.
-5, 3, u, 5
Let x = 258 - 257. Put x, 4, 5, 11 in ascending order.
x, 4, 5, 11
Let z be 114*5*3/30. Let s be (-19)/z*3*3. Let m be (-1*2)/(-2 + 4). Put m, s, 1 in ascending order.
s, m, 1
Let k = -70 - -73. Let c be -3 + -9*k/(-9). Sort 2, c, 18 in decreasing order.
18, 2, c
Suppose -69 - 1 = -35*n. Put -5, 3, 5, n in decreasing order.
5, 3, n, -5
Let t(j) = j. Let v be t(1). Let r = -6774 - -6772. Let k = 3 - 2.8. Put r, v, k in descending order.
v, k, r
Let w = -94 + 97. Let d be 18/6 - (-3 + w/3). Sort 2, 3, d, -4 in increasing order.
-4, 2, 3, d
Let a(k) = 4*k**2 + 5. Let b be a(0). Sort 0.2, 45, b, 1/2 in decreasing order.
45, b, 1/2, 0.2
Let z be ((-8)/6)/(2/6). Let g(a) = -a**2 + 382*a + 4. Let o be g(0). Put 0, 2, z, o in ascending order.
z, 0, 2, o
Let y be 4/6 - (-2)/(-3). Suppose -4*b + b + 8 = 5*w, 5*w = 5*b. Suppose -u = 2*c, 2*c + 18*u - 23*u + 12 = 0. Sort b, y, c in descending order.
b, y, c
Let p = 4422/7 + -632. Sort -0.97, 3, p.
-0.97, p, 3
Let y = 0.357 + -1.357. Sort 0, -0.24, y in increasing order.
y, -0.24, 0
Suppose -n + 6 = -0. Let y be 6 - 6/(n/3). Let f be ((-10)/y)/((-8)/(-12)). Sort 0, 5, f in descending order.
5, 0, f
Let p be 1*(-3 - (1 - 2)). Let z(u) = u + 4. Let k be z(0). Sort k, 0, p.
p, 0, k
Let f = -424 - -422. Sort f, -0.4, -2/29 in decreasing order.
-2/29, -0.4, f
Let l = 12 + -27. Let d be (18/l)/(6/15). Sort -1/4, 0.2, d, 7 in descending order.
7, 0.2, -1/4, d
Let c(l) = -l - 6. Let z be c(-4). Suppose -v + 0*v + 4*y + 7 = 0, 4*v = -y + 11. Sort 0, 1, z, v in ascending order.
z, 0, 1, v
Let t = 593/115 + -114/23. Put 0, t, -0.2, -12 in increasing order.
-12, -0.2, 0, t
Let n = -11 + -23. Let c = n - -36. Sort 3, -9, c.
-9, c, 3
Let h = -78 - -78.2. Let d = 185/7 - 170/7. Put d, h, -2/7 in ascending order.
-2/7, h, d
Suppose 3*n + 2*n + 10 = 0. Let j = -3117 - -3112. Sort j, 3, 5, n.
j, n, 3, 5
Let o = 1.2 + -1.1. Let s = o - -0.4. Let w = 67 + -64. Sort s, w, 0.1 in decreasing order.
w, s, 0.1
Let t be 1/(-2)*(-8 + 44/6). Put t, -1/5, 3 in descending order.
3, t, -1/5
Suppose -3*n + q + 43 = 3*q, 0 = 2*n + q - 28. Suppose 0*g - 3*g = 54. Let s = n + g. Sort 10, s, 5.
s, 5, 10
Let h = 14.67 + -14.67. Put -2/11, 2/37, h in decreasing order.
2/37, h, -2/11
Let o(s) = -s**2 + 5*s - 2. Let t be o(2). Suppose -t*n = 12, -y - 4*n - 18 + 4 = 0. Sort -1, 3, y, 5 in descending order.
5, 3, -1, y
Let d = 2806 - 1682. Suppose 4*u + 4*l - 1124 = 5*l, 4*u = 5*l + d. Let w = u - 4779/17. Sort 1/3, w, 3 in ascending order.
w, 1/3, 3
Let x = -176 - -182. Sort -2, 3, -3/2, x in descending order.
x, 3, -3/2, -2
Let l = 0 - 2. Let f = 50107/6834 + 3/2278. Sort -1, f, l, -1/5 in decreasing order.
f, -1/5, -1, l
Let l be (-2)/(-5) + (-156)/(-60). Suppose -u = -l*u + 4. Put u, 0.5, 0.01 in decreasing order.
u, 0.5, 0.01
Let z = 541.28 - 527. Let u = z - 0.28. Let f = u - 13.7. Put f, -1, 0.2 in descending order.
f, 0.2, -1
Let l = -3151 - -9551/3. Let d = l + -1268/39. Put -3, -5, d in increasing order.
-5, -3, d
Let n = -445 - -449. Put 0, 3, -5, n in increasing order.
-5, 0, 3, n
Let f = -1831.87 - -1832. Sort 4, f, -3 in descending order.
4, f, -3
Suppose -4*m + 289 = 73. Sort m, -0.5, -2/9 in increasing order.
-0.5, -2/9, m
Let d be 3 + ((-30)/(-9) - 2). Let m = d + -5. Let r = 17.2 - 17. Sort m, -0.1, r in decreasing order.
r, -0.1, m
Let t = -217 - -221. Sort t, -3, -14 in increasing order.
-14, -3, t
Let g = -1023 - -1027. Let j = 22 + -27. Put 1, g, -4, j in descending order.
g, 1, -4, j
Suppose 283*l = 270*l - 65. Let q be 6/(-21) - 328/28. Let w = q - -8. Put w, l, 0 in descending order.
0, w, l
Let h = -21.18 - -21. Let b = 0.535 - 0.255. Let m = b + h. Sort 0.2, -1, m in ascending order.
-1, m, 0.2
Let a = 3/278 + 529/2502. Put -6/7, -12, 1, a in decreasing order.
1, a, -6/7, -12
Suppose 2 = -2*n + 4*r, n - 2*r + r = 0. Sort -3, n, 7.
-3, n, 7
Let s be 4*(-3)/(-18)*(-210)/(-490). Sort -3, 0, -27, s in descending order.
s, 0, -3, -27
Suppose 0 = 4*y - 6*y + 4. Let o be (-28 + (0 - 2))*6/(-15). Sort o, -5, y.
-5, y, o
Suppose 20 = -z + 4*x, 2*x + 0*x = -5*z - 12. Let r(o) = -o**2 + 3*o - 1. Let v be r(4). Let k(h) = -5*h**2 - 22*h - 4. Let f be k(-4). Sort z, f, v.
v, z, f
Let k = 6/101 + 89/202. Sort 2/3, 0, -4, k.
-4, 0, k, 2/3
Let i = -2 + 4. Let s = -9 + 29. Let g = -19.96 + s. Sort g, i, -0.4 in ascending order.
-0.4, g, i
Let f be (186/12)/((-1)/(-2)). Let o = 61/2 - f. Sort 4, o, -2/7 in descending order.
4, -2/7, o
Let n(h) = -h + 6. Let i be n(12). Sort -1, 3, i, 5 in increasing order.
i, -1, 3, 5
Let x(f) = f + 0*f - f**2 + 8*f + 2*f - 20. Let q be x(9). Let t = -263/3 + 90. Sort t, q, -3 in decreasing order.
t, q, -3
Let s be (4/8)/((-24)/16). Put -2, s, 5, -0.06 in increasing order.
-2, s, -0.06, 5
Suppose -66 = 2*o - 14*g + 18*g, -o = -g + 36. Let m = -4048/17 - -238. Put -3, m, o in ascending order.
o, -3, m
Suppose 28*y = -1011 - 613. Put -0.5, y, 0.4 in descending order.
0.4, -0.5, y
Let j = -6 - -33. Suppose 41 - 13 = 7*w. Put -1, -5, j, w in decreasing order.
j, w, -1, -5
Let b = -14.7 + 18. Let i = b - 3. Let h be 15/22 - (-2)/(-4). Sort h, -0.6, i in ascending order.
-0.6, h, i
Suppose -5*w - 5*g = -0 + 5, 2*w - 2*g + 10 = 0. Suppose n - 5*h + 18 = -3*n, 2*h = -n + 2. Let t be 6/(-4) - n/4. Sort t, 4, w in ascending order.
w, t, 4
Let u = 10 + -8. Suppose -u*r + 40 = 2*r. Let g = r - 11. Sort -5, g, 4 in descending order.
4, g, -5
Suppose 0 = -11*k + 116 - 336. Sort -0.4, -1/10, 0.2, k.
k, -0.4, -1/10, 0.2
Let f = -0.382 - -0.182. Sort f, 2, -0.3 in decreasing order.
2, f, -0.3
Suppose -3*z + 2*q - 3 = -21, 2*z + 2*q = 2. Sort z, -3, -2, -1.
-3, -2, -1, z
Let m = 17 - 17. Sort 16, 2, m, 5 in descending order.
16, 5, 2, m
Let o(t) = t**2 + 9*t - 8. Let x be o(-12). Sort 4, x, 1.
1, 4, x
Let x = -0.0161 - -0.5161. Sort 9, x, 3/2, 0.2.
0.2, x, 3/2, 9
Let y = 9 - 8.34. Let l = 0.26 - y. Put -0.2, 1/5, -3, l in descending order.
1/5, -0.2, l, -3
Suppose 0 = -p, -2 = -2*j - 5*p - 0. Suppose 19*s - 15 = 16*s. Sort 2, 0, s, j in increasing order.
0, j, 2, s
Suppose 0 = -4*c - 3 - 13. Let w(v) = v**3 - 5*v**2 + 4*