w be (4/30*6)/((-176)/40). Put w, -0.2, -7, 1/2 in increasing order.
-7, -0.2, w, 1/2
Suppose 195*x = 201*x - 12. Put x, 22, 4, 3 in decreasing order.
22, 4, 3, x
Suppose -4*g - 3*w = 23, -6*g + 3*w - 7 = -4*g. Put g, -3, 3, -11 in increasing order.
-11, g, -3, 3
Let k be (1 + -3)*(0 + 2). Let x(m) = m**3 - 6*m**2 - 161*m + 27. Let i be x(16). Sort -1, k, i in increasing order.
k, -1, i
Let p be (-127)/5*7/((-126)/30). Let f = 43 - p. Sort 0.5, f, 3.
0.5, f, 3
Let d(r) = r**3 + r + 4. Suppose -l + 4*l + l = 0. Let n be d(l). Let w(s) = -s**3 - 2*s**2 + 3*s - 4. Let b be w(-3). Sort n, 1, b in increasing order.
b, 1, n
Suppose -8*g + 9*g = 2. Put -2, -5, g in increasing order.
-5, -2, g
Let c = 17 + -14. Suppose -6*l = c - 9. Sort l, -2, 4 in decreasing order.
4, l, -2
Let v = 1 - 0. Let u = -412 - -415. Put 2, v, u, -5 in ascending order.
-5, v, 2, u
Suppose 0 = -3*s + 4*z + 11, 3*z - 19 = -5*s - 49. Put 0.1, -13, 14, s in decreasing order.
14, 0.1, s, -13
Suppose -4*a + 2*a = -5*z + 34, 5*z = 20. Suppose 0*q - q - 13 = 2*o, 0 = -o + 4*q + 7. Let l = o - a. Put 5, l, -3 in ascending order.
-3, l, 5
Let w(a) = -a**3 - 6*a**2 - 6*a - 3. Let v be w(-5). Sort v, 0.6, 1 in decreasing order.
v, 1, 0.6
Suppose 2*w - 106 = 16*f - 14*f, -f - 277 = -5*w. Sort 5, 4, 3, w.
3, 4, 5, w
Suppose -278 - 219 = -71*x. Put -3, 11, x in increasing order.
-3, x, 11
Let m(f) = -f**3 + 12*f**2 - f + 10. Let t be m(12). Let b be 4/(t - 32/(-12)). Suppose b = -0*x + 2*x. Sort x, -3/2, -3/7 in increasing order.
-3/2, -3/7, x
Let s = -7.763 + -0.237. Sort 4, -1, -2/19, s in descending order.
4, -2/19, -1, s
Let d(h) = 4*h - 1. Suppose 11 = 5*t - 2*z - 0*z, 2*t + 2*z + 4 = 0. Let g be d(t). Suppose u = -g*s + 4*s - 6, -s + 12 = -3*u. Sort -2, -4, s.
-4, -2, s
Suppose 0 = -66*b + 67*b - 3. Sort 1, b, 8 in increasing order.
1, b, 8
Suppose -4*d + 5943 = -k, 5*d - 5*k - 7829 + 419 = 0. Let y be (-3)/(-3)*d/(-7). Let n = y + 212. Put n, -1/12, 4/5 in descending order.
4/5, -1/12, n
Let h be (-116)/30 + 7 + (-1391)/195. Sort h, -3, 0, -1 in decreasing order.
0, -1, -3, h
Let p(j) = -j**3 - 4*j**2 + 1. Let f be p(-4). Let z be 3/(-12) - (-3)/(-4). Let y = -16 + 16. Sort y, f, z in ascending order.
z, y, f
Suppose -y - 28 = 3*y - 2*p, -p = 3*y + 11. Suppose u = -3*u - 16. Sort y, 7, u in descending order.
7, u, y
Let p(f) = f**2 + f + 2. Let c be p(-2). Let i = 8 - c. Suppose 4*j - 5*j - i = 0. Sort j, -5, -1 in descending order.
-1, j, -5
Let f = 1139 + -1133. Let z(r) = -r**2 + 7*r - 7. Let i be z(6). Put f, i, -5 in increasing order.
-5, i, f
Suppose -f = 3*b + 23, -f - 3*f = 2*b + 42. Let l = 9 + f. Let m = 20 + -15. Sort l, m, -3 in decreasing order.
m, l, -3
Let s = -1250 - -1282. Sort 0.5, 1, 5, s.
0.5, 1, 5, s
Suppose -4*y = 4*f + y - 17, 2*y - 4 = -3*f. Sort -24, -3, 1, f in ascending order.
-24, -3, f, 1
Let j(b) = b**3 + 22*b**2 + 22*b + 26. Let m be j(-21). Sort m, 44, -2/11, 0.1 in decreasing order.
44, m, 0.1, -2/11
Let n(h) = h**2 - h + 1. Let p be n(0). Let f = -6698 + 6697. Sort f, p, -2.
-2, f, p
Let z be -5 - 282/(-42) - (-12)/42. Suppose 6*q - 9 = 3*q. Put q, -19, z in ascending order.
-19, z, q
Let g(i) = i**3 + 2*i**2 + 4. Let s be g(-3). Let l(f) = 2*f**2 + f + 1. Let k be l(2). Suppose 6*v - 19 = k. Put s, 3, v in decreasing order.
v, 3, s
Let y = 52 + -52.58. Let p = y + 0.78. Sort -4, p, 0 in descending order.
p, 0, -4
Let j = -736.036 - -736. Put 0.2, -0.2, j, 5 in decreasing order.
5, 0.2, j, -0.2
Let k be ((-90)/180)/(14/(-12)). Sort 0.3, -0.5, 3/2, k.
-0.5, 0.3, k, 3/2
Suppose -4*c - 3 - 9 = 0. Let w be (-10)/2 + 1 - -7. Suppose -5*x - 11 = -2*x - 4*l, l - w = x. Put c, 0.2, x in decreasing order.
0.2, x, c
Suppose -5*k - 4*j + 6*j = 8, -4*j - 10 = 3*k. Suppose 0 = 5*o + 29 + 16. Put k, o, 0, -5 in ascending order.
o, -5, k, 0
Let p be (1/(-3))/(3 + (-310)/105). Put -2, -1, 3, p in increasing order.
p, -2, -1, 3
Let a = -0.199 - 0.101. Put 0.3, a, 0.7 in ascending order.
a, 0.3, 0.7
Let f be (-8)/10*(-1)/(-2). Let t = -45636 - -45634. Let v = -18 - -13. Sort t, f, v in decreasing order.
f, t, v
Let u = -7 - -13. Let v = 23 + -23. Sort -3, u, v in ascending order.
-3, v, u
Let f(q) = -203*q - 1826. Let u be f(-9). Let h = 3 - 7. Put -2, u, h in increasing order.
h, -2, u
Suppose -2*j - 1 = j + 2*q, -4*j = 5*q - 8. Let p(o) = o**3 + 6*o**2 - 7*o - 2. Let z be p(-7). Let h = 4 + z. Sort j, 3, h.
j, h, 3
Let h = -208 - -214. Let p(y) = y**2 - 2*y - 3. Let x be p(-2). Let v = x - h. Put 5, -3, v in increasing order.
-3, v, 5
Let u = -33 + 559/17. Sort 2, u, 1/2, -3/8.
-3/8, u, 1/2, 2
Suppose -2*w = -5*w + 12. Let n(t) = -5 - 37*t + 39*t + 1. Let k be n(0). Sort -3, w, k in decreasing order.
w, -3, k
Let q = 874 + -873. Sort 153, q, 4 in increasing order.
q, 4, 153
Let u = -16 + 15. Let p be (-1 + u)/((-12)/16). Let o = 2 + 0. Sort -2, o, p in ascending order.
-2, o, p
Let o be (-1)/(-4) + 14/8. Let l(t) = 3*t**2 - t - 1. Let i be l(1). Let h = o + i. Sort 5, 1, h in increasing order.
1, h, 5
Let t(y) = -11*y - 82. Let z be t(-5). Sort 4, -2, z.
z, -2, 4
Let y = -29.8 + 30.2. Let i be (-9)/7 - (-3 + 2). Sort 2, i, y in descending order.
2, y, i
Let q = 54 + -55. Let c(p) = 11*p - 11. Let l be c(1). Sort 7, l, q, -2 in increasing order.
-2, q, l, 7
Suppose 60*a - 20 = 65*a. Suppose 3 = -3*m - 0*m. Let x(y) = -2*y - 6. Let q be x(-4). Sort q, a, m in increasing order.
a, m, q
Suppose 7*x = -2 - 54. Let z be (x - -4) + (-76)/(-18). Put z, -7, 3 in descending order.
3, z, -7
Let s(i) = 93*i - 156. Let p be s(2). Put 6, p, -1 in descending order.
p, 6, -1
Let y = 158 + -156. Let m = -2 - -6. Sort y, m, -4 in decreasing order.
m, y, -4
Let u = -18.836 - -44.78. Let p = u + 0.056. Let h = 25.5 - p. Sort 3, h, -10 in decreasing order.
3, h, -10
Let r = 9 + 5. Let f = -14.5 + r. Let m be (-8)/18*(-3)/2. Sort f, m, 0 in ascending order.
f, 0, m
Let a(z) = 4*z**3 + 11*z + 9. Let s(h) = -2*h**3 - 6*h - 5. Let n(b) = -4*a(b) - 7*s(b). Let p be n(-1). Put p, 1, -5 in descending order.
p, 1, -5
Let z = 10.44 - 10.35. Put -3, 0.2, z, 4 in increasing order.
-3, z, 0.2, 4
Let q = -256 + 261. Sort 3/8, q, 1.2 in increasing order.
3/8, 1.2, q
Let f = 3 + -3.06. Let b = f + -13.94. Let s = b + 14.4. Put -3, s, 3/2 in increasing order.
-3, s, 3/2
Let u = -40 + 30. Let d be (u/(-6))/((-8)/(-24)). Sort -1, 1, d.
-1, 1, d
Let i be 27/12 + 1/(-4). Suppose 13 = -2*q - i*c - c, -3*c = 9. Let t = 1667 - 1663. Sort 1, q, t.
q, 1, t
Let t = 0.24 - -2.76. Let q = 229.3 - 229. Put t, q, 1/6, -4 in descending order.
t, q, 1/6, -4
Let b = 0.21 + -3.21. Let g = -16 + 9. Let i = -11 - g. Put 0.3, b, i in ascending order.
i, b, 0.3
Suppose 4*l = 2*l + 12. Sort -1, -7, l in descending order.
l, -1, -7
Let p be 18/54 - (-1)/(-5). Put p, 0.5, -1/7 in decreasing order.
0.5, p, -1/7
Suppose -3*f + 2*g = 1, 3*g + g - 6 = 2*f. Let b be (-6)/(-14) + (-1)/f. Let o = -0.2 - 0.3. Put o, b, -4 in decreasing order.
o, b, -4
Suppose 6*x = -1 - 5. Let s be (-1 - -1)/x + 1. Put s, -3, 0 in decreasing order.
s, 0, -3
Let a = 294 - 291. Put 2, 6, a in decreasing order.
6, a, 2
Suppose 4*h = 3*l + 7, -2*h = l - 0*h + 19. Suppose -13 = x - 6*g + 3*g, 5*x - 3*g = -5. Put x, l, -4 in decreasing order.
x, -4, l
Let v be (-2 - (-102)/45)/(10/(-25)). Let j = 0.23 + -0.73. Sort j, -5, -2/7, v in increasing order.
-5, v, j, -2/7
Let l = 18 - 4. Let o be (40/4)/(1*(-4)/6). Let z = o + l. Put z, 7, -0.1 in increasing order.
z, -0.1, 7
Let k = -4 + 4. Let a = k - 4. Let q = -2.977 - 0.023. Sort a, 1/12, q in increasing order.
a, q, 1/12
Let c = 4 - 6. Suppose 2*t - 4*z = 136, 3*t + 0*t + 4*z - 224 = 0. Let m be (28/18)/7 - 70/t. Sort c, m, -0.2 in ascending order.
c, m, -0.2
Let m = 1127 - 1125.2. Sort 0.4, m, 0.
0, 0.4, m
Suppose -4*h - 4*m - 43 = -55, 2*h - 3*m - 11 = 0. Let t = 0.5 - 0.2. Sort t, h, -0.1.
-0.1, t, h
Let z = 20 - 16. Let r be 11/2 + (-2)/z. Suppose 3*g = -r*p - 0*g - 14, -g - 6 = 2*p. Sort -3, 2, p in decreasing order.
2, -3, p
Suppose -40 = -4*u - 32. Let b be (1 + (u - 6))*1. Put 0, b, -0.2, 2/9 in ascending order.
b, -0.2, 0, 2/9
Let t(h) = 2*h**2. Let d be t(-1). Suppose -d*w - 11 = -43. Suppose -2*g = 3*k - w - 4, 2*g - 5*k + 12 = 0. Sort -2, g, -3 in ascending order.
-3, -2, g
Let c be -5 + (