(-14)/8). Sort v, w, a.
a, v, w
Suppose 0 = 4*r - 4, 0 = -3*g - g - 3*r + 7. Let n = -12.04 + 12. Sort 0.1, n, g in ascending order.
n, 0.1, g
Let x be 2*(-2 + 7/4). Put x, -0.4, -5 in descending order.
-0.4, x, -5
Let z = 2 + -4. Let g = -7 - -9. Sort z, g, -5.
-5, z, g
Let o = -4 + -1. Suppose -3 = 2*h + r, r + 3 = -5*h - 3*r. Put h, 1, o in decreasing order.
1, h, o
Let o = -4 - -8. Let t(k) = 2*k**2 + k - 1. Let d be t(1). Suppose 0*f - 2*z + 8 = d*f, z - 6 = -3*f. Put f, -2, o in descending order.
o, f, -2
Let s = 42 + -47. Let c = 0.06 - 3.06. Put c, s, 2 in ascending order.
s, c, 2
Let s = 2.1 + -3. Let y = s + 1. Let o = 2.2 + -0.2. Sort o, -0.4, y in increasing order.
-0.4, y, o
Let n = 1.88 + 0.12. Let q = n + -2. Sort -0.5, 0.3, q in ascending order.
-0.5, q, 0.3
Suppose 0 = 3*t - 0*t - 24. Put 1, 2, 4, t in descending order.
t, 4, 2, 1
Suppose 0 = -4*p + 5*u + 21, -4*p + 2*u + 18 = -0*p. Suppose 7 = 2*q - 3. Put p, 1, q in increasing order.
1, p, q
Let t(b) = -6*b + 62. Let f be t(10). Sort -1, -2, 7, f in decreasing order.
7, f, -1, -2
Let x = 0.88 - 1. Let q be (-2)/(-4) + (-341)/310. Sort x, q, 0.
q, x, 0
Let t be (-6)/(-4) + (-2)/8. Let u = 3.5 + -3.6. Sort t, 3, u in decreasing order.
3, t, u
Let a be (-105)/(-33) + 4/(-22). Let k be a - (2/(-8) - -3). Sort k, 3, 5 in decreasing order.
5, 3, k
Let z = -204 - -202. Let h = -1.1 + 0. Let b = h - -1. Sort b, z, 0 in descending order.
0, b, z
Let j be 0*((-2)/(-12) - (-4)/12). Put j, 2, 1 in increasing order.
j, 1, 2
Suppose f + 3*f = 120. Suppose 0 = 3*a + 2*a + 5*b - f, 5*a + b = 14. Suppose a*r + 10 = -3*r. Put r, -4, 1 in ascending order.
-4, r, 1
Let b = 76 + -79. Put 1, b, 49 in decreasing order.
49, 1, b
Let d(o) = -4*o + 13. Let n be d(2). Put -5, n, 4 in ascending order.
-5, 4, n
Let z = -5 - -3. Let x = 5 + -1. Let g be 11/x + (-2 - 1). Sort g, 1/4, z in ascending order.
z, g, 1/4
Let b = 0 + -1. Let d = b + 3. Suppose o = -d*k - 3*o - 10, -k - 1 = o. Put k, 0, -4 in ascending order.
-4, 0, k
Let o = -13 - -9. Suppose r + 5*m + 14 = -2, 2*r = 3*m + 20. Sort -1, r, o in decreasing order.
r, -1, o
Suppose v = -3 + 6, -2*z = 2*v - 10. Let q be 3*(1 - (3 + -3)). Let b be -1 - ((3 - 3) + q). Sort z, 0, b in decreasing order.
z, 0, b
Let s = -241 - -2413/10. Let h = 4/5 - s. Suppose 4 = 2*p + 2*f - 2, 2*p = 3*f - 19. Put -4, p, h in ascending order.
-4, p, h
Suppose 9*x - 25 = 4*x. Let i be (-76)/(-18) + 2/(-9). Suppose 5*c = b + 15, 9 = i*b + c + 2*c. Sort x, 3, b.
b, 3, x
Let w(p) = -p**2 - 11*p - 22. Let j be w(-9). Sort 4, 0, -3, j in descending order.
4, 0, -3, j
Suppose -3*b + 9 = -3*x - 0*b, 4*b = 5*x + 10. Sort x, -1, -2 in decreasing order.
x, -1, -2
Suppose -25 = -0*i - 5*i. Let t = -1 + 8. Suppose 3*c + 3*p - 6 = 0, 5*c = -6*p + 4*p + t. Put i, -4, c in ascending order.
-4, c, i
Let z = -0.6 + -4.4. Let v(b) = -3*b + 12. Let u be v(5). Put z, 0, u in descending order.
0, u, z
Let k = -0.74 + 0.14. Sort -3, k, 4 in increasing order.
-3, k, 4
Let g = -16 + 9. Let q = g + 7.3. Sort q, -1/6, 0.2.
-1/6, 0.2, q
Let s = 6.7 - 7.3. Put -5, s, -2/3, -4/7 in ascending order.
-5, -2/3, s, -4/7
Let c = -1.9 + 2. Let y = -9 - -15. Let n = y - 4. Put c, -3, n in decreasing order.
n, c, -3
Let v = -0.5 + -3.5. Let l = -17 - -26. Let p = v + l. Sort -2/19, p, 0.2.
-2/19, 0.2, p
Suppose 5*d - 2*z - 23 = 0, -2*d + 13 = -0*d + 3*z. Let l be ((-24)/18)/((-8)/12). Put d, -4, l in descending order.
d, l, -4
Let f = 6.5 - 11.5. Sort -1/6, 5, -3, f in descending order.
5, -1/6, -3, f
Suppose -3*l - 2*l + 35 = f, 28 = 4*l - 2*f. Suppose -6 = -4*h + 2*p + p, 4*p = 5*h - l. Put 4, -4, h in ascending order.
-4, h, 4
Let b = -0.3 + 2.3. Let w = b - 2. Let j be 4/(-12) - 16/(-21). Sort w, j, -3 in descending order.
j, w, -3
Suppose 4*b = -4*c, 0*c = 4*c + 16. Sort -5, b, 0, -1 in increasing order.
-5, -1, 0, b
Suppose 1 - 5 = -2*h. Let v = -41 + 47. Sort 4, h, v.
h, 4, v
Let j = -169 + 171. Put j, 54, -3/2 in decreasing order.
54, j, -3/2
Suppose -m - 5 = 0, -m = -4*q + 5*q - 4. Put -5, q, 2/11 in descending order.
q, 2/11, -5
Let f = 51.9 - 55. Let g = -3 - f. Let q = 0.2 + g. Put q, -1, 2/3 in decreasing order.
2/3, q, -1
Suppose 2*x + 16 = 2*y, 3*y - 5*x = 35 - 5. Let l = -152 + 152.1. Sort 0.04, l, y.
0.04, l, y
Suppose -2*m - 15 = -z, -2 = 5*m + 3*z + 8. Put m, 1, 0 in increasing order.
m, 0, 1
Suppose 0*f + f - 14 = 3*r, 14 = -r + 5*f. Suppose m - 3*m + 2 = 0. Suppose 3*y = -m - 2. Sort y, -2, r in increasing order.
r, -2, y
Let g = 5 - 2. Suppose -g*j - 5 = -5*q - 0, 0 = -2*j - 4*q + 4. Suppose 3*t + 12 = 4*u, t = -j*u - u - 4. Sort 2, t, 4.
t, 2, 4
Let w = 0.005 - 4.005. Sort 6, 4/5, 0.2, w.
w, 0.2, 4/5, 6
Suppose d = -3*d. Let s = 1 + d. Let r(p) = -p - 1. Let v be r(3). Sort s, v, 0 in decreasing order.
s, 0, v
Let k = 37 - 38. Let m(f) = -f + 1. Let z be m(0). Suppose -2*a + 2*i - 4*i - 14 = 0, 0 = a - 3*i - 13. Sort z, a, k in increasing order.
a, k, z
Suppose -2*g = -6 - 8. Suppose -2 - g = 3*l. Sort 1, 2, l in ascending order.
l, 1, 2
Let q be 6/(-10) + 4/(-10). Put -0.1, q, 1/10 in decreasing order.
1/10, -0.1, q
Let i(p) = 4*p**2 + 2*p + 1. Let j be i(-1). Suppose 1 = 3*g + z + j, 3*z - 6 = -3*g. Let s = 14 + -9. Sort s, -1, g in ascending order.
g, -1, s
Let t = -6 + 9. Let z = -0.6 - -1.6. Sort -2, z, t in decreasing order.
t, z, -2
Let b = -5 - -3. Let k = 5 - 5.5. Let d = 0.4 + k. Sort b, 1/4, d in decreasing order.
1/4, d, b
Let f = 0.9 - 4.9. Put 0, f, 0.4, -2 in ascending order.
f, -2, 0, 0.4
Let x = -4.5 + 5. Let d = 0.06 + -5.06. Let u = -24.4 - -24. Sort u, d, x in increasing order.
d, u, x
Let c = 331/560 - -1/112. Put 2/5, 3, c, 2 in increasing order.
2/5, c, 2, 3
Let p be 6*((-20)/12)/(-5). Put p, -41, 0 in decreasing order.
p, 0, -41
Suppose -2*b = -10, 4*q - b - 23 = -4*b. Let m = q + 3. Sort 2, -5, m in decreasing order.
m, 2, -5
Let q be (-1)/2 + 1/2. Let c(d) = -d**2 + 12. Let g be c(4). Sort g, 3, q.
g, q, 3
Let n = -0.43 - 2.57. Sort -0.5, n, 2/35 in increasing order.
n, -0.5, 2/35
Let s = -7/40 + -19/120. Let f be 4/14 + 58/(-56). Let l be (0 - 0) + (-1)/(-4). Put l, s, f in decreasing order.
l, s, f
Let g = 0.063 + 1.937. Sort 3, -4, g in descending order.
3, g, -4
Let n be 43/2 - 2/4. Suppose 0*h = h - 4*o - 13, 3*h = -3*o - n. Sort h, 0, -1 in ascending order.
h, -1, 0
Let m = -0.1 + -0.1. Let t be (-4)/(4*-1)*3. Put t, m, 2/9 in decreasing order.
t, 2/9, m
Suppose 0 = 4*n - 9 + 1. Suppose -5*q + 110 = 5*c, -92 = -4*c - q - q. Suppose 2*g = 5*g + 5*j + 18, 4*g + c = -3*j. Sort n, 1, g in increasing order.
g, 1, n
Let q = 3 - 3.5. Sort 1/6, 0.3, -3/5, q in descending order.
0.3, 1/6, q, -3/5
Let x(j) = -13 + 8 - 2 - j. Let q be x(-3). Sort 2, 0, q in ascending order.
q, 0, 2
Suppose b - 1 = -3*t - 0*b, b + 11 = 3*t. Suppose -20 = 4*l, 2 = -t*s - l + 3. Sort -4, -1, s in decreasing order.
s, -1, -4
Let d = 1 - 1. Let w = 291 - 2331/8. Put -1/3, d, w in ascending order.
w, -1/3, d
Let d = -4 + 6. Let r(t) = -9 - 3*t - t - 3*t**2 + 4 + t**3. Let l be r(4). Put d, l, -4 in descending order.
d, -4, l
Let c = 1.1 - -3.9. Let i(u) = u**2 - 12*u + 10. Let q be i(11). Put 0.2, c, q in descending order.
c, 0.2, q
Suppose -h - 3 = -8. Suppose b + 1 = 2. Sort b, h, -3.
-3, b, h
Let t be (1 - 0)/1*0. Sort t, -3, 16 in decreasing order.
16, t, -3
Let a be 1102/3906 + (-22)/77. Let y = 61/279 - a. Sort -1, -3, y.
-3, -1, y
Suppose 0 = v + 2 - 1. Suppose 4 = -4*m - 12. Let j = -2 + 2. Sort m, j, v in ascending order.
m, v, j
Let b = 77 - 78. Put 4, b, 12, 2 in descending order.
12, 4, 2, b
Let y = -7 - 0. Let z(h) = h**2 + 9*h + 8. Let u be z(y). Let d be 0 - (u/2 + 1). Sort 0.4, d, 3 in decreasing order.
3, d, 0.4
Let u = 1.35 + -0.25. Let c = -1.4 + u. Let p = 2/309 - -919/1236. Sort c, 1, p in ascending order.
c, p, 1
Let n = 19 + -24. Put n, -1, 0 in decreasing order.
0, -1, n
Let w = 13.92 - -0.28. Let b = w + -14. Put 3/2, b, -2 in ascending order.
-2, b, 3/2
Let c = 0.23 + -0.03. Let y = -0.04 + -1.96. Put c, y, -1 in descending order.
c, -1, y
Let x = -18 - -20. Suppose l - 5*l = -4. Let m = -2 + l. Put -3, x, m in decreasing order.
x, m, -3
Let v be -2 + 1 - (0 + 0). Let g be (-8)/(-6) - (49/21 - 5). Sort g, v, 0 in increasing order.
v, 0, g
Suppose 3*b - h +