2. Put 0.62, m, -4, -5 in decreasing order.
0.62, m, -4, -5
Suppose 6*k = k + 130. Let r = k + -14. Let d = r + -12. Sort -12, -4, d in decreasing order.
d, -4, -12
Let f = 1.27 + -1.77. Let r be (6/3)/2 + 1. Suppose x - 3*x - 2*u = -r, 4*x = 4*u - 20. Put -0.4, f, x in increasing order.
x, f, -0.4
Suppose 2 = 6*o - 5*o. Let b be (-3)/36*27/o. Sort -0.5, b, 0 in decreasing order.
0, -0.5, b
Let w(l) = -l**2 + 15*l + 1. Let j be w(15). Let n be j/6 - 51/(-18). Let c = 3 + -1. Put c, -2, n in ascending order.
-2, c, n
Let l = -72 + 68. Sort 4, 1, -1/5, l in decreasing order.
4, 1, -1/5, l
Let t = 0 + 1. Let z(g) = 4*g + 166. Let r be z(-42). Put 0, r, t in descending order.
t, 0, r
Let x = -6 - -6.3. Let v be (2/7 - 2/105)*(-10)/12. Sort x, 0.05, v, 1/2 in decreasing order.
1/2, x, 0.05, v
Let m = 726.98 - 727. Let h = 0.2 - -0.2. Sort h, -1/7, m, -4/5 in decreasing order.
h, m, -1/7, -4/5
Suppose -3*d + 138 = 3*u, 5*d - 123 - 107 = u. Let p be 2/(-8)*69/d. Sort -1, p, 9.
-1, p, 9
Let n be -4*((-6)/(-21))/(200/(-70)). Suppose -5*s - 360 = -0*s. Let m be (4/s)/(2/8). Sort m, n, -0.4.
-0.4, m, n
Let u = -2/1971 + 659/1971. Let d = -0.2 - 0.3. Put d, u, -0.1 in descending order.
u, -0.1, d
Suppose -4*d = 14 + 22. Sort -8, d, 0, 4 in descending order.
4, 0, -8, d
Let v be (-152)/28 - (-6)/14. Suppose -8*b = -0*b - 32. Put v, 1, b in increasing order.
v, 1, b
Let d be (6/(-7))/((-5)/35). Suppose 4*j + 5*k - 24 = 3*k, -2*j - 2*k + 14 = 0. Put d, 2, j in descending order.
d, j, 2
Suppose 0 = -74*s + 2*s + 216. Sort -74, 0.5, s in decreasing order.
s, 0.5, -74
Let w(g) = -14*g - 66. Let n be w(-6). Suppose n = q + 15. Put 5, -15, q in decreasing order.
5, q, -15
Let v = 0 - -2. Let g = -47 - 0. Let s = g + 43. Sort 0.2, s, v.
s, 0.2, v
Let n = 7.44 + -7.41. Put n, 0, -12 in decreasing order.
n, 0, -12
Let m = -5.8 - -3.5. Let j = m - -2.4. Sort -4/3, j, 1.
-4/3, j, 1
Let v = 5 - 2. Suppose 3*k - v = 15. Let a be k*(4 - 28/8). Put 5, a, 1/3 in decreasing order.
5, a, 1/3
Let l = 52 - 13. Suppose 31*y - l*y = 16. Sort -1, -7, y.
-7, y, -1
Suppose 3*h = 5*z + 35, 0 = h + 4*z + 15 - 4. Put -4, h, -5, 9 in decreasing order.
9, h, -4, -5
Suppose -2*s + 16 = 6. Suppose -3*a + 2*i - s = 0, -2*a + a = -i + 2. Let j = -1.35 - -2.35. Put 4/5, j, a in descending order.
j, 4/5, a
Suppose 33*i = 34*i - 1. Suppose -6 = -0*b + 2*b. Sort 3, b, 0, i in decreasing order.
3, i, 0, b
Let p = -379.6 - -437. Let q = p - 57. Put 11, -2, q in ascending order.
-2, q, 11
Suppose 0 = -19*n + 15*n - 116. Let b = 38 + n. Put b, -0.3, -0.1 in descending order.
b, -0.1, -0.3
Let p = -119 + 157.2. Let a = p - 38. Let m be 11/(-6)*1 - -2. Sort m, a, 3 in descending order.
3, a, m
Let p be 10/(-25) - (-21)/15. Let x = 10 + -10.8. Let t = x + -1.2. Sort -3, t, p.
-3, t, p
Suppose -2780 + 2776 = 4*g. Sort -4, -303, -3, g in descending order.
g, -3, -4, -303
Let m(i) = 0*i**2 + 9*i + i**2 - 4 + 16 + 2. Let d be m(-7). Put d, -4, 2 in decreasing order.
2, d, -4
Let r(l) = l**3 - 5*l**2 + 4*l + 9. Let i be r(3). Suppose -y = -2*p + i, 0 = -3*y + 5*p - 0 - 6. Put 7, 1, 4, y in decreasing order.
7, 4, y, 1
Let n(h) = -4*h**2 + 6*h - 1. Let r(s) = -3*s - 40. Let c be r(-14). Let a be n(c). Put a, -6, -1 in ascending order.
-6, a, -1
Suppose v - 5*x + 7 = 0, 0 = 3*v + x + 4*x - 19. Let s be (5 + -4 - v)/1. Let f = 0 + 1. Put s, f, -4 in descending order.
f, s, -4
Let t(f) = -f**2 - 7*f - 3. Let h be t(-6). Suppose -4*x = -25*m + 30*m + 16, 2*m - 4*x = 16. Put -0.4, h, m in descending order.
h, m, -0.4
Suppose 11 + 21 = 8*c. Let k(a) = 5*a - 16. Let z be k(6). Suppose 0 = 2*g - 16 + z. Put g, -4, c in descending order.
c, g, -4
Suppose 7498 = 95*c - 2382. Sort -1, -5, c, 5.
-5, -1, 5, c
Let r = -0.13 - 1.37. Let d = r + 1.6. Sort -4, d, 2/5.
-4, d, 2/5
Let t be (-2)/(-2)*(-29)/((-203)/(-28)). Suppose 2 = -z, 5*r - 3*r - 3*z = 8. Sort -1, r, t, -3.
t, -3, -1, r
Let q = 31/9 + -359/99. Let k = -2.5 + 3. Put 4/5, q, k, -0.1 in descending order.
4/5, k, -0.1, q
Suppose 5*s + 7 = 3*y, 2*y = 3*y - 2*s - 2. Sort -4, 3, y in increasing order.
-4, 3, y
Let n = -1143 - -1139. Sort n, 4, -1, -12 in ascending order.
-12, n, -1, 4
Let x = 0.12 - -0.38. Let v = x - 0.1. Sort 0.3, 3, v in ascending order.
0.3, v, 3
Suppose -3*p = -2*p + 4. Let h be (-2)/((-5)/(50/p)). Let s = 26 + -23. Sort h, s, -2/7 in decreasing order.
s, -2/7, h
Let l be ((-6)/21 + 72/(-42))*-1. Let u(h) = h**3 - 10*h**2 - 12*h + 8. Let f be u(11). Sort l, f, -6 in decreasing order.
l, f, -6
Suppose 0 = -4*o - 3*i - 13, 5*o + 5*i = o - 11. Let r = 34.2 - 34. Sort -0.3, o, r in increasing order.
o, -0.3, r
Let n = 0 - -12. Let h be 26*(53/n - 1). Let r = 89 - h. Sort -2/5, r, 1 in ascending order.
-2/5, r, 1
Let b = 77 - 65. Suppose 0 = 12*h - 0*h + b. Sort 12, h, -2, 3 in ascending order.
-2, h, 3, 12
Let p(u) = -2*u. Suppose 3*w + 3 = 6. Let n be p(w). Sort -9, 0.5, n in ascending order.
-9, n, 0.5
Suppose -3*l + l - 30 = 0. Let z be (l/30)/((-1)/8). Put -1, z, -13 in descending order.
z, -1, -13
Let z = -14 + 10. Let i = 2724 - 2722. Let j = 17 + -12. Sort j, i, z in increasing order.
z, i, j
Let c be 2 - -2 - (-10 + 4). Suppose 4*q = -3*b + c - 0, 16 = -4*b + 2*q. Let a be 1/b*(1 - 1). Sort a, 4, -3.
-3, a, 4
Let s(u) = -u**2 + 5*u + 5. Let g be s(6). Let y = 2 - g. Let k be (-38)/(-12) - 6/2. Put k, -1/7, y in descending order.
y, k, -1/7
Suppose x - 3 = -2, 2*v - 39 = x. Let q(m) = 3*m - 2. Let h be q(7). Let k = h - v. Sort -4, k, 3 in descending order.
3, k, -4
Let g be (30/35)/(6/28). Suppose -g*n + 4*k = 28, n + 0*k - 4*k - 8 = 0. Let o = n + 7. Put o, -2, 1 in increasing order.
o, -2, 1
Let p = -2107.2 + 2107. Let o(d) = -d + 7. Let l be o(0). Put 4, l, p in increasing order.
p, 4, l
Suppose 5*w = -5*p - 60, -61*p + 66*p = -2*w - 24. Sort 3, -5, 1, w.
w, -5, 1, 3
Let p(v) = -v**3 + 15*v**2 - 11*v. Let r be p(14). Let k be r/(-12) + 6/(-4). Let s be -1 + k/(40/12). Sort s, 2/9, -1.
s, -1, 2/9
Let w be -14*(-10)/(-60) + 4/(-6). Let b = -0.03 + 2.03. Let c = b + 2. Sort 3, c, w in ascending order.
w, 3, c
Let x = -8.74 - -6.74. Let f = -333/4 + 84. Sort -3/7, f, 0.19, x in descending order.
f, 0.19, -3/7, x
Let c be (10 + 160/4)/((-4)/(-2)). Sort c, -1, 1/5.
-1, 1/5, c
Suppose 4*t - 8 = -2*m, 3*m - t - 2*t + 6 = 0. Suppose 4*p + p - 31 = -3*z, -5*z - 31 = -2*p. Let y be ((-10)/20)/((-1)/p). Sort y, 1, m in descending order.
y, 1, m
Let i = 116 - 59. Let g = i - 166/3. Put g, -3, -2 in descending order.
g, -2, -3
Let v(i) = -i**2 + 61*i - 285. Let u be v(5). Sort -13, u, -9 in decreasing order.
u, -9, -13
Let d = 0.18 - 0.08. Let i = -1 + 1.8. Let s = i - 0.9. Put -0.4, s, d in decreasing order.
d, s, -0.4
Suppose -5*t + 8*k + 15 = 3*k, -9 = 2*t + 3*k. Suppose -q + 1 = -3. Let a be ((-7)/q - -2)*3. Put a, -4, t in descending order.
a, t, -4
Suppose 2*j + 148 = 4*p, 0 = -7*p + 2*p + j + 179. Let z = 38 - p. Let t = -1 + 12. Put -2, t, z in decreasing order.
t, z, -2
Suppose 3*g = 2*n + 148, 2*g + 65 = 3*n + 277. Let w = -67 - n. Sort w, 26, -4 in descending order.
26, w, -4
Let p = 9807/17 - 577. Sort 4/5, p, -3, 0.3 in descending order.
4/5, 0.3, p, -3
Let l = -20.101 - -20. Let j = 10.899 - l. Sort 4, -0.4, j, -0.3.
-0.4, -0.3, 4, j
Let g = -0.6 + -0.4. Let b = 0.181 - 4.181. Sort b, g, 7/3.
b, g, 7/3
Let b = 241.94 - 238. Let a = b - -0.06. Put 2/15, a, -2/3 in descending order.
a, 2/15, -2/3
Let b be ((-159)/(-27) + -5)*6/8. Sort -26, b, -0.3.
-26, -0.3, b
Let a(k) = -k**3 - 10*k**2 + 11*k + 3. Suppose -27 + 5 = 2*p. Let l be a(p). Let o be (-3)/(3/(-2)*-1). Put 1, o, l in ascending order.
o, 1, l
Let y = -8.9 - -13.9. Let x be (3 + -1)*(-1)/1. Sort y, x, -0.4 in ascending order.
x, -0.4, y
Let v(j) = j**3 - 4*j**2 - 19*j - 16. Let c be v(7). Let b be (1 - -5)/(2 - 3). Let z = b + 13/2. Put 0.2, z, c in decreasing order.
z, 0.2, c
Suppose -2*i = o + 11, 3*o - i + 12 = -0*o. Let f(w) = w**3 - 21*w**2 - 26*w + 84. Let m be f(22). Put m, 3, o, -8 in increasing order.
-8, o, m, 3
Let t be 5/(50/4)*(-10)/1. Suppose 2*z + 8 = 2*b, 5*b = z + b + 13. Sort t, -7, z.
-7, t, z
Suppose -8 = -4*v + 4*d + 32, 3*d = 4*v - 40. Let o be (-3 + v/3)*-6. Suppose 2*h - 3*j + 6 = -2*j, -4*h - 4*j = 12. Sort h, -4, o in descending order.
o, h, -4
Sup