 4*x - 8. Put o, -5, 153 in increasing order.
-5, o, 153
Suppose -2*y - 45 = -o - 0*o, 0 = -4*y - 3*o - 65. Let w = y - -27. Suppose -w = 6*c - 1. Sort -3, c, -4 in decreasing order.
c, -3, -4
Let q = 119 - 117. Suppose -4*a = -3*a, u - 4*a - 1 = 0. Sort q, -2, u in decreasing order.
q, u, -2
Let d be (-74)/8*(5 - -3). Let m = d - -75. Put 2, -1, 8, m in descending order.
8, 2, m, -1
Let u = 18.7 + -19. Suppose -3*d + 0*d + 3 = 0. Let y be (-1 - -1 - d) + -2. Sort u, y, -0.1 in decreasing order.
-0.1, u, y
Suppose -5*n + 9*n + 16 = 0. Put -0.5, 59, n, 2/9 in decreasing order.
59, 2/9, -0.5, n
Let b(n) = 10*n - 54. Let x be b(5). Put 0.3, x, 40/17, -0.1 in decreasing order.
40/17, 0.3, -0.1, x
Let z = -35.865 + 36. Let d = -6.165 - z. Let v = -1.3 - d. Put v, -4/3, -1 in descending order.
v, -1, -4/3
Let j = -25.997 - 0.003. Let k = 29.3 + j. Let v = -3 + k. Sort 1, v, 4 in decreasing order.
4, 1, v
Let g = -7 + 4. Let p(v) = -5*v + 10. Let q be p(5). Let i be 6/q + 20/75. Sort i, 7, g in descending order.
7, i, g
Let s = 76 + -53. Suppose m = -4 + s. Let h = m - 27. Put 1, 5, h in decreasing order.
5, 1, h
Let y = 839 - 841. Let f(i) = i + 10. Let k be f(-7). Sort -3, 2, y, k in decreasing order.
k, 2, y, -3
Let s = -0.03 - 5.97. Let p = 10 + s. Let n be (-28)/(-8) - 2/4. Sort n, 0, p in ascending order.
0, n, p
Let b = 195.2 - 193.3. Let j(m) = 2*m**2 - 2*m + 1. Let z be j(1). Put -4/7, z, b in ascending order.
-4/7, z, b
Let p = 1729543/13 - 132941. Let i = p - 341897/3393. Let u = -1055/2871 + i. Put -2/3, u, 2/7 in descending order.
2/7, u, -2/3
Let h = -446 + 445. Put h, -1/9, -1/4 in descending order.
-1/9, -1/4, h
Suppose 0 = -4*h - 0*h. Let o(z) = -9*z. Let y be o(2). Let i = 13 + y. Sort i, h, -3.
i, -3, h
Let h = 1141/2 + -572. Sort h, -4/5, -283 in decreasing order.
-4/5, h, -283
Suppose 0 = -2*q + h - 0*h + 11, -h - 3 = 0. Put q, 32, 1, 3 in descending order.
32, q, 3, 1
Let q be (-2 - 0) + 2/(-1). Suppose 5*t = 2*t - 3. Let o be 2/(-1 + t/(-3)). Sort 2/3, q, o in descending order.
2/3, o, q
Let x be (-5)/20*(-16)/(-26). Let d = -1.877 + -0.123. Suppose v - 5*u - 20 = 0, -2*v + 6*v - u = 42. Put v, x, d in decreasing order.
v, x, d
Suppose 3*z - 5*z - 6 = 0. Let b = 6 + z. Put b, 2/15, -0.2 in descending order.
b, 2/15, -0.2
Let b = 0.328 + -7.328. Let w be 4/(-5)*(-10)/(-4). Sort b, w, -4 in ascending order.
b, -4, w
Let w = 2495/3 + -832. Sort w, -1, 245.
-1, w, 245
Let d(b) = -131*b + 135. Let f be d(1). Sort f, 2, 5, 27 in ascending order.
2, f, 5, 27
Let g be 5/(-6)*(-25)/((-1625)/(-26)). Sort g, 6, -2/3 in ascending order.
-2/3, g, 6
Let y = -21 - -35. Let d = y - 11.8. Let n = -1.9 + d. Put -0.2, n, -3 in decreasing order.
n, -0.2, -3
Let g = 2309/6136 + -1/767. Let n = 0.1 + -0.6. Put -1, g, -4, n in decreasing order.
g, n, -1, -4
Suppose -10 = f - 3*f. Suppose -s + 5*d = -5*s + 22, -3*d = 3*s - 15. Suppose 3*q - 9 = -s*o, 6 = 2*o - 0*q - 2*q. Sort f, -3, o in descending order.
f, o, -3
Let q(a) = 3*a - 15. Let g be q(6). Suppose 0 = 2*b - 5*o + 12, 5*o = -5*b - 1 + 41. Put b, 0, g in decreasing order.
b, g, 0
Let a be (-120)/42 + (10 - 4). Sort -2/11, 0.4, a.
-2/11, 0.4, a
Let l be (-8)/32 + 425/100. Let u be -2*1/(2/9). Let x = u + 4. Sort l, x, 12 in descending order.
12, l, x
Let r be (2 - (10 + -5 - 3))/1. Sort -2, -1.2, 8, r in descending order.
8, r, -1.2, -2
Let f be (-3*7/84)/(2/8). Put 53, f, 4 in increasing order.
f, 4, 53
Let q(k) = k**3 + 3*k**2 - 31*k - 93. Let l be q(-5). Sort 0, -9, -4, l in ascending order.
-9, -4, 0, l
Let i be 10/(-3) + (-4)/6. Let y be (4 - 8)*(-1)/(-2). Let u(k) = k**2 + 5*k - 3. Let n be u(-6). Sort i, n, y in decreasing order.
n, y, i
Let j = -3862/7 - -552. Sort 3, 2.8, j, -0.4 in decreasing order.
3, 2.8, j, -0.4
Let z be ((-646)/(-57))/((-4)/18). Let a = z - -49. Put -3, a, 0, 5 in descending order.
5, 0, a, -3
Let d be (-10)/35 - (-32)/14. Let p = -6 + 5. Let q(a) = -a**2 + 8*a + 9. Let i be q(9). Put p, d, i in ascending order.
p, i, d
Let g = 957 + -957. Let m be ((-3)/(-2))/(54/(-3)). Sort 2/3, m, g in ascending order.
m, g, 2/3
Let h(d) = 3*d**2 + 11*d - 7. Let s be h(-4). Put 5, 3, s, 1 in ascending order.
s, 1, 3, 5
Let w be 23/5 - (-2)/5. Suppose -5*r - 3 = a, 1 + 2 = 5*r + 4*a. Suppose 5*q + 11 = -9*j + 5*j, 2*q + 9 = 3*j. Put q, r, w in decreasing order.
w, r, q
Suppose g - 2 + 6 = 0. Let r(c) = -3*c**2 + 17*c + 31. Let y be r(7). Sort 4, g, -1, y.
g, -1, y, 4
Let s = -0.24 + 0.26. Let i = s - 0.32. Put -3, -2, i in descending order.
i, -2, -3
Let h = 3.1 + -3. Let k = -0.023 - -28.023. Let y = k + -31. Sort y, h, 1/5 in ascending order.
y, h, 1/5
Let o = -243.02 + 243.1. Sort 0.5, -22, o in descending order.
0.5, o, -22
Let j be (-52)/(-39)*(-1 + -2). Suppose 0 = -s + 3*r + 10, 4*s = 4*r + 17 + 7. Suppose -u = -s*u + 3. Sort 3, u, j in ascending order.
j, u, 3
Let n(t) = -t**2 - 18*t - 65. Let y be n(-14). Sort 2, 0.5, y.
y, 0.5, 2
Let f = 1.2 - 0.2. Let u = 131.8 + -132. Suppose 4*y + 6 - 2 = 0. Sort f, u, y.
y, u, f
Suppose -5*a - 8 = -4*q - 0, -4*q = -3*a. Put q, -2, 1, -61 in descending order.
1, -2, q, -61
Let g be 69/(-6) + (-2)/4. Let h = 14 + g. Let y = 0 + 0. Sort h, y, -3 in descending order.
h, y, -3
Suppose -17*j - 34 = -0*j. Suppose 2*m - 60 = -0*m. Let h be 54/(-10) - (-12)/m. Put -6, h, j in decreasing order.
j, h, -6
Let n be 85/(-2) - (-9)/(5 + -23). Put 3, 2, 0, n in decreasing order.
3, 2, 0, n
Suppose -5*w = 424 + 16. Let g be (4 - w/(-12))*3. Sort g, 2, 1.
g, 1, 2
Let g = -1313 + 1309. Sort g, -7, 1, 13.
-7, g, 1, 13
Let o(g) = -g - 3 + 2*g - 2*g - g**2. Let c be o(-2). Put 1, -4, c, 3 in descending order.
3, 1, -4, c
Let b = 5 + -5. Let m = 4 + 3.7. Let o = -8 + m. Sort b, -0.4, o in ascending order.
-0.4, o, b
Let b = -975 - -978. Sort b, 1/10, -1, 1 in descending order.
b, 1, 1/10, -1
Suppose 3*a - 5*l - 36 = 0, -l - 20 = -2*a + l. Suppose -g + 3*m + 7 = g, a = 5*g + 3*m. Suppose g*o = 4*o + 6. Sort 4, o, -4.
-4, o, 4
Suppose -x + 2*d - 5 = 0, -2*x - 80 = 5*d - 25. Let r be (-1 + -1)*x/(-10). Put -0.1, r, -7 in decreasing order.
-0.1, r, -7
Let z = 43 - -6. Let u = 46 - z. Suppose 0 = -2*m - 2*m + 20. Put u, 2, m in descending order.
m, 2, u
Let m(d) = d + 29. Let h be m(-24). Put -1, h, 1, 4 in increasing order.
-1, 1, 4, h
Let r be (3 + (-44)/12)/((-19)/(-18)). Sort r, 0.2, -1/3 in decreasing order.
0.2, -1/3, r
Let l = 0.032 + 4.968. Put 0.089, -3, l in decreasing order.
l, 0.089, -3
Let t be (6/(-108))/(((-30)/18)/5). Put 1/9, 9, t in ascending order.
1/9, t, 9
Suppose -z - 4 + 0 = 0. Let r be -1*2 - (-8)/z. Let v be (-7 - -3) + 8 + -2. Sort v, -2, r.
r, -2, v
Let j(y) = y**2 + 11*y - 2. Let a be j(-11). Let o = -13 - -21. Suppose 0 = o*h - 3*h + 25. Put a, 2, h in decreasing order.
2, a, h
Let f = -20 + 22. Let r = -12 + 12. Sort r, f, -4, 4 in ascending order.
-4, r, f, 4
Let q = -483 - -480. Suppose 0 = 3*k - r - 17, 0 = -2*k - 2*k + 5*r + 30. Put q, k, 0.2 in descending order.
k, 0.2, q
Suppose 3*s = -5*u + 2*u + 12, 5*u + 1 = 2*s. Suppose -y - 3*a + 4*a = 10, -4*y = -2*a + 30. Sort -11, y, u in decreasing order.
u, y, -11
Suppose 10 = -4*v - 5*x, -8 = -5*v - 2*x - 29. Let o = 1249 + -1248. Put v, -4, 0, o in decreasing order.
o, 0, -4, v
Let x = 59 - -2. Let y = -63 + x. Put -4, y, -26 in increasing order.
-26, -4, y
Let u = 568 - 567. Put u, -11/6, 2/23 in decreasing order.
u, 2/23, -11/6
Let n(d) = -d**3 + 2*d**2 + 4*d - 1. Let u be n(3). Suppose -s = -4*x - 8, 3*s + 2*x + 6 = -x. Sort u, 3, s.
s, u, 3
Let a = 1133 - 1129. Let y = -1 + 1. Suppose y = 3*n + n + 4. Sort n, a, -5 in decreasing order.
a, n, -5
Let v = 141 - 141. Suppose 5*y - 10*y = v. Sort -2, 34, y in descending order.
34, y, -2
Let x be ((-49)/(-4))/(-7)*-4. Let o be 2/3*9/2. Suppose x = -o*i + 1. Put -4, 4, i in ascending order.
-4, i, 4
Let d be 8/(-44) + 141/(-11). Sort d, 23, 1 in ascending order.
d, 1, 23
Let q(j) = 11*j**2 - 4*j + 3. Let h be q(1). Put h, 2, 3, -1 in decreasing order.
h, 3, 2, -1
Let q = 6 - 11. Let k = 97.119 + -0.119. Let d = 99 - k. Put -0.3, q, d in increasing order.
q, -0.3, d
Let g = 7 - -20. Let k = -25 + g. Sort 3, -5, k in ascending order.
-5, k, 3
Suppose 5*y = 3*y + 896. Suppose -7*q + y = -3*q. Let d be -3 - (q/(-20) - -3). Put -2/