- 15. Sort -4, 8, f.
-4, f, 8
Suppose 2*i - 7*i = 0. Suppose l = -2*q + 9 + 5, -2*q + 10 = 0. Sort l, 2, i in increasing order.
i, 2, l
Let o = 0.95 + 0.05. Let h = o + -0.5. Put -3, h, -4 in decreasing order.
h, -3, -4
Let u(p) = p + 7. Let n be u(-3). Suppose 0 = -s + 5 - 6. Let w = -1.7 + 2. Put s, n, w in ascending order.
s, w, n
Suppose -2*h + 4 + 0 = 0. Let q = -0.52 - -0.5. Put h, 0.4, q in ascending order.
q, 0.4, h
Suppose -24*g + 21*g = -12. Put 0, g, -7 in decreasing order.
g, 0, -7
Suppose 2*q + 3*u - 3 = 6, -14 = -4*q - 2*u. Sort 1, 0, q.
0, 1, q
Let i be (-4)/(-18) - 19/(-36). Put -0.1, i, 4 in decreasing order.
4, i, -0.1
Let w = 70 + -69.7. Sort -0.2, w, -9 in descending order.
w, -0.2, -9
Let c = 3 - 1. Suppose 4 + 2 = 3*x. Suppose 0 = -7*q + x*q - 20. Put c, q, -3 in descending order.
c, -3, q
Let k be ((-366)/126 - -3)*3. Let p = -0.2 - -4.2. Sort k, p, -0.5 in ascending order.
-0.5, k, p
Let u = -2.5 - -3. Let z = -9.97 + 6.97. Let g = 3 - 4. Sort z, u, g in increasing order.
z, g, u
Suppose 33 = 4*y + 3*g + 8, -y = -g - 15. Let u = y - 10. Put 4, 2, u in ascending order.
u, 2, 4
Let p = 72 - 73. Put p, 20, -3 in ascending order.
-3, p, 20
Suppose -w + 5 = 0, w - 7 = -0*g + g. Let x be 57/(-11) - (-20)/110. Sort x, g, 1 in ascending order.
x, g, 1
Let h be 2 + -1 - (-2)/(-4)*8. Sort h, -2, -5 in decreasing order.
-2, h, -5
Let o = -8.3 - -8.2. Put 0.3, 2, o in descending order.
2, 0.3, o
Let h = -0.6 - 4.4. Let o be 0/1 - 2/(-7). Let r = -0.039 - -3.039. Put o, h, r in decreasing order.
r, o, h
Let z = 14 + -19. Put z, 4, 0, -4 in increasing order.
z, -4, 0, 4
Suppose 0 = -3*g + 3*u + 6, -5*g = -g - 3*u - 6. Put -4, g, -1, -3 in decreasing order.
g, -1, -3, -4
Let k = -1/130 - 19/130. Let y = 0 - -0.2. Let b = 5 + -6. Sort y, b, k in decreasing order.
y, k, b
Suppose 3 = -4*x - 5. Let n(y) = y**2 - 5*y + 2. Let f be n(2). Sort 4, f, x in decreasing order.
4, x, f
Let v be 18/21*2*(-14)/(-12). Suppose 4 = -y + 5. Sort v, y, -5 in ascending order.
-5, y, v
Suppose -c + 5*c = -4*v - 28, -3*c - v = 11. Put c, 3, 1 in decreasing order.
3, 1, c
Let u = -0.3 + 0.1. Let f = -0.2 - u. Let x = -1068/11 - -97. Put x, 0.2, f in increasing order.
x, f, 0.2
Suppose -2*t + 0*t + 2 = 0. Let s = -10 - -9. Put s, 0, t in decreasing order.
t, 0, s
Let z = -16 + 16. Sort z, -2, 0.4 in descending order.
0.4, z, -2
Let q = 15 - 18. Let w be q - (520/36)/(-5). Sort w, 1/4, -5 in descending order.
1/4, w, -5
Let n be (-1 + 3)/(-2) - 72/(-40). Sort n, -0.2, 3 in descending order.
3, n, -0.2
Suppose 3*y = 2*z + 25, -17*y + 8 = -16*y - z. Sort 2, -1, y, 3.
-1, 2, 3, y
Let p = -25 + 20. Let a be 5*2/(20/6). Put p, -1, a in descending order.
a, -1, p
Let t = -73.3 - -73. Sort t, 0.5, -5, 2 in increasing order.
-5, t, 0.5, 2
Let b = -17 + 28. Let n = 10.6 - b. Sort 3, 0.2, n in descending order.
3, 0.2, n
Let v = 2 + -3. Sort -0.09, v, 0.5 in increasing order.
v, -0.09, 0.5
Let p be (-2)/(-6) + (-212)/6. Let j be ((-30)/p)/((-1)/(-1)). Sort -4, j, -0.4 in decreasing order.
j, -0.4, -4
Let h be 0 + (-1 - -3) - 1. Suppose -2*u = 2*c - 0*u + 4, 3*c + 27 = 4*u. Put h, c, -4 in increasing order.
c, -4, h
Let w be 4/10 - 13/20. Let i = 15.5 - 13. Let v = -2.9 + i. Sort w, -0.5, v in descending order.
w, v, -0.5
Let r(h) = h - 9. Let w be 42/(-12)*(-2 - 0). Suppose j + 29 = w*k - 3*k, 2*j = -3*k + 19. Let t be r(k). Put t, -5, 5 in decreasing order.
5, t, -5
Let z = 2.4 - -8.6. Let u = z - 6. Let s be ((-2)/4)/(22/(-4)). Put 0.5, s, u in descending order.
u, 0.5, s
Let c be 3/(-1) + (2 - 1). Let u = -2 - -3. Sort -2/7, u, c.
c, -2/7, u
Let k = -5 + 0. Suppose 3*x - 5 = 8*x. Put k, 0, x in descending order.
0, x, k
Suppose -3*w - 2 = 28. Let i(k) = -5 + 10*k - 3*k**2 - k**3 + k**2 - 7*k**2. Let n be i(w). Sort 4, -1, n in ascending order.
n, -1, 4
Let y be -1 - -2*(6/4 - -1). Put 1/6, -0.3, 0, y in decreasing order.
y, 1/6, 0, -0.3
Let v = -2.81 - 0.19. Sort v, 0.6, 0.3.
v, 0.3, 0.6
Suppose 12*g - 7*g + 10 = 0. Sort g, 5, -44, -3.
-44, -3, g, 5
Let z be (-13)/3 + (-1)/(-3). Let j be 11/(-55) + (-4)/5. Let n be 3 + (1 + j - 0). Put n, z, -1 in descending order.
n, -1, z
Let p = -42 - -41. Sort 3, 1, p, 2.
p, 1, 2, 3
Suppose 10 = 2*u - 7*u. Let s(v) = -v - 7. Let k be s(-6). Sort k, u, -8.
-8, u, k
Let j = 0.649 + -0.149. Put -2, -0.02, 4, j in descending order.
4, j, -0.02, -2
Let r = 1/68 + -141/340. Let k = 0.158 - -0.242. Put r, 2, k in descending order.
2, k, r
Let v(z) = -2*z**2 + z - 2. Let m be v(0). Put -4, m, -3 in increasing order.
-4, -3, m
Suppose -4*v + 18 = -2*l, 0*v + 10 = 2*l + 3*v. Sort l, 4, 8/5 in increasing order.
l, 8/5, 4
Suppose 0 = -y - 3, -4*u - u = 5*y + 35. Sort u, 5, 4 in ascending order.
u, 4, 5
Suppose -m = 2*m - 3. Let s be 0 - m/((-2)/6). Put -5, s, -1/5 in descending order.
s, -1/5, -5
Let b be -1 + -3 + 0 - 1. Suppose -4*o + 0*o - 12 = 0. Let q = 0 - o. Sort b, -4, q in decreasing order.
q, -4, b
Let g(l) = 4*l**3 + l**2. Let o be g(-1). Let b be 2 - 21/(-18)*o. Put -3/8, 3, b in increasing order.
b, -3/8, 3
Let y(z) = -2*z + 1. Let w be y(-3). Let a be w/5 + -11 + 10. Put a, 0.1, 5 in decreasing order.
5, a, 0.1
Suppose -5*g + 22 = -3. Sort -1, g, 2.
-1, 2, g
Suppose 0 = -4*r - 5 + 17. Suppose r*i + 3 - 12 = 0. Sort -2, i, 4.
-2, i, 4
Let z be 1*5/(-5) + 1 + 0. Sort z, -1, 7, -4 in decreasing order.
7, z, -1, -4
Let y = 1.53 - -1.47. Sort 4, y, 0.1 in ascending order.
0.1, y, 4
Let d be ((-1)/9)/(3/2). Let m be (-2)/(-12) - 26/(-108). Let w = m + d. Put 0.5, 2, w in decreasing order.
2, 0.5, w
Let a = -0.17 - -0.47. Sort 7, 5, a.
a, 5, 7
Let o = -0.102 - -4.102. Sort o, 0.3, -1, -3 in decreasing order.
o, 0.3, -1, -3
Let s be (2 + -1)*2/1. Suppose m + 4*p - 17 = -0*m, 2*p = -m + 9. Let u be m/((4/(-2))/4). Put 5, s, u in descending order.
5, s, u
Let v be -1 - 15/(-20) - 0. Let y = -101 - -407/4. Sort y, v, -3/4.
-3/4, v, y
Let w = 0.031 - -16.969. Sort -3/4, w, -3, 2/9 in descending order.
w, 2/9, -3/4, -3
Let l = -111 + 115. Let d be (5/16)/(9/(-44)). Let g = d + 16/9. Put g, l, -5 in increasing order.
-5, g, l
Suppose -7 = -2*k + z, -3*k + 2*z + 8 = -1. Suppose 5*f + h + 13 = f, 5*f - k = 3*h. Let w be ((-2)/3)/(f/(-15)). Put w, 2, 5 in descending order.
5, 2, w
Suppose a + 2 = 2*l - 7*l, -12 = -3*a + 3*l. Let o = -0.34 + -0.06. Sort o, a, -0.1 in decreasing order.
a, -0.1, o
Suppose 0 = -5*s + 9 + 1. Suppose -2*u + s = 2*n, 2*u = n + 2*n + 7. Sort u, -5, 1 in increasing order.
-5, 1, u
Let f = 90 + -87. Put 2/5, f, 4/5 in descending order.
f, 4/5, 2/5
Let s be 4/(-3) + (-3)/(-9). Let j be (s/(-2))/(3/(-18)). Let y = j - -2. Sort 1, 5, y in descending order.
5, 1, y
Let c = 14.8 + -15. Sort c, -0.4, -0.5 in decreasing order.
c, -0.4, -0.5
Suppose 0 = -12*i + 10*i + 8. Put 5, -1, i, 1 in descending order.
5, i, 1, -1
Suppose -11 = 2*x + 9. Let c = 14 + x. Sort 3, -2, c.
-2, 3, c
Let l = 11 + -16. Let x be (-18)/(-8) + (-1)/4. Suppose -d - f + 2 = -x*d, -7 = d + 4*f. Sort l, -2/3, d in ascending order.
l, d, -2/3
Let b be (-92)/22 + 22/121. Put -0.3, -1/5, b, 1/2 in ascending order.
b, -0.3, -1/5, 1/2
Let u = 0.3 - -0.1. Let b = 260 + -2338/9. Put b, u, -1/2 in descending order.
u, b, -1/2
Let d = -3.3 - -6.3. Sort 2, -0.3, -5, d in increasing order.
-5, -0.3, 2, d
Let i = -159 - -153. Sort i, -3, -0.1 in decreasing order.
-0.1, -3, i
Let q = 0.02 + -0.02. Let b = q + 0.02. Let j = b - 1.02. Put j, 4, -4 in increasing order.
-4, j, 4
Let f be (-6)/(-18) + 26/(-6). Let z = 3 - 9. Sort z, f, 5.
z, f, 5
Let k = 6 - 31/5. Sort -3/25, -5, k in descending order.
-3/25, k, -5
Let k(m) = -m**2 - 7*m - 9. Let f be k(-6). Sort -1, 0.13, f, -3/2.
f, -3/2, -1, 0.13
Let h = -163 - -1138/7. Sort 9, h, 0.2, -3/2.
-3/2, h, 0.2, 9
Suppose -2*p + 12 = -4*q, q + 5*p = -0*p - 14. Let h = 404 - 404. Put h, q, -5 in ascending order.
-5, q, h
Let q = -0.6 - -0.4. Let z = 2 - 0.5. Let c = z + -2. Sort c, q, 0.1 in ascending order.
c, q, 0.1
Let p = 2.72 - 2. Let o = p + -0.02. Let g = -0.5 + o. Sort 0.3, 4, g in ascending order.
g, 0.3, 4
Let m(h) = -2*h - 5. Let s be m(0). Sort 2, s, 1.
s, 1, 2
Suppose 2*w = -4*z + 2, -w + 5 = 3*z + 4*w. Suppose z = 5*o - 3*o - 2*i + 14, -3*i = 2*o - 11. Let h = 6 + -3. Put h, o, 4 in descending order.
4, h, o
