 t
Let a(h) = -10*h - 2. Let m(l) = -2*l + 7. Let u be m(7). Let y(i) = 3*i + 1. Let o(j) = u*y(j) - 2*a(j). Let q be o(-5). Sort 5, q, -2 in descending order.
5, q, -2
Let p = 0.6 + -0.62. Let t = p + 0. Let u = -0.02 - t. Sort u, -3, -2 in descending order.
u, -2, -3
Let o = 11 - 15. Let y be ((-7)/(-84))/(2/o). Sort y, 3, 4 in increasing order.
y, 3, 4
Suppose 124 = 7*x - 3*x - 4*u, 0 = -3*x + 4*u + 90. Sort -2, x, -1 in decreasing order.
x, -1, -2
Let v = -12/13 + 87/52. Put -5/4, -4, v in increasing order.
-4, -5/4, v
Let c = -5.14 - -0.14. Sort 0.01, -4, c in increasing order.
c, -4, 0.01
Suppose -4 + 19 = 3*b. Let h = 7 - b. Suppose -3*o = -0*f + f + 8, 3*o = -3*f. Sort f, h, 3 in decreasing order.
f, 3, h
Let m = -3.7 - -0.7. Let p = m - -6. Put 5, -4/7, p in descending order.
5, p, -4/7
Let a(v) = -v - 6. Let k be a(-8). Suppose 2 - 12 = -k*l. Sort -2, -6, l.
-6, -2, l
Let y be (-4)/22 + 40/99. Put -3/7, 0, y in decreasing order.
y, 0, -3/7
Let s(d) = d + 3. Let q be s(-8). Sort q, -4, 3, 0.2 in descending order.
3, 0.2, -4, q
Let i = -3 + 2.3. Let h = i - -1.2. Put h, -1, 1/6 in ascending order.
-1, 1/6, h
Let q = 3 + -5. Let t = q + 0. Let h = -12.1 - -12. Put h, t, 5 in decreasing order.
5, h, t
Let p = 0.031 + 25.969. Let x = p + -25.89. Let s = x - -3.89. Put 1/9, s, -5 in decreasing order.
s, 1/9, -5
Suppose 5*i + 5*f - 15 = 0, 0 = -2*i - 5*f - 1 + 16. Suppose i*a + 5*a + 10 = 0. Put a, -1, 1 in ascending order.
a, -1, 1
Suppose -2*g - 7 = -7*g - 3*c, 2*g + 3*c - 1 = 0. Let h be (g/4)/(5/(-10)). Sort 4, 0.2, h in increasing order.
h, 0.2, 4
Let k = 12.8 + -13. Put -2/9, 2/11, k in decreasing order.
2/11, k, -2/9
Suppose 2*j + 0 = 2*r + 6, 4*r + j = 8. Let q = -0.03 + -0.27. Let a = -0.1 - q. Put 1/6, a, r in increasing order.
1/6, a, r
Suppose 0 = -3*u + 4*u + 5. Let o be 1/(-4)*-4*u. Let y = -3 + 2. Sort y, -3, o.
o, -3, y
Suppose 0 = 4*d - 2*b - 2*b - 20, b + 1 = 0. Put 1, d, -4 in increasing order.
-4, 1, d
Let g = 0 - 0.2. Let j(b) = 2 + 0*b + 1 + 2*b. Let c be j(-4). Sort g, -0.1, c.
c, g, -0.1
Let u be (-12)/9*(0 + -3). Sort 0.5, -3, u in increasing order.
-3, 0.5, u
Let s = -150 - -153. Suppose -5*q + 10 - 35 = 0. Put q, s, -0.04 in increasing order.
q, -0.04, s
Let z = -34 - -34.2. Sort -0.4, 2, z, 2/11 in decreasing order.
2, z, 2/11, -0.4
Let v(c) = 2*c + 15. Let a be v(-8). Put a, 0, 3 in ascending order.
a, 0, 3
Let n = 0.04 - 0.02. Let c = n + 0.18. Put -1, -2/9, c in descending order.
c, -2/9, -1
Let p = -2 + 4. Suppose -4*n + 2 + p = 0. Sort 0.1, n, 2/17 in ascending order.
0.1, 2/17, n
Let x = -0.3 - 0.1. Let v = -0.4 - x. Let k = 2 + -2.3. Sort v, 2/7, k.
k, v, 2/7
Let j = 77 - 384/5. Put j, -2, 2, -5 in descending order.
2, j, -2, -5
Suppose 2*n = 5*n + 171. Let u be n/11 + 6/33. Sort 0, 1/3, u in ascending order.
u, 0, 1/3
Let b(x) = x**2 + 6*x - 3. Let j be b(-6). Suppose -3*g = -c + 13 - 3, -5*g - 3*c = 26. Sort j, 1, g.
g, j, 1
Suppose m - 36 = -m. Suppose -2*z - m = -z + 3*s, 4*z + 17 = -s. Sort 4, z, 0 in decreasing order.
4, 0, z
Let p(r) = r**2 + 15*r + 18. Let f be p(-14). Sort f, -6, -5 in descending order.
f, -5, -6
Let b = -7 + 7.03. Let c = 0.43 - b. Let u = c - -3.6. Sort u, 5, 3 in increasing order.
3, u, 5
Suppose -52 + 12 = 4*o. Put -1, -2, o, -4 in increasing order.
o, -4, -2, -1
Suppose 2*f = f - 3. Let w be (-3)/(-3)*(0 + f). Sort w, 4, -2.
w, -2, 4
Let l = -2.1 - -2.06. Let k = l - -5.04. Let i = 0.2 + 0. Sort i, k, 2/11 in descending order.
k, i, 2/11
Suppose 5*x + 3 = -2. Let f(d) = -d**2 - 7*d + 9. Let z be f(-8). Sort z, 2, x in increasing order.
x, z, 2
Let z(f) = -f - 18. Let y be z(-16). Put y, -2/13, -0.1, 2/23 in increasing order.
y, -2/13, -0.1, 2/23
Suppose v = -4*k + 3*v - 14, 5*v = -5*k - 25. Sort k, 2/3, -3.
k, -3, 2/3
Let c = -0.2 + 0.4. Let i = 0.2 + c. Sort i, -1, 0.5.
-1, i, 0.5
Let u = 13 - 17. Let j = -6 + 6.4. Put -0.2, u, j in descending order.
j, -0.2, u
Suppose 0 = 4*u - u. Suppose -2*w = -2*j - 6, u = -4*w - j - 4*j - 6. Sort w, 0, -3 in decreasing order.
w, 0, -3
Let x = -4 - -3.7. Let f = -0.8 + -0.2. Let u = 0 - f. Sort -1/3, u, x.
-1/3, x, u
Suppose -v = 2*y + 1, 0 = -4*v - 3*y + 1 - 15. Sort 10, -1, -4, v.
v, -4, -1, 10
Let t = -2 - -5. Let u = -1 + t. Let j = u + 2. Sort -0.4, -0.2, j in ascending order.
-0.4, -0.2, j
Let n = -19 - -4. Let i = 17 + n. Sort -1/2, i, -1 in descending order.
i, -1/2, -1
Suppose -3*t + 4 = -8. Let k = 43 + -46. Put t, k, 2 in decreasing order.
t, 2, k
Let c be (-7)/(-40)*5/2. Let x = -109/176 + c. Put 5/2, x, -5 in increasing order.
-5, x, 5/2
Suppose 4*u + 18 = 2. Let i(a) = a. Let j be i(u). Let c be ((4/2)/j)/(-2). Sort 4, 0, c.
0, c, 4
Suppose -4*q = -2*q - 2. Suppose -u + 5 = 5*c, 0*u + 4 = -2*u - 3*c. Suppose -4*k - 3*l = -24, -10 = -2*l - 2. Put u, k, q in descending order.
k, q, u
Let q(r) = 7*r + 2. Let l be q(-1). Put 2, l, 1 in increasing order.
l, 1, 2
Let x be 1 - ((-2)/(-1) + 6). Let s be x + -2 + -1 + 4. Let d = s + 8. Sort 5, d, -3 in ascending order.
-3, d, 5
Suppose 7*r - 95 = -12*r. Put r, -9, -2 in decreasing order.
r, -2, -9
Let p = -15 + 10. Let o(r) = r**2 + r - 4. Suppose 3*m = 2 - 11. Let u be o(m). Put u, 4, p in descending order.
4, u, p
Let g = 9 - 10. Put -2/11, -1/5, g in ascending order.
g, -1/5, -2/11
Let h = 24 - -2. Let r = h - 18. Let x be r/6 + 3/(-9). Put x, -5, 4/7 in ascending order.
-5, 4/7, x
Let w = -31 - -34. Put 0, w, -3 in descending order.
w, 0, -3
Suppose -3*a + 0*w = -4*w - 10, -2*a + 3*w = -8. Suppose 2*d + 7 = -3*s, 3*s + 4*d - 4 = -21. Let r = -2 + s. Put r, a, 0.3 in increasing order.
a, r, 0.3
Suppose 4*x - 1 = -21. Let p be (-1)/((-2)/6)*1. Sort p, 1/7, x.
x, 1/7, p
Let s = -12 - -14. Suppose -12 + s = 5*u. Let p(m) = 4*m**3 + 2*m + 1. Let r be p(-1). Sort r, u, -3.
r, -3, u
Let r = 4 - 2. Suppose 4*y + 24 = 2*o, 0 = 7*o - 2*o + r*y. Suppose 3*i + 12 = 2*l, -2 = 3*i + i + 2*l. Sort i, o, -5 in decreasing order.
o, i, -5
Suppose w - 12 = -5*f - 0*f, 2*w = 3*f - 15. Let k be f/((-6)/(-4))*1. Suppose -x - x = 4*n - k, 4 = -4*x. Sort -1, n, -2 in increasing order.
-2, -1, n
Let f = 23.6 - 24. Put 5, f, -1 in increasing order.
-1, f, 5
Let x be 24/(-16)*(-4)/2. Sort -2, x, -9 in descending order.
x, -2, -9
Let a = -3.17 + 5.3. Let k = 0.13 - a. Sort -1/6, k, -6 in descending order.
-1/6, k, -6
Let i be 22/(-18) - (-6)/27. Suppose -2*u + 5 = -u. Let x(s) = -s + 9. Let m be x(6). Sort m, i, u in ascending order.
i, m, u
Let t(q) = -q**3 + 2*q**2 + 3*q - 2. Let y be t(3). Sort 3, y, 0 in ascending order.
y, 0, 3
Suppose -2*t + 5*c + 32 - 10 = 0, 0 = t + 3*c + 11. Put -4, 6, t in decreasing order.
6, t, -4
Let f(b) = -b - 9. Let j be f(-7). Let g be 1 + j + (-12)/3. Sort 2, 5, g in decreasing order.
5, 2, g
Let h = 5.39 + -0.39. Let j be 3/35 - (-2)/(-7). Sort j, 0, h in decreasing order.
h, 0, j
Let m = -4 - -3. Let t = m + -3. Let b = -3.6 - t. Sort -0.1, 2, b in ascending order.
-0.1, b, 2
Let f = -23.97 - -24. Sort 2/5, f, 3 in descending order.
3, 2/5, f
Let l = -16 + 19. Put l, -5/3, -1/4 in increasing order.
-5/3, -1/4, l
Suppose -6 = 2*h + 2*f, -4*h - 3*f - 5 - 3 = 0. Sort -1, -2, h.
-2, -1, h
Suppose 5*i = 8 + 2. Suppose -i*w - 2 = -4*x, -2*x - 2*x = w + 1. Let v = -9 - -14. Put 4, v, w in decreasing order.
v, 4, w
Suppose -r = -i + 1, -5*r - 2*i = -4 + 2. Let m = 3 - 2. Suppose r = -b + m + 3. Sort -3, 1, b in ascending order.
-3, 1, b
Let d = 0.097 + 0.003. Sort -4, d, 0 in descending order.
d, 0, -4
Let s(i) = -6*i**2 + 8*i + 4. Let h(b) = -7*b**2 + 9*b + 4. Let x(l) = -5*h(l) + 6*s(l). Let c = 8 + -4. Let k be x(c). Sort -3, k, 1 in ascending order.
-3, k, 1
Let o be -2*(3 - 2)*-1. Let m(v) = 8*v**2 - 5*v + 1. Let n be m(2). Suppose 4*z + o*x - 18 = -x, -5*z - 4*x + n = 0. Sort 5, z, 0.
0, z, 5
Let c = -279/104 - -30/13. Let s = -3.6 - -0.6. Sort 2, c, s in descending order.
2, c, s
Suppose 4*a = j - 105, 3*a - 4*a - 33 = 2*j. Let t be 2 - (-222)/(-8) - 2. Let n = a - t. Sort 4, n, -2.
-2, n, 4
Let c = 20 - 15. Suppose 4*j + 2 = c*j. Put j, -5, 4 in ascending order.
-5, j, 4
Suppose 4*o = 20, -g = -2*o + 4*o - 12. Suppose 3 + 5 = -g*b. Suppose -5 = -2*t + t. Sort -1, t, b in ascending order.
b, -1, t
Let g = -74 - -74.4. Sort -0.5, g, 2/3, -5 in increasing order.
-5, -