u = -3 + 6. Suppose 4*g + u = g. Put y, 2, g in decreasing order.
2, y, g
Let z = -0.133 + -13.567. Let f = z - -14. Put -6, 2/3, f in increasing order.
-6, f, 2/3
Suppose -5*o - f + 4*f = -19, -13 = -o - 4*f. Sort 2, 0, o, -1 in descending order.
o, 2, 0, -1
Let c = 2 + 2. Put c, 8, -2 in decreasing order.
8, c, -2
Let h be ((-6)/10)/(7/(-35)). Put h, 1, 0, 4 in ascending order.
0, 1, h, 4
Let w = -6.8 + 6. Let m = -1.1 - w. Sort m, -0.2, -0.4.
-0.4, m, -0.2
Let g(l) = l + 3. Let d be g(-6). Let c(a) = a**2 + a + 3. Let x be c(0). Suppose x*k + 30 = -3*z, -2*k = -3*k + z. Put 2, d, k in increasing order.
k, d, 2
Let b = 95 + -102. Sort -1, -4, b, 0 in increasing order.
b, -4, -1, 0
Let g = 99 + -114.9. Let m = 16 + g. Put m, 3/2, 6 in ascending order.
m, 3/2, 6
Let r = 15.2 + -3.2. Let w = r + -12.2. Let b be (-5)/(-9) - 1/1. Sort b, w, 2.
b, w, 2
Let t be (-2 - -2)/(2 - 1). Put -4, t, -2 in decreasing order.
t, -2, -4
Suppose -3 = i - 1. Let p(y) = -y**2 + 8*y - 6. Let j be p(6). Put j, i, -1 in descending order.
j, -1, i
Let s = -5.9 + 6.2. Suppose 0 = u + 2*j - 10, -u - 2*j + 10 = -5*u. Sort -5, u, s in decreasing order.
s, u, -5
Suppose -7*i - 2*i - 9 = 0. Let l be ((-1)/(3/9))/(-1). Sort i, -4, l.
-4, i, l
Suppose -4 = 9*x - 31. Sort -5, 2/9, -1, x in increasing order.
-5, -1, 2/9, x
Suppose q - 4*q = 0. Sort q, -2, -1 in increasing order.
-2, -1, q
Let v = 12 - 12. Sort v, 2, -0.3 in ascending order.
-0.3, v, 2
Let c = -4.9 - 1.1. Put -3, 3, c in increasing order.
c, -3, 3
Let v(y) = -y**3 + 4*y**2 + 3*y + 5. Let x be v(5). Suppose 0 = -4*u + 2*t - 12, -t = -4*u + 2 - 10. Let j = -1 + 1. Put j, u, x in increasing order.
x, u, j
Let o = -215 + 219. Sort -3, o, -1/5, -0.5 in ascending order.
-3, -0.5, -1/5, o
Let d = 58 + -61. Sort 4, d, 0.5, 5 in descending order.
5, 4, 0.5, d
Let j = 22 + -21.5. Let b = 2 + -2.3. Let f = 0.32 - 0.02. Sort j, b, f in ascending order.
b, f, j
Let m be (-116)/(-6) + (-2)/(-3). Put -2, -5, m in descending order.
m, -2, -5
Suppose -p - 4*p - 10 = 0. Let g = -7 - p. Suppose -2*s - 2*s = 3*r - 11, 3*s - 9 = -3*r. Put r, 4, g in descending order.
4, r, g
Let v = 8 + -17. Let p = 4 + v. Let t be 5/(-4) - (-8)/32. Sort t, -5/3, p in increasing order.
p, -5/3, t
Suppose 37*w = 50*w + 65. Let y = 3 + -1. Put -4, y, w in descending order.
y, -4, w
Let k = -1.2 - -4.2. Let b = 0.3 - 0.8. Sort k, 0.2, b in decreasing order.
k, 0.2, b
Let w be -1*-1*(-5)/(-10). Sort 1, w, -29 in descending order.
1, w, -29
Let j be (-6)/10 + 0/3. Let y be (-11)/(-165) - 6/(-10). Put j, y, -0.2 in decreasing order.
y, -0.2, j
Let y be (-7 + 8)/(1/(-4)). Sort -5, -2, y in descending order.
-2, y, -5
Let f = -0.105 + 0.005. Put f, 2/7, -7 in descending order.
2/7, f, -7
Let j = 10 - 6. Suppose -3*b + 5 = -4*b. Sort b, j, 1.
b, 1, j
Suppose 2*d + 1 = 11. Let z be (-3)/(-12) + (-3)/(-4). Let g(u) = -u**3. Let b be g(z). Sort b, -3, d in descending order.
d, b, -3
Suppose -k = -4*t - 1 - 10, 0 = 4*k + 2*t + 10. Let o = 969 - 3905/4. Let i = o + 7. Put 4, k, i in descending order.
4, i, k
Let s = -10.1 - -10. Let p be 10/9 - 4/6. Sort s, p, -0.5.
-0.5, s, p
Let g = -0.2 + 1.2. Let q = -4 + g. Let v = -0.5 - -5.5. Sort v, 2, q in ascending order.
q, 2, v
Suppose 3*d + d - 28 = 0. Let b = 5 - d. Put -3, b, 3 in descending order.
3, b, -3
Let x be 0 + 6/2 - 0. Let n = -6 - -11. Sort -5, n, x in decreasing order.
n, x, -5
Let i = 8/9 - -155/18. Let a = i + -10. Let s = 8 + -11. Sort s, a, -0.4 in ascending order.
s, a, -0.4
Let w(y) = y**2 - 10*y + 3. Let h be w(10). Suppose 0 = -h*j - 0*j - 15. Put 0, -3, j in decreasing order.
0, -3, j
Suppose -2*b - 5*k = 5, 0*b - 4*k = b + 4. Suppose 5 - 14 = 3*p, 3*p + 5 = -c. Suppose b*i = -c*i. Sort i, 3, -4.
-4, i, 3
Let i = -0.1 - 0.1. Let x be ((-2)/(-7))/(-2)*2. Let t = 0 - 3. Put t, i, x in ascending order.
t, x, i
Let u = -3.6 + 4. Let g = 0.07 + -0.07. Let n = g + -1. Sort u, n, 1.
n, u, 1
Let j(w) = w**3 + 5*w**2 - 1. Let k = 8 - 13. Let c be j(k). Let d be 5 + -6 - (-1 - c). Sort d, -2, -4.
-4, -2, d
Suppose -3*q + 11 = -0*q + 2*o, -5*o = 10. Sort 0, q, -3 in descending order.
q, 0, -3
Suppose -7*l = -8*l - 2. Let b(z) = z - 6. Let a be b(7). Put a, l, 9 in descending order.
9, a, l
Let w = 8 + -10. Let a = w + 11. Put a, 1, -2 in increasing order.
-2, 1, a
Suppose 0*w - 3*w = -6. Let t = -3 - 0. Let f = -10 + 6. Put w, t, f in descending order.
w, t, f
Let m = -31 - -23.4. Let f = -8 - m. Put -3, f, 0.5 in decreasing order.
0.5, f, -3
Let t be ((-4)/45)/((-8)/20). Sort 4, 2, t in descending order.
4, 2, t
Let r(a) = -3*a - 1. Let u be r(1). Let j be ((-3)/2)/((-2)/20). Suppose 0 = 4*k - 1 - j. Put u, 2, k in ascending order.
u, 2, k
Let n = 29 + -1. Let d be 8/n + 9/(-7). Sort -0.1, -2, d.
-2, d, -0.1
Suppose 0 = 4*x - x + 3, -3*s - 3*x + 3 = 0. Sort s, 6, -5 in increasing order.
-5, s, 6
Let o = 11.9 + -8.9. Let k(b) = b - 4. Let l be k(0). Put o, -2/15, l in decreasing order.
o, -2/15, l
Let i(r) = 2*r - 2. Let k be i(3). Suppose 47 = 4*g + 59. Sort k, g, -2.
g, -2, k
Let s = -1.292 + -3.708. Let c = -13/2 + 27/4. Sort -2, s, c in increasing order.
s, -2, c
Let x = -0.055 - -0.155. Put -2, -5, x, 6 in increasing order.
-5, -2, x, 6
Suppose 6 + 4 = -2*j. Sort -2, j, 10.
j, -2, 10
Let o = -3.2 + 0.2. Sort 2, 4, o in decreasing order.
4, 2, o
Let r be (-1 - -2) + (-2)/(-1). Put -7, r, 1 in ascending order.
-7, 1, r
Let p be (2*-2)/(-2) - -3. Suppose -2*y = -y. Sort 2, p, y in increasing order.
y, 2, p
Let j = -22.6 + 18. Let b = 0.6 + j. Sort 4, b, 0 in increasing order.
b, 0, 4
Suppose 2*u - 6 = 5*r, -5*r + 3*r = 3*u + 10. Let b = -5.01 + 0.01. Sort b, 0, r in descending order.
0, r, b
Let z = -165 - -161. Sort 3, z, 4 in descending order.
4, 3, z
Let j(z) = z**3 - 6*z**2 + 3*z + 6. Suppose 0 = -2*g - y + 2*y + 11, 19 = 4*g + y. Let q be j(g). Let d be 6 + -9 + 68/22. Put -2, d, q in decreasing order.
d, -2, q
Let s(k) = -k + 9. Let x be s(12). Put -1, 4, x, 5 in decreasing order.
5, 4, -1, x
Let m = -22 + 37. Suppose 6 = -m*z + 12*z. Put -1, 0, z in ascending order.
z, -1, 0
Let c(n) = n**2 + 4*n - 14. Let h be c(-6). Put 1, h, -3 in increasing order.
-3, h, 1
Let k = 232 + -231. Let r be (2/5)/((-4)/6). Sort k, r, 2 in ascending order.
r, k, 2
Suppose 0 = -3*v + 12, v + 7 + 1 = -4*u. Let f(r) = 2*r + 7. Let b be f(-6). Let s = -391 + 383. Sort u, s, b in decreasing order.
u, b, s
Suppose 5*j = a - 6*a - 5, 4*j = -5*a. Suppose 0*u = -a*n + 5*u - 29, -3*n + 12 = 3*u. Put 0, n, -4 in descending order.
0, n, -4
Suppose 3*f = 3 - 0. Let t(j) be the third derivative of j**4/8 + j**3/6 + j**2. Let l be t(f). Sort l, 1, -4.
-4, 1, l
Let i be 8/70*45/54. Sort -1/2, i, 0.4 in increasing order.
-1/2, i, 0.4
Suppose -2*y - 12 = -2*c + 4*c, 0 = -2*c + 4*y + 12. Let w be 2 - (-2)/c*-1. Sort -6, w, -2.
-6, -2, w
Let x be 24*((-14)/(-4) - 3). Let h be x/(-10) + (-6)/(-30). Sort h, 0, -2 in ascending order.
-2, h, 0
Suppose -152*f + 147*f - 5 = 0. Sort -2, 3, f, -9.
-9, -2, f, 3
Let s be (5/2)/((-3)/(-30)). Suppose 3*y = -2*y + s. Suppose 4*k = 3*k - y. Put k, 1, -2 in ascending order.
k, -2, 1
Let i = 103 + -102. Put -1/8, -3, 0.07, i in decreasing order.
i, 0.07, -1/8, -3
Let k = 734/21 - 104/3. Let z = -2 - 1. Put -0.4, z, k in descending order.
k, -0.4, z
Suppose 2*m - 5*b = -m - 17, -3*b = 5*m + 17. Let i be -3 - (m + 2/2). Suppose -4*r + 5 = 2*k - 3, -r + 4 = i. Sort k, 0, 1 in increasing order.
k, 0, 1
Let j = -11.2 + 4.3. Put 3, 1, j in descending order.
3, 1, j
Let h be (44/(-10))/(1/(-5)). Let r = 45/2 - h. Let y = 1.059 - 0.059. Sort -4, y, r in increasing order.
-4, r, y
Let b = 27 - 23. Suppose k - 3*l + 16 = 0, -2*k - 5*l - 13 + 36 = 0. Sort b, 0, k.
k, 0, b
Let j = -1982/15 - -132. Suppose 5*z + 0*l - 3*l = 14, 4*l - 24 = -4*z. Put 2/9, j, z in descending order.
z, 2/9, j
Let f = -3 - -3.2. Let o = 0.36 + -1.36. Sort -4, o, f in ascending order.
-4, o, f
Suppose -3 = 2*s - 7. Put -4, 1, s in increasing order.
-4, 1, s
Let f(y) = -y**2 + 15*y - 17. Let t be f(14). Put -5, 0, t in decreasing order.
0, t, -5
Let o = 170 - 159. Let k = -0.3 + 0.5. Put o, -4, k in increasing order.
-4, k, o
Let n = 17 - 19. Sort 1, -3, n, 2 in descending order.
2, 1, n, -3
Let a = -9/65 + -6/13. Sort a, 5, 3 in a