der.
-5, r, 0.5, 3
Let d(c) = -10*c + 19. Let p be d(6). Sort -2, p, -3, 5 in descending order.
5, -2, -3, p
Suppose -6 = 2*v + 2*h, 4*h = 19*v - 15*v + 12. Suppose 7 = 5*z + 2. Sort z, 0, v, 5 in descending order.
5, z, 0, v
Let q = 610 + -609.6. Sort 0.04, 5, q, 5/2.
0.04, q, 5/2, 5
Suppose 2*i - 5*z - 5 = 0, -z - 4*z - 25 = 2*i. Put 4, 5, i in increasing order.
i, 4, 5
Let f be -2 + (-1)/(3/(-9)). Suppose -5*t - 7 = -2, 4*u + 3*t = f. Sort u, 2, 15 in increasing order.
u, 2, 15
Let b = -8 + 9. Let n = 6.987 - -2.013. Sort 0.5, b, -0.4, n in ascending order.
-0.4, 0.5, b, n
Suppose t - 7 = 5*o, o = -4*o - 5. Suppose -15 = t*q + 2*q + 3*y, q = 5*y + 25. Suppose -1 - 7 = 4*p. Put p, 3, q in decreasing order.
3, q, p
Let n = -405 + 404. Let r = -4 + 6. Let k = 4 - r. Sort 1, n, k in ascending order.
n, 1, k
Suppose 8*c = 20 + 20. Put c, -5, 0 in ascending order.
-5, 0, c
Let s = 2510/11 + -228. Let k = 32.2 + -33.63. Let b = 0.57 - k. Sort b, s, -0.2 in decreasing order.
b, s, -0.2
Let j = -1444 + 1444.6. Put -10/9, j, -1, 0.3 in increasing order.
-10/9, -1, 0.3, j
Let r = -1.04 - -32.04. Put r, 2, -1 in ascending order.
-1, 2, r
Let u = -102 + 102. Put -0.1, -50, 3, u in increasing order.
-50, -0.1, u, 3
Let z = -2 + 2.5. Let k = 0.2 - z. Let p = 0.0389 - 0.0389. Sort 2, k, p in decreasing order.
2, p, k
Let o = -5 + 9. Let w be (-10)/(-7)*(6/1 - -1). Suppose o*a - 2*a + w = 0. Put -2, 0, a in descending order.
0, -2, a
Let q(f) = -f**2 - 6*f - 5. Let x be q(-5). Let t = 0.46 - 29.46. Let k = t - -22. Put x, 1/3, k in ascending order.
k, x, 1/3
Let t be -64*(-4)/24*-21. Let u be (-9)/15 + t/35. Suppose 5*v + 11 - 31 = 0. Put -4, v, u in decreasing order.
v, -4, u
Let l = 61 + -51. Let m be (l/3)/(1 + (-2)/6). Sort -5, -2, 2, m in decreasing order.
m, 2, -2, -5
Suppose 6*s - 243 + 261 = 0. Sort -6, 6, s in descending order.
6, s, -6
Let t = 15 + -25. Suppose -h + 20 = 4*h. Suppose 3*w = 2*c + 6, -9*w = -7*w. Sort c, t, h in descending order.
h, c, t
Suppose -2*d + 7430 - 7434 = 0. Suppose -3*k - 3*p = 0, 3*p - p - 4 = 2*k. Sort d, 2, k in decreasing order.
2, k, d
Let y(g) = g**3 - 4*g**2 + 3*g. Let x be y(3). Suppose 5*h + 5*q - 112 - 98 = 0, 0 = -5*h - 4*q + 207. Suppose -15*t + h*t + 96 = 0. Sort x, t, 3.
t, x, 3
Let x be (-4 + 2)*2/(-12). Let o be 140/18 - (-2)/9. Suppose -5*i = -o*i + 9. Put x, 0.3, i in ascending order.
0.3, x, i
Suppose 7*j + 5*y = 2*j + 35, j + 5*y - 15 = 0. Sort 4, -60, j, 3 in ascending order.
-60, 3, 4, j
Let m be 1 + 2/((-6)/(-3)). Sort -5, 6, m, 7 in descending order.
7, 6, m, -5
Suppose -i + 2*i = -2. Let p = -0.703 - -0.503. Put 2, p, i in ascending order.
i, p, 2
Let s be -2 + -20*3/(-15). Let k be (-44)/10 - 2/(-5). Put k, s, 0.17 in ascending order.
k, 0.17, s
Let r = -37.3 - -36.3. Put 2/3, 3, -0.5, r in descending order.
3, 2/3, -0.5, r
Suppose 16 = -2*u + 6*u. Suppose -l + 3 = 0, u*l - 13 = 2*f - 3*f. Suppose -2 = a + 5. Sort f, 0, a.
a, 0, f
Suppose 2*j + 24 = 4*f - 0*j, -2*f + 4*j + 6 = 0. Let r = -14 - -13. Put f, r, 2, -3 in ascending order.
-3, r, 2, f
Let k = 0.07 + 0.03. Suppose -3 = -8*i + 21. Suppose -l = -3*n - 8 - 3, -i*l = -3*n - 21. Sort k, n, 3 in descending order.
3, k, n
Let d(m) = 2*m - 4*m**2 - m**2 + 4*m**2 + 2*m. Let c be d(3). Let l = -1.1 + 5.1. Sort l, c, -3 in increasing order.
-3, c, l
Let h = -190 + 189.94. Sort 2/9, -1/5, h in descending order.
2/9, h, -1/5
Let i be 1 - (4 - (-28)/(-12)). Sort 0, i, -11, -1.
-11, -1, i, 0
Suppose -2 - 4 = 3*v. Let x be 0 - (7 + v + -1). Put 9, 3, x in ascending order.
x, 3, 9
Let w(o) = -o**3 + 5*o**2 + 4*o + 1. Let t be w(6). Let b = 26 + t. Suppose -5*k + 4*c - 7 = 0, 5 = -4*k - 4*c - b. Sort -5, 4, k in decreasing order.
4, k, -5
Suppose 3*p + 9 = 3*b, 15 = -5*p + 6*b - 3*b. Put 8, p, 14 in descending order.
14, 8, p
Suppose -4*m + 14*m = 4*m. Sort m, 7, -1, -4.
-4, -1, m, 7
Let x = -18 - -56/3. Let b be 3/21 + (-450)/(-35). Let y be -7 + (7 - -4) + (-50)/b. Put -3/7, y, x in decreasing order.
x, y, -3/7
Let j(v) = -v**3 + 13*v**2 - 12*v + 3. Let c be j(12). Suppose c*h = -0*h - 6. Let o = -20 - -28. Sort -1, o, h in decreasing order.
o, -1, h
Suppose 3*r + 4*a + 68 = 0, 13*a - 10*a - 152 = 5*r. Sort -0.1, 0.5, r, -0.3 in descending order.
0.5, -0.1, -0.3, r
Let q = -2.87 - 0.13. Let l = 47 + -146/3. Let z = -85/3 + 83/3. Sort z, l, q in ascending order.
q, l, z
Let w = -1333 - -1332.6. Sort 44, -3, w, 1.
-3, w, 1, 44
Let y be 217/6 - 1/6. Let m = -37 + y. Put 1, 0, m in increasing order.
m, 0, 1
Let r = -10 + 18. Let w(y) = y**3 - 9*y + 13. Let g be w(-4). Let h be 6/r - g/(-20). Put -5, -2, h in descending order.
h, -2, -5
Suppose 5*b + 47 - 41 = -4*q, 4*b - q = -9. Put 5, b, 22 in increasing order.
b, 5, 22
Suppose 0 = 5*p - 117 + 7. Let n = 26 - p. Put n, 1, -2 in increasing order.
-2, 1, n
Let k = 5708/8553 - 2/2851. Sort -28, -2/9, k, 0.1 in descending order.
k, 0.1, -2/9, -28
Let x be 1242/1265 + (-8)/10. Sort 2/7, 10, x, 2/3 in ascending order.
x, 2/7, 2/3, 10
Let p = -20 + 18. Suppose 0*y + 5*y + 5*a - 10 = 0, -3*y - 2*a = -9. Suppose -2 = -4*j - 5*l, y*j - 4*l = 20 + 3. Sort j, p, 2.
p, 2, j
Let c be 1/(5/(-45)*-3). Put 0, -1, c, -4 in decreasing order.
c, 0, -1, -4
Let z be (-2)/(-9) + 25/(-45). Let h = 20 + -19. Let j = 3403/7 + -487. Sort j, z, h in descending order.
h, z, j
Let f(m) = -m**2 - 14*m + 4. Let g be f(-14). Suppose 0 = v - i - g - 1, 3*v = 4*i + 17. Let c be 6/9 + v/(-18). Put -0.09, 1, c in descending order.
1, c, -0.09
Suppose -2*n - 6 = 4*n. Let p = 15 - 17. Put n, p, 0.1 in decreasing order.
0.1, n, p
Suppose -3*j = s, 23*j = 20*j - 4*s. Sort 4, -2, j, 3 in decreasing order.
4, 3, j, -2
Let c be (1 + 3)*((-35)/14 - -2). Let l be 28/(4*(-1)/(-2)). Suppose -4 = 5*b - l. Sort c, b, -1 in ascending order.
c, -1, b
Let h be (-40)/25*(-5)/(-2). Let l = -7 - h. Suppose -5*g + 20 = -g. Put 4, g, l in decreasing order.
g, 4, l
Let r = -105.92 + 104. Let a = r + 2. Suppose 0 = -62*c + 77*c - 60. Sort c, a, 2 in descending order.
c, 2, a
Let j be -94 + 90 - ((-4)/2 + -1). Let o = -7 + 3. Put o, 11, 0, j in decreasing order.
11, 0, j, o
Let l = 303/76405 + -2/1295. Let v = -8247/5369 - l. Let z = v + 206/117. Put z, -4/3, -0.5 in descending order.
z, -0.5, -4/3
Suppose 96*b - 22 = 98*b. Sort -4, 4, b.
b, -4, 4
Let u = 329 - 328.8. Let b be (15/40)/(18/8). Put u, b, -0.3 in descending order.
u, b, -0.3
Let o be ((-12)/(-24))/((7/(-6))/(-7)). Put 5, -5, o, 25 in decreasing order.
25, 5, o, -5
Let y = -7 - 14. Let v = -34 - y. Put -0.2, -4, v in ascending order.
v, -4, -0.2
Suppose 13 = -3*j - 11. Let t(o) = o + 12. Let d be t(j). Suppose -5*i - 4*w + 13 = -2*i, -16 = -2*i + w. Put i, -2, d in increasing order.
-2, d, i
Let g = -169.6 - -170. Sort -0.3, g, -2, 1/7 in decreasing order.
g, 1/7, -0.3, -2
Let s be (1*(-2)/8)/(-1). Let c = 13 + -10. Let d = c - 0. Sort d, -0.2, s.
-0.2, s, d
Suppose 5*c = -4*j - 12, -3*j + 2*j - 2 = c. Suppose -14 = -5*u - 4. Suppose -2*x + u = -j. Sort x, -2, 1 in decreasing order.
x, 1, -2
Suppose -5*p - 4*r - 13 - 12 = 0, 0 = 2*r. Suppose -2*m - 2 = -m. Sort 2, m, p, -4.
p, -4, m, 2
Suppose -v + 5*c - 115 = 0, -4*v - 4*c - 460 = -9*c. Let s be (-15)/(-18) - v/(-30). Suppose -2*b = b + 3. Put b, 1, s in ascending order.
s, b, 1
Let f = 199/238 + -9/34. Let i be (192/(-216))/(2/9). Sort i, f, 1/5 in decreasing order.
f, 1/5, i
Let w = -4.48 + 4.43. Sort 0, w, 0.2 in ascending order.
w, 0, 0.2
Suppose -q = c - 2 + 1, -c + 5*q - 11 = 0. Let p = c + 1. Let b(y) = -51*y + 154. Let s be b(3). Sort p, 2, s in increasing order.
p, s, 2
Let d = 55 + -22. Let k = d - 36. Let n = 6 + -7. Sort k, 2, n in descending order.
2, n, k
Suppose -6*z = -z - 15, 3*v + 2*z + 12 = 0. Let a = 14 - v. Let f = a + -18. Sort 3, 5, f in ascending order.
f, 3, 5
Suppose -4*t = -2*h - 4, 3*h - h + 2*t - 14 = 0. Suppose 73*f = 75*f - 6. Suppose -k = 2*g + 14, 0 = -f*g - 11 - 1. Sort h, -1, k in decreasing order.
h, -1, k
Let x be 2 - (-8)/(-40)*-5. Sort -0.1, x, -5, 0.04 in increasing order.
-5, -0.1, 0.04, x
Let v = 1711 + -1662. Sort v, 3, 5, 0 in descending order.
v, 5, 3, 0
Suppose -c + 3*d - 10 = -d, d = -4*c + 11. Suppose -c = -7*g + 6*g. Suppose g = -m + 3*m. Sort -5, -4, m in descending order.
m, -4, -5
Let u be (50/