t k, 3, -4/3 in descending order.
3, k, -4/3
Suppose 0 = -p - 2*p - 30. Suppose 11 = 5*s - 4. Put p, 1, 5, s in descending order.
5, s, 1, p
Let z = -6 - -5.95. Let j = z + -0.15. Let d(x) = x + 26. Let q be d(-30). Sort -8, j, q in decreasing order.
j, q, -8
Let w = -534 - -538. Put 3/5, -5, w, 1/5 in descending order.
w, 3/5, 1/5, -5
Let r = -94 + 95. Let l(z) = -2*z - 32. Let m be l(-17). Put -10, m, r in increasing order.
-10, r, m
Let w = 7.02 + -7.3. Let l = -8.72 + w. Sort l, 5, 4 in descending order.
5, 4, l
Let o = -3567/10 - -15671/10. Let c = o + -1217. Sort -5, -0.3, c in decreasing order.
-0.3, -5, c
Let w = -3 + 1. Sort -5, -1, w in ascending order.
-5, w, -1
Suppose -y + 50 = -2*y - 3*g, -130 = 4*y - 2*g. Let a = 37 + y. Suppose 0*b + 2 = c - b, 2*c = -4*b - 26. Put a, c, 4 in decreasing order.
4, a, c
Let m(b) = 3*b + 25. Let f be m(-10). Let p = -89 - -94. Put f, p, 0, -1 in descending order.
p, 0, -1, f
Suppose 18 = -2*i - 11*x + 6*x, -5*i - 10 = -5*x. Sort 0, -3, i in ascending order.
i, -3, 0
Suppose 0 = -19*u - 5 - 14. Put -10, -2, u in decreasing order.
u, -2, -10
Let n be (-357)/(-85) + 16/20. Put -4, -2, 0, n in decreasing order.
n, 0, -2, -4
Suppose y - 2 = 2. Let n be (-21)/y + 2/8. Let w = -118 + 118. Sort w, 1, n in ascending order.
n, w, 1
Let k = -37 + 31. Let y be 0 + k - (4 + -7). Sort 6, 4, y in ascending order.
y, 4, 6
Suppose 3*n + 20 - 37 = -q, 0 = 3*n - 3*q + 3. Sort -4, 11, n, 5.
-4, n, 5, 11
Let k be (-239)/(-18) + 4/18. Suppose -79 = -5*f + h, -4*f + 61 - 21 = 5*h. Let i = f - k. Sort -5, i, -1/3 in decreasing order.
i, -1/3, -5
Let r be (-3)/(18/8) - -1. Let a = -2.5 - -3. Let x = -67 - -64. Sort a, x, r.
x, r, a
Let j = -11/56 + 5/8. Let x = -0.09 + 0.39. Let i = x + 0.7. Sort 3, j, i in ascending order.
j, i, 3
Let v = 0 + 0.1. Let x = 118.632 + 1.268. Let d = x - 120. Sort d, 0, v in decreasing order.
v, 0, d
Let k = -10 - -12. Suppose 0 = 3*v - 4 - k. Suppose 3*c + v*c + 3*l = 20, -5*c + 10 = l. Sort 3, 2, c in ascending order.
c, 2, 3
Let p = 48 + -68. Let b = 23 + p. Put b, -0.2, 3/7 in ascending order.
-0.2, 3/7, b
Let o(a) = 66*a - 391. Let s be o(6). Suppose 4*b = 5*b + 4. Suppose w - 6*w = 25. Sort b, w, s in increasing order.
w, b, s
Let h = 111 + -1444/13. Let i = 0.48 + -24.48. Let o = i - -24.4. Sort h, o, 0.2 in increasing order.
h, 0.2, o
Let f = -8 + 10. Let a = 5 - f. Let y(n) = -n + 1. Let d be y(-3). Sort 1/2, d, a in ascending order.
1/2, a, d
Let p(d) = -4*d**2 + 10*d - 1. Let l be p(-4). Let t = -106 - l. Suppose 4*j - 5 - 3 = 0. Sort t, j, 3 in ascending order.
t, j, 3
Let n(z) = -z**2 - 4*z - 2. Let h be n(-4). Let i(p) = -p**3 - p**2 + 6*p + 4. Let m be i(h). Put m, -5, -3 in decreasing order.
-3, m, -5
Let b = -24 + 18. Let v(u) = -u**3 - 7*u**2 - 6*u + 13. Let h be v(b). Suppose -h*n - 5 = -12*n. Sort 1, -3, n in increasing order.
n, -3, 1
Suppose 0 = 2*b - 0*b - 18. Let g be (-6)/b - (-22)/6. Let f(r) = -r**3 - 8*r**2 - 12*r - 3. Let j be f(-6). Sort -4, j, g in descending order.
g, j, -4
Suppose -5*s = -s - 8. Suppose 0 = -5*b - s*q - 2*q + 61, 4*b + 5*q = 47. Let u = 15 - b. Put u, 4, 0 in decreasing order.
4, u, 0
Let q(k) = k**2 + 15*k + 50. Let u be q(-9). Put 2, 0, u, 4 in increasing order.
u, 0, 2, 4
Let q be (-55)/(-44)*(5 + (-1)/1). Sort 2/7, -3, q, 48.
-3, 2/7, q, 48
Let h be (-12)/60 + 3/(-15) + 1. Put 1/3, 0.07, -0.1, h in descending order.
h, 1/3, 0.07, -0.1
Let l = -31/120 - 3/40. Sort 5, -333, l in descending order.
5, l, -333
Let l(o) = -o**2 - 1. Let q be l(2). Let r(z) = z**2 + 3*z - 39. Let w = -148 + 140. Let v be r(w). Put -4, v, q in decreasing order.
v, -4, q
Let w be ((-2)/1)/(6/(-9)). Let p be (3 + -3)*w/(-3). Suppose 0 = 3*g - 3*m - 21, p = 3*g - 2*m + m - 25. Sort g, 1, -2.
-2, 1, g
Let w = 39.9 + -40.4. Sort 0.02, 2, 4, w.
w, 0.02, 2, 4
Let h be 9 - 7 - (-7)/(28/8). Sort h, 10.47, -1 in ascending order.
-1, h, 10.47
Suppose 9 = x + 5*n, 8*n - 5*n = -5*x + 1. Sort -4, x, 3.
-4, x, 3
Let p(l) = -l**3 - 15*l**2 + 24*l + 104. Let b be p(-16). Sort -0.5, b, -3 in ascending order.
b, -3, -0.5
Let o = 2664 - 2666. Put 21, 2, o, 5 in decreasing order.
21, 5, 2, o
Let a = -414 + 417. Sort -0.1, 0, a, 2/11.
-0.1, 0, 2/11, a
Let l = 74 + -73.4. Let a = 1.4 + l. Sort a, 1/3, -0.2 in decreasing order.
a, 1/3, -0.2
Suppose 4*x = -2*z + 10, 14*x - 10*x - 7 = z. Let c(u) = -4*u**3 + u - 1. Let w be c(2). Sort -3, w, x in descending order.
x, -3, w
Let q = -2/1229 - 2428/18435. Let p be (2/4)/((-2)/4). Let g be (p/5)/((-3)/(-6)). Put 1/2, q, g in ascending order.
g, q, 1/2
Suppose -2*s + 3 - 5 = 0. Let i = -106 + 111. Suppose -7*g = -i - 16. Put g, s, 7 in decreasing order.
7, g, s
Let d = 62 - 40. Let n = d - 37. Let x be (-10)/(-15)*n/2. Put -2, 4, x in increasing order.
x, -2, 4
Suppose 169*n = 171*n - 10. Let a be 10/16*(-1)/n. Put a, -3, -1/2 in increasing order.
-3, -1/2, a
Let s(h) = h**3 - 46*h**2 - 162*h + 735. Let u be s(49). Let v = 0 - 1. Sort u, 4, v, -4 in decreasing order.
4, u, v, -4
Let j = 5 - -45. Sort 0.4, -0.4, j in increasing order.
-0.4, 0.4, j
Suppose -p + 2*p + k = 5, -p = -5*k + 7. Put 4, 21, p in descending order.
21, 4, p
Suppose -48*y + 9*y = -195. Let k(u) = 0*u - 5 - u + 9. Let a be k(10). Put y, a, -3 in ascending order.
a, -3, y
Let m = -32 + 36. Suppose -8 = -8*s + m*s. Let b = -3 + 8. Sort s, 3, b in descending order.
b, 3, s
Let i = -42 + 7. Sort 0.3, i, 1.2 in decreasing order.
1.2, 0.3, i
Let t be (-2)/4*2*32/(-24). Let b = 22 - 18. Sort b, 0, 0.1, t in descending order.
b, t, 0.1, 0
Let k be 198/54 - 1/(-3). Suppose 5*g + 29 = -p + 2*p, 0 = 2*p + k*g + 12. Put p, -10, -4 in descending order.
p, -4, -10
Let q(m) = m - 3. Let g be q(6). Let i(h) = 2*h. Let l be i(1). Put -13, g, l, -2 in increasing order.
-13, -2, l, g
Let t(m) = m**2 - 2*m - 2. Let x be t(2). Let r = -3 - x. Let n(p) = -3*p**2 + p. Let o be n(r). Sort o, -3, 0.2 in increasing order.
o, -3, 0.2
Suppose -3*l - 2*i = 0, -4*i = -i. Put 13, l, -5, -2 in decreasing order.
13, l, -2, -5
Let y = 11 - 18. Let h = y - 2. Let i be h/(-3)*16/(-12). Sort i, 2, 4 in decreasing order.
4, 2, i
Suppose 7 = -z + 3. Let j(f) = -f**3 - 4*f**2 + f + 3. Let a be j(z). Let l = -0.4 - -0.2. Sort a, l, 2 in decreasing order.
2, l, a
Let o = -197 - -192. Sort 3, -4, o, -1 in decreasing order.
3, -1, -4, o
Let b = -11 + 6. Let a(k) = 3*k**2 + 19*k + 5. Let q be a(-6). Put 0, b, q in descending order.
0, q, b
Let q be (-4)/(-10) + (-108)/(-30). Let d be (-6)/(-4)*q/(-2). Sort d, -1, 3.
d, -1, 3
Let y(c) = c**3 - 2*c**2 + 2*c - 5. Let b be y(0). Sort -4, 5, b in increasing order.
b, -4, 5
Let m(o) = -o**3 + 3*o**2 - 3*o + 4. Let b be m(3). Sort 5, b, -12.
-12, b, 5
Suppose 5*y - 170 = 3*t, -y + 6*t = 2*t - 17. Let q = y - 42. Sort -3, q, 3 in descending order.
3, -3, q
Let b(g) = -29*g - 87. Let i be b(-3). Let s be (-2*(-3)/(-6))/1. Let t(l) = l - 3. Let j be t(4). Put s, j, i in ascending order.
s, i, j
Let n = -147 - -142. Let g = -0.57 + -6.43. Sort -0.1, g, -3, n in decreasing order.
-0.1, -3, n, g
Let n = -96 - -483/5. Let h = 111 - 99.8. Let c = 8.2 - h. Put 0.2, c, n in increasing order.
c, 0.2, n
Let d = -62 + 61. Sort d, 2, 1, 0 in decreasing order.
2, 1, 0, d
Let q(j) be the second derivative of -3/2*j**3 - 5*j**2 - 1/12*j**4 + 0 - 5*j. Let c be q(-8). Put 0, -5, c in ascending order.
-5, c, 0
Suppose -3*k - 11 = -5*m - 27, k - 3*m - 8 = 0. Put -3, k, -4 in descending order.
k, -3, -4
Suppose -2*o + o + 5*z = -21, 4 = -z. Let d be 70/63 + (-1)/o. Sort 3, -1, d in descending order.
3, d, -1
Let q = -910 - -910.1. Let c = 11.9 - 0.9. Sort 2/9, q, 5, c in descending order.
c, 5, 2/9, q
Suppose -3*l - 105 = -4*t, 4*t + l = 37 + 88. Let w be t/(-7) - 2/(-7). Let v(i) = -i**3 + 16*i**2 - 50*i - 25. Let o be v(5). Sort 8, o, w in increasing order.
w, o, 8
Let t be ((-27)/(-45))/((-18)/(-690)). Let b be 2 - (2/(-1) - -3). Sort t, b, 3 in increasing order.
b, 3, t
Let d = -5.77 - -0.77. Let p = 3 + d. Let y = 1 + 1. Sort p, y, -0.5.
p, -0.5, y
Let v = 0.0192 + 0.1808. Sort -1/4, v, 1/39 in increasing order.
-1/4, 1/39, v
Let v(r) = -r**2 - r + 2. Suppose 0*p = -4*p. Let a be v(p). Let g = 20 - 20. Put 1/2, g, a in descending order.
a, 1/2, g
Let f(y) be the first derivative of -y**