pose 2*g - a = 4. Let f(v) = v - 5. Let q be f(8). Put q, -5, g in descending order.
g, q, -5
Let z(t) = t + 6. Let g be z(0). Let i = g - 5. Put -5, 4, i in descending order.
4, i, -5
Let m = 1/228 - 307/684. Put 0.2, 1, m in increasing order.
m, 0.2, 1
Suppose 0 = 7*p - 2*p + 5. Sort 0.5, p, 0.4, 7 in increasing order.
p, 0.4, 0.5, 7
Suppose -3*w + 16 - 1 = 0. Suppose 0 = 8*i + 29 - 13. Sort -6, w, i.
-6, i, w
Let w(l) = l**2 - 7*l + 7. Suppose -5*q - 16 = -41. Let o be w(q). Sort o, 3, 5.
o, 3, 5
Let f(s) = s**3 + 4*s**2 + 4*s + 2. Let a be f(-3). Let t = -0.6 + 4.6. Put t, a, 2 in decreasing order.
t, 2, a
Let c = 31 + -7. Let d be (c/20)/((-2)/(-30)). Suppose 6*x - x = -4*k - 5, x - d = 3*k. Sort 5, k, 1 in descending order.
5, 1, k
Suppose -4*x = 33 - 21. Put 4, x, 2 in descending order.
4, 2, x
Suppose -5*a = 4*x - 68, -5*x - 26 = a - 4*a. Suppose a = -7*k + 4*k. Let b = -9 + 9. Put b, k, -2 in descending order.
b, -2, k
Suppose m + 0*m = 4. Suppose 8 = 3*o - 4*a, -m*o - 4 = -3*o + 2*a. Let i be (o - -2)/((-3)/6). Put i, 4, 1 in descending order.
4, 1, i
Let h = -0.5 - -10.5. Let k = 9.8 - h. Put 1, 4, k in decreasing order.
4, 1, k
Let q = -99 + 96. Let s be ((-1)/(-2))/((-2)/904). Let a = s + 2038/9. Sort -1/2, a, q in ascending order.
q, -1/2, a
Suppose 5*a + 22 = 7. Suppose 8 = -0*x + 2*x. Sort x, -4, a in ascending order.
-4, a, x
Let a(b) = b**2 + 12*b - 14. Let i be a(-13). Let m be -2 + 3 + -3 + 3. Let t be m*0*(-2)/(-6). Sort i, t, 4 in ascending order.
i, t, 4
Let j(u) = 3*u - 14. Let q be j(4). Let y(l) = -l**3 - 5*l**2 - 5*l - 1. Let p be y(-4). Let x = -1 + 1. Put x, p, q in ascending order.
q, x, p
Let r = 27 - 31. Let o(h) = -h - 2. Let x be o(3). Put r, x, 0 in descending order.
0, r, x
Let m be ((-1)/(-3))/((-7)/(-21)). Let k be (-2)/(-4)*m*48. Suppose 4*x = -4 + k. Put x, -2, 1 in ascending order.
-2, 1, x
Let d = 34.08 - 0.08. Let k = d - 28.4. Let f = 0.6 - k. Sort 2/7, f, -1 in ascending order.
f, -1, 2/7
Let l = 197/1534 + 3/118. Let d = -2 - -2.5. Let x be 7/15 + (-2)/6. Sort x, d, l in decreasing order.
d, l, x
Let a = 2.1 + -2. Suppose -2*m - 2*m - 2 = 2*z, -5*z + 3*m = 5. Let j = 0.7 - -0.3. Put z, a, j in descending order.
j, a, z
Let f be (8/(-8))/((-1)/4). Sort -5, f, 1.
-5, 1, f
Suppose 6*k - 6 = 4*k. Suppose 4*z - 3*z = 0. Sort k, -3, z.
-3, z, k
Suppose -111 = -4*n + 5*w - 31, -5*w = 0. Let x be ((-24)/n)/(7/5). Let u be 0 + -2 - -1*5. Put -0.3, u, x in decreasing order.
u, -0.3, x
Let t = -18 + 17.8. Put 4, t, -1/3 in ascending order.
-1/3, t, 4
Let z be (5/105)/(4/24). Put -0.1, -3, z in descending order.
z, -0.1, -3
Let k be 44/11*3/4. Sort -1, -2, k in descending order.
k, -1, -2
Let a = 0 + 1. Sort 1.5, a, 2.
a, 1.5, 2
Let s = -0.1 + 0.1. Let p = -2 - s. Put -0.1, -4, p in descending order.
-0.1, p, -4
Let p = 0 - 0. Suppose 25 = 4*c - 9*c. Let u(m) = -m**2 + 6*m - 7. Let q be u(2). Sort p, c, q.
c, p, q
Let g = -2 + 1. Let x be 8/3 - (-9)/(-3). Sort g, -0.1, x in decreasing order.
-0.1, x, g
Let o = -240 - -263.4. Let n = -23 + o. Sort -2/15, n, 2 in descending order.
2, n, -2/15
Suppose -21 = k + 2*p, -4*k + p = 27 + 57. Let n be (-1)/(-1) - k/(-15). Sort n, -2, -0.01 in ascending order.
-2, n, -0.01
Let r = -27 + 27.1. Put -3, 0.3, r, -0.04 in descending order.
0.3, r, -0.04, -3
Let w be 21/5 - 2/10. Let z = -1 + 1. Suppose -4*p + 4 = -z*p. Sort p, w, -2 in increasing order.
-2, p, w
Let x = -2.7 + 0.7. Let d = 4 + x. Let r = d + 1. Put 2/9, r, -0.5 in descending order.
r, 2/9, -0.5
Let r = 274/231 - 12/11. Let y be -2 + (-1 - 13/(-4)). Put -5, y, r in descending order.
y, r, -5
Let j = 0.02 + -2.02. Let i = -123 - -613/5. Sort j, -0.5, i in descending order.
i, -0.5, j
Let t = 10.9 + -1.9. Let q = 6 - t. Let h = 2930/9 - 326. Sort h, q, -1 in decreasing order.
h, -1, q
Suppose x + x + 2*v - 8 = 0, 8 = x - 3*v. Sort -0.5, x, 2.
-0.5, 2, x
Let o(a) = -a**3 + 7*a**2 + 9*a - 5. Let w be o(8). Let y = -4 + w. Sort y, 0, -4 in increasing order.
-4, y, 0
Let a = -10 + 16. Let l = a + -10. Let h = 0.13 + -1.13. Sort 2/5, h, l in descending order.
2/5, h, l
Suppose -2*q - 5*j = 31, 4*q + 37 = -8*j + 3*j. Let w = 0 - -1.8. Let y = -0.2 - w. Sort q, -5, y.
-5, q, y
Suppose -3*v = -5 - 1. Suppose -v*w = 3*w. Sort -1, w, 3 in descending order.
3, w, -1
Let c = -3 + 3. Suppose c = -n + 4*n + 6. Sort n, -3, 1.
-3, n, 1
Let b(w) = w**3 + 5*w**2 + 4*w + 5. Let o be b(-4). Suppose -l = -2*l + o. Sort l, -1, -5 in ascending order.
-5, -1, l
Suppose -6*m + 3*m + 2*k + 5 = 0, -4*k = 5*m - 45. Suppose -m*s + 16 - 41 = 0. Let v = s - -3. Put 3, v, 4 in decreasing order.
4, 3, v
Let o = -17.7 + 12. Let m = -6 - o. Let i = -0.08 - 0.32. Put m, i, -2 in ascending order.
-2, i, m
Let w be ((-5)/(15/6))/23. Sort -1/2, 2, w in decreasing order.
2, w, -1/2
Let r(s) = -s**2 + 12*s + 4. Let m be r(12). Put m, -8, 1, -2 in descending order.
m, 1, -2, -8
Let p(j) = j**2 - 5*j - 1. Let n be p(0). Sort n, 2, 1, -2 in descending order.
2, 1, n, -2
Let b = 18 - 14. Put -5, b, -0.2 in decreasing order.
b, -0.2, -5
Let j = -1 - -2. Sort j, -1, -5.
-5, -1, j
Let o be ((-1)/2)/((-7)/56). Put -4, -3, o in descending order.
o, -3, -4
Suppose -2*n + 8 = 2*y, -2 = 3*y + 4*n - 8*n. Suppose -50 = -5*b + 30. Suppose 0 = -l - 3*l - b. Put l, -3, y in decreasing order.
y, -3, l
Let l be -4*(35/(-4))/5. Suppose 3 = 4*b + l. Sort -5, b, -2 in increasing order.
-5, -2, b
Let a be 2/8 + (-33)/(-44). Let s be a - 3 - (-2 + 5). Let h be (-1)/(-2)*(-4)/1. Sort h, s, 5.
s, h, 5
Suppose -19 = 11*r + 3. Sort 4, r, 7.
r, 4, 7
Suppose -4*x - 3 = 5. Let t = x - -1. Sort t, -4, 5 in decreasing order.
5, t, -4
Let a = 3.9 + 1.4. Let x = a + -5. Let y be 18/(-8)*16/(-48). Put y, x, -0.4 in descending order.
y, x, -0.4
Let y(n) = -2*n**2 - 20*n - 3. Let p be y(-10). Put p, -4, -1 in descending order.
-1, p, -4
Let s = -12 - -12. Let p(g) = -g - 2. Let y be p(2). Sort s, y, -0.2 in increasing order.
y, -0.2, s
Let m(c) = -c**2 + 14*c - 29. Let s be m(12). Sort -0.3, s, -1, 3 in ascending order.
s, -1, -0.3, 3
Let y(s) = -s**3 - 7*s**2 - 7*s - 6. Let z be -4*(0 + (-3)/(-2)). Let g be y(z). Suppose -3*f + 3 = g, f - 16 = 5*k - 0*k. Put 0, -2, k in ascending order.
k, -2, 0
Let n = 0.5 + -1. Let b = -0.02 - 0.38. Let q = n - b. Put -3/2, 0, q in increasing order.
-3/2, q, 0
Let r(w) = 7*w + 2. Let j be r(-2). Let f be j/(-6) + 1*2. Sort 5, -3, f in ascending order.
-3, f, 5
Suppose -2*x = -8 - 6. Suppose n - 3*i + x*i = 12, 2*n + 4*i = 16. Suppose n*a + a + 15 = 0. Sort 1, 2, a in increasing order.
a, 1, 2
Let g = 56 - 60. Put 3, -1, -3, g in ascending order.
g, -3, -1, 3
Let v = -131 + 1442/11. Let d = -8 - -13. Sort -3, d, v.
-3, v, d
Let v(u) = -10*u**2 - 2 + 17*u**2 + 1 - 2*u. Let b be v(-1). Let h be (-2)/b + 3/(-4). Sort -4, h, -2.
-4, -2, h
Let z be (-3)/(-20)*(-10)/(-12). Let c be (-2)/((-18)/15) + -1. Sort 1/11, c, z in descending order.
c, z, 1/11
Let n be (1/(-6))/(10/30). Let o = -4.1 - -0.1. Sort -2/17, o, n in descending order.
-2/17, n, o
Let i = -4.95 + 5. Let w = 0.15 - i. Sort w, 3, 1/4.
w, 1/4, 3
Let g be 5*1*(1 - 2). Suppose 3*i + 33 - 57 = 0. Put 5, i, g in ascending order.
g, 5, i
Let i(y) = 5*y - 17. Let d be i(4). Sort -5, 18, 2, d in descending order.
18, d, 2, -5
Let z = 0.04 - -0.26. Let y = 15.4 - 15.6. Put y, z, 1 in increasing order.
y, z, 1
Let w be 2 + (1469/(-9))/(-1). Suppose -4*r = 0, -r + 402 = 4*d - 258. Let g = d - w. Sort 3, 5, g in decreasing order.
5, 3, g
Let n(x) = x**3 + 9*x**2 - 11*x - 7. Let c be n(-10). Put 4, c, -4 in increasing order.
-4, c, 4
Let i be 4/(-10) - (-12)/(-70). Let w = -11 + 15. Sort w, i, 5 in descending order.
5, w, i
Suppose 0 = 2*l - u + 2*u - 9, 7 = 2*l - u. Put -4, 0.3, l, -5 in decreasing order.
l, 0.3, -4, -5
Suppose 2*m = -0*m + 3*h - 6, 1 = -m + h. Put -3, 4, m in descending order.
4, m, -3
Let w = 14.7 - 3.8. Let m = -11 + w. Put -0.5, m, 0.2 in descending order.
0.2, m, -0.5
Let l(s) = 4*s**3 + 2*s**2 - s. Let a be l(1). Let z(b) = b + 2. Let x be z(1). Suppose -i = -4*j - 20, -x*i = 3*j + 2*j + 8. Put 0, i, a in decreasing order.
a, i, 0
Let u(d) = 7*d**3 - 15*d**2 - 6. Let i(x) = 10*x**3 - 22*x**2 - 9. Let n(c) = -5*i(c) + 7*u(c). Let o be n(5). Sort -5, o, -3.
-5, -3, o
Let n(y) = -y**