 -2, v in decreasing order.
0.2, v, -2
Let j = 11 + -16. Let w(m) = m**2 - m - 155. Let d be w(-12). Put d, j, 2 in increasing order.
j, d, 2
Let t = -15.9 + 14.5. Sort t, -3/7, 5 in decreasing order.
5, -3/7, t
Let m be 7 + 4*9/12. Suppose m*u + 20 = 6*u. Suppose z = -3*z + 8. Sort -3, z, u in increasing order.
u, -3, z
Suppose -15 = 4*v - 11. Let y be (-5)/(-4 - (-4 - v)). Let g be (1 - 0)*12/(-18). Put 1/6, y, g in ascending order.
g, 1/6, y
Let p be -10 + (-9 - -12) + 18. Sort 3, 4, p, -9 in descending order.
p, 4, 3, -9
Suppose 0 = -5*s + 5*h, 2*h = -s - 8 - 7. Suppose 3*c - 1 + 13 = 0. Put 5, c, s in ascending order.
s, c, 5
Let a(v) = -v + 4. Let z = 0 - -6. Let n be a(z). Let f be 0*1/((-2)/(-2)). Sort f, 11, n.
n, f, 11
Suppose 112*k = 118*k - 90. Put -1, k, -3 in ascending order.
-3, -1, k
Let k = -1353/8 + 169. Put 5, 51, k, -3 in ascending order.
-3, k, 5, 51
Suppose -2*l = v + 218, -5*l + 2*l + 6 = 0. Let p be (-14)/(-12) + (6 - v/(-36)). Sort -17, 5, p.
-17, p, 5
Let l = -1470.9 - -1471. Put l, -2/5, 489 in increasing order.
-2/5, l, 489
Let b be -3*4*3/(-9). Suppose 4*c + 3 - 7 = 4*f, b*c = -5*f + 40. Suppose 0 = -c*j + 19 + 6. Sort -3, -3/2, j in ascending order.
-3, -3/2, j
Let h = 779/3 + -259. Sort 6/19, -5, h, 2 in descending order.
2, h, 6/19, -5
Let u(p) = p**2 + 16*p + 4. Let d be u(-17). Suppose 3*h + 4*b + d = 0, 0 = h - 0*b + 2*b + 9. Sort -1, 2, 4, h in descending order.
4, 2, -1, h
Let s be (25 + -19)*3/(-30). Sort -0.1, s, -12, -1/3.
-12, s, -1/3, -0.1
Let m = 280 + -279. Sort m, 4/3, 11/5.
m, 4/3, 11/5
Let q = 0.46 - 0.568. Let j = q - 2.892. Let g = -2 + 3. Put g, j, -0.5 in decreasing order.
g, -0.5, j
Suppose 2*i - 70 - 22 = 0. Let j = i - 45. Sort -3, j, -5 in decreasing order.
j, -3, -5
Let r = 294 - 292. Sort 3, r, -6 in increasing order.
-6, r, 3
Let h = 63 - 61. Let m be 8/10*h*10/(-4). Sort -2, -5, m, 3 in descending order.
3, -2, m, -5
Suppose b + 123 = a + 4*a, -a + 2*b + 30 = 0. Sort a, 2, 3, 1 in descending order.
a, 3, 2, 1
Let q = -7 - -7. Suppose -v + 5*v - 12 = q. Suppose 4*z - 2*f = 0, -5*z + f + 3*f - v = 0. Sort -4, z, 1/2 in descending order.
z, 1/2, -4
Let m be -1*(-1)/(2/10). Let i = -49 + 76. Suppose 14 = -m*q + 2*o, -q + 5*o + i = -4*q. Put -1/3, q, 5 in ascending order.
q, -1/3, 5
Suppose -f + 5 = 6. Let d = 3 - f. Let k = 669 + -674. Sort k, d, 0.5 in ascending order.
k, 0.5, d
Let n be 1*(112/(-20) + 6). Put -5, 0.2, n, 1 in descending order.
1, n, 0.2, -5
Let y = -8 + 12. Let c = 657 + -659. Sort y, -0.3, 2/3, c in ascending order.
c, -0.3, 2/3, y
Suppose 4*c - 21 = -3*c. Put c, -1, -10, -5 in descending order.
c, -1, -5, -10
Let p = 0.079 - 0.009. Let f = -4.93 - p. Sort 1/2, 1/7, f, 2 in decreasing order.
2, 1/2, 1/7, f
Suppose 24 = 5*h - 4*h. Suppose -5*p + p = -h. Let x = 1661/18 - 185/2. Sort 0.4, p, x in increasing order.
x, 0.4, p
Let g(y) = 5*y**2 - 19*y. Let z be g(4). Sort 1/7, z, -2, 0.
-2, 0, 1/7, z
Let u be ((-6)/(-15) + (-7)/(-70))*22. Put u, -3, -7 in decreasing order.
u, -3, -7
Let d = -261 - -100. Let x = d + 377. Let o = -1725/8 + x. Sort o, 4, 2.
o, 2, 4
Let u = -0.3 + -1.7. Let l = -124.3 + 124.7. Sort -0.4, u, l in ascending order.
u, -0.4, l
Let p = -0.31 + 0.78. Let k = p - 0.53. Put -5, 3/7, k in increasing order.
-5, k, 3/7
Let d(v) = -v**2 + 3*v + 6. Let l be d(5). Let w(x) = -2*x**3 - 4*x**2 - 3*x. Let f be w(-2). Suppose -f*s = -s. Sort s, -5, l in descending order.
s, l, -5
Let o(z) = z**2 - 4*z - 17. Let h be o(-4). Sort h, 3, 1 in increasing order.
1, 3, h
Let j be (3 + -3)/(-1 + -1 - 0). Sort 5, 2, j, -119 in decreasing order.
5, 2, j, -119
Suppose 853*q + 96 = 865*q. Sort 1, q, -1/8, 3.
-1/8, 1, 3, q
Let d = -8 + 4. Sort d, -5, 2, -1.
-5, d, -1, 2
Let s = 1.6 + -1.3. Let p = -1.12 - -1.2. Sort -0.3, s, p in ascending order.
-0.3, p, s
Suppose 2*o - 2*s + 290 = 4*o, -o = 4*s - 136. Let z = 98 - o. Let b = z - -452/9. Put -1, -2, b in decreasing order.
b, -1, -2
Let l(q) = -q**3 - 7*q**2 + 3*q - 9. Let s be l(-7). Let m be ((-4)/s)/(1/1). Let x be 7/(-14)*(2 + 64/(-36)). Sort x, m, -3 in increasing order.
-3, x, m
Let u = 18 + -20. Let q = u - -2.1. Sort -1/3, q, 0.04.
-1/3, 0.04, q
Let y be ((-114)/(-4) - -1)*(-93 + 97). Put y, 0, 1, 5 in decreasing order.
y, 5, 1, 0
Let t = 10 - 13. Put 7, 3, 2, t in ascending order.
t, 2, 3, 7
Suppose 4*v + 268 = 8*v. Let w = -69 + v. Sort w, -4, 0.1.
-4, w, 0.1
Let h(u) = 3 + 2 + u - 5 - 6. Let r be h(8). Suppose -3*n + 32 + 15 = -5*t, -t - 23 = -4*n. Put 0, t, r in descending order.
r, 0, t
Let n = 101 - 80. Let h be (-30)/(-6) - 99/n. Sort h, 0.04, 0.3.
0.04, h, 0.3
Let v = -13771612/55 + 250385. Let f = 37/5 + v. Put 2, f, 1 in ascending order.
f, 1, 2
Let u = 0.15 - -0.21. Let a = u + -1.36. Let n = -6 - -1. Put 2, a, n in descending order.
2, a, n
Let r = -0.0973 - -0.1373. Put r, 8, 1/4 in decreasing order.
8, 1/4, r
Let k = 1.357 + -0.227. Let i = -39.87 - -40. Let u = k - i. Put -6, u, -1/5 in decreasing order.
u, -1/5, -6
Suppose -4*b - 19 = 2*z + 5, 0 = b + 5. Let l be z/30 - 2/6. Suppose -4*x + 4 + 2 = -n, -x + 2*n = -5. Put l, 2/9, x in descending order.
x, 2/9, l
Let g = -0.075 + 0.175. Put g, 2, -1/12, -8 in increasing order.
-8, -1/12, g, 2
Let h(a) = a**3 - 5*a**2 - a. Let z be 30/(-4)*4/(-6). Suppose -2*t + t + z = 0. Let p be h(t). Put p, 3, 0.5 in increasing order.
p, 0.5, 3
Let i = 5.8 - 0.8. Suppose 24 = -28*a + 25*a. Put a, 1, i in descending order.
i, 1, a
Suppose -2*r = 0, 0*t + 3*r = -3*t - 3. Sort 5, -23, -5, t.
-23, -5, t, 5
Suppose -3*j - 2 = -2*j. Suppose -4*r + 11 + 157 = 3*c, -4*r - 4*c + 164 = 0. Suppose 0 = -m - r + 47. Sort 4, j, m.
j, m, 4
Suppose -2*y = z + 10, 0*z - 2*z - 8 = y. Suppose -4*l = 5*g - 8, -4 + 2 = -l - g. Put l, 1, -2, y in ascending order.
y, -2, 1, l
Let o = 24 + -11. Let c = -13.2 + o. Put c, 2, -2/11 in decreasing order.
2, -2/11, c
Suppose -c - f + 2 = 1, 5*c - 2*f + 23 = 0. Let t be ((-3)/36)/(36/(-32)). Sort t, 2/7, c, -4 in decreasing order.
2/7, t, c, -4
Suppose 13 = 3*h + 5*d, 4*d - 14 = 6. Let z(r) = r**3 + 2*r**2 + 1. Let q be z(-2). Put q, h, 2, 3 in descending order.
3, 2, q, h
Let h(q) = q**2 - 2*q - 10. Let k be h(-6). Suppose 0 = -5*j - 58 + k. Sort -3, j, 4, 2 in ascending order.
j, -3, 2, 4
Let b = -149 - -154. Sort b, -0.4, -178/11 in descending order.
b, -0.4, -178/11
Suppose 5*j - 45 = -4*j. Suppose -v = -4*m - 8, -2*m + 3 = 2*v - 3. Sort m, j, 13 in increasing order.
m, j, 13
Let u(w) = w + 11. Let z be u(-14). Let n(l) = 2*l + 5. Let m be n(0). Put -4, 4, m, z in descending order.
m, 4, z, -4
Suppose 6*z - 37 + 1 = 0. Suppose -z*j - j + 14 = 0. Put j, 0, 5 in increasing order.
0, j, 5
Let p = -5200/7 + 744. Sort 67, -4, p.
-4, p, 67
Let j = 6.15 + -6. Let m = -11299.2 + 11299. Sort m, j, 4.
m, j, 4
Suppose -2 = 6*b - 2. Sort 2, 5, -5, b in increasing order.
-5, b, 2, 5
Let l be ((-42)/28)/(2/(-28)). Let m(q) = q**2 + 3*q + 3. Let z be m(-4). Suppose -4*o = -z*o + l. Sort 5, 1, o.
1, 5, o
Let g be (88/(-12))/((10/(-9))/(-5)). Sort g, 0.3, -1/6, -0.4.
g, -0.4, -1/6, 0.3
Let x(p) be the first derivative of -p**4/4 + 2*p**3/3 - p**2/2 - 2*p + 11. Let w be x(-1). Suppose -2*n = -4*i - 12, 3*i + 3 = 2*i - 4*n. Sort i, w, 11.
i, w, 11
Suppose 3 + 3 = 2*f. Let n = 246 + -251. Let p(s) = s**3 + s**2 + s + 2. Let i be p(-2). Sort i, f, n in decreasing order.
f, i, n
Suppose 27 = 32*t - 5*t. Sort 7, t, -3 in descending order.
7, t, -3
Let d = 3.66 - -5.34. Sort 5, d, -1/13 in increasing order.
-1/13, 5, d
Let p = -178 + 174. Sort 2, 9, p.
p, 2, 9
Let d be (2 + 1)/3 - 30/26. Sort 3, 4, d.
d, 3, 4
Suppose 0 = -3*a - 12, -2*a = 3*s - 0*a - 40. Suppose -s = -0*z + 4*z. Suppose 7*i - 4 - 10 = 0. Sort 2/5, z, i in increasing order.
z, 2/5, i
Let y = -91.2 - -149.9. Let t = y + -59. Put t, -3, 2/19 in decreasing order.
2/19, t, -3
Let s = -27.2 - -25. Let k = -2 - s. Let f = -6218.5 + 6218. Sort f, k, -3 in decreasing order.
k, f, -3
Let o = 1 - 0. Let u = -110 + 24. Let k be u/18 + 6/(-27). Sort 3, o, k in decreasing order.
3, o, k
Let i = -77 - -91. Suppose j = -5*n - 0 - 2, 4*j - 2*n - i = 0. Sort -5, j, -3, 4.
-5, -3, j, 4
Let h(c) = -c**2 + 13*c - 24. Let v be h(2). Sort 26, v, 4 in descending order.
26, 4, v
Let r = 6 + -10. Suppose 9*s - 177 = 75. So