der.
x, u, -2/11
Let o = 14 + -14. Sort o, 3, -1 in descending order.
3, o, -1
Let n be 1 - (-3 - (2 + -3)). Suppose 0*t + t + n = -5*q, -t = -q + 3. Let d = q + 0. Put d, -2, -3 in descending order.
d, -2, -3
Let w(a) be the first derivative of -a**2/2 + a + 2. Let s be w(0). Let c(z) = z - 4. Let d be c(0). Put d, 3, s in descending order.
3, s, d
Let l be 6/(-4)*2/(-15). Let n = -11/52 - -6/13. Sort n, 0.3, l in increasing order.
l, n, 0.3
Let v = 1.44 + 0.06. Let n = v + 4.5. Let r = -0.1 + 0.3. Sort n, r, 0.4 in decreasing order.
n, 0.4, r
Suppose 0 = 5*g - 5*c - 65, 0*c = g - 3*c - 3. Let y be (-12)/21*(-28)/g. Let l = -2/9 + y. Sort 5, l, 1 in increasing order.
l, 1, 5
Let a = 58 - 60. Let u(s) = s**2 - 3*s - 1. Let x be u(4). Put a, 0, x in ascending order.
a, 0, x
Let q(h) = 2*h. Let w be q(2). Let c be -6*-2*1/2. Suppose 3*k - u = -17, 3*u - c*u = 5*k + 19. Sort w, -3, k in ascending order.
k, -3, w
Suppose u - c = 3*u - 12, u + 5*c + 12 = 0. Suppose -2*t - u = -4*t. Put 0.5, t, -1/3 in increasing order.
-1/3, 0.5, t
Let n = 13 + -13.5. Sort -5, 1/5, n in descending order.
1/5, n, -5
Let w = 188 + -187. Put -3, -1/4, w, 0.3 in descending order.
w, 0.3, -1/4, -3
Let z(b) = -b + 2. Let s be z(2). Suppose 3*g - g - 5*j = 35, 5*g - 145 = j. Let x be 34/(-10) + (-18)/g. Put 2, s, x in descending order.
2, s, x
Let y = -5 + 7. Suppose -2*s = -y*q - 8, -3*s + q + 5 + 3 = 0. Put -1/2, s, -1/7 in increasing order.
-1/2, -1/7, s
Suppose 5*d - 25 = 0, -4*d + 16 = -0*y - 4*y. Let b = -4 + y. Suppose 2*w - w + 3*q + 13 = 0, -5*q = -4*w + 33. Put b, 1, w in increasing order.
b, 1, w
Let k = -19.3 - -21.33. Let o = -0.03 + k. Sort 3, o, -1 in ascending order.
-1, o, 3
Let c(v) = -v - 3. Let o be c(-4). Sort o, 6, -2 in descending order.
6, o, -2
Let d = 33 + -22. Let g = 11.2 - d. Sort g, 5, 1 in decreasing order.
5, 1, g
Let l = 1.1 - 4.1. Put 5, 4, -7, l in descending order.
5, 4, l, -7
Let v = -2 - -3.4. Let u = -0.5 + -0.1. Let m = u - v. Sort m, 1, -4/5 in descending order.
1, -4/5, m
Let g = 27 - 23. Sort g, -12, 2 in ascending order.
-12, 2, g
Let a = 2 + -7. Sort a, 5, -4 in decreasing order.
5, -4, a
Let p(m) = -m + 3. Let a(u) = 2*u - 7. Let n(s) = 2*a(s) + 5*p(s). Let l be n(-3). Let j be (-2 - (-7)/l)*6. Sort j, 0, 5 in increasing order.
j, 0, 5
Let m be (-20)/(-39) + (-4)/6. Let j = 0 + -2. Let z be ((-13)/4 + 3)/(4/4). Sort z, m, j in decreasing order.
m, z, j
Let l(g) = g - 3. Let b be l(4). Let r = -84 + 84. Sort r, -2, b in descending order.
b, r, -2
Suppose 5*i - 5 = 3*c + 6, 0 = c + 3*i - 1. Put -1, c, 2 in increasing order.
c, -1, 2
Suppose 3*j - 5*j = -j. Put j, 11, -3 in ascending order.
-3, j, 11
Let r be 2/3 - (-7)/189*-30. Sort 1, r, 1/5 in decreasing order.
1, 1/5, r
Let k be 3 + (-60)/16 + (-3)/12. Let l be (3/6)/(2/(-8)). Sort k, 4, l in decreasing order.
4, k, l
Suppose 3 = -4*w + 15. Suppose -3*i + 4*g - w = -1, -3*g = -6. Let p be ((-6)/(-8))/(2/(-8)). Sort p, -1, i in descending order.
i, -1, p
Let k = 16 - 2. Suppose 5*b - k = -39. Let s(g) = g**3 - 5*g**2 - 5*g - 8. Let f be s(6). Sort b, -1, f in decreasing order.
-1, f, b
Let k = -5.7 + 6. Let a = 0.345 - -3.655. Put -0.5, k, a in descending order.
a, k, -0.5
Suppose -5*z + 8*z = 9. Let l(w) = 1 - 6*w + w**z + w**2 - 4 + 3*w**2. Let v be l(-5). Put 0, v, -3 in decreasing order.
v, 0, -3
Let m(k) = -k. Let d be m(-1). Let t = -14 + 8. Let w be (-3)/(-6)*t - 0. Put w, d, -2 in decreasing order.
d, -2, w
Let p = 16/21 + -3/7. Let n = 44 - 482/11. Put n, p, 5 in descending order.
5, p, n
Let i = 16 + -17. Sort 0, i, -6.
-6, i, 0
Suppose 3*x - 9 = -0*x - 2*z, 4*z - 16 = -4*x. Sort 1/5, x, 2 in increasing order.
1/5, x, 2
Suppose -5*m = -10*m - 25. Let f = 997/56 - 122/7. Let t = 0.2 + 0. Sort f, m, t in descending order.
f, t, m
Suppose 2*u = -0*w + w - 10, 2*w - 3*u = 17. Sort w, -3, -12 in descending order.
w, -3, -12
Let u be (5 + 3)/(-4) - -2. Suppose u = -i - i + 4. Sort -2, i, 0.
-2, 0, i
Suppose 2*d + 12 - 2 = 4*q, d + 17 = 5*q. Put q, -5/2, 22 in descending order.
22, q, -5/2
Suppose 0 = h - 0 - 5. Suppose 4*g = h*g. Put g, -4, -8 in ascending order.
-8, -4, g
Suppose -2*o - 22 = -5*u, -2*o = -3*u + 3*o - 2. Suppose 0 = 2*g + u. Sort 0, g, -5 in increasing order.
-5, g, 0
Suppose -5*p - 65 = -80. Sort 9, p, 4 in descending order.
9, 4, p
Let w = 0.26 - 26.26. Let o = -27.2 - w. Sort -2/15, 2/5, o.
o, -2/15, 2/5
Suppose 16 = t - 2*t. Let n be (-6)/4*t/42. Put 2, 4, n in descending order.
4, 2, n
Suppose 12 = q + 2*g, -q = 2*q - 5*g + 19. Let n be (-1)/(q/(-10)*1). Let i = -2 - -6. Sort 1, n, i in decreasing order.
n, i, 1
Suppose z + 4 = -1, -3*m + 5*z = -34. Sort -2, 2, 5, m.
-2, 2, m, 5
Let l = 29 + -30. Let z(m) = -m**2 - 10*m - 11. Let h be z(-8). Sort h, l, -5.
-5, l, h
Let m(d) = d**2 + 3*d - 7. Let k be m(-5). Let i(w) = -w - 3. Let p be i(-4). Put p, 5, k in descending order.
5, k, p
Suppose -9*k + 12*k = -9. Put 6, -2, k in increasing order.
k, -2, 6
Let q(i) = -2*i - 5 - i + 4. Let c be q(-1). Let l(h) = h**2. Let s be l(c). Put s, 2, 3 in decreasing order.
s, 3, 2
Suppose 25 = 6*s - s. Let y = -6 - -7. Let v = y - 1. Sort -1, v, s in increasing order.
-1, v, s
Let d be 3/15 + 32/(-60). Let u = 0.32 + 0.08. Put 2, d, u in decreasing order.
2, u, d
Let g = -8 + 6. Suppose 10*i - 2*i - 24 = 0. Put i, 2, g in descending order.
i, 2, g
Let x = -0.3 - 0.2. Let r = 0.1 + -0.1. Let i = x - r. Put 2/3, -0.1, i in descending order.
2/3, -0.1, i
Let f = 76 - 85. Sort 0, f, 4 in decreasing order.
4, 0, f
Let d = -531/28 - -77/4. Let v = -0.013 + -0.017. Put d, -1, v in descending order.
d, v, -1
Let t be (3/(-6))/((-1)/(-10)). Let r = 49 + -53.3. Let d = 0.7 - r. Sort 0.5, d, t.
t, 0.5, d
Let j be (-4)/8*1*2/7. Put j, 0.4, 0.2, -5 in ascending order.
-5, j, 0.2, 0.4
Let j be 1/((-2)/4 + 0). Let v = -7 - j. Sort v, 2, 0 in ascending order.
v, 0, 2
Let l = 0.55 - 0.35. Sort -5/2, 0.3, l.
-5/2, l, 0.3
Let s = -2.5 - -2.7. Let a = 0.07 + 4.93. Sort a, s, 2 in descending order.
a, 2, s
Let h = 19 + -6. Sort h, -0.4, 4 in increasing order.
-0.4, 4, h
Let z be (2/8)/((-3)/(-8)). Put -0.3, z, -1 in descending order.
z, -0.3, -1
Let j(x) = -x**3 - 6*x**2 - x + 6. Let i be j(-6). Suppose -4*r - i = -8*r. Suppose 8 = -r*m + m. Sort m, 1/2, -3.
m, -3, 1/2
Let t = 4 - 10. Let v be 2 + 1/(t/4). Sort v, -1, 2 in descending order.
2, v, -1
Let v be -6*((-3)/21)/((-6)/21). Put v, -1, 1, 0 in decreasing order.
1, 0, -1, v
Let r be (-36)/(-8)*1/3*2. Put 1, r, 0 in decreasing order.
r, 1, 0
Let b = 5.7 - 5.4. Let p = -3 + -1. Sort -2/15, b, p in increasing order.
p, -2/15, b
Let o = 0.8 - 2.2. Let t = -1.7 - o. Sort -0.5, t, 0 in increasing order.
-0.5, t, 0
Let z = -0.67 + -5.33. Sort z, 0.1, 1 in decreasing order.
1, 0.1, z
Let h = 116.5 + -116. Sort -1, -2, h in ascending order.
-2, -1, h
Let x(n) = -n - 9. Let j(t) = t - 2. Let a be j(-8). Let h be x(a). Let f = h + 1. Put 3, f, 0 in ascending order.
0, f, 3
Let o be (-8)/12 - 28/(-6). Suppose h + 2*h + 6 = 3*g, -o*h + 32 = 4*g. Sort -1, h, 5 in descending order.
5, h, -1
Suppose 0*a + 10 = 5*a, 5*t + 39 = -3*a. Let y be ((-2)/(-9))/(21/t). Put -5, y, -2/5 in increasing order.
-5, -2/5, y
Let x = 0 - 0. Let w(q) = q**2 + 7*q + 3. Let l be w(-6). Suppose 3*z + 1 = 4. Sort l, x, z in increasing order.
l, x, z
Let n be -14*(2/4 - 1). Suppose -4*i = -n*i + 15. Suppose d + 2 = -5*g - 5, 5*d - 25 = i*g. Put -5, 5, g in increasing order.
-5, g, 5
Let y(t) = -t + 4. Let z be y(6). Let h be z/9*93/(-36). Let a = -2/27 + h. Sort a, 2/9, -1 in decreasing order.
a, 2/9, -1
Let h(i) = i**2 - 3*i - 3. Let w be h(-4). Suppose 0*b = -5*b + w. Put b, 3, 0 in decreasing order.
b, 3, 0
Suppose -2*f + 0*f = -o - 3, -5*f + 9 = -3*o. Let g = -1 + 4. Suppose 7 = -g*u + v - 2*v, 0 = -2*u + v - 8. Sort f, 2, u.
u, f, 2
Let t be (10/6)/((-3)/9). Suppose -4*w - 3*p + 3 = -2, -3*w - 2*p + 3 = 0. Sort -3, w, t in ascending order.
t, -3, w
Let n = 7 - 3. Put -2/9, 1/2, n in descending order.
n, 1/2, -2/9
Let i = 1 - 2. Let t = 0 + i. Let l be (-4)/(-30) + (-38)/60. Put l, -4, t in decreasing order.
l, t, -4
Let g = -0.3 - 0.2. Let v be (-840)/18*(-3)/(-1). Let c be 1*5/(v/16). Put c, 4, g in ascending order.
c, g, 4
Let g be (1/(-6))/(10/(-20)). Sort g