). Let x = 1/47 - l. Sort 0, x, g.
g, 0, x
Let i = 2444050 - 3653854902/1495. Let y = -6/115 + i. Put y, 0, 5 in ascending order.
y, 0, 5
Let b = 4 - 4. Let f = -0.3 - 0.2. Sort 5, b, f.
f, b, 5
Let k(i) = -i**3 + 5*i**2 + 2*i + 26. Let s be k(6). Put -1, s, -94 in ascending order.
-94, -1, s
Suppose -13*y = 5*y + 72. Put 3, -30, y, 1 in descending order.
3, 1, y, -30
Let y = -5 + 10. Sort y, -9, -1 in increasing order.
-9, -1, y
Suppose 16 = 2*l - 0*l. Suppose -2*h = -z + 6, -z - 2*z = 4*h - l. Let r be h/(-2) + 2/(-4). Sort r, -0.5, -2/5 in descending order.
r, -2/5, -0.5
Let n = -0.8 + -2.2. Put 4/3, 2, n in decreasing order.
2, 4/3, n
Let o be (3/9)/((-2)/18). Put o, -2/13, -1 in ascending order.
o, -1, -2/13
Let j = -3 + 10. Let y = j - 6.8. Put -2/5, y, -5 in decreasing order.
y, -2/5, -5
Let b = -0.7 + 0.3. Let q = -9 + 6. Put -1, q, b in descending order.
b, -1, q
Suppose -m = 5*v - 10, 2*m + m + 5*v = 20. Suppose m*w = -0*w - 5. Put w, 1, -7 in increasing order.
-7, w, 1
Let q = 2 - 1.9. Suppose 0 = 3*d - 2 - 1. Let n be (-1 - d)*2/24. Sort n, -0.3, q in ascending order.
-0.3, n, q
Let m = -13 - -13. Put m, -2, 3 in increasing order.
-2, m, 3
Let u be (-24)/10 + (-6)/(-15). Let b be ((-57)/(-14) + -4)*-4. Put u, b, 0.2 in ascending order.
u, b, 0.2
Let i be 15/9*6/(-15). Let j = 0.1 + -0.1. Let n be 3/3 + (-10)/4. Sort i, n, j in ascending order.
n, i, j
Let r be (24/6)/(12/2). Sort -1, 5, r.
-1, r, 5
Let g(x) = -2 - 3 + 3*x**2 - 3*x**2 + 3*x + x**2. Let y be g(-4). Let q be 3/1 - (0 - y). Put 0, q, 3 in ascending order.
0, q, 3
Let u(b) = -b**3 - 6*b**2 + 6*b + 1. Let g be u(-7). Suppose 3*j - j = g. Suppose -11 = 4*m + 3*z, -j*z = 6*m - 3*m + 10. Sort 0, m, 2 in increasing order.
m, 0, 2
Let h(b) be the first derivative of b**2/2 + 13*b + 2. Let n be h(-6). Suppose 0 = 4*y - 2*f + 3 + n, -y + 2*f = -5. Put 5, 0, y in decreasing order.
5, 0, y
Let o be 2/(2*(-3)/(-24)). Let b be o/3*(-9)/(-2). Let d be b/30 - (-17)/(-5). Sort d, 1, -4 in ascending order.
-4, d, 1
Suppose 0*l = l - 4. Let u be 12/(-9)*(-6)/l. Put -2, u, 0 in ascending order.
-2, 0, u
Let u(l) = -3*l + 3. Let c be u(1). Sort -11, -2, c in increasing order.
-11, -2, c
Let y = -18 + 18. Let o = 6 + -3. Sort y, o, -4 in decreasing order.
o, y, -4
Suppose -4*m - m + 26 = g, 28 = 4*g + m. Suppose -8*a + 10 = -7*a. Suppose 6*w = a*w - 20. Sort 4, w, g in increasing order.
4, w, g
Let y = 2 - 1.8. Let q = -5/8 + 9/8. Sort y, -3, q in decreasing order.
q, y, -3
Suppose -9*w - 8*w - 17 = 0. Sort w, -0.2, 0.5 in increasing order.
w, -0.2, 0.5
Let l = -10 - -12. Sort l, 3, 5, 4 in descending order.
5, 4, 3, l
Let t = 48 + -33. Let o = 5 - t. Let p = -14 - o. Sort 2/5, 1, p in increasing order.
p, 2/5, 1
Let g = -4.5 + -0.5. Let x = -4.2 - -3.8. Suppose 2*f - 3*q = 19, 1 = -2*f - 5*q + 4*q. Put f, g, x in ascending order.
g, x, f
Let o = 0.22 + -1.32. Let g = -1 - o. Sort g, -0.2, 1 in increasing order.
-0.2, g, 1
Let o = 3 + -1. Suppose 5*y = 15, 3*y = -4*a + 6 + 7. Put o, a, 0 in increasing order.
0, a, o
Let b be (9 - 10)/(10/6). Put b, -2, 0.5 in descending order.
0.5, b, -2
Let w = 8 + -8. Suppose w*f + f = 2. Suppose -f*y - 12 = -5*s, -4*y + s + 2 = 4*s. Put -4, 1, y in decreasing order.
1, y, -4
Let i be 6/(-4)*(-4)/3. Sort i, 4, 1 in ascending order.
1, i, 4
Suppose -6*d + 10 = -4*d. Let u be (-1222)/1515 - (-6)/15. Let g = u + 2/303. Put -1, d, g in descending order.
d, g, -1
Let c = 14 - 11. Put c, 0, 0.1 in ascending order.
0, 0.1, c
Let o = 0 - -3. Let u(n) = -n**2 + 4. Let j be u(o). Put 1, j, -2 in increasing order.
j, -2, 1
Let q = 0 - -1. Let a be q - 3/(-45)*-17. Sort 5, a, 2 in ascending order.
a, 2, 5
Let h = -505044/80731 - -525/607. Let v = h - -37/7. Let l be 2/3 + (-15)/63. Sort v, -3, l.
-3, v, l
Let s be (-1)/(-3) - (-28)/6. Let w be 51/(-15) - 6/(-15). Put -1, w, s in increasing order.
w, -1, s
Let y = -52 + 154/3. Let n = -4 + 2. Let i be n/(-2) - (-1 - -5). Put i, -5, y in ascending order.
-5, i, y
Let u be ((-4)/6)/((-2)/15). Let c = -3 + 7. Suppose c*l + l = 20. Sort -4, u, l in descending order.
u, l, -4
Let f be ((-6)/5)/1 - (1 - 2). Sort -0.4, 2/11, f.
-0.4, f, 2/11
Let u(j) = -j + 5. Let g = -13 + 21. Let a be u(g). Sort a, 1, -2 in descending order.
1, -2, a
Suppose 0 = -4*i - 3*q - 0 + 3, 0 = 4*i - q + 17. Suppose 16 = -8*r + 24. Put i, r, -5 in decreasing order.
r, i, -5
Let y = 3.0948 + -0.0048. Let b = y + -0.09. Put b, -0.2, -5 in increasing order.
-5, -0.2, b
Suppose 0*c = -c. Suppose 24 = 2*d + 4*o, -28 = -4*d - c*o - 3*o. Suppose -m + 3 = d. Sort -3, -5, m.
-5, -3, m
Suppose 3*v + 0*v = 9. Suppose 0*q = v*q + 12. Let a(b) = -2*b**2 - 12*b + 5. Let p be a(-6). Put 4, p, q in increasing order.
q, 4, p
Let z be 2/6 - (-8)/3. Suppose -14*v + 9 = -5*v. Sort v, z, 5 in increasing order.
v, z, 5
Let i(x) = -x - 2. Let l be i(-4). Suppose 4*z - 2*f = 10, 3*z + 5*f - l = -14. Let j be 2 + -6 + 0 + z. Put 5, -1/3, j in descending order.
5, -1/3, j
Let a(i) = -i**3 + 6*i**2 - 3*i - 7. Let o be a(5). Suppose 4*k - o*k = 2. Sort k, 5, -5 in ascending order.
-5, k, 5
Let m(k) = -3*k**2 - k. Let i be m(1). Let r = 12 - 7. Sort r, i, 0 in decreasing order.
r, 0, i
Suppose 2 = 4*h + 10. Let x be (h - -1)*-1 - -1. Put -3, -4, x in increasing order.
-4, -3, x
Let y = -58 - -60. Put -4, 27, y, 1 in increasing order.
-4, 1, y, 27
Let h = -0.328 - -0.028. Sort -1/2, 5, h in decreasing order.
5, h, -1/2
Let d(x) = -2*x**2 - 3*x + 1. Let a be d(2). Let b = a + 23. Suppose -3*v - b = 5. Put 0, v, 4 in ascending order.
v, 0, 4
Let p = -17 - -20. Suppose -p*w = -0*w. Sort -3, 2, w.
-3, w, 2
Let o = 200 - 196. Let f = -4 - -9. Sort f, o, 1.
1, o, f
Suppose 0 = m + x + 8, -3*x + 3 - 31 = 4*m. Suppose 2*p - 4*p - 10 = 0, 5 = -5*c + p. Put 3, c, m in increasing order.
m, c, 3
Let g be 2 + (-3 - -3) + 3. Suppose -8 = -5*d + 7. Put g, d, 2 in decreasing order.
g, d, 2
Let f be (2 + 0)/(-2)*-5. Sort -5, 29, f.
-5, f, 29
Let y = 7 + -10. Sort 4, y, 2 in increasing order.
y, 2, 4
Let w = 1.5 + -1.6. Put -5, -35, w in decreasing order.
w, -5, -35
Let u(q) = q**2 - 7*q - 5. Let r be u(8). Suppose r*n - 2 = 4*n. Sort 1, -3, n in descending order.
1, n, -3
Let v = -0.27 - -0.37. Suppose 5 + 35 = 5*u. Suppose -3*w + u = -5*w. Sort v, 0.5, w.
w, v, 0.5
Suppose -3*d = -8*d + 5. Sort 0, -5, d in descending order.
d, 0, -5
Suppose -3*v - 7 = 2. Put v, 0, -2 in decreasing order.
0, -2, v
Let d = 9 + -8. Suppose 3 = -3*t - l, -5*t + 0*l - 6 = 2*l. Sort d, -2, t in ascending order.
-2, t, d
Let u be 4/(-22) + 570/110. Put 1, -5, u in decreasing order.
u, 1, -5
Let h(i) = i**2 + 6*i - 17. Let v be h(-8). Put v, -3, -10 in descending order.
v, -3, -10
Let w be 4/(-10) - (-26)/(-10). Suppose -10*x - 5 = -11*x. Put w, x, -2 in decreasing order.
x, -2, w
Suppose 1 = -r, 2*r + 0*r = 5*u + 13. Let o(c) = c + 5. Let p be o(0). Suppose -p*x + 1 = -9. Sort x, u, -4 in decreasing order.
x, u, -4
Let x be (2/(-6))/((-4)/60). Put -4, 1, x in decreasing order.
x, 1, -4
Let k(c) = -c**2 - 11*c - 4. Let j be k(-11). Sort j, -2, 1 in decreasing order.
1, -2, j
Let u be -3*(2/(-3) - 1). Let i(o) = 2*o + 2. Let x be i(0). Let j = -13 - -8. Sort x, j, u.
j, x, u
Suppose -f + 7 = 3*d + 3*f, -5*f = 5*d - 5. Let w = -33 - -15. Let l be 4/18 - (-22)/w. Put d, 3, l in ascending order.
d, l, 3
Let d = 7 - 3. Let n = -10 + 10. Put n, d, -4/3 in decreasing order.
d, n, -4/3
Let v = 0.002 + -0.102. Put 2/15, v, 0.4, 5 in decreasing order.
5, 0.4, 2/15, v
Let r be (5 - -3) + (-4)/(-2). Let x = -7 + r. Let s = 1 - 3. Sort s, x, -3.
-3, s, x
Suppose 12*z = 18*z. Put z, 4, 18 in ascending order.
z, 4, 18
Suppose 3*p - 15 = -k, 7 = -4*k - 5. Let q = 1 - p. Put q, 5, -2 in increasing order.
q, -2, 5
Let o = 21 + -15. Suppose -5*a + 4*j - 20 = 0, a - o*j + 25 = -j. Suppose a = 2*i - 4 + 2. Sort 0.4, i, 4/5 in increasing order.
0.4, 4/5, i
Let j = -64 - -69. Suppose -3*h + 3 = -5*x - 1, 10 = -4*h - x. Put 0.4, h, j in descending order.
j, 0.4, h
Suppose -3*i + 1 + 2 = 0. Let b be (0/(-1))/((-1)/1). Sort i, b, 2.
b, i, 2
Let q(o) = -3*o + 16. Let v be q(4). Let n = 1 - 0. Put v, -1, n in decreasing order.
v, n, -1
Let b = -0.13 - 2.87. Let h = b - -4. Sort h, -0.4, 1/3.
-0.4, 1/3, h
Let g = -0.01 - 0.29. Suppose -5 = 