 p - 0.16. Sort -1/3, d, x in decreasing order.
d, -1/3, x
Let g(c) = -c. Let w be g(-7). Suppose 3*x = 2*k + k + 33, -4*k = 0. Suppose -w - x = 3*p. Put -0.4, p, -2/19 in ascending order.
p, -0.4, -2/19
Suppose -3*x = -x - 4*a - 18, -3*x + a + 7 = 0. Let l = -3.05 + 0.05. Let y = 1 - l. Put x, 0, y in increasing order.
0, x, y
Let d = -1 - -2. Let h = 0.0698 + 0.1302. Put 0.4, h, d in increasing order.
h, 0.4, d
Let b be (2*2/14)/((-14)/21). Let a = -2.95 + 3. Put a, -1, b in decreasing order.
a, b, -1
Let b = -0.7 - 11.3. Let v = b + 15. Let a = -1.5 + 1. Sort v, a, -0.2 in ascending order.
a, -0.2, v
Let z = -8 + 5. Let w be -2 + 1 + 0 - 3. Sort z, w, 1 in increasing order.
w, z, 1
Let t = -119/3 - -39. Sort -3/2, 1/4, t in increasing order.
-3/2, t, 1/4
Let y = -151/195 - 1/39. Sort -5, 1, y in decreasing order.
1, y, -5
Let i = 0.3 - 0.1. Let c = 281/4 + -139/2. Sort c, i, -2 in increasing order.
-2, i, c
Suppose 0 = 3*j - j - 224. Let c be (-2)/9 + j/180. Sort c, 0.3, 5 in descending order.
5, c, 0.3
Let j = -5 + 8. Suppose 0 = 2*t - 14*t. Sort 5, t, j in ascending order.
t, j, 5
Let n = -7 + 3. Let f = -8987172305/2236 + 4019308. Let h = -3/172 + f. Sort h, n, -0.4 in ascending order.
n, -0.4, h
Let u be 1/(15/(-6))*-5. Let x = 4 - u. Let l = x + -1. Sort -3, 5, l in descending order.
5, l, -3
Suppose 12 = -0*n + 4*n. Let k be (9/15)/(3/(-15)). Let x = 1 + 4. Sort x, k, n.
k, n, x
Let z(u) = u. Let d be 1/(-2) + (-3)/2. Let c be z(d). Let o be 0 - (-1 + 5 + -1). Put -1, c, o in increasing order.
o, c, -1
Suppose 4*s = 104 + 40. Let i be (3/(-4))/(9/s). Sort i, 5, 3.
i, 3, 5
Let y = -13 - -9. Let f be (-9)/12 - 161/(-28). Let g(x) = -x - 1. Let r be g(1). Sort r, f, y in ascending order.
y, r, f
Let z = 1.3 + -0.3. Let o = -0.1 - -5.1. Let b = o - 8. Put b, z, -1/5 in ascending order.
b, -1/5, z
Let k = 1 + -3. Let f(s) = -s**2 + s + 1. Let t be f(3). Sort k, 0, t in descending order.
0, k, t
Let q be (-1)/(-4) - (-950)/40. Put -2, 4, q, 0 in decreasing order.
q, 4, 0, -2
Let b(d) = d**3 + 12*d**2 + 11*d + 1. Let n be b(-11). Let g(k) = k + 4. Let c be g(4). Let y = -12 + c. Sort 5, y, n.
y, n, 5
Let b(i) = i**2 + i. Let n be b(0). Suppose 4*k = 9 - 1. Suppose 4*q + 12 + 0 = -2*p, -q + k = -2*p. Put q, n, 4 in ascending order.
q, n, 4
Let a = 0.8 - 4.8. Let q = a + 2. Put -5, 2/13, q in descending order.
2/13, q, -5
Suppose -5*p + 20 = -4*b, -9 = 5*b - p + 16. Let t be (-8)/6*6/4. Put t, b, 4 in descending order.
4, t, b
Let s = -0.5 + -2.5. Let g = 2.6 + s. Suppose -2*c + 6 = w, -3*c - 4*w + 8 = -11. Put -0.3, c, g in ascending order.
g, -0.3, c
Let v = -1011/56 + 133/8. Sort 1, v, -5 in increasing order.
-5, v, 1
Let h = 4 - 2. Let b = 5 + -4. Sort b, h, 5.
b, h, 5
Let k = 8 + -3. Let r = 3 - 0. Suppose -5*h + 4*o = 0, -5*h - r*o = o - 40. Sort k, 0, h in decreasing order.
k, h, 0
Let q = 0.08 + -5.08. Let s = 0 + 0.2. Let v = -0.1 + s. Put v, -2/3, q in descending order.
v, -2/3, q
Let b = 0.054 - 0.054. Sort 1, -6, b in decreasing order.
1, b, -6
Suppose t - 2 = 1. Suppose t*v = -v. Suppose 2*j - 4*j = v. Sort 1, -1, j in descending order.
1, j, -1
Suppose 5*d = 5*a - 20, 4*d - a = -0*a - 28. Sort 3, d, -5.
d, -5, 3
Suppose -3*z + l - 6 = 0, 2*z + l - 1 = -0. Put 0, z, -9 in descending order.
0, z, -9
Let l = -6 + 12. Let b = -23/4 + l. Sort b, 1/7, -3.
-3, 1/7, b
Let y = 20.3 - 20. Sort -0.2, 0.4, y.
-0.2, y, 0.4
Suppose -8 = -5*d + d. Let c(w) = -w**3 - 6*w**2 + 6*w - 4. Let u be c(-7). Suppose 5*a = 2*i - 28, u*i + 24 = 7*i - 2*a. Sort d, i, -3.
-3, d, i
Suppose -u - 4 = -2. Let l be (-1 + 1)*1/u. Sort 3, 5, l in increasing order.
l, 3, 5
Let r(y) = y**3 + 3*y**2 - 2*y - 11. Let u be r(-3). Put 10, -0.1, -1, u in increasing order.
u, -1, -0.1, 10
Suppose 3*s + 3*a - 6 = 0, 0 = 8*s - 3*s - 4*a - 10. Put -2, 1, -5, s in descending order.
s, 1, -2, -5
Let i be (-1)/(2/3*(-9)/(-30)). Sort i, -1/21, 2.
i, -1/21, 2
Suppose -f = -3*f. Suppose -3*h - 1 = -10. Let t = -5 + 3. Put t, h, f in decreasing order.
h, f, t
Let o = -35 - -11. Let b be (-16)/o + 16/(-15). Sort 5, -2/3, b in ascending order.
-2/3, b, 5
Let u(p) be the first derivative of p**3/3 - p**2 - 4*p + 3. Let k be u(4). Sort -0.3, k, 2/11 in decreasing order.
k, 2/11, -0.3
Let b = 0.08 - 8.08. Let t = b + 7. Put 1/5, t, 3 in decreasing order.
3, 1/5, t
Let h = -175 + 178. Let o = -3.07 + 0.07. Sort h, o, 1/3 in descending order.
h, 1/3, o
Let u = 0.09 - -5.91. Let s = -6.5 + u. Sort 0, s, -0.4 in descending order.
0, -0.4, s
Let f = -11 + 19. Let v = f - 5. Put 0.1, -3, v in increasing order.
-3, 0.1, v
Let o = 3.8 + -4. Let v = -0.6 - -5.6. Let r = -0.1 + 0.1. Put o, r, v in descending order.
v, r, o
Let t = 11.8 + -8.8. Let j = -2 + 1.9. Put j, t, 0 in decreasing order.
t, 0, j
Let n = -25.06 + 25. Put -1/7, 1, n in decreasing order.
1, n, -1/7
Suppose -10*z + 14 = -16. Suppose 0 = -2*v + 1 + 7. Put z, v, -3 in decreasing order.
v, z, -3
Let b = 5.1 + -2.1. Let s = -0.029 - 2.071. Let g = s - -2. Sort -3, b, g in descending order.
b, g, -3
Let v = -26 + 24. Let f = v + -1. Sort -0.5, 2, f.
f, -0.5, 2
Suppose -3*w + 4*w - 1 = 0. Let d be w/(-1)*-2 - -2. Suppose d*p = -k - 11, -2*p + 0*p = 2*k + 10. Sort -1, p, 5 in decreasing order.
5, -1, p
Let f = 83 + -55. Let u = 82/3 - f. Let x = -3 - 1. Put u, x, 3 in decreasing order.
3, u, x
Suppose 0 = m - 3*m + 80. Suppose 5*x = 4*t - m, -t - 2*x = t - 2. Sort -2, 3, t in descending order.
t, 3, -2
Let x be (-4)/(-22) + (-150)/(-22). Suppose -4*o + 4*t + 12 = 0, 2*o + 3*o - t - x = 0. Put -5, o, 4 in descending order.
4, o, -5
Let i = 7 - 7.3. Sort 1/8, i, 0 in decreasing order.
1/8, 0, i
Suppose -12*m + 6*m - 30 = 0. Let y(w) = -w**3 - w**2 + w + 4. Let d be y(0). Suppose 0 = -2*c + d*c. Sort -2, m, c in descending order.
c, -2, m
Let k(m) = -m**2 + 4*m. Let b be k(5). Suppose -5*r + 6*r + 1 = 0. Put r, -12, b in descending order.
r, b, -12
Suppose 3*b + 9 = -2*z + 29, -4*z = -16. Let w = b - 7. Sort 4, 0, w in decreasing order.
4, 0, w
Suppose i - w = -5*w + 8, 0 = -4*i + 2*w + 14. Suppose 2*v - 1 = o + i*v, -5*o = 5*v - 10. Suppose -1 = 4*m - 5. Sort 2, m, o in ascending order.
m, 2, o
Suppose -4*t + 2*m = -16, 2*m + 14 - 4 = 2*t. Let h be (-1 + (1 - 2))*2. Suppose 0 = -2*k - 2*k - 2*l - 4, -4*l = 5*k + 2. Put h, t, k in decreasing order.
t, k, h
Let s = -8 - -6. Suppose p + 1 = -a, p = -2*a - 3*a + 7. Let u be -6*((-44)/12 + 3). Sort s, p, u in ascending order.
p, s, u
Let p(x) be the third derivative of -x**4/12 - x**2. Let j be p(-1). Sort j, -1, -5 in decreasing order.
j, -1, -5
Let h be (26/65)/(4/5). Put -1.4, h, 3/7 in decreasing order.
h, 3/7, -1.4
Suppose -3*n = -n + 2. Sort 5, -2, n in ascending order.
-2, n, 5
Let j = -3 - -7. Suppose 9*d + 0 = -45. Put 2, d, j in increasing order.
d, 2, j
Let u(i) = -i + 8. Let a be u(8). Let j be (-4)/(1 - (a + 2)). Put 0, j, -3 in descending order.
j, 0, -3
Suppose 2*n + 4*v - 4 = 0, 4*n + 5*v - 2 = -0*n. Let y be 20/(-6)*(-12)/10. Sort y, n, -3.
-3, n, y
Let u = 3.7 - -0.3. Let s = 1 - 1. Suppose 18*k - 27 = -9. Put s, u, k in descending order.
u, k, s
Let h(k) = -k + 2. Let p(n) = 1 - 4 + n + 2. Let q be p(1). Let l be h(q). Put 3, -3, l in descending order.
3, l, -3
Let b = -8 + 6. Let n(x) = x + 1. Let f be n(-2). Let j be 0/((f - -2)*-1). Sort j, b, 2.
b, j, 2
Let f = 4 + 0.5. Let w = f - -0.5. Let s = -1 - 3. Sort s, w, -0.1 in ascending order.
s, -0.1, w
Let c = 4.5 + -4. Suppose 0 = -5*d - 0*d - 10. Put d, -5, c in increasing order.
-5, d, c
Let s = 182 - 731/4. Put s, 0.4, 2/9, 0.3 in decreasing order.
0.4, 0.3, 2/9, s
Let x be 2*6*3/(-6). Suppose 5*i - 9 = 8*i. Let o = i - x. Sort 0, -4, o in ascending order.
-4, 0, o
Suppose -16*v + 6*v = -20. Sort 12, 4, v, 1 in descending order.
12, 4, v, 1
Let j be (2/(-95))/(1/(-15)). Let t = j - 37/57. Put 0.1, 2/7, t in descending order.
2/7, 0.1, t
Let j be (0 - -1)*(-2 + 2 + -2). Sort 2, j, 5, -5 in decreasing order.
5, 2, j, -5
Suppose -3*i + 9 - 3 = 0. Suppose 0 = -2*b + i*y + 12, -b - y - 7 = -3*b. Let r be 1*(b + (0 - -2)). Sort -2, r, 2.
-2, 2, r
Suppose 0*o - 18 = 6*o. Put 0, o, -5 in ascending order.
-5, o, 0
Let i be (-6)/(-21) + (-46)/14. Let p = -5 - -5. Let c be -1*(p - 4/(-2)). Sort c, -5, i in decreasing order.
