der.
4, l, m
Let l = 120 + -108. Sort l, 1, 3 in descending order.
l, 3, 1
Let i = 7 + -39/5. Put i, -1/5, -1, 4 in ascending order.
-1, i, -1/5, 4
Let q be ((6 - 4) + 3)/1. Let u(a) = 3*a + 4. Let s be u(-3). Let j = -3 - s. Put 3, j, q in decreasing order.
q, 3, j
Let i = 4 + -15. Let c be (-2)/4*(-17 - i). Let q = -0.2 + -0.3. Put q, c, -5 in descending order.
c, q, -5
Let a be 72/(-12)*1/(-21). Let j = 0.2 + 0. Sort j, -0.5, a in decreasing order.
a, j, -0.5
Suppose -13 = 2*h - 5*t, -3*t = 2*h + 3 + 2. Let w(j) = -2*j + 22. Let p be w(11). Put -2/3, h, p in descending order.
p, -2/3, h
Suppose p = g + 1, -p = -2*g - 2*g + 8. Suppose c = -3*c - p. Let z be (1/(-12))/(c/3). Put 0, -0.3, z in decreasing order.
z, 0, -0.3
Let a = 1/146 - 38/219. Let c = -0.58 - -0.18. Sort -0.2, c, a.
c, -0.2, a
Let t be (-1)/(-5)*30/9. Put -5, t, 3/8 in increasing order.
-5, 3/8, t
Let w = -563 + 557.87. Let k = w + 0.13. Sort 4, -2/9, k.
k, -2/9, 4
Let j(f) = f**3 - f**2 - f - 4. Let l be j(0). Suppose 0 = 2*k - 2 - 4. Sort 5, k, l in ascending order.
l, k, 5
Let k = -106 - -112. Put -5, k, -2, 0 in descending order.
k, 0, -2, -5
Let l = -8 - -8. Let a = l + -2. Put 2, a, -3 in descending order.
2, a, -3
Let t be (-8)/(-32) + 2/(-16). Sort 2, 0.3, t in decreasing order.
2, 0.3, t
Suppose -3*f + b + 1 = -7, -3*f + 5*b + 16 = 0. Let s = -1.5 + -0.5. Let w = s + -3. Put 3, w, f in decreasing order.
3, f, w
Let g(f) = 2*f**2 + 14*f - 11. Let n be g(-8). Suppose -z + 18 = -3*z + 2*d, -2*d = -8. Put n, z, 3 in ascending order.
z, 3, n
Suppose 4*d = 2*d + 6. Suppose -d*i + 5*u = -25, 6*i - 3*i - 5 = u. Suppose 6 - 4 = 3*g - 2*t, -5*g - 4*t + 40 = i. Put -3, 0, g in ascending order.
-3, 0, g
Let s be (-1)/(-4 + (-36)/(-8)). Suppose 11 = -3*t - 1. Sort t, s, -1 in decreasing order.
-1, s, t
Let m(s) = s - 7. Let r be m(7). Let g = 26.97 - 27. Sort 2/23, r, g.
g, r, 2/23
Let g(y) = -y**2 + 6*y - 7. Let k be g(6). Let j be 1 + k - -1*2. Suppose 0 = f + 16*f + 17. Sort 4, f, j in decreasing order.
4, f, j
Let o = 43 + -42. Sort 5, 2, o.
o, 2, 5
Let f = 8.2 - 12. Let d = f - -4. Let r = -0.6 - 2.4. Put d, -0.1, r in decreasing order.
d, -0.1, r
Let a = -146 - -136.9. Let k = a - -0.1. Let l = k + 9. Put 3, l, -0.2 in descending order.
3, l, -0.2
Let v = 3.93 + 0.07. Let x = 14.5 + -13.33. Let i = x + -0.17. Put v, 2, i in decreasing order.
v, 2, i
Let s be 14/35*(-5)/2. Sort -5, 5, s.
-5, s, 5
Let v(i) = i**3 - 4*i**2 + 3*i - 7. Let u be v(4). Let r be ((-10)/(-8))/((-2)/8). Put u, r, 0 in ascending order.
r, 0, u
Let g = 144 + -149. Sort g, 2, -7 in descending order.
2, g, -7
Suppose 3*j + b = -3 - 8, j + 9 = -3*b. Let c = -24 + 25. Sort j, -4, c in increasing order.
-4, j, c
Let a be 1/(-3) + 2/15. Let q be 40/(-32)*4/10. Sort -0.3, q, a.
q, -0.3, a
Let o = 56.5 + -56. Sort 0, -17, o in increasing order.
-17, 0, o
Suppose -8*x - 10 - 6 = 0. Put 4, -4, x in decreasing order.
4, x, -4
Let b be (3 + 21/(-9))*-9. Let q = b - -8. Sort q, 0.1, 4/5 in decreasing order.
q, 4/5, 0.1
Let t(y) be the first derivative of y**3/3 - y**2 + 2*y + 2. Let b be t(3). Suppose b*n - 27 = -3*j - 2, -j = -5. Sort n, 1, 5 in decreasing order.
5, n, 1
Let h be (0/2)/((-2)/1). Put h, -1, 2, -7 in decreasing order.
2, h, -1, -7
Let r(u) = 5*u - 38. Let d be r(7). Put 4, d, -0.2, -5 in ascending order.
-5, d, -0.2, 4
Suppose -6*d = -4*d. Let u be (d - -2) + (-21)/3. Suppose -r = -3*k + 4, -6*k = -10*k + 4*r + 8. Sort -4, k, u.
u, -4, k
Let m = -6/23 + -45/92. Put 1/2, -1, -0.5, m in decreasing order.
1/2, -0.5, m, -1
Suppose -2*v + 6 = -5*a - 0, 0 = 4*v - 12. Sort a, 3, 6.
a, 3, 6
Suppose -18 = 3*v - 0*v. Let d be (8/v - -1)*6. Suppose 2*t - 2*s = 2 - 4, 0 = -3*t - 3*s + 27. Put t, -3, d in decreasing order.
t, d, -3
Suppose 0 = 2*y + 2*y + 12. Let s be 2/2 + 2*1. Suppose 5*n + t - 18 = -s*t, 5*t - 12 = -n. Put y, 3, n in descending order.
3, n, y
Let v = 3/35 - 111/70. Sort 7, v, -1/4 in decreasing order.
7, -1/4, v
Let s = 35 - 35. Sort -12, s, 4 in decreasing order.
4, s, -12
Suppose 4*h - 11 + 3 = 0. Put h, 0, 5 in decreasing order.
5, h, 0
Let h be 4/(-10) + 105/(-3). Let f = 1603/45 + h. Let l = -0.4 - -0.6. Sort l, f, 3 in ascending order.
l, f, 3
Let p(b) = b**3 - 8*b**2 - 10*b + 10. Let v be p(9). Suppose -x + 1 = -v. Let j = 6 + -10. Sort x, 0, j in decreasing order.
x, 0, j
Let g(a) = a**3 + 5*a**2 - 7*a - 1. Let x be g(-6). Suppose -4*z - 3*f = -2*f - x, f + 1 = 2*z. Sort -2, z, -4.
-4, -2, z
Suppose 4*o - 2*l = 3*l + 5, o - 3*l + 4 = 0. Suppose -4*j - 2 = 2*v - 10, -3*j = 2*v - 5. Suppose 15 = 3*m + j. Put o, 0, m in increasing order.
0, m, o
Let c(t) = t**2 - 5. Let s be c(-4). Let f = s + -8. Suppose -2*h + 7 = -f. Sort -3, -5, h.
-5, -3, h
Suppose 0*l - c = -2*l + 6, -22 = -5*l - c. Let d = -8 - -5. Sort d, l, -4 in increasing order.
-4, d, l
Let o(i) = -i**2 + 10*i - 18. Let a be o(8). Sort 3, 4, -5, a in descending order.
4, 3, a, -5
Suppose -4*p + 4 - 16 = 0. Let x = -2 - p. Sort 3, x, 5 in descending order.
5, 3, x
Let g = -4.83 - 0.17. Sort 1, 0, g.
g, 0, 1
Suppose -3*q = -2 + 5. Sort q, -26, -3 in increasing order.
-26, -3, q
Let i = 8 + -9. Let r(x) = 3*x**2 + x + 1. Let g be r(i). Sort -5, -2, g in descending order.
g, -2, -5
Let n = 33 - 173/5. Put -1, n, 4 in ascending order.
n, -1, 4
Suppose -w + 5*k = 2*w, 0 = -3*w - 4*k - 27. Sort 7, -5/3, w in ascending order.
w, -5/3, 7
Let m = -1.6 + -0.4. Put -0.5, -4/9, m in descending order.
-4/9, -0.5, m
Let c = 11 + -2. Let v be 12/(-54) + (-25)/c. Sort 7, 5, v in increasing order.
v, 5, 7
Let o = -5 + 8. Suppose -2*y + 5 = -o. Suppose -5*s + 6*s - 4 = 4*f, -2*f - 2 = 0. Put s, -1, y in descending order.
y, s, -1
Suppose 4*h = -2*o - 16, -6*h = 5*o - 3*h + 26. Put o, 3, -1 in descending order.
3, -1, o
Let v = -3 + 6. Let t = 0.2 + -0.2. Put t, v, -0.1 in increasing order.
-0.1, t, v
Let q = 1 - -1. Sort 2/3, q, 6 in ascending order.
2/3, q, 6
Let r = -24.3 + 24. Let o = -0.6 + 0.1. Put o, 0.1, r in decreasing order.
0.1, r, o
Suppose -b - m + 7 = 3, -m + 24 = 5*b. Let n(t) = t**3 - 6*t**2 + 5*t - 4. Let v be n(b). Let x = 2.5 - 3. Sort x, -2, v in descending order.
x, -2, v
Let q = 2 + -2. Let p = 0 - q. Suppose d = 5*b - 12, 20*b - 15*b + d = 18. Sort 6, b, p.
p, b, 6
Let y = -8 + 7. Let j = 28 - 96. Let c = j + 478/7. Put c, y, -0.4 in increasing order.
y, -0.4, c
Let d(u) = -6*u + 1. Let l be d(1). Let x be 3/5*(-7 + (2 - 0)). Put l, 3, x in increasing order.
l, x, 3
Let t = -3/94 - 119/2162. Let g be (-5 + 4)*165 + 0. Let c = 1979/12 + g. Sort c, 0.5, t.
t, c, 0.5
Let w = 0 + -5. Let u be 3*((-8)/3 + 3). Sort 5, u, w in increasing order.
w, u, 5
Let b = 1.6 + -2.8. Let j = 4.8 - 5. Let r = b - j. Sort -3/5, 5, r in descending order.
5, -3/5, r
Let b = -67 - -61. Put b, -1, 2/7 in decreasing order.
2/7, -1, b
Let a = 489/133 - 78/19. Let r = 6 + -11. Sort r, a, 0 in descending order.
0, a, r
Let v = -0.33 - -13.33. Sort 2, -3, v in descending order.
v, 2, -3
Suppose -4*m + 2*p + 18 + 6 = 0, 0 = -2*m + 2*p + 12. Suppose 2*c - 4 = -m. Put c, 2, -2 in increasing order.
-2, c, 2
Let o = -2.98 - 0.02. Let u = o + 3.03. Let p = 4.03 - u. Sort -2/7, 2, p in increasing order.
-2/7, 2, p
Let l = 2 - 4. Sort -1/9, l, -4/3 in ascending order.
l, -4/3, -1/9
Suppose -7*h = -3*h + 20. Let o be 5/4*1/h. Sort -4/7, -2, o in decreasing order.
o, -4/7, -2
Suppose 4*l + 20 = -l. Put l, 0, -2/9 in increasing order.
l, -2/9, 0
Let k be 3/5*(-5)/(-15). Let o = -2 - -6. Suppose 0 = -t + f - 2*f, 5*t + o*f + 2 = 0. Sort 0, t, k in descending order.
k, 0, t
Let y = 17 + -7. Suppose 4 = -3*k + y. Put k, -4, 3 in descending order.
3, k, -4
Let p = -1 + -4. Put -4, p, 2 in decreasing order.
2, -4, p
Let a = 16.4 + -16. Sort -0.3, -1/2, a in decreasing order.
a, -0.3, -1/2
Let w be (0 - 1)*(-2)/1. Let x be (w/(-3))/((-2)/(-6)). Suppose k - 5*f = 9, -3*f + 1 = 4. Sort 0, k, x in descending order.
k, 0, x
Let n be 0 + 0/(-1) + 2. Suppose 24 = -n*r + 4*h, -3*r + 16 = -r + 4*h. Let q be (0 + 10/(-4))*r. Sort 4, -3/5, q.
-3/5, 4, q
Suppose 0 = -4*k + 21 - 5. Sort -4, k, 1, -1 in decreasing order.
k, 1, -1, -4
Let v = -10 - -9.9. Let s = -6 - -6.4. Put 0, s, v in descending order.
s, 0, v
Let z = 8 + -13. Sort -4, z, 0 in decreasing order.
0, -4, z
Let