 2, 12 in decreasing order.
12, 2, t, -1
Let c = -18 + 10. Let p be (-3)/((-2 + c)/2). Put 2/13, p, -0.2 in descending order.
p, 2/13, -0.2
Let y = -1/70 + -19/70. Let x = -0.3 - -3.3. Put y, -3/5, x in descending order.
x, y, -3/5
Let y be 1/15*15/6. Let i be 7/42 + (-1)/(-2). Put 5, i, y in descending order.
5, i, y
Suppose 0 = -4*k + 21 - 5. Put -4, k, 7 in ascending order.
-4, k, 7
Let v = -1.4 + 1.7. Put v, -0.5, 2/3 in increasing order.
-0.5, v, 2/3
Let l be ((-20)/(-16))/((-2)/8). Let r = 1 - 3. Put l, -0.1, r in ascending order.
l, r, -0.1
Suppose -s = 3*h + h - 742, -4 = 2*s. Let m = h + -1307/7. Let p = 6/7 + m. Sort 5, p, -3 in ascending order.
-3, p, 5
Let z(j) = j**3 + 4*j**2. Let g be z(-4). Let i be ((-9)/12)/(1/4). Let o = i + 6. Put o, g, 4 in decreasing order.
4, o, g
Let s = 0.1 + 0.04. Let o = s - 13.14. Let r = o - -18. Sort -1/3, r, 2/7 in decreasing order.
r, 2/7, -1/3
Suppose 5*l = -44 + 234. Let a = l + -23. Suppose 6*g - 3*g + a = 0. Put 0, g, 4 in descending order.
4, 0, g
Let l = 13 + -10. Put 4, -6, l in decreasing order.
4, l, -6
Let z = 0.09 + 0.41. Sort -3, 0.3, 7, z in ascending order.
-3, 0.3, z, 7
Let i = 1.9 + 0.1. Let k = i - 2.21. Let g = k - -0.01. Put -1, g, 2/5 in descending order.
2/5, g, -1
Suppose 4*n - 11 = z, n = -0*n - 3*z + 6. Suppose -25 = -4*y - y. Suppose t + 12 = -y*t. Put n, t, -5 in increasing order.
-5, t, n
Let z(i) = -i - 2. Let s be z(-7). Sort -3, 4, s.
-3, 4, s
Let o = 39 - 35. Let d = 1 - 1. Let j = d - -0.3. Sort o, 0.4, j.
j, 0.4, o
Suppose 2*u + 0*u = -4*h, 5*h = -4*u - 3. Suppose -k + h = -3. Sort 2, k, 3.
2, 3, k
Let k(m) = m - 4. Let a be k(3). Sort -5, 4, a.
-5, a, 4
Let i(v) = -v + 13. Let t be i(9). Suppose t*b - 9 = 3. Let n(p) = p**2 + 5*p + 4. Let q be n(-3). Sort b, q, -5 in decreasing order.
b, q, -5
Let b = 0 - -3. Let t be (-8)/(3*(-4)/6). Put 1, t, b in increasing order.
1, b, t
Let d = 2.1 - 1.8. Let p be (18/120)/(2/(-8)). Sort d, -4, p.
-4, p, d
Let n = -1.16 - 0.14. Let y = -3.7 + n. Sort 0.2, 0.5, y in descending order.
0.5, 0.2, y
Suppose 0*z + 2*u = z - 9, u - 18 = -4*z. Let b be 2/(-5) + (-34)/(-10). Suppose -b*i + 5 = 2*i. Put i, -4, z in decreasing order.
z, i, -4
Let w be 16/(-28)*(-21)/6. Sort 0, w, -1 in ascending order.
-1, 0, w
Let l = -0.36 + 0.06. Let s = 5 - 3. Put 0, l, s in increasing order.
l, 0, s
Let w = 62 + -65. Sort 1/3, 3/8, w, 0.4 in decreasing order.
0.4, 3/8, 1/3, w
Suppose -f + 2*f = 2. Let p = -0.1 - -1.1. Let s = p - 1.5. Put f, 2/7, s in descending order.
f, 2/7, s
Let y = -7 + 11. Suppose 7*g + 1 = 15. Put -4, y, g in ascending order.
-4, g, y
Suppose -m + 2*m = 0, -5*m = v - 5. Suppose 5*g - 20 = v*x, 3*g = 2*x + 4 + 10. Let u be (-44)/12 + (-2)/g. Put 3/4, 2/15, u in increasing order.
u, 2/15, 3/4
Suppose -3*j = -j - 4*g, 0 = 5*j + 3*g + 26. Put j, -2, 4 in decreasing order.
4, -2, j
Let f = -17 + 16.7. Put 1/2, f, 2/7 in decreasing order.
1/2, 2/7, f
Let y = -13 + 21. Let s be (-2)/(-9) + y/(-36). Sort s, 4, -2/7 in ascending order.
-2/7, s, 4
Let g be (-19)/44 + 252/(-66) + 4. Sort 0.02, g, -1, 3/4 in increasing order.
-1, g, 0.02, 3/4
Let i(t) = -t + 2. Let n be i(-2). Suppose -z = 4, g + 2*g = -n*z - 19. Put 2, g, 0.1 in increasing order.
g, 0.1, 2
Suppose 3*o + 6 = -0*o. Let c(x) = -x**2 + 9*x - 3. Let a be c(6). Suppose 0 = -5*y + 3*z - 2*z, -5*y + 4*z = -a. Sort o, y, 0.
o, y, 0
Let j(l) = l - 3. Let b be j(5). Suppose 9 = -6*s + 27. Put s, b, -2 in descending order.
s, b, -2
Let n be (-2)/(-6)*6/6*-2. Put -0.4, n, -0.3 in increasing order.
n, -0.4, -0.3
Suppose 3*j = 15 - 3. Let s = 42.7 + -43. Sort j, 5, s in decreasing order.
5, j, s
Let i = 0.5 + -4.5. Let w = 0.1 - 0.1. Let s = 0 - w. Put i, s, -1 in decreasing order.
s, -1, i
Suppose -5*l - 25 = 0, -j + 3*l = -3*j + 7. Sort j, 2, 1 in descending order.
j, 2, 1
Let j = -3 - -3. Let z(b) = -b. Let l(t) = 2*t - 7. Let f(u) = l(u) + 3*z(u). Let k be f(-8). Sort j, -2, k in increasing order.
-2, j, k
Let w be (-12)/(-54) + 0/5. Put 1/5, 1, w in descending order.
1, w, 1/5
Suppose 2*r = 3*w - 2 + 7, 0 = -5*r + 5. Let d be 3 - 1 - (-5)/w. Let k = -2 - 0. Sort k, 1, d in descending order.
1, k, d
Let m be 4 + 3/(9/3). Let g = 13 - 21. Let w = 11 + g. Sort w, m, 2 in increasing order.
2, w, m
Let u = -2.07 + 0.07. Suppose -5*b - 4*s = 0, -32 = -6*b + 3*b + 4*s. Let g be (-9)/b - (-2)/1. Sort u, -4, g in ascending order.
-4, u, g
Let g(y) = -y**3 + 9*y**2 + y - 4. Let r be g(9). Let i = 17 + -4. Put 2, i, r in increasing order.
2, r, i
Let a = 0.21 - 2.21. Let z = 0.5 + -1. Put a, z, -2/7 in ascending order.
a, z, -2/7
Let y = -15 + 35. Let l = -79/4 + y. Let j = 285/119 + -48/17. Put j, l, -1 in decreasing order.
l, j, -1
Let k(s) = 7*s - 53. Let u be k(8). Sort -5, u, 10 in descending order.
10, u, -5
Let l = 7.3 - -1.7. Let m = l - 8. Let o be (0/2 - 0)/2. Put -4, m, o in increasing order.
-4, o, m
Let y = 1.42 - 0.42. Put -1/13, -0.2, 3, y in ascending order.
-0.2, -1/13, y, 3
Let x = 4 + -3. Let b = x + -5. Sort -0.1, 2/7, b in ascending order.
b, -0.1, 2/7
Let c = -2.6 + 3. Sort -5, 5, c.
-5, c, 5
Let s(p) = -2*p + 8. Let l be s(2). Put -1, 1, 2, l in decreasing order.
l, 2, 1, -1
Let b = 2 - 9. Let w be ((-2)/4)/(b/28). Put -1, w, -4 in descending order.
w, -1, -4
Suppose 0*m + 3*n = 2*m + 7, 5*m + 13 = 3*n. Suppose -3*d - 2*a + 0 = -3, 2*d + 4*a = -6. Put d, 5, m in ascending order.
m, d, 5
Let s be 20/(-70) - (-9)/7. Let n be -4*(0 + 2 - s). Put 2, 1, n in descending order.
2, 1, n
Let z = 0 + -5. Let o = 1 - 1. Let g = 0 - o. Sort g, 3, z in descending order.
3, g, z
Let s = 2 - 2. Suppose 8 = -4*f - 0*n - 2*n, -2*f - 2*n - 8 = 0. Suppose l + 7 - 10 = f. Sort s, -1, l in increasing order.
-1, s, l
Suppose l - 2 + 1 = 0. Put l, 5, -4 in increasing order.
-4, l, 5
Let o = 5 + -10. Sort o, -2, 2/11.
o, -2, 2/11
Let r(u) = -u**3 + 4*u**2 - u + 4. Let s be r(4). Suppose 36 = -2*a + 5*a. Suppose -2*h + 3*c - 14 = 3*h, a = 4*c. Put 1, h, s in decreasing order.
1, s, h
Let d = -50 + 47. Let r be (1/(-2) - 0)*2. Sort d, 0, r.
d, r, 0
Let n = -7.5 - -1.5. Let t = -5.97 - n. Let z = -0.03 + t. Sort 4/7, 3, z in descending order.
3, 4/7, z
Let o = 2.2 + 1. Let s = 3.04 - 0.04. Let d = o - s. Sort d, 2/9, -0.4 in decreasing order.
2/9, d, -0.4
Let v(p) = -2*p - 1. Let y be v(-3). Suppose 6*l - 15 = l. Suppose -6*z = -l*z. Sort -3, z, y in increasing order.
-3, z, y
Suppose -2*b = 0, -4*a - b + 12 = 2*b. Let z be (-4)/2 - 74/(-14). Let m = a - z. Sort m, -0.2, -2/3 in decreasing order.
-0.2, m, -2/3
Let q = -1 - -4. Put q, 0, -2 in descending order.
q, 0, -2
Let f = -0.3 - -4.3. Sort f, 1/7, -0.3, 3/5 in descending order.
f, 3/5, 1/7, -0.3
Let a = 5 + -4.96. Let v = a - -1.96. Put v, 1, 0 in decreasing order.
v, 1, 0
Suppose 9*l - 8*l + 1 = 0. Sort l, -5, -4 in decreasing order.
l, -4, -5
Suppose -2*f - 4 = -2. Let i be ((-1)/22)/(f/4). Let s = 10 - 10.5. Sort s, 2, i.
s, i, 2
Let i be (-45)/75*10/8. Sort i, 0.5, -3/2 in ascending order.
-3/2, i, 0.5
Suppose -7*k = -2*k. Let c(r) = r**3 - 3*r**2 - 2. Let v be c(3). Let l be 6/(-4)*v + 0. Put l, k, -4 in increasing order.
-4, k, l
Suppose -3 = -g - 3*b, 3*g - 1 = 5*g - b. Suppose 0 = l - 11 - 1. Let d(r) = r**3 - 13*r**2 + 13*r - 14. Let f be d(l). Put -4, f, g in ascending order.
-4, f, g
Let a = 1.2 - 0.2. Let c = 0.2 + -5.2. Let b = c + a. Put b, 0.4, -3 in decreasing order.
0.4, -3, b
Let m = 10 - 9. Put 0.5, 2, m in decreasing order.
2, m, 0.5
Let w = -29 + 8. Let k = w - -19. Let h(v) = v**2 - 5*v + 4. Let a be h(4). Put 3, k, a in increasing order.
k, a, 3
Let t = 0 + 2. Suppose 3*x - t = 1. Let l be 32/(-12) - 1/3. Sort l, 5, x in increasing order.
l, x, 5
Let o = -1.9 + 2. Let i = 0 + o. Let y = 0.065 + -0.265. Put i, y, 2/5 in descending order.
2/5, i, y
Let p be (-3 + 12/3)*-2. Let b be -3 + (-2 + p)/(-2). Put -2, -3, b in ascending order.
-3, -2, b
Let r = -28 + 32. Sort -3, r, -1.
-3, -1, r
Let o = -74 + 106. Let s be o/(-6) - 6/9. Suppose -33*q - 30 = -23*q. Sort q, s, 3 in descending order.
3, q, s
Let x = -253 - -2279/9. Let t be 2 - (-38)/(-16) - 0. Suppose -5*k = 2*a + 30, -5*k - 5*a - 23 = 22. Sort t, k, x.
k, t, x
Let g(d) = d**2 - 7*d - 2. Let o be g(7). Let n = 79 + -80. Let y = 3 - 6. Sort y, n, o in decr