2. Put a, t, -2 in decreasing order.
t, a, -2
Suppose -t + j = -4*j - 15, -4*j = 3*t + 31. Put t, 5, -2, -3 in decreasing order.
5, -2, -3, t
Let h be ((-14)/21)/((-34)/(-6)). Let a(b) = 3*b**2 + 1. Let t be a(-1). Sort 0.1, t, h.
h, 0.1, t
Suppose -z - 3 = -1. Let l be (-6)/(7/z - -2). Sort -7, -3, l in ascending order.
-7, -3, l
Let f = -6 + 8. Let w be 4 - 1 - (7 + -7). Put w, 5, f in decreasing order.
5, w, f
Let v = 0 + 0. Let h = 84 - 86. Put v, -3, h in increasing order.
-3, h, v
Let p(h) = h**2 - h - 5. Let d(o) = o. Let t(b) = -5*d(b) + p(b). Let x be t(6). Sort -1, x, 4 in descending order.
4, -1, x
Let m = 0.4 + 7.6. Let a = m - 13. Let z = a + 2. Sort 4/3, z, -4/7 in ascending order.
z, -4/7, 4/3
Let y(z) = -z**3 - z**2 + z - 2. Let u be 2/2 + 2 - 3. Let f be y(u). Sort 1, 2, f.
f, 1, 2
Let l be ((-5)/(-6))/(5*7/210). Put l, -2, 12, 2 in increasing order.
-2, 2, l, 12
Suppose -3*u - 57 = -5*k - 19, 54 = 5*k + u. Let n be 2/(-4) - k/(-4). Let c be (-1)/(-5 - (-3 + -1)). Sort n, c, 4 in increasing order.
c, n, 4
Let q be (-6 - -2) + (2 - -13)/5. Put q, -4, 1 in ascending order.
-4, q, 1
Let f be 4/(-14)*(-14 + 0). Sort -1, 3, f in descending order.
f, 3, -1
Let v = 12.5 + -12.1. Put 31, v, -0.1 in decreasing order.
31, v, -0.1
Let k be 1/(1 + 8/(-10)). Suppose 3*b = -2*p + 17 - k, b + 5*p + 9 = 0. Suppose -16 = 5*y - b. Sort -3, y, 3 in increasing order.
-3, y, 3
Let f = 7.9 + -8. Suppose 0*h = 4*h + 4. Let l = 11.6 - 12. Sort l, h, f.
h, l, f
Suppose 5*y - 32 = k, 0 = -y - 0*y - 5*k - 4. Put y, 1, -1 in descending order.
y, 1, -1
Suppose -37*g = -41*g + 12. Put 6, -5, 0, g in decreasing order.
6, g, 0, -5
Let c be -6 - (-1 + (0 - -3)). Sort -3, c, 4 in decreasing order.
4, -3, c
Let g be 2/(-2)*(3 - 1). Let t(n) = n**3 - 7*n**2 - 8*n + 9. Let y be t(8). Suppose 5*x - 3*k + 1 = y, 3*x - 16 = -k. Put g, 3, x in descending order.
x, 3, g
Suppose -3*h - 25 = 2*h. Let i(x) = x + 2. Let w be i(-3). Sort -2, w, h in ascending order.
h, -2, w
Let j = 9.2 + -0.2. Let a = -12 + j. Put a, 0.3, 2 in descending order.
2, 0.3, a
Let u be (-2)/(-24)*(4 + -3). Let z(x) = -4*x**2 - 1 - 7*x + 9 + 5*x**2 - x. Let i be z(7). Sort u, 0.1, i in increasing order.
u, 0.1, i
Let p be 4/(-6) + (-19)/(-24). Let s be 57/24 - (3 - (-4)/(-4)). Put p, s, -2/5 in ascending order.
-2/5, p, s
Suppose -15*r + 46 - 1 = 0. Sort -5, 5, -4, r in ascending order.
-5, -4, r, 5
Let m be (-2)/(3*(-10)/12). Let r = m - 17/15. Put -3, r, 1 in ascending order.
-3, r, 1
Let g(f) = -f**2 - 3*f - 1. Let j be g(-2). Let o be j/(-5) + (-4)/5. Sort 3, o, 1 in decreasing order.
3, 1, o
Let s = -140 - -982/7. Sort -0.4, s, -0.2.
-0.4, -0.2, s
Suppose -r = -5*r. Suppose r*u - 3*u = 0. Put u, 2, -1 in descending order.
2, u, -1
Let l be (-3)/1 - (2 + (-127)/25). Sort l, -2, -3.
-3, -2, l
Suppose 2*s - 2 = 0, 4*f - 5*s - 2 = 9. Let r = 0.1 - 0.3. Put f, r, 1 in decreasing order.
f, 1, r
Suppose 0 = 2*k - 6*k + 12. Let i = k - 3. Put 5, 3, i in ascending order.
i, 3, 5
Let s = 188 + -2442/13. Let a = 8 + 0. Let p = a - 7.9. Sort s, p, 2/19.
p, 2/19, s
Let x = 30 + -30. Put 1/6, -4/5, x in decreasing order.
1/6, x, -4/5
Let r be (42/4)/(21/(-56)*1). Put r, -1, 3 in ascending order.
r, -1, 3
Suppose -2*k + 4*k = 0. Suppose 2*m + 4 = -3*w, 5*w - 13 = 5*m + 22. Sort w, k, -4 in decreasing order.
w, k, -4
Let b = 3610 + -3453.08. Let r = -153 + b. Let h = r - -0.08. Put 0.4, 2, h in descending order.
h, 2, 0.4
Suppose -4*t + 2*k = -k + 14, 0 = 3*t + 3*k. Put 4, -3, 3, t in increasing order.
-3, t, 3, 4
Suppose 0 = -u + 1 + 1. Suppose u*q + 8 = 10. Let g = -0.1 + 0.3. Sort g, -0.2, q in decreasing order.
q, g, -0.2
Let v(k) be the third derivative of -k**6/120 + k**5/10 - 5*k**4/24 - 5*k**3/6 - k**2. Let p = 13 + -8. Let j be v(p). Put 1, j, -2 in decreasing order.
1, -2, j
Let z(l) = l**2 - 6*l - 4. Let h(q) = q**2 + 8*q - 13. Let c be h(-10). Let i be z(c). Sort -5, 1, i.
-5, 1, i
Let v = 37.1 - 37. Put -2/17, 1/2, v, 1/4 in decreasing order.
1/2, 1/4, v, -2/17
Let j = -0.1 + -0.1. Let g = 6878503/135 - 50951. Let m = g + -2/27. Sort j, m, -4/5 in descending order.
m, j, -4/5
Let a = -8.837 + 0.137. Let y = a - -9. Sort 0, y, 5 in decreasing order.
5, y, 0
Suppose 5*p = -4*f + 28, 5*f + 6*p - 26 = 2*p. Let a = 16 - 13. Suppose a*y = y. Put f, -5, y in decreasing order.
f, y, -5
Let g(d) = 5*d**3 + 3*d + 2. Let v be g(-2). Let m be 10/25 - v/(-10). Sort 4, 1, m.
m, 1, 4
Suppose -2*g - 1 = -9. Suppose 0 = 4*m - 3*u - 6, -u = -3*m + 3*u + 8. Let w = -2 - -5. Put m, g, w in decreasing order.
g, w, m
Let l = 8.9 + -9. Suppose z = 5*i - 13, 4*z - 2*i - 11 = -3*i. Sort l, z, 1/3 in decreasing order.
z, 1/3, l
Let a be (-9)/(-6)*(-10)/9. Suppose 0 = -16*g - 20 - 28. Put g, a, 4 in descending order.
4, a, g
Let m = 2.99 - -0.01. Let s = 0.3 + -0.3. Sort m, s, -0.2 in increasing order.
-0.2, s, m
Let b = 2 + 0. Let m be (-1 - -2)/(b/2). Let h be m*3*(5 + -4). Sort -4, 2, h in descending order.
h, 2, -4
Let u = 15.4 + 4.7. Let z = 20 - u. Let r = 13/2 - 27/4. Sort 0, r, z in decreasing order.
0, z, r
Let z be (-70)/22 + (-5 + 1 - -7). Let r = 2 - -3. Sort z, r, 2 in decreasing order.
r, 2, z
Suppose 3*f = -g + 8 + 6, -3*g + 18 = 3*f. Suppose 8*a - f*a - 20 = 0. Let p = 20 - 24. Sort p, a, -3 in increasing order.
p, -3, a
Suppose 0 = 2*v - 1 - 3. Let q = v + -7. Sort q, 0, 2 in decreasing order.
2, 0, q
Suppose -2*f - 15 = 7. Let t be f*(-18)/51 + -4. Put t, 3, -1/2 in descending order.
3, t, -1/2
Let o = 71 - 77. Put 3, o, 5, -1 in increasing order.
o, -1, 3, 5
Let h be (12/(-10))/(3/(-10)). Suppose -16 = 4*b - h*o, -2*o + 7 = -5*b - 4. Let x be 1/(-3*(-1)/3). Sort b, 5, x.
b, x, 5
Let q = -0.1 + 0.5. Let u = 2.2 + -2.2. Sort q, u, 0.5 in ascending order.
u, q, 0.5
Let m = 0.013 + -2.013. Put 4, 5, m, 3 in increasing order.
m, 3, 4, 5
Let n = -0.03 - 1.97. Let s = -6 - -14. Let l = s + -7.6. Put -5, l, n in ascending order.
-5, n, l
Suppose -3*p = 2*p - 10. Suppose -2*a + p*t - 18 = 0, 4 + 4 = -4*a - 3*t. Let u be -5*((-36)/15 + 3). Sort 4, u, a in increasing order.
a, u, 4
Let b be (-12)/81*6/(-4). Put -2/7, b, 0 in decreasing order.
b, 0, -2/7
Suppose -5*u = 141 + 159. Let k = -169559/2828 - 75/404. Let n = u - k. Put 0.3, n, 2/5 in increasing order.
n, 0.3, 2/5
Let b(j) = j**3 - 2*j**2 - 4*j. Let r be ((-4)/6)/((-6)/27). Let t be b(r). Put 5, t, -5 in decreasing order.
5, t, -5
Let f(a) = 4*a - 24. Let l be f(7). Let d be (-1 + -1)/((-4)/10). Sort -1, l, d in decreasing order.
d, l, -1
Let i = 422.2 + -422. Suppose 0 = n + 3*n - 12. Let r be 2/(-4) - n/(-10). Put r, -4, i in descending order.
i, r, -4
Suppose 0 = -2*r - 2. Sort 5, 0, r in descending order.
5, 0, r
Let z be 5 + -5 - 1/(-1). Sort 0, -1, z in increasing order.
-1, 0, z
Let l = -287.9 - -288. Let q = -2/71 - -75/142. Sort q, l, 4 in decreasing order.
4, q, l
Let f = 21 + -22.8. Let o = 2 + 0. Let b = o + f. Put 0, b, -1 in descending order.
b, 0, -1
Let c be -1 - -1 - (-2)/6. Suppose j - 5 = 3*l, 5*l + 5*j + 48 = 13. Sort l, c, 2/13 in descending order.
c, 2/13, l
Let v(k) = -k - 5. Let u be v(-5). Let z = u - 1/2. Put 3/8, z, 2/5 in descending order.
2/5, 3/8, z
Let x be (-1 - 0) + 16/14. Suppose -2*m = -4*d - d + 356, 0 = -3*d - 4*m + 224. Let a = 218/3 - d. Put x, -2/19, a in decreasing order.
a, x, -2/19
Suppose -4*q + j - 27 = q, -25 = 3*q - 5*j. Let o be 66/14 - (-6)/21. Sort 4, o, q in decreasing order.
o, 4, q
Let p = -0.01 - -2.01. Suppose -2*r + 5 = -r. Sort p, 3, r.
p, 3, r
Let a = 11 + -9. Put -2/5, -5/2, -3/2, a in increasing order.
-5/2, -3/2, -2/5, a
Let o be (-1)/(-4) + (-258)/(-8). Let c = 33 - o. Sort c, -0.1, 3.
-0.1, c, 3
Suppose 0*c - 3*c - 7 = -2*q, q - 2*c = 5. Let u(g) = -g. Let a be u(-6). Let d = a - 8. Put q, 4, d in increasing order.
d, q, 4
Let v = 42 + -43. Let x = -5.12 + 0.12. Sort x, 0.3, v in decreasing order.
0.3, v, x
Suppose 6 - 2 = 2*i. Let b be 2*(-3)/3 + i. Let c = 3 - -2. Sort -1, c, b.
-1, b, c
Let q = 1.8 + 8.6. Let w = q + -10. Sort -1/7, w, -7.
-7, -1/7, w
Suppose -5*n - 13 = -4*q, 5*n + 3 = -3*q + 4. Sort q, 0.16, -0.2, -4.
-4, -0.2, 0.16, q
Let x = 12.1 - 12. Let w = 4.11 + -0.11. Put 0, x, w in ascending order.
0, x, w
Suppose 16 = 2*x + 2*x. Let z be (-4 + 39/10)/((-5)/50). Put z, 5, x