-2). Sort t, b, -1 in increasing order.
-1, b, t
Let x = -7 + 11. Suppose 9*v - x*v = -5. Put 4, 5, v in decreasing order.
5, 4, v
Suppose 3*o + 0 = 9. Suppose 0*v = -o*v. Let t = 0 + 1. Put v, 2, t in descending order.
2, t, v
Let l = 13 - 9. Let x = l - 3. Sort -1, 5, x in decreasing order.
5, x, -1
Let f(o) = -o + 1. Let h be f(-2). Let v = 19 - 21. Sort 1, v, h in descending order.
h, 1, v
Let h = -2.27 - -0.27. Suppose z + 0 + 1 = 0. Let o be (z/26)/(1/4). Sort -5, o, h in ascending order.
-5, h, o
Let d = -0.03 - 0.97. Let a = -4.2 - -5.2. Sort 0.1, d, a in decreasing order.
a, 0.1, d
Let g be 3*((-8)/(-60))/((-2)/40). Let p = -2.02 - -0.02. Put g, p, 1 in increasing order.
g, p, 1
Suppose -2*v = 2*r + 14, -5*v + 2*v + 3 = -3*r. Let t = 53 + -215/4. Put t, r, -9 in descending order.
t, r, -9
Let u = -0.3 + 0.1. Let x = 0 + u. Let q = 0.3 + 0. Put q, x, 3/5 in increasing order.
x, q, 3/5
Let r(o) = -2*o - 4. Let t be r(-4). Let y = 3 + -3. Sort t, y, -1.
-1, y, t
Let c be (-13)/4 - 1/(-4). Let u(r) = r. Let j be u(5). Suppose 2*l + 3*l - j = 0. Put c, l, 4 in decreasing order.
4, l, c
Suppose -11 = -5*y - 36. Let v = -3 - -5. Sort 0, y, v.
y, 0, v
Let s(d) = -d**3 - 8*d**2 - 2*d - 12. Let k be s(-8). Suppose 4*j + 1 = k*z - 15, -3*z = 5*j - 12. Sort j, -1, -4 in increasing order.
-4, -1, j
Let f(a) = -a**3 - 17*a**2 - 17*a - 20. Let i be f(-16). Sort -13, -1, i in decreasing order.
-1, i, -13
Suppose -17 - 3 = -4*r. Suppose -4*w - 3*p = -r*p - 12, -2*w + 4*p = 0. Let k = w + -7. Put k, 1, 4 in decreasing order.
4, 1, k
Let u = 0.214 - -0.786. Sort -2/9, u, -0.1, 0 in increasing order.
-2/9, -0.1, 0, u
Let q = -1.36 + 1.5. Let z = -1.94 + q. Let r = -2 - z. Put 0.3, 1/3, r in ascending order.
r, 0.3, 1/3
Let j be -4 + 7 + (-32)/10. Let z = -13 + 9. Sort z, j, -5/4 in ascending order.
z, -5/4, j
Suppose 3*a - 23 = 2*v, -2*a + 19 = -v + a. Let k be 2 - v/(-8)*0. Sort k, -5, 0 in ascending order.
-5, 0, k
Suppose -3*w = -5*t - 17, w = -0*w - 4*t. Put 2, w, -5 in increasing order.
-5, 2, w
Suppose 0 = k - 3*k. Let p be (-4)/6*(-24)/4. Let v = -17 + 12. Put v, p, k in ascending order.
v, k, p
Suppose 2*x - 3 = 1. Let s be x/6*(1 + -4). Let t be 1/(-5) + s/(-5). Sort -1/2, 3/7, t in descending order.
3/7, t, -1/2
Let q be 1/(0 - 3/(-6)). Let i be -3 - 0 - (q + -3). Let f be 1*2 + (-2)/i. Put f, 5, 2 in ascending order.
2, f, 5
Let b be (9 + -4)*4/10. Let s = 0 + b. Suppose -2 = -2*i + s. Sort i, 3, -4 in decreasing order.
3, i, -4
Let h(r) = 6*r + 19. Let y be h(-4). Let u be (3 - 1)*2/4. Put u, -2, y in increasing order.
y, -2, u
Let f(v) = 12*v**2 - v + 1. Let s be f(1). Let b be (2/15)/(4/s). Put 3, 0.5, b in descending order.
3, 0.5, b
Let o = 0.05 + -7.05. Let i = -2 - o. Let l = 0.02 - 4.02. Sort 0.2, i, l in decreasing order.
i, 0.2, l
Suppose 0 = 4*j - 5*p + 3, -2*j + 3*j - 2*p = -3. Suppose -4*w = 5*g + 21, j*w + 0*w + 17 = -4*g. Let v be -1*((-1 - 0) + 2). Put v, g, 2 in ascending order.
g, v, 2
Let x(u) = u**2 + 12*u + 29. Let g be x(-8). Let s = 4.3 + -4. Suppose -4*i + p = -8, -2*i + 3*p + 0*p = -14. Put i, s, g in descending order.
i, s, g
Let u be (-12)/(-1 - -4) + 4. Suppose 0*h - 5*h = u. Put 1, -2, h in descending order.
1, h, -2
Suppose -3*m + 8*m = 25. Let y be (2 + (-21)/9)*0. Put y, m, -3 in increasing order.
-3, y, m
Let w(y) = -y**3 - 4*y**2 - 3*y - 1. Let t be w(-3). Suppose l = 5*j + 2 - 0, -l + 2 = 2*j. Put t, 4, l in ascending order.
t, l, 4
Let h = 2.5 - -1.5. Sort h, 2/9, 1, 2/15 in descending order.
h, 1, 2/9, 2/15
Let c(t) be the second derivative of t**3/6 - t**2/2 + 2*t. Let n be c(3). Let k = n + 0. Sort -1/5, -1, k.
-1, -1/5, k
Let p be 2 + -1*(2 + 1). Suppose 5*k + t = 5 - 17, -3*t = -k + 4. Put k, 2, p in increasing order.
k, p, 2
Let k be 44/56 + 1/(-2). Let y be 2*((-38)/18 + 2). Sort y, k, 0.8 in increasing order.
y, k, 0.8
Let y = -16 - -20. Let p = -13 + 13.1. Put p, -6, y in ascending order.
-6, p, y
Let x(n) = n - 6. Let y be x(9). Suppose 0 = -5*h - 5*f + 4 + 1, h + 3 = -y*f. Sort 5, h, -3.
-3, h, 5
Suppose -3*q + 5*q = 2. Sort 5, q, -4.
-4, q, 5
Suppose -14 + 6 = 2*x. Let a = 3/14 - -2/7. Sort x, a, 2.
x, a, 2
Suppose 4*z = -4*x - 0*z + 12, -3*x + 5*z + 25 = 0. Let j(v) = -5*v**3 - v**2 + 1. Let p be j(1). Put 1, x, p in descending order.
x, 1, p
Suppose -1 = g, 1 + 3 = -2*i + 2*g. Sort i, 0, -5 in decreasing order.
0, i, -5
Let m(n) = -n**3 + 4*n**2 + 4*n + 9. Let a be m(5). Let o be 1/(-3) + (-2)/3. Let u be ((-14)/4 - o)*2. Sort u, -4, a.
u, -4, a
Let b(n) = -2*n**3 - 6*n**2 - n + 1. Let f be b(-3). Sort f, -4, 5, -2.
-4, -2, f, 5
Let i = -1 + -4. Let u = -0.47 - -0.66. Let m = -0.81 - u. Put i, 0.4, m in ascending order.
i, m, 0.4
Let i = -29 + 28.94. Sort -0.4, -2/3, i in descending order.
i, -0.4, -2/3
Let y(t) = t**3 + 10*t**2 - 2*t - 14. Let r be y(-10). Suppose 2*j - 4 = 6. Let o = r - j. Sort -0.3, 3/5, o in decreasing order.
o, 3/5, -0.3
Let b = 34 - 33. Let a(s) = s**2 + 4*s - 2. Let w be a(-4). Put w, -1/2, b in increasing order.
w, -1/2, b
Suppose -5*r + 20 = 4*p, -3*r + r - 4*p + 20 = 0. Suppose 0*s - 3 = -s - 4*q, 2*q = r. Sort s, 5, -5 in descending order.
5, s, -5
Let d = 1 + -3. Let x(l) = -3*l**2 + 20*l + 1. Let b(c) = -c**2 + 10*c + 1. Let a(m) = 5*b(m) - 2*x(m). Let h be a(-10). Sort -1, d, h in descending order.
h, -1, d
Let m(g) = -g**3 + g**2 + 1. Let f be m(2). Let k = f - -7. Suppose o + 0 = -4. Put 2, o, k in descending order.
k, 2, o
Let t = -27 - -24. Put -5, 1, t in descending order.
1, t, -5
Let l = -55 - -54. Sort -3, 4, l, 2 in decreasing order.
4, 2, l, -3
Let q be 2/6 + (-10)/120. Sort q, -2/5, 1 in increasing order.
-2/5, q, 1
Let l = 0.02 - 0.02. Let k = -0.18 + 1.08. Let d = -0.6 + k. Sort 3, d, l in descending order.
3, d, l
Let u = -3 + 1. Let c be 0 + 1/u*-2. Let k = -2 - -1. Put k, c, -5 in descending order.
c, k, -5
Suppose 3*z - 3*l - 8 = 4, l = 3*z - 6. Suppose -3*v = -v. Let q(b) = b - 10. Let u be q(6). Put v, u, z in increasing order.
u, v, z
Suppose -h = 2*x - 2, -3*x + 4 - 1 = h. Let u be (h/(-3 - -1))/3. Sort -3, 5, u.
-3, u, 5
Suppose -2 = -5*w + 3*w. Suppose -r + 4 = -4*a, 0 = 4*a + r + 3*r + 24. Sort 0, w, a in ascending order.
a, 0, w
Let q = -78 + 74. Sort 1, 3, q.
q, 1, 3
Let b(p) = -4*p - 5. Let i(t) = -2*t - 2. Let c(g) = -3*b(g) + 7*i(g). Let z be c(-2). Suppose -4*w - 12 = -8*w. Sort w, z, 4.
w, 4, z
Let y = -21 - -22. Suppose 4*g - 14 = -5*d, 4*d - 5 = 5*g - 2. Put y, 6, d in increasing order.
y, d, 6
Let l = -54 - -55. Sort l, -2, 2 in ascending order.
-2, l, 2
Let r = 1.4 + -1.53. Let d = -0.27 + r. Put 5, -0.3, d in ascending order.
d, -0.3, 5
Let m = 87 + -88. Sort 4, 5, -3, m.
-3, m, 4, 5
Let w = -2 + 1.5. Sort w, -3, -5 in ascending order.
-5, -3, w
Let y be -7 + 3 + (60/8 - 2). Let a be (-16)/(-6) - (-4)/(-6). Put y, -1, a in decreasing order.
a, y, -1
Suppose 2 = -3*a - 10. Suppose u - 6 = -3. Sort 2, a, u in decreasing order.
u, 2, a
Suppose -20 = 2*g + 2*w, -3*g - 43 + 8 = 4*w. Put g, -2, 5 in increasing order.
g, -2, 5
Suppose -3 = -5*c + 2. Suppose 4*q + c + 15 = 0. Sort 9, 4, q.
q, 4, 9
Let t = 2.9 + -3. Let v = -0.2 - -0.2. Put 1, t, v in decreasing order.
1, v, t
Let g be 5 - 36/(-8)*-1. Sort -7, g, -0.02 in descending order.
g, -0.02, -7
Suppose -51 = 5*n + 12*n. Let l be 0 + 1 + 0 + 0. Put 5, n, l in increasing order.
n, l, 5
Suppose 3*z + 6 = -3*z. Put z, -5, 1 in increasing order.
-5, z, 1
Let q(j) be the first derivative of j**4/4 - 4*j**3/3 - 3*j**2/2 + 3*j + 2. Let p be q(4). Let b be ((-24)/p)/4 - 2. Put b, -0.3, 5 in decreasing order.
5, -0.3, b
Let a be 12/3*(-2)/4. Suppose 0*r = 5*r - 20. Sort -3, a, r in increasing order.
-3, a, r
Let y = -1 + 4. Suppose -w - 1 = -y. Suppose 0 = -2*f - 3*b + 13, f - w*f + 8 = 3*b. Sort 3, -1, f in ascending order.
-1, 3, f
Let k = 85 - 86. Sort -0.2, k, -6 in increasing order.
-6, k, -0.2
Let p = 5.04 + -0.04. Put 3, p, 2 in descending order.
p, 3, 2
Suppose 4*g + 1 = -11. Suppose 0 = -2*w - 5*f + 5 - 19, -4*f = -4*w. Put g, 0, w in increasing order.
g, w, 0
Let r = 0.6 + -5.6. Let c = 8 + r. Put -5, c, 5 in decreasing order.
5, c, -5
Let f = 0.5 - 0. Let z be (-2)/(-3) - (-4)/6. Put z, f, 4 in ascending order.
f, z, 4
Let m be 2/(-8)*3*16/54. Sort -0.06, m, -11 in decreas