2 - -919. Suppose -2*b + 8 = 2*b. Sort g, 23, b in increasing order.
g, b, 23
Let r = -14 - -10. Let b be (-6)/12 - 10/4. Let z(c) = c - 7. Let a be z(2). Sort b, a, r in increasing order.
a, r, b
Suppose -3*v - v = 0. Suppose -5*z + 9*z + 12 = v. Let t be (-3)/4 + (-12)/(-144). Sort 0, z, t in increasing order.
z, t, 0
Let q = 0.5 + -0.2. Let c = 2593 + -2556. Put 0.2, q, c in decreasing order.
c, q, 0.2
Let p = -25/14 + 9/7. Let t = 0.3 + -0.5. Let a = t + -0.1. Put p, a, -2 in decreasing order.
a, p, -2
Let a = 0.6 - 0.1. Suppose 3*b - 84 = -4*b. Suppose -5*i - 13 = b. Sort 1, i, a.
i, a, 1
Let s(j) = j**2 - 7*j - 13. Let p be s(9). Let r(a) = -3*a + 17. Let d be r(p). Suppose -4*x - 12 = d*x. Sort 5, 1, x in decreasing order.
5, 1, x
Suppose 6*s - 9*s = 0. Suppose -3*h + 12 = 3*v - h, 5*h = s. Suppose v*i = -4 - 8. Put 3, 4, i in ascending order.
i, 3, 4
Suppose 6 = -22*i - 60. Suppose -3*k - 10 = -2*z, -k - 2 = -z + 2. Put i, k, 2 in ascending order.
i, k, 2
Let i be ((-20)/8)/(1/(-2)). Suppose -i*f + 23 = -12. Suppose -4*a - f = 5. Sort 2, 0.1, a in decreasing order.
2, 0.1, a
Let u = 780 - 782. Put 0.02, 0.4, u, -0.08 in decreasing order.
0.4, 0.02, -0.08, u
Suppose 10*y + 103 - 73 = 0. Put y, -4, 30, -5 in increasing order.
-5, -4, y, 30
Suppose -z + 10 = -4*n, 0*n + n + 13 = 2*z. Suppose m + z = -2*m. Let v be (6/4)/((-2)/(-8)). Put -3, v, m in decreasing order.
v, m, -3
Let o = 0.944 + 0.056. Let k = o + -1.4. Sort k, 3, 16.
k, 3, 16
Let l = 2253 + -2254. Sort -107, 2, l.
-107, l, 2
Suppose -p + 63 = 24. Suppose -51 = -2*j - p. Sort j, -1, 2, -4 in decreasing order.
j, 2, -1, -4
Let t = -376 + 375.5. Sort 2, t, 1/5, 0.
t, 0, 1/5, 2
Let k = 3.5 - -0.5. Let h = -3 + -1. Let z be h + (-4)/(-1 + 9) + 2. Put 0.4, z, k in increasing order.
z, 0.4, k
Let m be (-6)/(-9)*7/((-42)/(-45)). Sort -18, -0.2, -1/8, m.
-18, -0.2, -1/8, m
Suppose 127*f - 124*f + 15 = 0. Sort f, 1, 6.
f, 1, 6
Let w = 1.8 + 0.2. Let b = 6.21 - 6.61. Put w, b, 3 in decreasing order.
3, w, b
Let m = 0.074 - -13.926. Sort -0.08, m, -1/3, 1/2.
-1/3, -0.08, 1/2, m
Suppose -7*t = 5*v - 3*t + 11, -2 = -v - 5*t. Put 5, v, -11, 4 in increasing order.
-11, v, 4, 5
Let d = -1982 - -2027. Sort 1/3, -3, 0.5, d.
-3, 1/3, 0.5, d
Suppose 6*r - 2*d - 10 = 4*r, d - 3 = -3*r. Sort 1, 3, 10, r in ascending order.
1, r, 3, 10
Let r = -232 - -232.3. Sort 1/3, -4, r, -15.
-15, -4, r, 1/3
Let z = -56 + 223/4. Let u = 23 - 31. Let t be 1 + -2 + 4/u. Put z, 0.6, t in ascending order.
t, z, 0.6
Suppose -3*d + 2*d - q = -9, -3*d = 2*q - 24. Let x be ((-2)/d)/(10/6). Let y = -46 + 41. Sort x, -3, y.
y, -3, x
Let i = 119 + -116. Put i, 1/4, 0.3 in decreasing order.
i, 0.3, 1/4
Let q = 0.06 - -31.94. Let a = 35 - q. Sort 0.3, 0.7, a in descending order.
a, 0.7, 0.3
Suppose -5 = -18*h + 13*h. Let g = 46 + -28. Sort g, 0, h in ascending order.
0, h, g
Let g be (-138)/(-9) - (-72)/(-54). Sort -5, 3, 1, g.
-5, 1, 3, g
Let m(p) = -3*p**2 + 4*p - 11. Let g(l) = -2*l**2 + 4*l - 10. Let c(x) = 4*g(x) - 3*m(x). Let u be c(2). Put -21, u, -3 in increasing order.
-21, -3, u
Let v = -32 + 33. Let o(r) = r**2 - 20. Let w(j) = -j + 1. Let k(m) = v*o(m) + 4*w(m). Let d be k(8). Sort 0.3, 2, d in increasing order.
0.3, 2, d
Let c = 1.35 - -0.05. Let g = c - -2.6. Put -0.4, g, -0.3, 2 in ascending order.
-0.4, -0.3, 2, g
Let w = -9.42 + 9.32. Sort w, 0.179, 0.2.
w, 0.179, 0.2
Let f = -1.7 - -1.22. Let d = -0.18 - f. Suppose -1 = h - 0*h + k, 3*h + k - 7 = 0. Sort d, h, 1/7.
1/7, d, h
Let g = -58 + -16. Let i = g - -149/2. Sort 1/4, -0.5, i, -1/6 in descending order.
i, 1/4, -1/6, -0.5
Let g = 112 + -97. Suppose -7*v - g = -2*v. Suppose 2*p = -q - 5, -3 = 2*p + 4*q + 5. Sort p, 1, v in increasing order.
v, p, 1
Let s be -17 + (-24)/(-7 + 3). Sort -4, s, -5, 3 in decreasing order.
3, -4, -5, s
Suppose 4*m = 2*a - 14, 2*a - m - 11 = a. Sort 4, 5, a.
4, 5, a
Let x = 4 + -9. Let t(o) = -o + 10. Let v be t(4). Suppose v*m = 3*m - 3*c + 9, 2*m - 6 = -3*c. Sort m, x, -1 in descending order.
m, -1, x
Let h = -1 - 4. Suppose 20 = -g + 5*g. Suppose -35 = 2*j - 29. Put g, h, j in decreasing order.
g, j, h
Let j be 74/14 + -4*(2 - 1). Let q = j - 31/35. Sort -6/5, q, 1, 4 in ascending order.
-6/5, q, 1, 4
Let j(k) = -4*k - 10. Let w be j(-7). Suppose 0 = -8*l + 11*l - w. Let m be 2/(-2)*l/(-22). Sort 0.2, -0.4, m.
-0.4, 0.2, m
Let a = -465 + 456. Sort 5, a, 1.
a, 1, 5
Suppose -4*y + 4*v = 0, -y - 2*y = -2*v + 1. Put -6, -5, y in decreasing order.
y, -5, -6
Suppose 2*p + p - 54 = -3*h, 0 = -p - 2*h + 16. Suppose 2*t = -3*c + 8 - 3, -p = -5*t. Sort -3, 1, c.
-3, c, 1
Let q = 1 + -0.5. Let k = -3760 + 3762. Suppose 6 = -2*a + 4*f, 5*a + 3*f + 12 = 36. Sort k, q, a in descending order.
a, k, q
Suppose 8*t - 167 = -151. Let h(q) = 9*q**2 - q + 1. Let n be h(1). Suppose 1 + 4 = l. Sort n, l, t.
t, l, n
Let j(t) = -t**3 - 9*t**2 + 10*t + 85. Let w be j(-9). Sort w, 6, -1 in decreasing order.
6, -1, w
Suppose -39*y + 38*y = -58. Let u be y/(-10) + (-12)/(-15). Sort 0.2, -3, u in descending order.
0.2, -3, u
Let v be 12/(-3) - -3 - -192. Suppose -v*w = -196*w - 25. Sort 4, w, 6.
w, 4, 6
Let h(s) = s**3 + 33*s**2 + 64*s + 58. Let m be h(-31). Put m, -2, 66 in descending order.
66, -2, m
Suppose -6*v - 132 - 6 = 0. Sort 1, 3, v in decreasing order.
3, 1, v
Let u(r) = r**3 + 4*r**2 - 6*r - 3. Let z be u(-5). Let f = 19 + -23. Let w be 330/27 + f/18. Sort w, 4, z.
z, 4, w
Let o = 10.1 - 5.1. Put o, 3, 18, 1/5 in increasing order.
1/5, 3, o, 18
Let i be ((-6)/(-40))/((-28)/(-20) - 3). Let s = 121/608 + i. Sort -1, s, 2, 0.7 in increasing order.
-1, s, 0.7, 2
Let a be (-7 - 520/(-112))*(-76)/(-3). Let u be 298/5 - 6/(-15). Let w = u + a. Put -3, w, 0.01 in ascending order.
-3, 0.01, w
Let x be ((-14)/(-28))/(4/(-16)). Let n = 9 + -14. Sort n, -3, x, -1/2.
n, -3, x, -1/2
Let w be (192/(-480))/((-1)/(-5)). Sort 2, w, 0, 58 in descending order.
58, 2, 0, w
Suppose 5*r + 3*j + 5 = 0, 0 = 3*r + 3*j + 2 + 7. Let b = -101 + 101. Suppose -4*o = r*h - 0 - 12, b = -4*o + 20. Sort 5, h, -2.
h, -2, 5
Let c = 1.5 - 0. Let p = 33 - 20. Let m = -13 + p. Put -0.2, c, m in decreasing order.
c, m, -0.2
Let r = 9 + -11. Let d = 0.046 + -0.246. Put r, d, -1/2 in descending order.
d, -1/2, r
Let w be (3/(-2))/(6/152). Let b be 12/(-16) - w/8. Put b, 5, -0.3, 0.4 in ascending order.
-0.3, 0.4, b, 5
Let s = -1138 + 1131. Sort -5, s, 0.04, -0.5.
s, -5, -0.5, 0.04
Suppose 6*t + 159 = 135. Sort 1, 13, t.
t, 1, 13
Let c be (-3*(-2)/6)/1. Let g be (2 - 8) + c + 2. Suppose -3*y + 0*y = 18. Sort y, -1, g.
y, g, -1
Let f = 14 - 5. Let s = -8 + f. Let d = s + 4. Sort d, -3, 4 in ascending order.
-3, 4, d
Let o = -1098 - -1100. Sort o, -1.4, 1/6, -4 in ascending order.
-4, -1.4, 1/6, o
Let v = 382 - 378. Suppose 4 = -3*b + 2*b. Sort b, -4/7, v in ascending order.
b, -4/7, v
Let m = 858 - 861. Let k = -9 - -4. Put m, k, 5 in decreasing order.
5, m, k
Let t = 26.2 - -0.8. Let l = 25.5 - t. Let d = 0.5 + l. Sort 8, 1, d in decreasing order.
8, 1, d
Let b be (1/(-1))/((-1)/(-3)). Let g be (2/5)/(b/15). Let h(q) = q**3 + q**2 - q + 3. Let i be h(g). Sort i, -1/6, -2/13 in ascending order.
-1/6, -2/13, i
Let u be 3 + (-13014)/4060 + (-2)/(-5). Let a = 3/58 - u. Sort a, -10, 1.
-10, a, 1
Let k be 18/(-24) - (-30)/8. Let d be ((-9)/k)/((-6)/10). Put 3, d, -1 in decreasing order.
d, 3, -1
Suppose -4*x + 17 = 5. Let j = 6 - 3. Suppose 2*k = j*c - 4, -4*c - 18 = k + k. Put -4, x, k in ascending order.
k, -4, x
Let c = 0.18 + -0.32. Let w = c + 0.24. Suppose -2*m + 8 = 4*o, 0*m = -3*m - 4*o + 8. Sort -3, m, w.
-3, m, w
Let m(q) = -q**3 + 6*q**2 - 2*q + 16. Let x be m(6). Let j be (-2)/(-4)*(3 + 1). Suppose j = -x*b - 14. Sort b, -1, 1 in ascending order.
b, -1, 1
Let h = -15.55 - -13.55. Sort -2/9, h, 4/3, -2/11 in increasing order.
h, -2/9, -2/11, 4/3
Let q = -2.02 + 2.62. Sort -2/3, q, -4, -15 in ascending order.
-15, -4, -2/3, q
Let d = 65.1 + -65. Put 0.5, d, 3, 9 in increasing order.
d, 0.5, 3, 9
Let v(z) = z - 21. Let g be v(15). Let l be -5 + (-4 - (g - -1)). Sort -0.5, -3/7, l, 4/7 in ascending order.
l, -0.5, -3/7, 4/7
Let a be 13/((-26)/10) - (-23)/4. Sort a, 3, -6/13, -0.2 in descending order.
3, a, -0.2, -6/13
Let c = 10 + -6. Suppose -3*a + c*o = -o + 11, 0 = a - 4*o - 