t p be 1/(-3) + (-10)/(-3). Let z(k) be the first derivative of -k**2/2 + 2. Let o be z(-4). Sort 0, p, o in descending order.
o, p, 0
Let w = -59 - -55. Sort 3, w, -5, 0.
-5, w, 0, 3
Let n be (0 + 2)/2 + -11. Let r be 4/(-8) - n/(-4). Put 1, 3, r in ascending order.
r, 1, 3
Let l(k) = -k + 3. Let m = 5 - -3. Let r be l(m). Sort r, -3, 0 in descending order.
0, -3, r
Suppose 67 = 3*a - 287. Suppose c + q + a = 0, -c + 2*q - 38 - 80 = 0. Let r = c - -469/4. Put -0.04, -3/5, r in decreasing order.
-0.04, -3/5, r
Suppose -7*m + 374 = 388. Suppose -4 = -b + 2*b. Sort m, 4, b.
b, m, 4
Suppose -6 - 4 = -5*o. Suppose -o*k + 2*a + 6 = 0, 3*k - 2*a = -0*a + 6. Put 2, k, -3 in decreasing order.
2, k, -3
Let l = -0.79 + 0.49. Put 0.1, l, 0.4 in ascending order.
l, 0.1, 0.4
Let u be (4/2)/(4/(-4)). Let t(n) = 0*n - 17 - 2*n + 3*n. Let x be t(13). Sort -5, u, x in decreasing order.
u, x, -5
Let o = -0.12 - 3.88. Sort -2, 5, o, 1/7 in ascending order.
o, -2, 1/7, 5
Suppose 5*c = 4*c. Let d = -13 + 14. Sort c, d, -4 in descending order.
d, c, -4
Suppose b + 4*w - 2*w = 7, b - 5*w = -21. Let d = 5/3 + b. Sort 4, 0.5, d in increasing order.
0.5, d, 4
Let d = -21 + 26. Put d, 0.1, -2 in decreasing order.
d, 0.1, -2
Let f(j) = j**3 + 17*j**2 + 3. Let c be f(-17). Put 8, c, 5 in increasing order.
c, 5, 8
Suppose -4*p - 20 = -3*x, -2*x + 4*p - 12 = -3*x. Let l be ((-2)/(-4))/((-30)/x). Suppose -5*f = -54 + 39. Sort 0.1, f, l.
l, 0.1, f
Suppose -2*x = -5*q + 9, 2*q = 2*x - 3*x. Let y(h) = h + 1. Let w be y(4). Suppose 0 = t - w*t. Sort t, -5, x in ascending order.
-5, x, t
Let c = -28 - -28. Suppose -9 + 29 = -4*d. Sort c, d, -4 in increasing order.
d, -4, c
Let l = 113/3 + -38. Sort 0.07, l, -3 in increasing order.
-3, l, 0.07
Let i = -13.32 - -0.32. Sort 4, i, 3, 0 in descending order.
4, 3, 0, i
Let a = -30 + 22. Put 3, a, -2/3 in decreasing order.
3, -2/3, a
Let n = -7 + 10. Let a = 2.8 - n. Sort 5, 2, a in decreasing order.
5, 2, a
Let n = -19/52 + 3/26. Let a = -0.4 + 0.33. Put n, 4, a in descending order.
4, a, n
Let a = 24 - 27. Sort a, 1/7, 2 in descending order.
2, 1/7, a
Suppose -b + o = -9, b - 6*b = -4*o - 41. Suppose -4*q + b = -3*h - 0, -2*q + 6 = 2*h. Let k be 3*(8/(-3) + 1). Sort k, 5, q in ascending order.
k, q, 5
Let l be ((-4)/26)/1 - 0. Let d = -103 + 103.5. Put 0.4, d, l in ascending order.
l, 0.4, d
Let p be -2*((-2)/(-34) + 0). Suppose -241 = -4*d + 435. Let r = d + -679/4. Sort r, p, -0.1 in decreasing order.
-0.1, p, r
Let z(n) = 5*n**3 - 1. Let k be z(1). Put 0.4, -5, k in increasing order.
-5, 0.4, k
Let u be -6 + (3 + 0)/(-1). Let f be ((-6)/(-5))/(u/(-30)). Suppose f*c - 5*a - 20 = 0, -4*c - 4*a - 15 = -35. Put c, 4, -0.2 in descending order.
c, 4, -0.2
Suppose -m = 0, 0*n - 3*m = n - 8. Let z be 20/9 - n/36. Put -2, z, 3 in descending order.
3, z, -2
Let w = -4.9 + 4.8. Put w, 3, 5 in ascending order.
w, 3, 5
Suppose 4*a = 3*j - 7, 5 = 2*j - 5. Let i be (-2)/3 - 1/3. Sort i, -5, a in increasing order.
-5, i, a
Let o(q) = q**2 - 2*q - 12. Let r be o(5). Sort -7, r, 1 in descending order.
r, 1, -7
Suppose 0 = -5*p - 4 - 6. Let x = -37 - -42. Let v be ((-6)/12)/(2/(-4)). Sort x, p, v in ascending order.
p, v, x
Suppose 5*f - 64 = -2*t + t, -5*t - 2*f + 274 = 0. Let g be (4/10)/(t/(-30)). Sort g, 2, 3/5 in ascending order.
g, 3/5, 2
Let n = 21 + -18. Sort -1, n, -4 in decreasing order.
n, -1, -4
Suppose g + 5*h - 20 = 0, -g + 6*g - h - 22 = 0. Suppose g*q = 4*q. Let a = 0.3 - 1.3. Sort a, q, 4 in descending order.
4, q, a
Let t(u) = 4*u. Let n be t(1). Let p = 15 + -15. Suppose -w + n*w = p. Put -4, w, 4 in ascending order.
-4, w, 4
Suppose 0 = -4*k - 2 + 26. Let f(z) = -z**3 + 6*z**2 - z + 3. Let b be f(k). Let x(w) = w. Let u be x(5). Sort b, u, 0 in descending order.
u, 0, b
Let j(p) = -p**2 + 5*p + 4. Let a be j(6). Let n be 4 - (-3 - -1 - 0). Put a, 0, n in ascending order.
a, 0, n
Suppose 29 = -0*q - 5*q - 4*o, 5*o = 5*q + 20. Put 9, q, 4 in descending order.
9, 4, q
Let l = 1 + -0.9. Let d = l + 1. Let u = -0.8 + d. Sort u, -1/4, -3 in decreasing order.
u, -1/4, -3
Let q be 6/27 - 136/(-36). Let t(c) = 0*c**3 - 1 + 0*c**3 + c**2 + c**3. Let u be t(-1). Put -0.1, u, q in increasing order.
u, -0.1, q
Let v = 15 - 15. Suppose 0 = -v*t - t - 2. Sort -3, t, 7 in descending order.
7, t, -3
Let l = 29 + -24. Let q be (-3)/(-12) + (-34)/8. Put l, 4, q in descending order.
l, 4, q
Let a = -26 + 27. Put 4, a, -9 in descending order.
4, a, -9
Let m(i) = -i**3 + 5*i**2 - 3*i - 1. Let w be m(4). Suppose -w*g = -g - 10. Let u = 146/3 - 48. Sort u, g, 4 in increasing order.
u, 4, g
Suppose -n - 2 = -4*h, -2*h - h - 3*n = -9. Let x(l) = l + 1. Let t be x(h). Suppose 0 = 11*y + 21 - 10. Sort y, t, 1 in descending order.
t, 1, y
Let p = -14 + 8. Let d = p + 4. Let f be d/(0 + (-2)/3). Sort 2/11, f, 1/7 in decreasing order.
f, 2/11, 1/7
Let v = 0.24 - -0.06. Sort -1.2, 2, v in descending order.
2, v, -1.2
Let k = 10.2 + -1.2. Let o = 12 - k. Sort -0.2, o, -1/3 in ascending order.
-1/3, -0.2, o
Let o be (-4)/18 - (-69)/(-54). Sort 4, -1, o.
o, -1, 4
Let a = 26/9 + -112/45. Let m be (-50)/136 + 1/4. Put a, 0, m in descending order.
a, 0, m
Let l be 0 + 3*11/3. Let j = l + -10. Sort -2, -3, j in descending order.
j, -2, -3
Let b = -1 + -4. Suppose -5*z + 10*z + 10 = 0. Sort b, -4, z in ascending order.
b, -4, z
Let p(a) = -a**3 + 8*a**2 - 11*a - 5. Let z be p(5). Sort z, -2, 0 in increasing order.
-2, 0, z
Let x = 0.04 + 4.96. Let m = -72/479 + -115414/3353. Let c = m - -35. Put x, c, 2/3 in ascending order.
c, 2/3, x
Suppose -3*m = m. Suppose -z - 4 - 4 = 5*u, 0 = -z - 3*u - 4. Sort 1, m, z.
m, 1, z
Let q = -0.22 + -0.01. Let h = q + 0.73. Sort -6, 2/7, h.
-6, 2/7, h
Let g = 64 - 61. Put 3/5, 2/3, g, -1/6 in descending order.
g, 2/3, 3/5, -1/6
Let t be 2*2/3*(-54)/24. Sort -4, 0, t in increasing order.
-4, t, 0
Let u(k) = 6*k - 14. Let c be u(2). Sort 2, 1, -15, c in increasing order.
-15, c, 1, 2
Let d(c) = -c**2 - 4*c + 170. Let k be d(-15). Let v(l) = l**3 + l + 1. Let a be v(-1). Let r be ((-9)/12)/(a/(-4)). Put k, r, -4 in ascending order.
-4, r, k
Suppose -p + 2*b = 3*p, 0 = -2*p - 4*b + 20. Put -5, 4, p in decreasing order.
4, p, -5
Let a = 0.1 - -0.2. Let m = -3.3 + a. Sort m, -4, -1/8 in decreasing order.
-1/8, m, -4
Suppose 3 = -2*j - j. Put -8, j, -5 in increasing order.
-8, -5, j
Let t be (0/4)/(3 + -2). Suppose 2*q - q - 2 = t. Sort -1, q, 6.
-1, q, 6
Let p(g) = -g**3 - 8*g**2 + 5. Let x be p(-8). Put x, -4, 3 in decreasing order.
x, 3, -4
Let b = 8.3 + 2.7. Let t = b - 7. Let o = 3.5 - t. Sort o, 0.2, -3/7 in descending order.
0.2, -3/7, o
Let h be -5 + 1 - (-5 + 10/10). Put -5, h, 1, 4 in descending order.
4, 1, h, -5
Suppose -3*s = -5*s + 6. Suppose v + q = -v + 17, 0 = -3*v + s*q + 48. Suppose o + v = 2*y + y, 21 = 5*y - 3*o. Put -0.5, -3, y in increasing order.
-3, -0.5, y
Let a = -5 + 6. Let i = -1 + 0.9. Let p = i + 0. Put -2, p, a in descending order.
a, p, -2
Let y be 3 + 0 - (-6)/(-2). Suppose 0*q - 12 = -q + 2*a, 5*q - 2*a = 20. Sort y, q, -2 in decreasing order.
q, y, -2
Let h = -44 + 46. Put h, 9, 3 in decreasing order.
9, 3, h
Suppose f + 3*f - 8 = 0. Suppose -o - 1 = -f. Let t be (-35)/(-20) + o/4. Put -3, 5, t in decreasing order.
5, t, -3
Let o = -38 - -39. Put -3, o, 2 in descending order.
2, o, -3
Let z(i) = -i**2 - 4*i + 1. Let b be z(-4). Let h be (-12)/30 - (1 - b). Sort -4/3, h, -0.3 in descending order.
-0.3, h, -4/3
Let g = -1 - -1. Let b = 6 - -10. Let i be (b/10)/(4/10). Sort -2, g, i.
-2, g, i
Let b = 20 + -21. Sort 4, -3, b, 5 in decreasing order.
5, 4, b, -3
Let s = -5.771 - 0.029. Let g = 0.8 + s. Sort g, 0.1, 0 in increasing order.
g, 0, 0.1
Let i(o) = o - 6. Let m be i(8). Put -0.5, 0.04, m in descending order.
m, 0.04, -0.5
Suppose m - 5*r + 26 = 4*m, -5*m + r = -6. Let w = 0 + m. Let a be (w/14)/(1/3). Sort 0.5, a, -1 in decreasing order.
0.5, a, -1
Let s be ((-21)/(-6) + -1)*-30. Let v be ((-1042)/(-8))/((-21)/12). Let m = v - s. Put 0, -0.1, m in decreasing order.
m, 0, -0.1
Suppose 0*w = w. Let d = 1 - w. Sort 0, 3, d in ascending order.
0, d, 3
Let w = -99/4 - -25. Let r = -93 - -89. Put w, r, 1/7 in descending order.
w, 1/7, r
Let o = 120 + -124. Put 0.1, 1, -1/10, o in ascending order.
o, -1/10