 = 0. Sort t, -1, 0.
t, -1, 0
Let t = 0.96 + -1. Let h = -0.64 - t. Let m = h - 3.4. Put -1/4, 4, m in descending order.
4, -1/4, m
Let x = -16 - -16.4. Put 0.02, -0.1, x in descending order.
x, 0.02, -0.1
Let x = -8 - -6. Let v(m) = -m + 2. Let h be v(0). Suppose 18 = -4*o - h. Sort -2/5, o, x in increasing order.
o, x, -2/5
Let t(k) = 4*k**3. Let s be t(1). Suppose 0 = 2*l - 6, 2*h - 5*l + s = -21. Sort h, 0, -4.
h, -4, 0
Let g = -9.4 + 10.1. Put g, 5, 1/4 in decreasing order.
5, g, 1/4
Let a = -511/6 - -85. Let r be (-6)/(-12)*(4 - -2) + -8. Sort r, a, 2/13 in descending order.
2/13, a, r
Let m(c) = -5*c - 1. Let r be m(-1). Let i be 4/12 - (65/(-3))/(-5). Put i, 0, r in descending order.
r, 0, i
Let f(z) = z**3 - 7*z**2 + z - 10. Let c be f(7). Let k = -8 - -6. Put c, k, 3 in ascending order.
c, k, 3
Let k be (2 - -2) + -4 - (-4)/(-6). Let q = 2 + -1.5. Put k, q, 0.1 in decreasing order.
q, 0.1, k
Suppose 8*h = 4*h. Suppose 5*f - 5*i + 35 = h, -4*i + 15 = -f + i. Sort -3, f, -1.
f, -3, -1
Let f be (-858)/(-30) + 2/5. Put -1, 2, f in descending order.
f, 2, -1
Let q(g) = g**2 - 17*g + 18. Let i be q(16). Sort 4, 1, i.
1, i, 4
Let i = 0.062 - 0.362. Put -9, i, -5 in decreasing order.
i, -5, -9
Let j(g) = g**2 + 7*g + 1. Let c be j(-6). Let d(x) = -2*x**3 - 26*x**2 - 25*x - 14. Let i be d(-12). Sort 2, c, i in ascending order.
c, i, 2
Let k(u) = -u**3 - u**2 - u. Let i(n) = -4*n**3 - 12*n**2 - 10*n + 3. Let b(g) = i(g) - 3*k(g). Let d be b(-8). Sort 3, -4, d.
d, -4, 3
Let z be (0 - 2)*10/(-4). Suppose 2*t + z = -t + 2*g, -3*t - 3*g = 0. Let q(p) = -p**2 + 2*p + 1. Let f be q(3). Sort 5, f, t in ascending order.
f, t, 5
Let h be ((-2)/(-4))/((-2)/(-2)). Sort 1/6, 0.3, h in ascending order.
1/6, 0.3, h
Suppose 4 = -2*o - 6. Suppose w = 3*g - 9, -w - 1 - 5 = -2*g. Put o, 0.2, g in descending order.
g, 0.2, o
Let g = -176/665 - 2/95. Let b = 0 + -1. Put b, -3, g in descending order.
g, b, -3
Let q(o) = o + 2 - 15 + 0. Let m be q(10). Sort 1, m, -2 in increasing order.
m, -2, 1
Let r(w) = 4*w - 5. Let o be r(2). Suppose 3*t - l - 21 = -4*l, 15 = t + o*l. Let a be 2/(-5) - (-36)/(-10). Put t, 5, a in increasing order.
a, t, 5
Let d(a) = a**2 - 3*a - 7. Let m be d(5). Let q be m/(-3 - -2) + 7. Put -3, q, 1 in decreasing order.
q, 1, -3
Suppose -5*l + 0*l = -20. Suppose -z + l = -5*z. Suppose -7*s + 9 = -4*s. Put 1, s, z in descending order.
s, 1, z
Suppose -5*f = -2*f + 3*k - 21, 0 = 5*f + 2*k - 29. Suppose -2*q + 2*i - 3 = 3*q, 2*q + 3 = -i. Put -2/5, q, f in ascending order.
q, -2/5, f
Let x be (-12)/(-2) + (-117)/18. Let t = 2.4 + -2. Sort t, x, 3.
x, t, 3
Let l = -23 - -23. Sort 12, -5, l in ascending order.
-5, l, 12
Suppose -2*g - 15 = -g + 3*u, -7 = g + u. Put g, -5, 3 in ascending order.
-5, g, 3
Let d(n) = n**3 + 2*n**2 - n + 3. Let o be d(-3). Sort o, 0, 9 in ascending order.
o, 0, 9
Let q be (-1)/(-6)*6/8. Let u = 4 + -5. Put u, 1, q in descending order.
1, q, u
Let d = -443/20 + 87/4. Sort 2, d, -9.
-9, d, 2
Let k = 5.3 - 5. Let q = -3.3 + k. Let t = 6 + -2. Sort 1, q, t.
q, 1, t
Let g(c) = c**3 - c**2 - c + 1. Let h be g(1). Suppose -d + 0*d - 3 = h. Suppose y = 4*y + 4*p + 6, 0 = 5*y - 5*p + 10. Sort y, 1, d in decreasing order.
1, y, d
Let b = 6 + -9. Let y = 4 + b. Put -2, y, 3 in ascending order.
-2, y, 3
Let w = 0.04 - 0.24. Let f = -0.1 + w. Sort f, -1, -2/11 in increasing order.
-1, f, -2/11
Let n(a) = a**3 + 6*a**2 - a - 5. Let f be n(-6). Let h be -1*(-3 - (-1 - f)). Suppose i = -i - 2. Put h, 0, i in ascending order.
i, 0, h
Let m = -0.2 + 3.2. Let u = -7 + m. Sort 0.1, -5, u in descending order.
0.1, u, -5
Suppose 0 = 2*x + x. Let d = 12 + -4. Suppose -q + 4 = d. Put q, -1, x in descending order.
x, -1, q
Let n = 10 + -4. Suppose -2*u + 4*u - n = 0. Let k = -0.325 + 0.125. Put u, k, -3 in increasing order.
-3, k, u
Suppose 4*p = 10 - 30. Let o = 90 + -92. Sort 4, p, o in ascending order.
p, o, 4
Let f = -30 - -30.1. Put f, -1/2, -1 in decreasing order.
f, -1/2, -1
Let x(r) = r**2 + 15*r - 21. Let g be x(-16). Sort g, 0.5, -2 in descending order.
0.5, -2, g
Let i be (4 + -3)*(-1 - -8). Sort i, 2, -5.
-5, 2, i
Let s = -5 - -9. Suppose 0 = j + s*j. Put 5, 3, j in descending order.
5, 3, j
Let q = -1 + 1.2. Let j be 11/3 + (-18)/27. Sort q, 0.3, j in ascending order.
q, 0.3, j
Let m = 13 + -10. Let w = -5 + 2. Sort 5, m, w in descending order.
5, m, w
Suppose 16 = 5*g + j, 5*g + 2*j - 9 = 3. Suppose 4*y = -0*o + 2*o + 8, g*y + 5*o + 6 = 0. Put y, 0, -4 in increasing order.
-4, 0, y
Suppose -25*b = -20*b + 25. Put 0, b, 5 in descending order.
5, 0, b
Suppose -1 = -4*f + 3*f. Let c(a) be the second derivative of -a**3/6 + 5*a**2 - 3*a. Let m be c(12). Sort f, m, 5 in decreasing order.
5, f, m
Let x = -2.1 + -0.9. Put 0.3, 4, x, -0.4 in descending order.
4, 0.3, -0.4, x
Let w = -26 - -77/3. Put 1/7, -3, w, -8/3 in descending order.
1/7, w, -8/3, -3
Suppose 3*i - o - 7 = 0, 3*o + 0*o = 5*i - 9. Suppose j + j - 8 = -4*s, -i*j - 3 = s. Put 2/5, s, -2 in descending order.
s, 2/5, -2
Let n = 1 - 0. Let v(l) = 4*l**2 - n - 4*l**2 - l**2 + 6*l. Let b be v(5). Sort b, 5, -4 in descending order.
5, b, -4
Suppose 0 = -p - 4*u + 8, -3*u = -1 - 2. Let q = 8 - 3. Sort q, 1, p.
1, p, q
Suppose -4*c - 14 = d, -6*c = -4*d - c + 28. Let z = 85 - 80. Put z, d, 0 in ascending order.
0, d, z
Let f = 52 + -52. Put 2, -2, -5, f in descending order.
2, f, -2, -5
Let z be (12/(-15))/((-2)/5*9). Sort -1, z, -3 in ascending order.
-3, -1, z
Suppose -j = 2*n + 2*n - 12, n = -3*j - 8. Suppose -3 = 3*r, -2*r - 2*r = 2*q. Put n, q, 3 in descending order.
n, 3, q
Suppose 2*k - 4 - 2 = 0. Let z = 24 + -28. Sort k, 4, z in descending order.
4, k, z
Let m = 10/9 - 13/9. Let i = 0.07 + -0.07. Sort i, m, -1/4.
m, -1/4, i
Suppose 6*k - 16 = 2*k. Let t = 5 + -5. Put t, -5, k in ascending order.
-5, t, k
Suppose 3*r = 5*i - 38, 2*i + r = -0*r + 13. Suppose 0 = -4*g - 15 - 5. Let j = g + i. Sort j, 0, 1/4 in descending order.
j, 1/4, 0
Let g = 2629/10 + -265. Let j = g + 3/5. Sort 0.03, j, 2/11 in increasing order.
j, 0.03, 2/11
Suppose 3*c - 12 = -0*c. Let n be (-2)/(-3) + (-30)/(-9). Suppose 0 = 2*t - 2*j + 12, t + 2*j + 2*j - n = 0. Sort 5, c, t in ascending order.
t, c, 5
Suppose -2*x = -0*x + 2*z, -4*x = 3*z - 3. Suppose -9 = 5*d + 2*n, -4 = -4*d + x*n - 25. Put -2/5, 1/3, d in ascending order.
d, -2/5, 1/3
Suppose 5*i + 2 - 22 = 0. Suppose 0 = -w - 2*a, a - 6 - 9 = -2*w. Put -4, i, w in increasing order.
-4, i, w
Let r = 50 + -50.27. Let q = -0.03 + r. Put 0.4, 0, q in descending order.
0.4, 0, q
Let c = 118 - 114. Let p = -2 + -1. Put c, -0.1, p in descending order.
c, -0.1, p
Suppose -3*n - n + 19 = d, -4*d = 4. Let u = -1 + 4. Let m(p) = p**3 + p**2 - 1. Let z be m(0). Put n, u, z in increasing order.
z, u, n
Let u = -0.16 - -0.26. Put 0, u, -4 in decreasing order.
u, 0, -4
Suppose -k = -5*k. Sort -1, 3, k in decreasing order.
3, k, -1
Let n(t) = t. Let g(u) = u**2 - 2*u - 6. Let x(y) = g(y) + 5*n(y). Let r be x(-5). Sort 5, r, -5 in descending order.
5, r, -5
Let l(p) = p**3 + 12*p**2 + 18*p - 7. Let q be l(-10). Put q, 4, -3, -4 in decreasing order.
q, 4, -3, -4
Suppose 4*p - 6 = 2*p. Suppose -12 = 3*k, p*l - 3*k - 20 = 2*k. Put 4, 3, l in descending order.
4, 3, l
Let j = -2/61 + -116/183. Let v = 0.2 + 0. Put v, j, -2/5 in increasing order.
j, -2/5, v
Let y = -7 - -8. Sort 3, y, 0, -4 in descending order.
3, y, 0, -4
Let n = 0.5 - 1. Let o = -106/21 - 65/7. Let u = -14 - o. Sort n, u, 1.
n, u, 1
Let s = 6 - 17/3. Let f = -4.4 + 4. Sort -1, s, f in descending order.
s, f, -1
Suppose -2*r - 512 = 2*z, 0 = -3*r + 2*r - 1. Let p = z + 5867/23. Sort p, -5, 0.3 in ascending order.
-5, p, 0.3
Let y(l) = -l**2 - l - 3. Let x be y(0). Sort -7, x, 5, -4 in ascending order.
-7, -4, x, 5
Let k = 1.5 + -1. Put -2/19, 3, k in decreasing order.
3, k, -2/19
Let m(c) = 2*c + 12. Let x be m(-7). Sort -4, -9, x.
-9, -4, x
Let u be 42/(-28)*2*-1. Put 4, -1, u in decreasing order.
4, u, -1
Let d = -0.083 - -0.283. Put -3, d, -2 in decreasing order.
d, -2, -3
Suppose 0 = -h + 5*g - 22 + 6, 2*g = 5*h + 11. Let s(m) = m**3 - 5*m**2 - 6*m + 3. Let a be s(6). Sort h, a, 1 in decreasing order.
a, 1, h
Let t = 43 + -46. Sort t, -4, 0, 1 in ascending order.
-4, t, 0, 1
Let k = -11/3