2*s - 5*z + 15. Suppose -s*h + 13 = 3*d, 3*d + 0*h + h = 5. Put d, 5, 4 in descending order.
5, 4, d
Suppose 5*y = -5*v + 25, -5*y + 7*y = -3*v + 13. Let k = -2 + 0. Let j(t) = 3*t + 1. Let f be j(k). Put f, y, 1 in descending order.
y, 1, f
Let v(l) = -l**2 + 2*l. Let t be v(2). Suppose -5*f + 2 - 7 = t. Sort -1/3, f, -2 in descending order.
-1/3, f, -2
Let u(k) = -k**2 - 7*k - 6. Let m be u(-6). Suppose m = 3*d - 6*d - h - 11, 9 = -5*d - 4*h. Put -3, d, 3 in decreasing order.
3, -3, d
Let b = 0.8 + -1.2. Put 4/3, b, 3 in descending order.
3, 4/3, b
Let g = 13 + -8. Suppose -2*x = 4*n + 28, -x + 2 - 28 = 5*n. Let u(r) = -r**3 - 7*r**2 - 7*r - 2. Let o be u(x). Sort o, g, -5 in increasing order.
-5, o, g
Suppose 0 = -4*v + 12. Let h(w) = -3*w + 6. Let o be h(v). Put -2, o, -12 in decreasing order.
-2, o, -12
Let a = 10 - 15. Put a, 2, 7 in decreasing order.
7, 2, a
Let d(k) = k + 2. Let o be d(3). Let y(a) = -a**3 - 5*a**2 - 2*a + 3. Let h be y(-4). Sort -2, o, h in decreasing order.
o, -2, h
Suppose 2*r + 13 = 6*r - 3*h, 8 = 3*r - 4*h. Let f = 16 + r. Suppose -m + f = -5*m. Put 5, m, -2 in descending order.
5, -2, m
Let o be ((-1)/(-2))/(14/(-28)). Put -5, o, -3 in descending order.
o, -3, -5
Let g(y) = -3*y - 23. Let l be g(-7). Sort -4, 0, l.
-4, l, 0
Suppose 4*f = -2*t + 3*f + 6, 15 = 5*t - f. Let l = -3 - 1. Let i = l + t. Put i, 4, 5 in descending order.
5, 4, i
Let o = -13 - -93/7. Put -2, 0.1, o in ascending order.
-2, 0.1, o
Let l(b) = -b**3 + 8*b**2 - 6*b + 6. Let o be l(7). Suppose 7 = -5*x - o. Let w = -3 - -2.9. Sort w, -0.3, x in decreasing order.
w, -0.3, x
Let q(o) = o**2 + 7*o + 8. Let x be q(-6). Let g = 22 + -25. Put 4, g, x in ascending order.
g, x, 4
Let t = 8 + -1. Suppose 8*d - 3*r - 10 = 3*d, d - 2 = 2*r. Let l = t - d. Sort -2, l, 3 in decreasing order.
l, 3, -2
Let d(u) = 4*u - 2. Let m be d(2). Suppose -m*b = -2*b. Sort 3, 5, b.
b, 3, 5
Let k = 6.93 + -7. Let n = k - -5.07. Let h = 1/34 - -25/306. Put h, -3/2, n in increasing order.
-3/2, h, n
Let l = 0.1 - -0.1. Let q = -3 + 1. Let u be 0 + (0 - q/12). Put l, 0, u in ascending order.
0, u, l
Let u = -1.2 + 1. Sort u, 0, -5 in increasing order.
-5, u, 0
Suppose 3*h - 5 = -2. Let g = 114 - 115. Suppose -a + 0 - 3 = 0. Sort g, h, a in descending order.
h, g, a
Let u be 1 - (-9)/(-6) - 10/12. Sort 3, u, 21 in increasing order.
u, 3, 21
Suppose 5*l + s = 19, -8*l + 21 = -3*l - s. Let h = 2 - l. Let g = -2 - -3. Put h, g, -1 in descending order.
g, -1, h
Suppose -2*t - t = 135. Let y be ((-1)/10)/(18/t). Put -2/5, y, 0.1 in descending order.
y, 0.1, -2/5
Let k = 61 - 60. Sort k, -2/3, 4, -0.3 in increasing order.
-2/3, -0.3, k, 4
Suppose -3*c + 7 + 6 = k, 16 = 5*c - 4*k. Suppose c*y - 3*y + 5*t = 11, 2*t - 3 = y. Sort 5, 2, y in descending order.
5, 2, y
Suppose 0 = -a + 5 - 0. Suppose 12 = -a*d + 2. Let b be (-6)/(-8)*d/(-6). Put 4/7, 4, b in descending order.
4, 4/7, b
Let h = 2 + -3. Let m = 6747/17 - 397. Put 2, m, h in increasing order.
h, m, 2
Let i be -2*1 + -1 + -2 + 0. Let n be 33/6 + 2/4. Sort 3, i, n in descending order.
n, 3, i
Suppose -4*x + 6*x = 0. Suppose x = k + 5*d + 21, 24 = -2*k - 2*k - 5*d. Sort 0, -2, k.
-2, k, 0
Let n be 2*1*(-27)/18. Let p(i) = i**2 - i - 2. Let k be p(-2). Sort 3, n, k in decreasing order.
k, 3, n
Suppose -q - 5*w + 18 = -2*q, -4*q - 4*w = -24. Let a be (6/4)/(q/(-4)). Put -2, a, 0 in descending order.
0, -2, a
Let r be ((-4)/(-10))/(69/(-115)). Sort -0.4, -4, r in ascending order.
-4, r, -0.4
Suppose 0 = n - 3*d - 4 + 1, -5*n - 5*d - 85 = 0. Sort n, -5, -4.
n, -5, -4
Suppose -3*p = -4*p + 3. Suppose -3*d - 4*b = -10, p*d + 3*b - 1 = 4*d. Suppose h - 4 = 3*l, l - d*l - 5*h + 20 = 0. Sort -3/2, -3, l.
-3, -3/2, l
Let q = 2 - 4. Let d = -2 - q. Sort 0.5, d, 1/6 in decreasing order.
0.5, 1/6, d
Let q be (-1)/(-3 + 4)*0. Suppose -3*n + x + 4 = q, 0 = -4*n + 5*n + 3*x - 18. Sort -1, -4, n in increasing order.
-4, -1, n
Let c = -16589 + 116334/7. Let p = c - 26755/889. Let v = p + -671/762. Put v, -0.3, 3 in descending order.
3, -0.3, v
Let b = 28 + -30.3. Let g = b - 0. Let d = -2 - g. Sort 0.5, d, -4 in ascending order.
-4, d, 0.5
Let h = 36 - 51. Let r = 9 + h. Put r, -1, 3 in ascending order.
r, -1, 3
Let k(q) = q**3 + q. Let l be k(2). Let c be (-39)/52 - l/8. Sort c, 1/6, 0.09 in decreasing order.
1/6, 0.09, c
Let z = 9.9 + -10. Let p = -0.5 - z. Let u = 1.98 - -0.02. Sort p, -3/4, u in decreasing order.
u, p, -3/4
Suppose 5*c + 7 = -3. Let w be 4 + (0 - (0 + c)). Let a = -3 + w. Sort -2/3, 0.4, a in decreasing order.
a, 0.4, -2/3
Suppose -2*s + 0*i = -4*i + 2, -2*s - 2 = 2*i. Let d = -13 + 9. Sort d, -3, s in increasing order.
d, -3, s
Let m = 2 - -14. Let q = -12 + m. Let r be (-1*(-1 - 0))/(-1). Put r, 5, q in ascending order.
r, q, 5
Let k be 6/(-4) - (-25)/10. Sort 4, 6, k in ascending order.
k, 4, 6
Let w = -23 + 33. Suppose 5*p = -2*i + 4, 4*i = -i + 5*p + w. Let c(v) = 2*v**2 - 4*v + 2. Let t be c(i). Sort t, 3, -3 in descending order.
3, t, -3
Let z = 1.4 + -0.8. Let k = -370/3 - -124. Sort z, 2, k in increasing order.
z, k, 2
Let z = 0 + -2. Let v = 0.0215 + 4.9785. Let h = 6 - 3. Put h, v, z in decreasing order.
v, h, z
Let f = 7.13 - 0.13. Let i = f - 4. Sort -2, i, -0.1.
-2, -0.1, i
Suppose -6*p - 6 = 6. Let h = 0.12 - -4.88. Sort 0.3, p, h.
p, 0.3, h
Let h = 221/9 - 224/9. Suppose 3*p = -2*p + 3*t - 19, 10 = -2*p + 2*t. Sort p, -1/8, h in decreasing order.
-1/8, h, p
Let l be ((-7)/(-35))/(3/(-5)). Sort l, 0.1, 5, -1/2 in decreasing order.
5, 0.1, l, -1/2
Let i be (-3)/(-5)*(-6)/9. Put 1/6, i, 4 in decreasing order.
4, 1/6, i
Let j = -102/35 + 16/5. Put 1, j, 0.1 in descending order.
1, j, 0.1
Suppose 3*t = -0*t - 6. Let s = 4.8 + -5. Sort s, -3, t in descending order.
s, t, -3
Let t = -1687765/557153064 - 52/49149. Let d = t - -7/312. Let a = -101/436 - d. Sort -1/2, 5, a.
-1/2, a, 5
Let y(a) be the third derivative of -a**5/60 - a**4/4 + 2*a**2. Let v be y(-6). Suppose 2*p = -k + 1 + 3, -k - 5*p = -7. Sort v, k, -2 in increasing order.
-2, v, k
Let i(t) = t**3 + 4*t**2 + 4*t + 3. Let d be i(-2). Let c = -1.046 + 0.046. Put d, c, -0.4 in ascending order.
c, -0.4, d
Let b(r) = r**3 + 3*r**2 + 2*r + 1. Let m be b(-3). Let p = -2 + 1. Put 2, p, m in decreasing order.
2, p, m
Suppose -5*i = -i + 12. Let u = 1.8 - -0.2. Let l = -3 - u. Put -2, l, i in descending order.
-2, i, l
Let q(v) = -2*v**3 + 7*v**2 + 4*v - 10. Let u be q(4). Put u, 0, -3 in ascending order.
u, -3, 0
Let v = -31 - -31.1. Sort -0.09, -0.3, v in decreasing order.
v, -0.09, -0.3
Let c = 65 - 64. Sort -0.1, 0.8, c in descending order.
c, 0.8, -0.1
Suppose 1 = -2*x - 5*p, 0*x + 4*p = -x - 5. Suppose -c = -0*c. Sort x, c, 5.
c, 5, x
Let m be 168/(-60) + (-1)/5. Let q be (2 + 0 - 2) + 2. Sort 0, m, q.
m, 0, q
Suppose 4*m = -8 + 28. Let x be (2 - 3)*1*m. Put 6, 4, x in descending order.
6, 4, x
Let i(b) = -11*b - 2 + 13*b + 1. Let u be i(-2). Put 3, u, 0 in decreasing order.
3, 0, u
Let q = -20 + 15. Put 0, q, 1 in ascending order.
q, 0, 1
Let l = 37 - 35. Sort l, -4, 0.11.
-4, 0.11, l
Suppose -4*r + 1 = -5*m - 65, 5*m + 46 = -r. Let z be 54/m - (-2)/5. Let a(c) = c + 6. Let p be a(-4). Put p, z, 0 in ascending order.
z, 0, p
Let f = 7 - 4. Suppose 4*b + 8 = -4. Sort 5, b, f in ascending order.
b, f, 5
Suppose -7 = -6*v + 23. Put -2, 1, v in decreasing order.
v, 1, -2
Suppose -4*u - 5*f - 4 = 0, 2*u = -2*f + 3 - 5. Put -4, u, -6 in decreasing order.
u, -4, -6
Suppose 3*m - 1 = 11. Suppose m - 1 = 3*k. Put 2, k, -2 in decreasing order.
2, k, -2
Let i be 9/60 + 1/4. Let h = -3.9 + 4.96. Let l = h + -0.06. Put 2, i, l in descending order.
2, l, i
Let w(i) = i**3 + i**2 - 3*i**2 - 2*i**2 + 5 - 2. Let a be w(4). Let q = 11 + -6. Sort q, a, -0.3 in decreasing order.
q, a, -0.3
Let l = -6 - -8. Let i = l + -1. Let q(x) = -x**2 - 5*x - 3. Let b be q(-3). Put i, b, -3 in ascending order.
-3, i, b
Suppose 0*u = u - 2. Let t be (u/2 - 1)*1. Let w = 15 - 16. Put -5, w, t in descending order.
t, w, -5
Let l be 1 + (2 - 1)/1. Let r be (l/1 + -2)/2. Suppose r = i + 2 - 3. Sort 0, -4, i.
-4, 0, i
Let n = 34 - 31. Put 5, 1, n in descending order.
5, n, 1
Let p = -46.42 - -46. Let c = p + -0.08. Let t = 0.1 + -1.1. Sort c, 1/5, t in increasing order.
t, c, 1/5
Let s be