t a = 1.7 - 1.76. Let l = 0.14 - a. Put 0.1, l, 5 in increasing order.
0.1, l, 5
Suppose -2*o - 3*x - 60 - 3 = 0, -4*o - 91 = -x. Let z = -19 - o. Sort 2/25, z, -1 in increasing order.
-1, 2/25, z
Suppose -6*y = 10*y. Sort y, -9, -1 in descending order.
y, -1, -9
Let l be 2/(-4) - 1/(-2). Let p = -308 + 310. Sort p, 5, l.
l, p, 5
Let r = 4 - 3. Suppose -r + 2 = -a. Suppose 0 = -7*m + 3*m + 8. Sort 3, m, a in ascending order.
a, m, 3
Let b = -17 - -21. Sort 2/7, 0.1, b in increasing order.
0.1, 2/7, b
Suppose -2*b = j + 3*b + 24, -2*b = 2*j + 8. Sort 3, j, 53 in decreasing order.
53, 3, j
Let w = -0.35 + 0.05. Let o = -0.3 - w. Let v = 33 + -32. Put o, v, -5 in descending order.
v, o, -5
Let m be (-38)/(-14) - 2/(-7). Let d(k) = k**3 - 5*k**2 + k - 1. Let t be d(5). Sort m, -1, t in increasing order.
-1, m, t
Let h = -2 + 5. Suppose -1 = -5*a + o - 15, -3*o = h. Put a, -2, 5 in increasing order.
a, -2, 5
Let a = 0.29 - 0.39. Sort a, -0.4, 2.
-0.4, a, 2
Suppose -3*p = -5*p + q + 5, -4*p = 5*q + 25. Let x(u) = -u - 4. Let w be x(p). Let o = w - 1. Sort o, -2, 2 in ascending order.
o, -2, 2
Let f = 10 - 10. Put f, -1, 0.5 in ascending order.
-1, f, 0.5
Suppose 4*r + 3 = 71. Sort 0, 2, r, -2.
-2, 0, 2, r
Let p be 1 - (-1 + (0 - 1)). Let j(z) = -z**2 - 12*z + 1. Let n be j(-11). Suppose -g - p*g + n = 0. Sort 4, -3, g in ascending order.
-3, g, 4
Let m(b) = -b**2 + 23*b + 1. Let p be m(23). Let k be 1 + -5 - 6/3. Put 0, k, p in descending order.
p, 0, k
Let i = -0.21 + -0.09. Let w = 1.7 - i. Put w, 0.1, 1 in decreasing order.
w, 1, 0.1
Suppose 5*i + 4*l = 22, -3*i = -5*l + 3 + 6. Suppose i - 4 = 2*v. Sort v, 4, 3 in ascending order.
v, 3, 4
Let r be ((-2)/3)/((-2)/(-12)). Suppose -4*j - 5*v = -3*j + 30, 25 = -5*v. Put j, r, 0 in increasing order.
j, r, 0
Suppose 2*o = 5*o + 12. Let c be (-4)/(-8) + (-1)/2. Sort o, 5, c in ascending order.
o, c, 5
Let h be 2 - 86/10 - -6. Put h, -1, 1/8 in ascending order.
-1, h, 1/8
Let i be 1*2/(-10) + (-3)/(-65). Sort 0.3, i, -5 in decreasing order.
0.3, i, -5
Let c be 2 + (-2 + 0 - 5). Let f = -1 - c. Let a be ((-6)/8)/(2/(-8)). Put f, a, 2 in descending order.
f, a, 2
Let t = -3.92 - 0.08. Let j = t - -4. Let o(l) = l**3 - 4*l**2 + 2*l - 2. Let x be o(3). Sort -0.4, x, j in ascending order.
x, -0.4, j
Let h(t) = -t**2 - 20*t - 2. Let f be h(-20). Put f, -3, 2, -4 in increasing order.
-4, -3, f, 2
Let a = 27.27 + -27. Let v = -0.07 + a. Put 2/7, v, 5 in decreasing order.
5, 2/7, v
Suppose 6 + 19 = 5*c. Let z be -1*2/(-5)*c. Suppose 0 = 3*t - 8*t + 25. Sort t, 3, z in increasing order.
z, 3, t
Let f = -239/2 + 122. Sort -0.2, 2, f.
-0.2, 2, f
Let n be 1/(-3) + (-32)/(-42). Let l = -19 + 16. Let o(t) = -t**2 - 4*t. Let y be o(l). Put 3/8, n, y in descending order.
y, n, 3/8
Let r = 1.6 + -2.8. Let w = r - 3.8. Sort 2/3, w, 1/6.
w, 1/6, 2/3
Let t = 117 - 234. Let j be 4/(-18) + (-26)/t. Put j, -4, -5 in descending order.
j, -4, -5
Let q be 2/(6/3) - -1. Let d = -18 - -21. Sort q, d, 0 in decreasing order.
d, q, 0
Let g(k) = -k**2 + 4*k + 5. Let c be g(4). Suppose 0 = -2*f - 1 - c. Let a(h) = h**3 - 2*h**2 - 1. Let q be a(2). Sort 0, f, q.
f, q, 0
Let d be 0/3 + -2 + 6. Sort d, -1, 2 in decreasing order.
d, 2, -1
Let j = 11 - 6. Sort 0, -3, j in descending order.
j, 0, -3
Let d = 0.1 - 4.1. Let r = 11 - 16. Let q = -37/36 + 16/9. Put d, q, r in decreasing order.
q, d, r
Let t(v) = v**3 - 6*v**2 + 4*v + 7. Let f be t(5). Let g(p) = -p - 10. Let h be g(-8). Let l = h + 2. Put -3, l, f in descending order.
f, l, -3
Let b be (-2 - 0) + (-1 - -1). Let a be 0 + b + (3 - 1). Let f be a/((-4)/1 - -1). Sort -1, f, -2 in increasing order.
-2, -1, f
Let o = 9 + -4. Suppose 3*j - o*j = 0. Put -9, j, 2 in decreasing order.
2, j, -9
Let c = 10 + -14. Let a = -1 - c. Sort a, -2, -4 in ascending order.
-4, -2, a
Let n = -52/35 + 9/7. Suppose -3*s + 7*s - 16 = 0. Let d = 0.6 + -0.2. Put s, d, n in ascending order.
n, d, s
Let g = -196/3 - -64. Let q = 133/2 + -67. Sort q, g, 0 in decreasing order.
0, q, g
Let v = -51 + 74. Let o = v - 21.2. Let z = -2 + o. Sort 4/7, z, 5 in ascending order.
z, 4/7, 5
Let h(r) = -r**2 + 2*r + 1. Let q be h(3). Let o(i) = i + 6. Let j be o(0). Let n = j - 11. Sort -3, n, q in increasing order.
n, -3, q
Let c be (16/12 - 1)*6. Sort 5, c, 0 in increasing order.
0, c, 5
Let x(h) = 2*h + 1. Let y be x(-2). Put y, 4, 5 in ascending order.
y, 4, 5
Let o = 2.2 + 0.8. Put o, 3/2, -2/11 in descending order.
o, 3/2, -2/11
Let b = -0.057 - -0.357. Sort b, 2, -0.5 in decreasing order.
2, b, -0.5
Let l = 121 - 118. Sort l, 5, 2 in ascending order.
2, l, 5
Suppose 0 = -d - 0*d. Suppose -3*a + 3*g = -4 - 2, -12 = -5*a + 4*g. Suppose 2*z = a*m - 10, -2*m - 1 - 4 = -3*z. Sort d, 2, z.
d, 2, z
Let g = 18 - 21. Put -1/7, 4/7, g in descending order.
4/7, -1/7, g
Let d = -11 + 10. Put -2/11, -0.3, d in decreasing order.
-2/11, -0.3, d
Suppose -6 = 2*k - 0*k. Sort 6, k, 0.
k, 0, 6
Let k = -36 - -34. Suppose 4 = -4*a + 12. Put a, k, -3 in ascending order.
-3, k, a
Let a = -10 - -16. Let u(d) = -d**2 + 6*d - 3. Let q be u(a). Sort 4, 1, q in ascending order.
q, 1, 4
Let g be (4/(-8) + (-10)/(-12))/(-2). Put 13, 0.2, g in increasing order.
g, 0.2, 13
Let j = 0.2 - 0.19. Let i = -0.19 - j. Sort 2/17, i, 3.
i, 2/17, 3
Let a = 9/4 - 59/28. Let m = -0.3 - 0.7. Let u = m + 0.6. Sort u, a, -1 in increasing order.
-1, u, a
Let d(h) = -h**3 - 9*h**2 + 20*h - 27. Let q be d(-11). Let x(n) = n**3 + 7*n**2 + 7*n + 7. Let v be x(-6). Sort q, v, -4 in descending order.
v, -4, q
Let j = -19 + 21. Suppose 2*m = 4*d + j + 22, -d - 4*m = 15. Put d, -1, -4 in descending order.
-1, -4, d
Let w = -0.1 + 1.1. Let x = w + -4. Let h = 166 - 335/2. Put h, -3/4, x in descending order.
-3/4, h, x
Suppose -5*u + 4*u + 2*v + 13 = 0, -u - 3*v - 7 = 0. Let b = -3 + 4. Sort b, u, 2 in decreasing order.
u, 2, b
Let b(v) = v - 5. Let r be b(5). Let x be (4 - r)*(1 + 1). Let i(a) = -a + 3. Let y be i(x). Sort y, -4, 4.
y, -4, 4
Let h = 39 + -38. Sort 5, h, 0 in increasing order.
0, h, 5
Let a(z) be the first derivative of z**2/2 + 8*z + 1. Let o be a(-4). Suppose 12 = -2*i - 2*q, 18*i - 4 = 17*i + 4*q. Put o, -5, i in descending order.
o, i, -5
Let y be 0 + -2 + 4/3. Let i = -82 - -81. Sort 4/3, i, y in decreasing order.
4/3, y, i
Suppose -3*z = z + 12, -3*z = -x + 5. Put -3, 5, x in increasing order.
x, -3, 5
Let x(n) be the first derivative of -n**3/3 - n**2/2 - 2*n + 1. Let c be x(0). Let r = 5 - 9. Sort 3, r, c in descending order.
3, c, r
Suppose 4*v + v = -2*n - 29, 5*v = 5*n - 15. Put 1/4, -3, v in descending order.
1/4, -3, v
Let x = -2.97 + 2.9. Put 1, x, -0.5 in ascending order.
-0.5, x, 1
Let y = 0.01 - 0.01. Let u = -2 + y. Let k = u + -2. Sort 2, 1/5, k.
k, 1/5, 2
Let q be 1 + (-1 - 0) + -1. Let x be 12*((-3)/(-2))/(-3). Let m be 2/4*x - -4. Put m, q, -1/2 in ascending order.
q, -1/2, m
Let p be 2/(6/1047)*1. Let m = 4539/13 - p. Sort m, -2/5, -4.
-4, -2/5, m
Let x = -5 + 3. Let l be (-2)/(-1) + (0 - x). Suppose -9 + 3 = -3*a. Put -1, a, l in descending order.
l, a, -1
Suppose 0*f = -3*f - 5*o + 43, -o = -4*f + 65. Let g = -10 + f. Suppose 4*i + 3*d = -8, -4 = -i + 4*d - g. Put i, -0.4, 2 in decreasing order.
2, -0.4, i
Let k = -11 - -14. Sort -1/4, -0.1, k in decreasing order.
k, -0.1, -1/4
Let s(o) = 18*o - 90. Let v be s(6). Put -3/2, v, -3/7 in descending order.
v, -3/7, -3/2
Let k = -528/5 - -106. Put -0.07, 0.3, k in ascending order.
-0.07, 0.3, k
Let s = -96 - -98. Let y(j) = -j + 5. Let r be y(6). Sort s, r, 0.
r, 0, s
Let c = -553/3 - -183. Let v = -3 + 1. Put -2/15, v, c in increasing order.
v, c, -2/15
Let g = -5 - -8. Let b(j) = -j + 4. Let n(a) = -1. Let m(z) = b(z) + 2*n(z). Let y be m(g). Sort -3, y, 2.
-3, y, 2
Suppose -4*x - 4*v - 32 = 0, -5*x - 2*v - 37 = 2*v. Put 3, x, 2 in decreasing order.
3, 2, x
Let c = -119.6 + 120. Put c, 0.3, -2, 0.2 in descending order.
c, 0.3, 0.2, -2
Suppose -3*u = -4*u. Let x be (-1 - (u - 1))/1. Put -0.5, x, 5 in increasing order.
-0.5, x, 5
Suppose -4 = 3*w + 2*j - 1, -4*w = 4*j. Let d be ((-2)/6)/((-1)/(-6)). Put 4, d, w in increasing order.
w, d, 4
Let u(v) = 18*v - 7. Let x(p) = 90*p - 36. Let s(c) = 16*u(c) - 3*x(c). Let m be s(7). Let q = -616/5 + m. Sort -0.2, q, -2.
-2, q, -0.2
Let y(u)