der.
b, f, 0
Let k = 12/5 + -14/5. Put 2, -18, -5, k in decreasing order.
2, k, -5, -18
Let y be 5 + 9/3 + -3. Let x = y + -37/8. Let v = -0.3 + -4.7. Sort 3, x, v in decreasing order.
3, x, v
Let i(v) = -v**2 - v. Let k be i(0). Suppose -m + 0*m + 3 = 0. Suppose 5 + m = 4*o, b = 5*o - 14. Sort 2, b, k.
b, k, 2
Let y = -0.48 - -5.48. Sort -0.1, -3, y in ascending order.
-3, -0.1, y
Let f = -1.2 - -0.2. Sort -2, f, 0.
-2, f, 0
Let p(j) = j**2 - 8*j. Let o be p(10). Suppose o = -h + 5*h. Let b = 8 - 7. Put b, -4, h in decreasing order.
h, b, -4
Let s(j) = -j**2 - 3*j - 1. Let y = -4 - -1. Let t be s(y). Let n be t/5 + 42/35. Sort 3, -4, n in descending order.
3, n, -4
Let g(u) be the second derivative of -u**3/3 - 5*u**2 + 2*u. Let j be g(-8). Let n be 6/(-14) + (j - 6). Sort 0.5, 3, n in ascending order.
n, 0.5, 3
Let i be (78/18 - 5)*2/(-10). Sort -0.1, i, 5, -4 in increasing order.
-4, -0.1, i, 5
Let f = -1.1 + 1.6. Let t = -2.53 - -0.43. Let s = t + 2. Sort s, f, -5.
-5, s, f
Let k = -129 + 135. Let i = -0.1 - -1.1. Sort i, k, 2/3.
2/3, i, k
Let x = 0.14 + 6.86. Sort -0.3, 0, x in ascending order.
-0.3, 0, x
Suppose 5*o = 2*o + 9. Suppose 4*c - 5*c = 5. Put o, 2, c in decreasing order.
o, 2, c
Let i = 0.6 - 1. Let b = 7 - 6.3. Let f = b - 5.7. Put f, i, 5/2 in increasing order.
f, i, 5/2
Let w(l) = -l + 8. Let a be w(8). Let c = 14 - 4. Suppose c = 4*q - 6. Sort -6, a, q in decreasing order.
q, a, -6
Let i = -14.3 + 13.8. Sort -5, -2, i, 1/3 in decreasing order.
1/3, i, -2, -5
Suppose -5*v - d = -20, 45 = 4*v - 3*d - 2*d. Let p = -6 + 5. Sort 0, v, p in descending order.
v, 0, p
Let c(d) = -3*d + 14. Let a be c(5). Put a, 2, 3 in descending order.
3, 2, a
Let f be (-48)/(-27) - (-4)/18. Let x = f + 0. Let k be ((-9)/12)/(x/(-8)). Sort 4, k, 0 in decreasing order.
4, k, 0
Let u be 1*-1*(-3 - (-14)/5). Put 0, -2, u, -0.2 in descending order.
u, 0, -0.2, -2
Let g be 24/14 + (-18)/(-14) + -1. Sort -5, -2, -1, g.
-5, -2, -1, g
Suppose -5*k + 3*k = v - 11, 2*v + 3*k - 19 = 0. Let x = 2 + -1. Sort -2/7, x, v in ascending order.
-2/7, x, v
Let x(y) = y + 12. Let g be x(-8). Let h = 14 - 9. Sort 0, g, h.
0, g, h
Suppose 4*m - 46 = 42. Sort m, -3, -4, 1.
-4, -3, 1, m
Let j = -2/283 + 584/2547. Put 1/2, -0.02, j in descending order.
1/2, j, -0.02
Let n = 12 - -3. Suppose -4*d = -d - n. Sort d, -1, -5 in ascending order.
-5, -1, d
Let k be (-1)/(3 - 6/3). Sort k, -0.2, 0.5, -2/9 in descending order.
0.5, -0.2, -2/9, k
Let l = 14.5 + -15. Let q = 15 + -11. Sort 1/6, l, q in decreasing order.
q, 1/6, l
Let g = -3.8 + 1.3. Let i = g - 0.5. Let n = -0.163 - -0.263. Sort i, n, 2/5 in increasing order.
i, n, 2/5
Let z be ((-6)/4)/(1/(-2)). Suppose 0 = -22*c + 25*c + 6. Put 1, z, c in descending order.
z, 1, c
Let f(b) = b**3 - b**2 - b + 1. Let x be f(2). Suppose 3*z = -z + 8. Let y be (z/(-24))/(2/4). Sort -2, x, y in ascending order.
-2, y, x
Let s = 87/20 + 3/20. Put s, -4, -1 in increasing order.
-4, -1, s
Let i be 5/1*(-12)/10. Let d be -4*((-5)/(-4) + -2). Sort i, -5, d in descending order.
d, -5, i
Let l = 2.99 + 0.01. Let n be (-44)/40 + (-2)/(-4). Let b = 0 - -0.5. Put n, b, l in descending order.
l, b, n
Suppose 4*p + 0*p = -4*i - 68, -2*i = -5*p - 1. Let o be i/10*(-5)/2. Let d be 2*2*1/6. Put 0, o, d in ascending order.
0, d, o
Let i be (-3 - (2 - 2))/1. Let r = 3 + 1. Suppose -r*s = -s. Sort s, i, -5 in descending order.
s, i, -5
Let j = -6.09 - -0.09. Suppose -2*w + 0*w = r, 0 = r - 4*w. Suppose r = -b - b + 6. Put 0.1, b, j in ascending order.
j, 0.1, b
Let g be -3 + 5 + (0 - (0 - 1)). Let c(j) = j - 12. Let b be c(9). Put -6, b, g in descending order.
g, b, -6
Suppose -4*p + 4 + 4 = 0, p = -l + 3. Suppose 2*x + x = -15. Suppose -u + 0*u - 1 = 0. Sort x, l, u in ascending order.
x, u, l
Let a = 0 + 0. Suppose -5*u + 5 = 30. Put 3, a, u in decreasing order.
3, a, u
Suppose -3*p + 10 = -8*p. Let n be (15/10)/((-1)/p). Sort 3/2, n, 0.1.
0.1, 3/2, n
Let a = -4 - -4.5. Let u = -193/8 + -1441/24. Let v = u - -84. Put 0.3, v, a in descending order.
a, 0.3, v
Let r = 20 - 20.3. Put r, -1/9, 0 in increasing order.
r, -1/9, 0
Let y = -12 + 15. Sort -3, y, 1 in decreasing order.
y, 1, -3
Let c = 87 + -82. Put -5, c, 0 in descending order.
c, 0, -5
Let f = 10 + -2. Let x = f + -3. Let i = -7 - -10. Sort -1/6, i, x.
-1/6, i, x
Let t(k) = -k**3 + 10*k**2 + 12*k - 6. Let l be t(11). Put 4, l, -1 in decreasing order.
l, 4, -1
Suppose 4*c = 2*b + 2*b - 12, 2*c = -4*b + 12. Let n = -2 + c. Let q be n + -3 + -1 + 3. Put q, 2, 5 in ascending order.
q, 2, 5
Let q be (-6)/9 + (-4)/(-6). Sort -3, 5, q in decreasing order.
5, q, -3
Let s = -0.13 - -12.13. Let f = -8 + s. Sort 0.09, -2/15, f in decreasing order.
f, 0.09, -2/15
Let f(p) = p**3 + 12*p**2 - p - 1. Let j be f(-12). Sort j, 0, 1.
0, 1, j
Let d(m) = 2*m - 1. Let q be d(2). Suppose -3 = 4*l - 3*o, -3*o + 4*o + q = 0. Let t = 0 - 2. Sort l, 1, t.
l, t, 1
Let b(q) = q**2 - 9*q + 9. Let r be b(9). Suppose 0 = 3*n + r, -9 + 0 = -5*c - 2*n. Let g be (-2 + 1)/(c - 2). Sort 0, -3, g in descending order.
0, g, -3
Suppose -72 = -4*b - 4*t + 8*t, -4*b = 5*t - 81. Put b, 0, 3 in descending order.
b, 3, 0
Let v = 63/4 - 17. Sort -1/3, v, -1/4 in increasing order.
v, -1/3, -1/4
Suppose l + 0 = 1. Suppose 1 - 5 = 4*n. Put n, 2, l in descending order.
2, l, n
Let b = -1.52 - 0.18. Let h = b + 1. Put 1, h, 3 in decreasing order.
3, 1, h
Let o(l) = l**3 - 4*l**2 + 3*l. Let h be o(3). Suppose -3*x - 17 = 16. Let g(t) = t + 12. Let z be g(x). Sort -6, z, h in ascending order.
-6, h, z
Let i(q) = 2*q**2 + 4*q + 2. Let a be i(-2). Sort a, 5, -1 in decreasing order.
5, a, -1
Let j = -10.9 + 11. Sort 5, -0.07, j in decreasing order.
5, j, -0.07
Suppose -3*c = -2 - 7. Suppose c = m - j, -3*m + 4*j + 3 = -4. Suppose 4*n - m*s = 20, -s + 0 + 10 = 2*n. Sort n, 2, -1.
-1, 2, n
Let u = 11 - 11. Put -11, u, -3 in descending order.
u, -3, -11
Let g = 1/13116791 + 5548401088/19740770455. Let f = g - -1/215. Sort 4, f, -0.1 in decreasing order.
4, f, -0.1
Let v be (1 - 0) + (2 - 5). Let a = -43 + 51. Sort a, v, 4.
v, 4, a
Let c = -0.01 + -2.99. Let j = -2 - 0. Let v = -0.576 - -0.076. Sort j, c, v in descending order.
v, j, c
Suppose 3*n = -3 - 3. Let g = 32 + -25.5. Let v = g - 7. Put -2/5, v, n in ascending order.
n, v, -2/5
Let d = 0.068 - 0.168. Put -2/9, 0.2, 2/3, d in descending order.
2/3, 0.2, d, -2/9
Let b(h) = -h**3 - 8*h**2 + 10*h + 10. Let i = 15 - 7. Let l = -17 + i. Let v be b(l). Sort 3, -5, v in increasing order.
-5, v, 3
Let b be (-4)/(-6) + (-1)/(-3). Put -4, b, 3 in ascending order.
-4, b, 3
Suppose 2*p + 18 = -4*p. Sort -12, p, 2 in increasing order.
-12, p, 2
Let u be 4/14 - 228/14. Let d = -23 - u. Let a = d - -12. Put a, -2, 1 in increasing order.
-2, 1, a
Suppose -3*g + 6 = 2*s, g - s + 0 = -3. Suppose g*j - 5*j = -5. Sort 5, 0, j.
0, j, 5
Let i be 2/(-3) - 115/138. Sort -2/9, i, 2/11.
i, -2/9, 2/11
Let y = 0.2 - 0.1. Let g = 0.31 + 0.69. Put -0.2, g, y in decreasing order.
g, y, -0.2
Let z = -10 + 3. Let i = z + 4. Let m = 0.1 + -1.1. Sort m, i, 0.5 in ascending order.
i, m, 0.5
Let p = -0.3 - -1.3. Sort -1, 0, p in increasing order.
-1, 0, p
Suppose 4*g - 19 = -5*m + 6, 5*g - 20 = 5*m. Sort g, -1, 10 in increasing order.
-1, g, 10
Let f = 0.23 + -5.23. Sort 2/5, 0.06, f in decreasing order.
2/5, 0.06, f
Let h be -2 + 4/4530*1374. Let s = h - 2/151. Sort s, 2/5, 2.
s, 2/5, 2
Let i = 57 + -59. Put 3, 2, i in decreasing order.
3, 2, i
Let s be (-7)/(98/(-21))*(-1)/(-3). Let t = 1 + -1. Sort s, t, 3/5 in descending order.
3/5, s, t
Let c be -2 + 4 - 30/3. Let l be (12/c + 2)/(-2). Sort 0.05, 1, l in ascending order.
l, 0.05, 1
Let i be (-17 - -12 - -9)/((-2)/1). Let g(q) = q**3 + 4*q**2 - q. Let o be g(-4). Let l = o + -3. Sort -5, i, l in decreasing order.
l, i, -5
Suppose -5 = -5*b - 0*b, -3*b - 6 = 3*k. Let z = 8 + -20. Put k, z, -5 in increasing order.
z, -5, k
Suppose 2*t + 10 = -o, -3*o - 3*t + 5*t + 2 = 0. Suppose 0 = -2*r - 7 + 1. Put 9, o, r in ascending order.
r, o, 9
Let c = 6 + -6. Let g = -0.1 - -0.2. Sort -3/2, g, c.
-3/2, c, g
Let n = -67 - -61. Let w = -2/155 + 7/62. Put w, 0.3, n in decreasing order.
0.3, w, n
Suppose -15 = -4*d + 5. Suppose d*y = y. Let h = 19.4 + -19. Sort h, -5, y in increasing 