 a be t(b). Sort z, a, 2.
a, 2, z
Let f be (-12 - 1) + -2 - -3. Let o = f - -8. Sort 5, o, -6.
-6, o, 5
Let o = 28 - 17. Let l = o + -8. Put 2/9, 0.4, l in decreasing order.
l, 0.4, 2/9
Let t = 12 - 9. Put -4, -3, t in ascending order.
-4, -3, t
Let u = -215/4 + 54. Sort -0.3, u, -0.1 in ascending order.
-0.3, -0.1, u
Suppose -3*q - 52 + 19 = 0. Put q, 5, 3 in ascending order.
q, 3, 5
Let l = -21 - -22. Suppose 4*y = 4*x + 40, 3*y - 6*y + 25 = -2*x. Let g = y - 3. Sort g, l, 0 in decreasing order.
g, l, 0
Let y = 1893/7 - 271. Let l = 0.05 - -0.05. Sort 0.4, l, y in descending order.
0.4, l, y
Let p be (3 - 6) + (1 - -13). Let i(s) = -3*s**3 + 2*s**2 + s - 2. Let z be i(2). Let q = z + p. Sort q, 4, -1.
q, -1, 4
Let n = 6 - 3. Let b be n/(-12) - (-42)/8. Let l = 2 - b. Put -2, 1, l in descending order.
1, -2, l
Let l(g) = -g**2 - 5*g. Let p be l(-5). Suppose 5*r + 3*w + 13 = p, w + 6 - 11 = 3*r. Sort r, 1, 5 in increasing order.
r, 1, 5
Let b = -0.18 - -0.08. Sort b, 5, 3 in increasing order.
b, 3, 5
Let a = 1.97 - -0.03. Let m = 0.1 + 0.9. Let z = -1.1 + m. Sort z, -2, a in ascending order.
-2, z, a
Let g(l) = l**2 + 15*l + 58. Let h be g(-9). Let z(d) = -d**2. Let b be z(0). Suppose -n = -b - 3. Put n, -4, h in decreasing order.
h, n, -4
Let w be 46/(-14) - (-2)/7. Let j = -278/2145 + -4/165. Sort j, -3/4, w.
w, -3/4, j
Let u = 7 - 12. Let d = 7 + u. Let w = d - 1.6. Put 0, -0.2, w in descending order.
w, 0, -0.2
Let o(l) = l**3 - 10*l**2 - 10*l - 7. Let p be o(11). Sort -5, 0, p in increasing order.
-5, 0, p
Let i(d) = -6*d + 5. Let q be i(1). Sort 8, q, 4 in descending order.
8, 4, q
Let b = -4.71 + -0.29. Put -0.2, -1, b in descending order.
-0.2, -1, b
Let n = 62 + -62.4. Sort -14, 0.3, n.
-14, n, 0.3
Let v = 4 + -4. Sort -4, 1, v, -2 in decreasing order.
1, v, -2, -4
Let q(r) be the second derivative of r**5/20 - r**4/6 - r**3/3 - 2*r. Let f be q(3). Let n be 2 + -3 - (-12)/(-3). Sort -1, f, n in increasing order.
n, -1, f
Let m = -233 - -3959/17. Let u = 29 - 20. Let t = u - 9.3. Sort -1, m, t in decreasing order.
m, t, -1
Let c = 39 - 38. Put 2/5, -4, c in increasing order.
-4, 2/5, c
Suppose -5*y + 10*y - 20 = 0. Sort 1, -5, y in descending order.
y, 1, -5
Suppose 2*h + 5*k = -3*h + 15, -4*k = h - 6. Sort 0, 5, h in ascending order.
0, h, 5
Let c = -18 + 18.9. Let x = 1 - c. Sort 1/4, -3/4, x.
-3/4, x, 1/4
Suppose -20 + 41 = 7*h. Sort 2, -5, 4, h in ascending order.
-5, 2, h, 4
Let v be -4*(30/(-12) - -2). Sort 4, -13, 3, v in ascending order.
-13, v, 3, 4
Let u = 0.2 - 0. Suppose 4 - 8 = -2*z. Let s = 1 - 1. Sort u, s, z.
s, u, z
Let a = 70 - 71. Sort -1/3, a, -3, 1/2 in descending order.
1/2, -1/3, a, -3
Let n(r) = r**3 - 7*r**2 + 6*r + 3. Let q be n(6). Let h(l) = l + 5. Let w be h(-6). Put 1, w, q in descending order.
q, 1, w
Let a = -0.37 + 0.07. Put 4, a, 0 in descending order.
4, 0, a
Let o = 3 - 5. Let g be (9/15)/(o/(-10)). Put -5, g, 1 in increasing order.
-5, 1, g
Let o = -22 + 23. Sort 4, 2, o.
o, 2, 4
Let v(p) = -6*p**3 + 5*p**2 - 14*p - 11. Let t(s) = 5*s**3 - 5*s**2 + 13*s + 10. Let k(c) = -7*t(c) - 6*v(c). Let q be k(-6). Put q, -2, 4 in increasing order.
-2, q, 4
Let k = -32 - -34. Sort 0.2, k, 11 in descending order.
11, k, 0.2
Let c = -3 - -4. Let r = -45 - -35. Sort c, r, -4 in descending order.
c, -4, r
Suppose 0 = -4*h + 7 - 19. Sort h, 0, -1 in increasing order.
h, -1, 0
Let q = -30 + 29. Let h(o) = -o**2 + 7*o - 8. Let s be h(6). Sort -3, q, s in ascending order.
-3, s, q
Suppose -5*o - 12 = -2*a + 4, -4*o + 7 = 5*a. Suppose -4 = -a*v + 2*v. Let b be (-1 + 6)*v/5. Sort -3, -1, b in decreasing order.
b, -1, -3
Suppose 5*k = 2*o - 13, o = -3*k - 1 + 2. Sort -3, 4, k.
-3, k, 4
Let q = 0.2 + 0.8. Let x = 10.5 - 10. Sort 2/9, q, x.
2/9, x, q
Let t be 20/(-6)*(-60)/(-40). Put 3, t, 1, 2 in increasing order.
t, 1, 2, 3
Let t = -54.89 + 55. Sort t, 2, -4.
-4, t, 2
Let d = 38 - 33. Put 3, -12, 4, d in ascending order.
-12, 3, 4, d
Let c(i) = -i - 6. Let j be c(-6). Let u = -135 - -137. Sort j, u, -2 in decreasing order.
u, j, -2
Let a = -4 + 9. Suppose -15 = -a*t - 10. Put 3, -0.5, t in descending order.
3, t, -0.5
Suppose -20*l + 19*l = 4. Suppose q + 21 = -3*z - q, 2*z + 4*q = -22. Sort 11, l, z in ascending order.
z, l, 11
Let s(q) = q - 10. Let i be s(-7). Let h = 16 + i. Put h, -0.06, 2 in increasing order.
h, -0.06, 2
Let u = 14 + -15. Suppose b + 4*v + 16 = 0, 0*v = -4*v - 20. Sort b, u, -3.
-3, u, b
Let v = 61 + -63.7. Sort v, -0.3, 1 in descending order.
1, -0.3, v
Let w(u) = u**2 - 2. Suppose -2*d + 2 + 2 = 0. Let m be w(d). Let s be (10/m)/(4 + -3). Sort -2, -4, s in increasing order.
-4, -2, s
Let a = -6 + 2. Let c be 3/15*(-2)/(-2). Sort 3/5, a, c.
a, c, 3/5
Let j = -7 + 12. Sort -6, j, -5 in decreasing order.
j, -5, -6
Let f = 44 - 49. Sort -4, f, 3 in decreasing order.
3, -4, f
Let o = -4 - -3.7. Let q = o - -0.1. Let m = q + 0. Sort m, 0.1, -3 in ascending order.
-3, m, 0.1
Let w = -11.3 + -2.7. Let a = w + 9. Let x = 130 - 127. Sort -3, x, a.
a, -3, x
Suppose i - 12 = -3*i. Let r = 12/55 - 2/5. Put r, i, -1/5 in decreasing order.
i, r, -1/5
Let d(j) = -j**3 + 6*j**2 + 2*j - 3. Let y be d(6). Put 2, y, -1/2 in decreasing order.
y, 2, -1/2
Let s(l) = l**3 - l**2 - l + 6. Let m be s(0). Suppose 3 = -3*r + m*r. Let x = 4 - r. Sort x, 5, -5.
-5, x, 5
Suppose 0*b + 5*b + 3 = -2*p, 5*b + 15 = -5*p. Sort 5, p, 1.
p, 1, 5
Let l = -1 - -3. Suppose a + 3*a - 12 = 0. Suppose -s = -2*s + 1. Put l, a, s in increasing order.
s, l, a
Let i = -2.2 + 1.7. Sort i, 1, -0.2.
i, -0.2, 1
Let b(h) = h**3 + 3*h**2 - 2*h - 1. Let v be b(-3). Put 4, 12, v in ascending order.
4, v, 12
Suppose 3*j + 4*r + 12 = -17, -5*j = 5*r + 40. Let c = j + 5. Let z = 1 + -1.2. Put c, z, -1 in descending order.
c, z, -1
Let t = 177 + -117. Let n be t/14 + (-2)/7. Let z = 6 - 11. Sort n, z, -1.
z, -1, n
Let n be ((-2)/5)/((-4)/10). Sort n, 2, -4 in decreasing order.
2, n, -4
Suppose -w + 21 = 4*j, 3*j + 2*j = 2*w + 10. Put 5, j, -5 in descending order.
5, j, -5
Let j be (-4)/(-6)*(0 + 3). Suppose t + 4 = 5*n - 2*t, -j = 2*n - 3*t. Sort 4, n, -4 in decreasing order.
4, n, -4
Let i be (-2)/(-2) + 4/(-2). Let o be 6/5 - 2/10. Let d be (-1)/((2/(-4))/o). Put d, 4, i in decreasing order.
4, d, i
Let r(s) = -s + 4. Let u be r(2). Suppose u*g = 16 - 6. Sort -0.7, g, 3 in descending order.
g, 3, -0.7
Suppose -4*g + 7 = -t, -2*t + 3*g + 3 = -4*t. Let y be ((-1)/t)/((-2)/(-6)). Put y, -5, -2 in increasing order.
-5, -2, y
Suppose 0*x - 12 = 4*x. Sort 15, 5, x.
x, 5, 15
Let v = -99 - -99. Put v, -5, -40 in decreasing order.
v, -5, -40
Suppose 81 = 5*g - 2*g. Let p = 22 - g. Sort p, -2, -4 in ascending order.
p, -4, -2
Let g(f) = -f**2 - 4*f + 11. Let c be g(-6). Let i = -2 + 3. Put i, c, -3 in decreasing order.
i, c, -3
Suppose -o - 2 = 4*r, 2*o - r + 9 = 7*o. Put 0, 1, o in increasing order.
0, 1, o
Let b = -137 - -137.5. Let f = 1 - 3. Let r be 2 - (f - 13/(-3)). Put -3, r, b in ascending order.
-3, r, b
Let y = -49/10 - -22/5. Put -3, y, -14, -5 in decreasing order.
y, -3, -5, -14
Let d(y) = -y**2 - y + 1. Let l = 3 + -5. Let t be d(l). Suppose 0 = 3*x - 4*o + 4, -16 = -10*o + 6*o. Sort t, x, 5.
t, x, 5
Let m(x) = -x**3 + 2*x**2 - x - 2. Let o be m(0). Suppose 2*u = -0*u - 8. Sort u, 0, o in descending order.
0, o, u
Let d(w) = w + 3. Let g be d(-3). Let h(z) = 2*z - 3. Let n be h(5). Let s be (-1)/4 - n/(-12). Sort -0.4, g, s.
-0.4, g, s
Let c = 0.001 - -5.099. Let d = c - 0.1. Put -2, -0.1, d in ascending order.
-2, -0.1, d
Suppose -d = -2*d - 4. Let s(f) = -19*f - 73. Let q be s(-4). Sort 1, d, q in decreasing order.
q, 1, d
Let f = 64 + -65. Let z(m) = m**3 - 2*m**2 - m + 2. Let b be z(3). Let i = b + -13. Put -0.5, i, f in descending order.
-0.5, f, i
Suppose 4*p = 4*u + 36, 3*p - 29 = u - 0*u. Let h = -4 + 7. Suppose h*t + p - 4 = 0. Sort -1, -5, t in decreasing order.
-1, t, -5
Let r = 7 - -2. Suppose r*y = 4*y. Let n = 66 + -65.7. Put n, y, 0.4 in descending order.
0.4, n, y
Let z be (-79)/(-26) + -2 + (10 - 11). Put 0.1, -4, z in increasing order.
-4, z, 0.1
Let w be 5/2*-2 - 2. Let y = w + 2. Sort y, -4, 3 in increasing order.
y, -4, 3
Let r = -0.42 - 0.08. Let q = r - -0.5. Sort 0.2, -1, q in descending order.
0.2, q, -1
Suppose 25 = -5*