v, x = -2*v + 6. Suppose 3 = 2*p + 7. Put c, p, 5 in decreasing order.
5, c, p
Let t(f) = -3*f**3 + f**2 - 2*f - 2. Let o be t(3). Let j = o - -75. Put j, 1, 6 in increasing order.
j, 1, 6
Let r = -2.8 + 3. Let g be 312*(-1)/9*-3. Let w be (-38)/(-78) - 2/g*8. Sort w, r, 2.
r, w, 2
Let g(c) = -8*c - 25. Let a be g(-5). Suppose -a*r + 25 = -10*r. Sort r, 3, 1, 0 in descending order.
r, 3, 1, 0
Suppose z - 3 = 4*z. Let c = 3 + z. Suppose 17 + 3 = 5*w. Sort -5, w, c in descending order.
w, c, -5
Let t(q) = -13*q**2 + q. Let s be t(-1). Let m = -12 - s. Suppose m*w = -2*w + 4. Put 4, 5, w in descending order.
5, 4, w
Let h = -149.5 + 150. Let y = 1 - -1. Let l be y/(-9) + 150/189. Sort l, -1/5, h in decreasing order.
l, h, -1/5
Let o(a) = 6*a**3 - 27*a**2 + 13*a - 4. Let r be o(4). Sort 0.1, r, 3, 0.005 in descending order.
3, 0.1, 0.005, r
Let l = 10 - 15. Suppose 0 = -179*u + 181*u - 6, -y = 2*u - 16. Suppose 26 = -3*i + 2*i + 5*w, 0 = -5*i - 3*w + 10. Sort y, i, l.
l, i, y
Let q = 64 + -65. Put q, -1.4, -0.3 in ascending order.
-1.4, q, -0.3
Let s be (-10)/15 - (-17)/12. Let d = -4.4 + 8.4. Put d, s, 1, 2 in descending order.
d, 2, 1, s
Let z be (-1)/(1 + 20/(-16)). Suppose 13 = z*l + 1. Let o be (-6)/(-2) + 4/(-2). Sort -1, l, o.
-1, o, l
Suppose -2*j + 9 = 3*z, -2*j - z + 9 = 6. Sort j, 3, -217 in ascending order.
-217, j, 3
Let l = -1.08 + 1.08. Let w = 0.14 + -0.12. Put l, w, 2, 3 in descending order.
3, 2, w, l
Let u = -17481 - -86803/5. Let r = u + 121. Sort r, -0.3, -2 in descending order.
r, -0.3, -2
Suppose -5*m + l - 1 = -3*m, -3*l - 5 = -2*m. Let y be 3 + (3 - 4) - (-3 + 2). Sort -1, m, y, -5.
-5, m, -1, y
Let n be (-1)/((4/(-12))/1). Let v = 5.9 + -6.9. Put v, n, 4 in ascending order.
v, n, 4
Suppose l - 2 = 2*l. Let t be 12*(17 - 260/16). Sort -1, l, t in descending order.
t, -1, l
Let g be 1*(-2)/(-8)*(-1 + 5). Put -3, g, 3, -1 in ascending order.
-3, -1, g, 3
Let x = -147.2 + 76.6. Let v = 77 + x. Let d = -1.4 + v. Sort -1, -2, d in ascending order.
-2, -1, d
Suppose -5*m + 13*m - 45 = 3*z, z - 2*m + 13 = 0. Sort z, 3, -2, -4 in descending order.
3, -2, -4, z
Let y = -88 + 226. Let c = -688/5 + y. Let s = 0.8 - -0.2. Sort -4, c, s.
-4, c, s
Let o(z) = z**2 + z. Let q be o(1). Put 4, 3, q in decreasing order.
4, 3, q
Let b(z) = 2*z - 15. Let a = -14 - -24. Let q be b(a). Let s = 1 + -4. Sort s, 0, q.
s, 0, q
Let q = 1.6 - -0.4. Let b = 11 + -9. Suppose -7*w - 2*h + 17 = -b*w, 3*h + 6 = 3*w. Put -0.5, w, q in decreasing order.
w, q, -0.5
Suppose 6*b = 176 - 170. Put -54, b, 2 in ascending order.
-54, b, 2
Let z be (((-215)/(-25) - 4) + -6)*5. Let i = -19 + 14. Put z, i, 0 in descending order.
0, i, z
Let t = 391 - 388. Put 82, -2, t in descending order.
82, t, -2
Let y be (-46)/(-102) + (-14)/119. Let j = -1502/7 - -214. Put -5, j, y in decreasing order.
y, j, -5
Let u = -2 + 1. Suppose 142 = 4*y + 2*o, 2*y - 112 = -2*y + 4*o. Let c = y - 35. Sort c, 4, u in descending order.
4, u, c
Suppose -14 = 21*h - 19*h. Let m be 0/5 + (-6)/2. Sort h, m, 3.
h, m, 3
Let l = -0.8 - 0.2. Let g(z) = 3*z**3 + 2*z**2 + 2*z. Suppose 5*f = 2*d - 11, 0 = 4*f + d + 1. Let x be g(f). Put x, -2, l in descending order.
l, -2, x
Let w(m) = m**2 - 6*m - 6. Let f be w(7). Suppose f = -2*o + o. Suppose 0 = 50*i - 70*i - 140. Sort o, 0, i in ascending order.
i, o, 0
Suppose d = -2*y - 9, -4*y = 2*d - 8*y - 14. Suppose -18*o - 5 = -i - 21*o, 0 = 2*i - 4*o - 10. Put i, -4, d in decreasing order.
i, d, -4
Let a(m) = m**2 + 24*m - 83. Let t be a(-27). Let v = 20 + -24. Sort v, t, 11.
v, t, 11
Let v(m) = 5*m**2 + 21*m - 23. Let a be v(-5). Let j be 40/18 - 4/18. Let t = -3 - j. Put t, a, 3 in ascending order.
t, a, 3
Let v = 1026 + -1000. Let l = 78 + -47. Let d = l - v. Sort -0.1, d, 0.
-0.1, 0, d
Let w be (-11 - (-1060)/100)/((-16)/(-15)). Put w, 0.4, 0, -8 in descending order.
0.4, 0, w, -8
Let n(g) = -3*g. Let h be n(2). Let s be (18/(-12))/(h/(-8)). Sort 0, s, 13 in increasing order.
s, 0, 13
Let s = -80 - -82. Sort s, -1, -2, -4 in ascending order.
-4, -2, -1, s
Let f = 1892 - 1897. Let v = 3.1 + -3. Put f, -1/7, 8, v in descending order.
8, v, -1/7, f
Let u be 28/(8/12*-3). Let m = -31 - u. Sort m, -2, 0.5 in increasing order.
m, -2, 0.5
Let r = 3 + -3.5. Let d = 295/3 + -97. Let f = 221.6 + -221.6. Put d, r, f in ascending order.
r, f, d
Suppose -3*a + 3*v - 9 = 0, -4 = -7*v + 6*v. Sort -274, -2/13, 0, a in increasing order.
-274, -2/13, 0, a
Let v(f) = 3 + 4*f - 71*f**2 + 73*f**2 - 6*f**3 + 11*f**3. Let n be v(-1). Sort n, -1, -3, 5 in descending order.
5, -1, -3, n
Let t = -25 - -61. Let m be 4/(-6) + 78/t. Sort m, 5, 1, -2/3 in decreasing order.
5, m, 1, -2/3
Suppose -9*l - l + 30 = 0. Let n(h) = -2*h - 10. Let d(q) = -q**3 + 7*q**2 + 7*q + 1. Let s be d(8). Let f be n(s). Sort -10, l, f in decreasing order.
f, l, -10
Let o = 200.85 + -201. Put 1/2, o, -0.1 in increasing order.
o, -0.1, 1/2
Suppose 2*d - 6*d + 8 = 0. Suppose -d*t + 5*t = 2*i, -3*t = 3*i + 15. Sort 2, 3, i, -7 in descending order.
3, 2, i, -7
Let l = 249 - 238.7. Let b = -1.3 + l. Put -0.3, b, 0.3 in descending order.
b, 0.3, -0.3
Let f be (1/(-4))/(2/6). Let t = -9 + 20. Let v = t - 11.4. Put f, 3/2, v in decreasing order.
3/2, v, f
Let r = 22/35 + 6/35. Let v = 2 + -2.07. Let d = v - 0. Sort -0.3, r, d.
-0.3, d, r
Suppose 12*i + 10 = 13*i. Sort 1, 2, 4, i in ascending order.
1, 2, 4, i
Let f = -0.0007 + 0.1007. Put 2, -2/23, 0.03, f in ascending order.
-2/23, 0.03, f, 2
Let k(h) = 2 + 1 + 35*h - 20*h - 18*h. Let b be k(0). Suppose -d = 3*d. Sort b, d, -5.
-5, d, b
Let q(o) = o**3 - 7*o**2 + 3*o - 17. Let s be q(7). Suppose d = s*l - 1 - 8, 0 = -2*l + 3*d + 7. Sort -4, l, -1, -3 in increasing order.
-4, -3, -1, l
Let h = -611 - -606. Let f(p) = p**3 + 5*p**2 - 6*p + 5. Let a be f(-6). Put h, 4, a in descending order.
a, 4, h
Let h(d) = d**2 + 6*d + 5. Let u be h(-5). Suppose 2*x - 73 - 70 = 5*s, -405 = -5*x + 3*s. Let j = x - 79. Put -5, u, j in ascending order.
-5, u, j
Let j be 8 + -3 + (2 - 11). Sort -2, j, -3, 29.
j, -3, -2, 29
Let o = 83 - 72. Sort o, -2/77, 1.
-2/77, 1, o
Let g be 2*3/30 + (-46)/180. Suppose -a = 2*a + 4*d, -4*a - 2*d - 10 = 0. Sort 0.1, a, g in decreasing order.
0.1, g, a
Let h = 2563 + -2568. Sort h, -1/14, 3, 7 in increasing order.
h, -1/14, 3, 7
Let h = 13 - 16. Let m = h + -2. Let i = -128/3 - -42. Put i, m, 4 in decreasing order.
4, i, m
Let u = 24 - 42. Let o = u + 20. Let h = 105 - 89. Put 0, o, h in descending order.
h, o, 0
Let a = -12 - -6.8. Let k = a - -5. Put 2/19, 0.4, k in descending order.
0.4, 2/19, k
Suppose 7*l + l = 248. Let c = -27 + l. Let n be 10/25*(-5)/c. Sort n, 7, 0 in ascending order.
n, 0, 7
Let j(z) = z**2 + 7*z + 8. Let l be j(-6). Let t be 7/(-1) - -1*l. Let f = 519 - 516. Sort f, t, 4.
t, f, 4
Let m = 11.02 + -128.22. Let p = m + 117. Put 2, p, -4 in ascending order.
-4, p, 2
Let d be 108/288*20/9. Sort d, 1/3, 5.
1/3, d, 5
Suppose 3*l + 384 = -5*l. Let i = l + 44. Sort 4, 3, 5, i in decreasing order.
5, 4, 3, i
Let p = -47.1 - -47.6. Sort p, -0.2, 36 in increasing order.
-0.2, p, 36
Let q = 0.28 - 0.3. Let g = -0.3 + -1.7. Let x be -2*(-1 - 1) + 140/(-30). Sort g, q, x in ascending order.
g, x, q
Let g = -281/342 - 2/171. Let r = -3.7 - -4. Sort r, 2/5, -2/13, g in increasing order.
g, -2/13, r, 2/5
Let d(v) = -v + 6. Let f be d(4). Let m be (-3 - 7/(-14))/(1/(-2)). Sort 4, -4, m, f.
-4, f, 4, m
Let w(a) = -a - 10. Let t be w(-10). Put t, -7, 10 in decreasing order.
10, t, -7
Suppose -2*j = 3*j. Suppose j = -t + 5*t - 8. Let x be 4/28 + 2 + (-44)/14. Sort x, t, 5 in descending order.
5, t, x
Let n be ((-19)/38)/(1/6). Let c(i) = -5*i - 5. Let r be c(-5). Suppose 0 = 4*b - 4*v - r, -5*b + 4*b - v + 5 = 0. Put n, -2, b in decreasing order.
b, -2, n
Let k be ((-16)/(-4) - 1)*1/(-3). Sort -1/4, 1, k in increasing order.
k, -1/4, 1
Let w(r) = 3*r - 14. Let n be w(6). Suppose -3*u = -4*x - n*u - 18, -5*u - 14 = x. Put -5, -3, x, 1 in descending order.
1, -3, x, -5
Let c = 6 - 3. Let t = 43.6 - -3.4. Let s = t + -40. Sort s, c, 5 in decreasing order.
s, 5, c
Suppose -q + 13 = 4*y, 5*q + y - 4 = -34. Sort -3, -2, q, 5 in descending order.
5, -2, -3, q
Let b(h) = -h**2 - h + 4. Let m be b(-3). Let v(l) = -53*l + 1. Let y be v(-1). Let