 order.
0.1, z, v
Let m = 605 - 605. Let v = -1 - -2. Let b(r) = -2*r - 3. Let c be b(-4). Sort v, c, m in descending order.
c, v, m
Let o = 8.4 + -8.03. Let t = 0.07 - o. Put -2/5, -0.01, t in increasing order.
-2/5, t, -0.01
Suppose c = -2 + 1. Let d be (c/3)/((-1)/3). Sort -5, -4, d in increasing order.
-5, -4, d
Suppose -d - 2*d - 51 = 0. Let y = d - -171/10. Sort y, -4, -0.5 in increasing order.
-4, -0.5, y
Suppose g - 3*g - 4 = -5*x, 0 = 3*x - 5*g + 9. Let c(s) = -s**3 + 2*s**2 + s + 2. Let u be c(x). Let n = -12 - -15. Sort u, n, -1 in increasing order.
-1, n, u
Let q(c) = -4*c**2 - c + 1. Let g be q(1). Let y(d) = d**3 - 4*d**2 - 6*d + 7. Suppose o + 3*o = 20. Let p be y(o). Sort p, g, 3.
g, p, 3
Let x = 48.5 - 33. Let i = x + -16. Sort 0.4, i, 1 in ascending order.
i, 0.4, 1
Let q = 79 - 397/5. Let z = q - -9/10. Let u = 3.4 - 3. Sort u, z, 3/4 in ascending order.
u, z, 3/4
Suppose -2*y - 2*u + 4 = 0, u + 2 = 4. Suppose y*r = -s + 5*r - 9, 4*s + 2 = 3*r. Suppose -s = -5*k + 9. Sort k, 4, -4 in descending order.
4, k, -4
Let z = 3.8 - 0.8. Let m = 0 + z. Let w = 95 + -95. Put w, m, 2 in decreasing order.
m, 2, w
Let y = 16 + -10. Suppose 5*z - 6 = -p, -2*p + z + y = -4*p. Let v = p + -1. Put v, -4, 5 in increasing order.
v, -4, 5
Let z be (5/5)/((-10)/4). Let h = -2612/15 - -174. Let i = 0 - -0.2. Sort z, i, h.
z, h, i
Let l = 118 - 115. Sort l, -5, 2, -2 in descending order.
l, 2, -2, -5
Let n = -0.08 + -0.02. Sort n, 3/4, 1 in decreasing order.
1, 3/4, n
Let a(l) = -l**3 + 6*l**2 - 3. Let v be a(6). Let s be (1 + v)/((-4)/(-10)). Sort 4, 0, s.
s, 0, 4
Let r = -41.5 + 41. Put r, -1, -2/7 in ascending order.
-1, r, -2/7
Let i = 0.04 + -0.54. Put -1, i, 4 in decreasing order.
4, i, -1
Suppose -2*f - 4*i - 12 = 0, -2*i = -5*f + 5 + 1. Suppose -5 = k - 2*k, 2*w - 5*k + 23 = f. Let m be 1 + (-1 - 0)*1. Sort -2, m, w in ascending order.
-2, m, w
Let v = -8 + 11. Let p be (-4)/14 + 51/7. Let s = 5 - p. Put 0, s, v in descending order.
v, 0, s
Suppose 2*x - x = 4*k - 66, 3*x = -k - 146. Put 5, x, 3 in descending order.
5, 3, x
Let l = -102.98 - -103. Put -0.03, l, 0.4 in increasing order.
-0.03, l, 0.4
Let u = 28 - 31. Sort u, 2/7, 0.5 in decreasing order.
0.5, 2/7, u
Suppose 0 = 3*u - d - 36, 3*u + 3*d - 24 = 0. Suppose 0 = 5*i + u + 9. Let r(x) = x**3 - 4*x**2 + 2*x + 1. Let z be r(3). Put z, 4, i in ascending order.
i, z, 4
Suppose 6*x + 6 = 4*x. Let s(f) = f + 8. Let d be s(-6). Let t(j) = -3*j. Let u be t(d). Put u, -2, x in decreasing order.
-2, x, u
Let x = -20.009 - -0.009. Let d = x - -17. Sort d, 0.2, 0.3 in decreasing order.
0.3, 0.2, d
Let a be 24/64 + 54/(-16). Let r be 4/(-2*1) - 3. Put a, r, -1 in decreasing order.
-1, a, r
Let t be -1 + -2 + 1 - 3. Suppose -o = -3*w + 14 + 5, -w + 15 = 4*o. Put t, -3, w in decreasing order.
w, -3, t
Let i(v) = -v**2 - 6*v - 5. Let j be i(-6). Let s = 0.7 + -0.6. Put s, 4/3, j in decreasing order.
4/3, s, j
Suppose 4*j + 2*t = -10 - 8, -3*t - 17 = 4*j. Sort j, -2/11, -1/4 in decreasing order.
-2/11, -1/4, j
Let n be (-100)/15 - (-2)/(-6). Let s(y) = 2*y + 16. Let i be s(n). Sort -1, i, -4.
-4, -1, i
Let c be (-8)/2*15/(-12). Sort -6, 1, c in descending order.
c, 1, -6
Let x(d) = -d**3 + 12*d**2 + d - 16. Let w be x(12). Sort 3, 6, w in increasing order.
w, 3, 6
Suppose 15 = 4*q - q. Suppose -4*c + 5*t - 22 = 0, -c - c + 4 = q*t. Let r be -2*(c/(-2) + -1). Sort -4, -3, r.
-4, -3, r
Let w be (0 - 1)/1 + 4. Let g = w - 0. Sort g, 2/7, 0.
0, 2/7, g
Suppose 5*j - j = w - 2, w = 2*j + 2. Put -0.4, j, 5, -4 in ascending order.
-4, -0.4, j, 5
Suppose l - 3*a = 14, -l + 5*l - 35 = 5*a. Suppose -2*k + 15 = -l*k. Sort -4, k, -2 in increasing order.
k, -4, -2
Let r be (2/6)/(1/63). Suppose 5*u + r = -o, -3*u + 4*u = -5*o - 33. Let y be (-16)/o*6/8. Sort y, 0, 3 in ascending order.
0, y, 3
Let g(w) = -w**3 + 6*w**2 - 6*w + 4. Let q be g(5). Let j = 2 - 4. Put j, q, 4 in descending order.
4, q, j
Let x = 2 - -2. Suppose -7*v = -2*v - x*t - 21, -3*v + 19 = -4*t. Put v, -1, -3 in ascending order.
-3, -1, v
Let j = -242 + 244. Let a = -1.6 - 0.4. Put j, -7, a in descending order.
j, a, -7
Suppose 16 = -5*t + 1. Let h be -2*(-2 - -3) + 2. Sort t, h, 1.
t, h, 1
Let g = 1275/8 + -159. Put 0.4, g, 2 in decreasing order.
2, 0.4, g
Let g = -167 + 167. Sort -1, -3, 4, g in descending order.
4, g, -1, -3
Let x = 8 - 7. Let d be -2 + 0 - (0 + x). Sort d, 1, -4 in ascending order.
-4, d, 1
Let y = -14 - -13.8. Put y, -0.1, -2/5 in descending order.
-0.1, y, -2/5
Let l(h) = h**3 - 2*h. Let a be l(2). Let j be (-1 - 9)*(-3)/6. Let x be (-1 + -1)*1/(-2). Sort x, j, a.
x, a, j
Suppose -4*w - 3 - 9 = 0. Let a be 8/36 + (-4)/18. Let r be (-2)/3 + (-5)/(-3). Sort r, a, w in increasing order.
w, a, r
Let f = -2.132 + 0.012. Let n = f - -0.07. Let j = n - -0.05. Put j, -0.5, 0.3 in descending order.
0.3, -0.5, j
Let a be 2/4 - 4/8. Suppose 0 = 3*b - a*b + 12. Put b, 2, 0 in decreasing order.
2, 0, b
Let r = -239/78 + 42/13. Put -1.2, 0.1, r in decreasing order.
r, 0.1, -1.2
Let i = 1 + 0. Let w = 1 + i. Sort -2/13, w, 6 in increasing order.
-2/13, w, 6
Let y(w) = w**3 - 2*w**2 - w + 4. Let u be y(3). Let a = 9 - u. Let j be (2/6 - 0)*a. Sort -0.2, 2, j in descending order.
2, -0.2, j
Let m = 23 - 19. Suppose -2*q - m = -14. Sort q, -6, -5 in descending order.
q, -5, -6
Let l = 0.6 + 2.4. Let j = 0.4 + 1. Let d = j - -3.6. Sort l, d, -2/7 in decreasing order.
d, l, -2/7
Let c be 6*(-1)/((-9)/(-6)). Let x be (-2)/4*(0 + -8). Suppose -x*v = v + 15. Sort c, v, 4.
c, v, 4
Let v = -0.145 - -2.145. Let z = -2.063 + -0.037. Let w = -2 - z. Sort v, w, 2/3 in descending order.
v, 2/3, w
Let u be (-1)/(-2) - (-22)/(-28). Suppose 1 = 4*v + b, -v - 3*b - 5 = 3*v. Let z be 2/(-3)*-3 + v. Put -1, z, u in descending order.
z, u, -1
Let u = -0.48 + 6.68. Let v = u + -1.2. Let r = 0.08 - 0.08. Sort r, v, -2 in descending order.
v, r, -2
Suppose -2*u + 1 = -7. Suppose -3*z = u - 13. Suppose -2*g - 9 - 5 = -4*c, -9 = g - z*c. Put g, 4, -2 in ascending order.
g, -2, 4
Suppose -2*r + 4 = 2*f, -2*f - 3*r + 1 = -3. Let l = 2.134 - 0.034. Let w = -2 + l. Sort -4/5, w, f in ascending order.
-4/5, w, f
Let q be (-5)/40*(2 + -6). Put q, -6, -0.3 in ascending order.
-6, -0.3, q
Let v = -3.6 - -4. Let s be (-10)/(-20) + (-1)/4. Sort s, v, 4/7.
s, v, 4/7
Let v = 15.1 - 15. Put -0.2, v, 2/3 in increasing order.
-0.2, v, 2/3
Let a(c) be the first derivative of -c**4/4 - 2*c**3/3 + c**2 - c - 2. Let j be a(-3). Let z be (j - (4 - 2))/(-2). Put z, -1, 3 in ascending order.
-1, z, 3
Suppose -7 = -y - 12. Sort y, -2, 4 in increasing order.
y, -2, 4
Let s(r) = 3*r**2 - 10*r - 4. Let b be s(4). Sort -10, -3, b in decreasing order.
b, -3, -10
Let o = -10.2 - -4.2. Put o, -5, -2 in decreasing order.
-2, -5, o
Let x(w) = w**3 - w**2 - 3*w - 2. Let f be x(3). Sort 0.3, 5, f.
0.3, 5, f
Suppose 0*g + 20 = 4*g. Sort 4, g, -1 in ascending order.
-1, 4, g
Let i = 7 - 7.3. Put -4/5, i, -1 in decreasing order.
i, -4/5, -1
Suppose 22*x - 27*x + 20 = 0. Suppose 5*u + x = -2*c, 2*c + u - 1 = c. Sort -2, 5, c in decreasing order.
5, c, -2
Let v be -8 + (-2 - -1) + 1. Let g be 51/12 + 2/v. Let f be g/18 + (-78)/(-135). Sort -2, 1, f in increasing order.
-2, f, 1
Suppose 0 = -6*p - 1 + 7. Let i be (-4)/(-2) + -2 + 6. Suppose -2*a - i = 4*c, c + 2*a = -a - 4. Put p, 0, c in decreasing order.
p, 0, c
Let f(y) = y + 2. Let j be f(-7). Suppose -4*t + 45 = 5*b, -3*t - 4*b - 2 = -37. Put j, t, 1 in ascending order.
j, 1, t
Let h = -38 - -41. Put h, 5, -2, 0 in decreasing order.
5, h, 0, -2
Let o(h) = h**2 - 7*h + 1. Let l be o(7). Let w(q) = q**2 + 3*q - 3. Let r be w(-3). Let u = 0 + r. Sort l, 0, u.
u, 0, l
Suppose -c = -0*g - g + 44, -4 = -2*c. Let s be 8/(-44) - g/(-11). Put s, 0, 2 in decreasing order.
s, 2, 0
Let j = 64/3 + -22. Put j, -0.4, -6 in decreasing order.
-0.4, j, -6
Let l = 60 - 64. Let m = -0.06 - -3.06. Sort -0.3, l, m in decreasing order.
m, -0.3, l
Let l = 0 - -0.4. Sort 2, l, 0.5 in increasing order.
l, 0.5, 2
Let v = -125 - -121. Let o be -1 + (3 + -2 - -1). Sort v, o, 2 in decreasing order.
2, o, v
Let m = 0 + -0.4. Let j = m - -0.3. Let h be (2/12)/((-1)/(-3)). Sort j, h, 5.
j, h, 5
Let g(p) = -p**3 + 8*p**2 + 7*p + 2. Let a be g(9). Let f be (-14 - a)*(-2)/4. 