 = 3*x + z. Sort -2, x, q in decreasing order.
q, -2, x
Let g be 2 - (-10)/55*-5. Sort 3, 4, 0.2, g in descending order.
4, 3, g, 0.2
Let o = 70 - 65. Let p = 51 + -42. Sort -4, p, o in decreasing order.
p, o, -4
Let r = 14 - 15.4. Let v = -5.4 - r. Let j = 7.02 - 7. Sort j, v, -2/5.
v, -2/5, j
Let c(r) = 4*r - 4. Let s be c(1). Suppose -2*n - 2*n = -16, s = 5*d + 4*n - 36. Sort 1, 3, d.
1, 3, d
Let n be (-8)/(-4) + 25 + -28. Sort 0, n, -126 in ascending order.
-126, n, 0
Let f = -3.9082 + -0.0918. Sort -0.5, f, -9/7.
f, -9/7, -0.5
Suppose 0 = -l - 3*l - 124. Let s = -32 - l. Put s, -3, 2 in decreasing order.
2, s, -3
Suppose 2 = -l + 1. Let c = -85 - -95. Sort c, 1, l.
l, 1, c
Let q = -16 + 14. Let b be (-208)/(-30)*(q + -56). Let n = -402 - b. Put -0.4, 2, n in descending order.
2, n, -0.4
Suppose -12*f + 42 = 2*f. Let t be (3 - 5)*1/(-1). Suppose -t*h = h. Sort -2, h, f in descending order.
f, h, -2
Let o be (-171)/(-2090) + (-2)/11. Let f = 35 - 24. Let l = f + -7. Put l, -1/3, o in decreasing order.
l, o, -1/3
Let v(b) = -b**3 + 7*b**2 - 9*b - 4. Let j be v(5). Sort j, -7, 0, -4 in decreasing order.
j, 0, -4, -7
Let k = -282 + 848/3. Put k, 36, 2/7, -0.4 in ascending order.
-0.4, 2/7, k, 36
Let b = 1 - 1. Let d = 6934 - 6929. Put b, d, 3, -3 in ascending order.
-3, b, 3, d
Suppose 0 = -y + 2*x + 13 - 7, -2*x = 2*y + 6. Let d = 1 + 5. Sort y, -4, -5, d in descending order.
d, y, -4, -5
Suppose -3*b + 2 = -4*d, 2*b - 28 = 16*d - 20*d. Let j = 11 - 8. Put j, 2, -2, d in increasing order.
-2, 2, j, d
Let s = 3 - 0. Let n = -5 + s. Let b = 59.8 - 54.8. Put b, -3, n in ascending order.
-3, n, b
Let a = 0.73 + -1.13. Sort 3, -2/3, a, -9 in decreasing order.
3, a, -2/3, -9
Let q(d) = -d**3 + 6*d**2 + d - 3. Let m(h) = -h**3 - 4*h**2 + 6. Let y be m(-4). Let o be q(y). Sort o, -3, -1 in ascending order.
-3, -1, o
Suppose 15*v = 10*v + 20. Let x be (-4)/(-10)*1*(3 - v). Sort 0.5, 3/11, x in ascending order.
x, 3/11, 0.5
Let w = -269 + 265. Let v = 30 + -25. Put 6, v, 3, w in increasing order.
w, 3, v, 6
Suppose -110 + 15 = 19*l. Let g = 0.3 + -0.5. Let a = 0.2 + g. Put l, 6/11, a in decreasing order.
6/11, a, l
Let g = -3.8 + 4.14. Let r = -30 - -30.16. Let x = g + r. Put 0.4, x, -2/3 in descending order.
x, 0.4, -2/3
Let x = -2.6 - -14.6. Let y = -12 + x. Let i(l) = l**3 - 2*l. Let t be i(-2). Sort y, t, -0.3 in increasing order.
t, -0.3, y
Let f(v) = -v**2 - v - 8. Let b be f(0). Let n = b - -11. Suppose 2*i + 3*z + 1 + 3 = 0, -4*z = -3*i - 6. Put n, i, 0 in descending order.
n, 0, i
Let l = 1657 - 1655. Put 1, -2, 10, l in descending order.
10, l, 1, -2
Suppose -2*z + 10 = t, 0*t = -5*t + 3*z - 2. Suppose 0 = 5*y + 18 + 7, -4*l = -4*y - 24. Sort -5, l, t in decreasing order.
t, l, -5
Let q = -51.29 + 51. Let s = q + -0.21. Let y = s + 0.5. Sort -0.1, 0.05, y in decreasing order.
0.05, y, -0.1
Let l(f) = 7*f**3 + 2*f**2 - 1. Let z be l(1). Suppose -4*y = -3*y. Suppose -2*i + 0*a - 2*a = 0, 0 = a - 1. Put i, y, z in increasing order.
i, y, z
Let j = -0.05 - -0.31. Let o = j + -0.15. Let y = 2.89 + o. Sort y, 1, 0.7.
0.7, 1, y
Let q = 64 - 73. Let i be 0 + q/(-3) + -3. Put -3, -16, -5, i in descending order.
i, -3, -5, -16
Let l = -4246 - -4242. Let h = 0.2 - 0.3. Put h, l, 10, -2 in increasing order.
l, -2, h, 10
Let n = 2.2 + -2. Let p be (-65)/(-12)*(4 + -5). Let u = 17/3 + p. Sort u, 4, n.
n, u, 4
Let v = 0.4 + -0.7. Let i = 52.8 + 7.2. Let j = -56 + i. Put 2/5, v, j in increasing order.
v, 2/5, j
Let p = 0.07 - -18.93. Let s(m) = 14*m**3 + 141*m**2 + 11*m + 15. Let q be s(-10). Put p, 1/3, q in descending order.
p, q, 1/3
Let d be (114/380)/(1/10). Put 2, d, 0, -6 in decreasing order.
d, 2, 0, -6
Let k be (4/8)/(3/(-24)). Put 54, -2, 5, k in ascending order.
k, -2, 5, 54
Suppose 0 = -2*y - 2*b - 1 - 5, 2*y = -3*b - 5. Suppose 2*c + 16 = 4*u, 2*u - 11 = 3*c - 3. Put -3, c, y in decreasing order.
c, -3, y
Let g(t) = -2*t**2 + 14*t - 12. Let a be (0 - 2 - 7)*-1. Let f be g(a). Let q be 5/25 + f/(-10). Sort 4, -3, q.
-3, 4, q
Suppose 5 = 2*i - 4*z + 25, 5*i - 4*z = -20. Suppose -3*l - 5*u - 22 = -2*l, -13 = l + 2*u. Sort l, -3, i, 3.
l, -3, i, 3
Let q = -145 + 158. Let k = -1882/575 - -84/25. Sort -5, k, q in decreasing order.
q, k, -5
Let h be 21/98*(-7)/2. Let j be (-1 - 0) + -5*(-6)/25. Sort 0.4, h, j in descending order.
0.4, j, h
Let n = 1228 + -1227.8. Put 1/3, n, -0.1, 0.023 in increasing order.
-0.1, 0.023, n, 1/3
Suppose 0*g + 4*g = 0. Suppose j = -5*x - 7, -4*x + g*j - 8 = 2*j. Let v = -311 + 311. Sort x, v, -4 in descending order.
v, x, -4
Let l be ((-90)/(-27))/(-10)*(0 + 0). Sort 3, 19, l, -4 in decreasing order.
19, 3, l, -4
Let b = 422/3 + -2128/15. Let q = -0.2 - -2.2. Sort q, 7, b in descending order.
7, q, b
Suppose 40 = 993*z - 973*z. Suppose 5*w = -3*v - 10, 5*v + 2*w = -39 + 16. Sort z, v, 0 in ascending order.
v, 0, z
Let d = -16.24 + -0.76. Sort d, 2, 2/5 in ascending order.
d, 2/5, 2
Let z = 0.097 - 0.297. Let a(o) = -o**2 - 5*o + 2. Let s be a(-6). Let d = -172 + 166. Sort d, s, z.
d, s, z
Let s = -116 + -52. Put 5, s, 3 in decreasing order.
5, 3, s
Let o(i) = i**3 + 11*i**2 - 31*i - 65. Let f be o(-13). Put f, -1, -26, 3 in increasing order.
-26, -1, f, 3
Suppose 0 = -2*a + 10, a + 26 = 3*x + 2*a. Suppose -3*f = -x*f - 20. Suppose -2*k + 10 = 0, 0 = t + k - 3 - 0. Put t, f, 5 in descending order.
5, t, f
Let s(x) = x**2 + 31*x + 71. Let l be s(-26). Sort l, 1, -4 in increasing order.
l, -4, 1
Let g be (15/35)/(6 - (-102)/(-18)). Put -1, g, -5 in increasing order.
-5, -1, g
Suppose 1 = 2*y + 5. Sort 5, -4, y in increasing order.
-4, y, 5
Let f = -12.3 - -12. Let q = 15 - 24. Let i = q - -10. Put 2/9, f, i in decreasing order.
i, 2/9, f
Suppose 0 = -3*r - 2*r + 20. Suppose 9*a = r*a. Suppose -j + 3*j - 10 = a. Sort -3, 0, j.
-3, 0, j
Suppose -3*j + 9 = 0, -1 = b + 5*j - 24. Suppose -100 + 60 + 64 = -8*c. Put 4, b, c in descending order.
b, 4, c
Let i = -33.7 - -30. Let f = i + 4. Put f, -1, 6 in increasing order.
-1, f, 6
Let i = -2 - -19. Let d be i - 15 - -3*1. Put -2, 3, d in increasing order.
-2, 3, d
Let x = -1025/11 + 93. Let y be (30/(-6))/(15/(-36)). Let k be (y/(-120))/(2/8). Sort x, k, -0.5.
-0.5, k, x
Suppose -5*k - 9 = 3*x - 4*k, 5*k = 0. Let f(s) be the third derivative of -s**4/24 + 5*s**3/6 - 13*s**2. Let l be f(0). Sort l, x, -4 in decreasing order.
l, x, -4
Suppose -3*s + 4*i = 9, 9 = -s + 4*i + 14. Let v be 1 + 2*(-1)/2. Put s, v, 3, -5 in descending order.
3, v, -5, s
Suppose -8*v + 2*o + 22 = -4*v, 3*o = 5*v - 29. Let t(u) = -8*u + 27. Let b be t(v). Put 3, b, 2, -4 in descending order.
3, 2, -4, b
Let m = 0.9 - -0.1. Let l = -0.62 - -22.32. Let o = -22 + l. Sort o, 0, m.
o, 0, m
Let m = -84/11 - -1352/33. Let x be (-2638)/84 + 9/(-6). Let i = m + x. Sort 0.4, i, 5 in descending order.
5, i, 0.4
Let n = -4 - -38. Let s = -35 + n. Sort -2, 3, s in ascending order.
-2, s, 3
Let c = 99 - 103. Put c, -1/3, -0.14 in decreasing order.
-0.14, -1/3, c
Suppose p + 7 = 2*t, 0*t = 2*t - 5*p - 19. Suppose 3*q + 5*i - 6*i - 1 = 0, -t*i = q - 5. Let u be q/(-2)*(-1 + -1). Put 2, u, -3 in increasing order.
-3, u, 2
Let q be -19 + 18 - (26/5)/(-2). Put -4, -4/5, q in increasing order.
-4, -4/5, q
Let p(w) = -2*w**2 - 2*w + 1. Let v be p(1). Let q be -6*(-9)/70 - 2/10. Let o = -13 - -11.8. Put q, v, o in ascending order.
v, o, q
Let f = 348 - 345. Sort 0.3, 530, f.
0.3, f, 530
Let g be (-3)/(3 - 18/4). Let z be 3/2*g/(-3). Suppose 3*u = v + 1, 2*u + 9 = 3*u + 4*v. Put u, z, 0 in decreasing order.
u, 0, z
Let f = 4 - 1. Let k = -60 + 52. Sort f, -2, k in descending order.
f, -2, k
Let x = -3.89919 + -0.10081. Let h = 36 - 35.77. Put h, x, -3 in ascending order.
x, -3, h
Let a be (-26 + 25)*4/2. Put -2/11, a, 8, -0.4 in descending order.
8, -2/11, -0.4, a
Let b = 7625/21 - 363. Sort -2/9, -2, 4, b in ascending order.
-2, -2/9, b, 4
Let r be (-22)/(-110) - 399/(-5). Sort 2, -1, r in decreasing order.
r, 2, -1
Let z be 0 - (1 - (-202)/(-120)). Let i = z + -3/5. Put 4, i, -3/4, 5 in ascending order.
-3/4, i, 4, 5
Let f = -13 - 1. Let d(u) = u**2 + 15*u + 17. Let o be d(f). Put 4, -4, -3, o in increasing order.
-4, -3, o, 4
Let y be ((-16)/5)/(-2)*37/(-74). Put y, 0, 0.42, -3 in ascending order.
-3, y, 0, 0.42
Suppose 14*