 1
Suppose 6 = 66*x - 69*x. Put 4, x, 3, -146 in descending order.
4, 3, x, -146
Suppose -5*x - 2*l = -1, -l = -3*x - x - 7. Suppose -8*y - 12 = 4. Sort y, x, 5.
y, x, 5
Let j = 4.72 - 6.848. Let x = 0.128 + j. Put -7/5, x, 4, 2/9 in increasing order.
x, -7/5, 2/9, 4
Let u = 34.7 - 33.7. Put -29, u, 2/25 in decreasing order.
u, 2/25, -29
Suppose 42*u = 6*u + 180. Suppose -4*j - 4*p + 36 = 0, -2*j + 1 = -2*p + 3. Sort u, 0, j in decreasing order.
u, j, 0
Let g be (2 + 0)/((-8)/(-20)). Let d = -39 + 43. Put g, d, 3 in descending order.
g, d, 3
Suppose 67 + 63 = 13*x. Let v(n) = n**2 - 11*n + 13. Let p be v(x). Sort 1, p, -1 in decreasing order.
p, 1, -1
Let d = -0.73 - 0.07. Let t = d - 4.2. Let h = 62 - 247/4. Sort h, 3, t in increasing order.
t, h, 3
Suppose -2*z + c = 23, -54*z + 52*z = 2*c + 32. Put z, -47, -5 in decreasing order.
-5, z, -47
Suppose -23*o - 40*o = 126. Suppose a + 3*a - 16 = 0. Sort o, a, -4 in ascending order.
-4, o, a
Let u = -449.3 - -450. Put 3, -0.1, u, -0.3 in decreasing order.
3, u, -0.1, -0.3
Let b = -128 + 126. Sort 0, 19, 3, b in ascending order.
b, 0, 3, 19
Suppose 0*d = 3*d - 9. Let p be 729/(-324) - (-2 - 14/(-8)). Let y be ((-1)/2)/(12/72). Sort y, p, d in increasing order.
y, p, d
Let o = 3 + -1. Let a = 1291.3 - 1291. Sort o, a, -1.4 in increasing order.
-1.4, a, o
Let k = 1.77 + -1.84. Sort -5, 1, -1, k in increasing order.
-5, -1, k, 1
Let z = 0 - 3. Let r = -114 - -134. Suppose 0*b - j = -4*b + 4, 4*b = -5*j - r. Sort z, 4, b in increasing order.
z, b, 4
Let n = -25 + 35. Let g = n + -10. Sort 5, g, 4.
g, 4, 5
Let a = 80/3 + -643/24. Sort -2.6, 0.1, a, 6/7 in descending order.
6/7, 0.1, a, -2.6
Let n = 162 - 162.01. Put -3, 3, n in increasing order.
-3, n, 3
Let a = 623 - 644. Put a, 5, 0, 4 in descending order.
5, 4, 0, a
Suppose 0 = 2*p + 3*p + 100. Let i be ((-4)/(-6))/(-4 + p/(-6)). Put 3, -5, i, 1 in decreasing order.
3, 1, i, -5
Let v = -236/363 + -2/121. Put -4/9, v, 3, 0 in descending order.
3, 0, -4/9, v
Let w be (-4 - -8)*-3*-2*1. Sort w, -1, -3, -4.
-4, -3, -1, w
Suppose -3*z + 3*q = -27, -5*z + 35 = -0*z - 3*q. Let g(w) = w**2 - w - 1. Let r be g(-2). Sort z, -4, -2, r in increasing order.
-4, -2, z, r
Let v(o) = o - 18. Let w(l) = 2*l - 18. Let z(q) = -4*v(q) + 3*w(q). Let f be z(-9). Sort -3, f, 21.
-3, f, 21
Let r = -68 - -151. Suppose 6*t - 79 = 2*t - p, 5*t = 4*p + r. Sort -2, t, -1.
-2, -1, t
Let g be 6/8 + (-2)/(16/30). Suppose c = 2, -3*q + 5 = 2*c - 11. Put g, -2, q in increasing order.
g, -2, q
Let u = -14.3 - -13.9. Let h = -0.7 - 0.3. Put u, h, -4/5 in ascending order.
h, -4/5, u
Let r = 0.429 - 0.795. Let i = -0.066 - r. Sort -0.5, i, 3/2, 12 in descending order.
12, 3/2, i, -0.5
Let d = 61/38 - 10225/6346. Let q = d - -838/501. Let r = 921 + -917. Sort q, -4, r.
-4, q, r
Suppose 5*j - 11 = -k, 5*j - 28*k - 31 = -24*k. Sort j, 0, 19 in ascending order.
0, j, 19
Let x = -23 - -20. Suppose 2*d + 5*u = 22, -2*u + 5*u = 12. Suppose 0 = -n - d - 4. Put x, n, -4 in decreasing order.
x, -4, n
Let o = 151.044 - 151. Let b = 0.544 - o. Sort -2/7, b, -2/5.
-2/5, -2/7, b
Let z = 7 + -4. Let a(w) = -w**3 + 4*w**2 + 4*w + 2. Let b be a(5). Let f(r) = -2*r**2 + 13*r - 13. Let u be f(5). Put z, u, b in descending order.
z, u, b
Let p be (-4)/12*-3 + -3. Let n be (p - (-8)/12)*-3. Suppose -3 + 4 = u. Put -5, u, n in decreasing order.
n, u, -5
Let p = -1.45 - -1.95. Put p, -3/8, 0.3 in increasing order.
-3/8, 0.3, p
Suppose -69*s + 25 = -74*s. Sort 0, s, 2 in descending order.
2, 0, s
Suppose 5*a = 7*a + 8. Sort -6, 0, a, 4 in descending order.
4, 0, a, -6
Let i = -0.8 + 0.4. Let w = -5.9 - -2.3. Let f = -1.4 + w. Put f, -1/4, i in ascending order.
f, i, -1/4
Let g be 40/15 - 1/(-3). Suppose 3*b = -3 - g. Let z = 12 - 12. Sort b, z, 4.
b, z, 4
Let j = 4.42 - 1.42. Put -2/3, -2, j, -2/5 in decreasing order.
j, -2/5, -2/3, -2
Let v = -71 + 94. Let x = v - 23. Sort 4, 2/11, x, -4 in decreasing order.
4, 2/11, x, -4
Let m(o) = -o - 7. Let p be m(-7). Let r be (-7 - p) + 1 + 1. Sort r, 4, 33 in decreasing order.
33, 4, r
Let v = -0.05 + -0.05. Let b be 3/24*(-1436)/(-10). Let a = -86/5 + b. Sort a, 0.1, v in ascending order.
v, 0.1, a
Let s = 0.437 + 0.033. Let l = s - -0.03. Sort -4, l, -0.3, 1 in decreasing order.
1, l, -0.3, -4
Let p be 36/108*6/(-10)*-15. Sort -24, -2/3, p in increasing order.
-24, -2/3, p
Let k = -160 + 160.07. Let f be (30/2)/(-3)*1. Sort f, 1/2, k.
f, k, 1/2
Let g = -90.9 + 90.7. Put g, -4, 7/5, -10 in descending order.
7/5, g, -4, -10
Let y be 2/15*63/(-14). Suppose 0*u + 3*u + 15 = 0. Let w be (-2)/3 - 7/(-6). Sort w, y, u.
u, y, w
Let f be (1502 - 65)/((-9)/3). Sort f, 5, 0.1.
f, 0.1, 5
Suppose 330 = 23*h - 8*h. Sort h, -2, 3, 4 in descending order.
h, 4, 3, -2
Let u(p) = -10*p + 51. Let a be u(7). Sort -2, -5, a in ascending order.
a, -5, -2
Let q = 0.106 + 21.894. Sort 4/5, q, 0.3, -2/3 in descending order.
q, 4/5, 0.3, -2/3
Suppose 11*h - 7*h + 152 = i, -4*h - i = 160. Sort 6, 5, h in ascending order.
h, 5, 6
Let f = -60.133 + -0.667. Let g = 61 + f. Put 4, -0.4, g in decreasing order.
4, g, -0.4
Let a be -93*((-25)/(-15))/(-5). Let k = 29 - a. Sort 3, 1, k in descending order.
3, 1, k
Let n(c) = -2*c**2 - 2*c - 1. Let x be n(-1). Suppose 0 = -2*y + 4 + 8. Suppose -y*u = -4*u. Put 5, u, x in decreasing order.
5, u, x
Suppose -294 = 180*q - 194*q. Put q, -1, 4 in ascending order.
-1, 4, q
Let a = 89/3 + -30. Sort 2/109, a, 0.5, 1.
a, 2/109, 0.5, 1
Let v = -29.47 - -0.47. Let b = 28.5 + v. Put b, -28, -0.1 in ascending order.
-28, b, -0.1
Suppose -4*s - s - 15 = 0. Suppose -83*f = -80*f - 72. Suppose 0 = 5*k - 2*y + f, -5*k + 8*y - 3*y - 30 = 0. Sort 5, s, k in ascending order.
k, s, 5
Let x = -3 - -4. Let u be (-75)/(-11) - 10/(-55). Suppose -3*j + 5*j = -2*o - 10, -5*o - u = -4*j. Sort 0, o, x in decreasing order.
x, 0, o
Let t be ((-1)/(-2)*20)/(-2). Let o = -17.83 - 0.17. Let q = o + 23. Put q, -4, t in decreasing order.
q, -4, t
Let i = 11.73 + 0.27. Let w = i + -13. Suppose -5*q = -2*q. Put 2, w, q in increasing order.
w, q, 2
Suppose g - 3 = 0, 60*k - 63*k - g + 24 = 0. Sort -2, 5, k, -3.
-3, -2, 5, k
Let q = 0.22 + -0.35. Let h = q - -0.23. Let s = -0.4 + h. Sort -0.08, 1, s.
s, -0.08, 1
Let d = 3 + -3. Let r = -1.4 + d. Let x = -1.6 + r. Sort 2, -0.5, x.
x, -0.5, 2
Suppose 3*h + 535 = -2*h. Let i = 751/7 + h. Put -0.1, i, 1/4, -4 in ascending order.
-4, -0.1, 1/4, i
Let b be (-7)/14*(-5 + -1). Let y = -5.3 - -3.6. Let z = 1.1 + y. Sort 0.2, z, b.
z, 0.2, b
Suppose -5*p + 4*p - 2*f - 4 = 0, 3*f = 5*p - 19. Let v = 47.971 - -0.029. Let m = 46 - v. Put p, 1, m in increasing order.
m, 1, p
Let v(k) = -3*k**3 - k**2 - k - 2. Let s be v(-1). Put -13, s, -2 in ascending order.
-13, -2, s
Let q = 5.8 + -8.8. Put -2, q, -5, -2/3 in decreasing order.
-2/3, -2, q, -5
Let g = 38 + -41. Let b(j) = 2*j + 12. Let w be b(g). Sort 5, w, -5.
-5, 5, w
Let q be 2/(-4)*-2 - 1. Let v(u) = -8*u - 662. Let g be v(-82). Put 2, q, g, -3 in descending order.
2, q, -3, g
Let p(k) = k**3 + 2*k**2 - k + 1. Let o be p(-2). Suppose -5*r - 4 = -9. Put -5, 0, o, r in ascending order.
-5, 0, r, o
Let t(j) = -8*j + 38. Let p be t(5). Put 3/4, p, -0.4, 0.16 in decreasing order.
3/4, 0.16, -0.4, p
Let j = -280 + 3082/11. Put 5, -5, 2/5, j in increasing order.
-5, j, 2/5, 5
Let p = 123 + -128. Put -2, p, 6 in increasing order.
p, -2, 6
Let h = 2006 - 2007. Sort -2, -10, h in descending order.
h, -2, -10
Let f be (10 - 8 - -9) + 10. Put 12, -3, f in ascending order.
-3, 12, f
Suppose -3*u + 8 = u. Let k = -28 - -32. Suppose 0 = k*h - 8*h - 20, 2*z + 2*h = -14. Sort -4, z, u in descending order.
u, z, -4
Suppose 2*a - 4*h + 0*h = -8, -3*h = 2*a - 20. Put a, -4, 82 in descending order.
82, a, -4
Suppose 0*o = 5*o - 2*h + 885, -5*h = 0. Let m = 1236/7 + o. Let j = -3.8 - -4. Put m, j, 2/11 in ascending order.
m, 2/11, j
Let k = 4.43 - 4.83. Put 0.5, k, -11, 5/2 in decreasing order.
5/2, 0.5, k, -11
Let m = -0.3 + 0.1. Let v = m - 0. Let q = 721/3 - 241. Sort v, -5, q in ascending order.
-5, q, v
Let a be (-12)/3 + -2 - (-9 - -3). Let k = -3 + 5. Sort -3, k, a.
-3, a, k
Suppose j + 4*j + 25 = 0. Suppose -m + 5*w = -30, 5*m = -4*w + 21 - 16. Sort m, 3, j in increasing order.
j, 3, m
Let a = 145 - 583/4. So