2 = -4*n, -n - y + 16 = -6*y. Sort -3, -1, n in descending order.
-1, -3, n
Let n = 0.2 - 0.4. Let h be (456/9)/(-4) + -1. Let r = h + 199/15. Sort r, n, 5.
r, n, 5
Let m = 1.4 - 0.4. Let u = 0 - m. Let w be 3/11*8/(-12). Sort -3, u, w in descending order.
w, u, -3
Let w = -2.6 - -2.9. Put 0, -2, w in decreasing order.
w, 0, -2
Suppose 3*p - v = 80, v - 20 = 7*p - 8*p. Sort -4, 4, p in descending order.
p, 4, -4
Let h = 125 - 127. Let d = 1 - 1.4. Sort d, h, -1/6.
h, d, -1/6
Suppose 26 = -4*h + 6. Let f = 40.1 + -40. Sort h, 2/7, f in ascending order.
h, f, 2/7
Let u = 8 - 9.1. Let w = 0.1 + u. Let f = -3.5 + -0.5. Sort f, w, 1 in increasing order.
f, w, 1
Let a = -299 + 297. Let t = 115 + -577/5. Put 2/11, t, a in decreasing order.
2/11, t, a
Suppose -5*k + 5 = -0. Let w = 7 - -10. Suppose w = -4*l + 5. Sort -2, k, l in decreasing order.
k, -2, l
Let n = 22 + -18. Put n, -1, 0 in descending order.
n, 0, -1
Let c = -24 - -28. Suppose -c*f + 4 = -12. Put 1, f, -1 in descending order.
f, 1, -1
Let k = 5.14 - 5. Let h = k - 0.64. Let d = 0.01 - -4.99. Sort h, -2, d in increasing order.
-2, h, d
Let p be (-2 + -1)/(15/(-85)). Put 0, p, 0.4 in ascending order.
0, 0.4, p
Let g = 25 - 22. Sort g, 0, -4 in ascending order.
-4, 0, g
Let x(o) = o + 6. Let s be x(-5). Suppose -2*k + s = -3*k. Let a be (0 - (k + 2)) + -3. Put a, 4, 1 in descending order.
4, 1, a
Let q = -29 + 34. Let h be (-8)/28 + 38/(-14). Sort 4, h, q in increasing order.
h, 4, q
Suppose 0 = 5*r + 10, -7 = 4*l + 3*r - 5. Let i = -57 - -173/3. Let k = -0.3 + 0.2. Sort l, k, i in ascending order.
k, i, l
Suppose 0 = 2*g + 5*o + 13, 2*g + 3*o = -0*o - 19. Let q = 11 + g. Sort -2, 3, q in increasing order.
q, -2, 3
Let d be (-26)/(-10) + 6/15. Suppose -h = d*h - 4. Put -4, h, 5 in decreasing order.
5, h, -4
Let f = -83 + 93. Sort 0.3, f, -0.3 in descending order.
f, 0.3, -0.3
Suppose -4*b - 18 = 5*h, -5*h - 14 = b + b. Let m be -3 + 10 + (0 - -1). Suppose 0 = k - 3*k + m. Sort k, 2, b in decreasing order.
k, 2, b
Let u(w) = -4*w + 1. Let m be u(-1). Sort m, 4, -5.
-5, 4, m
Suppose -2 = -n - 3*x + 4*x, -5*n - 5*x = 0. Let k be 1 + n + -4 + 6. Let l = -4 + 6. Put -4, k, l in decreasing order.
k, l, -4
Let z = 16 - 14. Suppose -z*k + 10 = c + 2*k, c - 5*k = -17. Put c, 0, 3 in increasing order.
c, 0, 3
Let c be 1/6 - 31/6. Sort c, -4, -3 in ascending order.
c, -4, -3
Let u = -0.003 - 0.457. Let w = 0.06 + u. Sort 3, -5, w.
-5, w, 3
Let z = 13 - 16. Sort 1, z, 0.1.
z, 0.1, 1
Suppose 31 = 4*i + 11. Put -1/9, -0.01, i in ascending order.
-1/9, -0.01, i
Suppose 3*r - 6 = 4*y, -4*y + 0*r = -2*r + 4. Suppose y*h + 72 = -h. Let v be (-4)/(-18) + (-11)/h. Put v, -4, 0.5 in ascending order.
-4, v, 0.5
Let q = -13.5 - -13. Put -7, 2/17, q in decreasing order.
2/17, q, -7
Let w be 0 + 5/(-35) - (-6)/(-14). Put -5, w, -3 in ascending order.
-5, -3, w
Let q be 238/85 + (-2)/(-10). Sort -4, 0, 1, q in descending order.
q, 1, 0, -4
Let u = 21727/3801 + -1/543. Put 2/7, -5, u in descending order.
u, 2/7, -5
Suppose 4*x = y - 1 - 20, -4*y + x + 9 = 0. Sort -4, y, 3, 2 in increasing order.
-4, y, 2, 3
Let m = 0.182 + 3.818. Let d = -6 - -10. Let g = -3.7 + d. Put 1/6, m, g in increasing order.
1/6, g, m
Suppose 0 = 4*l - 5*v - 27, -4*l - 4*v = -2*l + 6. Suppose 8*z - 5 = l*z. Suppose -183*i = -180*i. Put i, 4, z in increasing order.
i, z, 4
Let l be (-119)/(-51)*2/(-7). Sort 2, -5, l.
-5, l, 2
Let c = 2.8 - 10. Let w = c + 7. Sort 0.01, w, 0.4.
w, 0.01, 0.4
Let z = -0.051 - 0.249. Put -1, -0.5, z, -0.4 in decreasing order.
z, -0.4, -0.5, -1
Suppose 3*l = 2*l, 2*q + 4*l = 2. Let d = -6 - -5. Sort -4, d, q in decreasing order.
q, d, -4
Let r = 5 - 1. Let p be (-3)/(-165) + r/22. Let q = 5.9 - 6. Put q, p, -1/5 in descending order.
p, q, -1/5
Let a be 21/(-12) - (-21)/28. Sort a, 2/11, 1/4 in decreasing order.
1/4, 2/11, a
Let w be (-1)/3*(-81)/(-108). Put 4, -0.3, w in decreasing order.
4, w, -0.3
Suppose -2*i + 1 = 3. Let x = -10 - -9.9. Sort i, 0.1, x.
i, x, 0.1
Suppose -2*p - 8 = 3*r - r, -3*r + p = 8. Put 1, -5, r in increasing order.
-5, r, 1
Let k = 28 - 33. Put -4, 4, k in decreasing order.
4, -4, k
Let z be 34/(-20) + (-1 - -4). Let i = 11/20 - z. Sort 1/6, 2/11, i.
i, 1/6, 2/11
Let y = 7.1 + -7. Let k = -3.1 + y. Sort k, 1/2, 1/4.
k, 1/4, 1/2
Let y be 6/(-4)*8/(-6). Suppose 0 = -y*v - v + 12. Let x = -20 - -20. Sort -2, x, v.
-2, x, v
Let b(w) = -w + 5. Let n be b(6). Let r be 2/(-3)*9/(-39). Sort 0.5, n, r in descending order.
0.5, r, n
Let w = -5 - -7. Let i be (2/(-3))/((-14)/(-6)). Let n = -16 + 63/4. Put n, w, i in decreasing order.
w, n, i
Let w = 0 + 0.07. Put 3, w, -4 in ascending order.
-4, w, 3
Suppose -4*g + 14 + 2 = 0. Sort 1, 0, g in descending order.
g, 1, 0
Let k be 0/7*(1 + -2). Put k, 3, 1 in ascending order.
k, 1, 3
Let i be (8/(-16))/(1/2). Sort 3, -3, i in increasing order.
-3, i, 3
Let k(c) = c**2 - c - 18. Let t be k(5). Sort 3, 4, t, -7.
-7, t, 3, 4
Let j be (-242)/286 + (2/(-13) - 0). Put 0, -5, 1, j in descending order.
1, 0, j, -5
Let b = 3 + -2.9. Let x = -0.2 + b. Let v = -0.2 - x. Sort 0.5, -3/5, v in ascending order.
-3/5, v, 0.5
Let x be ((-4)/(-6))/(1/3). Suppose 6*c - 2*c - 48 = 0. Let q = 17 - c. Sort -1, q, x.
-1, x, q
Let a(x) = x**2 + 7*x + 5. Let v(y) = y**2 + 4*y - 5. Let h be v(-4). Let w = h - 0. Let d be a(w). Sort 0, -1, d.
d, -1, 0
Let u be (-1)/(-4)*(-12)/15. Let n(y) = -y - 5. Let a be n(-5). Sort a, -5, u in increasing order.
-5, u, a
Suppose 0*z = 2*z + 4. Let j(q) = q**2 + 4*q. Let p be j(z). Put p, -5, 2 in descending order.
2, p, -5
Let m = -0.086 - -0.086. Sort 22, -2/9, m, 0.3 in descending order.
22, 0.3, m, -2/9
Let a = 0 - -5. Sort 0, a, -2 in decreasing order.
a, 0, -2
Let n(b) = b**3 - 9*b**2 - 10*b + 4. Let j be n(10). Suppose 0 = -j*q - 18 + 2. Sort 5, 3, q in descending order.
5, 3, q
Let x = -1.91 + -0.09. Let q = 4 + x. Put 1/6, q, 0.1 in descending order.
q, 1/6, 0.1
Let t be (2 - -1) + 1 - 1. Suppose -t*g = 2*g + 25. Let n be -1 + 2/(-2) + (-18)/(-9). Sort n, g, -2 in decreasing order.
n, -2, g
Let b = -0.2 + 0.6. Let w be -5*(-2 + 0/(-2)). Let g be (-1)/4 - w/24. Put 1/5, b, g in decreasing order.
b, 1/5, g
Let r(g) = 5*g**2 + g - 1. Let k be r(1). Let w = 3 + -3. Let j = -1 + w. Sort 2, k, j in descending order.
k, 2, j
Let v = 1 - 3. Let w = -1 - v. Suppose 4*j + 1 = 4*x - 3, 3*x = -j - 1. Sort w, j, -3 in descending order.
w, j, -3
Let p = -7 - -5. Let i be (7 + -6)/((-1)/(-1)). Let d be 1/((-1)/(-6)) - 2. Sort i, p, d in ascending order.
p, i, d
Suppose 2*h + h = 3. Let p = 2 + -4. Suppose -4*r = r. Put h, r, p in increasing order.
p, r, h
Let q be 2/8 + 1 + -1. Let r = 0.174 - -0.326. Put -2, r, q in descending order.
r, q, -2
Let t = -49 - -49.4. Put t, -5, -4/3, 0.1 in descending order.
t, 0.1, -4/3, -5
Let n = -100 - -101. Let d be 2/(-4)*0/(-1). Sort d, -3, n.
-3, d, n
Let l(q) = -q**3 - 12*q**2 - 3*q + 1. Let w(o) = -o**3 - 11*o**2 - 2*o + 2. Let p(x) = 3*l(x) - 4*w(x). Let i be p(-8). Sort i, -1, -2.
-2, -1, i
Let c(l) = l**2 - 2. Let x be c(-2). Suppose -x*v = -5*v + 33. Suppose 5*t - 1 = -v. Sort t, 0, 2.
t, 0, 2
Suppose 4*t - 3*j - 12 = 0, 8 + 1 = 3*t - 4*j. Suppose 20 = -t*w + 4*l, l = 5*w - l + 24. Sort -3, 2, w in ascending order.
w, -3, 2
Let w = -0.29 - -0.09. Let r = w - 0.3. Let a = 0.05 - 5.05. Sort a, -3, r in decreasing order.
r, -3, a
Suppose 0 = 4*b - 4*x - 12, -19 = -b + 5*x. Sort 1, -11, b.
-11, b, 1
Suppose 0 = n - 5*n - 4. Suppose 4*j - 1 = -2*a - 3, j + 5*a - 22 = 0. Sort j, -2, n in increasing order.
j, -2, n
Let z be (-20)/(-8) - 2/4. Suppose -2*y = -4*h + z*y, 0 = -5*h - 2*y. Let j = -51 - -48. Sort h, 1, j in decreasing order.
1, h, j
Let g be (-56)/20 - (-2 - (-22)/10). Put -0.5, -5, g, -0.2 in decreasing order.
-0.2, -0.5, g, -5
Let w(y) = -y**3 - 3*y**2 - y. Let z be w(-3). Let v(b) = b**3 - 4*b**2 - 4*b - 4. Let t be v(5). Put -1, z, t in descending order.
z, t, -1
Let n be (58/518)/((-5)/10). Let s = -3/37 - n. Sort -3, s, -0.3 in increasing order.
-3, -0.3, s
Let z(m) = -m. Let i(k) = 3*k - 1. Let v(u) = -2*i(u) - 7*z(u). Let t be v(3). Let f(w) = w**2 + 5*w + 2. Let s be f(-3). Sort s, 2/7, t in decreasing order.
t, 2/7, s
Let x = 1 + -9. Let l be 4/(-3*4/18). Let d = x - l. Put 0, 4, d in de