-1
Suppose 942 = w + 937. Sort -86, 3, -3, w in decreasing order.
w, 3, -3, -86
Suppose 4*h + 6 - 54 = -4*r, 0 = 3*r + h - 42. Suppose 3*v + 7 = -g, 3*v + 4*g + r = 4*v. Put v, 2, -4, 3 in ascending order.
-4, v, 2, 3
Let i = 4.45 + -4.65. Let f = -8/15 - -1/10. Let r = f + 1/10. Sort r, -3, -2/11, i.
-3, r, i, -2/11
Let i = 34 + -59. Let w = 25.143 + -0.103. Let o = i + w. Put -0.5, o, -0.2, 0.2 in descending order.
0.2, o, -0.2, -0.5
Let x = -1.95 - 0.05. Let q = -1157 + 1156.647. Let f = q - 2.647. Sort -3/2, f, 0, x.
f, x, -3/2, 0
Let o = -14.36 - -0.61. Let g = 14 + o. Let x = 26.45 + -26.65. Put 0.5, x, g in descending order.
0.5, g, x
Suppose -417*g + 5456 = -44*g - 4242. Put 369, -3, g in decreasing order.
369, g, -3
Suppose -8 = 2*t, -23*z + 18*z = -2*t + 72. Let m be z/15 + (-10 - 320/(-30)). Sort m, -10, 2 in increasing order.
-10, m, 2
Let x(n) = n + 12. Let j be x(-6). Suppose -2*b - j = -30. Let y = b - 13. Put 7, 1, y in descending order.
7, 1, y
Let a be (-8)/20*-1 - 1863/(-405). Put 0.5, a, -2, 0.9, -1 in increasing order.
-2, -1, 0.5, 0.9, a
Let l(g) = -g**2 + 9*g - 3. Let t be l(9). Suppose -3*c + 3 = -3*y, 4*c + 0 = -3*y + 4. Let b = 27.11 + -27. Put t, y, b in descending order.
b, y, t
Suppose 2*d - 4 = -2*d. Let s = -104 + 109. Suppose -s*r + 25 = -5*c, -2*c + 3*r = 16 - 2. Put c, 3, -5, d in decreasing order.
3, d, c, -5
Let q(a) = -3*a**3 - 3*a**2 + a. Suppose -4*o + 4 = v - 4*v, -2*v = o - 1. Let z be q(o). Put 4, 8, z in decreasing order.
8, 4, z
Suppose -m - r - 54 = 53, m + 131 = 5*r. Let a = m - -70. Let w = -44 - a. Put -2, w, -5 in descending order.
-2, w, -5
Let w = -9175 + 9248. Sort 2, w, 28 in decreasing order.
w, 28, 2
Let n = 11/65 - -16/13. Let v = -838/3725 - -93/3725. Put n, 0.5, v, -1/9 in descending order.
n, 0.5, -1/9, v
Let f be (-9)/2 + 3/6. Let l = 557 + -559. Sort f, 1, -1, l in ascending order.
f, l, -1, 1
Let h(f) = -f**2 + 43*f + 464. Let z be h(52). Put z, 3/8, -6, 0.4, -2/13 in descending order.
0.4, 3/8, -2/13, z, -6
Let k = 0.605 + -7.495. Let x = k + 7.29. Put 2, 51, x in increasing order.
x, 2, 51
Let k = -7924/627 - -710/57. Let b = 0.2 - -0.4. Let w = b + -4.6. Sort w, k, -2 in decreasing order.
k, -2, w
Let j = -2252 + 2258. Put -0.06, 14/9, j in ascending order.
-0.06, 14/9, j
Let n = -152 + 156. Let a(r) = r**2 + 7*r - 44. Let v be a(n). Sort -1, v, 5 in decreasing order.
5, v, -1
Let z = 0.269 - 28.969. Let m = 29 + z. Sort -4, m, 0.17, -0.3 in ascending order.
-4, -0.3, 0.17, m
Let b = 150.6 + -151. Put b, 3/20, 2/5 in ascending order.
b, 3/20, 2/5
Let k = -141 + 140.7. Let d be (-4)/9 - (-350)/(-63). Let n be (-18)/9 + 2 + d/(-8). Sort -6/19, k, n.
-6/19, k, n
Let n be (2 - 41)*1 - 3. Suppose 68*z - 75*z + 35 = 0. Sort n, -0.1, z in descending order.
z, -0.1, n
Let m = -0.8 - -0.3. Let c = m + 3.5. Let l = -424389.4 + 424389. Put c, -4, l, 1/2 in descending order.
c, 1/2, l, -4
Let a(m) = m**3 + 8*m**2 + 8*m + 12. Suppose -16*j = 58 + 54. Let f be a(j). Sort 36, -4, f, -5 in descending order.
36, f, -4, -5
Let a = 19250 + -19251. Sort 22, 2/3, a, -3, 0.
-3, a, 0, 2/3, 22
Suppose 63*t = 71*t + 360. Let p be 0 - -5 - (t + 51). Let n be 8/6*6/(-2). Put n, 2, p in descending order.
2, p, n
Let x = -49 - -91. Let q = x + -37. Let f = 4 - q. Put 1, -5/6, f, -4 in increasing order.
-4, f, -5/6, 1
Let v(d) = d**2 + 1. Let m be v(0). Suppose -8*c + 20*c + 60 = 0. Let y = 72 - 69. Sort m, c, y in decreasing order.
y, m, c
Suppose -3*n - 52 = 4*d, 4*n - d = -65 + 21. Let w(p) = -7*p**3 - 1605*p**2 - 459*p - 225. Let s be w(-229). Sort n, -1, s in increasing order.
n, -1, s
Let o = -608 - -3039/5. Let d = 1 + 9. Put -1/3, d, o in decreasing order.
d, o, -1/3
Let b be 24/13 - (-1)/(52/8). Let n = -12.29 - -12.69. Put 3/4, 4, n, b in decreasing order.
4, b, 3/4, n
Let q = -20 - -15. Let u = 31.7 + -33.49. Let v = -1.8 - u. Sort -0.5, v, q in descending order.
v, -0.5, q
Suppose 10*g - 974 = 886. Let q = 182 - g. Sort q, 1/3, -7, -0.2.
-7, q, -0.2, 1/3
Suppose 3*i + r - 8 = 0, -5*i + 5*r + 62 - 122 = 0. Suppose f + 10 = 3*f. Sort 39, 2, i, f.
i, 2, f, 39
Let w be (1 - 0 - 0)/((-15)/(-40 + 100)). Sort w, -0.3, -0.1, 6, -6 in increasing order.
-6, w, -0.3, -0.1, 6
Let z = 0.145 - 0.115. Suppose 723*l - 745*l = 44. Let p = -0.1 - -0.5. Sort p, l, z in descending order.
p, z, l
Let t = 85 - 132. Let d = t - -54. Let f = -0.1 - 0.2. Sort d, -2/11, f.
f, -2/11, d
Let u = 1 + 2. Let l(p) = 12*p**2 + 29*p + 6. Let y be l(-2). Sort u, 13, 2, y in ascending order.
y, 2, u, 13
Let l = 217 - 182. Suppose l*g - 8*g - 243 = 0. Put -5, g, -4 in increasing order.
-5, -4, g
Let l = -636 - -666. Sort 2, l, 4.2.
2, 4.2, l
Let d = -4.1734 + 0.1734. Put 0.05, d, 3/4, 0 in ascending order.
d, 0, 0.05, 3/4
Let f = 277.7 - -32.3. Let r = -310.07 + f. Let n be (-2)/((-4)/5*2). Put r, n, -2 in decreasing order.
n, r, -2
Let s = -134 + 130. Let k = 1 - 1.8. Let q = 1 + k. Sort s, q, 5 in increasing order.
s, q, 5
Let p = 18531 - 18527. Sort p, 34, -4.
-4, p, 34
Suppose -i - x + 29 = -6*i, 0 = 3*i + 2*x + 20. Suppose 26*r = 31*r - 10. Suppose -5*n + 21 = r*n. Sort i, n, -5 in ascending order.
i, -5, n
Let c = -176 - -179.5. Let r = -3.2 + c. Put r, 0, 4/23 in descending order.
r, 4/23, 0
Let i be (-26)/(-6) + (-11)/33. Let k be 12/(-55) + i/10. Suppose -1594*y + 1589*y = -5. Sort -2/17, y, k, -4 in decreasing order.
y, k, -2/17, -4
Suppose -4*u - 5 = j, -2*j - 13 = -u - 7*j. Let q(c) = 5*c + 11. Let s be q(u). Suppose 17 + 3 = -5*w. Put s, 2, w in descending order.
2, s, w
Let p = -141 - -311. Let t be 2/(-6) + (-1)/((-15)/p). Put t, 0, 2/9 in descending order.
t, 2/9, 0
Let d = 1557 + -1559. Put 0.1, 3, 1, d, 76 in descending order.
76, 3, 1, 0.1, d
Let d = 71 - 61. Let x = -1148 - -1147.7. Put d, -2/5, 0.2, x in ascending order.
-2/5, x, 0.2, d
Let i be ((-1 + 10)/9)/(1/2). Suppose 9 = -4*z - 3*o, -10 = i*z - 5*o + 1. Sort z, -7, -6 in decreasing order.
z, -6, -7
Suppose -63*r = -5784 + 6099. Put 2, r, -10, 1, -3 in increasing order.
-10, r, -3, 1, 2
Suppose -68*j + 65*j + 219 = 0. Put 1, 8, j in decreasing order.
j, 8, 1
Suppose c - 4 = 2*k, 0 = -4*c + 12 + 12. Put k, 46, 4 in descending order.
46, 4, k
Let t = -3.87 - 0.13. Let b = 4.3 + t. Let x be (4/(-7))/((-30)/42). Sort x, b, 2/7.
2/7, b, x
Suppose 5*f = -15 - 10. Suppose -43 - 11 = 6*y. Let d be ((-15)/9)/(3/y). Sort d, f, -1 in descending order.
d, -1, f
Suppose 3*n = -2*b + 7, -7*n + 37 = -3*b - 2*n. Let v be 16589/20988 + 2/(-9) - (-3)/(-4). Sort -0.5, -1/3, b, v in descending order.
v, -1/3, -0.5, b
Suppose 16*j = 31*j - 19*j + g + 28, -2*j = 3*g. Suppose -2*a - 9 = 3. Sort j, -5, -4, a in descending order.
j, -4, -5, a
Suppose -33*d + 9 = 75. Let a(q) = -2*q**3 + 6*q**2 + q - 6. Let r be a(3). Sort -5, r, 5, d.
-5, r, d, 5
Let y = -47767 + 47760. Let n = 6 + -3. Put n, y, -14 in decreasing order.
n, y, -14
Let o = -3681 + 3680.9. Sort 3, o, -246 in ascending order.
-246, o, 3
Suppose -4*g + 19*g - 135 = 0. Suppose d = -g + 14. Suppose 0 = -n + 2*n + 5*p - 3, -n + 3 = -p. Put -4, d, n in decreasing order.
d, n, -4
Let c be 12/3 - 3 - 5. Let a(f) = -f**3 - 6*f**2 + 8*f + 8. Let n be a(-7). Suppose -5*o - 2*m = -9, 2*o + 1 = -4*m - 5. Put c, o, n in ascending order.
c, n, o
Let z(k) = 302*k - 1815. Let y be z(6). Sort -2, -9, y, -1, -7 in decreasing order.
-1, -2, y, -7, -9
Let m(t) = 2*t**2 - 12*t + 7. Let p be m(6). Suppose -9*q - 3*q = 0. Sort q, -5, 5, p.
-5, q, 5, p
Suppose 4*l = -845 - 307. Let w = 287 + l. Sort w, -10, 0, 2 in increasing order.
-10, w, 0, 2
Let g be (-2)/(-10) - 88/(-110). Suppose 4*r + 9 = 21. Suppose 3*u + 4*v - 48 = 0, -24 + 81 = 4*u + r*v. Sort u, -5, g in ascending order.
-5, g, u
Let u = 2/241 + 237/482. Sort 0.6, -2, 1.2, u.
-2, u, 0.6, 1.2
Let h = 962 - 967. Put h, 1173, -2 in decreasing order.
1173, -2, h
Let i(x) = 689*x - 3441. Let j be i(5). Let o be 6*(-3 - -2)*4. Sort 5, 3, j, o in increasing order.
o, 3, j, 5
Let f = -6.65 + 6.7. Let y = -0.314 - 0.486. Put 1, y, 0.3, f in decreasing order.
1, 0.3, f, y
Let p be 2*1/(-9) + (-21362)/99. Let s be p/(-80) - (-1 + 4). Sort -0.5, s, 0.09 in ascending order.
-0.5, s, 0.09
Suppose q - 3*b = 7, 5*b - 5 = -3*q - 12. Sort q, 161, -2 in ascending order.
-2, q, 161
Let g be 21/2 