order.
3, l, -4
Suppose -5*b - 2*d = 3, 0*b - 5*d - 19 = b. Suppose 0 = -4*t + 2*w + 22, w = t - 6*t + 24. Sort b, -2, t in decreasing order.
t, b, -2
Let q be (-18 - -19) + -2 + -1. Suppose 0*n = -4*n + 12. Suppose -4*v - 8*s + n*s = -20, -3*s + 12 = 2*v. Put v, q, 2 in decreasing order.
2, v, q
Let l(c) = 3*c**2 - 17*c + 22. Let z be l(4). Sort 13, 5, z in decreasing order.
13, 5, z
Let o be 6/(-15)*(-20)/(-1). Let j(y) = -y**2 - 5*y + 12. Let r be j(-6). Suppose -r*i - 22 - 2 = 0. Sort o, 0, i in descending order.
0, i, o
Let o = 1623 + -1628. Let x be (1 - 0) + -1*1. Suppose 2*q - 16 = -2*q. Sort q, o, x in ascending order.
o, x, q
Let h be (-10)/(-4)*(-6)/(-10). Let z = -20.976 - 0.024. Let o = z - -20.9. Sort h, o, -1/4.
-1/4, o, h
Let z = -414 - -421.73. Let r = 0.53 - z. Let v = r - -7. Sort -3/5, -0.01, v in increasing order.
-3/5, v, -0.01
Let r = 108.262 + -0.862. Let j = r - 107. Let z = -5 + 7. Put j, z, -4 in increasing order.
-4, j, z
Let j(q) = q**2 + 15*q + 14. Let g be j(-14). Let t = 29 + -30. Let h be -6 + 1 + 0/t. Sort g, 14, h in decreasing order.
14, g, h
Let i = -0.0955 - 0.3045. Put 22, 3, i in descending order.
22, 3, i
Suppose -2*s + t + 4 = 0, 2*t - 4*t = -5*s + 12. Sort -131, 2, s, 1/6.
-131, 1/6, 2, s
Let h be 0 + -1 - (2 + 9). Suppose -2*x - 2*x + 5*y + 14 = 0, 4*y = -4*x + 32. Suppose 3*d + x = -b, -9 = d - 8*b + 6*b. Sort d, 0, h in descending order.
0, d, h
Let g be (-2 + 3/(-6))*2. Suppose -u - 2 = -0*u. Let x = u - 1. Put g, x, -1 in increasing order.
g, x, -1
Suppose -4*l + 21 = 5*m + 37, 1 = 5*l + m. Put l, -17, 14 in descending order.
14, l, -17
Let x = 358 + -355. Sort x, -1, -85, 1 in increasing order.
-85, -1, 1, x
Let q = 159.3 - 159. Let d be 5/5*3/(-12). Sort q, d, 1, -0.3 in decreasing order.
1, q, d, -0.3
Let o(z) = -z**3 - 5*z**2 + z + 8. Let m be o(0). Put -10, 2, m, -1 in descending order.
m, 2, -1, -10
Let r = 11833/15 - 789. Sort -0.5, r, 11, 1 in decreasing order.
11, 1, r, -0.5
Let r be (-54)/55 + 2/11. Let y = 0 + -0.1. Suppose 0 - 18 = -6*v. Sort r, y, v in increasing order.
r, y, v
Suppose 4*u + 3*u - 224 = 0. Let d = -31 + u. Suppose 0 = p + 4 - d. Sort -11, p, 3.
-11, p, 3
Let z be (6 - 5)*(-1)/(3 + -2). Sort 1, z, 2, 5.
z, 1, 2, 5
Suppose -47*g + 34 = -64*g. Sort g, 0.2, -4/3.
g, -4/3, 0.2
Let v be 0 - (-25 + 0/(-3)). Suppose 4*t - v + 5 = 0. Let o(r) = -r**3 + 32*r + 22. Let l be o(6). Sort t, -5, l.
-5, l, t
Suppose -5*p - 8 = -p. Let n = -33 + 35. Suppose -n*s - 4 = 5*c - 11, 4*s - 5*c = -1. Sort s, -5, p in decreasing order.
s, p, -5
Let t = 0.32 - 0.82. Sort -1, -6, 3, t in ascending order.
-6, -1, t, 3
Let y be 2/(-5 + (-3)/(12/(-34))). Let h be (2/(-3))/((-2)/(-1)). Put -2/7, -0.2, y, h in ascending order.
h, -2/7, -0.2, y
Let s = 0 - 3. Suppose 7*p - 6*p - 2 = 0. Suppose -3*n - 4*m = 17, 0*n + 3*m = p*n + 34. Sort -1, s, n.
n, s, -1
Let b = -0.44 + -0.06. Let p = -14 + 10. Let h = 18 + -73/4. Put b, p, h in decreasing order.
h, b, p
Suppose 0 = -3*y + 7*w - 10*w + 3, -5*y + 37 = -3*w. Put y, -11, -5, -1 in ascending order.
-11, -5, -1, y
Suppose 5*r + 9 = -16, 45 = -4*z - 5*r. Suppose 0 = 2*y + 3*y, -16 = 4*i + 2*y. Let l(b) = -b**2 - 9*b - 17. Let g be l(-5). Put g, i, z in decreasing order.
g, i, z
Let b = 572/3 + -189. Let y = 27 + 0. Let p = -25 + y. Sort p, b, -0.5 in descending order.
p, b, -0.5
Let g(v) = -26*v**3 + 6*v + 5. Let i be g(-1). Suppose -5*x - 11 = 14. Put i, x, -1 in ascending order.
x, -1, i
Suppose 177*a = 201*a. Put a, -26, 3 in ascending order.
-26, a, 3
Let l be (-9)/(-90)*54 - 4/10. Let g be (3/(-1))/3*-3. Sort l, g, -13 in increasing order.
-13, g, l
Let z = -2987 + 2982. Put z, -8, 1, 0 in decreasing order.
1, 0, z, -8
Let g(d) = -22*d + 150. Let y be g(7). Sort y, -3, 5 in decreasing order.
5, -3, y
Let a be ((-3)/(-9))/((-1)/(-18)) + -3. Suppose 0 = -s + 2*s + 2. Sort s, a, 5 in ascending order.
s, a, 5
Suppose -i = -6*i - 9*i. Put 1/3, -2/5, i in decreasing order.
1/3, i, -2/5
Suppose -8*g + 13*g + 26 = -t, -19 = 4*t + 3*g. Put t, -37, -5 in increasing order.
-37, -5, t
Suppose -5*b - 5 = 3*s, -4*s + b + 9 = -3*s. Sort 1, 0, 6, s.
0, 1, s, 6
Let y = -6.5 + 6. Let a = -137 + 110. Put y, a, -2/3 in descending order.
y, -2/3, a
Let d be -3 - (52 - (-4)/(-1)). Let g = d + 48. Put -5, 4, g in decreasing order.
4, g, -5
Let y = -0.3 + 0.2. Let a = 55/91 - 3/91. Put -6/7, y, a in decreasing order.
a, y, -6/7
Suppose 2*o + 2*r + 22 = 0, 0 = -3*o + 3*r - 5 - 4. Put o, 5, -4 in increasing order.
o, -4, 5
Let w(s) = -s**3 + 9*s**2 - 9*s - 3. Let n be w(7). Suppose -19 = -3*g + 3*q + n, -2*g + 55 = 5*q. Suppose -3*y - g + 5 = 0. Sort -4, -2, y.
y, -4, -2
Let m be 2/(-18)*-3*3. Let y be (-2)/(-7) - (-150)/(-84)*m. Sort -0.4, y, 0.5, 1 in decreasing order.
1, 0.5, -0.4, y
Suppose 5*n = -5*s - 5, -2 + 14 = -2*n - 4*s. Let z = 784 + -781. Put n, 0, z, -2 in ascending order.
-2, 0, z, n
Let s = -19 + 14. Put 0.4, -4, s, -0.1 in decreasing order.
0.4, -0.1, -4, s
Let p = 2005 - 2015. Put 14, -5, 1, p in descending order.
14, 1, -5, p
Let j(u) = -u**3 + 7*u**2 - 6*u - 8. Let f be j(4). Put 1, f, -11 in descending order.
f, 1, -11
Suppose -2*g - 3*p + 8*p - 17 = 0, -p = -4*g + 11. Let x be (-4)/(-2)*14/g. Sort x, 1, 2 in descending order.
x, 2, 1
Let o = -58 + 58. Let c = -0.88 + 0.08. Put c, -3/7, o in descending order.
o, -3/7, c
Suppose -5 = -1120*z + 1115*z. Sort 106, z, 3 in decreasing order.
106, 3, z
Let v(l) = 3*l**3 + 2*l + 1. Let j be v(-1). Let x(s) = -3*s**3 - s**2 - 12*s + 21. Let n be x(2). Put j, -3, n in descending order.
-3, j, n
Let m(t) = t**3 - 7*t**2 - t + 2. Let d be m(7). Suppose -8*b + 5 = -3*b. Suppose -3*r + 4*i - 18 = 2, 4*r + 3*i = 15. Sort r, d, b in decreasing order.
b, r, d
Let l be (-153)/6*(-5)/(-30) + 4. Sort -4/3, 4, 0.5, l in ascending order.
-4/3, l, 0.5, 4
Suppose -645*p + 650*p = 50. Suppose 33 = -4*s + 5*n, -4*s - 2*n = -0*n - 2. Put 0, p, s in descending order.
p, 0, s
Let m = 721 - 724. Put 3, -4, m, -12 in decreasing order.
3, m, -4, -12
Suppose 0 = 4*v + 31 - 15. Suppose 4 = 2*g + 2*w, 5*g - 2*g = w + 10. Sort -1, v, 0, g.
v, -1, 0, g
Let u be ((-11)/((-165)/(-18)))/(-5). Let b = -33/175 - u. Sort b, 2, -0.4 in increasing order.
b, -0.4, 2
Suppose 3*h - 5*h = 0. Let g be 66/(-4) - 4/(-8). Let b be 50/(-18) - (g/36)/(-2). Sort b, h, -5 in descending order.
h, b, -5
Suppose 282*w - 268*w = -4634. Put 5, w, -2 in decreasing order.
5, -2, w
Suppose -6*j - 15*j = 84. Sort j, 4, -5, 3.
-5, j, 3, 4
Let m be (-10 - -9)*(-6 - -3). Sort m, 2, 702 in ascending order.
2, m, 702
Let d = -12398/13 + 954. Put 0, d, -5 in descending order.
d, 0, -5
Let m = 459 + -458. Sort -0.1, -4, 34, m in decreasing order.
34, m, -0.1, -4
Let i = 29.1 + -0.1. Let l = -28 + i. Let r(c) = -c**3 - 2*c**2 + 5*c + 4. Let g be r(-3). Sort l, g, 2/11.
g, 2/11, l
Let k = -52 + 64. Let i be k/30 - 14/10. Suppose -5*a - 25 = -4*x, -3*x + 3*a + 0 = -15. Sort -2, x, i in ascending order.
-2, i, x
Let n be 4/(-14) + 120/28. Suppose -d - 6 = -n*d. Suppose 0*f - 2*f = 3*l + 18, 3*f + 1 = d*l. Put l, 0, -2 in ascending order.
l, -2, 0
Let v = -84 + 89. Sort 0.4, 3, -1/2, v.
-1/2, 0.4, 3, v
Let v = -55 - -37. Let i = 163/9 + v. Sort -7, 5, i.
-7, i, 5
Let w(l) = l**3 + 23*l**2 - 106*l + 49. Let g be w(-27). Sort g, 4, -3, 10 in increasing order.
g, -3, 4, 10
Let s = -75.6 - -80.6. Sort 1/21, -2, s.
-2, 1/21, s
Let z(f) = -f**2 - 19*f - 48. Let s be z(-16). Let h be (3 + 0)*-1 + 6. Sort s, h, 4 in increasing order.
s, h, 4
Let r = -2.2 + 1. Let w = 0.2 + r. Let t = -6.8 + 7.1. Sort t, w, 0.1 in decreasing order.
t, 0.1, w
Suppose 2*o + 2*y - 6*y = 2, -3*y - 3 = -o. Suppose 0 = -2*w + 3*t + 4, w - t = 3. Let i be 1 - 5 - (2 + -2). Sort i, w, o in increasing order.
i, o, w
Let k(y) = 4*y**2 + 3*y - 8. Let g(w) = 5*w**2 + 2*w - 7. Let r(j) = -5*g(j) + 6*k(j). Let u be r(6). Put -2/3, 0.1, u in decreasing order.
0.1, -2/3, u
Let g = 7031/9 + -781. Put g, 39, 0.1 in decreasing order.
39, g, 0.1
Let w = -246 - -251. Sort w, -3, 1/3, 11.
-3, 1/3, w, 11
Suppose -1884 + 329 = 3*y + 5*v, y + 3*v + 521 = 0. Sort y, -4, 0, 4.
y, -4, 0, 4
Let z(a) = -a**2 + 54*a + 229. Let l be z(-4). Put 0, l, -5, 2 in ascending order.
-5, l, 0, 2
Suppose 4*q - 3*q = 4*s - 7, q + s - 8 = 0. So