sing order.
c, h, 2
Let t = 18 - 17.974. Let d = t + -0.256. Let s = -0.07 + d. Put -5, s, 2/13 in decreasing order.
2/13, s, -5
Suppose 4*o - 4 = s - 0*o, 0 = -2*o + 4. Sort -2, -20, s in decreasing order.
s, -2, -20
Suppose 4*b + b = 5*t, 5*t + 24 = -3*b. Let a = 0 - -2. Let r be (a/(-10))/((-9)/45). Sort b, 2, r in descending order.
2, r, b
Let s = 3 - 6. Let n = -3.4 - s. Let d = 0.4 + n. Put -4, -0.4, d in descending order.
d, -0.4, -4
Let a be (2/12)/((-3)/(-156)). Let l = a - 17/2. Put -2/3, l, -5 in ascending order.
-5, -2/3, l
Suppose 0 = -5*z - 0*z - 10. Suppose -j = 2*t - 6, -j = 4*j + 2*t + 10. Put j, z, 0 in ascending order.
j, z, 0
Let b = -7 + 8.1. Let w = 0.1 - b. Sort -0.4, w, -0.5 in increasing order.
w, -0.5, -0.4
Let n be -4 + 4 + 1/1*-1. Suppose 0 = -4*h - r + 4, 0 = 4*h - r + 3*r - 8. Sort 2, h, n in increasing order.
n, h, 2
Let h = -21 + 125/6. Put 0.13, h, -3 in ascending order.
-3, h, 0.13
Suppose -1 + 5 = 4*w. Let l = -4.56 + 4.76. Sort l, w, 0.07 in descending order.
w, l, 0.07
Let t be 12/(-1464)*2/3. Let c = t - -125/549. Sort -0.2, -3, c.
-3, -0.2, c
Suppose 0 = 5*f - 2*z + z + 23, 5*z = -3*f - 25. Put f, 0, 1 in increasing order.
f, 0, 1
Let w(h) = 4 - 1 + h - 12*h**2 + h**3 - 11. Let p be w(12). Put -1/3, p, 0.1 in increasing order.
-1/3, 0.1, p
Let o be -49*(-2 - 33/(-18)). Let g = o - 527/66. Let l = -4 + 3.5. Put g, 5, l in decreasing order.
5, g, l
Let q = 87/176 - 5/16. Let i be 2 + 5 + (-2 - (-3 - -3)). Put -0.2, q, i in increasing order.
-0.2, q, i
Let f be (-12)/(-5) + (-2)/5. Suppose -f*t + 2*i - 7*i = -7, 0 = 3*i - 3. Let j be 1*-6*(-1)/(-2). Put 0, t, j in descending order.
t, 0, j
Let f be (45/(-27) + 2)*21. Let z = -1 + -1. Sort f, z, -3 in decreasing order.
f, z, -3
Let p(v) = v**3 - 4*v**2 + 3*v + 3. Let z be p(3). Let r be (-8)/(-11)*z/2. Let d = 25/33 - r. Put d, -2, 1/10 in increasing order.
-2, d, 1/10
Let r be ((-33)/231)/(1/2). Put 3/2, 4, r in descending order.
4, 3/2, r
Suppose -36 + 6 = 3*z. Let n be (15/z)/((-6)/(-16)). Put -1/6, n, 1/3 in ascending order.
n, -1/6, 1/3
Let s = -0.9 + 0.9. Let m = -5 + 4.9. Let i = m - 0.9. Sort i, s, -4 in decreasing order.
s, i, -4
Let n be (3 + -5)*2/4. Suppose 3*z + 0*a + 4*a - 3 = 0, -4*z + 5*a + 4 = 0. Sort n, z, 3 in decreasing order.
3, z, n
Suppose -3 - 29 = 8*v. Let t be ((-10)/(-3))/(2/3). Put v, t, 3 in ascending order.
v, 3, t
Let y = 11 + -10. Sort 0.3, y, 0.1 in descending order.
y, 0.3, 0.1
Suppose -72 = 3*c - 75. Put -14, -4, c in increasing order.
-14, -4, c
Suppose 0 = 2*w - 3 + 1. Suppose 2*s = 4 + 6. Suppose 4*b = -3*c + 8, -s*b + 2*c = -6 - 27. Put b, w, 4 in decreasing order.
b, 4, w
Let b(i) = i**3 - 7*i**2 - 7*i - 9. Let k be b(8). Let p be k/(-2) - (-3)/2. Sort p, -5, -3 in ascending order.
-5, -3, p
Suppose -2*f - 2 = 4*o, -3*f - 9 = -f - 3*o. Sort 8, 4, f in descending order.
8, 4, f
Suppose -2*v + 6 = -2. Let c(u) = u**2 + 6*u + 5. Let q be c(-4). Let o(t) = -t - 2. Let x be o(q). Put v, x, 2 in decreasing order.
v, 2, x
Let v be (-4 - -5) + 2/(-2). Suppose 0 = -4*p - v*p. Let n(b) = b**2 - 3*b - 3. Let g be n(4). Put p, -4, g in descending order.
g, p, -4
Let z = -5 + 4. Put -0.1, 2/7, z in ascending order.
z, -0.1, 2/7
Let p(q) = -q**3 - 12*q**2 - 11*q + 10. Let f be p(-11). Let o = -5 + f. Put -5, o, -3 in descending order.
o, -3, -5
Let b be (17 + -6)/((-2)/(-6)). Suppose 5*q = -2*u + 12 - b, 2*u - 3 = 3*q. Put -1, u, -5 in descending order.
-1, u, -5
Let i be 18/(-14) + 18/63. Put 4, 1, i in descending order.
4, 1, i
Suppose -3*b = b - 16. Sort 1, b, 5.
1, b, 5
Let k be 70/28*(-2)/1. Sort 1/6, k, 2 in increasing order.
k, 1/6, 2
Let w = 55 + -59. Let s = 5 - 8. Put 1, w, s in descending order.
1, s, w
Let f = 20 + -17. Sort f, 2, 3/2 in ascending order.
3/2, 2, f
Suppose -o = 3*w + 3*o + 15, 0 = -w + 3*o + 8. Let t be w + ((-21)/(-9) - 2). Put t, -3, 2 in descending order.
2, t, -3
Let m(l) = -l**2 - 7*l - 2. Let p be m(-6). Suppose 3*w - 4*k + 9 = 0, 2*w = -w + 2*k - 3. Let j be (0/(-1))/(w/(-1)). Sort p, j, -5 in descending order.
p, j, -5
Let p = -7 - -6. Suppose -6*x = -3*x. Let z(f) = -f**3 + 3*f**2 + 3*f + 5. Let s be z(4). Sort s, p, x in decreasing order.
s, x, p
Let v = 26 + -23. Sort v, 4, 1 in decreasing order.
4, v, 1
Let n = 1.9 + -0.7. Let b = 0.8 - n. Sort b, 0.3, -3 in increasing order.
-3, b, 0.3
Suppose 3*h = 22 - 7. Let y(c) = 4*c**3 - c**2 + c. Let w be y(1). Let m(s) = -s**3 + s**2 + s + 2. Let k be m(0). Put k, h, w in decreasing order.
h, w, k
Let j = 5 - 2. Suppose -i + 4 = j. Let c be 2/(-1) + i*7. Sort -1/3, -1/7, c in decreasing order.
c, -1/7, -1/3
Suppose -4*p = -5*c + 3 + 5, 0 = 3*p + 6. Let n(k) = -1 + c + k**2 - 1. Let a be n(0). Sort 3, -5, a in increasing order.
-5, a, 3
Let q be (-2)/(1/(1/(-11))). Let w = 0 + -2. Let v = w + -1. Put v, -2/3, q in descending order.
q, -2/3, v
Let y(w) = -2*w**2 + w + 13. Let o be y(-2). Let d = 4 - 9. Sort 4, o, d in ascending order.
d, o, 4
Let w = 126.3 + -134. Let v = -8 - w. Sort v, 2/11, -2/19 in descending order.
2/11, -2/19, v
Let x = 0.2 - 0.6. Let f = -2 - -3. Let j be 1 - ((-26)/(-12) - f). Sort x, j, -4 in decreasing order.
j, x, -4
Suppose -2*i - 2 = -68. Suppose 5 = 2*u - i. Suppose -3*r + 5 = y - 4*r, -5*r - u = -2*y. Put 0, y, -5 in ascending order.
-5, 0, y
Let k = -2 - 4. Let g be 58/18 + k/27. Put -2, 2, g in decreasing order.
g, 2, -2
Suppose -8 = 3*z + z. Put z, -5, 4, 3 in ascending order.
-5, z, 3, 4
Let z be ((-94)/(-4))/(30/(-4)). Let x = -3 - z. Let f = -0.42 + 0.02. Sort -0.3, f, x.
f, -0.3, x
Let g be 3/(-4 + 1) + -23. Let b be (-2)/(-5) - g/15. Suppose -b*s - 8 = -0*s. Put s, 2, 1 in descending order.
2, 1, s
Suppose -20*w = -17*w - 12. Sort w, 2, -5, 7.
-5, 2, w, 7
Suppose m = 4*y - 38 + 126, m = 0. Let d = y + 21. Let o(t) = -5*t. Let x be o(-1). Sort d, x, -5 in descending order.
x, d, -5
Let y(p) = -p**3 - 10*p**2 + 10*p - 16. Let k be y(-11). Sort k, 0.4, -3/8 in decreasing order.
0.4, -3/8, k
Let w(l) = 2*l**2 + 5*l + 9. Let r be w(-3). Suppose 0 = -2*o - o + 12. Suppose o*b = -4*n - r, -2*b - 10 = 3*n + n. Sort 4, -4, n.
-4, n, 4
Let q be 2 + -1 - 49/47. Let o = q + 55/188. Put 4, 3, o in increasing order.
o, 3, 4
Let q = 4 - 17. Let g = q + 15. Suppose -9*z = -4*z + 15. Put 4, z, g in descending order.
4, g, z
Let n = 2/233 - -922/1165. Let k = 19/230 + 2/115. Sort n, k, 0.5 in decreasing order.
n, 0.5, k
Let s be 135/(-12) + (-5)/(-20). Let m = -11 - s. Put 3, m, 1 in descending order.
3, 1, m
Let i be 1 + -2 - (2 + -3). Let r(a) = -a**3 + 10*a**2 - 7*a - 22. Let b be r(9). Put 5, i, b in decreasing order.
5, i, b
Let a(y) = y**2 - y - 2. Let f be a(0). Let x = 3 + f. Suppose 3*b + 3 = 2*b. Put b, -2/3, x in ascending order.
b, -2/3, x
Suppose -2*s = -6*s - 16. Suppose z + 2 = 2*z. Suppose -f - z*f + 6 = 0. Sort s, f, 4 in decreasing order.
4, f, s
Let f = -137.9 + 138. Sort 0.05, f, -0.5 in ascending order.
-0.5, 0.05, f
Suppose -5*k + 35 = -0*k - 5*w, -3*k - w + 13 = 0. Sort k, 4, -8 in descending order.
k, 4, -8
Let x = -18 + 12. Let w be (-52)/(-14) - x/21. Let b be (5/4)/((-1)/4). Sort 3, b, w.
b, 3, w
Suppose -2*d - v + 4 = -11, -d + 10 = -2*v. Sort d, 4, -5 in decreasing order.
d, 4, -5
Suppose 0 = 7*r - 10*r. Let d(y) = y + 3. Let h be d(-7). Put 3, r, h in descending order.
3, r, h
Let p = -139.9 + 133. Let x = 7 + p. Let m = -16 + 63/4. Sort x, 1, m in descending order.
1, x, m
Let i(j) = -j + 16. Let y be i(11). Let u = 1 - y. Put -2, u, -5 in ascending order.
-5, u, -2
Let t = 5.8 + -6. Let p = -0.3 + t. Sort p, -2, -0.01 in ascending order.
-2, p, -0.01
Let k be (3 + -7)/4 - -3. Suppose 0 = -4*p - 3*c + 1, 0 = -3*p + k*c + 22. Suppose 0 = -4*m + m. Put -2, m, p in ascending order.
-2, m, p
Suppose 7*m - 3*j = 9*m + 8, 4*j + 10 = -2*m. Sort -3, 0, m, 1.
-3, m, 0, 1
Let c be (-2)/(-7) + 10/63. Let m = 235 + -234. Sort c, m, 0.1 in ascending order.
0.1, c, m
Let b = -10/7 + 44/21. Let s = -0.9 - -0.5. Put b, -3/2, s in decreasing order.
b, s, -3/2
Suppose y - 5*y = 4*r + 4, 0 = -3*y + 3*r + 15. Let c be (-1 + (-2)/y)*1. Let x be 2 + -6*1/c. Put -2, x, 3 in decreasing order.
x, 3, -2
Let f(x) = x**3 + 6*x**2 + 4*x - 5. Let v be f(-5). Let l = 3 + -2. Suppose 0 = -4*g + b - 6, 4*b - l = -g + 6. Put g, 3,