v, n
Suppose 0*m = 4*m - 8. Suppose 5*n = -6*n - 55. Put 5, m, n in ascending order.
n, m, 5
Let p(f) = -f**2 - 3*f + 7. Let l = 9 + -14. Let q be p(l). Sort -6/7, q, 2/11.
q, -6/7, 2/11
Let h = 3.99 + 0.01. Let p = h + -1. Put p, 2, -5 in ascending order.
-5, 2, p
Let q = -3 - -2.9. Let k = q + 0.2. Let d = k - -0.9. Sort d, -1/6, -0.5 in increasing order.
-0.5, -1/6, d
Let l be -2*(15/6)/(-5). Let q = 4.8 + -5. Put l, q, 5 in ascending order.
q, l, 5
Suppose 2*p - 4*w - 20 = -2*p, 4*w + 18 = 3*p. Put p, 5, -4, 4 in ascending order.
-4, p, 4, 5
Let p = 101 + -100. Sort 2, p, -4, 4 in descending order.
4, 2, p, -4
Suppose -23 = -3*y - 5. Put 1, 0, y in decreasing order.
y, 1, 0
Let l = -3 - -2. Let z = 5 - 4. Sort -0.1, z, l in increasing order.
l, -0.1, z
Let n be 9 - 3 - 3 - -2. Sort 3, 4, n in ascending order.
3, 4, n
Suppose 0 = 4*z + 4*v - 20, z + 2*v + v - 3 = 0. Let k = z + -7. Sort -2, k, -3 in increasing order.
-3, -2, k
Let n = 111 + -116. Put -2, n, -4, 1 in descending order.
1, -2, -4, n
Let p be -2 - -1*(0 - -3). Let m be (11 + -13)*(-1)/(-21). Sort 4, m, p in ascending order.
m, p, 4
Let n = 5 + -5. Put 2/7, n, -0.05, 2/13 in descending order.
2/7, 2/13, n, -0.05
Let l(f) = f**3 - f - 3. Let q be l(0). Let c(w) = w**3 + 24. Let n be c(0). Suppose n = 5*g + 4. Sort q, -0.1, g in decreasing order.
g, -0.1, q
Let t = -3 + 2. Suppose 4*i = -23 + 15. Sort i, t, 3 in descending order.
3, t, i
Let z(x) = -4*x - 32. Let g be z(-7). Put 6, 2, g, -1 in increasing order.
g, -1, 2, 6
Let p be -1 + (-4)/(1 + 3). Put p, 0, -4 in decreasing order.
0, p, -4
Let s = -391/158 - 2/79. Let u = -0.23 + -0.07. Sort s, 2, u.
s, u, 2
Let o = -0.561 + 0.061. Let f be (-2)/(-1)*(-1)/(-7). Put o, 5, f in descending order.
5, f, o
Suppose 0 = -2*l - 2*l + 64. Let r = l + -12. Put -3, r, 0 in descending order.
r, 0, -3
Suppose -y - 21 = -5*b, 5*b - 2*y = 2*y + 9. Let o = 22 - 20. Sort b, -3, o in decreasing order.
b, o, -3
Let g(d) = d + 2. Let i be g(-3). Let b be ((-5)/3)/((-1)/3). Let c be 2/b + 34/(-10). Sort c, i, 5 in ascending order.
c, i, 5
Let a(y) = -y**3 + 6*y**2 - 5*y + 1. Let t be a(5). Let p be -2*(7/(-7))/((-3)/6). Sort p, -5, t in decreasing order.
t, p, -5
Let o = 4.1 - 0.1. Let s = -3 - -8. Put o, 0.4, s in ascending order.
0.4, o, s
Suppose 0 = 2*u - u + 5. Let f(v) = -v**3 + 10*v**2 - 9*v + 4. Let c be f(9). Suppose 0*q = -q - c. Sort 1, u, q in decreasing order.
1, q, u
Suppose 9*u + 5 = 4*u. Let g be ((-5)/15)/(u/(-6)). Sort g, -4, -1.
-4, g, -1
Let d(c) = -c**2 - 5*c - 2. Let k be d(-6). Let v = k + 12. Sort -2, v, -2/5 in descending order.
v, -2/5, -2
Let y = 47 - 47.3. Sort -0.1, -0.2, y in ascending order.
y, -0.2, -0.1
Let k = -1.5 - -1.9. Sort 0.2, k, -0.2.
-0.2, 0.2, k
Let z = -6 + 6.4. Put -1/2, z, -0.1 in decreasing order.
z, -0.1, -1/2
Let d = -16.89 - -17. Let w = d + 3.89. Let l = 1 - 1. Put l, 2/15, w in descending order.
w, 2/15, l
Suppose 2*d - 6 = -2*s, 5*s - 3*d = -10 + 1. Sort -5, s, 4 in descending order.
4, s, -5
Let u = 0.3 - 0.1. Let t = -43.2 + 47. Let m = -4 + t. Sort m, -0.1, u in ascending order.
m, -0.1, u
Let i = -12 + 10. Put i, -3, -4 in descending order.
i, -3, -4
Let t = 0 + 0.3. Let w be -2*-3*1/(-2343). Let g = w + -1532/11715. Sort t, g, 1 in descending order.
1, t, g
Let b be (((-6)/(-2))/(-3))/(-1). Suppose -2*p - r = -0*p - b, 3*p - 2 = -r. Sort -3/7, 0.4, p in increasing order.
-3/7, 0.4, p
Let q = -34758/55 + 632. Sort 4, q, 0.3 in increasing order.
q, 0.3, 4
Let u = 80 + -80.3. Put 2/5, 0.02, u in ascending order.
u, 0.02, 2/5
Let l = 12 - 7. Sort l, 1/2, -5 in descending order.
l, 1/2, -5
Let h = -2 + 0. Let m = 11.4 + -0.4. Let p = -11.5 + m. Put -0.4, p, h in ascending order.
h, p, -0.4
Let k be (-8)/(-6)*-3 + 0. Sort k, -1, 4.
k, -1, 4
Suppose 3*f - 4*f - 5 = 0. Sort 3, 5, f.
f, 3, 5
Let n be (-50)/(-75)*(-3)/(-7). Sort 4, n, 3, -2/5 in decreasing order.
4, 3, n, -2/5
Let i = 2 + -5. Let u = 47/11102 + -396807/2320318. Let o = u + -2/133. Sort -1, o, i in descending order.
o, -1, i
Let d = 15 + -13. Put d, 0, 1 in ascending order.
0, 1, d
Let r = 2/299 - -584/2093. Let s = -0.08 + -3.92. Sort 0.1, s, r.
s, 0.1, r
Let l = -0.5 + 0.2. Let o(g) = -g**2 - 10*g - 9. Let h be o(-9). Sort l, h, 2 in descending order.
2, h, l
Let i = 4 - 4.5. Suppose d = -3*d. Let k(s) = -s**3 + 10*s**2 + 2*s - 15. Let n be k(10). Sort i, n, d in increasing order.
i, d, n
Suppose -y + 7 = -3*t + t, 4*t + 17 = -y. Let u(m) = m. Let v be u(-3). Sort -6, v, y in descending order.
y, v, -6
Let c be 18/(-10) - ((-12)/(-30))/2. Suppose -20 = 2*n + 2*a, 2*a + 5 = 3*n - 2*a. Put c, 3, n in ascending order.
n, c, 3
Suppose -5*d + 6 + 15 = -3*u, 15 = -3*u + 3*d. Sort 0.9, -4, u, -0.2.
-4, u, -0.2, 0.9
Suppose -2*j + 0*j - 6 = 0. Suppose -4*d + 5 - 15 = -3*f, -2 = 3*d - 5*f. Let p be 1537/319 - 4/(-22). Sort j, d, p in descending order.
p, j, d
Let j = -2 + 1.5. Let r = -0.8 - j. Let h = 1 - 3. Put h, r, -3 in descending order.
r, h, -3
Let q = 0.6 - 1. Let d = 0.1 - 0.2. Let y = 2 + -4. Sort q, y, d in descending order.
d, q, y
Suppose 2*w = 4*w. Let a = -11 - -8. Let f = 2 + a. Sort w, -5, f.
-5, f, w
Let u(l) = l**2 - 9*l + 3. Let m be u(8). Sort -3, m, 4 in decreasing order.
4, -3, m
Let n be (2 - 2) + -3 + 1. Let m = -20 - -24. Put -3, n, m in increasing order.
-3, n, m
Suppose o = -3*w - w + 12, -w - 12 = -o. Suppose 5*k + 7*d - 3*d = -o, -k + 5*d = -15. Sort k, -0.3, -5/4 in decreasing order.
k, -0.3, -5/4
Let o = -5.5 - -5. Let v = o - 0. Put 1/3, 0.4, v in decreasing order.
0.4, 1/3, v
Let x(b) be the third derivative of -b**4/24 - 5*b**3/3 - 2*b**2. Let v be x(-7). Let t be (2 - (-1 - v))/(-1). Put 4, 5, t in increasing order.
t, 4, 5
Suppose 9*b + 15 = 14*b. Sort 1/2, b, 2.
1/2, 2, b
Suppose 4*f + 3*s = 7, -3*f + 3*s = -f - 17. Let u = -0.01 + -3.99. Let z = 4 - 3.5. Sort z, u, f in descending order.
f, z, u
Let i = 37.16 + -37. Put -2/13, 0, i in descending order.
i, 0, -2/13
Let u = -13.6 + 10. Let b = 96 + -100. Let f = u - b. Put 4, -2, f in decreasing order.
4, f, -2
Let t = 29 - 22. Let k = -8 + t. Put k, -4, -8 in ascending order.
-8, -4, k
Let p = -1744/13 - -134. Suppose -i = 2*j + 5, i - 3*j - 18 = -i. Suppose 0 = y - i*y + 10. Put y, -0.1, p in descending order.
y, -0.1, p
Let x(f) = f + 4. Let d be x(-1). Sort d, -2, 4.
-2, d, 4
Let k(f) = f**2 + 3*f. Let l be k(-3). Put 8, l, -2, 4 in decreasing order.
8, 4, l, -2
Suppose -1 + 11 = -2*z. Let x = 0.1 + 0.4. Let v be 16/(-24)*(-6)/(-8). Sort x, v, z.
z, v, x
Suppose -5*l + 3*t = 8*t - 15, -3*l - 4*t + 9 = 0. Let n be ((-6)/2)/(-3) - -2. Suppose -c + 5*c + 4*r = 4, 3*c - n*r = 21. Put l, 1, c in descending order.
c, l, 1
Let n be 4/6 + (-14)/3. Suppose -4*j + 18 = -2*j. Let s be (-51)/j - n/6. Sort s, 3, 2.
s, 2, 3
Let k be -21*(4 - 33/9). Sort k, 1, -3 in ascending order.
k, -3, 1
Suppose 9*l - 4*l = -10. Put 5, -1, l in ascending order.
l, -1, 5
Suppose -1 = 4*u + 3. Suppose 0 = 4*t + 5*o - 6*o - 3, -3*t = 2*o - 5. Put u, 3, t in decreasing order.
3, t, u
Let u(y) = -y**2 + 3*y + 3. Let d be u(4). Sort d, -5, 1, 2.
-5, d, 1, 2
Suppose 3*t - 6*t = 3. Sort t, 0, 3 in ascending order.
t, 0, 3
Suppose 0 = 3*l - l - 30. Suppose -5 = -2*r + x, -x - l = -5*r + x. Sort 0.5, r, -0.5 in decreasing order.
r, 0.5, -0.5
Let q be (-2)/(-4) - 14/(-4). Let c = q - 9. Let i be (-387)/135 - (-4)/(-30). Sort i, 3, c in descending order.
3, i, c
Let n = -3.2 - 0.8. Let t = -28.4 - -28. Let k = -1 + 3. Put k, t, n in decreasing order.
k, t, n
Let t = 12.1 + -12. Put t, -4, 0.3, 5 in descending order.
5, 0.3, t, -4
Let d be (-1)/(((-15)/6)/5). Suppose 6 = -4*m + d. Put 0, 4, m in decreasing order.
4, 0, m
Let q = 18 + -19. Sort 5, q, 4 in decreasing order.
5, 4, q
Let f = 844/7 + -121. Sort f, -0.4, -3/5 in decreasing order.
-0.4, f, -3/5
Let p(a) = a**3 - 6*a**2 + a - 7. Let l be p(6). Put l, -2, -5 in descending order.
l, -2, -5
Suppose -4*a - 4*o - 32 = -0*a, o + 13 = -2*a. Suppose 9 = 8*n + 33. Put 2, n, a in descending order.
2, n, a
Let n = -0.3 - 0. Let g = -5 + 8. Let i = g + -2.5. Sort -0.4, i, n in ascending order.
-0.4, n, i
Let s = 0 + 0. Suppose s = -3*f + 4*z - 11 - 3, -4*z + 8 = 0. Let y = -5.9 + 6. Sort 0, y, f in increasing order.
f, 0, y
Let v(u) = -3*u 