creasing order.
0, 1, q
Let u = -6 - -10. Let y = 11 + -5. Let i = 3 - y. Sort 3, i, u.
i, 3, u
Suppose 3*t + v + 2 = 4, 2*v + 2 = 0. Put -11, t, -5 in decreasing order.
t, -5, -11
Let r be ((-3)/3)/((-1)/3). Let k be 7/(-1) + 2 + r. Put -1, k, -4 in ascending order.
-4, k, -1
Let g = -3.2 - -16.2. Let n = -10 + g. Let j = 1.6 - 2. Sort n, -3, j in descending order.
n, j, -3
Let a be 13/20 - (-3)/(-12). Let l be (3/8)/(3/2). Put 5, a, l in decreasing order.
5, a, l
Let f = 1/16 - -13/48. Let u = 0.3 + -0.4. Put f, -2, u in descending order.
f, u, -2
Let d be (-2)/(-1) - 96/52. Sort d, -4, 1 in decreasing order.
1, d, -4
Let r(c) = c**2 + 10*c + 6. Let t be r(-8). Let m be (-1)/1 + t/10. Sort m, 5, -3 in ascending order.
-3, m, 5
Let m = -10 - -10. Suppose m = -2*v - 1 - 27. Let x = -10 - v. Sort -5, x, -2 in decreasing order.
x, -2, -5
Suppose -6*h - 12 = -2*h. Let b be 2/(-2) + 2 + -6. Put b, h, 2 in descending order.
2, h, b
Let b be (3 + 0)/(3/4). Suppose b*d = d. Sort -3, -4, d in decreasing order.
d, -3, -4
Let j = -486/11 + 44. Put 0.4, -0.4, j in descending order.
0.4, j, -0.4
Suppose -4*i = -0*i + 3*m + 11, 0 = -4*i + 4*m - 32. Sort 5, -2, i in ascending order.
i, -2, 5
Suppose -3*h = -2*m - 16, 4*m - 1 - 11 = -5*h. Sort -2, 1, h.
-2, 1, h
Suppose 18 = 5*p + 2*v, v = -p + 2 + 1. Let g be (10/(-50))/(2/p). Put g, -0.2, 1 in descending order.
1, -0.2, g
Let p = -5 - 17. Sort 2/7, p, -5 in decreasing order.
2/7, -5, p
Let a = -12/13 - -85/78. Let h be 2 + (-2 - (1 + -5)). Sort h, a, 3 in ascending order.
a, 3, h
Let b = -4 - -2. Let v = -1.1 + 5.1. Let h = v - 3.5. Sort h, 1/4, b in decreasing order.
h, 1/4, b
Let r = -0.44 - -0.5. Let w = -0.46 + r. Put w, 0.8, 0.2 in decreasing order.
0.8, 0.2, w
Let s(y) = -y**2 - 3*y + 4. Let q be s(-4). Let u be 4*((-33)/(-18) - q). Let a = 236/33 - u. Sort -1, -2, a in increasing order.
-2, -1, a
Suppose p - 4*f + 2*f - 7 = 0, 0 = -2*p - f - 11. Let q = 28.1 + -28. Sort p, -4, q in decreasing order.
q, p, -4
Let t = 4 + 0. Let l = -12.01 + 0.01. Let i = -11.9 - l. Sort i, -0.2, t.
-0.2, i, t
Let i be -2 + 0 - -2*1. Let x = 2 + i. Suppose x*j + f - 1 = 0, 0 = 2*j + 4*f - 4 + 6. Sort 0, j, -1 in ascending order.
-1, 0, j
Let j be 15/6*4/(-5). Sort 5, j, -5 in increasing order.
-5, j, 5
Suppose -16 = 4*g - 2*b, 4*b - 5 = 3*g + 12. Suppose 5*f + h = 0, -3*f + 5*f - 7 = h. Suppose -2 - f = 3*n. Put n, -5, g in increasing order.
-5, g, n
Let h = 81 - 78. Put h, 14, -3, -4 in descending order.
14, h, -3, -4
Let d be (1/(-3))/(1/(-24)). Suppose 0 = -4*u - 4 - d. Put 2, -5, u in descending order.
2, u, -5
Let b(k) = -k**2 - 4*k + 1. Let g be b(-2). Let i = 9 - g. Suppose 2*h - 2 + 8 = 0. Sort i, h, -4 in decreasing order.
i, h, -4
Let u = 11 + 9. Suppose 4*b - u = -b. Let r be 4/6*(-12)/(-8). Put -2, b, r in decreasing order.
b, r, -2
Let y be (-1)/(-2)*3/6. Let c = -5.6 - -7.6. Let z = -2 - -1.4. Put c, y, z in ascending order.
z, y, c
Let t = -6 - 19. Let p = -24 - t. Sort -5, p, 2 in decreasing order.
2, p, -5
Let o be (-4 + 2)/(-1*1). Let v be (0 + o)*3/2. Suppose -2*l = 1 + 1. Put 2, v, l in increasing order.
l, 2, v
Suppose 0*v - v = -4, -10 = 5*m - 5*v. Suppose -6 = 4*a - 154. Let x = -147/4 + a. Put x, -3, m in ascending order.
-3, x, m
Let m = 7 - 4. Sort 1.1, -1/2, m in descending order.
m, 1.1, -1/2
Let g = -0.2 - -7.2. Let z = g + -4. Sort z, -5, -11.
-11, -5, z
Let h = -32.05 + 32. Sort 4, 0, h in ascending order.
h, 0, 4
Suppose 0 = -k - 1 - 2. Let f(j) = j**3 - 4*j**2 - 10*j - 6. Let p be f(6). Put k, -1, p in increasing order.
k, -1, p
Let k(h) = -h + 7. Let f(c) = -c - 3. Let y be f(-6). Let l be k(y). Let d(m) = m**2 - m. Let p be d(0). Put p, -4, l in increasing order.
-4, p, l
Let z = 161 + -159. Let k be 1/(-5) + 19/(-5). Sort k, 18, z in increasing order.
k, z, 18
Suppose 10 = 2*o, o + 27 = 2*b - 0*b. Suppose 3*d + b = 4*n - 13, -2*n - 5 = 5*d. Suppose 3*k - 18 = -k + 2*u, -5*k + 18 = -u. Put d, -2, k in descending order.
k, -2, d
Let f(k) = k**3 - 6*k**2 + 5*k. Let t be f(5). Let n = -5 + t. Sort -3, -0.2, n in increasing order.
n, -3, -0.2
Let d(k) = -2*k**2 + 6*k + 6. Let s be d(5). Let v = 11 + s. Let c be (-3)/(-6*(-2)/16). Sort v, 4, c.
c, v, 4
Let j = 8 - 1. Suppose -j = 2*b - 5*o, 0*b - 5*o = b + 11. Let c be -2 + (-3)/b*2. Sort 4, c, -4 in increasing order.
-4, c, 4
Let o = -1.8 + 1.4. Let a = 2.5 + -3. Let p = -1 - -1. Sort o, p, a in descending order.
p, o, a
Let x be ((-6)/(-2))/((-15)/(-10)). Sort x, 4, 1.
1, x, 4
Let s(c) = c**3 - c**2 + c + 1. Let f be s(3). Suppose -2*z = -2*j - 2*j - f, 5*z - 31 = 4*j. Let m = 2.176 - 0.176. Put z, m, 0 in decreasing order.
z, m, 0
Suppose -s = -0*s - 6. Let w = s + -3. Sort -1, w, 2.
-1, 2, w
Suppose 5*x = -4*q - 11 + 1, 2*x + 4*q + 16 = 0. Suppose 3*p - 5*a - 12 = 0, x*p + 5 = -0*a - a. Let v = -11 + 7. Put p, v, 4 in descending order.
4, p, v
Suppose -2*w - 1 = 9. Let a be 3*((-4)/(-12))/(-1). Put -3, w, a in descending order.
a, -3, w
Let x = 22 + -24. Let h = -1 + -2. Sort x, h, -3/7 in increasing order.
h, x, -3/7
Let q = -6.3 - -3.3. Sort 2/7, q, -0.4, -2/15 in decreasing order.
2/7, -2/15, -0.4, q
Suppose -4*q - 10 = -6. Sort q, 4, -2, -3.
-3, -2, q, 4
Let k = 143 - 137. Put -0.5, k, 2, 4 in ascending order.
-0.5, 2, 4, k
Let w = 15744 - 5541893/352. Let x = -731/352 + w. Let p = 229/99 + x. Sort 0, p, -1 in descending order.
p, 0, -1
Suppose 0 = 4*g - g - 3. Let k be ((-2)/(-24))/(g/3). Let u = -40 + 77/2. Sort 1, k, u.
u, k, 1
Let z be -2 + ((-1446)/(-819) - (-4)/14). Sort -2, -5, z.
-5, -2, z
Let k(v) = v**3 + 7*v**2 + v + 5. Let l be k(-7). Sort -3, -1, -10, l in descending order.
-1, l, -3, -10
Suppose 4*c - 4 = -0. Let h be (c - 1)/(-1 - -2). Sort -4, 2, h in decreasing order.
2, h, -4
Let o = 77 - 55. Sort -4, o, 1 in decreasing order.
o, 1, -4
Let f be (-34)/85 + 18/(-5). Let m = 1 - 0. Put m, f, -2 in ascending order.
f, -2, m
Let b(s) = 2 - 3*s**2 + s**2 + 3*s**2 + 5 + 6*s. Let m be b(-5). Sort -3, 0, m.
-3, 0, m
Suppose -5*w + 17 + 8 = 0. Sort 2, w, -5 in ascending order.
-5, 2, w
Suppose 0 = -0*g + 3*g + 12. Let d be (1 + -2 - -2)*-11. Let f = d - -16. Put g, 2, f in ascending order.
g, 2, f
Let r be 2*(42/4)/7. Suppose -2*l - 1 = -l. Sort l, r, -2.
-2, l, r
Suppose -g - 5*b - 12 = 0, -3*b + 9 = -6*b. Suppose 2*q = 7*q - 90. Let l be (-1)/5 - q/10. Put l, 5, g in descending order.
5, g, l
Let v = 0.89 + 0.11. Sort -0.1, -1, v in ascending order.
-1, -0.1, v
Let l = -2/53 - 92/371. Sort -0.2, l, 3.9 in ascending order.
l, -0.2, 3.9
Let l = 681 - 677.99. Let n = -0.01 + l. Sort 5, n, 0.4 in increasing order.
0.4, n, 5
Let s = -5.2 + 5. Let w = -0.5 - s. Let t = w - 4.7. Sort 1, -2/7, t in ascending order.
t, -2/7, 1
Suppose -2*j + 5*n = 21, -5*j - n + 33 - 99 = 0. Put 2, -1, j in descending order.
2, -1, j
Let v = -1430718/259 + 5524. Let l = 76/259 + v. Let i(s) = s - 5. Let n be i(0). Sort l, 1/4, n in decreasing order.
l, 1/4, n
Let x be 40/75 + (-1)/3. Sort x, 0.4, -1 in ascending order.
-1, x, 0.4
Let m be (-8)/(-1 - -3) + 2. Sort -5, m, 6.
-5, m, 6
Suppose 7*k - 10*k - 10 = 4*u, 0 = -2*u + k - 10. Sort 0, -0.1, -1, u in descending order.
0, -0.1, -1, u
Let k = -8 - -9. Let u be k/4*12/(-9). Sort 5, u, -5 in increasing order.
-5, u, 5
Let a = 0.03 - -0.27. Let r = 0.2 + a. Put 0.4, -0.2, r in ascending order.
-0.2, 0.4, r
Suppose -3*u + 10 = 4. Sort u, 0.5, -7 in descending order.
u, 0.5, -7
Let o be 0 + 3 - 25/5. Sort -7, 3, o in ascending order.
-7, o, 3
Let j(i) = i**3 - 7*i**2 + 2. Let k be j(7). Suppose k*n + 0*n = 0. Put n, 3, -5 in descending order.
3, n, -5
Let z be 0 - (-3 + 7/3). Sort -2/15, z, 1/3 in decreasing order.
z, 1/3, -2/15
Let h(f) = -f**2 - 15*f - 10. Let l be h(-13). Let r = 12 - l. Sort r, -5, 0.1 in decreasing order.
0.1, r, -5
Let n(r) = r**2 - 6*r - 9. Let l be n(7). Sort -1, 2, l in increasing order.
l, -1, 2
Let t(u) = 9*u + 13. Let o be t(-7). Sort o, 0, -2.
o, -2, 0
Let z = 20 + -24. Let d = -11 + 15. Let m = -6 + d. Put m, -1/10, z in decreasing order.
-1/10, m, z
Let c be 1*(1 + 0) + 1. Suppose 15 = -2*v - 3*v. Suppose -z + 5*u = -0*z + 15, -2*u + 29 = -5*z. Sort z, v, c in increasing order.
z, v, c
Let y(t) = 4*t - 3. Let j be y(2). Let d = 22 - 27. Sort -1, d, j in decreasing