n = 7 - 11. Let b = -7 - n. Sort 3, -2/11, b.
b, -2/11, 3
Suppose 4*r = 19 - 15. Sort -2, 9, -1, r.
-2, -1, r, 9
Let y = 0.5 - 0. Let i = 29/4 - 15/2. Put i, y, 0.1 in increasing order.
i, 0.1, y
Let v be 2/(-3)*(-15)/2. Let p = 0.2 - 0.1. Let b be -1 - ((-14)/(-12))/(-1). Sort v, p, b in ascending order.
p, b, v
Let g = -15 + 16. Put g, 2, -3, -5 in descending order.
2, g, -3, -5
Let t = 39.3 - 41. Let g = -0.7 - t. Put -3, g, -5 in descending order.
g, -3, -5
Let n be (-2)/(-7) + 60/(-14). Suppose 0*o = 3*o + 54. Let l be 4/o*(-2)/(-4). Sort l, n, 4.
n, l, 4
Let q(h) be the second derivative of h**3/6 + 5*h**2/2 + h. Let s be q(0). Suppose -s*u = 4*f + 20, 0 = 2*u + 2*f - 2 + 12. Sort u, -4, -5 in increasing order.
-5, -4, u
Suppose 2*a - 7 = 7. Let d = 10 - a. Sort 4, d, -2 in ascending order.
-2, d, 4
Let d = 13 + -12. Put -1, 2, d in ascending order.
-1, d, 2
Let j = 7.4 - 0.4. Let n = j + -1. Let k = -5.7 + n. Sort k, 0.5, 4 in increasing order.
k, 0.5, 4
Suppose -3*t + 24 = -7*t. Suppose 0 = -m - 3 - 0. Put -2, t, m in decreasing order.
-2, m, t
Let x = 3.8 + 0.2. Let r = 3.9 - x. Put r, 0.1, -2 in decreasing order.
0.1, r, -2
Let x(b) = -b**3 - 14*b**2 + 2. Let s be ((-63)/6)/((-12)/(-16)). Let f be x(s). Let n = -8 + 13. Put f, 3, n in ascending order.
f, 3, n
Let b(i) = -i**2 - 12*i - 1. Let a be b(-12). Sort 4, a, -4, 2 in decreasing order.
4, 2, a, -4
Let m = 32 - 30. Sort 0.1, 0.3, m, -4 in ascending order.
-4, 0.1, 0.3, m
Suppose 22 + 14 = 3*m. Let d be (-2)/(1*-2) - -16. Let n = m - d. Sort 3, 2, n in ascending order.
n, 2, 3
Suppose -3*l = 5*g + 17, 53 = 3*l - 5*l + 5*g. Let b be (2/l)/(1/4). Put -4, -2/13, b in increasing order.
-4, b, -2/13
Suppose 9 = -2*u - 3*z, -3*u - 2*u + 5*z - 10 = 0. Put -5, 0, u in decreasing order.
0, u, -5
Suppose -3*w + 4*w + 2 = 0. Let u = 0.03 - 0.43. Let g = -38 - -41. Sort u, g, w in increasing order.
w, u, g
Let w = -2 - -2.1. Suppose -3*f = 0, -f + 2 = -2*h + 4*f. Let d be (1 - (h - -3))/(-3). Sort -4, d, w.
-4, w, d
Suppose 5*o + i + 18 = 0, -9*i + 8 = -5*i. Put o, 4, -3 in ascending order.
o, -3, 4
Let a be (-3)/7 - (-118)/14. Suppose -6*d + 8*d - a = 0. Sort d, -2, 3.
-2, 3, d
Let c = -65 + 56. Put -0.4, 2, -4, c in increasing order.
c, -4, -0.4, 2
Suppose -2*p - 2 = 3*b + 8, 4*b + 18 = 2*p. Let v be 1 - (-3 - (-20)/4). Let j be (7/((-21)/(-12)))/v. Sort j, p, 2 in ascending order.
j, p, 2
Let d(u) = u**3 + 7*u**2 + 7*u - 6. Let t be d(-6). Let z be (4/(-6))/(8/t). Sort z, -5, 2 in decreasing order.
2, z, -5
Suppose 5*z + 4 - 14 = 0. Suppose -i - z*i = 0. Let t(g) = -g**2 - 6*g - 5. Let j be t(-4). Put i, j, 2 in decreasing order.
j, 2, i
Let n be 58/(-10) + (-16)/120*-6. Put 3, -37, n in descending order.
3, n, -37
Suppose -3*r + 2*r = 0. Let o be -9 + (-5)/((-10)/(-4)). Let q = o + 7. Sort q, 3, r in decreasing order.
3, r, q
Let h = 93.47 + -94. Let q = h + 0.5. Let k = 2.97 - q. Sort k, -5, 1.
-5, 1, k
Let y = 35 - 32. Sort -1/4, y, 1.
-1/4, 1, y
Let a = -86 + 82. Let g = 5 - 2. Sort a, g, 0 in decreasing order.
g, 0, a
Let w be 8/2 + (8 - 12). Sort -3, w, 3.
-3, w, 3
Let c be 10/5*(-2 + 6)/2. Sort c, 1, 1/3, 0.01.
0.01, 1/3, 1, c
Let q be 5 - (-1)/(-1)*1. Suppose q*r = 8 + 4. Suppose -3*k - 2*v + 14 = -9, 4*k = v + 16. Sort r, -2, k in increasing order.
-2, r, k
Let c = 0 + 1.1. Let o = 1.6 - c. Let y(q) = -2*q + 3. Let p be y(2). Put p, o, -4 in decreasing order.
o, p, -4
Let a(r) = 2*r - 9. Let p be a(5). Let n be 7 + (0 + p)*-3. Put n, -1/3, -3 in decreasing order.
n, -1/3, -3
Let d(i) = 2*i + 25. Let l be d(-12). Put -2, l, 5 in descending order.
5, l, -2
Suppose t = c - 15, -2*c = -4*c - 5*t + 37. Suppose 3*u = -u + c. Suppose -u*g = -2*g - 6. Put -1, -0.3, g in descending order.
g, -0.3, -1
Let s = 45 + -37. Put -2, s, 2, 0.4 in descending order.
s, 2, 0.4, -2
Let c(v) = -v**2 - 2*v - 1. Let j be c(-2). Let t be (j + 10)*1/3. Put t, -3, -4 in decreasing order.
t, -3, -4
Let r = 20 + -23. Put -1, -6, r in descending order.
-1, r, -6
Let p = 8 - 3. Suppose x - 15 = -4*k, -4*k = 3*x - 1 - 4. Let m = -0.1 + 0.1. Sort m, x, p in descending order.
p, m, x
Let w = -14.5 - -18. Let d = w - 3. Let l(i) = i**2 + 2*i - 4. Let a be l(-4). Sort d, 0.4, a in decreasing order.
a, d, 0.4
Let m = -0.5 - -1. Let t = m - 0.1. Suppose v - 8 = -v. Sort v, 1/2, t in ascending order.
t, 1/2, v
Let p = -4.3 - -5. Let b = p - 0.5. Sort -3, b, -0.3 in decreasing order.
b, -0.3, -3
Let b = -2/255 + -757/1020. Sort 0.6, b, -0.5.
b, -0.5, 0.6
Let o = -0.61 - -0.21. Put -1/5, o, 5 in descending order.
5, -1/5, o
Suppose 0 = 4*l - 2*r + 5 - 3, -29 = -2*l - 5*r. Suppose n - 2*n - 5*v = 23, 0 = -3*n + v - 5. Sort n, l, -2 in descending order.
l, -2, n
Suppose 0 = -5*n - 8 + 3. Let p(w) = -w**3 + 4*w**2 + 4*w + 7. Let o be p(5). Suppose 2*r = 6, x + 18 = 3*x + 4*r. Put x, n, o in increasing order.
n, o, x
Suppose -c - 4*c = p + 11, -c = 5*p + 7. Let a be (16/(-20))/(p/(-5)). Suppose -2*n + 5 = 15. Sort a, 1, n in increasing order.
n, a, 1
Let v = 0.19 - -0.21. Put -4, -0.5, v, 1/7 in decreasing order.
v, 1/7, -0.5, -4
Let y be 3/(-1) + 1 + 3 - -1. Sort 5, -4, 3, y in decreasing order.
5, 3, y, -4
Let f = 0.3 + -0.3. Let w = 57 - 54. Sort w, -5, f.
-5, f, w
Let k be (-2)/(-3)*105/28. Let b = 0.3 + -2.3. Put b, k, 0.3 in increasing order.
b, 0.3, k
Suppose 0 = -4*b + 17 + 19. Let v = 11 - b. Suppose 0*k - 5*k + 20 = 0. Put k, v, 3 in decreasing order.
k, 3, v
Suppose b - 30 = -5*v, 4*v = 2*b + 3*b + 24. Suppose d - v = -d. Suppose 5*t + 21 + 4 = 0. Sort d, t, 0 in decreasing order.
d, 0, t
Let n = -40 - -44. Put -2, n, -1, 1 in descending order.
n, 1, -1, -2
Let m = 605.07 - 601. Let s = -0.07 + m. Sort 0.2, s, 0.02 in decreasing order.
s, 0.2, 0.02
Let t = 7 - 14. Let b = t + 2. Let d = -3 + -1. Sort b, 4, d in increasing order.
b, d, 4
Let g = -0.07 - 0.13. Let q = -0.2 - -5.2. Let x = q + -4.5. Sort 2, g, x.
g, x, 2
Let q = -4 + 5. Put -5, -7, q in descending order.
q, -5, -7
Let m = 4 + -2. Suppose 0 = -5*u - 4*j + 41, 35 = 3*u + m*j + 3*j. Put u, -5, 3/5 in increasing order.
-5, 3/5, u
Let l = -17 - -17.22. Let y = l - 6.62. Let c = 6 + y. Put -5, c, 5 in descending order.
5, c, -5
Let p be ((-2)/2)/2*2. Let s be (25/(-10))/(p/2). Let d = -8 - -6. Put -1, s, d in descending order.
s, -1, d
Let d(a) = 9*a + 4. Let c(x) = -5*x - 2. Let h(g) = 11*c(g) + 6*d(g). Let y be h(-3). Put 0.2, -1, y in descending order.
y, 0.2, -1
Let z = -5.8 - -3.8. Let l = -0.2 + 0.7. Put 3, l, z in descending order.
3, l, z
Suppose -9 = -11*c + 8*c. Let n = -20 + 41/2. Let f = n - 3/4. Sort f, c, 0.2 in descending order.
c, 0.2, f
Let n = 0 + -2. Let w(t) = -2*t**2 - 2*t - 1. Let g be w(-2). Let o = g + 0. Sort o, 0.1, n in ascending order.
o, n, 0.1
Let x = 33.3 + -37.31. Let v = -0.01 - x. Sort v, 3, -3 in increasing order.
-3, 3, v
Let s(w) = w**3 + 4*w**2 + w - 3. Let l be s(-3). Let o be (-1 + l/15)*5. Let u be (2/(-4) - 0)*-8. Sort o, -3, u in decreasing order.
u, -3, o
Suppose 0*x - k = 2*x - 5, -5*x - 3*k + 13 = 0. Let v be (3 + 0)/3 - -1. Suppose -6 = v*u - 0*u. Sort x, u, 5.
u, x, 5
Suppose -3*p + 6 = -f - 25, 0 = -4*f + 20. Let y = 12 - p. Sort -2, y, 2 in descending order.
2, y, -2
Let g = 11 - 15. Let q = -53 - -61.4. Let m = 8 - q. Sort g, -2, m.
g, -2, m
Let m be (-2)/4 + (-1)/(-2). Let j(w) = -w**3 + 3*w**2 - 2*w + 3. Let i be j(2). Suppose 3*l = -2*y + 15, 4*l - i*y - 11 = 9. Put l, -5, m in decreasing order.
l, m, -5
Suppose 2*i - 4 = 6. Suppose -11*u - i = -6*u. Sort 0, 1/5, u in decreasing order.
1/5, 0, u
Let p be 1/4 - (-44)/16. Suppose -2*k = 2*k + 20. Let s be 1/(((-5)/2)/k). Put p, s, -5 in descending order.
p, s, -5
Suppose -5*l + l + 16 = 0. Let o = 0.3 + -0.3. Let h = 0 + o. Put l, h, -5 in ascending order.
-5, h, l
Let a = -1 + -2. Sort -0.2, -2, a, 0.5 in descending order.
0.5, -0.2, -2, a
Let y = -18 + 15. Sort 2/7, 2, 0.5, y in increasing order.
y, 2/7, 0.5, 2
Suppose 3*f - 3*j - 21 = 0, -f + 2*j + 10 = -0*j. Sort -2, 3, f in descending order.
f, 3, -2
Let b be 4/34 + (0 - 0). Let w be 1/28 + 8/(-28). Sort -4/7, b, w in decreasing order.
b, w, -4/7
Let d = 16 + -13. Suppose -3*b + 2 = c, 4*b + 3*c = -d + 9. Let n be 0 + (-2 - -1 - -5). Sort -4, n, b in increasing order.
-4, b, n
Let m(a) = -3*a**