der.
v, 4, p
Let p be ((-6)/(-4))/(48/64). Put p, -72, -5 in increasing order.
-72, -5, p
Let k = 1 + -1. Suppose v + v = k. Suppose s - 2*h + 1 = 2, -5*s = 2*h + 19. Put v, s, -5 in decreasing order.
v, s, -5
Let i(k) = -k**2 + 5 + 0 + 4*k + k. Let j be i(5). Let d be (4 + 1)*-1*1. Put -1, j, d in descending order.
j, -1, d
Let b = 3 - -9.4. Let w = -12 + b. Put w, -0.3, 2/7 in decreasing order.
w, 2/7, -0.3
Let n be -5*-2*(-4)/(-10). Let i = 8 - 10. Let m be 51/(-15) - i/5. Sort m, -2, n.
m, -2, n
Let k = 14.1 + -14. Let i be 5/6 + 2/(-2). Let g(v) = 2*v - 13. Let r be g(8). Put r, k, i in increasing order.
i, k, r
Suppose 1 = -3*z - 14. Let r be (-6 - -7)/((-1)/(0 + -1)). Put r, 0, z in increasing order.
z, 0, r
Suppose -6*l + 2*l - 20 = 0. Let g = 4 + -4. Suppose -5 = 5*r, 3*z - 2 = -4*r - g. Sort l, 4, z in increasing order.
l, z, 4
Let b = -6 - -8. Suppose 3*g - 6 = -b*d - d, -4*g = -d + 7. Suppose 0 = 2*u - 7*u - 4*w - 13, u + d*w - 4 = 0. Sort 1, -2, u.
u, -2, 1
Let n = 4 + -7. Sort n, -18, -2.
-18, n, -2
Let u = -1 + -2. Let k = -1 + 2. Let a(l) = -4*l + 3. Let f be a(2). Put f, u, k in decreasing order.
k, u, f
Let y = 89 - 88.41. Let m = -0.01 - y. Let j = 0.2 + m. Sort -5, 4, j in increasing order.
-5, j, 4
Suppose 0 = 5*v - 12 - 8. Let b be (18/(-8))/((-6)/16). Suppose 0 = 4*t - b - 14. Put -5, t, v in decreasing order.
t, v, -5
Let r = -1 + -1. Put 0, 4, r, -0.5 in descending order.
4, 0, -0.5, r
Let w be (7 - 9)*6/(-32). Let v = 11 - 7. Put 3, w, v in descending order.
v, 3, w
Let a = -30.43 - -30. Let w = 0.03 + a. Sort 0.3, w, 5 in decreasing order.
5, 0.3, w
Let n = 92.8 + -93. Let h(j) = -j**2 - 5*j - 1. Let d be h(-5). Sort d, -0.3, n in descending order.
n, -0.3, d
Suppose c - 4 = 5*c. Sort -4, c, 2.
-4, c, 2
Suppose 4*q - 4 = -0. Suppose -4*s + 7 = -5*z + 2*z, -15 = -5*z. Suppose 0 = 3*a + 6 + 9. Put a, s, q in descending order.
s, q, a
Suppose -y - 10 = 5*g, -4*y = 3*g - 2*g - 17. Let f = 0.26 + -1.36. Let v = f + 0.8. Sort -1, g, v in decreasing order.
v, -1, g
Let f = -5.03 - -0.03. Sort -3, -2, f.
f, -3, -2
Let w = -7.2 - 0.8. Let g = w + 8. Let i be 16/140 + (-4)/10. Sort i, g, 0.4.
i, g, 0.4
Let s = 0.04 + -3.04. Let g = 7 + -22. Let r be 0 + 1 - (-6)/g. Sort r, s, -5 in ascending order.
-5, s, r
Suppose 5*z - 9 = -4*p, -4*p = 11 + 5. Suppose 9 = -4*v - d, -z*d - 5 = -v - 2. Put v, -1, -5 in descending order.
-1, v, -5
Let c(a) be the third derivative of a**6/120 + 3*a**5/20 - a**4/24 - 2*a**3/3 + 2*a**2. Let f be c(-9). Sort f, -5, 3.
-5, 3, f
Let o be (-12)/4 + (-1 - -6). Let h be (-1*6)/(1 - 3). Let k = 7 + -11. Sort o, k, h in increasing order.
k, o, h
Let q = 12 - 12. Put -1, -5, q in ascending order.
-5, -1, q
Let n = 12 + -7. Let m = -3.7 - -4.2. Put n, m, -2/9 in ascending order.
-2/9, m, n
Let w(u) = u**2 - 6*u - 10. Let f be w(7). Let x be 259/(-35) - (-2)/5. Let z = 6 + x. Sort z, f, 4 in decreasing order.
4, z, f
Let d = -1.1 - -1.4. Put -0.4, -4, d in decreasing order.
d, -0.4, -4
Let t(w) = w - 4. Let z be t(6). Put z, 4, 3 in descending order.
4, 3, z
Let q = -16.1 - -16. Put 0, q, 4 in increasing order.
q, 0, 4
Let j(t) = -3*t**2 + 18*t + 5. Let u be j(6). Suppose 4*z + 0 = 5*i + 20, -3*z + 15 = -3*i. Put i, -3, u in descending order.
u, i, -3
Suppose 40 = -t + 39. Sort -13, 1, t in decreasing order.
1, t, -13
Let k be -4*(1 - (-2 - -5)). Let n = 13 - k. Put -3, n, -4 in increasing order.
-4, -3, n
Let g = -1 + 0. Let f be (102/(-15))/(g/(-5)). Let p be 1/(-4) - f/8. Put -3, 3, p in increasing order.
-3, 3, p
Suppose p - 57 = -4*u, -5*p + 34 + 43 = 4*u. Let x = u - 8. Put 4, -5, x in descending order.
x, 4, -5
Let x = 24 - 36. Let g = x - -21. Let v be (6/g)/(2/3). Put -5, v, -2 in descending order.
v, -2, -5
Suppose 8*s = 3*s + 5. Put s, -3, 5 in increasing order.
-3, s, 5
Let n = 2.5 + 0.3. Let c = 3 - n. Sort -2/15, 1/4, c in increasing order.
-2/15, c, 1/4
Let c be (-17 - -12)*(-2)/2. Suppose -h - 16 = h + 4*b, 6 = -2*h - 2*b. Put c, h, 4 in ascending order.
h, 4, c
Let q = 0.2 + 0.1. Let h = 1207 + -1212.11. Let b = -0.11 - h. Sort q, b, -2.
-2, q, b
Let y = 6 - 9. Sort 9, -4, y in decreasing order.
9, y, -4
Let q = 17 - 20. Let l be 2 + -4 - (q - -3). Put 3, l, 2 in increasing order.
l, 2, 3
Let f = 69 - 69.17. Sort -5, f, -4.
-5, -4, f
Let d = -15 - -15.07. Let a = -177 + 180.07. Let b = d - a. Sort -5, -4, b.
-5, -4, b
Let k = 23 + -5. Let z = k - 13. Put -5, z, -4 in descending order.
z, -4, -5
Let z be ((-3)/2133)/(5/(-5907)). Let g = 2/395 + z. Sort 2, -0.5, g in descending order.
2, g, -0.5
Let d = -0.09 - -0.99. Let v = -1 + d. Sort -1, v, 2/7 in decreasing order.
2/7, v, -1
Let t = 15.8 + -16. Sort t, -0.1, 5 in increasing order.
t, -0.1, 5
Suppose 2*l = -0*l - 6. Let g be (-14)/(-21) + (-4)/6. Suppose 0 = -g*r + 4*r. Sort r, 1, l in decreasing order.
1, r, l
Let b be 7/14*2/(-1). Put 4, b, 6 in decreasing order.
6, 4, b
Suppose -3*l + 7 = -2*l. Suppose n - 12 = 4*n + 5*j, n - 2*j - l = 0. Sort n, 5, 4/3 in descending order.
5, 4/3, n
Suppose 4*g + 3*p - 34 = -2*p, -2*p - 14 = -3*g. Suppose -5*l = -g + 26. Sort 2, 1, l in ascending order.
l, 1, 2
Suppose -a - 3*a + 21 = 3*h, 4*a = h + 9. Let m(j) = -j**3 + j**2 - j - 4. Let y be m(0). Sort -6, a, y.
-6, y, a
Let w = 409 + -404.91. Let r = -0.09 + w. Sort -0.3, r, 3/4.
-0.3, 3/4, r
Let h = -0.23 - -0.03. Let t be (-20)/(-6)*(-15)/(-10). Put 1, t, h in descending order.
t, 1, h
Let j be (-16)/24 + (-8)/(-3). Let k be (-1 + j)/(3 + 1). Let c = 8 + -6. Sort k, -0.5, c in ascending order.
-0.5, k, c
Suppose -6*f = -3*f - 3*m + 21, -5*f = -m + 47. Let b be (0 + 2)/((-4)/f). Sort 4, 1, b in descending order.
b, 4, 1
Let v = -15 - -23. Suppose 26 = -2*g + 4*q - v*q, -4*q = 3*g + 31. Suppose 3*s = -3*a + 6, 0*s = a - 4*s + 3. Sort 3, g, a in ascending order.
g, a, 3
Suppose -4 + 16 = -4*i. Let t(u) = -u**3 - 4*u**2 - 3*u + 3. Let l be t(i). Sort -5, l, -1 in increasing order.
-5, -1, l
Let t = 0.3 - 0.1. Suppose -4*a + a = -78. Let k be (-4)/2 + a/14. Sort 5, t, k in increasing order.
k, t, 5
Let q be 1/6 - (-143)/546. Sort q, 5/3, 0.
0, q, 5/3
Let n be -4*(-4)/(-11 - -3). Suppose 0*s + 1 = s. Put -5, n, s in decreasing order.
s, n, -5
Suppose 7*j + 8 = -j. Let i = 8 + -5. Let y = -2 - -3. Put j, i, y in increasing order.
j, y, i
Let v = 0.81 + 5.79. Let j = 7 - v. Let k = 0.1 + 0. Sort k, j, 2/3 in descending order.
2/3, j, k
Suppose -34 = -4*x - 14. Suppose 0 = -h - 2*h + 2*n + 5, -h = x*n + 4. Let b be (3 - h) + -4 - -1. Put 2, b, -2 in descending order.
2, b, -2
Let g = -0.04 + -0.36. Let w = -3.6 + g. Sort 0, 0.1, w in increasing order.
w, 0, 0.1
Let b(q) = q - 2. Let d be b(-1). Sort d, 1, 4.
d, 1, 4
Suppose 4*f + 2 - 6 = 0. Let k = -3 - -2. Sort 5, k, f in decreasing order.
5, f, k
Let z(m) = -m**3 - 5*m**2. Let p be z(-5). Put p, -3, -2 in increasing order.
-3, -2, p
Let l(m) = m + 8. Let x be l(-6). Let j be (-272)/(-72) + x/9. Sort -2, j, 2 in increasing order.
-2, 2, j
Let f(k) = k**2 - 5. Let n be f(0). Let t = -0.65 + -0.05. Let h = t - -0.2. Sort n, 5, h in descending order.
5, h, n
Let x = -8.1 - -0.1. Let l = 11 + x. Sort 0.06, 0.3, l in decreasing order.
l, 0.3, 0.06
Suppose -g - 34 + 38 = 0. Sort 0.4, g, 18.
0.4, g, 18
Suppose 0 = a + a - 78. Sort a, -3, -4 in decreasing order.
a, -3, -4
Let t be (-1)/(8/3 - 3). Put 9, t, 2/13 in descending order.
9, t, 2/13
Let i(k) = k**3 - 7*k**2 - 4*k + 1. Let x be (-3 - -1) + 7 + -1. Let o(t) = -t**3 + 6*t**2 + 4*t - 1. Let g(f) = x*o(f) + 3*i(f). Let c be g(4). Sort c, 4, 2.
c, 2, 4
Let u be ((-6)/(-2) + 2)/(-1). Sort -4, 0, u.
u, -4, 0
Suppose -12 = -3*i, -2*y - 4*i = -2*i. Suppose 0 = x + 2*x - 12. Suppose 6*d = 5*d - 5. Put d, x, y in descending order.
x, y, d
Let p = -6.84 + 5.9. Let m = p + -0.06. Put 0.3, m, -2/19 in ascending order.
m, -2/19, 0.3
Let v = 9.91 - 10. Let o = -60 + 57. Sort v, o, 4 in descending order.
4, v, o
Let u = -0.4 - -0.7. Let x be 4/(3*(-1)/(-3)). Put x, u, -2 in decreasing order.
x, u, -2
Let p = -36 - -29. Sort -4, p, 2/11 in increasing order.
p, -4, 2/11
Suppose 0 = 5*n - 0*n - 0*n. Sort n, -1, 1.
-1, n, 1
Let n = 1 + -1. Suppose -5*h - 10 = 5*r, -12*r + 22 = -7*r - 3*h. Put n, r, -1/2 in descending order.
r, n, -1/2
Suppose 0 = -9*b - 4 - 14. Let p =