der.
y, k, 0
Suppose 4*d = -4*k + 8, 3*k = -7*d + 3*d + 9. Suppose 4*w = -3*u + 2*u + 19, 5*w - 30 = 5*u. Put d, -2, w in ascending order.
-2, d, w
Let m = -8 + 12. Let t = m + -5. Suppose -5*k + 17 = 42. Sort 2, k, t in increasing order.
k, t, 2
Let d = -43 - -38. Sort d, -4, 0.3.
d, -4, 0.3
Let p = 22 - 27. Sort -1, 7, p in decreasing order.
7, -1, p
Let n = -2 + 2.8. Let r = n - 0.3. Put -0.4, 1/4, r in descending order.
r, 1/4, -0.4
Let o be 24/(-9)*3/2. Put 2, o, -2 in increasing order.
o, -2, 2
Let b = -32 - -27. Sort 5, -4, b.
b, -4, 5
Let f = 0.027 + 0.173. Sort -4/7, 2/11, f in descending order.
f, 2/11, -4/7
Let m = 8 + -13. Let n = 3 + m. Sort n, 5, -5 in ascending order.
-5, n, 5
Suppose -4*p + 13*p - 72 = 0. Sort 2, p, -4 in decreasing order.
p, 2, -4
Let d = -1.3 + -0.1. Let c = d + -1.6. Let p = -1.9 - -2. Sort 0.2, p, c in descending order.
0.2, p, c
Let q be (12 - 13)*2/(-2). Put -1.9, -2, -3/2, q in increasing order.
-2, -1.9, -3/2, q
Let x = 763/5 - 152. Suppose -4*r - z + 118 = 0, 4*r + 4*z = 61 + 51. Let i be (-9)/r*2 - 0. Put x, 0.3, i in decreasing order.
x, 0.3, i
Let f(r) be the third derivative of -r**6/60 - r**5/20 - r**4/12 - r**3/2 + 2*r**2. Suppose -2 + 12 = -5*s. Let w be f(s). Sort 2, 3, w in decreasing order.
w, 3, 2
Suppose -3*b = 2*o - 12 - 3, 0 = 3*o + 5*b - 24. Suppose -o*x - 4*t = -9, 1 - 14 = x - 4*t. Put x, 2, -4 in increasing order.
-4, x, 2
Let g be (-4)/(-2) - (-2)/2. Suppose -20 = -z - g*z. Put z, 4, 3 in descending order.
z, 4, 3
Let c = -0.06 - -0.18. Let v = -0.78 - c. Let d = v - 0.1. Sort -3/5, d, 3 in descending order.
3, -3/5, d
Let z be (-3)/1 + 34/10. Put 1.3, -4, z in ascending order.
-4, z, 1.3
Suppose -z + 4*i + 18 = 0, 4*i + 8 = 2*i. Let r be z*12/32*-4. Sort r, -5, 5 in increasing order.
-5, r, 5
Suppose 1 = z + 8. Suppose 15 = -q + 6*q. Let m = q + z. Sort m, 5, 3 in decreasing order.
5, 3, m
Suppose -5*q - 5*l + 10 = 0, 3*q - 2*q + 2*l = 3. Let j be (5 + -5)/(1 + 1). Suppose j = -4*b - 0*b - 16. Put -5, b, q in ascending order.
-5, b, q
Let x(t) = t**3 - t**2 - 2*t + 1. Let m be x(2). Suppose -4*j - 15 = -7. Sort 3, m, j in descending order.
3, m, j
Let m = 2/27 + 13/189. Put m, 1/4, -2/9 in descending order.
1/4, m, -2/9
Let w(z) = -z - 1. Let i be w(2). Let a = 1 - 0. Sort a, 2, i in descending order.
2, a, i
Let j = 5 + -6. Let l be (-1*(-12)/(-38))/j. Let t = l - 37/57. Sort 3/5, t, 2/9 in decreasing order.
3/5, 2/9, t
Let f = 0.1 + 6.9. Let w = -6.6 + f. Sort 0, w, -0.4 in decreasing order.
w, 0, -0.4
Suppose 0 = 6*y - 18 + 48. Sort -3, y, 1, -2 in descending order.
1, -2, -3, y
Let i be (135/(-35))/(-3) - (-2)/(-7). Put -2, i, -3 in descending order.
i, -2, -3
Let s = 54 + -59. Put 8, 5, s in decreasing order.
8, 5, s
Let a = 0.1 - 0.2. Let o = 47/150 - -1/50. Put o, a, -1 in ascending order.
-1, a, o
Let x = -24 - -23. Sort x, 2, -0.02 in increasing order.
x, -0.02, 2
Let u(y) = y**2 - 5*y + 5. Let i be u(5). Sort 4, i, -5.
-5, 4, i
Let v = 21 + -20.6. Put 1, v, -2/21, 2 in ascending order.
-2/21, v, 1, 2
Let d = -0.09 + 0.02. Let o = -5.07 - d. Sort 0.5, o, 0.3 in descending order.
0.5, 0.3, o
Let j = 3 + 0. Let y = -3 + j. Sort 0.4, y, -2 in descending order.
0.4, y, -2
Let x = -3.022 + 0.022. Let r = 0.6 - -1.4. Sort r, x, -2.
x, -2, r
Let g be 208/(-78)*-2*(-6)/(-8). Let k = 0.5 - 0. Let y = k - 0.1. Put g, y, -0.1 in increasing order.
-0.1, y, g
Let p be (-4 + (-8)/(-2))/(-3). Sort p, -2, 3 in increasing order.
-2, p, 3
Suppose -2*l - 22 = -5*w, 4*w = 8*w + l - 15. Suppose -2*m - 6 = -3*q, 0*m - m = 2*q - 11. Suppose q*y - y = -3. Sort y, w, 1 in decreasing order.
w, 1, y
Let z = -26 - -18. Let g = 12 + z. Sort g, -2/3, 4/5 in increasing order.
-2/3, 4/5, g
Let m(j) = -11*j**2 - 5*j - 2. Let n(z) = 5*z**2 + 2*z + 1. Let v(k) = -6*m(k) - 13*n(k). Let c be v(-4). Put 3, c, -2 in descending order.
3, c, -2
Let j = 15.9 + -16. Put j, 3, -2 in increasing order.
-2, j, 3
Let n = -218 - -217. Let i be -2*(0/1 + 1). Put i, n, 5 in decreasing order.
5, n, i
Let y be (8 + -9)/(2/10*1). Sort y, 13, 2, 1.
y, 1, 2, 13
Let d be 3/18*-2*3. Let s(m) = 0 - m - 1 + 1. Let y be s(d). Sort 2, y, 3.
y, 2, 3
Let t = 8.83 - -0.17. Let y = 8.6 - t. Put 0.5, 0.4, y in ascending order.
y, 0.4, 0.5
Suppose -5*l - a = 4*a - 45, -2*a + 33 = 5*l. Put l, -13, -4, 4 in ascending order.
-13, -4, 4, l
Suppose -60 = 42*t - 47*t. Put -6, 4, t, 3 in decreasing order.
t, 4, 3, -6
Suppose -2*h + 2*r - 12 = 0, 3*r + 3 = -h - 3*h. Put 5, 6, h, -2 in increasing order.
h, -2, 5, 6
Let h be (-30)/(-45)*(0 - 1). Sort 3/8, 2/7, h.
h, 2/7, 3/8
Let n(i) = i + 5. Let m be n(-7). Let s(a) = a**2 - a - 1. Let o be s(3). Let g = 6 + -9. Put g, m, o in descending order.
o, m, g
Let k(z) = -z - 7. Let v be k(-10). Let r = 5 - v. Put -0.05, 0.1, r in ascending order.
-0.05, 0.1, r
Let z = 90235 - 45568786/505. Let a = -64133/101 + 635. Let o = z + a. Put 0.1, -0.1, o in increasing order.
o, -0.1, 0.1
Let n = 3.03 + -3. Let l = n - 1.03. Sort 4/9, l, 2/9 in increasing order.
l, 2/9, 4/9
Let u(a) = a**3 + 5*a**2 + a + 4. Let i be u(-5). Let d = -2 - -1. Let q = 1 + d. Put i, q, -3 in descending order.
q, i, -3
Suppose -4*k + 10 - 6 = 0. Put 2, -3, k in decreasing order.
2, k, -3
Let c = 11 - 17. Let l = c - -5.9. Put 6/5, l, 0.4 in ascending order.
l, 0.4, 6/5
Let g(x) = x**2 - 13*x + 11. Let p be g(12). Put p, -3, -5, -29/5 in ascending order.
-29/5, -5, -3, p
Let k be (-72)/33 - (-5)/(110/4). Sort -12, -5, k in descending order.
k, -5, -12
Let q be 0*2/(-4) + 1. Let m be 1 + (-2 - (-15)/5). Sort -3, q, m.
-3, q, m
Suppose -z = 2*z - 11*z. Suppose 5*j = 6*k - 3*k - 63, 4*k - 73 = 3*j. Sort z, k, -5 in descending order.
k, z, -5
Let u be (0 - 0) + -3 - (-88)/11. Put -4, -2, 3, u in ascending order.
-4, -2, 3, u
Let r = 23 + -14. Let j be (-2)/6*r*-1. Put j, -3, 4 in increasing order.
-3, j, 4
Let b(g) = g**3 + 5*g**2 + g + 1. Let n be b(-5). Sort n, -0.2, 1/4 in decreasing order.
1/4, -0.2, n
Suppose -3*o - 3*k = -6, 5*k + 1 = -3*o + 15. Sort -4, -5, o.
-5, -4, o
Let n(z) = 2*z**2 + 3*z + 3. Let s be n(-2). Suppose w = -3*t + 7, t = -3*w - w - 5. Sort s, w, -1 in increasing order.
w, -1, s
Suppose -g - 1 = 3. Let h(a) = -a + 10. Let c be h(5). Suppose -6 + 0 = 2*b. Sort c, b, g in increasing order.
g, b, c
Suppose -3*v - 14 = 5*d, 5*d + 24 - 2 = v. Suppose 2 + 0 = a. Sort a, d, 3.
d, a, 3
Suppose 2*y = 4*y + 10, q + 3*y + 19 = 0. Let a(v) = -v**3 - 4*v**2 - 7*v - 11. Let c be a(-3). Put c, -0.07, q in increasing order.
q, -0.07, c
Let x = -0.8 + 0.42. Let p = x - 0.02. Sort p, 3, 4 in decreasing order.
4, 3, p
Let x be (-1)/(-4) + (-10)/40. Let m(i) = -i + 6. Let n be m(5). Suppose 5*h + n = 4*h. Sort x, 1, h.
h, x, 1
Let r = -201 + 176.2. Let u = -25 - r. Sort u, 0.3, 4.
u, 0.3, 4
Suppose -6 = 3*y - 12. Suppose 5*f - 5*o = 25, 2*f = f + 4*o + 20. Put -1, f, y in decreasing order.
y, f, -1
Suppose -4*h - 1 - 5 = -2*w, 0 = 3*h + 4*w + 21. Sort -43, -4, h in ascending order.
-43, -4, h
Let s = 2 + -4. Put 2, s, -4 in descending order.
2, s, -4
Let a = -11 - -12. Let z = -6 + 9. Sort z, 0, a.
0, a, z
Suppose -11*m = -2*m + 9. Put m, -4, -12 in descending order.
m, -4, -12
Let s = 2 - 4. Let b = -15 - -14.8. Let c = -0.2 - -0.2. Sort s, b, c in decreasing order.
c, b, s
Suppose 3*p = -0*p - 6. Let l = 242 - 237. Sort p, -1, l in descending order.
l, -1, p
Suppose 0 = 12*n - 9*n + 6. Sort n, 5, -6 in descending order.
5, n, -6
Suppose 3*l + 5*m = -4, -6*m + 3*m + 44 = -4*l. Let s be l/28 - 5/7. Sort 4, 5, s.
s, 4, 5
Suppose 0 = a - 2 - 6. Let d = a + -9. Put 3/2, d, -4/5 in ascending order.
d, -4/5, 3/2
Let d be (2 + 3)*(2 + 0 + -3). Sort d, -4, -10, -3 in descending order.
-3, -4, d, -10
Suppose 3*s - 4*s = 0. Let q = 3 + s. Let d be (1/q)/(7/21). Sort d, 2, -4 in decreasing order.
2, d, -4
Suppose -5*x = -4*s + 40, -3*x - 3*s - 2 = -s. Suppose 4*d = z + 3, 2*z - 4*d = 5*z + 9. Put z, x, -1 in decreasing order.
-1, z, x
Let b = 68 + -73. Sort 1, b, -15 in decreasing order.
1, b, -15
Let j = -8.9 - -8.5. Sort j, 0.2, 5, -6 in descending order.
5, 0.2, j, -6
Suppose -4 = 5*v + 11. Let k be ((-6)/9)/(0 - -3). Let r be (-10)/8*(-1 - 3). Sort v, k, r.
v, k, r
Let j be (-5)/(-1 + 0/2). Suppose 4*k - k = 0. Sort 4, j, k in ascending o