t b be 32/(-12)*9/4. Sort -0.3, b, -3/8 in decreasing order.
-0.3, -3/8, b
Let q = 3 + 0. Let l(u) = -3*u - 68. Let s be l(-23). Sort s, q, 4.
s, q, 4
Let s be (2/4)/((-15)/18). Sort -1.6, s, -2/23, -0.3 in ascending order.
-1.6, s, -0.3, -2/23
Let w be 3/(-2) + 1/(-2). Let v be 0 + 1 + (w - -3). Let m be 6/(-15) - 8/(-20). Put v, m, -4 in decreasing order.
v, m, -4
Let i = 6 + 1. Let h = -9 + i. Suppose 0 = 5*w + 5 + 10. Sort w, h, 0 in decreasing order.
0, h, w
Let u be (28/(-21))/(3/9). Put -2/7, -0.5, 0.2, u in decreasing order.
0.2, -2/7, -0.5, u
Suppose -4*b - 16 = -0. Let u be (-2)/(-4) - 3/6. Suppose 8*h - 3*h = 10. Sort u, h, b in increasing order.
b, u, h
Suppose 3 = -5*m - 2, -5*y - m = 16. Put 4, y, 13 in increasing order.
y, 4, 13
Let j = 68 + -67.8. Sort 0, 1/2, j, 3 in descending order.
3, 1/2, j, 0
Suppose 2*r - 2 = 6. Sort 9, -5, r, -3.
-5, -3, r, 9
Let h be 14 - (4 + 0 + -2). Let a be (-1 + 7)/(h/(-6)). Put a, 3, 0 in decreasing order.
3, 0, a
Let y be 0 + 3/(63/(-6)). Put 0.2, y, -1, -4 in increasing order.
-4, -1, y, 0.2
Let s = 5 + -10. Put s, -1, 0.5 in ascending order.
s, -1, 0.5
Let l = 12 + -9. Let p = 0.1 + -2.1. Sort 0, p, l.
p, 0, l
Suppose -q = j + 2 - 7, 13 = 3*j + 5*q. Let x(y) = 7*y - 3*y**2 - 2*y**2 + j + y**2 - y**3. Let k be x(-5). Sort -2, k, -5 in ascending order.
-5, k, -2
Let o(a) = 2*a**2 - 2*a. Let v be o(2). Suppose -9 - 11 = v*x. Let s be x/(35/(-4)) - 1. Sort s, 0.3, 5.
s, 0.3, 5
Suppose -2*z - 5*x = -33, z = -3*z + 3*x + 27. Let p = 33 + -30. Suppose -p*a + 3 + z = 0. Put 1, -5, a in decreasing order.
a, 1, -5
Let j = -2 - -5. Let p = 2 - j. Sort p, 1, -0.5 in ascending order.
p, -0.5, 1
Let o = -0.14 + -4.86. Put -0.4, 0.4, o in decreasing order.
0.4, -0.4, o
Let r = -0.4 + 0.7. Let p be (-21)/6*(-4)/(-7). Put -4, r, p in descending order.
r, p, -4
Let f(w) = w**2 - w + 3. Let c be f(0). Sort 2, c, 1 in descending order.
c, 2, 1
Let f be 18/(-4) - -3 - -2. Let b = 0.5 - -6.5. Sort b, f, 1 in decreasing order.
b, 1, f
Let s(b) = b - 5. Let z be s(0). Suppose 3*i - 21 - 27 = 0. Suppose 3*d - 5*k + 2 = -i, 3*k - 9 = 0. Sort 0, z, d in descending order.
0, d, z
Suppose 0 = 2*x + 3*x. Let o be 51/(-85) - 13/(-5). Sort o, x, 3 in ascending order.
x, o, 3
Suppose -2*m - 2 = -2*u + 6*u, -3*m + 13 = -2*u. Put 5, -1, 1/8, u in ascending order.
u, -1, 1/8, 5
Suppose 5*j + 16 = 36. Sort 5, 3, j, -3.
-3, 3, j, 5
Suppose -3*c + 4*a - 32 = c, c - 7 = -4*a. Let n(h) = -h - 1. Let s be n(-6). Let b = 10 - 10. Put c, b, s in increasing order.
c, b, s
Let h = -25 + 18. Let d = 39 + -31.9. Let w = d + h. Put 5, 3, w in ascending order.
w, 3, 5
Let u be 16/6*6/4. Let w(o) = o**3 + 13*o**2 + 12*o + 6. Let a be w(-12). Let r be (-9)/a*20/(-15). Sort r, u, -5.
-5, r, u
Suppose 4*q = 3*q - 5*o, -3*o = -2*q + 13. Put 4, -5, q in descending order.
q, 4, -5
Let l = -5 + 1. Suppose 3*q = x + 11, 3*q - 21 = -3*x + 6*x. Put -3, l, q in decreasing order.
q, -3, l
Let o = 0 - -2. Put o, -4, 3 in decreasing order.
3, o, -4
Let w = 22 - 19. Put w, 0.4, -6/7 in descending order.
w, 0.4, -6/7
Let d(b) = 5*b**2 + 47*b - 8. Let k be d(-9). Sort k, 2, 5.
k, 2, 5
Let s = -3.8 + 0.8. Let k = s - -7. Put -2/3, -1/5, k in increasing order.
-2/3, -1/5, k
Let b be 22/4 - 2/4. Suppose 0 = -2*t + 4*t + 5*x + 7, -b*t - 2 = -3*x. Suppose -2*p = -0 - 2. Sort p, t, 3 in descending order.
3, p, t
Suppose a + 8 = -a. Let g(k) = -k - 2. Let o be g(3). Sort a, o, -1 in decreasing order.
-1, a, o
Suppose -2 = 4*x + 6. Let i be (-12)/2*1/(-2). Suppose 3*f = 14 + 1. Sort i, f, x in descending order.
f, i, x
Let g = 108/5 + -43/2. Let w = -0.5 - 1.5. Let b be (-4)/(-5) + 130/(-350). Put b, w, g in decreasing order.
b, g, w
Let y be ((-2)/(-5))/(7/(-5)). Let l = 289/518 + 1/74. Sort l, y, 3 in decreasing order.
3, l, y
Let w be (15/20)/((-7)/4). Put -0.3, 4/7, w in increasing order.
w, -0.3, 4/7
Suppose 10*y - 10 + 0 = 0. Sort 4, -5, y.
-5, y, 4
Let k = -18.2 + 18. Sort 5, k, -0.7 in ascending order.
-0.7, k, 5
Let w = -0.1 - -0.3. Suppose 28 = -6*r - 2. Put w, -2/11, r in descending order.
w, -2/11, r
Let i(w) = -w**2 - 6*w + 3. Let h be i(-6). Let g = -74 + 371/5. Let c = -15 - -10. Put h, g, c in decreasing order.
h, g, c
Let g = 2 - 2.1. Let m be 6 - (0/(-2) - -1). Suppose m*d - 9 + 4 = -5*w, -w + 21 = -4*d. Sort w, 3, g in ascending order.
g, 3, w
Suppose -2*k - 20 = -7*k. Let b be 2/(-4) - 310/k. Let h = b + 391/5. Sort 0.5, h, -5 in increasing order.
-5, h, 0.5
Let w = 0.2 + 0.3. Let k = -8 - -8.3. Let o(a) = a**3 - 10*a**2 + 2. Let j be o(10). Sort k, j, w in descending order.
j, w, k
Let f(y) be the third derivative of y**4/24 + y**3/2 + 6*y**2. Let b be f(-8). Suppose -8*h = -4*h. Put -1, b, h in descending order.
h, -1, b
Let o(v) = 2*v. Let q be o(-5). Let u be (-10)/(-22)*(-4)/q. Sort 4, u, -5 in ascending order.
-5, u, 4
Suppose 2*m + 1 = -u, -10 = -5*u - 10*m + 5*m. Let r = 6.86 - -0.14. Let a = r - 12. Sort -1, a, u in ascending order.
a, -1, u
Let u = 2/35 + -39/70. Sort 0.02, u, -4 in increasing order.
-4, u, 0.02
Suppose 4*f - 47 = -7. Let c = f - 15. Let a(l) = -l**2 - 5*l - 7. Let b be a(-4). Put c, 2, b in decreasing order.
2, b, c
Let n = -1.03 + 1.1. Let p = -0.03 - n. Sort -0.5, p, 2/23 in ascending order.
-0.5, p, 2/23
Let u(s) = -9*s - 6. Let b be u(-1). Sort 1, b, -2 in decreasing order.
b, 1, -2
Let i = 0.1 + 0.3. Let x = -70.97 - -71. Sort i, 4, x in descending order.
4, i, x
Let c be 4/(-3)*6/(-14). Let o be ((-4)/10)/(450/(-125)). Put 0.5, o, c in descending order.
c, 0.5, o
Suppose 0 = -7*c + 8*c - 5. Put c, -44, -1 in decreasing order.
c, -1, -44
Let f be 19/5 + (-10)/(-50) + -1. Sort -4, 2, f, 1 in ascending order.
-4, 1, 2, f
Let w(z) = -z**3 - 5*z**2. Let q be w(-5). Suppose 1 = -2*a - 3*t - 10, -2*a + 4*t + 10 = q. Suppose 20 = 4*m + m. Sort a, 5, m in increasing order.
a, m, 5
Let k(a) = a - 1. Let y be k(-2). Let o be ((-3)/(-1))/y - -3. Let h be (o - 1) + 3 + -1. Put h, -2, 2 in increasing order.
-2, 2, h
Let z(p) = -p**3 + 4*p**2 + p + 1. Let s be z(4). Suppose -s*h = -2*h + 3. Sort -2, h, 2 in descending order.
2, h, -2
Let w be (4 + -2)*(-2)/(-16). Let v(x) = -x**2 + 2*x - 7. Let u be v(7). Let n be u/(-30) + (-2)/2. Put n, w, -0.1 in ascending order.
-0.1, w, n
Let z = -2 - 0. Sort -3, 6, z in descending order.
6, z, -3
Let u(j) = -j**2 + 5*j + 3. Let x be u(4). Suppose 6*c = 5*w + c + 5, -3*w + 4*c = x. Put w, 2, 0 in descending order.
w, 2, 0
Let l(k) = k - 3. Let x be l(5). Let z be (-3)/x*(-6)/9. Put 8, -5, z in increasing order.
-5, z, 8
Suppose -5 = -7*k + 2*k. Let m(h) = 3*h**2 + 2*h - 1. Let u be m(k). Sort u, 3, 0 in ascending order.
0, 3, u
Let p = -0.5 + -0.3. Sort p, -3, 0.5 in increasing order.
-3, p, 0.5
Let r = -2 + 0. Let h be (-4)/(-48) - r/(-6). Let l = 1.5 + -2. Put h, l, 4 in ascending order.
l, h, 4
Let q be ((-4)/(-14))/(2 - 1). Suppose -5*f = -8*f - 9. Let t = 2.3 - -0.7. Sort q, t, f.
f, q, t
Let f(u) = -u**3 - 6*u**2 - 6*u - 5. Let d be f(-5). Let p(h) = h**2 + 3*h + 1. Let c be p(-3). Put c, -6, d in descending order.
c, d, -6
Let c = 3 - -4. Let g = c - 11. Let l(k) = -k**3 + 5*k**2 - 5*k - 1. Let v be l(4). Sort -1/8, g, v.
v, g, -1/8
Let g = -0.8 + -0.2. Let z = 2 - 6. Let q be 1 + -1 - (-12)/(-28). Put z, q, g in increasing order.
z, g, q
Suppose 3*s = 5*s + 2. Suppose 0 = -5*z - 4*c - 22, -2*z = -c + 10 + 4. Let f be ((-4)/z)/(2/(-6)). Put f, s, -4 in increasing order.
-4, f, s
Let n(x) = -3*x. Let r be n(-2). Let y be 2/(-4)*r/1. Sort -2, y, 3 in ascending order.
y, -2, 3
Let s = 25.06 - 25. Let o = s + -0.06. Sort o, 0.2, -0.4 in ascending order.
-0.4, o, 0.2
Let m = -79 + 26. Put 4, 2, m in descending order.
4, 2, m
Let i = 8 + -10. Suppose 2*q - 54 = u + 2*u, -3*u = 3*q - 81. Let z be (-2)/7 - q/(-21). Put z, i, -4 in descending order.
z, i, -4
Let z = -0.017 + -2.283. Let a = -2.7 - z. Let p be 10/(-12) - 1/2. Put p, 0.4, a in descending order.
0.4, a, p
Suppose s = -2 - 3. Put s, 1, -3 in decreasing order.
1, -3, s
Let s(l) = -l**3 - 12*l**2 + 13*l + 1. Let w be s(-13). Sort -3, w, -13, -1 in decreasing order.
w, -1, -3, -13
Suppose 87 = 5*b - 0*b - i, -b + 4*i = -6. Suppose -2*u + b = -2*g, 4*u + 2*g = 1 + 5. Let x = 2 - 6. Put x, -2, u in descending order.
u, -2, x
Let x