t a = 4.4 + -0.4. Let t = -3.8 + a. Sort 3, t, -1/11 in decreasing order.
3, t, -1/11
Suppose 15 = b - 3*c - c, 5*c = -5*b. Suppose g = 2*q + 5, b*q + g - 7 = 6*q. Put q, -3, 1 in descending order.
1, q, -3
Suppose 0 = -3*a + 4*a - 1. Let h be 27/18*a/9. Sort -4, h, 4 in decreasing order.
4, h, -4
Let p(n) = -n**3 + 9*n**2 + 9*n + 5. Let y be p(10). Let w(i) = i**3 - 9*i**2 - 10*i + 5. Let r be w(10). Sort r, y, -4 in increasing order.
y, -4, r
Suppose 0 = 5*s + 2 - 12. Let u be -1*(-3 + 1)*s. Suppose r + r = 6. Sort 2, r, u.
2, r, u
Let p be ((-8)/30)/(-2 + 15/9). Let i = 0.3 - 0.1. Sort -0.1, i, p in increasing order.
-0.1, i, p
Let r(w) = w - 7. Let f be r(6). Let p be -2 - (1 + -12 + 5). Suppose 4 = i + 3*i. Sort p, i, f in increasing order.
f, i, p
Suppose 8*w - 7*w = 36. Let c be ((-2)/10)/(w/30). Let d = -1262/9 - -140. Sort d, -0.3, c in decreasing order.
c, d, -0.3
Suppose -4*z + 579 = 3*w, 4*z + w - 5*w = 572. Let l be (-2)/(-10) - z/(-30). Let y(u) = u**2 + 6*u + 2. Let n be y(-6). Put 0, l, n in descending order.
l, n, 0
Let k = -3.2 + 3.3. Sort -0.3, -2, k in descending order.
k, -0.3, -2
Let t = -1 - -0.9. Let b = -21/58 + -4/29. Sort b, 5/6, t in increasing order.
b, t, 5/6
Suppose 3*u = 5*i + 24, 5*u + 6*i - 3 = 2*i. Let o be ((-12)/(-8))/(u/(-4)). Let v be 0/((-3)/(3/o)). Put v, 1, -2 in ascending order.
-2, v, 1
Let f = 0.3 + -0.1. Let l = f + 0.1. Let j(p) = -3*p - 2. Let r be j(-2). Put -0.3, l, r in increasing order.
-0.3, l, r
Let j be 4/26*(28 + -29). Sort 0.1, 2, j.
j, 0.1, 2
Let q = 0.65 + 0.45. Put -4, -1/2, q in increasing order.
-4, -1/2, q
Let i = -29 - -34. Let b = 1.9 - -0.1. Let a = b + -2.2. Sort a, -4, i.
-4, a, i
Let h = -7 - -13. Let m be -7*1 + (h - 3). Let r be ((-2)/(-4))/((-3)/18). Sort m, r, 4.
m, r, 4
Suppose 5*p - 17 = 3*o, 3*p - 4*o = -7*o - 9. Suppose -3*y - 2*y = -20. Sort y, 5, p.
p, y, 5
Let y = 3 - -2. Suppose 2*g + 15 = y*g. Sort 1, g, -4 in decreasing order.
g, 1, -4
Suppose -c - 20 = -5*c. Suppose 0 = -5*w - c, -8*w + 3*w = 5*p - 20. Sort -3, p, -4 in descending order.
p, -3, -4
Let g be 6/(-15) - 24/(-10). Suppose 5*s - 4 = -0*s + h, g*s - 3 = -h. Suppose 2*z + s - 2 = c, -4*z = 3*c - 27. Sort 5/4, -3, c in increasing order.
-3, 5/4, c
Suppose -3*p + 6 - 18 = 0. Let a(g) = -2*g - 2. Let s be a(-3). Suppose 3*f + 6*z = 3*z - 6, 5 = -5*z. Sort s, f, p.
p, f, s
Let y be (-3)/3 - -2 - -1. Let j be 0/y - -1*3. Let o = 9 + -14. Put j, -4, o in increasing order.
o, -4, j
Let p(u) = -u - 1. Suppose -t = -5*t + 4*j, t = -j - 10. Let h be p(t). Put h, -2, 2 in descending order.
h, 2, -2
Let b be (13 + -12)/(2 - 18/10). Sort 6, b, -3.
-3, b, 6
Let o = 0.12 + -0.62. Let s = -95.1 + 100. Let a = 5 - s. Sort o, a, -4 in descending order.
a, o, -4
Let k be ((-24)/(-2))/3 - 1. Put k, 0, 4 in descending order.
4, k, 0
Let x(l) = -8*l + 65. Let y be x(8). Sort 0, y, -3 in decreasing order.
y, 0, -3
Let r(c) = c**3 + 11*c**2 + 9*c - 12. Let v be r(-10). Put -4, 3, v in ascending order.
-4, v, 3
Let c = -12 - -8. Suppose -w - 2*w - 9 = 0. Let a = 18 + -16. Sort w, a, c.
c, w, a
Suppose 0*r = 3*r + 15. Let x = 5 + r. Put x, 0.2, -0.4 in decreasing order.
0.2, x, -0.4
Let t = 0.9 - -4.1. Let p = -9 + 8.7. Put t, p, -5 in ascending order.
-5, p, t
Let d be (1/15)/((-1)/(-9)) + -1. Let s be (-2)/(-1) + (-439)/(-28). Let v = 73/4 - s. Sort 4, v, d.
d, v, 4
Let n(u) = -4*u + 1. Let b be n(4). Let m be ((-18)/20)/((-12)/b). Let p = -11/8 - m. Sort 4, p, 0.4 in ascending order.
p, 0.4, 4
Suppose 4*j = 6 + 2. Sort j, 1, -2 in descending order.
j, 1, -2
Let p = -11.7 - -15. Let r = 3 - p. Sort -2, 0.2, r in descending order.
0.2, r, -2
Let a(q) be the second derivative of -q**4/12 + 5*q**3/3 - 4*q**2 + 2*q. Let d be a(9). Put -5, d, 5 in descending order.
5, d, -5
Let r be -6*((-2)/18)/(2/(-9)). Put -4, r, 2, 3 in descending order.
3, 2, r, -4
Suppose -2*h = -4*g - 6*h + 52, 0 = 4*g - 5*h - 16. Let v be 42/g - 4/6. Suppose -1 = z + 1. Sort z, v, -5.
-5, z, v
Let h = -20/11 + 18/11. Put 4, h, -4/5, 1 in decreasing order.
4, 1, h, -4/5
Let z = 2 - 0. Suppose -33*c - 4*c = -185. Put c, z, 0 in descending order.
c, z, 0
Suppose -3*x = 2*x. Suppose 2*p = -1 + 3. Let d be 1/p - (-3 + 0). Put x, 2, d in decreasing order.
d, 2, x
Let y be 3 + (-72)/30 + -1 + 0. Put 0, -0.2, y in descending order.
0, -0.2, y
Let k = -145/6 - -24. Let i(h) = 3 - 4*h**2 + 2*h**2 + 8*h**2 + 6*h + h**3. Let r be i(-5). Sort -2/5, k, r.
r, -2/5, k
Let p = 2.9 + -2.9. Put p, 0.4, -4/3 in decreasing order.
0.4, p, -4/3
Suppose 3*g - g - 10 = 0. Let n be ((-190)/(-12))/g - 3. Let y = 2 - 1.9. Put y, 1/7, n in descending order.
n, 1/7, y
Let l be (-5)/(-2) - (-6 + 9). Put 1/14, l, -4, 0.1 in decreasing order.
0.1, 1/14, l, -4
Let j = -0.7 + 1. Let t = -0.36 - -0.06. Let o = 1.885 - 1.385. Put t, o, j in ascending order.
t, j, o
Let s be (-6)/(-27) + 1/9*16. Sort -0.1, s, 13 in descending order.
13, s, -0.1
Let p = -33 + 30. Sort 0.2, p, 0.1.
p, 0.1, 0.2
Let l = 6.1 + -5.8. Suppose -3*j = 0, -20 = 5*p - 2*j + j. Put p, l, 0 in decreasing order.
l, 0, p
Let x(t) = -t + 3. Let w be x(5). Let m = 1 + 2. Let v be (1 + 2 - m) + 4. Put 3, w, v in decreasing order.
v, 3, w
Suppose -w = -0*f + 2*f - 30, 3*w = 0. Let h = f - 15. Put -1/6, 3, h in increasing order.
-1/6, h, 3
Suppose -5*w + 13 + 12 = 0. Let n = w - 3. Sort n, 0.1, -6.
-6, 0.1, n
Suppose 0 = 4*v + 4. Let a = 8 - 6. Suppose -i = -7 + a. Sort i, v, 1 in increasing order.
v, 1, i
Suppose 4*h + 5*s = -h + 20, 3*h + 4 = s. Suppose 0 = 5*x + 20 - h. Sort 3, 0, x in ascending order.
x, 0, 3
Let c(g) = 0 + 2 - g - 6 + 5. Let q be c(6). Put q, -4, 3 in descending order.
3, -4, q
Suppose 5*v + 4*g = -31 - 5, 0 = -g + 1. Sort -5, v, -3 in increasing order.
v, -5, -3
Suppose -2*r + 1 = -4*o + 7, 0 = 3*o - r - 5. Suppose -t + 6 = t, -3*t + 9 = o*p. Sort p, 4, -5 in ascending order.
-5, p, 4
Let o be (3/2)/(8/16). Sort 1, 2, o.
1, 2, o
Let b = 8 + -8.1. Put -4/9, 0, b in increasing order.
-4/9, b, 0
Let r = -206 + 215.3. Let t = -9 + r. Let c = -0.1 + t. Sort 0.3, c, -0.3.
-0.3, c, 0.3
Let m(a) = 2*a**2 - 5*a + 5. Let b be m(2). Put b, -4, -11, 0 in decreasing order.
b, 0, -4, -11
Let m = 0.3 + -0.4. Let y be (93/15 - 6)/((-14)/(-30)). Put m, y, 0.04 in descending order.
y, 0.04, m
Suppose i - 4 = -m, 8 = -5*m + 2*i - 7. Sort 9, m, 2 in ascending order.
m, 2, 9
Let c = -0.34 - -0.04. Let t = c + 1.7. Let d = t + -1. Sort 1/3, d, 0 in decreasing order.
d, 1/3, 0
Let u = -3.5 - -4.5. Put 2/27, 0.1, u, -0.3 in descending order.
u, 0.1, 2/27, -0.3
Let x(p) = -p + 3. Let k be (3/9)/(2/12). Suppose -k*q + 12 = -4. Let o be x(q). Put -1, 5, o in descending order.
5, -1, o
Let c(t) = -t**3 - t**2 - t + 4. Let f be c(0). Put f, 3, -4 in decreasing order.
f, 3, -4
Suppose 7*d = 2*d - 25. Sort 2, 4, d, -1 in descending order.
4, 2, -1, d
Suppose i + 10 + 30 = 4*b, -4*i + 50 = 5*b. Suppose -5*q = -4*d + 24, -d + 3*d + 3*q = -b. Let f be (-16)/(-10) - (-4)/10. Put -4, d, f in ascending order.
-4, d, f
Let h = -24.97 - -25. Let r = h + -0.53. Sort r, 2/9, -0.4.
r, -0.4, 2/9
Let t = -2/17 - 9/68. Let p = -2 - -3. Put t, 5, p in decreasing order.
5, p, t
Let n(l) = -l**3 + 2*l**2 + l - 1. Let u be n(2). Let s = -92 - -89. Sort 5, u, s in decreasing order.
5, u, s
Let h = 27 - 27. Let f be -1 - (-3)/((-6)/4). Put f, 3, h in increasing order.
f, h, 3
Let r(h) = -h**2 + 3*h - 1. Let z be r(2). Let v be (1 - -2)*22/627. Put z, 3, v in increasing order.
v, z, 3
Suppose d - 4*w - 2 = 3*d, -4*d + 3*w + 29 = 0. Put d, 0, -4, 4 in ascending order.
-4, 0, 4, d
Let y be 4/3*(-1)/(-4). Let q be (-6)/15 - (-3 + 2). Sort -3, q, y.
-3, y, q
Let z = 0.8 - 0.5. Let q = -0.03 + -0.27. Let l = z + q. Sort -6/5, l, -3 in decreasing order.
l, -6/5, -3
Let p = 0.2 - 2.9. Let w = 3 + p. Let r = -0.48 + -0.02. Put -1, w, r in decreasing order.
w, r, -1
Suppose -8 = -0*v + 2*v. Let k be 2/3 - (-8)/(-3). Put v, 4, k in decreasing order.
4, k, v
Let w = 1 + 1. Let h = 6 - 5.6. Let x = -14 - -13. Put w, h, x in descending order.
w, h, x
Let q be 1/(-3) - (-26)/6. Suppose -19*l + 8 = -11*l. Sort l, q, 2 in decreasing order.
q, 2, l
Let u = -3518.6 + 3216.58. Let g = u + 308. Let d = -6 + g. Sort d, 5, -0.4.
-0.4, d, 5
Let u = -32 + 482/15. Sort u, -0.3,