*t + 14. Let r(p) = 7*m(p) - 3*z(p). Let x be r(8). Sort 1, x, 2 in increasing order.
1, 2, x
Let u be (-2)/4*(-4 - -4). Suppose -w + u*w = -5. Suppose -20 = 5*p + 5*m, 4*p - p + w*m + 18 = 0. Put 1, 2, p in ascending order.
p, 1, 2
Let g be (8/(-36))/(2/(-6)). Let x = -51/5 + 10. Suppose 2*k = -3*k - 5, w - 3*k - 5 = 0. Sort g, w, x in descending order.
w, g, x
Let a = 16 + -8. Let s = 7 - 12. Let g = a + s. Put 0, -2, g in decreasing order.
g, 0, -2
Suppose -4*w = 2*o - 28, 3*o = w - o + 11. Sort 0, w, 4.
0, 4, w
Let c = 2 - -2. Suppose -q = -w - 5, 5*w + 4*q = 11 + 9. Sort c, 5, w in decreasing order.
5, c, w
Suppose b + 18 = -2*m - 3*b, 27 = -2*m - b. Let z be (-14)/10 - 6/m. Let g = 4 - 6. Sort z, 3, g.
g, z, 3
Let s = -16.7 - -3.7. Sort s, -2, 0, 4 in descending order.
4, 0, -2, s
Let h = -0.03 + 0.43. Let r(n) = -2*n**2 + 2*n - 1. Let q be r(1). Let g be 0/(-1)*(0 + q). Put g, -1/3, h in decreasing order.
h, g, -1/3
Let g = -80 - -53. Suppose 4*h + 3 = -5. Put h, 2, g in descending order.
2, h, g
Let m = 10.04 - 0.34. Let n = 10 - m. Let p = -1 + 1. Put n, -0.2, p in descending order.
n, p, -0.2
Let f(r) = -r**2 + 5*r - 5. Let k be f(3). Let x = 0 - 3. Put x, -1, k in increasing order.
x, -1, k
Let c(t) = -t - 12. Let i be c(-8). Put -5, -2, -7, i in ascending order.
-7, -5, i, -2
Let s(q) = -9 + 2 - q + 0 + 2*q. Let v be s(8). Suppose v - 3 = 2*l. Put -2, 4, l in decreasing order.
4, l, -2
Suppose -5*s + 5*q + 10 = 0, q + 5 = 3*s - 1. Suppose -4*t = -s*t + 10. Let i(a) = -a**3 + 6*a**2 - 7*a + 6. Let v be i(5). Put t, 4, v in descending order.
4, v, t
Suppose -m + 13 = q, 2*m + 5*q - 23 = 18. Sort -5, -2, m, -4.
-5, -4, -2, m
Let o = -0.013 - 1.987. Let h be 2/4 - (-6)/(-4). Let d(c) = c**2 - c - 1. Let a be d(h). Sort o, -2/5, a in decreasing order.
a, -2/5, o
Let y(t) = -t**3 + 8*t**2 + 34*t - 5. Let v be y(11). Let b = -0.3 - -0.5. Put b, -1, v in decreasing order.
v, b, -1
Let w be 2/9 + (-68)/(-18). Let s be 3*2/(-2) - -5. Let b = s - w. Sort b, 1, 0 in decreasing order.
1, 0, b
Let c = 17 - 12.6. Let a = c + -4. Let b = -34/7 + 74/21. Sort b, -0.4, a in ascending order.
b, -0.4, a
Suppose -8*p - 28 = 4. Put 5, 4, p in increasing order.
p, 4, 5
Let q be 5 + (1/(-1) - 0). Let d be 2 - (q + -2 - 2). Suppose h + 6 = -h. Put d, h, -1 in descending order.
d, -1, h
Let h = 9/2 - 5. Sort 5, h, 0.3.
h, 0.3, 5
Let i = 62/57 + -445/19. Let l = -22 - i. Sort -2, -3, l in decreasing order.
l, -2, -3
Let v = 2 + -1.9. Suppose -2*x = -0*x, 3*o - x = 15. Let u be o/6*6/(-15). Sort 0.2, u, v in ascending order.
u, v, 0.2
Suppose j + 2 = -5*y + 18, 4*j - 4 = 0. Sort 5, y, -8, 0 in ascending order.
-8, 0, y, 5
Let w = 6.3 + -4.3. Let f(a) = a**2 + 6*a - 3. Let b be f(-7). Let n(d) = d. Let x be n(-1). Put w, b, x in descending order.
b, w, x
Let h = 33 - 32.7. Sort 4, h, -1/2.
-1/2, h, 4
Let m = 161 - 163. Let b = -4 - 1. Let d = -2 - b. Put -3, m, d in descending order.
d, m, -3
Suppose 5*j + 0 = 5, 3*o + 4*j - 31 = 0. Let y = o - 10. Put 5, -0.01, y in increasing order.
y, -0.01, 5
Let c = -0.45 - -0.05. Let r(q) = -q**3 - 2*q**2 + 3*q + 4. Let m be r(-3). Sort c, m, 0.2.
c, 0.2, m
Let d(y) = y + 1 - 3 + 2*y**2 - 2*y. Suppose 4*c - 5*i - 2 = -4, -4 = c - 3*i. Let g be d(c). Sort -1, g, -3 in descending order.
g, -1, -3
Let y(j) = 9*j + 8*j + 5*j - 23*j. Let r be 2*2/4 + -5. Let m be y(r). Sort 0, -0.2, m in increasing order.
-0.2, 0, m
Let x(i) = -i**3 + 3*i**2 + 1. Let a be x(3). Let v(t) = 7*t**3 + t. Let d be v(a). Suppose -5*o = -5*z + 5, -3*z = 4*o - d*o. Put o, 4, -3 in ascending order.
-3, o, 4
Let w(c) = 3*c - 13. Let y be w(7). Let m = -11 - -15. Put -3, m, y in decreasing order.
y, m, -3
Suppose s = -4*s. Sort -4, 1, s.
-4, s, 1
Let b = -15 + 16. Let a(f) = 3*f. Let l be a(1). Let g = l - b. Put -2, g, -5 in decreasing order.
g, -2, -5
Let h = -0.04 + -0.46. Suppose -3 = 4*n + 9. Let d be 16/(-14) - (-4 - n). Sort d, 1/7, h in decreasing order.
1/7, d, h
Suppose 4*j + 42 = 18. Let y be (j/(-4))/((-4)/(-8)). Suppose 0 = -3*a + n - 5, -4*a + 20 = -7*a + 4*n. Sort a, 2, y in ascending order.
a, 2, y
Let w(r) = 2*r - 8. Let u be w(6). Suppose -1 = 3*m + 11. Let d = 17 + -12. Sort d, m, u in increasing order.
m, u, d
Let t = 25 + -128/5. Let a be (174/(-10))/(2/(-10)). Let n = a - 523/6. Put 0, t, n in decreasing order.
0, n, t
Suppose 3*d + 41 = 5*i, 0*d - d + 33 = 3*i. Let x = i - 11. Let n = 14 + -10. Sort 0, n, x in increasing order.
x, 0, n
Let z = 0.198 + 0.002. Sort 2, 0.17, z, 0.1 in decreasing order.
2, z, 0.17, 0.1
Suppose 6 - 2 = -4*m. Let i(p) = -13*p - 1. Let v be i(m). Let r be -2 + 7/(14/v). Put r, -3, -2 in descending order.
r, -2, -3
Let j = -0.4 + 0.2. Let q = 1.2 + -3.7. Let l = q + 3. Sort j, -1/3, l.
-1/3, j, l
Let a(t) = t**2 - 6*t + 3. Let z = 0 - -6. Let g be a(z). Suppose g*w - 15 = 0, -2*i = w - 0*w - 15. Put 4, -4, i in descending order.
i, 4, -4
Let f(s) = 2*s + 11. Let x be f(-5). Let l = -1 - 3. Sort x, 2, l in decreasing order.
2, x, l
Let r = -0.43 - -0.03. Let i = -5 - -5.24. Let p = -0.76 - i. Put p, 0.2, r in descending order.
0.2, r, p
Let b = -24 - -23.6. Sort -1/9, b, 3/5 in descending order.
3/5, -1/9, b
Suppose -2*l - 2*l = -8. Let h(x) = x**2 + 15*x - 1. Let w be h(-15). Put w, 0, l in descending order.
l, 0, w
Let a be (-4)/30*(-5)/(-4). Suppose -5*t - 3*r - 1 = -27, -t = 4*r - 12. Put a, 0.2, t in decreasing order.
t, 0.2, a
Let f = 0.3 - 0.3. Put 1/5, -0.2, f in descending order.
1/5, f, -0.2
Let k(y) = -5*y**2 + 2*y - 1. Let b be k(1). Sort b, 4, 17 in increasing order.
b, 4, 17
Let n = -5 - -1. Let v be 11/4 - 14/(-56). Suppose m + 23 = -5*i - m, -i + 9 = -v*m. Sort i, n, 2 in descending order.
2, i, n
Let t = -6 - -6.4. Put 0.2, 0.1, t in increasing order.
0.1, 0.2, t
Suppose 0 = -2*z - 2*z + 2*o + 8, 5*z + 20 = -5*o. Let l be -6 + 2 - (-5 - -2). Let n be (2/(-2))/(l/(-1)). Put -3, n, z in ascending order.
-3, n, z
Let j = 9/2 - 6. Let s = -8/39 - -7/13. Sort s, 3/5, j in descending order.
3/5, s, j
Let p = 0.04 + 2.96. Let q = p + -3. Sort -4, 1/8, q in decreasing order.
1/8, q, -4
Suppose 0 = -7*p + 2*p + 2*a, 0 = 5*p - a + 5. Suppose -2*z = z. Let h = 1 + z. Put h, 0, p in ascending order.
p, 0, h
Let h(f) = 2*f - 64. Let n be h(33). Suppose -6 = s + 2*s. Sort s, n, 4 in ascending order.
s, n, 4
Let d be 2 + (-366)/198 - (-2)/11. Sort d, 5, -3, -4 in increasing order.
-4, -3, d, 5
Let a(g) = -2*g - 8. Let u be a(-6). Let k be (12/14)/(2/(-14)). Let m be 4/(-30)*(-20)/k. Put m, -1/6, u in decreasing order.
u, -1/6, m
Let i = -8 + 6. Put 5, i, 0.8 in descending order.
5, 0.8, i
Let g = 4 + 1. Let n be -2*(-4 + 12/4). Put n, g, 1/7 in ascending order.
1/7, n, g
Let u = 13 - 8. Suppose -o - 2 - 2 = z, 0 = -2*z + 5*o + 20. Let y(l) = l**2 - 8*l + 11. Let a be y(5). Sort a, u, z.
a, z, u
Let g(v) = v**3 - 4*v**2 + 3*v - 3. Let h be g(2). Let y = -4 + 4.1. Sort -3/8, y, h in ascending order.
h, -3/8, y
Let y be (-4)/(-7)*7/10. Let f = y + -9/10. Let o = -0.3 + 1.3. Sort -2, o, f in increasing order.
-2, f, o
Suppose 0 = -5*v - 0 + 15. Sort 2, -2, v.
-2, 2, v
Let d = -3 - -6. Let x be (-19)/d + (-6)/9. Let b = 11 + x. Put b, 2, 1 in increasing order.
1, 2, b
Let r be 36/(-8) + (-4)/8. Let j(f) = f - 1. Let v be j(1). Let b(u) = u**3 - u + 3. Let i be b(v). Sort r, i, -1.
r, -1, i
Let b = 6 - 8. Let g(z) = z**2 - z + 1. Let h(n) = -5*n**2 + 13*n + 7. Let d(j) = -4*g(j) - h(j). Let q be d(10). Put 4, q, b in increasing order.
b, q, 4
Suppose 4*q - q = 0. Let o be (-15)/(-6)*6/5. Let i(a) = a - 8. Let f be i(6). Sort q, o, f in decreasing order.
o, q, f
Let y = -0.3 + 0.7. Sort -4, y, -7.
-7, -4, y
Let r(s) = s**2 + 7*s - 4. Let h be r(-8). Let o be (2/(-8))/(5/h). Put 5, -0.5, o in increasing order.
-0.5, o, 5
Suppose 0 = -5*r - 10, 0*w - 22 = -3*w - r. Suppose w = -3*c - 1. Sort 3, c, -1 in decreasing order.
3, -1, c
Let y = -13.8 - -15.78. Let v = -0.02 - y. Let k = v + -1. Sort 4, -1, k in descending order.
4, -1, k
Suppose 0 = x - 3*x - 4*o + 6, -5*x = 5*o - 5. Suppose -6 = -4*p + 10. Let h = p + -1. Sort -4, h, x in increasing order.
-4, x, h
Let u = -6 - -9. Let i = -1 - -5. Suppose -4*x - 2*j + 2 = -9*x, 5 = 5*j. Sort i, u, x in descending order.
i, u, x
Let t = 5 + -7. Let v = 63 - 66. Put