466.13. Let o = 0.13 - p. Sort 4, 0.3, o in ascending order.
0.3, 4, o
Let d = 0.5 - 0.5. Let q = d + 0.4. Let m = q + 0.6. Put 2, m, -0.4 in decreasing order.
2, m, -0.4
Let p = 7 - 11. Let m = -4 + 1. Put 3, m, p in decreasing order.
3, m, p
Let g be 2 + (-5 + 1)/4. Sort 40, 3, -1, g in descending order.
40, 3, g, -1
Suppose a = 4*z + 9, -5*a + 36 = 2*z + 13. Sort z, 2, 5, 41 in decreasing order.
41, 5, 2, z
Let f be (-4 + 3)/(3/(-6)). Put f, -2, -3 in decreasing order.
f, -2, -3
Let a be 12/20 + (-2)/(-5). Suppose 4*h = 0, -5*h + 1 = f - a. Put 4, -3, f in descending order.
4, f, -3
Let c = 2.1 + -2.6. Sort 1, 3, c in ascending order.
c, 1, 3
Let l = 0 + -1. Let a = 0.049 + 0.251. Sort -1/4, l, a.
l, -1/4, a
Suppose -3*p + 3 = -4*b - b, -4*b + p - 1 = 0. Let o be 4*1 - (1 + b). Let s = -4 - 0. Sort 2, o, s in descending order.
o, 2, s
Let l = 0.124 + -0.024. Put -9, -0.5, l, 0.5 in decreasing order.
0.5, l, -0.5, -9
Let b = 5 + 5. Suppose 3*w + 4 = w, 2*f = w + b. Suppose -i + 7 = 3*z, i + 2*z = f*z + 2. Put -5, i, 3 in ascending order.
-5, 3, i
Let d be 1*4 - (-247)/(-65). Put -1, d, 0, -3 in descending order.
d, 0, -1, -3
Suppose -4*o - 28 = -4. Let i be (-3)/o - (2 - 1). Put 0.5, i, 0.2 in ascending order.
i, 0.2, 0.5
Let r be (-1)/(2 + 14/(-6)). Suppose -2*v - 1 - r = 0. Sort 5, -5, v.
-5, v, 5
Let y = -13 + 9. Suppose -4 = -2*s + 2. Sort y, 4, s.
y, s, 4
Let h be -7 + 8 - 10/14. Sort 0.1, -1, h, -0.4.
-1, -0.4, 0.1, h
Suppose -2 = k + 3*j, -4*j = -0*j + 8. Suppose -k*q = -46 + 14. Suppose -r - 3*o - 1 = 0, -3*r + 2*o + q = -0*o. Sort r, -4, -2 in ascending order.
-4, -2, r
Suppose 0 = -0*d - 3*d - 3. Sort d, -4, 5 in increasing order.
-4, d, 5
Let j = 40 + -22. Let z = -5 + j. Let v = 10 - z. Sort v, 2, 0 in ascending order.
v, 0, 2
Suppose 0 = 2*o - 2 - 2. Let q be -1 + 1 + o - -2. Let v = -5 - -10. Sort q, -5, v in decreasing order.
v, q, -5
Let v(c) = 10 - 3 - 5*c + 3*c. Let l(q) = 3*q - 6. Let p(n) = 3*l(n) + 4*v(n). Let h be p(-5). Sort 1, -4, h.
-4, 1, h
Let c be 0/(-2) + (-18)/99. Sort c, -0.3, 5.
-0.3, c, 5
Let q be -4 + (-2 - -6) + 3. Put 5/3, q, 5 in descending order.
5, q, 5/3
Let x = 5 - 10. Suppose 3*g + 14 = s, -s + 6*s + 4*g = 13. Suppose s + 0 = k. Put x, k, -3 in decreasing order.
k, -3, x
Let w be 3 - 1/(4 - 3). Let g(r) = -r - 10. Let c be g(-14). Sort -1, c, w in decreasing order.
c, w, -1
Let f = 95 - 95. Sort -2, 5, f, 28 in descending order.
28, 5, f, -2
Suppose p - 6 = -2. Let f be (-6)/p*(-2)/(-24). Let d be 4 + -3 + 2/(-6). Put 3/7, d, f in increasing order.
f, 3/7, d
Let o = 50.39 + -50. Let g = o + -0.19. Sort -1/8, -1/3, g in increasing order.
-1/3, -1/8, g
Let a = 12 - 7. Let n = -2 + a. Let o = 0.04 + -4.04. Put -2/5, o, n in ascending order.
o, -2/5, n
Suppose -5*q - 3 = 3*k, 4*k = -5*q + 2*q - 4. Let v be (-1)/3 - (-2)/(-3). Put -4, q, v in descending order.
q, v, -4
Let l be 8/(-14) - ((-153)/(-21))/3. Sort l, -4, -1, 2 in increasing order.
-4, l, -1, 2
Let d be 2/(-7) + (-153)/(-21). Suppose -3*f = -6, -4*k = -f - 11 - d. Put 2, k, 0 in decreasing order.
k, 2, 0
Let f = 19 - 19.3. Let m be (-11)/(-30) + 2/(-12). Sort -4, m, f in descending order.
m, f, -4
Let k(r) = -r**2 + 3*r + 19. Let d be k(6). Let g be ((-2)/(-3))/(2/3). Let y = 1 + g. Sort 5, d, y in ascending order.
d, y, 5
Let h = -16.32 - -16. Let u = -0.22 - h. Sort 3, 0.6, u in descending order.
3, 0.6, u
Let b = 2.5 - 4. Let g = -8 - -6. Let f = g - b. Put -2/11, 0.5, f in increasing order.
f, -2/11, 0.5
Suppose 0 = 3*l - 2*l - 12. Let b = -8 + l. Suppose -4*a - s - 14 = 0, 0 = 2*a - b*a + s - 4. Sort 4, 3, a.
a, 3, 4
Suppose -2*h - 4 = -4*h. Let s = -2 - h. Sort 2, -2, s in decreasing order.
2, -2, s
Let g = -6 + 10. Let i be -2*(-1 - (-6)/g). Sort i, 4, 1.
i, 1, 4
Suppose -c - 4 = -2*a, 4*c = -2*a + 6*c + 2. Let l be a/9 + (-16)/3. Let d = 4 - 4. Put 3, d, l in descending order.
3, d, l
Let m(l) = l**2 + 13. Let u = -7 - -7. Let j be m(u). Let b be 4/(-6) + j/(-3). Sort 0, 1, b in increasing order.
b, 0, 1
Let x = -0.2 - -8.2. Sort -1, 3, x in descending order.
x, 3, -1
Suppose 2*p - 1 = 5*u, 4*u + 2*p = -p - 10. Sort 1, u, 5, -3 in ascending order.
-3, u, 1, 5
Let a = -12 + 15. Suppose a = -0*t + 3*t. Put t, -2, 2 in decreasing order.
2, t, -2
Suppose d + 23 = -5*c - 4, 4*d + 23 = -3*c. Suppose -4*r = r - 5. Let p = 0 - 0.2. Sort p, c, r.
c, p, r
Let l be 22/18 + (-4)/18. Suppose 3*n - 4 = -13. Put l, n, 2 in increasing order.
n, l, 2
Let c = 0.5 - 0.5. Suppose -4*r + 5 = 3*d + 2*d, -r - 15 = -2*d. Suppose 23 = -3*j + d*a, 0*a + 2*a - 3 = -5*j. Put 2/9, c, j in increasing order.
j, c, 2/9
Let f = 6 - 9. Suppose -2 = k - 2*k. Sort k, f, -4 in descending order.
k, f, -4
Let f = 374/5 - 75. Sort 4, f, 3/5.
f, 3/5, 4
Let z = 153.07 + -153. Put -3, 3, 2, z in increasing order.
-3, z, 2, 3
Let b = -0.2 + 3.2. Let w = 1 - 0.7. Let r = 0.8 - 0.3. Sort b, r, w in descending order.
b, r, w
Let b be 3 + 2*2/(-2). Let r(c) = c**2 + 5*c - 7. Let d be r(-7). Suppose -d - 9 = 4*n. Put -5, n, b in increasing order.
-5, n, b
Let j = 124 - 121. Suppose -4 = 2*a - 4*a. Sort -3, j, a in descending order.
j, a, -3
Let b be (-268)/16 + (-1)/4. Let r = b - -12. Suppose 0*f - 4*f - 16 = 0. Sort 2, r, f in increasing order.
r, f, 2
Let a = 138 + -137.9. Let b = 0.1 + 0.1. Let l = b - 0.7. Sort l, a, 2 in decreasing order.
2, a, l
Let r = 869/4 + -216. Sort -4, r, 1, 3 in ascending order.
-4, 1, r, 3
Suppose 15*g - 5 = 10. Sort -2, 5, -4, g.
-4, -2, g, 5
Let b = -7 - -12. Let h = b - 10. Let m = -0.08 + -0.42. Sort m, h, 0.4.
h, m, 0.4
Let y be (3 + -1)*5/(-2). Let v = -61 - -243/4. Put 3, v, y in increasing order.
y, v, 3
Let r = 6 + -4. Let q be (-5)/(1/2*r). Let b = -0.14 + 0.54. Put b, q, -1 in decreasing order.
b, -1, q
Suppose 2*d - q = -7 + 3, -4*d - 12 = -3*q. Sort 2.1, d, -5 in increasing order.
-5, d, 2.1
Let g = 1.73 + -1.8. Put -5, g, -0.4 in decreasing order.
g, -0.4, -5
Suppose -w - 3*w = -4. Suppose -j = 5*v - 15 - 10, -v + 19 = 3*j. Sort j, w, -3 in ascending order.
-3, w, j
Let b = 27 + -36. Put 2, -1, b, -4 in increasing order.
b, -4, -1, 2
Let q = -7 - -13. Let j = q + -5.5. Let p be 20/(-171) + 2/9. Sort j, p, 4 in increasing order.
p, j, 4
Suppose -7 = 5*v - f, 4*v + 6*f = f + 6. Let y = -14 - -5. Sort v, y, -5.
y, -5, v
Suppose 2*l = 2*v, 5*v - 31 = -11. Suppose r = 3*r + l. Let n be (-1)/((-2)/(8 + -2)). Put n, 1, r in ascending order.
r, 1, n
Let l be (0/2)/(4 + -1*2). Put l, 1, -3, 6 in decreasing order.
6, 1, l, -3
Suppose 3*y - 5*y = -16. Let g be (-30)/y - (-4)/(-16). Let k(a) = 6*a**3 - a. Let v be k(-1). Put -3, g, v in descending order.
-3, g, v
Let v = 1.7 - -9.3. Let b = -15 + v. Put -4/5, b, -2/11 in decreasing order.
-2/11, -4/5, b
Suppose -4*t = 4*b + 8, 6*t = 4*b + 7*t + 14. Put b, 9, 1 in descending order.
9, 1, b
Let q(b) = b**3 + 5*b**2 - 6*b + 8. Let y be q(-6). Suppose -3*a - 1 = -5*s, -3*a + 2 = -2*s - 3. Let l be y/(-12)*a/2. Put l, 5, -5 in increasing order.
-5, l, 5
Let y = -147 - -149. Sort -3, y, 3, 17 in descending order.
17, 3, y, -3
Suppose -i = s - 4, -2*s = 5*i - 7*i. Let p be (4/(-3))/((-1)/(-3)). Put 4, p, i in decreasing order.
4, i, p
Let j = 29 + -26. Sort j, 5, 2 in ascending order.
2, j, 5
Let c = 97 + -94. Put -4, -3, c in ascending order.
-4, -3, c
Let w(n) = -n**2 + n + 2. Let l be w(0). Put 4, l, 1 in decreasing order.
4, l, 1
Let u = -1.4 + 0.1. Let d = -0.7 + u. Sort -5, d, -1.
-5, d, -1
Let b be (1 + 0)*(-3)/1. Let m = b + -1. Suppose 0 = -8*t + 5*t - 9. Sort t, m, -1 in decreasing order.
-1, t, m
Let z = 4 - 8. Let i(y) = -5*y**3 - 38*y**2 + 15*y - 4. Let j be i(-8). Sort j, 0, z in descending order.
j, 0, z
Let m = 13 - 3. Let g = m - 11. Let j be (-8)/(-3) - (-4)/(-6). Put -2, g, j in decreasing order.
j, g, -2
Let q = 3 - 5. Let f = -18 + 21. Suppose f*k = -k. Sort k, 2, q in ascending order.
q, k, 2
Let f be (-1)/2 - 10/(-4). Suppose o = -0*m + 2*m + 1, 5*o - 5 = -3*m. Sort 0, f, o in descending order.
f, o, 0
Let t = 178 - 536/3. Let s = 57/4 + -187/12. Sort 1/4, s, t in descending order.
1/4, t, s
Let w(v) = v**2 + 3*v + 4. Let m be w(-4). Let u = m + -3. Let y = -19 + 23. Put u, -0.1, y in ascending order.
-0.1, y, u
Suppose -5*i = 3*x + 32, -3*x + 4*i - 8*i - 28 = 0. Suppose 2*k = 3