2. Let p be (-54)/j*5/2. Sort 5, p, -1.
p, -1, 5
Suppose 7 = -9*m - 2. Sort 0, 4, m in decreasing order.
4, 0, m
Let k = 179 + -178. Sort 3, -10, k.
-10, k, 3
Let r be ((-7)/(-7))/(1/(-5)). Put r, 3, 0 in descending order.
3, 0, r
Let f = -13.79 + -1.31. Let g = f - -15. Sort 4, g, 0 in increasing order.
g, 0, 4
Let a be 2 + -1*(4 - 1). Put -3, -2, a in ascending order.
-3, -2, a
Let n(q) = -q**2 + 5*q + 4. Let m be n(3). Put m, -5, -1 in increasing order.
-5, -1, m
Let t = -2 + -3. Suppose 2*b - 7 = 17. Let r be 1/4 + 45/b. Sort 3, r, t in decreasing order.
r, 3, t
Suppose p + 4*p = -45. Let l = p + 12. Suppose 0 = -0*t + 3*t - l. Sort 1/4, t, 0.1.
0.1, 1/4, t
Let i = 13.7 - 14. Sort i, -0.2, 2, 16 in descending order.
16, 2, -0.2, i
Let m = -4.2 - -4.6. Put m, -1, -0.4 in increasing order.
-1, -0.4, m
Let p be 70/28*(-2)/(-5). Sort -1, 0.4, p in increasing order.
-1, 0.4, p
Let g = 12.7 - 20. Let k = g - -7. Sort -2, 5, k in ascending order.
-2, k, 5
Let t = -3 + 4. Let u be (-1 - 1/(-1))/(-1). Put -2, u, t in decreasing order.
t, u, -2
Let d = -88 + 87. Sort d, -3, 12, 2 in decreasing order.
12, 2, d, -3
Suppose 26*s = 27*s. Sort -3, -4, s in descending order.
s, -3, -4
Suppose 4*i + 6 - 2 = -4*y, 0 = 3*y + i + 9. Let d be 0 - -2 - 3/(-3). Put y, -5, d in descending order.
d, y, -5
Suppose -3*y + 5*k - 13 = -4*y, -19 = -5*y - 2*k. Suppose -3*p = 4*a - 1, -p - 5 = -a - y. Let q be 1/a*(-8)/(-10). Put 0.3, -4, q in increasing order.
-4, 0.3, q
Suppose -5*f - 51 = -5*p + 39, 82 = 5*p + 3*f. Suppose 4*i = -2*h - 0*h - 4, -5*h - p = 3*i. Let a = 4 - 1. Put a, h, 1/6 in decreasing order.
a, 1/6, h
Let x = -156 + 152. Put -1/4, x, -0.9 in increasing order.
x, -0.9, -1/4
Let z be 44/242 - 24/(-110). Sort -0.4, z, 4, 2 in decreasing order.
4, 2, z, -0.4
Suppose 3*w - 5 = 3*m + 4, 2*w = 4*m + 14. Sort m, 4, 12 in descending order.
12, 4, m
Let q(f) = f**2 - 13*f - 30. Let i be q(15). Sort -7, -13, i in decreasing order.
i, -7, -13
Suppose -2*t + t - 1 = 2*h, -4*t = -3*h - 7. Let v = -2 + t. Sort v, 4, 0 in decreasing order.
4, 0, v
Let r be 1*(-3 + -2 + 2). Let c = -2 + 5. Let s be ((-1)/c)/(4/r). Sort -0.4, 1/6, s in decreasing order.
s, 1/6, -0.4
Suppose m - u = 5, -2*m = -4*u - 15 - 1. Suppose o + m*o + 15 = 0. Put o, 2/15, -2/17 in decreasing order.
2/15, -2/17, o
Let f = 31/55 + 2/55. Sort f, 2/5, 4/7 in increasing order.
2/5, 4/7, f
Let v = 0.7 - -4.3. Let u = v + -6. Let p(w) = -w - 4. Let b be p(-4). Sort 2/3, u, b in decreasing order.
2/3, b, u
Let t = 0.06 - 5.06. Let j be 6/9*-1*1. Sort t, j, 0.1.
t, j, 0.1
Suppose 3*d = -n - 7, -5*n - 5 = 2*d + 3*d. Sort n, 3, 1 in decreasing order.
3, n, 1
Let x = -102 - -105. Sort -5, -3, x, 5 in descending order.
5, x, -3, -5
Let m(n) = -n**2 - 5*n + 7. Let z(i) = -3*i**2 - 9*i + 15. Let j(t) = -5*m(t) + 2*z(t). Let s be j(7). Sort 4, s, -2 in increasing order.
s, -2, 4
Suppose -4*b + 3 = -r, -5*r - 3*b + 16 = -3*r. Let c be (-1 - -1)/((-2)/1). Put 3, c, r in ascending order.
c, 3, r
Suppose -5*m + 5*x = -35, 4*m - 11 = 3*x + 12. Let o be (-7)/((-14)/6) - m. Sort -4, -1, o in descending order.
o, -1, -4
Let c = 4 - 3. Let n = -65/99 - 1/99. Sort 3, n, c.
n, c, 3
Let g = -0.7 + 0.9. Put -1, -3, g in descending order.
g, -1, -3
Let x be (19/(-57))/((-2)/6). Sort -3/5, 1/20, x, -1/4 in ascending order.
-3/5, -1/4, 1/20, x
Let d = 0.3 + 0.2. Let k = 4 + -3.6. Sort k, d, 1/4.
1/4, k, d
Let a(p) = -3*p**2 - 8*p + 9. Let u be a(1). Put -7, u, 1, 4 in ascending order.
-7, u, 1, 4
Suppose -4*h + 0*k = -3*k - 4, 5*k = -2*h + 2. Sort h, 0, 2 in decreasing order.
2, h, 0
Let j be ((-1)/6*2)/(2/(-6)). Put 14, j, -1 in descending order.
14, j, -1
Let u(v) = -2*v**2 - 1. Let d be u(0). Sort d, -1/10, 1/3 in decreasing order.
1/3, -1/10, d
Let f = 5.1 - 8.1. Suppose 20 = -5*u, s + 2*u + 10 + 3 = 0. Sort s, f, 1/2.
s, f, 1/2
Let h = -1.11 - -1.41. Let a(d) = -d**3 - 4*d**2 + 5*d + 4. Let z be a(-5). Suppose 2*n + n + 2*s = -3, 0 = -4*n - 4*s - z. Sort h, n, 1 in ascending order.
n, h, 1
Suppose 3*d = -15, 2*v = 4*d + 9 + 1. Sort -4, -2, v in decreasing order.
-2, -4, v
Let w = 84 - 79. Put w, 0, 10 in descending order.
10, w, 0
Let m be 4/(-6) - 51/(-9). Suppose m*p - 13 + 0 = 3*a, 3*p = -3*a + 27. Suppose -42 = -p*o - 17. Put o, 0, 4 in increasing order.
0, 4, o
Let k = -51 - -55.9. Let q = -0.1 - k. Put 2, q, -2/3 in decreasing order.
2, -2/3, q
Suppose 2 = -g + h, 5*h - 14 = 3*g - 2*g. Suppose 3 + g = 2*u. Suppose 3 = p - 0. Sort u, 1, p in descending order.
p, u, 1
Let d = 149 + -140. Sort -2, d, 5.
-2, 5, d
Let b(h) = -h**2 + 5*h + 2. Let l be b(6). Suppose -8*g - 41 + 17 = 0. Let c be (-2 - 22/(-12))*-3. Sort l, g, c.
l, g, c
Suppose -4*p = 3*t - 68, -t - t - 8 = 0. Let z = p + -25. Put -3, z, -1 in decreasing order.
-1, -3, z
Let s = -26 - -27. Sort 0, -2, s, 5.
-2, 0, s, 5
Suppose -5*m + 4*q = 6, 2 = 2*m - 3*q + 3. Suppose 4*l - 20 = -0. Sort 4, m, l in decreasing order.
l, 4, m
Let s(u) = u + 2. Let c be s(-3). Sort c, 2, 1 in decreasing order.
2, 1, c
Let p = 17/2 + -8. Sort 1, 2/21, p in ascending order.
2/21, p, 1
Let s = 3640/17 - 214. Sort -1, s, 2 in descending order.
2, s, -1
Suppose 2*u + 13 = 5*v, 0 = -3*u + 6*u - 4*v + 16. Put u, 12, 3 in increasing order.
u, 3, 12
Let z be 27/12 - 2/8. Suppose z*a - 5 = -2*k - 21, k = -4*a - 23. Suppose 21*l = -19*l + 43*l. Sort a, l, 1 in descending order.
1, l, a
Let g be (1/(-3))/(2/42). Let z(p) = p**3 + 7*p**2 + 2. Let v be z(g). Suppose -4*i = -u - 3, 7*i - 2*i - 3 = v*u. Sort -3, -5, i in decreasing order.
i, -3, -5
Let c(s) = -s - 4. Let y be c(-7). Let z = 0.1 + -0.3. Let a(f) = -f**2 - 6*f - 2. Let d be a(-6). Sort y, d, z.
d, z, y
Let l = -0.61 - -9.61. Sort -0.1, 5, l.
-0.1, 5, l
Let a be 58/(-44) - 0 - 18/99. Put -1/3, a, -4/13, -2/5 in decreasing order.
-4/13, -1/3, -2/5, a
Let a = -14.8 - -14.5. Put 0.2, 0, a, 0.1 in increasing order.
a, 0, 0.1, 0.2
Let d = -3 + -1. Sort 0, 2, d.
d, 0, 2
Let r = -0.1 + 0. Let x be -1*(1 + 12/(-15)). Let h be (-1)/3*(7 + -6). Put r, h, x in descending order.
r, x, h
Let j = -0.3 - -0.2. Let n = 10 + -14. Let q be (-1)/n - (-42)/(-8). Put j, -1/8, q in ascending order.
q, -1/8, j
Let k = -0.24 - -0.14. Put k, -2/11, -3 in decreasing order.
k, -2/11, -3
Let y(h) = 3*h**2 + h - 2. Let w be y(1). Let c = 3 - 6.5. Let q = -3 - c. Sort q, 3/4, w in increasing order.
q, 3/4, w
Let s be (-2)/(-16)*1 + 2/(-16). Let d(n) = -n**2 - 4*n + 2. Let u be d(-4). Sort s, -2, u in descending order.
u, s, -2
Suppose 3*l + 3*a = 15, -2*l - a = 3*a - 10. Suppose -6*g + 30 = l*r - g, g - 4 = r. Put -3, -4, r in descending order.
r, -3, -4
Let d(i) = -i. Let h = 7 - 9. Let f be d(h). Sort 5, -1/6, f in increasing order.
-1/6, f, 5
Suppose 0 = -2*y + 8, 63 = 5*u - 4*y + y. Let r be ((-12)/(-75))/((-3)/u). Suppose -3*m + 0*m - 9 = 0. Sort r, m, -2 in descending order.
r, -2, m
Let h = 193/2 + -4049/42. Let x = -3.3 - 0.7. Let f = 5 + x. Put h, f, -0.4 in descending order.
f, h, -0.4
Let v = 0.7 - 13.7. Put -0.2, v, 0.3 in descending order.
0.3, -0.2, v
Let a = 0.02 + -2.02. Let l = a - 0. Put 3, l, 0 in decreasing order.
3, 0, l
Let u be (1 - 3)/2 - -4. Let s = 193 - 191. Sort u, s, 8 in decreasing order.
8, u, s
Let t be (-39)/(-45) - 6/30 - 1. Suppose 5 = -4*g - m, 0*m + 5 = -2*g - 3*m. Sort g, t, 3/2 in increasing order.
g, t, 3/2
Let t = -1 - -1.2. Sort 0.3, t, 2/3 in decreasing order.
2/3, 0.3, t
Let j(l) = -l**2 + 9*l + 6. Let u be j(10). Let v(x) = 3 - 4 + 4*x**3 + 2. Let m be v(-1). Put u, m, -5 in increasing order.
-5, u, m
Let n = 0.17 + -2.77. Let l = n + 0.6. Let h = 14.1 - 14.5. Put l, -0.1, h in descending order.
-0.1, h, l
Let b = 2/137 - 149/822. Sort 1/2, b, -4 in decreasing order.
1/2, b, -4
Let x = 0.03 - 0.33. Let u = 7.4 - 7. Let s = x + u. Sort -0.2, s, 2/3.
-0.2, s, 2/3
Let k be (2/(-12))/(2/(-4)). Let f = -56/11 + 750/143. Put f, 0.5, k in ascending order.
f, k, 0.5
Let t = -10 - -9. Sort 1, t, -6.
-6, t, 1
Let d be (4/65)/(4/(-10)). Let a(z) = z**2 - 9*z + 12. Let p be a(8). Let b be (p/(-35))/((-4)/10). Sort b, d, -3.
-3, d, b
Let o = 3 + 0. Suppose -o*s + s = 0. Sort -1, -4, s in ascending order.
-4, -1, s
Let d = -18.8 + 19. Put -0.4, -0.15, d in descending order.
d, -0.15, -0.4
Let d = 11.8 + -11. Let o = d + -