easing order.
v, -2/17, -3/7
Suppose -2*t - 4*z - 20 = 0, -6*t + 2*t = 5*z + 43. Sort 0, 4, t in decreasing order.
4, 0, t
Let t = 0.3 - 0.2. Let j = 176 + -180. Sort j, 0, t in decreasing order.
t, 0, j
Let i(b) = -b - 3. Let x be i(0). Suppose -3 = -8*t - 35. Put t, x, -1 in ascending order.
t, x, -1
Let g = 0.1 - 1.1. Let b = g - -2. Let k = b - -1. Put 0.4, -2, k in increasing order.
-2, 0.4, k
Let x = -3.3 + 0.3. Let j = 76 + -78. Sort j, x, 1 in decreasing order.
1, j, x
Suppose 5*o + 2*i - 24 = 0, -2*i + 3*i - 10 = -2*o. Let r = -18 - -25. Let c = r - 4. Sort -1/11, c, o in decreasing order.
o, c, -1/11
Let n = 94/65 - 24/13. Let h be -2 + (-21 + 0)/(-3). Suppose 5*i - 30 + h = 0. Sort 3/2, n, i in decreasing order.
i, 3/2, n
Let b be 2/3*(-9)/12. Let o = 1.7 + -2. Put o, 5, b in decreasing order.
5, o, b
Suppose -2*v - 3*v + 30 = 4*t, 2*t - 4 = 3*v. Suppose k + 7 = -3*l, 3*l + t = -0*k + k. Sort l, 0, -3 in ascending order.
-3, l, 0
Suppose 5*f = 2*f. Sort 1, 2, f in ascending order.
f, 1, 2
Suppose 4*b - 68 = 5*f, 5*b - 68 = 4*f - 2*f. Let t be (316/b)/((-200)/3). Let w = t + -1/200. Put -5, w, 3 in descending order.
3, w, -5
Let v = 0.21 + -0.21. Sort v, -1/6, 1/2.
-1/6, v, 1/2
Let o = 32 - 225/7. Put 1, o, 2 in ascending order.
o, 1, 2
Suppose 3*l = 5*h - 4 + 7, l + 19 = -5*h. Let q = -170 - -165. Sort q, h, 1/6 in descending order.
1/6, h, q
Let q = -13.4 + 13. Let g = 0.18 + -0.08. Let t be 10/((-2)/4*-4). Sort g, t, q in descending order.
t, g, q
Let i be (2 - 3/9)*3. Suppose 10 = 3*k - 2*c, -19 = -6*k + k + c. Let h be (-2)/k - 2/4. Sort -5, h, i in descending order.
i, h, -5
Suppose 10*l - l + 36 = 0. Put l, -5, 2/19 in decreasing order.
2/19, l, -5
Suppose 0*d = -5*d - 3*v + 5, 4*d - 31 = 3*v. Suppose k = 3*u + d, 4*k - 3*u = -4 + 2. Let a be 1*(k/(-1) - 0). Sort a, 4, 3.
a, 3, 4
Suppose 2*v + b - 1 = 0, -4*b = 3*v - 0*v + 11. Sort 0, -4, 9, v.
-4, 0, v, 9
Let p = 0.1 + -0.7. Let m = -2.27 + -0.33. Let j = m - p. Put j, 2, -4 in decreasing order.
2, j, -4
Let a(z) = 2*z**3 - 3*z**2 - 4*z + 1. Let i be a(3). Let y be 4/(-6) + i/6. Suppose y*v = -6, -2*v - 2 = -5*u - 1. Sort 1/3, u, 0.2 in descending order.
1/3, 0.2, u
Let l = 11/4 + -217/76. Let x = 0.07 + -3.07. Let i = x + 5. Sort l, i, -4 in ascending order.
-4, l, i
Let k = 4.06 + -0.06. Let f = 5 - k. Put -5, f, 0 in ascending order.
-5, 0, f
Let b(o) = -o**2 - o + 1. Suppose -5*a + 6*g - g - 20 = 0, -29 = -4*a - 5*g. Let y be b(a). Let l = 1 + 0. Sort y, 0.4, l.
y, 0.4, l
Let c = 0.06 - 3.06. Let o = 3 + c. Sort 0.3, -3/4, o in descending order.
0.3, o, -3/4
Let b = 41 - 39.01. Let q = -0.07 + 0.08. Let i = b + q. Put i, -5, 0.3 in descending order.
i, 0.3, -5
Let k = 0.27 - 1.27. Sort 1, k, 0.4.
k, 0.4, 1
Suppose 0 = 10*c - 43 + 3. Put c, 17, -4 in decreasing order.
17, c, -4
Let s = -3.8 + -1.2. Sort -2/11, s, -3 in ascending order.
s, -3, -2/11
Suppose 2*p - 8 = -12. Let b = 6 - 11. Sort b, -0.2, p in increasing order.
b, p, -0.2
Let k = 46.8 - 51. Let d = k - -0.2. Let l = -4.2 - d. Sort l, 4, -2 in ascending order.
-2, l, 4
Let o(i) = -1 + 1 + 4 - i**3 - 4*i**2. Let a be o(-3). Let g(m) = -2*m + 1. Let u be g(2). Sort u, a, 3 in descending order.
3, u, a
Let d(n) = -n + 3. Suppose -2*l + 2*h = 0, 3*h = 5*l - 3 - 3. Let v be d(l). Put v, 7, -1/4 in ascending order.
-1/4, v, 7
Suppose 0 = 5*y - 2*o + 16, 6 = -0*o + 2*o. Suppose 0 = -m + 4*k - 3, -5*m + 3*k + 19 = 0. Let t = 5 + -4. Sort m, y, t in decreasing order.
m, t, y
Let v = 19 + -14. Suppose 12 - 2 = v*l. Sort 4, l, 3.
l, 3, 4
Let n be (-4)/4 + (-5)/(-6). Suppose 4*y + 3*x - 2 = -25, 3*y = x - 27. Let l be (-14)/(-35) + y/45. Sort n, 0.2, l in ascending order.
n, 0.2, l
Let r = -2 + 4. Let j be 3*1 - (-2 + r). Sort j, -1, -3 in decreasing order.
j, -1, -3
Let a be -2 + 1 + 8/(-4). Sort a, 4, 1.
a, 1, 4
Let s = -0.3 + -0.2. Let w = -47 - -47.2. Put 1/10, w, s in descending order.
w, 1/10, s
Let k = -23.5 + 24. Sort 11, 4, k.
k, 4, 11
Let i = -7 - -13. Let k be 0 - (2 - i/3). Suppose m - 1 = -2, -r - m = k. Sort r, -1, 2 in decreasing order.
2, r, -1
Let j be 3/(-7) + (-21)/(-49). Put j, -1/4, -4.2 in increasing order.
-4.2, -1/4, j
Let r be ((-8)/6)/((-6)/9). Suppose -q = -5*a + 3*a, -4*q = -5*a - 3. Put r, 0, a in ascending order.
0, a, r
Suppose 0 = -c + 4 + 12. Suppose -q - 2*v = q - 2, 4*v = q - c. Let n = -5.6 - -6. Put q, n, 2 in descending order.
q, 2, n
Let l(t) = -2*t**3 - 11*t**2 - 8*t - 7. Let p be l(-5). Sort -4, -5, 2, p in descending order.
p, 2, -4, -5
Suppose 23 = -n - 5*p, -n = 2*n + 2*p + 30. Let o(w) = -w**3 - 7*w**2 + 8*w - 1. Let i be o(n). Sort 4, 2, i in descending order.
4, 2, i
Let o = 0.1 + 4.9. Let c be (0 - -4 - 0)*-1. Put c, 2, o in ascending order.
c, 2, o
Let w = 62 - 61.7. Put -4/3, w, 6, -5 in decreasing order.
6, w, -4/3, -5
Let x = -2 + 13. Let l be (-1)/x*(0 + 6). Put 0.5, -1, l in decreasing order.
0.5, l, -1
Let q = 5.08 - 0.08. Sort q, -0.2, -0.01, -0.1 in descending order.
q, -0.01, -0.1, -0.2
Let l(s) = s**3 + 8*s**2 + 7*s + 4. Let w be l(-7). Let r be -6 - -5 - w/2. Sort r, -2/9, 3 in descending order.
3, -2/9, r
Let f = 11.11 + -0.11. Let d = f + -19. Let i = d - -7.5. Sort -0.2, i, 0.5 in decreasing order.
0.5, -0.2, i
Let u = 0 - 0. Suppose u = -n + 2*n - 4. Let t be (4/(-15))/(6/15). Put -5, n, t in ascending order.
-5, t, n
Let z = -44 + 49. Put z, -1, 1, -4 in descending order.
z, 1, -1, -4
Suppose 2*z = g - z + 12, -g + z - 2 = 0. Suppose -17 = k + g*s, -2*k + 4*s + 7 + 9 = 0. Put -3, k, 4 in ascending order.
-3, k, 4
Suppose x = -3*p + 6*p + 22, -4*p = x - 22. Let m = x - 17. Sort m, 7, -1 in descending order.
7, m, -1
Let y = 6 - 2. Let o = 6 - y. Let g be 0 + (-14)/21*(-6)/(-16). Sort g, o, -4.
-4, g, o
Let m be 1/1 - (24 - 25). Sort 1, 0.3, m.
0.3, 1, m
Let d = -106/315 - -4/35. Sort d, 3, -2 in decreasing order.
3, d, -2
Let w(y) = y**2 - 6*y + 3. Let v be w(7). Sort 1, -1, v in descending order.
v, 1, -1
Suppose -j + 1 - 7 = -2*y, 3*y - 2*j = 11. Suppose -5 + 13 = 4*m. Suppose -17 = -5*h - 7, -24 = -5*v - m*h. Sort -3, v, y in increasing order.
-3, y, v
Let z be (-6)/9 + 8/6. Let r = -1/3 + z. Let w be (3/12)/((-3)/4). Put r, w, -4 in decreasing order.
r, w, -4
Suppose -3*c = 4*l + c + 36, 4*c + 15 = -l. Let v(u) = -u - 12. Let d be v(l). Sort d, -0.1, 2 in increasing order.
d, -0.1, 2
Let l(j) = j**3 - j**2 + 14. Let p be l(0). Let h be 6/(-21) + 60/p. Suppose 5*u = h*q - 13, -4*q = -0 - 8. Sort -0.2, 5, u.
u, -0.2, 5
Let g(c) = -3*c - 4. Let m be g(-3). Let x = -1 + 1.1. Let h = x - -0.2. Sort h, 1, m in descending order.
m, 1, h
Let l be (-8 - 1)/(3/(-2)). Suppose -4 = l*v - 2*v. Let f be 4/(-18) - (-66)/54. Sort f, 4, v in descending order.
4, f, v
Let w = -57 - -56.6. Put -3/2, -6, 0.1, w in decreasing order.
0.1, w, -3/2, -6
Let v be (-6 + 5)*-1*1. Sort 9, 5, v in descending order.
9, 5, v
Suppose -4*w - 32 = 3*h, -4*h = 2*w + 19 + 7. Let a(l) = -2*l**2 - 5*l - 4. Let u be a(-1). Sort 1, w, u.
w, u, 1
Let p = -7.6 - -8. Let i = 0.3 - p. Let t = 6 + -5.6. Sort t, i, -5 in decreasing order.
t, i, -5
Let t = 0 + 0.1. Let k = t + -0.6. Let f be (7/(-2))/7 + -1. Sort f, 4, k in increasing order.
f, k, 4
Let x(y) = y**3 - 8*y**2 + 6*y + 7. Let n be x(7). Suppose 11 = 3*u - n*u + 4*l, 0 = 4*u - 5*l + 6. Put 0, u, -2 in decreasing order.
u, 0, -2
Let n = 2 - 6. Put -16, n, 1 in ascending order.
-16, n, 1
Let b = -0.5 + -4.5. Let f = 0.5 + -0.3. Let i = f - -2.8. Sort 1, b, i in descending order.
i, 1, b
Suppose -2*b + b + 5 = 0, -c = 3*b - 19. Sort -1, c, 3.
-1, 3, c
Let p be -7*(2 - (2 - -1)). Let i(u) = -u**2 + 8*u - 7. Let z be i(p). Suppose 0 = v - 5*s - 22, z*v = -v + 2*s + 7. Sort 5, -5, v in increasing order.
-5, v, 5
Let h be 84/(-16) - 3/(-12). Sort 4, 49, h in descending order.
49, 4, h
Suppose -4*s = 12, -3*s = -4*i + 53 - 20. Suppose -u = -3*u + i. Suppose -y - 2*o + 13 = 4*y, 0 = -u*o + 12. Put y, -0.3, 0 in increasing order.
-0.3, 0, y
Let y = 0.9 - 1. Let v = 1.7 - -2.6. Let h = -4 + v. Sort -3, y, h in decreasing order.
h, y, -3
Let i(s) = -s**2 + 6*s + 3. Let x be i(6). Suppose 8*h - x*h + 5 = 0. Put h, -6, -2/5 in decreasing order.
-2/5, h, -6
Let r = -6 - -18. Let n = -11.5 + r. Sort -1, n, -3.
-3, -1, n
Let b = -22 + 44. Sort b, -0.2, -