(2/(-4)). Put o, b, -0.5 in increasing order.
-0.5, o, b
Let r(f) = -3*f**3 - f + 1. Let q be r(1). Let j be (4 - 3) + q/9. Put j, 0.1, 1 in ascending order.
0.1, j, 1
Suppose 4 = z - 3*z. Let m(l) = -l + 11. Let t be m(7). Put -1, t, z in ascending order.
z, -1, t
Let y = 0.03 + -0.07. Let t = y + 1.04. Let p be ((-1)/6)/(7/28). Sort 1/3, t, p in descending order.
t, 1/3, p
Let x = 1.46 + 0.54. Sort 2/13, -2, x, 0 in descending order.
x, 2/13, 0, -2
Let m be (8/10)/((-2)/(-5)) + 0. Suppose 2*u + 15 = -3. Let t = u - -14. Put m, 4, t in decreasing order.
t, 4, m
Let v(y) = y**3 - 2*y**2 - y - 4. Let m be v(3). Let z = 7 + -3. Suppose -18 = 4*i + m*t, -z*i + 4*t + 1 = -5*i. Sort i, 4, -2.
i, -2, 4
Suppose 3*s + 17 = n, -2*n - 1 = -s - 10. Put n, 2/17, -7 in decreasing order.
n, 2/17, -7
Let f = 14.12 - 0.12. Let w = -14.4 + f. Put -1/4, -2, w in increasing order.
-2, w, -1/4
Suppose -4*f + f = 0. Suppose 2*b + f = -6. Let x be (2 - 1)/((-11)/(-2)). Sort b, x, -0.2 in descending order.
x, -0.2, b
Let h(m) = m**3 - 2*m**2 - 3*m. Let b be h(3). Suppose -4*x + 7*d - 2*d - 17 = 0, -2*x + 3*d = 7. Let q be 7/(-28) + (-18)/x. Put q, 5, b in decreasing order.
5, q, b
Let k be 2 + 2 + 126/(-35). Let l = -0.1 + 0.1. Put k, l, -0.1 in descending order.
k, l, -0.1
Suppose -1 = 4*f - 5. Let d be -4 + (-1 - f - -1). Sort -3, d, -2 in decreasing order.
-2, -3, d
Suppose 3*s - 5 = -3*u + 1, -7 = -3*s - 2*u. Let q(v) = v**3 - 8*v**2 + 2*v - 11. Let d be q(8). Sort d, 0, s in increasing order.
0, s, d
Let s = -22596707/1935 - -58391/5. Let i = s - 4/43. Put i, -1, -2 in decreasing order.
i, -1, -2
Let k = -55 - -60. Sort -0.3, k, -5, 5/4 in increasing order.
-5, -0.3, 5/4, k
Let p(a) be the third derivative of a**6/120 - 13*a**5/60 - a**4/24 + 13*a**3/6 + 9*a**2. Let z be p(13). Sort -3, z, -4.
-4, -3, z
Let x be 0 + (0 - -2) - 3. Let l = 31 + -30.6. Sort l, 0, x in increasing order.
x, 0, l
Suppose -3*a + 24 = -3*u, a + 3*a = -5*u - 13. Suppose -2 - 3 = 5*m. Sort a, m, 5 in decreasing order.
5, a, m
Suppose 5*i + 31 + 14 = 0. Let c be (i/30)/((-27)/(-12)). Put -2/3, c, 0.3 in decreasing order.
0.3, c, -2/3
Suppose -2*s + 23 = -11. Suppose f = -5*i + 21, -3*i + f = 6*f - s. Let c(j) = -j - 2. Let l be c(-4). Sort i, -2, l.
-2, l, i
Let i be ((-4)/(-5))/(7/(-35)). Put i, 1, -5 in descending order.
1, i, -5
Let n = 13 - 9. Sort -2, n, -3 in increasing order.
-3, -2, n
Suppose -4*f - 3*w + 39 = -0*w, 0 = -2*f + 2*w + 2. Let t be (-22)/(-20) + (-3)/f. Sort -5, 0, t in ascending order.
-5, 0, t
Let d = -119579/6 - -19887. Let c = d - -6437/150. Put c, 0.3, 0.1 in decreasing order.
0.3, 0.1, c
Let k = 0.7 - 2.7. Put 0, 5/2, 2/5, k in descending order.
5/2, 2/5, 0, k
Let w be (-7)/8 + 16/(-128). Sort 4, 3, w in descending order.
4, 3, w
Suppose 4 = 5*f - 1. Suppose 3*x - 2*w - 15 = 2*w, w + 4 = x. Let i = x + -4. Put i, f, 0 in descending order.
f, 0, i
Let m(d) = -d**2 + d + 3. Let y be m(0). Put 1/5, 1/3, -37, y in increasing order.
-37, 1/5, 1/3, y
Let l be (-13)/26 + (0 - (-1)/2). Sort l, 17, -1.
-1, l, 17
Suppose 2*p = -a + 12, -31 = -4*a + a - 5*p. Suppose a*l = -2*l. Put -5, l, -2 in descending order.
l, -2, -5
Let h = 63 - 62. Let r be 10/(-14) - (-4)/(-14). Sort r, 2, h.
r, h, 2
Suppose -5 = -5*y - 10. Sort 1, y, 16.
y, 1, 16
Let b(x) = -x**2 + x + 5. Let h be b(0). Suppose 2*z = 5*z + 15, 5*o + h*z = -45. Sort 5, -11, o in descending order.
5, o, -11
Let x(t) = t - 7. Let d be x(6). Let j(m) = m**2 + 5*m + 6. Let w be j(-4). Let z = w + 0. Sort d, 5, z in decreasing order.
5, z, d
Let u be ((-15)/(-50))/((-18)/15)*-2. Sort u, 1, -3 in decreasing order.
1, u, -3
Let q = -1 + 0.4. Let h = q + 0.1. Let k = -3.02 - -0.02. Sort k, -4, h in descending order.
h, k, -4
Let o be 3*4/(-12) + 0. Sort -8, -3, o in descending order.
o, -3, -8
Let v = 4 - 1. Let k = -21 + 16. Put k, -4, v in increasing order.
k, -4, v
Let k be 16/(-12)*(-6)/4. Sort -1, -3, k.
-3, -1, k
Suppose -2 = 4*x + 14. Sort 3, x, -1/4 in descending order.
3, -1/4, x
Let j = -108 + 104.86. Let o = j - -0.14. Put o, 0.5, 2 in ascending order.
o, 0.5, 2
Let x be (-344)/(-44) + 8/44. Let t(i) = -i**3 + 7*i**2 + 7*i + 5. Let g be t(x). Put 1, g, -2 in ascending order.
g, -2, 1
Let t(q) = -q**2 + 6*q - 4. Let f be t(5). Let x(u) = -u**3 + u**2 + 5*u - 6. Let j be x(2). Sort f, j, 2 in increasing order.
j, f, 2
Let g(i) = -i + 7. Let n be g(-7). Suppose 12 + n = 4*k - 3*f, f = -4*k + 18. Sort k, 1, 4 in increasing order.
1, 4, k
Suppose 16 = -j + 5*j. Suppose 0 = -4*k - 3*l + 6*l + 6, j*k + 2 = -l. Let d = 1 + -2. Sort 2/3, k, d.
d, k, 2/3
Suppose o - 5*o - 12 = 0. Let b = 56 - 58.3. Let w = b + 0.3. Sort w, 1/2, o in decreasing order.
1/2, w, o
Let w = 1/2 - 1/6. Let d = -0.083 - 3.917. Put -2/17, d, w in decreasing order.
w, -2/17, d
Suppose -4*t = 1 - 17. Let c be 21/(-4) - -1*(-1)/(-4). Let y(n) = n - 9. Let v be y(9). Put t, v, c in ascending order.
c, v, t
Suppose o - 1 = -z, -2 = 5*o - 3*z - 23. Put -2, 17, o in descending order.
17, o, -2
Let z = -133 + 130. Put -2, z, -15, 0 in ascending order.
-15, z, -2, 0
Let o = -20 - -11.8. Let s = o - -8. Sort s, 2/3, -3 in decreasing order.
2/3, s, -3
Let v = 252 - 251.7. Let p = -129/7 + 19. Put p, v, 0.5 in descending order.
p, 0.5, v
Let p = 13.2 + -8. Let s = p + -0.2. Put -0.2, s, 2 in decreasing order.
s, 2, -0.2
Suppose 3*t = 2 + 1, 3*s - 28 = 2*t. Let c be s*1*4/(-8). Put c, 1, -3 in decreasing order.
1, -3, c
Suppose 6*z = -4*c + z, -2*z - 3 = c. Suppose 5*a - 5*n = 20, 2*n = -0*a + c*a - 14. Sort 5, 1, a.
1, a, 5
Suppose 8 = -4*b - 2*l - 0, -b - 12 = 3*l. Suppose b = 3*g - 4*g - 1. Let y be 2*3*(-1)/2. Sort y, g, 0 in increasing order.
y, g, 0
Let r be (-52)/20 - (-1 + -1). Let f = -6.5 + 0.5. Let z = f + 5. Put -2, z, r in increasing order.
-2, z, r
Let w = -14 - -15. Suppose 3*i - 4*q = 34, 0*q - 34 = -5*i + q. Let y(l) = -l + 6. Let k be y(i). Put w, -1, k in descending order.
w, k, -1
Let m = 23 - 19. Put -0.2, m, 2/3 in increasing order.
-0.2, 2/3, m
Let r = -3.2 - -3.6. Let y = 2/245 + 237/980. Sort y, -3, r in ascending order.
-3, y, r
Let u = 0.05 - -0.55. Let d(b) = -b**2 + 9*b - 4. Let p be d(8). Sort u, p, 1 in descending order.
p, 1, u
Let k be (-47)/(-3) - (-1)/3. Suppose -k = -3*b + 5*c, -3*c + 6*c = 3. Let p = b - 5. Sort 1, -5, p.
-5, 1, p
Suppose -3 = -2*f + 2*k - 1, -9 = -f + 3*k. Let q = 17 + -2. Let d be (1 + 1)*q/(-6). Put 2, d, f in decreasing order.
2, f, d
Let b = 4.8 - 5. Let x = -0.2 - b. Let n be 22/55*5/17. Sort 0.3, x, n.
x, n, 0.3
Let d = 34870/3 - 105683/9. Let o = d - -119. Put 3/2, o, 2 in ascending order.
o, 3/2, 2
Let n = -88 + 85. Sort n, -2, -2/13, 0.1 in ascending order.
n, -2, -2/13, 0.1
Suppose -16 = -2*b + 3*y, -16 = -4*b - 0*y + 2*y. Suppose -b*f - 4 + 10 = 0. Suppose 0*g + 4*g = 0. Put -3, f, g in decreasing order.
f, g, -3
Suppose 3*g - 2*g - 3 = 0, 3*d + 3*g = 9. Suppose 2*h + 0 - 10 = 0. Sort 4, d, h in decreasing order.
h, 4, d
Suppose 3*o + 3 + 3 = 0. Let a = 9 + -8. Put 2, o, a in ascending order.
o, a, 2
Let k = 10 + -5. Suppose w + 3*t = -11, 3*w + 7*t = k*t - 5. Let h be (2 + 1)*(-4)/(-3). Sort w, -2, h.
-2, w, h
Suppose -2*p + 13 = 5*l, -4*l + 18 = 6. Sort p, -5, 1, -3.
-5, -3, p, 1
Suppose 0*m + m - 2*y - 15 = 0, -5*m + 35 = -2*y. Put -2, m, -3, -4 in increasing order.
-4, -3, -2, m
Suppose 8 = 3*t - 7. Sort -1, t, 2 in increasing order.
-1, 2, t
Let f = 10 + -21/2. Put 5, -0.4, f in decreasing order.
5, -0.4, f
Let h = 9 - 6. Let f = 0.06 - -1.94. Let a = f - 1.8. Sort h, 5, a.
a, h, 5
Let h(d) be the second derivative of -d + 0*d**2 + 0 + 1/6*d**3. Let w be h(4). Put 0.1, 0, w in ascending order.
0, 0.1, w
Let b be 7 - (1/(-1) + -1). Let j be (0 + b)/3 + -3. Put j, 0.1, 5 in decreasing order.
5, 0.1, j
Let l(h) = -h + 31. Let i be l(28). Let n = -0.2 - -1.2. Put 1/7, i, n in descending order.
i, n, 1/7
Let i = -5 - -8. Suppose -70 = -r - 5*w, -2*r + r + 4*w + 25 = 0. Let h be ((-2)/(-6))/(3/r). Put -1, h, i in increasing order.
-1, i, h
Let n = 0.11 - -0.89. Let r = n + -0.94. Suppose -2*f - 4 = -2*a - 0, -5*a + 7 = -2*f. Sort a, 5, r in increasing order.
r, a, 5
Let i = -9.11 + 0.11. Sort -0.1, i, -2/3.
i, -2/3, -0.1
Let r be 0/(-2 + 5 - 2). Let z be (-4 - -2)/(((-56)/12)/7). Sort z, r, 