2. Put 19, 0.4, h in decreasing order.
19, h, 0.4
Let i = 9 - 5. Put 0, i, 3 in descending order.
i, 3, 0
Suppose 2*c + 8 = -2*c, 0 = -5*l - 5*c - 30. Suppose -p - 3*t + 6*t - 1 = 0, 4 = 4*t. Let z(n) = n - 1. Let k be z(6). Put k, p, l in descending order.
k, p, l
Suppose -5 = -4*s + 11. Let f be -1*(-3 + 2 - s). Suppose 0 = 2*c - c + f. Sort 0, c, -1 in decreasing order.
0, -1, c
Let o(v) = -v + 1. Let a be o(-4). Suppose 0 = -2*u + 4*r - 14, -r - a = u - 2*r. Suppose -7 = -2*k - 3. Sort 0, u, k in descending order.
k, 0, u
Suppose -4*x + 3*o = o + 6, -3*x + 13 = 2*o. Suppose -4*z + 4 = -4*a, 7*a - 3*a = 2*z + 2. Let d = x + a. Sort 0, 5, d in decreasing order.
5, d, 0
Let r be 20/(-84)*-3 - (-2)/7. Sort 0.6, -2/5, r, -4 in decreasing order.
r, 0.6, -2/5, -4
Suppose -9*t - 13 = 4*k - 6*t, t = -2*k - 5. Suppose 0 = -5*l + l + 8. Let w = k + l. Sort w, 3, -4.
-4, w, 3
Let s(t) = -3*t + 21. Let c be s(6). Put -2, c, -1, -5 in increasing order.
-5, -2, -1, c
Let f = -5 - -32. Let r be (-1)/(-1) - f/30. Put r, 7, 2 in decreasing order.
7, 2, r
Let g = 5 + -21/4. Let z = 4.92 - -0.08. Sort z, 0.3, g in decreasing order.
z, 0.3, g
Let v(j) = j - 4. Let o be v(2). Suppose 16 = u + 3*x, -18 - 9 = -2*u - 5*x. Sort u, -1, o in decreasing order.
u, -1, o
Let y = -2 + 3. Suppose -21 = a - 23. Let n be 2*(4 + a/(-1)). Sort -6, y, n.
-6, y, n
Let a be 0/(1/((-2)/(-4))). Let r = 253/9 + -28. Sort a, r, -2/3 in decreasing order.
r, a, -2/3
Let p be (1 - 2/4)*40/(-50). Put p, -5, -0.5, 1 in increasing order.
-5, -0.5, p, 1
Suppose 7 = -2*j + 5*v, -2*j - 7*v + 2*v + 23 = 0. Sort 3, j, -1, 6.
-1, 3, j, 6
Let l = -15 - -11. Let n = l + 2. Sort n, 1/7, -4.
-4, n, 1/7
Let n = 20 - 15. Let a = n - 4.5. Let l = 2.1 + -1.4. Sort a, l, 5 in decreasing order.
5, l, a
Suppose 27 = -2*h + 5*x - 1, 0 = 3*h + 3*x. Let v be (-60)/(-14) - (-4)/(-14). Suppose 3*z + 9 = 0, -v*z - 5 = -2*f - z. Sort h, f, -1 in ascending order.
h, f, -1
Let v be ((-27)/18)/(2/12). Let j = 0 - -1. Sort j, -2, v.
v, -2, j
Let y = 2 - 3. Let v be (-85)/(-10) + (-6)/(-4). Suppose -k = k + v. Put -2, y, k in descending order.
y, -2, k
Let w = 4.1 + -4.17. Put 0, w, 1/3 in decreasing order.
1/3, 0, w
Let u be 1/(-2) + (-14)/(-4). Suppose 0 = -0*v + 3*v - 5*q - 8, 2*v + q - 1 = 0. Put u, v, 4 in descending order.
4, u, v
Let g be 102/(-308) - (-4)/14. Let d = 73/154 + g. Let m = 0.37 + -0.07. Sort m, -5, d in ascending order.
-5, m, d
Let b be (-1)/2*(0 - -2). Suppose -3*c = -j + 3*j + 3, 0 = 3*j - 3*c - 3. Let u(y) = y**2 + y + 1. Let p be u(j). Sort -3, b, p in ascending order.
-3, b, p
Let k be (-49)/(-21) - 4/(-6). Let u(t) = t - 1. Let p be u(-2). Suppose 2*h + 1 = 5. Sort h, k, p in increasing order.
p, h, k
Let p be 2/9 + 28/36. Let y = p + -2. Let l(m) = -m**3 + m - 2. Let z be l(0). Sort y, 3, z in decreasing order.
3, y, z
Suppose -22 + 7 = 3*x. Let j(w) = w**2 + 8*w + 8. Let q be j(-6). Let k be (1/2)/((-6)/q). Put k, -3, x in descending order.
k, -3, x
Let v be 1/2 - 30/(-52). Let i = v - 95/52. Sort i, -0.02, 3 in decreasing order.
3, -0.02, i
Let z = -6.48 - -0.48. Put -5/4, -3/7, -0.4, z in ascending order.
z, -5/4, -3/7, -0.4
Let u(t) = -t**2 + 4*t + 3. Let d be u(4). Let o be ((-2)/d)/((-4)/6). Let l = 6.3 - 11.3. Sort l, 2/11, o in decreasing order.
o, 2/11, l
Let h be (-1)/1 + (4 - -1) + -5. Sort 1, -3, -5, h.
-5, -3, h, 1
Let x(g) = 15*g**2 + 3*g - 1. Let d be x(2). Let w = d - 456/7. Let b = 8 + -9. Put w, 0, b in ascending order.
b, w, 0
Let n(d) = -d - 4. Let j be n(-6). Suppose 5*i = -u + 18 + j, -2*u = -4*i + 30. Put u, 1, -2 in descending order.
1, -2, u
Let n = -14 + 15. Let f = -3 - -6. Let l = 3 - f. Put 2/7, n, l in ascending order.
l, 2/7, n
Let l = -1.2 - 1.8. Let r = 0 - -0.5. Let y = 0.31 + -0.21. Put r, y, l in decreasing order.
r, y, l
Let c be 9/6 - (-33)/6. Suppose 2*w = c - 1. Suppose -3*h + 3*s - 9 = 0, 5*h + 4 - 19 = -5*s. Sort h, w, -3 in decreasing order.
w, h, -3
Let r(v) = v**2 - 4*v - 4. Let a be r(4). Suppose 0 = 5*z - 10 - 15. Sort a, -3, z in increasing order.
a, -3, z
Let g(h) = -h**2 + 10*h - 11. Let t be g(8). Let a be (24/20)/((-1)/t). Let y be (a/(-4) + -1)*-10. Put 0, y, 3 in decreasing order.
3, 0, y
Let w = 0.3 - -0.1. Let f = -0.5 + 0.2. Let k(h) = h**2 + 6*h + 4. Let r be k(-5). Put w, r, f in decreasing order.
w, f, r
Suppose 4*q - 3*g = 3*q - 21, -g = q + 5. Let m(f) = 2*f + 13. Let u be m(q). Let d = 2 + u. Put d, 4, -3/7 in increasing order.
d, -3/7, 4
Let j be (3/3)/((-3)/(-15)). Sort j, -6, -4 in increasing order.
-6, -4, j
Let i(y) = y**3 + 8*y**2 - y - 5. Let h be i(-8). Suppose 5 = -3*w + 2, -4*w = j + 7. Sort j, 1, h in decreasing order.
h, 1, j
Let h(v) = -v**2 - 15*v - 4. Let k be h(-14). Let z be (-2 - -4)*(-25)/k. Put -2, z, 5 in decreasing order.
5, -2, z
Let m be ((-2)/(-216))/(5/(-339)). Let n = 1/36 + m. Put 0.8, 4, n in decreasing order.
4, 0.8, n
Let t = -110/51 - -881/17. Let g = t - 51. Let p be ((-4)/(-12))/(1/3). Sort p, 0.4, g in descending order.
p, 0.4, g
Suppose -4*l - 7 = -19. Let n be 1*-1*(-82)/2. Suppose 4*v - n = -5*m, l*v - 4*v + 5*m = 21. Put 1, 0, v in increasing order.
0, 1, v
Let s = 111/4 + -181/12. Let h = -12 + s. Let l = -0.4 - -0.8. Sort 1, l, h.
l, h, 1
Let o be (6/(-4))/(2/(-4)). Suppose i = -t - 2, -4*i + o*t = 5*t. Let r = 1.1 - 1. Put r, -0.1, i in increasing order.
-0.1, r, i
Let d be (-2 - (-2)/(-1))/(-2). Suppose d*r - 2*u - 10 = 0, -3*r - u + 0*u = -15. Put r, 2, 3 in descending order.
r, 3, 2
Let o = 8 + -10. Sort o, -4, 1.
-4, o, 1
Suppose -5*o = 5*n - 65, 4*o = 2*o - n + 23. Let s = o - 10. Sort -4, 2, s in descending order.
2, s, -4
Let w = -106 - -114.4. Let x = w + -8. Let d = -13 - -8. Put d, -4, x in decreasing order.
x, -4, d
Suppose -3*a + 0 = 12. Suppose 12 - 4 = -4*q. Sort q, 5, a in decreasing order.
5, q, a
Let x(c) be the first derivative of -c**2/2 - 7*c + 1. Suppose 3*l = -5*f - 24, -2*f + 2*l + 2*l = -6. Let v be x(f). Sort v, 2/5, -0.2 in increasing order.
v, -0.2, 2/5
Let a = -14 + 10. Let t = -1 + 5. Sort t, 3, a in ascending order.
a, 3, t
Let i be (-4)/22 - 0/8. Sort -2/3, -0.3, i in descending order.
i, -0.3, -2/3
Let o = 15 - 4. Let m = -6 + o. Let r = -4 - -3. Sort r, m, -5.
-5, r, m
Let q = 5 - 2. Let l = -2 + 3. Put l, q, 5 in descending order.
5, q, l
Let h = -15 - -10. Suppose 2*x + 4*s - 4 = -0, 0 = 4*x - 4*s + 4. Let l = 2 + x. Sort l, h, -2/23 in ascending order.
h, -2/23, l
Let a = -5 - -2. Let f = -1 - a. Put f, -2, 5 in decreasing order.
5, f, -2
Suppose 3*z - 6 = z, 6 = -3*b - 2*z. Sort -1, 3, 1, b.
b, -1, 1, 3
Suppose 4*g - 4*b - b = 14, 0 = -4*b + 8. Suppose -j = -0*j - g. Let x(f) = -f**2 + 7*f - 5. Let v be x(j). Put 3, v, -4 in decreasing order.
3, v, -4
Suppose -4*f + z = 0, 2*z + z + 12 = 0. Let v = 0.74 - 0.44. Sort f, v, 1.
f, v, 1
Let o = 11 + -11. Let t = 0.5 + o. Put 0.2, 2, t in descending order.
2, t, 0.2
Let l = -3 + 4. Let g be l - 2/(2/3). Let m be (g + 0)*(-2)/4. Sort -5, -1, m.
-5, -1, m
Suppose -28 + 0 = d + 5*p, -d - 13 = 2*p. Let l = -16 + 26. Let u(b) = -b**3 + 9*b**2 + 9*b + 5. Let y be u(l). Sort 0, y, d in descending order.
0, d, y
Let x = -0.02 - 0.03. Let p = -2.95 + x. Let t = p - 2. Sort t, 1/4, 0.2 in decreasing order.
1/4, 0.2, t
Let i = 3 - 5. Let p = -2.5 - i. Let x = 2/103 + -216/515. Put 0.05, x, p in increasing order.
p, x, 0.05
Suppose -5*s - 4*n = 5, -s = s + 3*n + 9. Suppose 6 = -s*l + 3. Sort l, -4, 1.
-4, l, 1
Let v = 27 - 27. Put -1, v, 1/9 in decreasing order.
1/9, v, -1
Let u be (-14)/(-4) + (-3)/(-6). Let m(r) = -r**2 + 7*r + 1. Let a be m(7). Put a, u, -4 in increasing order.
-4, a, u
Suppose 187*p = 191*p - 12. Sort -5, 1, p.
-5, 1, p
Let q = -11 + 10.6. Let j = -4.4 - q. Put j, -0.1, 1 in ascending order.
j, -0.1, 1
Let z(i) = i**3 + 4. Let p be z(0). Let y = -20.78 + 22.8. Let u = 0.02 - y. Sort u, -5, p in increasing order.
-5, u, p
Let i(s) be the first derivative of -s**3/3 + 3*s**2/2 + 3*s + 4. Let b be i(4). Put b, 4, 2 in descending order.
4, 2, b
Suppose 3*w + 28 = 7*w. Suppose w = -2*k - 3. Let c be (1*-1)/1 - -1. Put c, k, -3 in descending order.
c, -3, k
Suppose -3*b - 1 = -4*b. Let y be 4/24*(b + -3). Put -5, y, -1 in descending order.
y, -1, -5
Let t(c) = -c**3 - 14*c**2 - 14*c - 9. Let l b