2. Let h = a + 14. Suppose -5*t + 18 = -2*b, -2*t + 2*b + 12 = 6*b. Sort t, h, -2 in descending order.
h, t, -2
Suppose 0 = 4*d - 8 - 4. Suppose 0*s - 2*s + 6 = 0. Let r = s - 8. Sort r, d, -4.
r, -4, d
Suppose 2*y - 4*y = -6. Suppose 19 = y*r + 4*z - 2*z, -3*z + 11 = r. Let h = -256/3 - -86. Put r, 1, h in descending order.
r, 1, h
Let z(t) = t**2 + 3*t + 3. Let d be z(-2). Let y = d - -4. Let s be 2 - y*(-2 - -3). Sort -3/4, s, -2 in ascending order.
s, -2, -3/4
Let i = -6 + 0. Let u = -7 - i. Sort 0, -3, u in descending order.
0, u, -3
Let q = -81 + 80. Sort q, 0, -1/6, 2/11 in descending order.
2/11, 0, -1/6, q
Suppose -2*l = -40 + 36. Sort l, 5, -3.
-3, l, 5
Let j be 212/6 + (-7)/21. Let p be 25/j + (-2)/(-7). Sort -3, -1, p in descending order.
p, -1, -3
Let z(l) = -2*l - 2. Let n be z(-3). Suppose 3*w = 3*k + 3, 5*k = -0*w - 5*w + 25. Suppose w*b - 2 = b. Put 2, n, b in ascending order.
b, 2, n
Let q = -15 - -19. Put q, 1, -5 in decreasing order.
q, 1, -5
Let x = -11 - -5. Suppose 110*m - 113*m = 15. Sort 0, x, m in decreasing order.
0, m, x
Let q = -3.19 - -0.19. Let t = -0.9 - 0.1. Put q, 2/9, t in descending order.
2/9, t, q
Let s = 0 + 0.1. Let z = -4.06 - -4. Let c = 0.36 + z. Sort -0.1, c, s in ascending order.
-0.1, s, c
Let t = -4.7 - 4.8. Let h = t - -10. Put h, -2, 3 in ascending order.
-2, h, 3
Suppose p = -p + 8. Sort 2, p, 3.
2, 3, p
Suppose -4*i + 5*v - 32 = 0, 4*i - i + v = -5. Put 0, -4, i, 1 in decreasing order.
1, 0, i, -4
Let s = -2 + 2. Let u = 0.1 - s. Let z = 134 + -135. Sort 0.2, u, z in decreasing order.
0.2, u, z
Let t = -67 + 72. Sort 2, t, 1, -5 in increasing order.
-5, 1, 2, t
Let j = 8 - 7. Suppose -4*b = -j - 15. Sort -1, b, -5 in ascending order.
-5, -1, b
Let l(c) = -5*c**2 + c. Let g be l(1). Sort 0.04, g, 0, -1.
g, -1, 0, 0.04
Suppose -3*w + w = -68. Let v be (-12)/(-9)*w/(-10). Let n = 13/3 + v. Sort -1, -5, n in decreasing order.
n, -1, -5
Let v = -6.2 + 3.2. Sort v, -5, -5/3, 0.3 in increasing order.
-5, v, -5/3, 0.3
Let w be (2/8)/(6/(-232)). Let u = 1/121 - 3754/363. Let k = u - w. Sort k, -4, 0.5 in increasing order.
-4, k, 0.5
Let a = -20/3 + 7. Let n = 0.2 + 0.3. Sort 1, n, a in ascending order.
a, n, 1
Let q = 15 - 21. Let o = q + 11. Sort 6, o, -2 in descending order.
6, o, -2
Let p be (5 + 1)*2/4. Suppose 0*w = p*w + 9. Put 0, 5, w in decreasing order.
5, 0, w
Let i(x) = -x**2 + 4*x - 2. Let k be i(4). Let b = 4 + 7. Let f = b - 15. Put f, k, 0 in descending order.
0, k, f
Suppose 0 = 3*s - 2*s - 10. Let t = s + -5. Let c(o) = 4*o - 67. Let i be c(17). Sort i, t, 2.
i, 2, t
Let w = -2.7 + 1.5. Let f = -0.8 - w. Put f, 0.5, 0.2 in decreasing order.
0.5, f, 0.2
Let m(j) = j**3 + 2*j**2 - 4*j - 1. Let f be m(-3). Let k = 0.68 + -0.08. Let w = k + -1. Sort 0, w, f in decreasing order.
f, 0, w
Let t = 0.8 + -1.5. Let r = -41.3 + 41.7. Sort r, 3, t in ascending order.
t, r, 3
Let h = -4.07 - -0.07. Let o = h + -1. Sort -1, 4, o in decreasing order.
4, -1, o
Suppose 0 = 3*q - 40 + 13. Suppose -4*o + q*o = 0. Put -5, -2, o in increasing order.
-5, -2, o
Let y = -3 + -12. Let q = y + 13. Sort -4, 2, q.
-4, q, 2
Let f = -3.9 - -4. Let q be 4/(-6)*(-3)/(-2). Let w be 1/q - 78/(-66). Sort f, w, -0.1 in decreasing order.
w, f, -0.1
Let a = -0.069 + -14.431. Let t = 14 + a. Put t, -1, 5/3 in descending order.
5/3, t, -1
Let n = 15 + -12.7. Let l = 3.2 + -1.2. Let g = l - n. Sort g, 0, 1 in decreasing order.
1, 0, g
Let s = -16 + 16. Sort -1, s, 16, -5 in decreasing order.
16, s, -1, -5
Suppose -6 = 5*u - 7*u. Put u, 13, -1/4 in decreasing order.
13, u, -1/4
Let o = 7 - 7.12. Let q = o + 5.12. Sort q, -0.1, -5 in decreasing order.
q, -0.1, -5
Let k = -8 - -11. Let j be ((-6)/28)/((-21)/14). Put j, 2/7, k in increasing order.
j, 2/7, k
Let y(j) = 12*j**2 - 1 + j**3 - 8*j**2 + 16*j + 13*j**2. Let k be y(-16). Put 3, k, 5 in descending order.
5, 3, k
Let t be -5 - ((-20)/(-30))/((-4)/18). Suppose 0 = 2*i - 2. Put 4, i, t in descending order.
4, i, t
Suppose 3*h + 2 = 2*z, 2*z + z - 8 = 2*h. Put h, -4, -13 in decreasing order.
h, -4, -13
Let v(w) = w**2 - 13*w + 3. Let r(t) = -t**2 + 12*t - 3. Let k(b) = -7*r(b) - 6*v(b). Suppose 3*x = -4 + 16. Let o be k(x). Sort 5, o, 1/4.
o, 1/4, 5
Suppose 10 = -5*g + 4*i, -2*g - 3 = -4*i + 1. Let q be 3/6*2*g. Let z = 10 - 15. Put z, q, 1/5 in decreasing order.
1/5, q, z
Suppose -5*s - 36 = -2*p, 5*s + p - 6*p = -30. Let o = 14 + s. Let j be 29/(-9) + o/27. Put -1, -2, j in decreasing order.
-1, -2, j
Let o = 41 - 41.4. Suppose i = -5*x - 3*i - 55, -4*i = 4*x + 48. Sort x, 4, o.
x, o, 4
Suppose 2*o + 22 = -20. Let g be o/6 - 3/6. Sort g, -2, -1 in descending order.
-1, -2, g
Let r be (0 + (0 - -2))/2. Sort -3, r, -2 in decreasing order.
r, -2, -3
Let f(x) = x - 2. Let b be f(7). Put 3, b, -5 in decreasing order.
b, 3, -5
Let m(p) be the first derivative of p**2/2 - p + 3. Let d be m(-1). Sort d, 4, -1 in ascending order.
d, -1, 4
Let z = 2 + 1. Suppose -z*d = -5*g - 29, 4 = 2*d - g - 6. Let f = 0 + -3. Sort f, -2, d in ascending order.
f, -2, d
Suppose 5 = q + 2. Suppose -4*r - 4*j + 3*j + 12 = 0, 2*r = -j + 8. Suppose -8 = d + r*m + m, -5*m = d + 14. Sort q, -3, d in increasing order.
-3, d, q
Let n = 8 - 11. Let f be (144/30)/((-3)/10). Let o be 3/(28/f*-4). Sort 0.1, o, n in ascending order.
n, 0.1, o
Let k = 121 - 125. Put 0, -5, 5, k in descending order.
5, 0, k, -5
Let b = -36 - -33. Put -1/3, 4, 1/5, b in increasing order.
b, -1/3, 1/5, 4
Let z = 3.3 - 3. Sort -0.3, z, 5/6 in decreasing order.
5/6, z, -0.3
Let s = -8 + 6. Let q = 5 + -6. Put s, q, 4 in increasing order.
s, q, 4
Let k = 0.014 + 1.846. Let d = -0.14 - k. Put 1/6, 1/4, d in decreasing order.
1/4, 1/6, d
Let u = 0.9 - 1. Let f(i) = i**2 + 6*i - 1. Let z be f(-6). Put z, -3, u in increasing order.
-3, z, u
Suppose f + 5*a + 3 = 0, -2*a + 2 = 2*f - 0. Let z be (-30)/(-12)*(1*-2)/1. Sort z, f, 5.
z, f, 5
Let w be 18 + 4*(-3)/6. Suppose -2*r - 12 = -c, -2*r - w = 2*r. Sort c, -1/2, 0.
-1/2, 0, c
Suppose f = -14 + 9. Let u = -2 + 3. Sort -1, f, u in descending order.
u, -1, f
Let f be 2/(-4) - 3 - 3/(-1). Sort -1, 0.1, -2/3, f.
-1, -2/3, f, 0.1
Let c(p) = p**3 + 15*p**2 + 14*p + 9. Let q be c(-14). Suppose -q*v + 6*v = 15. Let r = 109 + -979/9. Sort -2/11, v, r in decreasing order.
r, -2/11, v
Let f(k) = 5*k - 42. Let w be f(8). Sort w, 12, 4, -1.
w, -1, 4, 12
Let o = -4 - -4.1. Let j = 0.1 + o. Let x = j + 0.3. Put 3, 0, x in descending order.
3, x, 0
Let j be (30/9)/(8/(-12)). Sort j, -2, -12.
-12, j, -2
Suppose m - 3*m + 6 = 0. Suppose m = -k + 2. Let p(o) = -2*o. Let x be p(-2). Sort k, -3, x.
-3, k, x
Let i = 0 - 2. Let s = 16 - 11. Suppose -s*n - 10 = -5*c, -n + 4*n - 18 = -5*c. Sort 5, i, n in increasing order.
i, n, 5
Let u be (21/14)/(9/(-4)). Sort -4, 1/6, u, 0.3 in decreasing order.
0.3, 1/6, u, -4
Suppose -v + y = 0, 0 = 6*v - v + 4*y - 36. Sort v, -1/4, 0.1 in ascending order.
-1/4, 0.1, v
Let y = 13.64 + -14. Let j = y + 0.06. Sort -0.2, j, -3.
-3, j, -0.2
Let m = 19 - 49. Let v be (0 + -1)/(6/m). Sort -8, v, 2.
-8, 2, v
Suppose 0*w = 3*w + 2*h + 25, w + 2*h = -15. Put -1, -11, w in descending order.
-1, w, -11
Let p = 8 + -4. Let i be (1 + -2)*(p - 5). Let j(f) = f + 1. Let h be j(4). Put h, -4, i in decreasing order.
h, i, -4
Suppose 4*f - 9 = -2*j + 11, 0 = j + f - 8. Suppose j*b = 3*b. Let z be 10/((-4)/2) + 3. Put z, -4, b in increasing order.
-4, z, b
Let s = -0.702 - -0.002. Put s, 2, -2/25 in decreasing order.
2, -2/25, s
Let f be 2 + (4 + -3 - 2). Let v be f + 15/(-6) - -1. Sort 2/9, v, -2.
-2, v, 2/9
Suppose 0*c = 3*c - 54. Let b = -13 + c. Let u be 231/(-45) - (-8)/60. Sort -1, u, b.
u, -1, b
Suppose 0 = t - 0*t + 3. Let r be (0/1)/(2 + t). Suppose -a - 15 = 4*y, 3*y - 2*a = -0*a - 14. Sort -5, r, y.
-5, y, r
Let i = -0.15 - -0.65. Put 1/6, -12, i in ascending order.
-12, 1/6, i
Let u = 2 - 3. Let v be u + 3/((-9)/(-15)). Let l be (-2)/(-10) - 78/15. Sort -1, v, l in decreasing order.
v, -1, l
Let a(h) = -h**2 + 2*h + 5. Let k be a(3). Sort k, -5, 0 in increasing order.
-5, 0, k
Let d = -1.8 - -1.7. Put d, -1, 0.5 in increasing order.
-1, d, 0.5
Let s = -23/192 + -3/64. Let v be 6/(-8) + 231/132. Put v, -0.2, s in increasing order.
-0.2, s, v
Let r = -26 - -23. Sort -4/5, 0.07, r