17 + u. Sort o, 3, j in decreasing order.
3, j, o
Let w = -7/15 + 2/15. Let b = -22288 + 535051/24. Let c = 33/8 - b. Sort c, -1, w in decreasing order.
w, -1, c
Let s(c) = 3 - 4 + 4*c - 10. Let u be s(8). Suppose y + 2*y - 20 = -5*p, -u = -p - 4*y. Sort -4, 4, p.
-4, p, 4
Suppose -7 = c - 5. Suppose 4*k = 8, 6*k = 5*v + 2*k + 8. Put v, c, 3 in decreasing order.
3, v, c
Let v be 10/24 - (-2)/(-3). Let l = -19 - -19.4. Sort 1/2, l, v in decreasing order.
1/2, l, v
Let m be (-2 - (2 + -2)) + 5/5. Sort -1/4, m, -0.08.
m, -1/4, -0.08
Let g be 16/(-7) + 2/7. Suppose -2 + 6 = 2*a. Put a, -3, g in ascending order.
-3, g, a
Suppose 13 - 1 = -4*v. Sort -4, -0.2, v in ascending order.
-4, v, -0.2
Let x = 0.8 - 0.3. Let j = 0.06 - 4.06. Let r be 3/6*1/(-2). Put r, x, j in ascending order.
j, r, x
Let v(n) = n - 12. Let p be v(9). Put p, -4, 5 in increasing order.
-4, p, 5
Let l = -2.32 - -5.32. Let q = -165/2 + 3469/42. Sort 1/8, q, l in descending order.
l, 1/8, q
Let y = -2.4 - -1. Let j = -1 - y. Let z be ((-8)/(-16))/((-9)/(-4)). Sort z, 0, j.
0, z, j
Suppose 5*k - 2*v - 3*v - 35 = 0, 2*k - v = 9. Sort 4, -1, k in ascending order.
-1, k, 4
Let b = -0.03 + -0.87. Let x = 0.6 + b. Sort -5, x, 1.
-5, x, 1
Let k(h) = -3*h - 10. Let y be k(-4). Sort 4, y, 1 in ascending order.
1, y, 4
Suppose -3*b - 5 = 2*h, 0*h - 5 = h + 2*b. Put -5, h, 17 in increasing order.
-5, h, 17
Let v = 0.146 - 2.146. Let p = -0.07 - 3.93. Sort v, p, -0.4 in decreasing order.
-0.4, v, p
Let m = 4 - 3.9. Put 5, m, -1 in increasing order.
-1, m, 5
Suppose -5*u + 5*v + 10 = 0, -2*v - 2*v = -3*u + 1. Let s = u - 11. Let l be ((-3)/(-4))/(1/(-4)). Sort s, 4, l in descending order.
4, l, s
Let d = 3 + 0. Suppose -23 + 11 = 4*f. Sort f, -1, d in decreasing order.
d, -1, f
Let z(a) = 10*a**3 - 2*a - 1. Let w be z(-1). Suppose -3 = -4*v + 5*b, v + 2*b + 1 = 5. Put v, -4, w in descending order.
v, -4, w
Suppose 2*r - 3*p + 12 = 0, -r - 4*p = -2*r - 16. Put r, -6, 2 in decreasing order.
2, r, -6
Let f = 1 + -11. Let i = -12 - f. Put 3/7, 1, i in increasing order.
i, 3/7, 1
Let k be 0/(0 + 1 - 2). Suppose 12 - 37 = -5*m. Suppose 5*p - j - 7 = 2*p, -m*p = j - 9. Put -2, p, k in increasing order.
-2, k, p
Let p = 5.13 + -0.13. Let h = 3 - -1. Let r be h/2 + (-16)/6. Sort p, 0.2, r in increasing order.
r, 0.2, p
Let c(j) = -j**2 + 5*j - 6. Let p be c(2). Sort 4, p, -2.
-2, p, 4
Let h = -14 - -10. Put 1, h, -1 in decreasing order.
1, -1, h
Suppose -14 = -4*j - 0*j - 2*d, 4*j - 17 = -5*d. Put j, -7, 5, -4 in increasing order.
-7, -4, j, 5
Let s = 5.7 + -6. Let k = -0.5 - 8.5. Let r = k + 8.6. Sort s, r, 1 in decreasing order.
1, s, r
Let w(d) = -d**3 + 2*d - 1. Let c be w(1). Suppose 3*a - l + 0 - 4 = 0, -2*a - 19 = -5*l. Put -2, c, a in increasing order.
-2, c, a
Let d = -86 + 431/5. Put d, 1, 2 in ascending order.
d, 1, 2
Let w = -0.07 + -0.63. Let b = -0.4 - w. Sort b, 2, -1/2 in ascending order.
-1/2, b, 2
Suppose 15 = -4*i - 13. Let x = -6 - -15. Let w = x + i. Sort w, 4, -5.
-5, w, 4
Let y be (-1)/((-1)/8*-2). Let j = 9 + -6. Suppose 2*l - 5 = -j*l. Put y, l, 4 in decreasing order.
4, l, y
Let u be -3*(0 - -2)*(-2 - -1). Let n(s) = -1 + 7 - s + 0*s. Let c be n(u). Sort -1, 1, c in ascending order.
-1, c, 1
Suppose x = -x + 16. Sort x, -3, 0.
-3, 0, x
Let w = -27 - -39. Let z = w - 13. Put -0.4, z, -0.2 in ascending order.
z, -0.4, -0.2
Suppose -4*p - 3 - 17 = 0. Put 0, p, 5 in descending order.
5, 0, p
Suppose -l = 2*x - 7, -4*l + 7*x + 4 = 3*x. Put l, 4, 5, 0 in ascending order.
0, l, 4, 5
Let y(s) = 4*s**2 + 30*s + 9. Let a be y(-7). Sort 3, 2, a in descending order.
3, 2, a
Suppose 0 = 3*d + 2*o + 4, 2*d + 0*o - 8 = 4*o. Let u(p) = -p**3 + p + 4. Let v be u(d). Suppose 0*m - 16 = v*m. Sort 2, 0, m in decreasing order.
2, 0, m
Let j be 1 - 0/(-1*1). Let u be (8/2*j)/(-1). Let c(a) = 3*a + 70. Let l be c(-24). Put u, -1/6, l in ascending order.
u, l, -1/6
Let t = -44 - -44.4. Put 2/7, t, -2/19, -3 in ascending order.
-3, -2/19, 2/7, t
Suppose w = -2*w + 72. Suppose -4*j - w = 2*h, -j = 2*j + 5*h + 25. Sort -4, j, 3 in increasing order.
j, -4, 3
Suppose 6*o = 10*o + 8. Let s be -6 - (0 - -2)/o. Sort -3, s, 0.
s, -3, 0
Suppose 0 = -3*o - 4*z, 2*o - 4*o = -3*z - 17. Suppose 4*d - 2 = 2*n, -3 = 4*d - o*n + n. Suppose -d*h + 5 = -2*w, 5*h - 8 + 4 = -w. Sort 3, h, -3.
-3, h, 3
Let b(y) = -y**3 + 13*y**2 + 14*y - 12. Let g be b(14). Put 4, -0.3, g in decreasing order.
4, -0.3, g
Suppose -6*g = -g + 20. Let k(v) = -v**3 - 6*v**2 - 6*v. Let d be k(-4). Let o = g - d. Sort -1, 2, o in descending order.
o, 2, -1
Let q(g) = g**3 + 5*g**2 + 3*g - 5. Let o be 95/3 - (-1)/3. Suppose 5*l + o = 12. Let w be q(l). Sort w, 4, 5 in ascending order.
w, 4, 5
Let a be ((-1)/(-1))/((-2)/(-10)). Sort 4, 0, a, -1 in ascending order.
-1, 0, 4, a
Let l(j) be the first derivative of j**4/4 - 4*j**3/3 - 2*j**2 + 1. Let p be l(5). Let q = -276 + 276. Put -5, q, p in increasing order.
-5, q, p
Let t(b) = -b**2 - 4*b + 1. Let k be t(-3). Suppose -11*m + 6*m - 5 = 0. Sort -5, m, k in descending order.
k, m, -5
Suppose 20 = 4*f, -5*u - 30 = -f - 4*f. Put -2, u, 5 in ascending order.
-2, u, 5
Suppose -2*h = h, 6 = -3*g - 3*h. Let c(a) = -a**3 - a**2 + a - 1. Let y be c(1). Let u be ((-10)/4 - 0)*y. Put 0, u, g in descending order.
u, 0, g
Suppose 3*z + z + 12 = 0. Put 4, -1, z in increasing order.
z, -1, 4
Suppose 2*u = -u - 18. Let r be (u/(-4))/((-18)/48). Suppose -2 - 1 = -3*k. Sort -5, r, k in ascending order.
-5, r, k
Let o = 1.4 - 3.4. Suppose -2*t = 3*t + 15. Sort 4/5, t, o in descending order.
4/5, o, t
Let a = 21.9 + -22. Let d be 14/(-21)*(-3 - 0). Put d, a, 5 in increasing order.
a, d, 5
Let l be ((-8)/(-6))/(5/15). Let y = -11 + 8. Sort y, l, 1.
y, 1, l
Let q = -6 - -10. Let t = -7 + 7. Let b = -14 + 17. Sort t, q, b in decreasing order.
q, b, t
Let r be 6/27 - 49/(-63). Suppose 28 = -3*b - 4*s, 8*s + 8 = 3*b + 3*s. Let q = b + r. Put 2, 3, q in descending order.
3, 2, q
Let i = -5/13 - -333/832. Let q = 119/576 + i. Put -1, q, 0 in ascending order.
-1, 0, q
Let o = -17 - -18. Let a be o/1 - 0/9. Let p(r) = 2*r + 4. Let y be p(-3). Sort a, -3, y in decreasing order.
a, y, -3
Suppose 0 = -0*o + 5*o - 5. Let l(d) = -d**2 - 7*d - 14. Let h be l(-2). Sort 2, o, h.
h, o, 2
Let n = -0.5 + -5.5. Let v = -4 - n. Let b = v - 1. Sort b, 0.3, 5.
0.3, b, 5
Let b = 7 - 9. Let i = -2 + b. Put 4, -1, i in decreasing order.
4, -1, i
Let k = 0.2 - 10.2. Let d = -7 - k. Sort d, 4, 0.2.
0.2, d, 4
Let o(x) = -x**2 - 4*x + 2. Let t be o(-4). Suppose 3*v - 35 = 5*b + 3, t*b = -8. Put v, -4, 0 in decreasing order.
v, 0, -4
Let s = -1.1 - -4.1. Put -4, 0.5, s in descending order.
s, 0.5, -4
Let g = -3.9 - 1.1. Suppose -5*c = -c + 4*d, 0 = c - d - 2. Let j be 1/(-2)*-10*c. Put -1/3, j, g in descending order.
j, -1/3, g
Let r(u) = u**3 + 8*u**2 - u - 5. Let z be r(-8). Suppose -2 = 2*b - z*k, -2*b - 5 = -2*k - 3. Let n be 4*3/(-4)*-1. Sort b, -5, n in descending order.
n, b, -5
Let o = -14 - -57/4. Let s be 547/12*(-4)/3. Let w = s + 61. Put w, o, 0 in descending order.
o, w, 0
Let h = -97/56 + 13/7. Put h, -4/5, 2/3 in ascending order.
-4/5, h, 2/3
Let b(v) = -v**3 + 3*v**2 + 6*v - 4. Let n be b(4). Sort -0.5, -1, n.
-1, -0.5, n
Suppose 0 = 3*b - 7*b + 12. Put 0, b, -3 in ascending order.
-3, 0, b
Let f = -3 + 1. Let t be -21 + 0 + f/2. Let i be 18/t + 1/1. Put -4, 4, i in ascending order.
-4, i, 4
Let d = -93.4 - -93. Sort -0.5, -13, d, 1/8 in increasing order.
-13, -0.5, d, 1/8
Let w = -49.8 - -50. Sort -0.3, w, 3 in descending order.
3, w, -0.3
Let d = -1 - 1. Let b(t) = 4*t - 6*t - 2*t. Let w be b(-1). Put w, -5, d in decreasing order.
w, d, -5
Suppose 0*m + 5*v - 27 = -4*m, -3*m = -4*v + 3. Suppose 0 = 5*o - 3*a - 4, 2 + 0 = -2*o + m*a. Sort o, -3, -4 in increasing order.
-4, -3, o
Let m = -0.8 - 3.2. Let o = -2.1 - 0.9. Let r = o - m. Put r, -2, 1/4 in descending order.
r, 1/4, -2
Let a(g) = -g - 10. Let p be a(-8). Let z(d) = d**2 - 10*d - 8. Let w be z(11). Suppose 0 = 5*n + 17 + w. Sort n, -3, p in descending order.
p, -3, n
Suppose -2*k + 3*z = -k + 4, 5*k - 4*z - 13 = 0. Let u = k + 0. Let h = u + -2. Put h, -1/3, -4 in decreasing order.
h, -1/3, -4
Let y(a) = a**3 - 11*a**2. Let h be y(11). Let k(f) = f**3 - 4*f**2 - 3*f