). Sort u, -3, a in ascending order.
-3, a, u
Suppose -10*w - 301 + 331 = 0. Put 0, w, 5 in descending order.
5, w, 0
Let q = 4.91 + 0.09. Let i = 0.042 + -20.042. Let a = -20 - i. Sort 0.4, q, a.
a, 0.4, q
Let v be (-26)/(-10) - 4/(-10). Let t = 1046 - 1045. Put v, -4, t in descending order.
v, t, -4
Let m = 8.7 + -8. Let d = -1 + m. Let a(w) = -w - 5. Let k be a(-6). Sort -2, d, k.
-2, d, k
Let h = -10925/7 - -1561. Suppose 0 = -2*o + 3*o. Let y be 1 - (o + (-1)/(-4)). Sort h, -4, y in decreasing order.
y, h, -4
Let o = -0.21 - -0.21. Sort 0.03, o, 0.1, -0.2 in descending order.
0.1, 0.03, o, -0.2
Let m(i) = i**2 + i - 15. Let y be m(4). Sort 0, 1, 2, y in increasing order.
0, 1, 2, y
Suppose 8*y - y = 0. Suppose 5*k + 4*r - 12 = -5, 5*k + 2 = -r. Let p = k - -3. Put p, y, -5 in increasing order.
-5, y, p
Let p = -122 - -85. Sort 3, 19, p in descending order.
19, 3, p
Let z(r) = r + 3 - 10 + 0 + 1. Let b be z(9). Sort 0, b, -1, -3 in increasing order.
-3, -1, 0, b
Let u = -10 - -14. Let y = 0 + 3. Suppose 8 - 23 = y*j. Sort u, j, 0 in decreasing order.
u, 0, j
Let p = 54/7 - 472/63. Let b = -0.31 - -0.81. Sort -0.05, b, p.
-0.05, p, b
Let p = 159/112 + -9/16. Sort -4, p, -0.9, 0.3 in ascending order.
-4, -0.9, 0.3, p
Let j = -3.1 + 3. Let f be (0 + 1)/(8/96). Let z be (-1)/(3*9/f). Sort z, j, 0.3 in decreasing order.
0.3, j, z
Let w be ((-80)/50)/(1/(-20)). Suppose 3*q + w = 2. Sort 0, -4, q in descending order.
0, -4, q
Let z be (-1 + 5/15)/3. Let s = -1.2 - -6.2. Sort 0.1, z, s, -1/28.
z, -1/28, 0.1, s
Let b be (2 - 1)*368/(-138). Sort -8, 4, -2/7, b in ascending order.
-8, b, -2/7, 4
Let q = -208.98 - -209. Sort -1, -0.2, q in decreasing order.
q, -0.2, -1
Suppose 3*s + s - z - 5 = 0, s = -z. Suppose -4*g + 2 = -3*d, -4*g - 5 = 4*d + 7. Let t be (d/(-5))/(s/10). Put t, -3, -4 in ascending order.
-4, -3, t
Let b(l) = -22*l - 484. Let w be b(-22). Sort w, 9, -1 in decreasing order.
9, w, -1
Let g = 0.07 + 1.43. Sort -4, g, -3, -1/5 in decreasing order.
g, -1/5, -3, -4
Let l = 15 + -12. Suppose -l*i + 2 = -1. Let f(y) = -y**3 + 3*y**2 + y - 1. Let c be f(3). Put 5, i, c in descending order.
5, c, i
Let v = -25574063/568793316 - 29/87332. Let b = v + -1/167. Let w = 102 - 106. Sort w, b, 2/13 in decreasing order.
2/13, b, w
Let l(r) = -r**3 - 8*r**2 + 1. Let i be l(-8). Put i, -4, 2, 3 in increasing order.
-4, i, 2, 3
Let v be (-3 + 1)*(-1 - 3/6). Let g(c) = -c**3 + 8*c**2 - 8*c + 6. Let x be g(7). Let r be 0*(2 + -3)*x. Sort -3, v, r in decreasing order.
v, r, -3
Let l(t) = 14*t - 95. Let k be l(7). Put 0.3, k, -2/19, -0.2 in ascending order.
-0.2, -2/19, 0.3, k
Let u = 182 + -277. Let b = u + 100.7. Sort -0.2, -1, b in descending order.
b, -0.2, -1
Let x = 0.7 - 0.5. Let k = -187 - -745/4. Sort k, 0.1, x.
k, 0.1, x
Let b = -1.12 + 1.02. Sort b, -2, 14 in ascending order.
-2, b, 14
Let x = -624 + 627. Suppose -3*d - 2*h = -16, 2*d + h - 5*h = -16. Put -3, x, 4, d in ascending order.
-3, d, x, 4
Let p = 1332 - 1327. Suppose 3*k + 92 = -0*b + 5*b, 3*k - 4 = -b. Suppose -m - 4 = -5*j - b, -m - 8 = 5*j. Put p, m, 4 in decreasing order.
p, 4, m
Let u(h) = -h**3 - 11*h**2 - 9*h + 8. Let t be u(-10). Let d be 3 + -2 + (-4)/(-2). Put t, -5, d in descending order.
d, t, -5
Let l = -53 - -64. Let j = l - 11.3. Sort -12, -3, j in descending order.
j, -3, -12
Let f(s) = -2*s**2 + 7*s**3 + s**2 - 2*s - s**3 + 3 - 5*s**3. Let n be f(2). Put n, 25, 0, 5 in descending order.
25, 5, n, 0
Let a be (2 - 1)*-2 - (-3 - -2). Put 12, 5, a, -3 in decreasing order.
12, 5, a, -3
Let k = -0.55 + 0.85. Let j be 2 - (-2)/9*-12. Put j, 1/5, k, 0.4 in decreasing order.
0.4, k, 1/5, j
Let z = 195 + -191. Sort z, -4, -2, -3 in descending order.
z, -2, -3, -4
Let d = -11.32 + 11.12. Suppose 1 = -c + v, 7 + 4 = -4*c - 3*v. Sort d, -5, c in decreasing order.
d, c, -5
Suppose -4*a - 4*t = -24, -2*a = -7*a + 5*t - 20. Let g = a - 6. Put 0.5, g, -7 in decreasing order.
0.5, g, -7
Suppose -15 = -2*b - 1. Suppose -a = -2*v - 1, -b = -2*a + a - v. Put 0, a, 4 in descending order.
a, 4, 0
Let n = 762 - 765. Let u be (-4)/18 + 35/(-45). Put -3/2, 0.3, n, u in ascending order.
n, -3/2, u, 0.3
Let o = -2.4 - -3.1. Let g = 0.5 - o. Sort 0.5, g, 0.4 in increasing order.
g, 0.4, 0.5
Let q = -1 + -1. Suppose 2*z + 0 = -3*x - 10, -5*z - 5*x = 15. Suppose -4*t - t = 0. Sort q, z, t.
q, t, z
Suppose -s - 4*s - 20 = 0. Let q(p) be the second derivative of -p**3/6 - p**2 + 9*p. Let z be q(-1). Sort z, s, -5 in decreasing order.
z, s, -5
Let t be (0 + (-18)/(-32))*6/(-9). Let z = 5 - 4.5. Let l = z - 0.5. Sort t, -2, l in descending order.
l, t, -2
Let v be 0 + (2 + -3 - 11). Let j = v - -15. Suppose -8*o = -j*o + b - 10, -7 = 3*o - 2*b. Put 0, o, 5 in increasing order.
0, o, 5
Suppose 15*m - 13*m = -12. Put -3, 3, m in decreasing order.
3, -3, m
Let w be 14/84 - (-5)/6. Let f be 0 - -5*w/(-5). Let a = 3.3 + -3. Sort a, f, 0.01 in descending order.
a, 0.01, f
Let o = 14 + -18. Let w be (20/(-6))/(o/(-6)). Let v(k) = -k - 9. Let b be v(-5). Put -2, b, w in ascending order.
w, b, -2
Let s = -48 - -80. Let u = -35.1 - -6.1. Let x = s + u. Put x, 0.1, -2 in decreasing order.
x, 0.1, -2
Let r(v) = 3*v - 44. Let j be r(15). Let d be 2*5*j/(-2). Put d, -1, 1, 0 in increasing order.
d, -1, 0, 1
Let w = -151 + 149. Sort -0.09, 6/7, -0.5, w in decreasing order.
6/7, -0.09, -0.5, w
Let z(s) = -s - 1. Let o be z(-6). Suppose 19 = 5*j - y, 3*y + o = 2*j - 0*j. Suppose -q = -i - 1, 0 = q - j*i + 2*i - 1. Put q, 3, -5 in increasing order.
-5, q, 3
Let a be (-2)/(-6) + (-38)/78. Let h = -8 + 5.3. Let r = h + 2.4. Sort -5, r, a in descending order.
a, r, -5
Suppose -3*y = 3*a, 2*y = 5*y - 5*a - 8. Put -7, -12, y, -4 in descending order.
y, -4, -7, -12
Let f(k) = -k**2 - 15*k - 13. Let j be f(-14). Sort j, 5, 0 in ascending order.
0, j, 5
Let o be 4 + -1 - (-4 - -4). Let m be 1/(21/(-1140)) + (-2)/(-7). Let g = 53 + m. Put g, o, 5 in descending order.
5, o, g
Let u = -244/39 - -90/13. Sort 2/37, -0.13, u in ascending order.
-0.13, 2/37, u
Let r = 16.08 + 2.92. Put r, 1/9, -4 in decreasing order.
r, 1/9, -4
Let p(c) = -c**3 - 6*c**2 + 10*c + 16. Let b be p(-7). Sort b, -2/5, -3 in decreasing order.
-2/5, -3, b
Suppose 13*h = 80 - 67. Put 2, 5, h, -4 in ascending order.
-4, h, 2, 5
Suppose 31 = -11*u + 9. Let o = -0.1 + 0.6. Put u, -5, o in increasing order.
-5, u, o
Let t = 608 - 605. Let n(h) = -h + 3. Let v be n(4). Let k be 6*(2 + (v - 0)). Sort t, -5, k in decreasing order.
k, t, -5
Let p be ((-8)/6)/(2 + 0). Let t = 0.26 - -10.44. Let y = -4.7 + t. Put y, p, -4 in descending order.
y, p, -4
Let d = -12/85 + -18/17. Let q = 116 + -119. Sort d, 17, q.
q, d, 17
Let u be (55/(-10))/(-11)*12/81. Put u, 0.1, -1/4 in descending order.
0.1, u, -1/4
Suppose -1 = 2*o - 3*p + 5, -4*o - p - 12 = 0. Let z(r) = -3*r - 1. Let l be z(0). Sort o, -2, l.
o, -2, l
Let d = 1.7 - -0.3. Let j = d + -1.5. Let p = 325.1 - 325. Sort -0.2, j, p in decreasing order.
j, p, -0.2
Suppose 0 = 2*h - 3*u + 2*u + 8, -5*h - 20 = -2*u. Sort -0.2, -2/7, 1, h in ascending order.
h, -2/7, -0.2, 1
Suppose z + t + 5 = 0, -5*t + 18 = -2*z - 9*t. Put z, -2, 0.1, -0.04 in ascending order.
-2, z, -0.04, 0.1
Let z = 56 + -21. Let q be (-10)/z - 228/(-14). Suppose -3*d - d = -q. Sort d, 1, 3 in ascending order.
1, 3, d
Let g = 1546 + -1546.06. Put 1, g, -0.08 in increasing order.
-0.08, g, 1
Let n(t) = t**2 + 6*t + 6. Let j be n(-5). Suppose -23*d = -24*d - 5. Put d, j, 2/9 in increasing order.
d, 2/9, j
Suppose 3*h = -18 + 15. Let k(i) = i**3 + 10*i**2 + 2*i + 17. Let b be k(-10). Sort h, b, -2.
b, -2, h
Suppose -4*g + f = -55 - 10, -95 = -5*g + 4*f. Suppose 4*r - 9*r = g. Sort -8, 4, r in increasing order.
-8, r, 4
Let n = -1.49 + 1.52. Put -0.4, n, 4 in increasing order.
-0.4, n, 4
Let r be (-2)/(-9) - 0/(-1). Let v = -2/55 + -379/165. Let m = 20/9 + v. Put 0, r, m in descending order.
r, 0, m
Let x = -2344/23 - -102. Sort 1, x, 0.4, -12 in decreasing order.
1, 0.4, x, -12
Let o be ((-16)/(-10))/((-10)/25). Sort o, -5, 0, 3.
-5, o, 0, 3
Let b = 294 + -316. Let q = -13 + -12. Let j = b - q. Sort -1/2, j, 6 in decreasing order.
6, j, -1/2
Suppose 0 = 3*m + 16 + 29. Sort -2, 2, m, 0 in decreasing order.
2, 0, -2, m
Let x(h) = 11*h**2 + 13*h - 12. Let 