.
0.4, h, -2, -5
Let y be (-18)/14 + (24/14)/6. Sort 3, 0, -5, y in decreasing order.
3, 0, y, -5
Let z = 1.028 - -0.072. Let i = -18 - -19.1. Let v = i - z. Put v, -11, -2 in decreasing order.
v, -2, -11
Suppose 3*j + 21 = 5*q + 2*j, 0 = 4*j - 16. Let k = -1.2 - -1.8. Let n = k + -0.1. Sort 4, q, n in ascending order.
n, 4, q
Let t = 13.83 + 2.47. Let q = t - 16. Sort 0.5, 2, -3/5, q in increasing order.
-3/5, q, 0.5, 2
Let x(q) = -q**2 + 10*q + 125. Let s be x(17). Sort 85, s, 3 in increasing order.
3, s, 85
Let u(s) = s**3 + 4*s**2 - 4*s + 7. Let h be u(-5). Let d(q) = -2 - q**3 + 13 + 5*q**2 + 2*q - 3*q + 4*q**h. Let t be d(9). Sort t, -1, -4 in descending order.
t, -1, -4
Let v = 2 - 3. Let b be 119/34*(1 - (-6)/(-14)). Suppose -b*j - 2*d = 6, -d = -3*j + 2*d + 9. Put j, 3, v in decreasing order.
3, j, v
Let t = -56 - -60. Suppose -4*o + 2*o - 10 = -4*d, -d = -2*o - t. Sort o, -3, -2.
-3, -2, o
Let t(j) = -j**3 - 9*j**2 + 8*j - 21. Let r(v) = -v**3 + 5*v**2 - v - 5. Let d be r(5). Let u be t(d). Sort 14, -2, u in decreasing order.
14, u, -2
Suppose -4 = 3*k + 11. Suppose -3*p + 4 = -4*p. Suppose -1 = -4*q - 2*r + 1, 0 = 2*q + 4*r + 8. Sort q, p, k.
k, p, q
Let k(s) = 32*s + 170. Let j be k(-4). Sort 3, 4, 2, j in descending order.
j, 4, 3, 2
Suppose 0 = -4*d - 3*j - 15, j = 3*d + d - 5. Suppose d = -u - 10 + 14. Sort 2, 8, u.
2, u, 8
Let p(v) = v**3 + 19*v**2 + 18*v - 1. Let c be p(-18). Let n be 21/(-15) - 1*c. Put n, 2/5, 2 in increasing order.
n, 2/5, 2
Let z = 8.38 + 12.62. Sort 13, z, 2, -4 in decreasing order.
z, 13, 2, -4
Suppose -2*d + 4*d = -18. Put d, 12, -1 in decreasing order.
12, -1, d
Let i be (-116)/174*((-1)/2 + 2). Suppose b + 2 = 4. Let a(j) = -j**3 - 3*j**2 + 3*j - 1. Let k be a(-3). Put i, b, k in decreasing order.
b, i, k
Suppose 20*t + 438 - 118 = 0. Sort 0.2, 2, t, 0.06 in ascending order.
t, 0.06, 0.2, 2
Let s = -169 + 174. Sort -1, -7, s in increasing order.
-7, -1, s
Let d = 1.1186 - 0.1186. Put -3, d, 0.41, 0.3 in decreasing order.
d, 0.41, 0.3, -3
Let t be 1*-1*(3 + -1). Let u be t/9 + 25/(-9). Let k be (-20)/(-8) + 1/(-2). Sort k, -4, u in decreasing order.
k, u, -4
Let c = -195.5 - -196. Let j = 1 + 1. Let i = 0 - j. Put c, i, 1/3 in decreasing order.
c, 1/3, i
Suppose 0 = -b + 9. Suppose -2*h = 25 + b. Let y = 79/9 - 26/3. Put y, -4/5, h in descending order.
y, -4/5, h
Let y = -35 + 63. Let s = 7 + -31. Let k = y + s. Sort k, 3, -0.4.
-0.4, 3, k
Let s(m) = 3 - 6*m + m**2 + 0*m**2 + m**3 - 2*m**2 + 6*m**2. Let l be s(-6). Suppose -5*v + 2*v - 4*t = 9, -l*t = 9. Sort v, 4, -5.
-5, v, 4
Let t = -0.25 + -32.75. Let r = t - -38. Put -5, 6, r in increasing order.
-5, r, 6
Let q = -15.0977 + 0.0977. Let c be (8/6)/(8/156). Let m be 0 + 2 + c/(-14). Put q, 0.5, m in descending order.
0.5, m, q
Let k(a) = -4*a + 5. Let c(t) = 5*t - 6. Let j(r) = -5*c(r) - 6*k(r). Let p be j(0). Sort -4, 9, p, 4.
-4, p, 4, 9
Let q = -82 - -89. Let i = -7 + q. Let c be (-3)/(-2)*8/(-6). Put -3, i, c in decreasing order.
i, c, -3
Suppose -15 = -4*r + 5*v, -3*r + 5*v = -14 + 4. Let y(j) = -3*j**3 + j + 1. Let u be y(-1). Sort 4, 1, u, r in descending order.
r, 4, u, 1
Let h be ((-1)/(-2))/((-11)/110) + 1. Put 0, h, 35 in increasing order.
h, 0, 35
Let a be (121/(-21) - -7) + (-4)/6. Sort -52, a, 4.
-52, a, 4
Suppose 3*s = 5*y + 874, -s + 4*y - 1432 = -6*s. Suppose s = 6*j + 78. Let w = -179/5 + j. Put 0.05, 2/5, w in decreasing order.
2/5, 0.05, w
Let c = 61 + -61.03. Sort c, 14, 2/15 in ascending order.
c, 2/15, 14
Let u(w) be the second derivative of -1/6*w**3 + 6*w + 0*w**4 + 1/2*w**2 - 1/20*w**5 + 0. Let y be u(1). Sort y, -4, 3 in decreasing order.
3, y, -4
Suppose 1 = 3*x + 4. Let d = 2 - -3. Suppose -d*g + 12 = -g, 4*k - 14 = -2*g. Put x, -4, k in decreasing order.
k, x, -4
Suppose -5*h = -y - 0 - 4, 0 = -4*h + y + 4. Let b(o) = -o**2 + 18*o + 91. Let z be b(-4). Sort h, z, -3.
-3, h, z
Let u = -182/9 + 176/9. Sort 0.3, 2, u, -11.
-11, u, 0.3, 2
Suppose 3*l - 191 = 5*g, 4*g - 9 + 196 = 3*l. Sort 0.1, -3, l, -0.4 in descending order.
l, 0.1, -0.4, -3
Suppose 5 - 4 = y, y = 5*l + 161. Sort l, 2, -2, 0.
l, -2, 0, 2
Let o(k) be the first derivative of -k**2 + 23*k + 2. Let j be ((-66)/(-4))/((-96)/(-64)). Let y be o(j). Sort -2, -3, y in decreasing order.
y, -2, -3
Let q be (4/1)/(2/(-17)). Let t = -35 - q. Put 3, t, 10 in ascending order.
t, 3, 10
Let m(r) = -2*r**2 + 24*r + 11. Let a be m(11). Let f = a - 27. Let g = 0.3 - 0.4. Put -0.4, g, f in descending order.
f, g, -0.4
Suppose 3*r - 4 + 19 = 0. Let a be 9/(-3) - (-7 + 1). Sort a, -4, r in increasing order.
r, -4, a
Let d = 0.1 + -4.1. Let k = 27144766300/2983 - 9099821. Let x = -3/157 - k. Put x, d, 0 in descending order.
0, x, d
Let x = -14.07 + 14. Suppose -3*y + 1 = -2*g, -g + 0*y = y - 7. Suppose o = -5*k + 16 - g, 2*k = 2*o. Put 1, o, x in decreasing order.
o, 1, x
Let i be 1*2/(-7) + (-360)/(-84). Put i, 1, -23 in ascending order.
-23, 1, i
Let m = 3 - 9. Let o be ((-3)/m)/((-21)/(-56)). Sort 4, -2/5, o in increasing order.
-2/5, o, 4
Suppose -3*f - 4*t - 11 = -8*f, -t = 5*f - 16. Put f, 4, -5, 2 in ascending order.
-5, 2, f, 4
Suppose 26*o - 21*o + 5 = 5*s, 5*s + 3*o + 3 = 0. Sort -15, s, -4 in descending order.
s, -4, -15
Let s = 17 - 30. Let r = s - -16. Sort 0, r, -2.
-2, 0, r
Let u = -1.42 + 1.62. Let z = 5 + -5.06. Sort z, -5, -2/7, u in increasing order.
-5, -2/7, z, u
Suppose 8*f - 25*f - 17 = 0. Sort -5, 5/6, -0.2, f in descending order.
5/6, -0.2, f, -5
Let x = 404.5 - 405. Let v(u) = u**3 + 5*u**2 + 1. Let m be v(-5). Let j be 5/2*m/10. Put j, 3, x in increasing order.
x, j, 3
Let a be (15/(-5))/((-2)/4). Suppose -2*w = -0*w - 5*h + a, 2*w = 4*h - 6. Let u be -10*2/(2 - 6). Sort -1, u, w in ascending order.
w, -1, u
Let p(f) = -2*f**3 + 3*f**2 + f - 2. Let b be p(2). Let g = 8 + -8. Let i = -1 - g. Put b, 4, i in decreasing order.
4, i, b
Let k be 4/(-14)*91/13. Suppose 0 = -3*t - 12, 2*l - 5*t = 5*l + 23. Sort k, -3, 1, l in decreasing order.
1, l, k, -3
Let t be 957/(-11)*13/15. Let k = t - -75. Sort 4, k, -1 in ascending order.
-1, k, 4
Suppose -3*d = -7*d. Let x(a) = -a + 1. Let p be x(d). Let r be ((-4)/(-5) - p)/2. Sort 0, -2, r.
-2, r, 0
Suppose 2*i - 5*w - 9 - 6 = 0, 12 = -4*w. Sort -22, -4, i, 2 in descending order.
2, i, -4, -22
Let a = 84.9691 - 0.0691. Let j = -85 + a. Sort 3, j, 1/4, 0.1 in descending order.
3, 1/4, 0.1, j
Suppose -3*y + 3*r = -15, -4*r = y + 3*y - 4. Let i be 0/(-2) + (0/(-4))/y. Let w = -0.7 - 0.3. Sort -5/4, w, i in ascending order.
-5/4, w, i
Let i(l) = -4*l + 3. Let k be i(2). Suppose -11*d - 5*b + 5 = -6*d, -d + 1 = 5*b. Put 2, d, k in descending order.
2, d, k
Let a(f) = -f**2 + 41*f - 81. Let j be a(2). Let d be 2 + -3 + -1 + 7. Put j, -5, -2, d in decreasing order.
d, -2, j, -5
Let c be 474/75*10/16. Let a = c - 21/5. Put 5, 0, a in descending order.
5, 0, a
Suppose -13*c + 108 = -17*c. Put c, -2, -4 in decreasing order.
-2, -4, c
Let u = -2600 - -2620. Sort u, 5, -4, 4 in descending order.
u, 5, 4, -4
Let d = 0.02 - 49.02. Let h = 44 + d. Sort -9, 3, -4, h.
-9, h, -4, 3
Suppose 56 = -13*r - 9. Sort -12, -2, -3, r in descending order.
-2, -3, r, -12
Suppose -3*r - 40 = -3*s + s, 0 = -2*r - 3*s - 18. Let g = 80 - 92. Let x = g - r. Sort x, 2, 3 in ascending order.
x, 2, 3
Let p(x) = -3*x**3 - 7*x**2 - 2*x - 9. Let k be p(-3). Sort 2, -1, 0, k in decreasing order.
k, 2, 0, -1
Let s be 6/14 + (-4371)/987. Sort 2, -2, s, -6 in decreasing order.
2, -2, s, -6
Let h(b) = -2*b - 3. Suppose 5*v = 8*v + 9. Let y be h(v). Put -5, -6, y in descending order.
y, -5, -6
Let f = 0.208 - -0.192. Sort 5, 4, 1, f in descending order.
5, 4, 1, f
Suppose 0 = -2*v - 3*v + 85. Suppose -x + 2 - v = -5*a, -5*a = 4*x - 15. Let w = 6 - 2. Sort w, -1/6, a in ascending order.
-1/6, a, w
Let d(b) = -b**2 - 41*b - 348. Let t be d(-12). Sort -5, -3, -13, t in ascending order.
-13, -5, -3, t
Suppose 9*r + 21 = -24. Put r, -0.1, -0.7 in ascending order.
r, -0.7, -0.1
Suppose 0 = 102*h - 109*h - 35. Suppose -3*a - 26 = -8. Put a, -2, h, -3 in decreasing order.
-2, -3, h, a
Let y = -411 + 409. Put y, 0.4, 0.3, -0.03 in increasing order.
y, -0.03, 0.3, 0.4
Let x = -50 - -53. Let a = 5 + -9. Sort -3, x, a in decreasing order.
x, -3, a
Let r(o) = 2*o**3 + 