 + 1994. Put -3, -4/7, z in descending order.
z, -4/7, -3
Let f(s) = -s**2 - 6*s + 12. Let m be f(3). Let a be (-10)/(-25) - (3 + 54/m). Sort a, 4, 2, 0 in increasing order.
0, a, 2, 4
Let x = -1495 - -1499. Let d = 14 - 20. Let m be (-3 - -1)/((-4)/d). Put m, x, 9 in increasing order.
m, x, 9
Suppose -3*h = 2*a - 2, 3*h + 0*h = 4*a - 4. Let r be 0/(a - (-4 + 4)). Let d = 2 + -3. Sort 3, r, d.
d, r, 3
Let b = 28 + -23. Suppose 0 = b*x - 5*w - 155, 2*x + 2*w + 120 = 6*x. Let u = 27 - x. Sort -5, u, 2 in descending order.
2, u, -5
Let v(j) = -j**2 - 5*j. Let y be v(-4). Let g be 30/15*(-10)/(-4). Suppose -20 = -b + g*b. Sort y, b, -3 in decreasing order.
y, -3, b
Let n be (2/16*3)/((-132)/88). Let d = -0.032 - 0.068. Let k be 1/6*2/(-3). Put d, n, k in descending order.
d, k, n
Let d(b) = b**2 + 21*b + 67. Let n be d(-4). Sort -3, 5, n, 3.
-3, n, 3, 5
Suppose 0 = 11*t - 2*t - 27. Let u be 4/t + (-2)/(-3). Sort -5, u, 5, -23.
-23, -5, u, 5
Suppose 1 = -5*u - 3*r, -u - r = -2 + 1. Let q be ((-1)/(-2))/(5/40). Sort q, -5, u in descending order.
q, u, -5
Suppose -4*d + 3*r = 9, -3*r - 28 = 4*d + 11. Let x be (5/15)/(2/d). Put 0, x, -3 in ascending order.
-3, x, 0
Let d = 23 + -13. Suppose g = -f + 1, 3*f = 3*g - d - 11. Suppose -2*v + g*o = -3*v - 12, -3*o - 26 = 5*v. Sort 1, -2, v.
v, -2, 1
Let o = 0.243 + 0.157. Let a = 16.3 - 16. Sort o, a, 2/17, -0.3 in increasing order.
-0.3, 2/17, a, o
Suppose -15*z + 96 = 156. Sort -39, -0.5, z, -3 in increasing order.
-39, z, -3, -0.5
Let l be (84/(-36) + -1)/(1/(-3)). Let a(u) = u**2 + 2*u - 3. Let b be a(2). Put b, 0, 1, l in descending order.
l, b, 1, 0
Let o = -1441 + 1443. Let h(z) = -z**3 - 3*z**2 - 2*z. Let b be h(-2). Put o, b, -14 in ascending order.
-14, b, o
Let c = -69 + 44. Let n = 22 + c. Sort 0, -0.3, n, 2/5.
n, -0.3, 0, 2/5
Let t(z) = z + 0*z**2 - 1 - z**2 + 2. Let r be t(-2). Suppose -36*d = 111*d + 588. Sort d, 3, r.
r, d, 3
Let w be (7 - 365/50)/((-6)/4). Sort w, -4, -0.7.
-4, -0.7, w
Let h be 0*(-5 + (4 - 9/(-6))). Sort 3, -1, h, 2 in decreasing order.
3, 2, h, -1
Let x = 13/147 + 12/49. Sort x, -4, -2/15 in increasing order.
-4, -2/15, x
Suppose 2*a - 6 = 4. Suppose b + 3*h - 1 = 0, -6*b + b = 4*h + 6. Sort b, a, 1 in increasing order.
b, 1, a
Let s = -54.1 - -54. Put 0.2, 1/2, s, 29 in increasing order.
s, 0.2, 1/2, 29
Let c(u) = -4*u**2 - 36*u + 2. Let i be c(-9). Put i, 3, -5, 5 in ascending order.
-5, i, 3, 5
Suppose 2*n = 4*h - 26, -3*n - 3*h = -h - 1. Let x(w) = 49*w + 290. Let l be x(-6). Sort n, 5, l, -2 in decreasing order.
5, -2, n, l
Let s = 23/6 + -97/30. Put 5, 0.3, 0.4, s in decreasing order.
5, s, 0.4, 0.3
Let a(x) = -x**2 - 47*x - 316. Let u be a(-39). Sort u, -1, -2, 7.
u, -2, -1, 7
Let l = 16 + -22. Let g be (l/(-2) + -2)*3. Suppose t - 3 = 0, 4*t = -z + 14 - 2. Sort g, z, 2 in descending order.
g, 2, z
Let a = 1914 + -1910. Put -1, 3, a, 7 in decreasing order.
7, a, 3, -1
Let f = -1798.8 + 1799. Sort 0.4, f, 0.01, -0.28 in decreasing order.
0.4, f, 0.01, -0.28
Let c = -1331/48 - -17/16. Let r = c - -27. Sort 3/7, 0.3, r in increasing order.
0.3, r, 3/7
Let r = -0.037 - -44.037. Let v = -47 + r. Sort 4, v, 1/6 in descending order.
4, 1/6, v
Let j be (-11)/10 + -4 - 1/(-10). Put -27, -9, j in increasing order.
-27, -9, j
Let w = 66.6 - 66.2. Let s be (-2)/(-3) - (-3)/(-3). Let d = 1 + s. Put w, -0.5, d in decreasing order.
d, w, -0.5
Let u = 634 - 634.3. Sort -4, u, -5/3, -3 in ascending order.
-4, -3, -5/3, u
Let x = 1024 + -1025. Put 4, -5, x in decreasing order.
4, x, -5
Let s = -48.36 + 51.36. Let w(f) = f**2 - 4. Let v be w(3). Put v, s, -4 in descending order.
v, s, -4
Suppose -d + 14 - 9 = 2*y, -4*d + y = -20. Let l = -3 - -2.5. Let t = l - -0.4. Sort 0.1, t, d in descending order.
d, 0.1, t
Let s = -165 - -168. Let x = 0.13 + -5.13. Sort s, -0.2, 5, x in ascending order.
x, -0.2, s, 5
Let x(j) = j**2 + 5*j - 10. Let c be (-2)/(-4) - 57/6. Let t be x(c). Suppose -3*o + 3*a + 21 = 0, a + a = 5*o - t. Put 0, -1, o in decreasing order.
o, 0, -1
Let x = -0.1615 + 4.1615. Let v = 17/5 - 49/10. Sort x, v, -0.2 in ascending order.
v, -0.2, x
Let p = -0.01 + 1.01. Let l = 35.95 - 36. Let u = l - 0.15. Put p, u, 2/7 in descending order.
p, 2/7, u
Suppose -24 + 20 = -s. Put 12, s, 4/9, 2/3 in decreasing order.
12, s, 2/3, 4/9
Let q be 1 + (-1 - 2/(-6)). Let v be 13/((-3276)/8) + (-3)/27. Put -0.1, q, v, -0.2 in ascending order.
-0.2, v, -0.1, q
Suppose 10*z - 8*z = 5*u - 10, 0 = -3*u - 5*z - 25. Put -3, -2, 2, u in descending order.
2, u, -2, -3
Let j(u) = -u**3 + 2*u**2 - 2*u. Let r be j(2). Let o = 2068 - 14440/7. Let a = o - 37/7. Put r, 2, a in decreasing order.
2, a, r
Let i = 2 - 7. Suppose 0 = -3*a - 9, 0*d - 3*d + 5*a + 6 = 0. Let f = i - d. Sort f, -4, -1 in ascending order.
-4, f, -1
Let o = 10 + -10.14. Let h = o - -0.09. Let n = h + 0.45. Sort 1, n, -5 in descending order.
1, n, -5
Let v = -4.9 + -1.1. Let o = -6.2 - v. Let i = 1.12 + -0.72. Sort o, i, -3/4.
-3/4, o, i
Let m = 0.1 + -3.1. Let w = -1279 + 1277. Sort m, w, -5, -13.
-13, -5, m, w
Let w(b) = 14*b - 44. Let d be w(3). Put -18, d, 0 in ascending order.
-18, d, 0
Let h(r) = -r**3 - 5*r**2 - 5*r - 2. Let m be h(-4). Suppose 3*x + 3 - 2 = 2*w, 2*w = -5*x + 9. Put -7, m, x in descending order.
m, x, -7
Let s be (141/15 + -9)/((-2)/20). Sort -2, s, -1, 1.
s, -2, -1, 1
Let j be 9 + 42/(-8) - 2. Put j, 0.4, 4/5, 5 in ascending order.
0.4, 4/5, j, 5
Let w be (2*1)/((-4)/(-72)). Let u be w/(-7)*14/(-3). Suppose -3*y + 9 = u. Sort -2, 1, y in ascending order.
y, -2, 1
Let w = 251 + -269. Sort 3, w, -5 in decreasing order.
3, -5, w
Suppose 0*r = -4*r + 28. Suppose -4*m + 21 = -15. Suppose -4*q - m = -r*q. Sort q, -2, -1 in ascending order.
-2, -1, q
Let l = 501 - 746. Put 2, l, 0 in descending order.
2, 0, l
Let f = -52/3 - -35/2. Sort -1/11, f, -4.
-4, -1/11, f
Let v = -0.4075 + 0.0075. Sort 2/11, 0, v, 0.3.
v, 0, 2/11, 0.3
Let n = -325 - -321. Sort 9, 6, n in descending order.
9, 6, n
Suppose 2*b - 12 = 5*u + 60, -5*u - 46 = -b. Suppose 6*c - 2*x - b = 2*c, -3*c = 5*x. Sort 3, 1, c in descending order.
c, 3, 1
Let o = 228 + -226. Put -115, 3, o in descending order.
3, o, -115
Suppose 3*w - 5*f + 25 = 0, 4*w = 3*f - 0*f - 26. Put -207, 1, w in decreasing order.
1, w, -207
Let y = -596.9 + 597. Let n = -74/7 + 127/14. Put y, 13, 1/4, n in ascending order.
n, y, 1/4, 13
Let j = -18.18 - -18.48. Sort j, 0.344, -2/9.
-2/9, j, 0.344
Let w = 211 - 146. Suppose -5*m + v + w = -v, 0 = -2*m + 4*v + 42. Put 5, m, 0 in ascending order.
0, 5, m
Suppose 0*d = -5*d - 20. Suppose 3*z - 5*p - 33 = 0, -5*p + 2*p = 3*z - 9. Let s be 0/(-2*3/z) - -3. Sort d, s, 1.
d, 1, s
Let x(m) = m**3 - 3*m**2 - 4*m + 3. Let g be x(4). Suppose -3 = -3*j + g*z, 5 = 4*z + 1. Suppose 0 = j*l - 13 + 3. Sort 4, l, -5 in increasing order.
-5, 4, l
Let o be (-1)/(16/(-3) - -5). Put 5, o, 15 in descending order.
15, 5, o
Let g = -2135 - -2135.2. Put 2, g, -135 in descending order.
2, g, -135
Let c = 33 - 28. Suppose -v - v + 2*z = -16, 2*v + c*z = -12. Put -3, v, 2 in decreasing order.
v, 2, -3
Let v = -709 - -713. Sort -1, v, 7, -2 in ascending order.
-2, -1, v, 7
Let z = 2610 + -2622. Sort -2, z, 4, 3 in decreasing order.
4, 3, -2, z
Let u = -19 - -23. Let h be (-30)/20*(-2 + (-4)/(-6)). Sort 3, u, h.
h, 3, u
Let g be (-180)/(-160)*8/6. Put g, 5/4, 16, -2 in increasing order.
-2, 5/4, g, 16
Let n be 1 + 0 - (-4)/1. Suppose q = 2*q + n. Let k = -3901 + 3904. Sort q, k, -3 in decreasing order.
k, -3, q
Let b(c) = -c + 53. Let l be b(-28). Let s = 77 - l. Sort s, -2, -3, 4.
s, -3, -2, 4
Suppose -2*d + 4*d = 0. Let k(q) = 1 + 6 - 67*q + d + 65*q. Let x be k(5). Put 3, x, -0.1 in ascending order.
x, -0.1, 3
Let r = 15 - 9. Let f be (r/(-4))/(9/(-12)). Suppose 4*j - j + 5*t = 0, t = f*j. Sort -5, j, -3 in increasing order.
-5, -3, j
Suppose -n = -5, -w + 4*n = 9*n - 21. Sort -5, -3, w, 4 in decreasing order.
4, -3, w, -5
Let g(i) = -3*i**2 + 6*i - 6. Let r be g(1). Let l be r/((-30)/4) - 138/(-30). Put -5, -4, l, 3 in descending order.
l, 3, -4, -5
Let d be 3*16/(-60)*5/26. Sort 12, -0.4, d in decreasing order.
12, d, -0.4
Suppose -4 + 0 = 2*v. Let w = 23 + -22. Suppose j = 2*j - 2. Sort j, v, w.
v, w, j
Let c = 232/21 - 75/7. Let o be (-5)/90*(-1 + 