et w = -1303.4 + 1303. Sort v, w, 21.
w, v, 21
Suppose -13*m = -16*m - 3. Let w be ((1 + -2)*(m - -1))/2. Put -3, w, -0.2 in ascending order.
-3, -0.2, w
Let q = 1458 - 1458.1. Sort 1, q, 3, 0.
q, 0, 1, 3
Suppose 11186 = 36*q + 11*q. Put -3, 1, q in decreasing order.
q, 1, -3
Suppose m = 4 - 1. Let o(c) = -4*c + 5. Let f be o(-1). Let v be (-9)/3 + f/2. Sort v, m, -2/7.
-2/7, v, m
Let l = -542 - -4337/8. Put -2/5, l, 47 in decreasing order.
47, l, -2/5
Let r be (1 - 133)*(-2)/4. Let s = r - 269/4. Let u = 12 - 12.3. Put 0.4, s, u in descending order.
0.4, u, s
Let s = 25 + -34. Let u = -123.3 + 123. Sort u, 5, -5, s in descending order.
5, u, -5, s
Let f = -38 - -36. Let j be (f/(-20)*-6)/(2/(-10)). Sort j, 1, -9 in increasing order.
-9, 1, j
Let b = 709 + -703. Sort b, 10, 0 in decreasing order.
10, b, 0
Let b = -39.9 + 40. Suppose -t + 3*c - 6 = -0*t, -3*c = -2*t - 6. Sort b, 1/9, t in increasing order.
t, b, 1/9
Let m(y) = -3*y**2 - 29*y - 22. Let j be m(-9). Let o = -10 - -5. Put -1/5, -9, j, o in ascending order.
-9, o, j, -1/5
Suppose 7*n - 12*n + 145 = -3*v, -3*n = 2*v - 68. Suppose 19*r = 6*r + n. Put r, 0, 8, 4 in descending order.
8, 4, r, 0
Let n be (0 + -2)*(-184)/16. Let r = 26 - n. Suppose 18 - 43 = -2*k - 5*u, -4*k + 29 = r*u. Put -1, k, 2 in ascending order.
-1, 2, k
Let v = 26 - 31. Let w be (-26)/(-8) - v/(-20). Put -2, -1, w, -2/5 in ascending order.
-2, -1, -2/5, w
Let r = -2 + -1. Let a = 2 + r. Let y = 105 + -105.7. Sort a, y, -0.3.
a, y, -0.3
Suppose 0 = -w - m - 2, 13*w - 12*w = m - 4. Suppose -3*n = -7*n + 16. Suppose -3 - 5 = -n*p. Sort w, 3, p in increasing order.
w, p, 3
Suppose 0 = 9*c + 347 - 50. Put -1/2, -5, c, -0.2 in descending order.
-0.2, -1/2, -5, c
Suppose -3*v + 4*v = -3*i + 1, -4*v + 5*i = 81. Let r = v + 8. Sort 0, 2, r in descending order.
2, 0, r
Suppose -94*f + 85*f - 45 = 0. Put 3, -45, f in descending order.
3, f, -45
Let b(p) = -p**3 - 3 - 7*p**3 + 15*p**3 - 6*p**3. Let j be b(0). Suppose -22 = -3*d - 34. Sort 1, d, j in increasing order.
d, j, 1
Let u = -2.73 + 0.23. Let a = 2.7 + u. Sort a, 11, 0.4 in decreasing order.
11, 0.4, a
Suppose 2*z = 3*y - 0*z - 12, -15 = -5*z. Suppose -y*i + 4*i = -6. Suppose 3*t + 3*r - 6 = 0, i*r = -t + 5*r + 11. Sort t, 1, 0 in increasing order.
0, 1, t
Let j = 704 + -699. Sort -5/2, -0.04, j, 11 in decreasing order.
11, j, -0.04, -5/2
Let o = -41.8 - -42. Let r be -11 - (-6)/((-18)/(-4) + -3). Let q = 0 + 0.1. Sort q, r, o in decreasing order.
o, q, r
Let b(f) = f**3 + 13*f**2 + 10*f - 29. Let u be b(-12). Suppose -41*m + 39*m = -40. Sort u, -3, m.
u, -3, m
Let y = -0.5 - -0.65. Let j = y + -0.14. Let a = 5.99 + j. Sort 4, a, 2.
2, 4, a
Let j = 1.92 - 2.22. Sort -3, -1, j, 2.
-3, -1, j, 2
Let r be -2*(3/(-15))/(6/75). Let a(t) = t**3 + 4*t**2 + 4*t + 2. Let s be a(-3). Put r, 8, s in ascending order.
s, r, 8
Let f(w) = 11*w + 38. Let a be f(-6). Let z be (a - -20)*(-2)/(-8). Sort z, 7, 2 in decreasing order.
7, 2, z
Suppose 9*m = -5*b + 14*m - 30, -2*b + 3*m - 15 = 0. Let s be (35/(-21))/((-2)/(-6)). Sort s, 8, b in descending order.
8, b, s
Let k = -142.9 + 117. Let n = k - -26. Sort -1/3, n, 3/4 in descending order.
3/4, n, -1/3
Let i = 0.6 - 10.6. Let q = -69 - -83. Let c = i + q. Sort 2, c, -0.3 in increasing order.
-0.3, 2, c
Suppose 20 = -2*a - 0*s + 4*s, 5*s - 15 = 0. Sort -5, a, -1, -3 in increasing order.
-5, a, -3, -1
Let z = -3469/13 + 267. Sort 5, 1, 2/7, z in descending order.
5, 1, 2/7, z
Suppose 5*h = -v + 18, -2*h - 10 = -7*h - 5*v. Let g = 28 - 28.5. Put h, g, 0.4 in increasing order.
g, 0.4, h
Let k = 2.89 + 0.11. Let o = k + 0. Suppose -5*x = -0*x. Sort o, x, 5.
x, o, 5
Suppose 0 = -5*w + 5*u - 15, -22*w + 5*u - 17 = -18*w. Put -3, w, 29 in decreasing order.
29, w, -3
Let h = 127 + -123. Let a be 5 + (-12)/(h - 1). Let k = -5 + 8. Sort a, k, 7 in descending order.
7, k, a
Let l = -6 - -6.8. Let n = l + 3.2. Suppose 4*u + 4*c = 8, -3*c + 0*c + 12 = 5*u. Sort u, -1, n in decreasing order.
n, u, -1
Let k be 0 + 0 + (-3)/6*-6. Put k, -2, -33 in decreasing order.
k, -2, -33
Suppose 240 = 34*s + 26*s. Suppose 4*o + 3*c + 29 = 0, 6*o + c = o - 28. Put o, -38, s in descending order.
s, o, -38
Let o(c) = c - 8. Let a be o(8). Suppose -h + 3 = 0, a*h + 4 = -2*v + 4*h. Let q be 2*3/72*v. Sort 0, q, -2/17 in decreasing order.
q, 0, -2/17
Let m = 120 + -64. Sort m, -0.1, 1/2.
-0.1, 1/2, m
Let c be 3/(-4)*(-108)/405. Sort c, -0.05, -4, -3.
-4, -3, -0.05, c
Suppose -87*n = -83*n - 5*a + 8, 2*n = -a + 10. Sort n, -5, 13, 2 in descending order.
13, n, 2, -5
Let w = -8 + 10. Let l = 25 - 22. Let k be (16/l)/4 - 2. Put k, w, 3/4 in ascending order.
k, 3/4, w
Let l = 5.2 - 7. Let i = l + -0.2. Sort i, 11, 0.2 in descending order.
11, 0.2, i
Let i(t) = 2*t + 1. Let z be i(-3). Sort z, 3, -141.
-141, z, 3
Let x be 88/10 - (-14)/70. Suppose -4*s + x*s = -5. Sort 14, s, 1.
s, 1, 14
Let q = 42 - 46. Let o be q/54*(6 + -3). Sort o, -3, 4, 5.
-3, o, 4, 5
Suppose -11*x - 6 = -9*x. Put -2/43, x, 2/13 in increasing order.
x, -2/43, 2/13
Suppose -2*m + 0*m = 8. Let i(w) = -w**3 + 8*w**2 + 8*w + 11. Suppose 0 = 2*p - 5*k + 7 - 50, -k - 5 = 0. Let g be i(p). Put m, -1, g in increasing order.
m, -1, g
Let r = -1043 - -1028. Put r, -7, 4 in decreasing order.
4, -7, r
Let i(b) = -18*b + 183. Let w be i(10). Sort 2, w, 12, 4 in descending order.
12, 4, w, 2
Let z be 3*(-4)/(-24)*46. Let u = z + -16. Suppose 10*x = u*x + 21. Sort x, -5, -4 in decreasing order.
x, -4, -5
Let d = 5/6 + -1/3. Sort 0.2, d, 12/11, -3/4.
-3/4, 0.2, d, 12/11
Let a = -21 + 24.2. Let y = -7.2 + a. Sort -3, y, 0.4 in descending order.
0.4, -3, y
Let r = 197 - 201. Put r, 1/4, -0.12, -1/8 in decreasing order.
1/4, -0.12, -1/8, r
Suppose -4*t = 4*d - 3*t - 1, -3*t = -5*d - 20. Put 1/6, 3/4, -6, d in increasing order.
-6, d, 1/6, 3/4
Let u = -0.0644 + 2.0644. Sort -0.5, 0.64, 1, u in decreasing order.
u, 1, 0.64, -0.5
Suppose -2*t + v - 10 = 0, 0 + 23 = -t + 5*v. Let a be 16/32*(-4 - 0). Sort t, -11, a.
-11, t, a
Suppose 7*a - 4 = 3*a + 5*r, -5*a + 26 = -r. Let q = a + -28/5. Let p be (-38)/8 - (-2)/(-8). Sort q, p, 4.
p, q, 4
Let l(f) = f**3 + 6*f**2 - 2*f. Let t be l(-6). Suppose -5*o + t + 18 = 0. Suppose o*g - 2*g + 4 = 0, 0 = -2*s - g - 1. Put 2, s, 4 in descending order.
4, 2, s
Let k = -1.4 + 3.1. Let x = k + -1.54. Let t = -0.84 - x. Put -0.1, 3/7, t in increasing order.
t, -0.1, 3/7
Suppose 0 = 5*k - r - 53, -k + 5 = k + 5*r. Let a be ((-28)/k)/((-4)/10). Suppose -6*n - a = -1. Put 3, n, 2/5 in ascending order.
n, 2/5, 3
Let p(g) = -3*g**3 - 2*g**2 + 7*g + 10. Let b be p(-2). Suppose 10*a = 4*a - b. Sort a, -12, 2 in ascending order.
-12, a, 2
Let x = 283.881 - 284. Let v = x - -0.149. Let a = -0.3 + 0.2. Sort 2, v, a.
a, v, 2
Suppose -20 = 9*w - 5*w. Sort w, 2, 1, -6.
-6, w, 1, 2
Let n = 1/809 + -1623/4045. Sort -4, n, 0, 4.
-4, n, 0, 4
Let q(y) = -12*y**2 + 87*y - 18. Let a be q(7). Let t = -6 - -10. Sort -1, t, a in ascending order.
-1, a, t
Let y = 175/3 + -59. Suppose 2*g - 2*k - 2 - 16 = 0, 1 = g + k. Suppose 0 = 5*l + 2*x + 21 - 10, -3*x = -g*l - 21. Put y, l, 0 in descending order.
0, y, l
Let k = -19/55 - 969/220. Let d = k + 59/12. Sort -9, -2/5, d in decreasing order.
d, -2/5, -9
Let i(p) = 9*p + 146. Let a be i(-12). Put 1, a, 0 in descending order.
a, 1, 0
Let b(t) = -t**2 + 27*t + 33. Let l be b(0). Sort 5, -4, 3, l.
-4, 3, 5, l
Let q be (-6)/(-28)*((-24)/(-23))/4. Let f = q - 1/7. Put 2, f, 4, -2/17 in decreasing order.
4, 2, f, -2/17
Suppose 3*v = 5*f + 21, 20 + 8 = 4*v + 3*f. Put 0, -0.5, v in decreasing order.
v, 0, -0.5
Let o(k) = -k**3 - 6*k**2 + 4. Let r be o(-6). Put r, 3, 0, 9 in descending order.
9, r, 3, 0
Suppose q + 3*r - 7 = 8, -3*q = r - 21. Let n(h) = -h**2 - 5*h + 11. Let o be n(-6). Suppose -q = -o*l + 44. Sort -4, 0, l in increasing order.
-4, 0, l
Let c be ((-204)/272)/((-3)/(-2)). Let x = 0.2 - -0.1. Sort c, 3/2, 5, x in increasing order.
c, x, 3/2, 5
Suppose 17*n + 4*n = 945. Put n, 4, -5 in decreasing order.
n, 4, -5
Let t(o) = 7*o + 5. Let w be (-5 - -5)/(-2 - -3). Let j be t(w). Put j, 1, -1 in descending order.
j, 1, -1
Let b be (1 + -2)*-3 - 1. Suppose -12*k + 10*k = -3*j - 4, 6 = j + 3*k. Suppose -4*a - b - 10 = j. Put -1, 3, a in increasing order.
a, -1, 3