ecreasing order.
a, z, -2/7
Let f(v) = -v**2 - 10*v - 9. Let z be f(-8). Let i be (-1)/4 + (-50)/(-8). Suppose 0*b = -x + b - z, -2*b = 2*x + i. Sort 1/3, x, -0.4.
x, -0.4, 1/3
Let q = -259 - -2075/8. Sort 3/7, q, -1/7 in increasing order.
-1/7, q, 3/7
Let w be ((-6)/(83 - -1))/((-2)/(-8)). Put w, -2/21, 4, 1 in increasing order.
w, -2/21, 1, 4
Suppose 3*x + 5 = -4. Let o be 1 + (0 - (-27)/(-33)). Put 0.1, o, x in descending order.
o, 0.1, x
Let o = 31 - 16. Suppose 5 - o = -2*x. Let u be (-1)/5 + 21/x. Sort -4, -2, u.
-4, -2, u
Let o(z) = -z**2 - 4*z - 1. Let g be o(-4). Suppose 5*x + 2*v - 9 = 0, 5 = 3*v - 1. Suppose w = u + 2, 20 = -5*w - 4*u - 15. Put w, g, x in decreasing order.
x, g, w
Let c = -0.12 + 0.2. Let h = c + -0.08. Put h, -2/7, 3 in ascending order.
-2/7, h, 3
Let z be 4/(-6) - 8/6. Let h = 55 + -50. Let x = -1 - 2. Put x, h, z in ascending order.
x, z, h
Let o = 157 + -1103/7. Let c(t) = 8*t - 2. Let g be c(-6). Let w be 8/g*20/(-24). Sort o, 2, w in ascending order.
o, w, 2
Let g(s) = s**2 - 7*s - 6. Let v be g(7). Let w = v - -10. Put -1, 2, w in ascending order.
-1, 2, w
Let m = -0.04 + 0.04. Sort 0.1, -4/5, m.
-4/5, m, 0.1
Let d = -0.03 + 0.33. Put -2, 1/4, 2/13, d in descending order.
d, 1/4, 2/13, -2
Let p(b) = -b**2 + 2*b - 5 + 7 - 15*b. Let w be p(-13). Put w, -1, -4 in descending order.
w, -1, -4
Let l be 4/10 - 153/270. Sort -0.2, l, 0.4 in descending order.
0.4, l, -0.2
Let a(h) = h**3 + 16*h**2 - h - 13. Let m be a(-16). Sort 4, m, 1.
1, m, 4
Let q(v) = v**3 + v**2 - v. Let b(p) = 3*p**3 + 2*p**2 - 4*p. Let k(a) = -b(a) + 2*q(a). Let c be k(-2). Suppose -c*t - t = 0. Put -3, 1, t in descending order.
1, t, -3
Suppose -2*t + 0*t + 6 = 0. Sort -2, 2, -5, t in ascending order.
-5, -2, 2, t
Suppose -3*j = 9, 0 = 2*h - j + 5*j + 16. Sort 2, h, -3 in decreasing order.
2, h, -3
Suppose -4*l = -158 + 158. Put 4, l, 2 in descending order.
4, 2, l
Let o(k) = k**3 + k**2 + 3*k - 2. Let m be o(0). Sort m, 2, -3 in ascending order.
-3, m, 2
Let q(b) = -2*b**2 + 4 - 3 - 2 + b**2. Suppose 6*k = k. Let h be q(k). Sort h, -2/11, 5 in decreasing order.
5, -2/11, h
Let h be 5/(-70)*8 - 32/(-7). Sort h, -1, 5, 1 in decreasing order.
5, h, 1, -1
Let p(t) be the second derivative of t**3/6 + t**2 - 3*t. Let q be p(-7). Sort q, 2, 3 in decreasing order.
3, 2, q
Let r = -78 - -81. Sort -4, r, -12, 0.
-12, -4, 0, r
Let m = 0.5 + -1.2. Let l = m + 0.6. Let s be 4/(-6) + 84/18. Sort s, 5, l in descending order.
5, s, l
Suppose 11 = a + 5*y, 3*a - 7 = a - 5*y. Suppose -2*p + 5*k + 9 = 0, -2*p + 5*k - k = -8. Suppose -4*o + 24 = l, 0*l = 4*l + p*o - 26. Sort a, l, 1.
a, 1, l
Let z be 3/(-2)*8/84. Put -3/4, z, 0.3 in ascending order.
-3/4, z, 0.3
Let n = -0.6 + -1.4. Let b = n - -4. Sort -3/4, b, 4/5 in ascending order.
-3/4, 4/5, b
Suppose 0 = 4*u + n - 18, 4*n = 5*n - 2. Let k = 29/8 - 245/72. Put u, k, -4 in descending order.
u, k, -4
Let f be -4 + (-2)/((-1)/(-1)). Let t be (1 - (-4)/f)/(-1). Sort -0.5, t, 2 in descending order.
2, t, -0.5
Let h be 5*(2 + 44/(-20)). Put 5, h, -5 in increasing order.
-5, h, 5
Let n be 1 + (4/(-6))/((-8)/(-36)). Sort n, 0, 2, 3.
n, 0, 2, 3
Let p be 50/(-13) - (-8)/(-52). Sort p, 7, 2.
p, 2, 7
Suppose -y = -6 + 3. Sort y, -4, 4 in descending order.
4, y, -4
Let k be 3/15 - 6/5. Let a be -1*(k - (-1)/(-1)). Suppose 9 - 25 = 4*x. Put x, a, -3 in decreasing order.
a, -3, x
Let f = 3.2 + -3. Let b(d) = d**2 + 7*d - 6. Let i be b(-8). Sort i, -5, f in decreasing order.
i, f, -5
Let d = 89 + -92. Put -2, d, 5 in descending order.
5, -2, d
Let z = 5/19 + -77/76. Sort 5, z, -1/6, 0.1.
z, -1/6, 0.1, 5
Let i be (-1)/(3/(-3))*15. Suppose i = -0*r + 2*r + 5*h, 5*r - 12 = -4*h. Sort r, 5, -4 in decreasing order.
5, r, -4
Let j = -5.1 + 1.1. Let h be (-8)/8 + (-7)/5. Let n = h + 41/15. Sort n, 3, j in ascending order.
j, n, 3
Let v = 2 - 5. Let r = 2/11 + -19/44. Sort v, r, -4 in ascending order.
-4, v, r
Let z(i) be the first derivative of -i**2/2 - 4*i - 1. Let p be z(0). Suppose 2 = -2*q - 4. Sort 0, q, p in decreasing order.
0, q, p
Let y = -5.6 + 6. Let n = -133.9 + 145. Let z = n - 11. Put z, y, 3 in descending order.
3, y, z
Let p = -0.3 + -0.2. Suppose -40 = -3*u + 4*d, -5*d + 43 = 4*u - 0*u. Let v be (-8)/u - 8/(-9). Put p, 1/3, v in increasing order.
p, v, 1/3
Suppose -20 = 9*i - 14*i. Suppose 3*b - 11 = -2. Put i, -1, b in decreasing order.
i, b, -1
Let a be (8/(-110))/((-2)/5). Let r(g) = g**3 + 9*g**2 + 7*g - 9. Let f be r(-8). Sort -3/4, f, a.
f, -3/4, a
Suppose -h + 4*j = -13, -21*h + 3*j + 21 = -18*h. Suppose -3*c + 2*c = -2*l + 3, 0 = c - 5*l + 12. Sort -3, h, c.
-3, c, h
Let r = -73 + 64.7. Let x = r - -8. Sort 4, -2, x in increasing order.
-2, x, 4
Let m be (1 + -1)/((6/(-3))/2). Sort -1/4, -0.2, 2, m in descending order.
2, m, -0.2, -1/4
Suppose 3*v - 5*s + 9 = 4*v, -5*v = 2*s - 45. Put 3, v, -4 in increasing order.
-4, 3, v
Let u = -0.8 + 0.5. Let s be (4/9)/((-16)/(-12)). Sort 0.3, u, s in increasing order.
u, 0.3, s
Let s be ((-2 - -4) + -3)/(8/(-16)). Put s, 3, -92 in increasing order.
-92, s, 3
Let t(s) = s**3 - 7*s**2 + 5*s + 3. Let v be t(6). Let o = -63 + 190/3. Sort 0, v, o.
v, 0, o
Let z(l) = l - 4. Let i be z(8). Let w = 0.13 + -0.03. Sort 3, w, i in ascending order.
w, 3, i
Let x = 30.9 + -31. Sort 0.4, -2/17, x, 0.5.
-2/17, x, 0.4, 0.5
Suppose -25*z = -24*z - 1. Let s be (-2)/(-3) + (-4)/(-3). Suppose 3*d - b = -4 + 16, -5*d + 20 = s*b. Sort -1, z, d in ascending order.
-1, z, d
Suppose 0 = 4*t - 2*t - 2. Let p be (t - 8/14) + 0. Put 1, p, -2/3 in descending order.
1, p, -2/3
Let w(a) = -3*a**2 - 7*a - 4. Let y(t) = -7*t**2 - 15*t - 9. Let l(o) = -9*w(o) + 4*y(o). Let x be l(2). Let g = 5 - x. Sort 4, 1, g.
1, g, 4
Let s(m) = m - m + 5*m. Let y be s(1). Suppose -2*j + 6 + 2 = p, 0 = -j - y*p + 4. Sort -2, j, 3 in increasing order.
-2, 3, j
Let u = 12 + -19. Let g = u + 6.7. Sort -1/2, 2, g in descending order.
2, g, -1/2
Let u = -5 - -6. Let y be (-3)/2*16/3. Let g be 52/14 + y/(-28). Put 3, u, g in decreasing order.
g, 3, u
Suppose 5*m + w + 22 = -2*w, 0 = 2*m - w + 11. Sort m, -2, -3, 1 in increasing order.
m, -3, -2, 1
Suppose b + 34 = 3*u, 2*b + 10 = 4*u - 38. Suppose -5*f = -5*v - u, -f + 2*f + v = 2. Suppose 0*g - 8 = -f*g. Put -4, 1, g in descending order.
g, 1, -4
Let a = 5/52 - -15/13. Let o = 4 + -3. Sort o, a, -1 in increasing order.
-1, o, a
Let g(j) = -j**2 + 4*j + 2. Suppose -5*y - 10 = -5*p, -p - 3*p = -5*y - 6. Let m be g(p). Let c(l) = l**2 - 8*l - 5. Let t be c(8). Sort m, t, 4.
t, m, 4
Let a be 1 - (1/1 - 2). Sort 3, a, 5 in decreasing order.
5, 3, a
Let b = -35/57 - 1/19. Let p be (1/5)/(4/(-5)). Put b, p, 1/2 in increasing order.
b, p, 1/2
Let u = 6 - 1. Let f = 14 + -13.5. Let g be 2/30 - 6/15. Put f, g, u in descending order.
u, f, g
Let c = -17 - -17. Sort -2, c, -1/2.
-2, -1/2, c
Let q = -1209/7 + 173. Put -4, -0.1, q in descending order.
q, -0.1, -4
Let q = 77.7 - 73. Let w = 0.7 - q. Let j = -0.34 + -0.06. Sort 0.3, j, w in descending order.
0.3, j, w
Let v = 24.6 - 4. Let h = v + -21. Sort 0.5, 0.1, h.
h, 0.1, 0.5
Suppose 9 = 6*f - 3*f. Let a be 3/(-2)*(-2)/3. Suppose -b - a = -0. Sort b, f, 4.
b, f, 4
Let l = -1 - -4. Let k = 2 - 0. Let y = -0.1 - 0. Put k, y, l in ascending order.
y, k, l
Let v = -0.45 + 0.05. Let r = -0.1 - 0.1. Let d = r + 0.2. Put v, 4/7, d in descending order.
4/7, d, v
Let a be 4 + -6 - 12/(6/(-2)). Sort 5, a, 29 in descending order.
29, 5, a
Let d = 0.04 + -4.04. Let b = d - -4.4. Let h = 0.2 - b. Sort -0.1, -3/4, h in ascending order.
-3/4, h, -0.1
Let t = -0.3 - -0.1. Let c = -0.6 - t. Let d be (4/(-10))/(18/10). Sort d, -0.3, c in ascending order.
c, -0.3, d
Suppose -16*m + 15*m + 2 = 0. Sort 3, 1, m in descending order.
3, m, 1
Suppose -3*c - 2 = -5*c. Put -1, -2, c in increasing order.
-2, -1, c
Let c = 1 - 2. Sort c, -4, 2.
-4, c, 2
Suppose -5*j + 2*t - 1 = 0, t - 2 = -5*j + 6. Suppose 5 = -z + 2*p, -7 = z - 3*p - 1. Put j, 0, z in descending order.
j, 0, z
Let t = -159 + 162. Let i = -0.08 - 4.92. Put t, i, 2 in descending order.
t, 2, i
Let v(r) = -r. Let h be v(3). Put -14, -1, h, 5 in increasing order.
-14, h, -1, 5
Let f(i) = i**3 - 4*i**2 + 2*i + 3. Let n be f(3). Let j be (-1 - 2/2) + -165. Let u = -663/4 - j. Put n, 5, u