453.7. Sort x, 2, 5 in increasing order.
x, 2, 5
Let y = -1161 - -1161. Put y, 166, 3/7, 0.2 in decreasing order.
166, 3/7, 0.2, y
Let w = -7 - -3. Let q be (240/96)/(22/20 - 39/65). Sort 4, q, -3, w in increasing order.
w, -3, 4, q
Let b = -0.8 - -0.5. Let w = b + 0.1. Let l = 350 - 352. Sort l, w, 1/4 in descending order.
1/4, w, l
Let z be (3/2)/(12/864). Let c = z + -758/7. Sort 0.01, -2/17, c in increasing order.
c, -2/17, 0.01
Let d = 1.6 + 2.4. Let p = -1.2 + 0.6. Let h = -0.8 - p. Sort d, h, -3 in increasing order.
-3, h, d
Let t = -7.19 - -7.69. Sort 65, -6, t in descending order.
65, t, -6
Let v(x) = 8*x + 1. Let n be v(5). Let i = n - 41. Suppose 2 - 18 = 4*f. Put f, -3, i in increasing order.
f, -3, i
Let c(f) = -8*f**2 - f + 29. Let p be c(7). Put -4, 1, p in decreasing order.
1, -4, p
Let z = 5 - 10. Suppose -a - 11 = t - 14, 1 = 3*a - 5*t. Sort 5, a, -0.14, z in decreasing order.
5, a, -0.14, z
Let g = -0.1 + -0.4. Let a be 1/(-3)*-15 + 48/(-10). Put g, -1/3, a in increasing order.
g, -1/3, a
Let r = 1609.058 - 1607. Let t = 0.058 - r. Sort t, 1, -3/8, -5 in ascending order.
-5, t, -3/8, 1
Let d(l) = -l**2 - 25*l - 51. Let m be d(-23). Sort m, 71, -1 in descending order.
71, -1, m
Suppose -3*y + 9*o - 6*o = 0, -4*y - 4*o = -40. Put y, -1, -2 in increasing order.
-2, -1, y
Suppose -3*a - 32 = -38. Suppose a*g - 3*n = g - 6, -85 = 5*g - 4*n. Put 3, g, -2 in increasing order.
g, -2, 3
Let t = 265 + -268. Sort 5, t, -5, 6 in descending order.
6, 5, t, -5
Let w = 651 - 661. Let x = -59.5 + 49. Let b = x - w. Put 0.2, -3, b in descending order.
0.2, b, -3
Let y = 43.4 - 48.4. Put y, -9, 10 in increasing order.
-9, y, 10
Suppose 0 = 2*i + 10 - 2. Let r = -32 - -32.1. Sort -8, -1/5, r, i.
-8, i, -1/5, r
Let s(b) = -15*b + 99. Let l(f) = 8*f - 50. Let g(w) = -11*l(w) - 6*s(w). Let i be g(20). Sort 2, i, 1 in descending order.
2, 1, i
Let k = 24.96 - 25. Let v be (-632)/126 + (-14)/63. Let m = 14/3 + v. Sort k, -4, m.
-4, m, k
Let r = -17 + 18. Suppose -4*l + r = 13. Put -2, l, 0 in descending order.
0, -2, l
Let z = 0.7 - 0.5. Let u = 617/8 - 77. Let l be (6/(-4))/((-17)/((-68)/(-24))). Sort z, u, l in descending order.
l, z, u
Let t = 0.4 - 0.34. Let d = 50.1 + -48. Let u = -0.9 - d. Sort u, -2, t.
u, -2, t
Let v be 5740/(-3504)*-2 + -4. Let q = -8/73 + v. Let o = 50 - 50.4. Sort q, o, 0 in decreasing order.
0, o, q
Let f = -5.4 + 10.4. Let v be -2 - (-5 + -3 + -4). Put -5, v, 0.4, f in ascending order.
-5, 0.4, f, v
Let y be 4*(-3 + (-973)/(-322)). Sort -4, y, 2.
-4, y, 2
Let u = -187 - -186.93. Suppose -3*l + 16 = l. Sort l, -3/2, u in ascending order.
-3/2, u, l
Let l = -21.4 + 21. Sort l, 1/2, -0.21, 2/5 in decreasing order.
1/2, 2/5, -0.21, l
Let c = 4 + -4.4. Let j = -1392.8 - -1392. Sort j, -2, c in ascending order.
-2, j, c
Let t = 26 - -1. Let v be 10*(4 + t/(-6)). Sort 8, v, 3.
v, 3, 8
Let a = -5 + 1. Suppose -2*u + d = 2*u - 11, -2*u + 4*d = -16. Suppose u*x = 2*r, 5*r + 3*x + 3 = 5*x. Sort -0.05, a, r in decreasing order.
-0.05, r, a
Let y be ((-4)/(-7))/(8/28). Suppose c = -0*u + 3*u + y, u - 4 = 5*c. Sort 1, -3, 2, c in descending order.
2, 1, c, -3
Let l = -1215 + 1146. Sort 4, l, -2/11.
l, -2/11, 4
Let f = -274 - -275. Put -1/10, 3, f in ascending order.
-1/10, f, 3
Let f(q) = -q**2 - 19*q - 75. Let w be f(-6). Sort 2, 21, 1, w in ascending order.
1, 2, w, 21
Let h be 2/(-4) - (-3)/(-6). Suppose -11*b + 13 = -20. Sort h, b, -2 in decreasing order.
b, h, -2
Let q = 53 + 8. Let f = q + -63.7. Let t = f - -2.4. Sort 3, 1, t in decreasing order.
3, 1, t
Let g(a) = 2*a**3 - 18*a**2 - 90*a + 858. Let m be g(8). Let v(i) = -i**2 + 2*i + 4. Let z be v(4). Put -1, z, m, -3 in ascending order.
z, -3, -1, m
Let b(h) = 4*h - 14 - 25 - 4. Let j be b(10). Put -0.3, j, -2 in descending order.
-0.3, -2, j
Suppose -2*h + 11 = 1. Let y = -96 - -100. Put y, 6, h in increasing order.
y, h, 6
Suppose 0 = 2*f + 1 - 3. Let o be (-7)/((-7)/4) + 1. Let k(j) = j**3 + 11*j**2 - 3. Let d be k(-11). Put f, d, o in descending order.
o, f, d
Suppose -2*m - 16*n + 11*n = -14, -2*n = -4*m - 20. Put -5/4, -2/27, -1, m in decreasing order.
-2/27, -1, -5/4, m
Let q = -789 + 2342/3. Sort -0.1, q, -3 in decreasing order.
-0.1, -3, q
Let x(o) be the first derivative of o**4/4 - 2*o**3 + o**2/2 - 7*o - 11. Let r be x(6). Sort -2, -4, r in ascending order.
-4, -2, r
Let a be (5 + -3)*(0 + 1). Let w(g) = -4*g**2 - 9. Let n(p) = 2*p**2 + 5. Let q(s) = -7*n(s) - 4*w(s). Let h be q(1). Sort -1, h, a in descending order.
h, a, -1
Suppose -29*x = 107 + 38. Put x, 5, -3/2, -3 in decreasing order.
5, -3/2, -3, x
Let n = -8 + 12. Suppose -3*z + n = -8. Suppose z*y = 2*m - y - 3, -2*y = -3*m + 10. Put 2/3, m, 5 in descending order.
5, m, 2/3
Let x = 0.42 - 0.02. Let q = 6.4 - x. Let t = 322.3 + -322.2. Put -0.1, t, q in decreasing order.
q, t, -0.1
Let o = 1.601 + -0.061. Let x = o + -1.44. Suppose -13 = -3*t + 2. Sort 1, x, t in descending order.
t, 1, x
Let s be 5 - 2 - 11/(66/(-996)). Let m = s - 2365/14. Sort 2, 0.2, m.
m, 0.2, 2
Let m = -1738 - -1772. Put -3, -2, 3, m in decreasing order.
m, 3, -2, -3
Let s be 133/(-21) + 1/3. Let o be -2 - (0/2)/1. Let u = 193 - 198. Sort s, u, o in ascending order.
s, u, o
Let n = 49/5 + -157/15. Sort -0.08, n, 0.2 in increasing order.
n, -0.08, 0.2
Let x be -2 - (-5 + 3) - -15. Let r be x*-2*3/(-18). Put 4, -4, r in decreasing order.
r, 4, -4
Let k be (-2 + 5)/((-3)/(-20)). Suppose 0 = -20*a + 24*a + k. Let r be (8/a)/(2/(-5)). Sort r, -3, -4 in descending order.
r, -3, -4
Let s(x) = -x + 5. Let u be s(3). Let f = 14 - -1. Suppose 3*z - 5*c - 15 + 3 = 0, f = -3*z - 4*c. Put -2, z, u in ascending order.
-2, z, u
Let d(n) = -1. Let j(r) = 4*r - 4. Let i(f) = 5*d(f) - j(f). Let k be i(1). Sort k, 2, 8 in increasing order.
k, 2, 8
Let c = 3 - -31. Let s be (-153)/17 + (-33)/(-3). Sort c, s, 3.
s, 3, c
Let i = -0.104 - -2.104. Let t = 8 + -12. Let w = 13 - 9. Put t, w, i in descending order.
w, i, t
Let x = -0.8 + 0.84. Let a = -2.96 - x. Let v = 1.1 - 0.1. Sort a, -5, v in descending order.
v, a, -5
Let z(g) = 2*g**2 + 17*g + 8. Let m be z(-8). Suppose -6*r + m = 6. Sort 1, 0, r.
r, 0, 1
Suppose -45*p + 86 + 4 = 0. Sort 14, 4, 0, p in ascending order.
0, p, 4, 14
Let x(u) = -5*u**2 - u + 4. Let w be x(0). Put -4, w, -5, -3 in descending order.
w, -3, -4, -5
Let k = 8406 - 8414. Let x(w) = -w - 2. Let t be x(-2). Put t, -2, k in ascending order.
k, -2, t
Suppose -5*k + 32 = -4*v, -k - 4*v + 26 = 10. Suppose -2*c = -2 - k. Suppose -5*o = -15, 4*o - c - 5 = r. Put -2, r, 4 in increasing order.
-2, r, 4
Let h be 0/(3*3/9). Suppose h = -3*q - 0*q + n - 13, 4*q - 2*n = -14. Let z be 1 - (-2)/(q/9). Sort z, 3, 4.
z, 3, 4
Let b be (-7)/21 + 14/6. Suppose 0 = 4*k + 18 - 2. Suppose 0 = -3*o + v + 7, 5*o + 3*v + 5 = 8*v. Put o, b, k in descending order.
o, b, k
Let o = -2351 + 2348. Suppose 0 = -3*l - 1 - 5. Sort o, l, 6 in ascending order.
o, l, 6
Let k be ((-6)/(-10))/(8/(-10))*-120. Let j = k - 85. Sort -2/9, 4/5, j in descending order.
j, 4/5, -2/9
Suppose 3*z - 30 = 5*m - 0*m, 2*z - 4 = -2*m. Suppose -7 = k - 2*a, 13 = -5*k - 0*a - a. Sort k, z, -2 in decreasing order.
z, -2, k
Let o = 10 - -14. Let z = 24 - o. Suppose -2*m - 3 = 5. Sort m, 3, z.
m, z, 3
Let h(z) = -z**2 - 11*z + 5. Let n be h(-11). Sort 21, n, -2, -3.
-3, -2, n, 21
Let g = -1581 + 1577. Let m(h) = 4*h**2 - h - 1. Let j be m(-1). Put j, 3/2, g in increasing order.
g, 3/2, j
Suppose -k - 4 + 17 = -g, 42 = -4*g - k. Let n be (1 + -2)/(g/(-44)). Sort 3, n, -7.
-7, n, 3
Suppose 47 + 17 = 4*d. Let x be 4/d + 117/12. Suppose 6*p + 1 = -29. Sort x, p, 1 in decreasing order.
x, 1, p
Let r be 4 - 4 - -8 - -4. Let x be (6/44)/(9/r). Let u be -1 - (-2 + (-6)/(-10)). Put x, u, 0 in descending order.
u, x, 0
Let q(k) = 36*k - 159. Let f(u) = -7*u + 32. Let l(g) = -11*f(g) - 2*q(g). Let b be l(8). Sort b, -4, 2/7.
-4, 2/7, b
Let u be 1/22*(-2 + 0). Let l = 54/13 - 404/91. Let p = -66 + 129/2. Sort l, p, u in increasing order.
p, l, u
Suppose 0 = -66*l + 5*l - 122. Put -5, l, -1 in descending order.
-1, l, -5
Let w be (4 - 2)/(-1)*(-13)/13. Put -4, 8, 5, w in decreasing order.
8, 5, w, -4
Let c = -8.4411 + 1.4411. Let n be -2*1 + (-12)/(-7). Sort 1/2, c, n.
c, n, 1/2
Let o = 55 + -4