2. Suppose 0 = -y*r + 4*l - 13, r + 4*l + 2 = -r. Put -2, 1, r in descending order.
1, -2, r
Let w = 40 - 45. Put -3, -70, w in descending order.
-3, w, -70
Let d(j) = j + 10. Let p be d(-6). Suppose -4*q + 6*q = 0. Let m be 1 + q + (-2 - -6). Sort p, -5, m in ascending order.
-5, p, m
Let y = 3.4 + -2.3. Let p = y + -1. Let n be ((-24)/15)/(4/(-10)). Sort n, 1, p.
p, 1, n
Let u(r) = -r + 4. Let n be u(0). Sort -5, 0.1, -0.3, n.
-5, -0.3, 0.1, n
Suppose d = -d + 8. Suppose 0*y = -d*y + 16, 6 = -2*v - y. Sort -1, 2, v in ascending order.
v, -1, 2
Let q = 6 + -8. Let w be q/(-4) + 4/40. Sort 2, 0.3, w.
0.3, w, 2
Let h = -135363/2395 + 57/479. Let d = h - -56. Let l = 0.01 - 2.01. Sort 5, d, l in ascending order.
l, d, 5
Let w(q) = -q**3 + q**2 + 1. Let g be w(0). Let m be 2/(-6)*(-19 + 4). Suppose -3*t - 2*c + 16 = -0*t, 4*t - m*c - 6 = 0. Sort g, -4, t in decreasing order.
t, g, -4
Suppose 0 = 2*t - 12 + 18. Sort t, 0.3, 0, -0.4 in decreasing order.
0.3, 0, -0.4, t
Let m = 0.42 - -4.58. Sort -1, 3, m.
-1, 3, m
Suppose -2*n = x - 9, 6*x + 7 = x + 3*n. Sort -8, x, 4 in increasing order.
-8, x, 4
Suppose 2*a = -2*t - 2, 5*a + 0*t - 16 = 2*t. Let w = -9 - -14. Sort -2, w, a in decreasing order.
w, a, -2
Suppose -n + 12 = 2*n. Let f be 3 + -4 - 30/(-34). Sort -1/8, n, f in ascending order.
-1/8, f, n
Suppose 4*w = 183 + 241. Let o be w/(-22) + 22/(-121). Let j be (1*-2)/((-4)/(-6)). Put j, o, 0 in descending order.
0, j, o
Let f be 238/63 - (-4)/18. Put -1, f, 5, -3 in increasing order.
-3, -1, f, 5
Suppose 0 = -4*a + 22 - 6, 0 = 4*j - 4*a + 4. Put -22, j, 4, 2 in descending order.
4, j, 2, -22
Suppose -a + 20 = 3*a. Sort 2/9, a, -0.1 in descending order.
a, 2/9, -0.1
Let q(v) = v**3 + 9*v**2 + 12*v + 27. Let s be q(-8). Let l = -1 + 4. Put s, l, 1 in increasing order.
s, 1, l
Let t be (-282)/(-14) + 2/(-14). Suppose 4*z - w + t = 0, -w + 3*w = -4*z - 20. Put 0, -1, z in decreasing order.
0, -1, z
Suppose 44 = 5*o + 9. Suppose 13 = 4*s - o. Let u be 99/(-21) + (-4)/14. Sort s, -2, u.
u, -2, s
Let x be 37/(-7) - (-22)/77. Sort 4, 0, x in ascending order.
x, 0, 4
Let i be ((-7)/6)/(15/30). Put 0, i, 1 in descending order.
1, 0, i
Let l = -0.23 - -0.22. Sort 0, 5, l, -3.
-3, l, 0, 5
Let w be (-6)/4*(-6)/9 - 1. Put -9, w, 1, -2 in decreasing order.
1, w, -2, -9
Let v = 2 + -2. Let z(w) = w**2 - 2. Let o be z(v). Sort o, 3, -4 in increasing order.
-4, o, 3
Let o = -103 - -100. Let n be (4/1)/(0 + 1). Let m(l) = -2*l - 3. Let a be m(-3). Sort n, o, a in decreasing order.
n, a, o
Let o = 25 - 25. Sort -1, -4, o in increasing order.
-4, -1, o
Let b = 11 - 9. Suppose 2*r + r + 3 = 0. Sort b, r, 0.
r, 0, b
Let m = 0.3 + 0.2. Let n = 3.4 + -3.2. Sort m, n, 1.
n, m, 1
Suppose -16*w + 16 = -20*w. Sort w, 0, -19 in descending order.
0, w, -19
Let q = 2.5 - 2. Let z = -4.9 - -0.9. Let x = z - -1. Put q, x, 2/11 in ascending order.
x, 2/11, q
Let i = -1 + -3. Let o be (-12)/2 - -2*1. Let z be 1*o/((-12)/9). Sort i, -5, z in descending order.
z, i, -5
Suppose -2*c + 6*c + 3*m + 8 = 0, 0 = -3*c - 5*m + 5. Put -0.2, c, 2, 3 in decreasing order.
3, 2, -0.2, c
Let p = 742/11 - 23167/341. Let t = p - -943/2077. Let x = t + 73/201. Sort x, -2, -1/4 in ascending order.
-2, -1/4, x
Let b be 2/3 + (-1480)/1692. Let g = b - 2/141. Sort g, -2/13, 1/4 in descending order.
1/4, -2/13, g
Suppose -5*i - 2 + 27 = 0. Suppose 3*t = i*t - 8. Put t, -5, 3 in increasing order.
-5, 3, t
Suppose 1 = 3*p + 13. Suppose -5*m + 5*c = 20, -5*c + 15 = -2*c. Sort -2, p, m.
p, -2, m
Let d = 15 + -8. Sort 1, -2, d.
-2, 1, d
Let y(n) = -n**2 + 2*n - 1. Let a be y(2). Suppose 0*h = 4*h - 16. Suppose -q + 12 = -5*q - h*b, -3*q = -5*b + 9. Sort q, a, 1.
q, a, 1
Let x(h) = -h**3 - 3*h**2 - 3*h - 7. Let j be x(-3). Put -3, -2, j in descending order.
j, -2, -3
Suppose 0 = -6*c - 2*c + 8. Let r(a) = a + 12. Let i be r(-7). Let h = -1 - -1. Put h, i, c in ascending order.
h, c, i
Let x = 2 + -8. Let j = -7 - x. Sort -1/7, j, 1 in descending order.
1, -1/7, j
Let c = -4 + 8. Suppose 2*z + 3*z + 4*k - 21 = 0, 9 = z - 4*k. Suppose -c*y - z = y. Sort 5, y, 3.
y, 3, 5
Let q(x) = -3*x + 17. Let s be q(7). Sort -2, s, -1.
s, -2, -1
Let l = -1 + 1. Suppose -2*t + 0 = 2. Let g be ((-3)/(-2))/((-1)/(-2)). Put t, l, g in descending order.
g, l, t
Let t = 93/5 + -19. Sort -0.1, t, 0.4 in descending order.
0.4, -0.1, t
Let y = 0 - 0. Let t(x) = x + y - 3*x + 1. Let h be t(-1). Sort h, 1, 0.
0, 1, h
Let p = 3 + 1. Suppose 0*l = p*l. Sort 1, 5, l in descending order.
5, 1, l
Let z be (8/5)/((-14)/(-35)). Suppose -3 = -z*r + 1. Sort -2, -4, r.
-4, -2, r
Let i = -1148/2845 - -2/569. Sort -4, i, 2, 2/5 in decreasing order.
2, 2/5, i, -4
Let w = 1 - -4. Let b be (9/(-15))/((-1)/w). Let o be ((-8)/6)/((-2)/(-6)). Sort 4, o, b in descending order.
4, b, o
Let n(l) = l**2 + l + 3. Let o be n(0). Suppose k - 5 = -d, 3*d + 12 = 3*k - o. Suppose 0 = 3*s - d + 9. Sort s, 1, -1 in ascending order.
s, -1, 1
Suppose -5*b + 5*n = -5, 5*b + 4*n + 37 = 6. Let d = -7 - b. Sort 2, -3, d in increasing order.
d, -3, 2
Let o(a) = -a**3 + 2*a**2 - 3*a + 3. Let m be o(1). Put -0.6, m, -0.2 in decreasing order.
m, -0.2, -0.6
Let f = -25 + 25.4. Let g = -3 - 0. Sort g, 5, f in increasing order.
g, f, 5
Let q(v) = -1 - 2 - v + 0. Let k be q(-5). Let m be k - 1 - 15/3. Put -1, 1/4, m in decreasing order.
1/4, -1, m
Let m(y) = y**2 + 9*y + 3. Let j be m(-9). Let a = j + -2. Let k = -8 + 6. Put k, a, -5 in ascending order.
-5, k, a
Suppose -z + 0*z + 5*a = -26, -4*a - 23 = -3*z. Suppose 2*p - 2 = 3*p, 0 = 4*h + 5*p - 10. Let t = -18 - -15. Put z, t, h in ascending order.
t, z, h
Let s(q) = q**2 + 9*q + 6. Let t be s(-8). Put 4/7, -3, t in increasing order.
-3, t, 4/7
Suppose -5*s + 0 = -4*r + 6, -3*r + 4*s = -4. Suppose 5*a - 4*a = r*k - 9, k = -2*a + 9. Sort -1, -5, k in decreasing order.
k, -1, -5
Let n be 2/13 - (2 - 24/13). Sort 6, 4, 1, n.
n, 1, 4, 6
Suppose -l + 3*p + 13 = l, 5*p = 3*l - 22. Put l, 6, 1 in decreasing order.
6, 1, l
Let s = 11.7 - 0.7. Let k = -15 + s. Let u = 4 + -3.7. Sort k, 0.5, u in ascending order.
k, u, 0.5
Let u be (-16)/(-1 - (3 + -2)). Let d be u/52 - 4/26. Let j = -47/33 + 12/11. Sort d, j, -5 in ascending order.
-5, j, d
Suppose -3*i - 4*d + 1 = 0, 0 = 3*i - d + 4*d + 3. Sort 4, i, -17.
-17, i, 4
Let w = 2.5 - 3. Let i(p) = p**3 + 6*p**2 + 5*p - 1. Let a be i(-5). Put -0.2, w, a in decreasing order.
-0.2, w, a
Let a(u) = -2*u**2 - 35*u - 11. Let w be a(-18). Put w, -5, 5 in increasing order.
w, -5, 5
Let k = 0.01 + 1.99. Let i be (-57)/132 + (-2 - -3). Let p = 2/11 + i. Sort p, k, 0 in increasing order.
0, p, k
Let y be 0 + 1 + 0 + 21. Suppose 2*x + 2*x + 192 = 0. Let u be x/y + (-14)/(-77). Sort 4, u, 2 in increasing order.
u, 2, 4
Suppose -1 + 5 = -3*i + q, -3*q = 4*i + 27. Sort 0, -5, i in descending order.
0, i, -5
Let h be (30/(-20))/(1/(-2)). Sort h, 2, -4, -2.
-4, -2, 2, h
Let q = 5.76 + -0.26. Let d = q - 0.5. Suppose -c - 3*l - 7 = 1, -15 = -3*c + 4*l. Put c, d, 0.1 in ascending order.
0.1, c, d
Suppose 0 = 5*t - 8 + 18. Sort -5, t, 5 in ascending order.
-5, t, 5
Let l = 0.2 - -0.3. Let p = -23/3966 + -3783173/67422. Let i = p + 56. Put i, -5, l in descending order.
l, i, -5
Let d = -2/15 - -19/30. Let o = -93 - -88. Sort o, 0, d in ascending order.
o, 0, d
Let k be (-2)/(-7) - 19/(-7). Let z(c) = c**2 + 11*c + 13. Let d(l) = 2*l**2 + 22*l + 26. Let x(n) = -2*d(n) + 5*z(n). Let o be x(-9). Sort k, o, 4.
o, k, 4
Let m = 58 + -54. Put 2/7, 1.2, -1/2, m in increasing order.
-1/2, 2/7, 1.2, m
Let v = -0.43 - -0.33. Sort 0.1, v, -0.11.
-0.11, v, 0.1
Let o = 9 + -8.8. Put -3, o, 2 in descending order.
2, o, -3
Let t be (5/5)/(12 + 1). Let d = 17/117 + t. Suppose -3*x + 16 = -4*n, 3*x - 5*n = -0*x + 17. Sort x, d, -0.4 in increasing order.
-0.4, d, x
Let k be 15*((-2)/3 - -1). Put -1, k, -4 in decreasing order.
k, -1, -4
Suppose 5*g - 32 = -3*g. Sort g, -3, 5 in descending order.
5, g, -3
Let n(p) = p**2 - 5*p. Let m be n(5). Let z = 6 - 1. Put m, z, -4 in increasing order.
-4, m, z
Let m be (-1)/(1/2)*-14. Let s be 6/m + (-1)/2. Sort s, -0.1, 2 in decreasing order.
2, -0.1, s
Suppose -4*b = 5*q + 5, -5*b + 1 + 4 = -5*q. Let a be (1 + 2 - 0)*q. Put a, -1/4, 1 in decreasing order.
1, -1/4, a
Let a = 3/19 + -37/