der.
0, -2, y
Let u(v) = -v**2 - 7*v + 1. Let o be u(-7). Let m = -0.47 + 0.07. Sort -5, m, o.
-5, m, o
Let f be 26/126 - (-2)/9. Let h be (-8)/(-6) - (-12)/(-36). Sort f, h, 0.5.
f, 0.5, h
Suppose 7*c - 37 = -9. Sort -1, 1, c, -2/9.
-1, -2/9, 1, c
Let g(l) = l**2 + 8*l + 9. Let n be g(-6). Let d = n + 3. Let p(a) = a**2 - 3*a - 5. Let y be p(5). Put d, -2, y in decreasing order.
y, d, -2
Let z = 45 - 45.3. Let n = 64/11 + -598/99. Put n, z, 2/7 in decreasing order.
2/7, n, z
Let o = 12 + -9. Suppose 4 = 2*t + y + 3*y, -t = -5*y - 9. Put o, t, -3 in ascending order.
-3, o, t
Let j = -2.5 + -1. Let o = 3 + j. Let b = -2.5 - o. Put -4, -3/4, b in descending order.
-3/4, b, -4
Let i = -4.03 - -0.03. Let n = i - -4.1. Let f = 14 - 12. Put -1/4, n, f in descending order.
f, n, -1/4
Let n = -5 + 0. Sort -3, -6, n, 5 in increasing order.
-6, n, -3, 5
Let p = -326/9 - -36. Put -1, p, -3 in descending order.
p, -1, -3
Let h = -13.6 - -18.6. Sort -0.4, -3, h, -5.
-5, -3, -0.4, h
Let b = 6.3 + -0.3. Let a = b - 11. Let d = 0.28 + 0.02. Sort a, -1/3, d in descending order.
d, -1/3, a
Let y = -56 - -53. Sort -2/11, 0, y, -4.
-4, y, -2/11, 0
Suppose 4*i - 1 - 11 = 0. Sort 1/10, -3/2, i.
-3/2, 1/10, i
Let i be (0 - -1)/((-10)/(-40)). Let t = 1 + -3. Suppose 14 = -5*c - 11. Put i, t, c in descending order.
i, t, c
Let w be 10/(-25) + 2/(-5). Put -1/3, 4, w in ascending order.
w, -1/3, 4
Let g(s) = s**3 + 6*s**2 + 9*s + 3. Let f be g(-4). Put 2, 1, f in decreasing order.
2, 1, f
Let c = 1.1 - 0.1. Let t = 11 - 11.1. Let v = 0 + 3. Sort c, v, t in decreasing order.
v, c, t
Let r be (-10)/(-90)*(1 - 0). Put r, -0.6, -4 in decreasing order.
r, -0.6, -4
Let r = 12 + -11. Let k = 37.4 - 37. Let n = 4.9 + 0.1. Put r, n, k in descending order.
n, r, k
Let a(u) = -u**3 - 8*u**2 + 10*u + 3. Let w be a(-9). Let m be (-10)/w*3/(-1). Let y = m - -10. Sort -2, -1, y in increasing order.
-2, -1, y
Suppose 0 = 3*o - 7*o + 8. Let q be (-1 - o) + -1 + 0. Sort -2, 5, q.
q, -2, 5
Let c = -0.34 + 2.04. Let z = 1.3 - c. Put -1, -0.5, z in decreasing order.
z, -0.5, -1
Let a(p) = p + 0 - 3 + 14. Let o be a(-9). Let f be (1 + -1)/(o/(-1)). Sort 1, -3, f.
-3, f, 1
Let o = -11 + 6. Suppose 0*u - 17 = 5*x + 3*u, 2*u = 4*x - 4. Put 0, o, x in decreasing order.
0, x, o
Suppose 0 = d - 3*r - r + 16, 0 = 4*d - r - 11. Suppose 3*g = -2 - 10. Let p be -2 - ((1 - g) + -4). Put p, -1, d in descending order.
d, -1, p
Let d = 12 + -15. Sort d, -2/29, 0.5.
d, -2/29, 0.5
Let q = 241 - 1690/7. Put 3, q, -2/9 in increasing order.
q, -2/9, 3
Let c(y) = -y**2 + 6*y - 6. Let a be c(4). Let o be 3/(-15)*(2 + -20). Let r = -131/35 + o. Sort -0.3, r, a in descending order.
a, r, -0.3
Let m(c) = 40*c**3 - 2*c**2 + 3*c - 3. Let j be m(2). Let o be 2/7 + (-20)/j. Let q be (3 - -1)*(-1)/(-2). Sort o, -3, q.
-3, o, q
Let b = -2.2 + 2.6. Sort -0.5, b, -4 in ascending order.
-4, -0.5, b
Let s = -52 + 49. Let l be 2/6 - 8/(-3). Suppose l*u = -6 - 6. Put 0.2, u, s in increasing order.
u, s, 0.2
Let u = 11 - -4. Suppose 0 = 3*c - u, -2*f + 3*c - 5*c + 10 = 0. Sort f, -4, 2 in increasing order.
-4, f, 2
Let r be (-34)/6 - (-32)/48. Sort r, 5, 3 in increasing order.
r, 3, 5
Let g(j) = 2*j**2 + 4*j + 2. Let p = -2 - 0. Let l be g(p). Let t be (-6)/8 + 114/24. Put -3, t, l in decreasing order.
t, l, -3
Suppose d + 22 = 20. Suppose -2*m = -m - 5. Put 3, m, d in descending order.
m, 3, d
Let t = 130/161 + -12/23. Sort t, -2, 2/21 in increasing order.
-2, 2/21, t
Let c = 3 - -1. Let y be 48/(-198) - (-4)/(-6). Let a = 48/77 + y. Sort a, c, 0.5 in increasing order.
a, 0.5, c
Let p = -28 - -27.8. Put -3, p, -1 in descending order.
p, -1, -3
Let c = 16 + -12. Sort 2, c, 0.2 in increasing order.
0.2, 2, c
Suppose q - 1 = -u - u, 15 = 5*q. Let y be (2 + -3)/((-1)/4). Put y, u, 3 in descending order.
y, 3, u
Let t = 3 - 4. Let g = 0.6 - 2. Let y = g - t. Sort 2, -2, y in ascending order.
-2, y, 2
Let d = -12 - -12.2. Put d, -3, 2 in decreasing order.
2, d, -3
Let s = 0 + -0.4. Sort s, 4, -2/15 in decreasing order.
4, -2/15, s
Let y = 1997/8 + -250. Let g = -0.8 + 1. Let s = -0.4 + 0.1. Sort g, y, s in descending order.
g, s, y
Let a be 2/(-3) - (-10)/6. Let x = -260 + 256. Put a, x, -5 in decreasing order.
a, x, -5
Let a be 15*((-1)/(-5))/(36/(-60)). Sort 22, -3, a, 3 in decreasing order.
22, 3, -3, a
Suppose m + 1 = 5. Sort m, -2, -5 in increasing order.
-5, -2, m
Let n = -57 + 55. Put 1, n, 2/5 in decreasing order.
1, 2/5, n
Let d = 1.8 - 1.9. Sort -0.2, 3/5, d in increasing order.
-0.2, d, 3/5
Suppose 2*x = -5*c - 14, -4*c + 5*x + 4 = 2. Let z(f) = f**2 - 2*f - 5. Let u be z(2). Sort -3, u, c in ascending order.
u, -3, c
Suppose -5*y = 25, -y - 7 = j + 2*y. Suppose j = -5*f - 2. Put f, 1, 3 in increasing order.
f, 1, 3
Let f = 0.9 - 0.3. Let r = f - 4.6. Sort -2/11, r, -2/5 in decreasing order.
-2/11, -2/5, r
Suppose s - 4*m = 5*s - 16, 8 = 2*s - 2*m. Suppose -c + 2*u + 8 = -3*c, 2*u = 2*c - s. Let h be 3/(6/4) + -4. Sort h, c, 2.
h, c, 2
Let t(b) = 4*b - 2. Let s be t(3). Let g(d) = -3*d + 13. Let h be g(7). Let w = s + h. Put 3, w, 4 in descending order.
4, 3, w
Let l = -0.4 + 5.4. Let v = 4.7 - l. Suppose -3 = 2*r + 5. Sort r, -2/9, v.
r, v, -2/9
Suppose -8 = 3*c - 7*c. Suppose 3*t = -t - 5*l + 46, -3*t + 4*l + 50 = 0. Suppose 3*h - t = 1. Put c, -4, h in decreasing order.
h, c, -4
Let f = 7220/5621 - -1/803. Sort 3, -2/7, f in ascending order.
-2/7, f, 3
Let d = 610 + -15248/25. Let v = 2 + -2. Let b(r) = r + 1. Let t be b(-5). Sort d, t, v in increasing order.
t, v, d
Let p = 218 - 218. Put 4, p, 6, -1 in decreasing order.
6, 4, p, -1
Suppose i = 5*i - 8. Put -3, i, 5 in decreasing order.
5, i, -3
Let n(h) = h**3 + 3*h**2 - 5*h + 1. Let d be n(-4). Suppose 0 = 4*y + 5*z + 4, -3*z = -y + 4 - d. Let b be 3 - (0 + y - -2). Put b, 3, 7 in decreasing order.
7, 3, b
Suppose 3*f - f = 6. Suppose 2*n - 22 = -4*v, v + 6 = f*v - 4*n. Let a = v - 11. Sort a, -1, 5 in decreasing order.
5, -1, a
Let z = 0.18 - -0.22. Sort 2/15, z, 13 in increasing order.
2/15, z, 13
Let o = 9 + -8. Let i(l) = -l**2 + 4*l + 3. Let v be i(5). Put -4, o, v in decreasing order.
o, v, -4
Suppose 0*t = -4*t + 2*g, -4 = -g. Put 1, t, 5 in ascending order.
1, t, 5
Let v = 6 + 2. Sort 2, -2, v, 3 in ascending order.
-2, 2, 3, v
Let p(d) = -d**3 - 15*d**2 - 13*d + 19. Let x be p(-14). Sort -11, 0, 3, x in descending order.
x, 3, 0, -11
Suppose -h - 7 + 9 = 0. Sort 0, h, 4.
0, h, 4
Suppose 0 = -3*q + 5*d - 5, -5*q - 2*d - d = -37. Suppose 4 - 1 = u. Put q, u, 1 in ascending order.
1, u, q
Suppose -4*q + 36 - 16 = 0. Let y = 0 + 1. Put 10, y, q in descending order.
10, q, y
Suppose 10*q - 4*q = 18. Put -1, -5, q, 4 in ascending order.
-5, -1, q, 4
Let x = -12.9 - -9.9. Put 1/2, 0.01, x, 2 in decreasing order.
2, 1/2, 0.01, x
Suppose 0 = -t + 3*n - 5 - 1, -5*t - 17 = -2*n. Sort t, -1, 0.
t, -1, 0
Suppose -2*z = -i + 2 - 5, -5*i - 15 = 0. Suppose -5*c + 7 = b, 4*c - 10 + 0 = -3*b. Put z, b, -2 in decreasing order.
b, z, -2
Let m = -4/39 - -106/273. Let j = -20 + 14. Let s = -3 - j. Put -5, s, m in decreasing order.
s, m, -5
Suppose 4*q = -9 - 3. Let n = 7 + q. Sort n, -3, 1 in descending order.
n, 1, -3
Let g = 6 - 6.5. Sort 11, -0.3, g.
g, -0.3, 11
Let i = -8 - -8. Put -5, 4, -4, i in increasing order.
-5, -4, i, 4
Let x = 2/39 - 43/78. Sort x, 3, -26 in increasing order.
-26, x, 3
Let a be 5/2*(-32)/(-20). Suppose -6*s = -5*s + a. Let y be 0 - (s/1 + 2). Sort -3, -2, y in increasing order.
-3, -2, y
Let j be 32/(-14) - 2/(-7). Suppose 14 = -3*o - h, 6*o - 3*o + 20 = 5*h. Put j, 2, o in ascending order.
o, j, 2
Let j = -3.2 - -3. Sort 2/15, 4, j in increasing order.
j, 2/15, 4
Suppose -2*a - 1 = -f - 3*a, 5*f - 3*a = 13. Let r = 3 + f. Sort r, -1, -5 in descending order.
r, -1, -5
Let w be 4 - (-1)/(-1)*2. Suppose -3*v = 5*a + 14, 5*v + 4 + w = -4*a. Put a, 4, -1 in decreasing order.
4, -1, a
Let h = -43 - -41. Put -0.2, -2/17, h, -4/5 in ascending order.
h, -4/5, -0.2, -2/17
Let g be (-1)/6*5/(10/8). Let u = 0.1 + -4.1. Put g, 2, u in descending order.
2, g, u
Let u = -106 + 108. Sort u, 1/11, -5, -2 in descending order.
u, 1/11, -2, -5
Suppose 0 = -4*n - 0*n - 16. Suppose 0 = -3*s - 1 + 4. Sort n, s, -5.
-5, n, s
Suppose -5*r - 2 = -3*r - 2*j, 0 = 3*r + 3