 g. Put -0.2, -0.4, p, 7 in descending order.
7, p, -0.2, -0.4
Suppose 8 = -4*y + 5*t, -5*t = -t. Let g be (4/y)/((-2)/(-17)). Sort g, 0.3, 4 in decreasing order.
4, 0.3, g
Suppose -2*u + 14 = -3*u - 2*m, 2*u = -5*m - 30. Let s be (-4 - (-56)/20)*u/(-4). Sort s, 5, 1, 4 in increasing order.
s, 1, 4, 5
Let m be (90/63)/((-3)/(-210)). Sort -1, 0, m.
-1, 0, m
Let k(y) be the first derivative of -y**4/4 - 2*y**3 + y**2/2 + 4*y - 2. Let v be k(-6). Let t = v + 7. Sort t, -1, -3 in decreasing order.
t, -1, -3
Let k be (-25)/(-3) + (-4 - (-22)/6). Let a be (-18)/(-12)*k/(-9)*-3. Suppose -3*v = 5*g + 5, 3*v - 2*g - 2 = -0. Sort a, 5, v in decreasing order.
5, a, v
Let a be 22/6 + (-10)/15. Let n = -58 - -58. Sort a, n, 1 in decreasing order.
a, 1, n
Suppose 5*v - 15 = 0, 0 = -0*g - g - 2*v + 4. Let m(d) = -d**3 - 2*d**2 + 3*d + 3. Let t be m(g). Suppose 5 = 3*h + 2*h. Put h, 0, t in decreasing order.
h, 0, t
Let g(u) = -3*u**3 + 0*u**3 + 4*u**3 + 6 - 6*u**2 + 3*u**2 - 11*u. Let c be g(5). Sort 3, c, -1, -5 in ascending order.
-5, -1, c, 3
Let x = 218 - 217. Sort x, -2, -13.
-13, -2, x
Let q = 0.78 - 0.48. Let w = -0.3 - q. Let d = -0.3 - -0.4. Put d, w, 3 in descending order.
3, d, w
Let c be -5 - (-4)/2 - 3. Suppose -3*u + 12*u = -36. Sort u, -1, 0, c in descending order.
0, -1, u, c
Let q = -18 + 18. Suppose q = 3*b - 21 - 3. Suppose -2 = 3*n - 4*f - 10, -n - 4*f = b. Sort 1, -7, n in descending order.
1, n, -7
Suppose 3*n - 83 - 116 = 5*z, -2*z = -2*n + 134. Let j be 8/646 + (-8)/n. Put 2/11, j, -2/7 in ascending order.
-2/7, j, 2/11
Let w = -8.4 - -0.4. Let g = -9.1 - -12.1. Let p = w + g. Sort p, -0.1, 0.
p, -0.1, 0
Let a = -158 + 155. Sort -5, 6, a in descending order.
6, a, -5
Let f = 334 + -1333/4. Sort f, -6, -5.
-6, -5, f
Let b = -2339 - -4677/2. Sort 32, -4, b in descending order.
32, b, -4
Suppose t - 1 - 9 = 0. Let w = 5 - t. Let u = 13.5 + -13. Sort w, u, -2 in increasing order.
w, -2, u
Let k = -63/8 + 417/56. Let o = -23.4 + 23.5. Put 1, k, 3, o in descending order.
3, 1, o, k
Let t be (6 - -1) + 32/8. Suppose 6 + 0 = 2*i. Put i, 4, -3, t in ascending order.
-3, i, 4, t
Suppose -3*m + 15 = -0*m - 3*t, 3*m = t + 7. Put -3, m, 1/3 in ascending order.
-3, 1/3, m
Suppose 0*k - 3 = -k. Let a(d) = 2*d**2 - 165*d + 653. Let u be a(4). Sort k, u, 5 in descending order.
u, 5, k
Let b(h) = -h**3 - 4*h**2 - h. Let s be b(-4). Suppose 0*v = -s*v. Let l be -3 + (v - -1) + 2. Put l, 1, -4 in decreasing order.
1, l, -4
Let x(a) = -4*a**2 - 49*a + 32. Let l be x(-13). Let c(m) = -m**3 + 6*m**2 + 6*m + 3. Let g be c(7). Put -3, g, l in decreasing order.
-3, g, l
Let n be (-11)/(-3) - 2/3. Let j(d) = d**3 - 7*d**2 + d - 4. Let i be j(7). Suppose -r = i*r - 16. Put r, 2, n in descending order.
r, n, 2
Let k be 3 + 0 + 1 - (-61 - 0). Let j = k - 60. Sort -16, j, 1, -1 in increasing order.
-16, -1, 1, j
Let t(n) = -n**3 - 10*n**2 - 8*n + 31. Let q be t(-6). Sort -4, 4, q in descending order.
4, -4, q
Suppose q = -1 - 2. Suppose 92*i + 167 = -293. Sort 5, q, i.
i, q, 5
Let t = 12.3 + -12.131. Let k = t + 0.131. Suppose n - 2 = -0. Sort n, 0.03, k in descending order.
n, k, 0.03
Suppose 0 = 2*b + 10, 4*d - 24 = 3*b - 1. Suppose -f - l - 4 = -5, -f = -d*l + 2. Let t(x) = 4*x**2 + 2*x + 2. Let s be t(-1). Sort -1, s, f.
-1, f, s
Let j be ((-155)/25 - -5)/((-3)/(-40)). Let t be ((-3)/12)/((-3)/(-12)). Put 4, j, t in descending order.
4, t, j
Let i(t) = -18*t + 11. Let r be i(-4). Put 4, 2, r, 0 in increasing order.
0, 2, 4, r
Let j(g) = -7*g - 19. Let f be j(-5). Let b = 0.13 + -5.13. Put 0.2, 1/4, b, f in decreasing order.
f, 1/4, 0.2, b
Let b = -0.694 - -0.394. Put 0, b, 1/4 in descending order.
1/4, 0, b
Let n = -32 - -31. Let c = -0.21 - -0.11. Put n, -4, c in decreasing order.
c, n, -4
Let c = 38/43 + 53/86. Sort -3, c, -4, -1/3 in increasing order.
-4, -3, -1/3, c
Let r = 57 + -25. Let i = 32.1 - r. Sort 2/7, i, -0.4, 4/3 in increasing order.
-0.4, i, 2/7, 4/3
Let g = -2053/5432 - -2/679. Suppose 18*x - 22 = -112. Sort -4/5, g, x, 0.1.
x, -4/5, g, 0.1
Let s = -154 - -77. Let t = -74 - s. Put -5, -9, t in increasing order.
-9, -5, t
Let b be ((-38)/(-9) - (-38)/(-171))*1. Sort 5, b, 2, -106.
-106, 2, b, 5
Let s = 166 + -170. Put -2/17, 5, 1.3, s in ascending order.
s, -2/17, 1.3, 5
Suppose -9 = -0*a - 3*a. Let f be -4 - (-4 - (2 + -6)). Put f, a, -1 in increasing order.
f, -1, a
Let c = -0.0558 + -2.9442. Let w = 7 - 7.3. Sort -5/6, w, c.
c, -5/6, w
Let f be (((-504)/(-20))/(-3))/((-2)/10). Let o = -46 + f. Put 1, o, 2, -5 in decreasing order.
2, 1, o, -5
Suppose 4*v + 12 + 44 = 0. Let m be ((-8)/v)/((-4)/(-14)) - 1. Sort 4, 11, m.
m, 4, 11
Let w be (-1)/2 + 15/6. Let a(m) = -m**3 - 3*m**2 + 56*m + 17. Let r be a(-9). Put r, w, -10, -5 in decreasing order.
w, r, -5, -10
Suppose -2*y + w - 6 = 0, 0*w - 4 = -w. Suppose -2*j - l + 10 = 1, 3*l - 25 = -5*j. Let t be (2 - j) + 0 + -2. Put t, 11, y in decreasing order.
11, y, t
Let c be 36/7 - (6/7)/6. Sort 4, c, 1, -4 in decreasing order.
c, 4, 1, -4
Let a(c) = -c**2 - 4*c + 29. Let b be a(-8). Put -13, b, -10 in decreasing order.
b, -10, -13
Suppose 12*i + 62 = t + 9*i, 3*t - i = 178. Sort 0, -3, t in decreasing order.
t, 0, -3
Let a be (-1)/(-5*1/(-15)). Put a, 4, 2 in decreasing order.
4, 2, a
Suppose 0 = -f - 5*x - 19, -5*f - 5 = -2*f + 2*x. Let k = -2 + f. Sort 7, 1, k.
k, 1, 7
Let f = -1014 + 1008. Sort f, -0.4, 1/5, 1/3 in descending order.
1/3, 1/5, -0.4, f
Let i = 2.3 - 2.8. Let b = -2.5 - -2.5. Put b, 5, i in increasing order.
i, b, 5
Let z be 2/(-4) + 1275/(-10). Let x = z - -72. Let t = 673/12 + x. Sort 3/4, t, 3 in decreasing order.
3, 3/4, t
Suppose -4*c + 15 = 3. Let x be ((-272)/(-6))/((-18)/(-27)). Let j = 74 - x. Put -3, c, j in ascending order.
-3, c, j
Let p = 3 - 0. Suppose 3*f + 24 = 195. Let t = -50 + f. Put p, 5, t in ascending order.
p, 5, t
Let p(w) = w**2 + 38*w + 159. Let i be p(-33). Sort 0.3, i, 0.5, -3 in decreasing order.
0.5, 0.3, -3, i
Suppose 0 = -605*h + 606*h + 5. Sort 1, h, -8, 0.
-8, h, 0, 1
Let r(c) = c**3 - 4*c**2 + c + 2. Let u = -4 + 7. Let n be r(u). Suppose 5*t + 2*m - 19 = 0, -5*t - 7*m + 4*m + 16 = 0. Put t, -5, n in ascending order.
-5, n, t
Let b = 29 - 28.89. Let w = -2.21 + -0.68. Let r = b - w. Put -0.2, 1/2, r in ascending order.
-0.2, 1/2, r
Let m be (-254)/(-408) + 0/4. Let x = m + 3/68. Let i = -86/65 - -12/13. Sort i, x, -1/2 in ascending order.
-1/2, i, x
Let b be ((-2)/(-5))/(704/(-120) - -6). Put 8/11, 0.4, -2, b in decreasing order.
b, 8/11, 0.4, -2
Suppose 5*k + 16 = -24. Let v be -4*4/k*4. Let i(s) = -2*s**2 + 16*s - 2. Let b be i(v). Put 0.2, b, -0.3 in ascending order.
b, -0.3, 0.2
Let i(r) = -r + 2 - 3 + 2. Let l be i(5). Sort l, 4, 1.
l, 1, 4
Suppose 0 = 5*m + 5, -6*k + 7*k + m = 0. Sort 3/7, 0, k, -0.229 in descending order.
k, 3/7, 0, -0.229
Let d(t) = 3*t - 61. Let n be d(19). Suppose 6 = -5*g + 16. Sort 3, g, n in ascending order.
n, g, 3
Suppose -3*r = y - 4, 2*y + 4*r = -y + 17. Sort -7, 5, y in descending order.
y, 5, -7
Suppose 2 = 2*t - 0. Suppose 24 = 285*a - 279*a. Put a, -23, t in ascending order.
-23, t, a
Let z = 18448 + -18449. Suppose -3*k + 21 = 3. Suppose p = 2*v - p + k, 2*v - 4*p = -14. Sort v, z, 11.
z, v, 11
Let w(f) = f**3 + 6*f**2 + f + 2. Let i be w(-6). Sort 4, -3, i, 5 in descending order.
5, 4, -3, i
Let t = 185 - 189. Put -1, 2, t, -2 in descending order.
2, -1, -2, t
Suppose 0 = 3*h - 6*h - 12, 0 = -4*t + 2*h - 4. Put -0.2, t, 3, -0.1 in ascending order.
t, -0.2, -0.1, 3
Let o = -2 + 1.9. Let y = o + 4.1. Let u = -24 + 23.6. Put y, u, 3 in ascending order.
u, 3, y
Let v be 62/(-8) - (-6)/8. Let u(a) = -15*a - 106. Let k be u(-7). Put k, 5, -5, v in increasing order.
v, -5, k, 5
Let m = -66 - -62. Let d be m/7 - (-150)/42. Let x be (4/10)/((-22)/10). Put x, 5, d in ascending order.
x, d, 5
Suppose 4*q + 5*x = -0*x + 11, -2*q = -4*x - 12. Suppose 4*m + 7 = 2*m - w, 25 = -5*m - q*w. Put m, 0, 0.1 in descending order.
0.1, 0, m
Suppose -115 = 4*y - 23. Put 3, -3, 5, y in descending order.
5, 3, -3, y
Let p = -3 - 0. Let y(u) = -u**2 + u - 1 - 8*u + 10*u. Let d be y(0). Sort p, d, 3 in descending order.
3, d, p
Suppose -4*c + 10 + 10 = -4*h, 2*h = -c + 5. Let p = -4 + c. Put p, 2, -2 in decreasing order.
2, p, -2
Let