1, z, -3 in increasing order.
-60, z, -3, 1
Let l be 4 - 22 - (-4 + 3). Let r = -12 - l. Sort r, 4, 3 in decreasing order.
r, 4, 3
Let i = -194.8 + 193.8. Sort i, 4/5, -1/23, 3/8 in decreasing order.
4/5, 3/8, -1/23, i
Let v = 3 - 1. Let c(b) = 7*b - 4. Let f be c(6). Let a = f + -33. Put 4, a, v in descending order.
a, 4, v
Suppose 3*t - 25 = -4*h + 1, -3*h = -t. Suppose 2*c - 13 = -c - p, -2*c = -3*p - 27. Let z be (-15)/t + c/(-12). Put z, -4, 5 in descending order.
5, z, -4
Let f be 65/45 - (-5)/(-3). Let h = 0.06 - -0.94. Put 0.1, h, 1/3, f in ascending order.
f, 0.1, 1/3, h
Let x = 1.42 - -8.78. Let q = x - 6.2. Put q, -0.1, 3, -0.4 in decreasing order.
q, 3, -0.1, -0.4
Let t = 29372 + -206386/7. Let b = t - -112. Put b, -2, -1/9, 0 in descending order.
b, 0, -1/9, -2
Let s = 0 + -6. Let t = 1244 + -1244.1. Sort s, t, 1/4, -0.3 in decreasing order.
1/4, t, -0.3, s
Let c = -200 + 200. Put c, 1, -2, 0.13 in ascending order.
-2, c, 0.13, 1
Let z = 0.42 - 0.33. Let a = -2.09 + z. Let s = -4 - -5/2. Put a, s, -1/4 in decreasing order.
-1/4, s, a
Let k = -2 - -1. Sort k, -2, -4, 0 in ascending order.
-4, -2, k, 0
Let g = 94.25 + -94.16. Let s = -2 + 3. Put g, s, -4 in ascending order.
-4, g, s
Let j = -11.57 - -0.57. Let l = j - -16. Let a = 4.07 + -0.07. Sort l, a, -2 in descending order.
l, a, -2
Let i be (-14)/15 + 7/21. Let c be 1/2*0/(-3). Let j be (2 - c)/(3/1). Sort j, 3, i in decreasing order.
3, j, i
Let u = 3 - 6. Suppose -m + 0*j - 35 = -3*j, j + 111 = -5*m. Let d = m + 25. Sort d, 4, u.
u, d, 4
Let v be 1 + 1 + 3/(-2). Let u = -44.3 - 9.7. Let t = 53.5 + u. Sort t, v, 2 in increasing order.
t, v, 2
Let a be (3 + -9)/(-24) + (-2)/(-4). Put 4, a, -1, 8 in ascending order.
-1, a, 4, 8
Let a be (2 - 102/12)*2. Put -12, 5, -3, a in decreasing order.
5, -3, -12, a
Let y(s) be the third derivative of s**6/60 + 4*s**5/15 - s**4/24 - 4*s**3/3 + 21*s**2. Let x be y(-8). Put -1, x, 1 in ascending order.
-1, x, 1
Let t = 117.5 - 88. Let b = 30 - t. Let x be 6/9*6/4. Put x, -0.1, b in descending order.
x, b, -0.1
Let v = 242/5 - 479/10. Sort 0.1, 0, -1, v in descending order.
v, 0.1, 0, -1
Let o(a) be the second derivative of -a**4/12 + a**3/6 - a**2 + 15*a. Let b be o(0). Sort b, -7, 4.
-7, b, 4
Let b = 558 - 557.8. Put 2/131, b, -3, 0.3 in increasing order.
-3, 2/131, b, 0.3
Suppose -102*a + 100*a - 8 = 0. Let v = 4.19 + -4. Let d = -0.01 - v. Put a, d, -3 in increasing order.
a, -3, d
Let y = 220 - 219. Let p be (2 - 1 - 13) + 0. Let o be (-22)/(-6) - p/(-18). Sort -5, o, y.
-5, y, o
Let i be (-12)/14 + 528/(-168). Put 4, 28, i in decreasing order.
28, 4, i
Let z = -1.19 - -1.284. Let u = z - -0.106. Let d = 29/240 + 1/80. Sort u, 0.1, d.
0.1, d, u
Let u be (10/15 - 2/(-6))*2. Sort 11, -2, u, 1 in decreasing order.
11, u, 1, -2
Let p = 137 + -87. Put -2, 4, p in descending order.
p, 4, -2
Suppose -2*c - 58*b - 7 = -59*b, 7 = 4*c + 5*b. Sort 3, -5, 77, c in ascending order.
-5, c, 3, 77
Let i = -221.131 + 221. Let c = -0.169 + i. Sort -2/7, c, 0.05, -2 in decreasing order.
0.05, -2/7, c, -2
Let z = -458.72 + 459. Sort -4, z, 0.
-4, 0, z
Let f be 4*(-1)/(-8)*0. Suppose 4*k = 5*z + 31, -z + 3 = 2*k - 2. Suppose -4 = 2*h, -3*h + 5 = -l + 2. Put f, l, k in descending order.
k, f, l
Let s = 406 - 408. Put s, 4, -0.4, 1/5 in increasing order.
s, -0.4, 1/5, 4
Let d = -16/19 + 290/209. Sort d, -0.2, -4, 5 in decreasing order.
5, d, -0.2, -4
Suppose -5*g - 25 = 3*u - 3, -2*u - 3*g - 15 = 0. Let c = u + 9. Let k = 3.01 - 0.01. Sort k, c, -2/7.
-2/7, c, k
Suppose -5*j + 6*z - 2*z + 11 = 0, -2*z = -2*j + 4. Suppose -v - 2*a = v - 16, -j*v + 6 = -3*a. Put 1/7, -1, v, -2/3 in decreasing order.
v, 1/7, -2/3, -1
Let j = 74 + -72. Let x be (-74)/72 + (-60)/27 + j. Put 0.4, -3, x in descending order.
0.4, x, -3
Let i(q) = q**3 + 9*q**2 - 10*q - 7. Let n be i(-10). Let v be ((-1)/7)/(n/21). Let b = v + 1/14. Sort 0.4, b, -5 in increasing order.
-5, 0.4, b
Let s = -6 + 6.4. Let c = 2.19 - 2.4. Let o = -0.09 + c. Sort s, -3, o.
-3, o, s
Let o = 18 - 13. Let m = 11/6 - 39/22. Let v = m + 1/33. Sort o, v, -8 in decreasing order.
o, v, -8
Suppose 0 = -6*c + 30. Suppose 3*z + 10 = -3*o + 8*z, 0 = -4*o + 5*z - 15. Put o, -4, c in increasing order.
o, -4, c
Suppose -5*o - 7 = 2*o. Let u(d) = -d**3 + 2*d + 1. Let c be u(-1). Suppose -3*f + 3 = -c. Put o, f, 4 in ascending order.
o, f, 4
Let t be 144/(-40) - 2/5. Let a(g) = 2*g + 9. Let r be a(t). Let k = r + 2. Put -3, k, -4 in descending order.
k, -3, -4
Let j be (-2)/(-4) + 14/4. Let p = 4.14 + -2.14. Sort j, 2/15, p, 0.3 in descending order.
j, p, 0.3, 2/15
Let a(n) = -n**2 + 5*n + 10. Let o be a(7). Let c = 475 - 464. Sort 0, o, c, 3 in ascending order.
o, 0, 3, c
Let b = 16 + 1. Let c = 14 - b. Let u be (-2)/8*((0 - 0) + 2). Sort u, c, -0.2 in ascending order.
c, u, -0.2
Let z = -72 - -126. Let d = -2 - -1.6. Put -0.3, z, d in decreasing order.
z, -0.3, d
Let w = -8 - -16. Suppose -3*l - 4 = w. Suppose 8 + 7 = -5*q. Put -5, q, l in descending order.
q, l, -5
Suppose -8*q = 4 - 28. Suppose 0 = 2*c - 2*u + 6, c = -4*u - u - 9. Sort c, 6, q in descending order.
6, q, c
Let n = -9/7 + 13/21. Let a = -0.04 + 0.44. Sort n, a, -3.
-3, n, a
Let j(d) = -d**3 - 10*d**2 - 6*d + 22. Let z be j(-9). Let v be -2 + (-4)/10*z. Sort -5, -1, v, -4 in increasing order.
-5, -4, -1, v
Let t = 5 + -4.92. Let m = 6.71 + -6.61. Sort m, t, -2/9 in decreasing order.
m, t, -2/9
Suppose -526 = 3*r - 5*r + x, -775 = -3*r + 5*x. Sort r, -2, 2.
-2, 2, r
Let q(n) = -n**2 + 2. Let l be q(2). Let s = 4.01 - 5.01. Sort 0, -0.3, l, s in ascending order.
l, s, -0.3, 0
Let g(s) = 4*s**3 + 2*s - 2. Let l be g(1). Suppose -l*w - w = 15. Let j(n) = -n**2 + 4. Let t be j(w). Sort -3, t, 2/13 in ascending order.
t, -3, 2/13
Let c be 1/(-2) - 4/(-8). Let x(t) = 6*t + 83. Let a be x(-11). Suppose -h - 4*k + a = c, 5*h - 2*k + 1 = -2. Sort -1, h, -1/11 in decreasing order.
h, -1/11, -1
Let f = -494 + 495. Put 0.3, f, -2 in descending order.
f, 0.3, -2
Let o(s) = 6*s**3 + 4*s**2 + 6*s - 49. Let m be o(4). Put -1, 3, m, 1 in decreasing order.
m, 3, 1, -1
Let y = -973/13 + 75. Let k(u) = -29*u**3 - u + 1. Let i be k(1). Let l = i + 59/2. Sort -0.2, y, l.
-0.2, y, l
Let r = 13 - 15. Suppose -v - 4*v = -v. Sort r, -4, v.
-4, r, v
Suppose -5*y = -3*y + 8. Let w be (1/y)/(1/(-4)). Suppose f - 4*f - 15 = 0. Put f, -3, w in decreasing order.
w, -3, f
Let j(o) = o**3 + o**2 - o - 3. Let p be j(-1). Let g(y) = y**2 + 12*y - 10. Let i be g(-13). Put i, p, -4 in descending order.
i, p, -4
Let j = -1 - -6. Suppose 10*t + 843 = 863. Sort 4, t, j in descending order.
j, 4, t
Let b = -292 - -274. Sort 1, b, 4, 3.
b, 1, 3, 4
Let w = -57.463 + -6.957. Let x = -65 - w. Let b = x - -0.08. Put 7, b, -2 in ascending order.
-2, b, 7
Let k(r) = -r**3 + 5*r**2 - 3*r. Let t be k(4). Suppose 0 = t*x - 6*x. Put x, 3, 0.3, -9 in descending order.
3, 0.3, x, -9
Let k be (78/(-24))/((-330)/32). Let v = k + -2/15. Let y = 6 - 6.2. Put 1, v, y in increasing order.
y, v, 1
Suppose -u = -5*o - 14, -3*u - 15 = -0*u + 4*o. Let l = u + 0. Sort 1, 9, l in increasing order.
l, 1, 9
Let z = -11 + 11.1. Let v be -1 - ((0 - -1) + 3). Put z, -4/3, v in descending order.
z, -4/3, v
Let d = -21 - -15. Let y = -2 - d. Put y, -0.1, -1 in descending order.
y, -0.1, -1
Let p = 19 + -19. Suppose 8 = -2*g - 2*g. Let t be g*((-39)/21 + 2). Sort t, p, 1/7 in increasing order.
t, p, 1/7
Let p(z) = -13*z - 28. Let r be p(-3). Suppose -i - 11 = -u - u, 5*i + r = -u. Sort u, -2, 20 in decreasing order.
20, u, -2
Let t be (-14)/(-21)*-9 - -6. Put 4, -4, t, 5 in descending order.
5, 4, t, -4
Suppose 0 = -12*r + 6*r + 1710. Suppose 0*y - 87 = -y + 5*g, 4*y = -g + r. Let j = y + -431/6. Put -3, j, 0.1 in increasing order.
-3, 0.1, j
Let z = -31 + 16. Let r be 3/z - (-104)/20. Suppose 4*o = -2*j + j - 8, 0 = -r*j + 3*o + 29. Sort 5, -3, j in descending order.
5, j, -3
Let o = 5466 + -5468. Let q be (1 - (0 - 0))*-3. Sort o, q, -1, -0.7 in ascending order.
q, o, -1, -0.7
Suppose -73*f + 77*f = 0. Put f, -3, -60, -0.3 in descending order.
f, -0.3, -3, -60
Let u = -6.8 + 6.86. Sort u, 0.03, -1, 1/3 in ascending order.
-1, 0.03, u, 1/3
Let v be (1/(-2) - -2)/(3/(-6)). Let d = -5 - v. Sort 1, 0, -4, d.
-4, d, 0, 1
Let t(k)