.
t, 0.5, 23
Let n(w) = -w**2 + 6*w - 1. Let g be n(6). Let u be (2/6)/(2/12). Put g, -12, u in ascending order.
-12, g, u
Let u = 20.71 - 24. Let c = u - -3.3. Put -2/5, c, 0.5 in increasing order.
-2/5, c, 0.5
Let d = -23 - -22.8. Let j be 26/(-14) + 6/3. Sort j, d, 4 in decreasing order.
4, j, d
Let q = 43/30 + 1/15. Suppose 0 = -4*w - 3*s + 41 - 9, 2*w = 5*s - 10. Suppose -4*c + 2 = -0*c - 5*u, w*u = -5*c - 20. Put q, 0.3, c in descending order.
q, 0.3, c
Let j = 12.2 - 12. Let w = j + -0.7. Let h = 4.5 + w. Sort h, 3, -0.3.
-0.3, 3, h
Let l = 695 + -695.5. Let w be (-10)/(-14)*(-2)/5. Put w, 2/9, l in descending order.
2/9, w, l
Suppose 4 = 7*q - 3*q. Let b be 3/(-21) - (-2 + q). Sort 1/4, b, -0.1 in decreasing order.
b, 1/4, -0.1
Let b = 1234/11 - 112. Let p(w) = 3*w**3 + 33*w**2 - w - 13. Let i be p(-11). Let r = -8 + 4. Put i, b, r in decreasing order.
b, i, r
Let k(v) = -v**3 - 19*v**2 - 13*v + 85. Let t be k(-18). Sort 5, -8, 1/19, t in decreasing order.
5, 1/19, t, -8
Let l = 47 + -37. Suppose -l*a + 7*a = 0. Put -6, -1, a in increasing order.
-6, -1, a
Let q(a) = a**3 - a**2 - a + 3. Let o be q(2). Let r be (4 - (o - -7)) + (-1 - -3). Sort r, 5, 7 in descending order.
7, 5, r
Suppose -14 + 48 = 2*i. Suppose i = -5*m - 3. Let t = -0.04 + -0.06. Put m, t, 4 in increasing order.
m, t, 4
Let l be (2 + 2)/(5/10). Suppose 6*c + 2*c = -l. Put -4, c, 11 in decreasing order.
11, c, -4
Suppose 2*g - 38 = p, 5*p + 12 + 45 = 3*g. Put 1, -0.2, g in increasing order.
-0.2, 1, g
Let m = 1.7 + -0.7. Put -74, m, -0.3 in descending order.
m, -0.3, -74
Let m = -259 - -775/3. Sort -4, m, -1, -3 in decreasing order.
m, -1, -3, -4
Let n(p) = p**3 + p**2 + p + 10. Let w be n(0). Let j = -51 + 6. Let a = j + 44. Put a, -2, w in ascending order.
-2, a, w
Let z = 2490 + -2486. Sort z, -0.01, 1/6 in increasing order.
-0.01, 1/6, z
Suppose 28 = o - 5*o. Let b(f) = -f**2 - 9*f - 10. Let k be b(o). Let t be k/(56/(-46)) - -3. Sort t, -0.3, 0.4 in increasing order.
-0.3, t, 0.4
Suppose d = 5*d + 3*g - 73, -19 = -d - g. Suppose -4*k = 3*v - 5 - 7, -4*k = 4*v - d. Sort -3, v, 2 in increasing order.
-3, 2, v
Suppose 4*l - l - 21 = -n, -3*n = l - 55. Suppose 4*x = 3*h + 1 - n, 5*x = h - 24. Put 1, 2, x in increasing order.
x, 1, 2
Let b be (-4)/(-10) - 26/(-10). Suppose 5*s - 8 - 2 = 0. Suppose 0 = -2*i + 7*i - s*f - 8, -5*f + 15 = 5*i. Put -3, i, b in decreasing order.
b, i, -3
Let i = 1851 + -1848. Sort -1, i, 12 in increasing order.
-1, i, 12
Let d = -0.0514 + 1.0514. Sort 2/15, 3, -3, d in descending order.
3, d, 2/15, -3
Let v = -8 + 13. Suppose 5*t + 2*c - 45 = 0, 5*t - 6*t + 5*c + 36 = 0. Let x = t - v. Put x, 1, -5 in increasing order.
-5, 1, x
Let g(u) = -u + 11. Let c be g(13). Suppose 2*m = l - 0*l + 3, -3*l + 2*m - 1 = 0. Suppose t = -z - l, -4*t - 3*z = -0 + 7. Put c, t, 3 in descending order.
3, c, t
Let s = 0.25 - 0.25. Put -1/2, s, -22 in increasing order.
-22, -1/2, s
Let y be (-1)/(0/(-5) + -1). Let a(k) = k**3 + 5*k**2 - 5*k + 3. Let g be a(-6). Sort g, 0.1, y, -4 in increasing order.
-4, g, 0.1, y
Let l be ((-15)/10)/(57/(-12) - -4). Sort -1/53, l, 4/5.
-1/53, 4/5, l
Suppose l + k = 17, -2*l + 37 = -l - 4*k. Let b be l/56*(-1)/(-3). Sort -1, b, 0.2.
-1, b, 0.2
Let d = -40 - -44. Suppose 6 = 3*i, -d*z + i + 6 = 6*i. Suppose 8 - 2 = -2*h. Put z, h, 0 in decreasing order.
0, z, h
Let i(s) = -s**3 - 2*s**2 + 2*s + 3. Let o be i(-2). Let n(y) = 13*y**2 + y. Let p be n(2). Let c be 2/(-5) - p/(-10). Sort o, c, 1 in descending order.
c, 1, o
Let x = 41 + -27. Let u = 10 - x. Let s = 3.8 + u. Put -3, 4, s in ascending order.
-3, s, 4
Let y(i) = -i**2 - 4*i - 3. Let f be y(-2). Let x = 1 + 3. Suppose -1491 = 132*p - 171. Sort p, x, f in descending order.
x, f, p
Suppose 0 = -4*n + 53 - 45. Sort 1, 3, n, -3.
-3, 1, n, 3
Let h = 6 - 6. Let s(d) = -19*d**2 + 153*d - 13. Let z be s(8). Sort h, z, 1 in decreasing order.
1, h, z
Let n be (-612)/(-16) + -3 + 55/20. Put -3, n, 3 in increasing order.
-3, 3, n
Let b = 1.5 - -1.1. Let v = -2.54 + b. Put 2/7, v, 4 in decreasing order.
4, 2/7, v
Suppose -147 = 21*b - 189. Sort -5, -1, -22, b.
-22, -5, -1, b
Let u(i) = -2*i - 49. Let p be u(-17). Put 4, 1, p in ascending order.
p, 1, 4
Let j = 21 + -11.9. Let w = -7.15 + j. Let m = w + 0.05. Put m, 4, 0 in descending order.
4, m, 0
Let q = -948 + 943. Sort 2/15, q, -0.5, -0.4 in descending order.
2/15, -0.4, -0.5, q
Let v = -0.0405 - -0.0405. Sort 2, v, -2, -0.1.
-2, -0.1, v, 2
Let t = -0.1 - 0.9. Let z = -1547/5 - -310. Suppose -4*h - 40 = 5*m, -5*h + 5 = 30. Sort t, m, z in descending order.
z, t, m
Let o be (-20)/(-90) - (208/(-36) - -2). Sort -0.19, -0.5, 0.06, o.
-0.5, -0.19, 0.06, o
Let j be 138/36 - 1/(-6). Suppose -4*i - 18 = 5*l, -j*l + i + 12 = -9*l. Let f be 12/(-20) - (-8)/5. Sort l, f, 0 in increasing order.
l, 0, f
Let a = -7.5 - -8. Let s be ((-287)/10)/(-7) - 4. Put a, s, 0 in decreasing order.
a, s, 0
Let d = -47 + 69. Let n = d - 22.1. Sort n, -5, 2/5 in ascending order.
-5, n, 2/5
Let d = -1/83 - -177/913. Let b = 0 + 0.05. Let x = b - -1.95. Sort d, 5, x.
d, x, 5
Let x = -0.03 + 0.43. Let o(f) = 2*f**2 - 27*f + 98. Let n be o(5). Put x, n, -0.3, 1 in ascending order.
-0.3, x, 1, n
Let l be (-2 - (-10)/4)/((-2)/43). Let z = -11 - l. Put z, 23, 1 in ascending order.
z, 1, 23
Let o = -348 + 344. Sort -2, o, -72.
-72, o, -2
Let x = 159.12 + -156. Let o = x - 0.12. Put o, -2/7, -2/3, -4 in decreasing order.
o, -2/7, -2/3, -4
Let v be 8/5 - (-2)/5. Let a = -87 - -85. Sort -4, a, v.
-4, a, v
Let x = 6 + -2. Suppose 4*m + x*v - 8 = -m, -5*v + 10 = -2*m. Suppose 8*l + 5 = 13*l. Sort m, -1, l in decreasing order.
l, m, -1
Suppose 4*y - 32 = -5*g + 2*g, 2*g = -5*y + 33. Suppose b - 7 = r - 4*r, 11 = y*r + b. Let z be (2/(-4))/((-1)/2). Put z, -4, r in descending order.
r, z, -4
Suppose 0 = 2*g - 2. Let i = 50 + -51. Let j(c) = 6*c**2 + 3*c + 1. Let z be j(i). Sort z, g, -6 in increasing order.
-6, g, z
Let x be 48/(-18)*(-3)/4. Suppose 0 = -x*h - 0 + 8. Let i = 0 - h. Put i, 9, -2 in ascending order.
i, -2, 9
Let d be 8/10 - (-2)/(20/22). Let y be (3/(d - 0))/((-4)/(-68)). Put y, 1, 3 in increasing order.
1, 3, y
Suppose -14 = 4*y - 22. Let r(g) = -g**3 + 3*g**2 + 8*g - 19. Let s be r(4). Sort -7, y, -1, s in decreasing order.
y, -1, s, -7
Suppose o - 3*o = 2*u + 22, 5*u - 3*o = -79. Let b be (-4)/u + 32/(-14). Suppose 5*n - 2*p - 2 = 2*n, 5*n = -p + 25. Sort 1, b, n in increasing order.
b, 1, n
Suppose -4*c - 3 = -11. Let b(s) be the third derivative of s**4/8 + s**3/3 + 21*s**2. Let m be b(1). Put c, m, -3 in increasing order.
-3, c, m
Let q = 1 + 3. Let k = 0 + q. Suppose 0 = -4*d + k*a - 2*a + 10, 2*a = -3*d - 10. Sort d, -1, -4 in decreasing order.
d, -1, -4
Let g(b) = 5*b + 9*b + b**2 - 15*b. Let o be g(1). Suppose c - n = 3*c + 2, 5*c = 2*n - 14. Put 2, o, c in ascending order.
c, o, 2
Let l(b) = -2*b**3 + 54*b**2 + b - 31. Let d be l(27). Sort 2, -5, d, 4.
-5, d, 2, 4
Suppose -v + 5*u = 8, -4*u - 2 = -10. Let j be (-1 - -31)*(-2)/(-5). Suppose j = -v*t + 5*t. Put t, -3, -4 in ascending order.
-4, -3, t
Suppose -15*r + 135 = 45. Suppose -r*c + 36 = 12. Sort c, -3, -1/182 in descending order.
c, -1/182, -3
Let z = 21 - 6. Let a(r) = -r**3 - 27*r**2 - r - 12. Let p be a(-27). Let j be ((-20)/p)/(-2)*6. Sort z, j, 0 in increasing order.
0, j, z
Suppose -f - 5 = -k, -4*f + 12*k - 18 = 7*k. Sort f, 2, 5, -2 in descending order.
5, 2, -2, f
Suppose 3*o + 4*k = -18, 0 = 5*o + 4*k - 3*k + 13. Sort -7/5, 0.2, 1/4, o in ascending order.
o, -7/5, 0.2, 1/4
Suppose -3*o = 2*s - 8*o - 28, 0 = 2*o. Let a = -9 - -21. Suppose a*r = s*r + 12. Sort r, 3, -3 in descending order.
3, -3, r
Suppose -3*g - 12 + 3 = 0. Put g, -0.5, 107 in decreasing order.
107, -0.5, g
Let z = 20 - 18. Suppose -y = -2*r + 4, 4*r - 5*r = z*y + 3. Let v be (13/(-156))/(y/6). Put v, -0.2, -5/6 in decreasing order.
v, -0.2, -5/6
Let y = -13 + 15. Suppose y*k - 6 = -2*a, -12 = -4*a + 8. Put 0, 3, k in decreasing order.
3, 0, k
Suppose 6*p + 228 = -150. Sort 0, -3, p.
p, -3, 0
Suppose -4*h - 1180 = -3*l, -l = -2*h - 3*l - 604. Let n be -1*h/(-264) + 1. Let j = -4/33 + n. Put 1, j, 3/5 in decreasing order.
1, 3/5, j
Let z(o) be the second derivative of o**4/12 - o**3/6 - o**2/2 + 7*o - 3. Let n b