 in decreasing order.
v, -1, -17
Let x be -5 - (60/25 - 3) - -4. Suppose -3 - 5 = 4*b. Let o be (4/(-1) + 0)/b. Sort 0.5, o, x in descending order.
o, 0.5, x
Suppose 0 = -3*w - 7 - 5. Let c = 970 - 964. Sort w, c, -1 in decreasing order.
c, -1, w
Suppose m - 3*x = 5*m - 32, -3*m = 4*x - 31. Let j(q) = -q + 1. Let u be j(5). Sort -2, 3, m, u in decreasing order.
m, 3, -2, u
Let b(h) be the third derivative of -h**4/24 - h**3/2 - 3*h**2. Let m be (21 + -21)/(2/(-2)). Let f be b(m). Sort f, -2, -5 in ascending order.
-5, f, -2
Let z(o) = -o**3 + 9*o**2 + 5*o + 52. Let v be z(10). Sort v, -2, -34 in decreasing order.
v, -2, -34
Let v = -173 + 160. Sort 0.3, -2, v in decreasing order.
0.3, -2, v
Let p = 90.71 - 91. Put 1, -3/7, p in descending order.
1, p, -3/7
Let t be (405/(-18))/(-15)*4/(-3). Sort 629, -1, t.
t, -1, 629
Let q = -435 + 424. Let d(v) be the second derivative of v**5/20 + v**4 + 11*v**3/6 + 3*v**2/2 + v. Let k be d(q). Sort 1, k, -4 in decreasing order.
k, 1, -4
Let k = -33133 - -33131. Let c = -0.1 - -0.1. Sort 2/5, c, k, 5/3.
k, c, 2/5, 5/3
Suppose 0 = -107*d + 128*d + 651. Sort 2, d, -3, 0 in descending order.
2, 0, -3, d
Suppose 0 = -39*q + 4 - 199. Put 0.5, -4, q, -0.059 in descending order.
0.5, -0.059, -4, q
Let s be (-2)/(-6) - 14/(-12). Let u = 2951/57 + -155/3. Sort u, -5, s in descending order.
s, u, -5
Let a(o) = -o**3 - 8*o**2 + 21*o + 6. Let b be a(-10). Sort 4, -1, b in increasing order.
b, -1, 4
Suppose 42 = -7*b + 175. Put -0.2, b, -0.3 in descending order.
b, -0.2, -0.3
Let j be 0 - (3 + 57/(-15)). Let u = 21497209 + -51313836592/2387. Let a = u + 1/217. Put j, a, 2 in ascending order.
a, j, 2
Let n = -16 - -24. Suppose n = -4*c + 6*c. Let v(d) = d + 6. Let t be v(-10). Put c, t, 0 in increasing order.
t, 0, c
Let t = 15 + -15. Suppose z = -x + 6*z - 2, t = 4*x + 3*z - 61. Suppose -10 = 5*i - 5*g, 0*i + x = i + 2*g. Sort i, 0, -5 in decreasing order.
i, 0, -5
Let s(h) = -h**2 - 2*h + 3. Let g be s(-3). Let r be (-4)/(-6) - g/4. Let x = 3.337 + -0.337. Put r, -0.1, x in ascending order.
-0.1, r, x
Suppose 44 = 5*i - 0*g + g, -i + 4 = -g. Let w(k) = -3*k + 29. Let l be w(i). Sort 0, l, -4, 13 in decreasing order.
13, l, 0, -4
Let w be (-3)/((-10)/(-4) - 1). Let f(i) = -i**3 - 5*i**2 - 3*i - 11. Let p be f(-5). Suppose -2*o + p*a = o - 25, 0 = 4*o - 2*a - 20. Sort w, o, 1.
w, 1, o
Let v be (3/6)/(1/48). Suppose -4*s + 3*s + 4*b + v = 0, 5*s = 4*b + 104. Let p = -17 + s. Sort p, -3, -1.
-3, -1, p
Let y = -7.325 + 1.415. Let b = y + -0.09. Let z = 140/11 - 1238/99. Sort b, -2, z.
b, -2, z
Let d = 70 - 77. Let i(c) = -c**3 - 9*c**2 - 13*c + 7. Let u be i(d). Put -5, u, 10, -1 in decreasing order.
10, u, -1, -5
Let v = -0.1 - -0.2. Let t = 76.1 - 76.3. Put t, v, 2/11, -2 in descending order.
2/11, v, t, -2
Let y = 0.107 + -0.046. Let m = y - -14.939. Put m, 0.3, -2 in increasing order.
-2, 0.3, m
Let a be (-28)/8*13/(364/(-24)). Sort a, -24, 2 in decreasing order.
a, 2, -24
Let h(w) = w**3 + w**2 - 8*w + 1. Let b be h(-3). Put b, 0, 3 in descending order.
b, 3, 0
Let s = -4 + 7. Let y be ((-50)/40)/((-14)/56). Sort -11, y, s in descending order.
y, s, -11
Let x = -7849/13065 - -2/2613. Put 1, -0.04, x, -4 in ascending order.
-4, x, -0.04, 1
Let k be 2/9 + 16/(-72). Suppose k*y + 3*y = -12. Let q be (-2)/(30/69) - y. Put -0.3, q, -1 in decreasing order.
-0.3, q, -1
Suppose 4 + 11 = 3*u. Suppose -40 = -q - 4*q. Suppose q = -2*o - 0. Sort o, u, 1.
o, 1, u
Let c = -836 - -839. Put -0.5, 0.4, c in ascending order.
-0.5, 0.4, c
Let v = 1465 - 1469. Put v, 0, -2, 7 in increasing order.
v, -2, 0, 7
Let h = 0.025 - 0.046. Let j = h + -0.379. Suppose 8*p - 3*p = 0. Sort p, 1, j in descending order.
1, p, j
Let w = 317.4 + -357. Let y = w - -40. Put -8, y, 0.3 in decreasing order.
y, 0.3, -8
Let z = -157 + 179.9. Let c = 23 - z. Sort 1, 2/3, 3/7, c in ascending order.
c, 3/7, 2/3, 1
Let i be (-2 - -1) + (-2 - -1). Let n(q) = q**3 + 4*q**2 - 5*q - 4. Let s be n(-5). Let v be (-14)/4 + (-2)/s. Put v, i, -1 in decreasing order.
-1, i, v
Let a = 1.1 + -6.1. Let k = 16 + -15.58. Let o = k - -0.08. Sort o, 0, a in descending order.
o, 0, a
Let y be (-2)/(-6) - 308/(-12). Let q = 24 - y. Put -3, q, 5 in decreasing order.
5, q, -3
Let p(w) = 5*w**2 - w - 1. Let v be p(-1). Let u = -47 + 45. Let d be (u + 3)/(-1*(-3)/9). Put d, v, 0 in decreasing order.
v, d, 0
Let g be 6/9*3/4. Let k = -3.0817 - -0.0817. Sort -3/2, k, g in increasing order.
k, -3/2, g
Suppose 4*j + 3*d + 2*d = -3, j - 6 = d. Sort -1, 6, j in increasing order.
-1, j, 6
Let n(v) = -v**2 - 4*v - 3. Let z be n(-3). Let q = -8.3 - -13.3. Sort 1, q, z in decreasing order.
q, 1, z
Let r be 3464/72 + 3/(-27). Let t be 4*4/(r/(-9)). Put 0, t, 1 in ascending order.
t, 0, 1
Let p = -144 + 147. Let l be ((-9)/(-4) + -2)/1. Sort 0.01, l, p in decreasing order.
p, l, 0.01
Let f = 0.0293 - -0.2707. Let j = -1.8 + 2. Sort f, 0.5, 2/9, j in descending order.
0.5, f, 2/9, j
Let q(t) = t + 2. Let p be q(3). Suppose 5 = -2*k - 17. Let u = k + 7. Sort -2, u, p in decreasing order.
p, -2, u
Suppose 5*k + 1 = -2*c + 4, -25 = 5*k - 5*c. Let p be 13/78 + -1 + 1. Put -4, k, p in ascending order.
-4, k, p
Let h = -96.3 - -96. Sort 54, h, -2.
-2, h, 54
Let p = 1 + 2. Suppose 12317*t = 12343*t - 208. Sort p, t, 5, 0 in decreasing order.
t, 5, p, 0
Let s = 386 - 384. Sort s, -5, 8.
-5, s, 8
Let s = -36 - -37. Put -5, -0.09, 4, s in descending order.
4, s, -0.09, -5
Let k be ((-9)/(-18) + 3/(-6))/(-2). Put k, -32, 4 in ascending order.
-32, k, 4
Let w = -15 - -10. Let p(t) = t - 18. Let h be p(25). Suppose 14 = -h*c - 7. Sort 3, c, w in decreasing order.
3, c, w
Let v be (-2)/(-14) - 108/(-28). Let x be 1 + ((-18)/(-3))/3. Suppose -d + 2*g + x = -2*g, 0 = -2*d - g - 12. Sort d, 3, v in decreasing order.
v, 3, d
Let y be (3/2)/(30/(-50)*10). Put y, 141, 3 in ascending order.
y, 3, 141
Let m(k) = k - 20. Suppose -5*t + 9*t - 60 = 0. Let d be m(t). Sort d, 2, -7.
-7, d, 2
Let t be (-12)/(-20)*4/18. Sort t, 4, -4, -4/3.
-4, -4/3, t, 4
Let f = -0.47 - -0.17. Suppose 5*n + 2*z = -3*z - 75, -51 = 2*n - 5*z. Let p be (-26)/n - (-16)/(-16). Sort 3, p, f.
f, p, 3
Suppose 133*d - 121*d - 60 = 0. Put 90, d, -5, 0 in increasing order.
-5, 0, d, 90
Let a = -1681 + 1686. Put -5, a, -49 in increasing order.
-49, -5, a
Let r = 24 - 218/9. Let j = -0.16 - -0.12. Put 0.4, j, r in increasing order.
r, j, 0.4
Suppose -9*n + 65 = -124. Let r be n/(-126) - 58/24*2. Put 5, -3, -4, r in descending order.
5, -3, -4, r
Let o = -0.19126 + -0.10874. Let p = 21.6 - 20. Let x = -2 + p. Sort 1, x, o in descending order.
1, o, x
Suppose -2*z - 9 = 1. Suppose 5*l - 3 = 4*l. Suppose 3*t - 19 = -25. Put l, t, z in increasing order.
z, t, l
Let w = 62.9 + -60. Let d = 3 - w. Let i = -34 - -30. Put i, d, 0.6 in descending order.
0.6, d, i
Let w = -692.02 + 583. Let r = -109 - w. Sort -5, 4, r, 2 in descending order.
4, 2, r, -5
Let n = -144 - -146. Suppose -p - 2 = 3*z, z + 2*z + 4 = p. Put 4, n, z in ascending order.
z, n, 4
Suppose -2*q = 2*q + 116. Let l = q - -29. Suppose l = 4*j - 11*j - 63. Put j, -1, -5 in decreasing order.
-1, -5, j
Suppose 0 = h + 15 + 3. Let f = h + 14. Let q(i) = i + 8. Let w be q(f). Put 5, -5, w in descending order.
5, w, -5
Let j = 1 + -7. Let x be (-17)/j + (-2)/(-12). Let n be 9 - (5 - 4) - 4. Put -5, n, x in descending order.
n, x, -5
Let q = -3 - -6. Let g be ((-8)/(-10))/(14/70). Suppose 0 = -4*x - 3*m - 2 + 11, 12 = g*m. Sort q, -5, x in decreasing order.
q, x, -5
Let m = 61 - 65. Let u = -32 + 32.13. Put 0.2, u, m in descending order.
0.2, u, m
Suppose 3*z = -k - 4*k - 23, 5*z - 11 = 4*k. Let j be 0/(4/(-1) + 3). Put -3, z, 2, j in ascending order.
-3, z, j, 2
Let c = -0.40247 - -0.00247. Let j be (-10)/(-3)*(-6)/(-5). Let y be ((-6)/26)/((-6)/j). Sort 2, c, y in increasing order.
c, y, 2
Suppose 0 = -2*f + 12. Suppose f*t - 2*t = -4. Let q be -3 - -4 - (0 + t). Put -5, 3, q in ascending order.
-5, q, 3
Let a be 1/(-10)*2 + (-240)/(-75). Put 4, a, -5 in descending order.
4, a, -5
Let c be (-70)/(-60) + (-2)/12. Put -2, 6, c in increasing order.
-2, c, 6
Let t be (4/244)/(3/114*4). Let f = t + 2/183. Put 1/3, f, 1, -0.2 in decreasing order.
1, 1/3, f, -0.2
Let v = 0.168 + -0.013. Let o = v - 0.355. 