Let x = 17.2 - 17. Sort 5, 1/3, x, -2/9 in increasing order.
-2/9, x, 1/3, 5
Suppose s = -s + 40. Suppose 6*j + s = j. Sort j, 4, -3 in increasing order.
j, -3, 4
Suppose 5*f - 5*u + 30 = 5, -4*f + 4 = 2*u. Let o = 3 - f. Suppose -o*a = -2*a - 2. Put 4, -4, a in decreasing order.
4, a, -4
Let a = 0.52 + 2.58. Let o = a - 3. Suppose 0 = 3*v + 15. Sort -3, v, o in increasing order.
v, -3, o
Suppose 8*x = -0*x + 32. Sort 0, -1, x.
-1, 0, x
Let s(a) = -a**2 - 13*a. Let w be s(-13). Sort 3, -4, w in descending order.
3, w, -4
Let s = 5.0176 + 0.0724. Let x = -6 + 5.91. Let y = s + x. Put -2/13, 0, y in descending order.
y, 0, -2/13
Let o(i) = -i**2 - 7*i - 10. Let c be o(-6). Sort -3, 5, c, 2 in increasing order.
c, -3, 2, 5
Let s = 108 - 108. Put s, 2/9, 3/8 in increasing order.
s, 2/9, 3/8
Let i = -22 + 21.6. Sort -3, -0.07, i.
-3, i, -0.07
Let i = 11 - 7. Let q(a) = -a**3 + 3*a**2 + 3*a - 1. Let v be q(4). Sort 2, v, i in descending order.
i, 2, v
Let z(b) = -b - 5. Let g be z(-5). Suppose -4*w - 6 - 2 = g. Let i be -5*(0 + 0 + -1). Put 2, i, w in increasing order.
w, 2, i
Suppose f + 0 = -1. Let b = -7 - -12. Suppose -2*a + 2*d + b = -d, -14 = -3*a - 2*d. Put a, f, -3 in increasing order.
-3, f, a
Let g be (-1)/3 - (-48)/9. Let i be ((-10)/g)/((-4)/6). Let j = i - -1. Sort j, -2, -5 in descending order.
j, -2, -5
Suppose -16 = 4*q - 0*q. Let t(j) be the first derivative of j**3/3 - 5*j**2/2 - 7*j - 2. Let b be t(6). Sort q, -5, b in increasing order.
-5, q, b
Let s be -3 + 2 + 1 + 0. Suppose 4*k - 5*b = s, 0*k = -4*k - b. Sort k, -0.3, 1/3 in descending order.
1/3, k, -0.3
Suppose -3*w + 5*v = -7, 2*w - 6*v = -3*v + 5. Sort -5, -12, w in descending order.
w, -5, -12
Let f be (-2)/2 - (-2 - 0). Let k = -14 - -10. Put -5, k, f in decreasing order.
f, k, -5
Let o be 1*(0 + 3)*-1. Put -7, -0.1, o in decreasing order.
-0.1, o, -7
Let u be 3 - 4/(-8)*8. Sort 5, 4, u.
4, 5, u
Let k = -0.31 - -0.01. Put k, 3, -1 in increasing order.
-1, k, 3
Let r = -33.01 + 33. Put r, 0.2, 0.5 in ascending order.
r, 0.2, 0.5
Let f(n) = -3*n**2. Let p be f(-1). Let a(o) = -o**3 - 6*o**2 + 2*o + 8. Let y be a(-6). Sort 2, y, p in ascending order.
y, p, 2
Suppose -13*g = -4*g + 9. Suppose -2 - 16 = 3*v. Let i be v/(-27) + 32/18. Put 4, g, i in increasing order.
g, i, 4
Let a be (8/(-4) + 3)*1. Let z be ((-35)/(-63))/((-3)/(-9)). Put z, a, 0.5 in descending order.
z, a, 0.5
Suppose 0 = 3*i - 0*i + 4*b + 5, 4*b + 11 = -5*i. Suppose 2*x + d + 0 - 13 = 0, -3*d = -3*x + 33. Suppose -x = 4*g - 0. Put -4, g, i in descending order.
g, i, -4
Let w = -6 - -10. Suppose -5*o = 4*r + 7 - 93, 0 = -r + 4. Let u be -2 - (-1 + (-18)/o). Sort -3, u, w in ascending order.
-3, u, w
Let d = 0 + 0.5. Sort d, 2/15, 6 in ascending order.
2/15, d, 6
Let k(f) = 2*f**2 + f - 1. Let w = -12 + 10. Let j be k(w). Sort j, -5, -7 in decreasing order.
j, -5, -7
Let m = -9.1 - -1.1. Let h = 8.3 + m. Let s = -0.1 + h. Sort 5, 4, s in decreasing order.
5, 4, s
Suppose 4*u + 27 = 5*b, -3*b - 4*u = -0*b - 29. Suppose -2*x = 11 - b. Put 5, x, 4 in decreasing order.
5, 4, x
Let u = 30 + -35. Let k be 0*2/(2*-1). Put u, k, 4 in decreasing order.
4, k, u
Let t(a) = 2*a - 6. Let r be t(4). Let y(h) = -h**2 + 3*h + 3. Let i be y(3). Let c = -8 + 13. Put i, r, c in increasing order.
r, i, c
Let a = 82 - 75. Put 4/9, a, 12 in decreasing order.
12, a, 4/9
Let n = -56098 - -842026/15. Let i = n + -113/3. Let c = 0 - 0.2. Put i, 0.4, c in decreasing order.
0.4, c, i
Let b be (-4 - (-168)/45)*3. Put b, -2, 1 in descending order.
1, b, -2
Let u = 5 + -5. Suppose u = j + j. Suppose d - 3*d = j. Sort 3, -1/9, d.
-1/9, d, 3
Suppose -4*m - 12 + 0 = 0. Put 3, -11, m, -4 in increasing order.
-11, -4, m, 3
Let y(f) = f**2 - 8*f - 8. Let s be y(9). Suppose 10*w - 5*w = 10. Let l = 2 + w. Put s, -4, l in descending order.
l, s, -4
Suppose 3*f + 26 = -4*v, 0 = -2*f + v - 0 + 1. Sort -10, 4, f in increasing order.
-10, f, 4
Let q(o) = -o**3 - o**2 + o - 4. Let l(y) = -y**3 - 2*y**2 + 2*y - 4. Let d(f) = 4*l(f) - 3*q(f). Let m be d(-6). Put m, 0, 4 in increasing order.
0, m, 4
Let t(r) = r**3 - 2*r**2 + r. Let b be t(1). Put -1, b, 3 in increasing order.
-1, b, 3
Let u = 3 - 3. Let t = -0.2 + u. Let r = 0.1 + t. Sort 4, r, 1.
r, 1, 4
Let r be (2 - 2)/((-1)/(-1)). Suppose r*s = 4*s + 2*k - 20, -5*k = 3*s - 15. Sort 2, -2, s in descending order.
s, 2, -2
Let q = -212 + 204. Sort -5, 8, q in decreasing order.
8, -5, q
Let l(q) = q**3 - 5*q**2 - 5*q - 3. Let b be l(6). Let d be 34/7 + b/21. Put 1, d, -3 in descending order.
d, 1, -3
Suppose 4*v + 3*x = v + 18, 0 = v - 3*x + 6. Sort -3, v, -5 in descending order.
v, -3, -5
Let q = -3 - -14. Suppose -12 = 4*a + 4*x, 6*a = a - x - q. Sort 8, a, -5.
-5, a, 8
Let l = -8.93 + -0.67. Let a = -10 - l. Sort -4, a, -1 in ascending order.
-4, -1, a
Let c(k) = 2*k**3 - 4*k**2 - 3. Let y be c(3). Let a be (-2)/(-10) - (-42)/y. Suppose 5*g - 13 = 7. Sort g, a, 1.
1, a, g
Suppose -p - 10 = -12. Sort 3, p, -3 in descending order.
3, p, -3
Let g = 3.7 + -1.7. Sort 0.2, 1, g in increasing order.
0.2, 1, g
Let a(k) = -k + 9. Let y be a(7). Suppose -y*j + 0*j = -4. Put j, 3, 5 in ascending order.
j, 3, 5
Let x = 115 - 116. Let j be (6/8)/(1/4). Sort x, 2, j in decreasing order.
j, 2, x
Let g be ((-1)/(-2))/((-2)/(-16)). Let x be -1*-3*(-2)/12. Sort g, -1, x in decreasing order.
g, x, -1
Suppose 0 = 3*t + p - 29, 0 = -2*t - 3*t + 4*p + 54. Let b be t/(-14) + (-6)/21. Put 2, -0.3, b in decreasing order.
2, -0.3, b
Let h(n) = n**2 - 11*n + 5. Let q be h(11). Let a be (-2)/3*2*-9. Let g be (16/a)/(2/6). Put q, g, -5 in ascending order.
-5, g, q
Let p = -103 - -108. Sort p, 0, -1/7 in descending order.
p, 0, -1/7
Let b be (9/144)/((-1)/2). Put 4, b, 0 in increasing order.
b, 0, 4
Let v(h) = -2*h**3 - h**3 + 2*h**3 - 7*h + 8*h**2. Let u be v(7). Put 3, -5, u in increasing order.
-5, u, 3
Let v(p) = -p**2 - 6*p - 7. Let o be v(-5). Let y be ((3 - o)*1)/(-1). Suppose 0 = 2*h, 0 = -5*t - 2*h - 0*h + 5. Sort -0.4, t, y in ascending order.
y, -0.4, t
Let k = -2.4 - -7.4. Sort 0.2, 0.1, -4, k in ascending order.
-4, 0.1, 0.2, k
Suppose -2*r + 4*q + 146 = 20, -r + 54 = -5*q. Let d = -761/11 + r. Put d, -1/8, -5 in decreasing order.
-1/8, d, -5
Let s be ((-6)/(-12))/((-420953)/(-4)). Let m = s - -24414860/87137271. Let r = m + -4/69. Sort -3, 0, r in ascending order.
-3, 0, r
Suppose 4*m = -32 + 8. Sort 0, -2, m.
m, -2, 0
Suppose -4*j = 4*n, 3*j = -5*n - 1 - 1. Sort 11, j, -2 in decreasing order.
11, j, -2
Let w = -504.4 + 504. Let t = -1 - -3. Sort w, t, -4/3 in descending order.
t, w, -4/3
Let z(u) = -2*u**3 + 4*u**2 - 2*u. Let s = 2 - 0. Let k be z(s). Suppose 5*n + 5*i - 14 = 1, 13 = 5*n + 3*i. Put n, k, 1 in increasing order.
k, 1, n
Let y = 3.2 - -1.8. Put y, 4/5, 4 in decreasing order.
y, 4, 4/5
Let l be (-30)/10*1/7. Let p be (-4)/(-18) - (-7)/63. Sort l, p, 2/7 in descending order.
p, 2/7, l
Suppose 3*w = 2*f + 7 - 2, w - 2*f = -1. Let u(y) = 3*y**2 + 16*y - 7. Let a be u(-6). Sort w, a, -3 in increasing order.
-3, w, a
Let s be 1/(-3) - (-1)/3. Suppose -2*x + s*x = 0. Sort x, -4, 1 in increasing order.
-4, x, 1
Let p be -5*3/(2 + -5). Suppose -5*c = -g + 3*g - 22, p*g - 25 = -5*c. Let x be 2*3/15*g. Sort x, 2, 1 in decreasing order.
2, 1, x
Let d(c) = c + 1. Let v be d(4). Suppose 4*b + v*q = 4, 4*q = 3*b + 2*b - 46. Let l be 16/(-6)*9/b. Sort -5, 2, l in ascending order.
-5, l, 2
Let v = -4.4 + 5.4. Let h be 5/6 - (-4)/(-6). Sort h, 0, v in ascending order.
0, h, v
Let k be 3*1*(-4)/6. Put k, 0, 2 in decreasing order.
2, 0, k
Suppose a + 13 + 10 = -4*t, -2*t - 1 = -3*a. Sort 1, 2, t in increasing order.
t, 1, 2
Let a be 1*-5*(-2)/55. Let c = -555/2 - -278. Sort -3, a, c in decreasing order.
c, a, -3
Let u = 5 - 12. Let f = u + 11. Sort 0.3, 1, f.
0.3, 1, f
Suppose 0 = -4*a + 2*b + 8 + 2, -4*a = -4*b - 4. Put a, -3, -4 in increasing order.
-4, -3, a
Let y(v) = -3*v - 34. Let p be y(-13). Sort p, -3, 2.
-3, 2, p
Let p be 2/7 - (-115)/(-35). Put p, -10, 3, 0 in descending order.
3, 0, p, -10
Let t = -0.2 + 0.7. Sort t, -2/3, -30 in increasing order.
-30, -2/3, t
Let q be 12/(-10)*(250/15)/5. Sort 4, 2, 3, q in decreasing order.
4, 3, 2, q
Let z be (-188)/6 - (-6)/(-9). Let w be (z/(-24))/((-4)/6). Suppose -