/14, i, 2
Suppose -9*z - 12 = -5*z. Let s be 6/(-9)*(-3)/(-5). Put z, s, 18 in descending order.
18, s, z
Let t be (-1 + -2)*((-140)/12 - -12). Sort t, 3, 7, 5 in decreasing order.
7, 5, 3, t
Suppose 0 = n - 5*d + 7 + 16, 0 = 5*n + d - 15. Let z = -4 - -6. Suppose h + w - 3*w = -4, -4*h + z = -n*w. Put h, 0, 2/9 in descending order.
h, 2/9, 0
Let n = 0.2 + -0.6. Let r be (-11)/(-6) + -1 - 46/92. Sort r, n, -3, 1/4 in decreasing order.
r, 1/4, n, -3
Suppose 2*u - 22 = -0*u - 4*x, -u - 9 = -2*x. Suppose -2*z + j + 8 = 2*j, -3*z - 3*j + 9 = 0. Let a(m) = -m**3 + 15*m**2 + m - 12. Let i be a(15). Sort z, u, i.
u, i, z
Let m be (-4)/(-10) - 51/15. Let p be ((-123)/9 + 12)/(4/12). Sort m, p, 6 in increasing order.
p, m, 6
Let a = -108/715 - 7/143. Sort -0.1, 2/483, a.
a, -0.1, 2/483
Let t = -591.9 - -592. Sort -38, 5, -1, t in decreasing order.
5, t, -1, -38
Let c = -1/10131 - 158705/141834. Let o = 5/6 + c. Let d = -5 - -3. Sort -1/4, o, d.
d, o, -1/4
Let v = -1 + -1. Sort v, 0.2, -14, 2/11 in increasing order.
-14, v, 2/11, 0.2
Let p = 985 + -979. Let v = 2 - 3. Sort p, v, 4 in descending order.
p, 4, v
Let q be (-28)/7*15/(-4). Let c be 5/q*3 + 4. Suppose c*h = -0*h + 75. Put 1, h, 5 in ascending order.
1, 5, h
Suppose -4 = 4*o - 8*o. Let f be (3 - -6)/3 - 7. Put o, f, -1 in increasing order.
f, -1, o
Let n be 4/5*10/2. Suppose -2*a - 18 = v - 3*v, 0 = n*v + 5*a - 27. Suppose -3*i - 26*f + 19 = -28*f, 5*i - 31 = 3*f. Sort v, 3, i in descending order.
v, i, 3
Suppose 4*d - 22 = d - 2*y, 2*y = -2*d + 18. Suppose 60*k - 178 - 122 = 0. Let p = 5 - 8. Sort p, k, d.
p, d, k
Let r be 1*3 - 50/15. Let w be (24/32)/(186/16). Sort 0.4, r, w in descending order.
0.4, w, r
Let a = -2.3 + -0.7. Let c = -2.43 - 0.07. Let m = c - a. Sort m, -2, -1/3 in ascending order.
-2, -1/3, m
Let r = -0.174 + -0.026. Sort 4, r, 0.1, -13.
-13, r, 0.1, 4
Let p = 381 - 380. Put -3, p, 72, -2 in descending order.
72, p, -2, -3
Suppose b - 1 = -3*l + 6*l, 0 = l - 2*b + 2. Sort l, 4, 2 in decreasing order.
4, 2, l
Suppose 0*b - 3*b = 3*v + 12, 4*v - 47 = 5*b. Let d = -3 - b. Sort 5, 0, d in descending order.
5, d, 0
Let n = 789 + -794. Sort -3/4, -61/4, n in descending order.
-3/4, n, -61/4
Suppose 4 = -4*d + 2*d. Let w(i) = i**2 - 12*i - 16. Let s(q) = q**2 - 13*q - 17. Let j(t) = 5*s(t) - 6*w(t). Let c be j(8). Put c, d, -1 in increasing order.
d, -1, c
Suppose -22 = -9*v + 5. Sort v, -3, -2, 5 in ascending order.
-3, -2, v, 5
Let x(v) = -v**3 - 1. Let k be x(0). Suppose 3*i + 4*h - 18 = h, -5*i + 6 = -3*h. Let f = i + k. Sort f, 14, -2 in ascending order.
-2, f, 14
Suppose 3*j + 4*j + 14 = 0. Suppose -r + 0*r = 0. Let z be r/(-2) + 1 - -1. Sort z, -5, j in descending order.
z, j, -5
Let z = 47 + -37. Suppose -z*n + 6*n = 72. Put n, 0, -2 in decreasing order.
0, -2, n
Suppose 0 = -2*g + 4*p + 6, -g + 0 = p - 6. Sort g, 3, -1, -5 in descending order.
g, 3, -1, -5
Suppose a + 16*a = 0. Suppose -3*k - 5*f - 13 = 0, 5*k - 1 = 3*f - 0*f. Put k, 5, a, -5 in decreasing order.
5, a, k, -5
Let y be -2 - 0 - (2 + -3)/(30/150). Let g = -17 + 24. Sort -1, y, -4, g in increasing order.
-4, -1, y, g
Let g be (-1 + 1)/1 - -6 - 10. Let c be (-1 - 2*-1) + 1. Suppose l = 2 + c. Sort g, -6, l.
-6, g, l
Let g be (-17 - -11) + -2 + 8. Sort g, 23, -1, 5 in descending order.
23, 5, g, -1
Let p = -312 + 314. Sort p, -8, 5, -2 in descending order.
5, p, -2, -8
Let u = 10 + -16. Let i = -15.5 + 22.5. Let v = i + u. Sort 5, v, -0.5.
-0.5, v, 5
Let w(y) = y**2 - y + 3. Let z be w(6). Suppose z = -6*c - 5*c. Sort -12, 1, -2, c in ascending order.
-12, c, -2, 1
Let q be 26/117 + (-32)/(-18). Let y = 14 - 14. Suppose 5*o = -y*p + 4*p + 2, -p = -o + 1. Sort q, p, 5 in decreasing order.
5, q, p
Suppose -u + 4 = -2*x, 3*u - 56 = 2*x - 7*x. Suppose -6*d = -2*d + 20. Let t(y) = -y - 7. Let z be t(d). Sort z, -4, u in ascending order.
-4, z, u
Let b = 25.8 - 29. Let q = -3 - b. Let z = -2.8 - 1.2. Sort 4/3, z, q in increasing order.
z, q, 4/3
Suppose 3*f - 12 = 2*u, -43*f - 5*u - 19 = -45*f. Sort -7.1, 2/5, f in decreasing order.
f, 2/5, -7.1
Let k = 0.032 - -0.968. Let j = 1.16 - 1.1. Put j, 3, 4, k in increasing order.
j, k, 3, 4
Let p = 21.8 - 25.54. Let n = p - 0.26. Let s = 56 + -394/7. Sort -1, n, s in decreasing order.
s, -1, n
Suppose 0 = 5*l + 3*a - 11, -4 = l + 2*a - 2. Let j = 0 - 3. Put j, -13, l in increasing order.
-13, j, l
Let u = 2137/4 - 534. Put -1/3, 0.5, 8, u in descending order.
8, 0.5, u, -1/3
Let c = 1 - -20. Suppose 0 = -2*y - 3*k - 2 - 9, -4*y - 5*k - c = 0. Let p be (-2)/2*(0 + -1). Sort y, -1, p in descending order.
p, -1, y
Let t be 0 + (2/(-8) - 0). Let s = 1282.5 - 1282.9. Sort t, 1, 5, s in ascending order.
s, t, 1, 5
Let m = -38 + 40. Suppose -2 = f + m, -v + 3*f + 11 = 0. Sort v, -4, 4.
-4, v, 4
Suppose 0 = -3*p + 4*h - 49, 1 = 5*h - 4. Let o = -11 - p. Sort 1, -4, o, -2 in descending order.
o, 1, -2, -4
Let w = -105 - -185. Let v = w + -80. Sort -0.1, -0.3, 1, v.
-0.3, -0.1, v, 1
Let o = 5 + -2. Suppose -21 = o*v + 21. Let x = 1 + v. Sort 0, 1, x in descending order.
1, 0, x
Let t = 0 - 3. Suppose 5*j = -1 - 4. Let a(n) = -n**3 - 4*n**2 + 2*n + 6. Let u be a(-4). Sort j, t, u in descending order.
j, u, t
Let y(d) = 2*d - 1. Let x be y(-1). Suppose 5*j - 3*c - 20 = 0, j + c = -0*c - 4. Sort -2, j, x in decreasing order.
j, -2, x
Let z = 13 + -4. Suppose -10*h + 27 = -z*h. Sort -4, -2, h.
-4, -2, h
Suppose -3*r = 2*r + 50. Let w be (-2)/(-8) - (r/(-8) + -2). Let k = 3 + -6. Sort w, -5, k in descending order.
w, k, -5
Let o = 6 + -6.3. Let v = -1.27 - -1.67. Sort v, -3, o.
-3, o, v
Let w = -108.4 + 108.5. Sort w, 1/7, -1, -5.
-5, -1, w, 1/7
Let q = -23 + 23.5. Sort q, -3, 1/4, -12/11.
-3, -12/11, 1/4, q
Suppose f - 41 = -2*f - 2*w, -5*w = 3*f - 44. Suppose -2*u + 1 = f. Suppose c + 2 = 7. Sort -2, u, c in decreasing order.
c, -2, u
Let z = -337/6 + 2383/42. Sort 5, -2/15, 896, z in ascending order.
-2/15, z, 5, 896
Suppose j + 3*m = 2*m + 4, 3*j - 12 = -m. Put -11, 6, j in ascending order.
-11, j, 6
Let y = 1330 + -1339. Sort -7, y, 2 in increasing order.
y, -7, 2
Let s be 198/48 + (0 - 4). Let t = 3.98 + 0.02. Put s, -0.4, t in decreasing order.
t, s, -0.4
Suppose 0 = -32*i - 23 + 983. Sort i, -2, -5 in ascending order.
-5, -2, i
Let k(s) = -s**3 - 12*s**2 + 10*s - 15. Let y be k(-13). Let l = -23 + y. Let b be l - (7/5 - 1). Sort -1, b, 1/8 in descending order.
b, 1/8, -1
Let v be (44/3)/(11/66). Suppose -4*k = 4*b - v, -4*k + 2*k + 48 = 3*b. Sort k, -5, 4.
-5, 4, k
Let u be 7 - (3 - 1 - 1). Suppose 5*o + 7*b = 2*b + 95, o - 3*b - 3 = 0. Suppose o = -6*a - 3. Put a, u, -1 in increasing order.
a, -1, u
Suppose -9*l + l = 16. Suppose 4*b + 23 = 3*t, -2*t = 4*b - 7 - 15. Let v = -12 - -8. Put l, t, v in decreasing order.
t, l, v
Let o(c) = -c**2 + 3*c - 2. Suppose 5*f + 0*f - 15 = 0. Let d be o(f). Put 0, 7, d in increasing order.
d, 0, 7
Let z = -2.6 + 5.2. Let q = z - 3.6. Let m = 5.13 - 0.13. Sort q, 6, m in descending order.
6, m, q
Let j = -30 - -18. Let z be -4 - (-9 - -8) - 2. Sort j, 1, z in decreasing order.
1, z, j
Suppose -2*d - 10 = -x + 2*d, -3*d - 13 = 2*x. Sort 2/9, 4, -0.2, x in ascending order.
x, -0.2, 2/9, 4
Suppose 12*a + 8 = 32. Sort -11, a, 13, 4 in ascending order.
-11, a, 4, 13
Suppose -10*h + 8*h = -8. Put 3, -13, h in decreasing order.
h, 3, -13
Let m = 947.5 + -948. Sort m, 12, -6, -5/6 in ascending order.
-6, -5/6, m, 12
Let u(t) = -12*t + 75. Let h be u(6). Sort h, 2, -4/7 in decreasing order.
h, 2, -4/7
Let p = -3280 + 3279.7. Let u(z) = -z**3 + 9*z**2 - 7*z - 7. Let k be u(8). Put p, k, 0 in increasing order.
p, 0, k
Let c = 192.9 + -159.9. Let x = -4.9 + 0.9. Put x, c, 1/7 in ascending order.
x, 1/7, c
Let h = 1568.8 + -1569. Sort 6, h, -0.115.
h, -0.115, 6
Suppose -5*x - 22 = -12. Let o = 0.03 + 1.97. Let h = o - 1. Sort x, 3, h in descending order.
3, h, x
Let r = 411 + -394. Put 7, -1, r, 3 in descending order.
r, 7, 3, -1
Let z(i) = -4*i. Let j be z(1). Let g(k) = k + 4 - k + k. Let y be g(j). Sort -2, -5, y.
-5, -2, y
Suppose 29*v - 10*v = -57. Sort v, 4, 3, -1 in decreasing order.
4, 3, -1, v
Suppose 49*y - 59*y = -60. Sort 3, 0, y, 1 in descending order.
y, 3, 1, 0
Let g be 4/8*-4 - -4. Suppose 0 = 4*u + 5*o - 23, 0 = 4*u - 4*o - g + 6. So