. Sort 4, u, p in decreasing order.
4, u, p
Let s(r) = r**3 - 4*r**2 + 4*r - 4. Let i be s(3). Suppose -2 = 13*p + 24. Sort p, 2, i.
p, i, 2
Let n(f) = f**2 + 1. Let t be n(-1). Let c = -60 + 59. Put 3, t, c in decreasing order.
3, t, c
Suppose 4*o = 24 - 8. Sort -3, o, 2, 0 in descending order.
o, 2, 0, -3
Let z = 205 - 1843/9. Sort z, 2.1, 2/17.
2/17, z, 2.1
Let a = 17 + -16. Let n(p) = p + 2. Let h be n(-2). Let b be ((-2)/(-1))/(h + a). Put -4, b, 0 in increasing order.
-4, 0, b
Suppose 0 = 3*s + 2*y + 37, 0 = 4*s - 4*y + 5 + 31. Put s, 2, -3 in descending order.
2, -3, s
Let s = 10 + -7. Let p = -2.5 + s. Let t = 0.19 - 0.19. Put t, p, -4 in descending order.
p, t, -4
Suppose -6 = -4*k + 6. Suppose 0 = g + 2, -11 = 2*v + k*g + 3. Let d = 9 - 5. Put d, v, 3 in decreasing order.
d, 3, v
Let o = 13 + -7. Let k = 3 - 3. Suppose 4 = 2*c - 4. Sort o, c, k in descending order.
o, c, k
Suppose 4*h = h - 12. Let b be (-4)/(-18) - 325/45. Let a(g) = g**3 + 6*g**2 - 8*g - 3. Let d be a(b). Sort d, h, -5.
-5, h, d
Let w = 0.8 + -0.1. Let c = w + -0.8. Sort c, -2/5, -4 in decreasing order.
c, -2/5, -4
Let v be (5/(-1))/(30/(-12)). Put 5, 1, v in ascending order.
1, v, 5
Let p = 74487/41 + -1817. Let s = p + 168/1025. Sort s, 0.1, -0.1 in increasing order.
-0.1, s, 0.1
Suppose 22 - 94 = 4*f. Let d be (-6)/4 - (-9)/f. Let q be 14/10 + d + 0. Sort -3, -4, q.
-4, -3, q
Let o = 0 - 0.1. Suppose 0 = u - r - 168, 567 + 130 = 4*u + r. Let l = 3289/19 - u. Sort l, -2, o in decreasing order.
l, o, -2
Suppose 5*r - 73 + 98 = 0. Sort 2, 1, -3, r in decreasing order.
2, 1, -3, r
Let s = 8 - 9. Let f = 1 - -2. Put s, -2/13, f in descending order.
f, -2/13, s
Let n be 2/(-5) + (-46)/(-40). Suppose -4*h + d - 16 = 0, -4*h + 2 - 26 = -3*d. Put n, h, -1 in descending order.
n, -1, h
Let i = -4.042 - -0.042. Put i, 3/4, 12/7 in ascending order.
i, 3/4, 12/7
Let j = -1.2 + 1. Let a = 0.22 + 0.18. Let l(n) = -n. Let d be l(1). Sort j, a, d in decreasing order.
a, j, d
Let g = -3 - -3.2. Let y = -0.3 - g. Let r be ((-3)/(-2))/(6/(-8)). Put y, r, -2/7 in ascending order.
r, y, -2/7
Let k be (-1 - -1 - 4) + 1. Let n = 10/3 + k. Sort -5, n, 2 in increasing order.
-5, n, 2
Let v be -1 + 3 - (-5 - 3). Let g = -15 + v. Put 1, -4, g in descending order.
1, -4, g
Let k = -0.03 + 2.03. Sort k, 5, 1/5 in decreasing order.
5, k, 1/5
Let f be ((-5)/(-1))/(2 - 1). Suppose -3*o = 5*w - 8, -f - 7 = 5*o + 2*w. Let j = 14 - 19. Put j, 2, o in descending order.
2, o, j
Let z = -121.1 - -121. Let h = 10 + -14. Put z, 8, h in increasing order.
h, z, 8
Let a = 22 - 24. Put 5, a, 2, -1 in increasing order.
a, -1, 2, 5
Suppose -3*j + 5 = 2*j. Let z = -4 + j. Let t(r) = r**3 + 3*r**2 + r + 4. Let b be t(z). Put -3, 3, b in descending order.
3, b, -3
Let u = -0.02 - -0.32. Let b(k) = k + 2. Let g = -4 - 2. Let p be b(g). Sort p, u, 2/11.
p, 2/11, u
Let b be (14 + 1)*(-2)/(-6). Sort b, 2, 4.
2, 4, b
Suppose -6 = 5*d + 4. Let k = -2.1 + 2. Sort d, 0.3, k in decreasing order.
0.3, k, d
Suppose z + z - 2*j - 18 = 0, 0 = 3*z + 5*j - 3. Suppose 0 = 2*a - 4*g + z, 0 = 2*a + 2*g - 0*g. Put 0, a, -3 in descending order.
0, a, -3
Suppose -3*x = -x - 10. Put 6, x, 4, -3 in ascending order.
-3, 4, x, 6
Let x(c) = 4*c - 2. Let l be x(5). Let b be l/45 + 6/(-40). Let f(d) = d**3 + 2*d**2 - 3*d + 3. Let g be f(-3). Put b, -0.4, g in increasing order.
-0.4, b, g
Let y = 11 - 10. Let x = -6 + y. Put -3, -1, x in increasing order.
x, -3, -1
Let c = 0.2 - 0.5. Let n be -2 + (0 + -5)*-1. Sort n, c, 5 in descending order.
5, n, c
Let g(r) = -3*r - 1. Let t be g(-2). Suppose 3*i - t*z = -1, -i + 5*z = i + 4. Sort 0, i, -1 in decreasing order.
i, 0, -1
Let d = 25.092 - 0.292. Let g = d - 25. Sort -2/7, g, -4.
-4, -2/7, g
Let w = 1 - -9. Sort -4, w, 5 in decreasing order.
w, 5, -4
Let n = 1.47 - 0.17. Let x = n + 3.7. Let w be ((-2)/(-4))/(6/(-4)). Sort w, -4, x in increasing order.
-4, w, x
Let t be -1*5*(-12)/15. Let z be (t/(-10))/((-1)/10). Suppose -3*b - 3 = -4*b. Put b, -5, z in descending order.
z, b, -5
Suppose -n + 29 = -h - 4*h, -2*n = h - 3. Sort 5, 1/5, n, 0.11 in descending order.
5, n, 1/5, 0.11
Let n = 0.18 + -0.08. Put n, -2/3, -5/6 in ascending order.
-5/6, -2/3, n
Suppose -2*c + 6*c = 0. Let l be 2 + ((-72)/39 - c). Sort -2, -3, l in descending order.
l, -2, -3
Let c = -19.1 - -19. Let h = -2 + 2.5. Put h, 0, c in decreasing order.
h, 0, c
Let m = 0.3 + -0.2. Let g = -2.2 + 0.2. Sort m, g, 0 in ascending order.
g, 0, m
Let p be 1/2*2/(-6). Let g = -9.93 + 9.4. Let o = -0.03 - g. Put o, -1/4, p in increasing order.
-1/4, p, o
Suppose -23 = -5*o - 4*p, 0 = 5*o - 3*p + 1 - 10. Suppose -5*f = 3*t - 30, -2*t = -f + o*t - 22. Put 0.2, -3, f in descending order.
f, 0.2, -3
Let k = 32 + -25. Suppose 2*g = k*g + 25. Let i = -3 - -2. Sort i, g, 3 in decreasing order.
3, i, g
Suppose -13*h - 12 = 53. Suppose c + 3*c = -4. Sort c, h, 3 in decreasing order.
3, c, h
Let c be ((-2)/(-10))/(-7*4/(-140)). Put 4, c, 5, 0.02 in descending order.
5, 4, c, 0.02
Let m be 49/28 - 2/(-8). Suppose 4*o + o = -10. Put o, 0, m in increasing order.
o, 0, m
Let u = 25.9 + -26. Put u, 2, 9 in decreasing order.
9, 2, u
Let z be (-4)/(-10) + (-210)/25. Let a = 9 + z. Sort 0.2, 3, a in increasing order.
0.2, a, 3
Let y be (-3 - (-15)/6)*(-5 - -3). Suppose -28 = 3*x - 7. Put -4, y, x in decreasing order.
y, -4, x
Let b(r) = -r + 5. Let s be b(4). Put 4, -1, 6, s in increasing order.
-1, s, 4, 6
Let a be (2/4*0)/1. Suppose -5*z + a*z - 15 = 0. Sort z, 3, 5 in ascending order.
z, 3, 5
Let f be (-210)/(-18) + (-2)/3. Suppose 3*y - 2 = -f. Put -5, y, 2 in decreasing order.
2, y, -5
Let i = 3.8 + -4. Let p be (-15)/18*15/(-50). Sort p, i, 3 in descending order.
3, p, i
Let m be 0 + 2 + 0 - 1. Let h(w) be the first derivative of -w**2/2 - 12*w - 4. Let b be h(-7). Sort b, m, -2.
b, -2, m
Let g be -6 + 7 - 22/12. Sort 2, g, 1/4.
g, 1/4, 2
Suppose -3*y = 5*h - 2 + 5, -4*h + 3*y + 3 = 0. Let o = 5 + h. Suppose 2*i = -d + 2 + 4, -d - 3*i + 10 = 0. Put d, -3, o in decreasing order.
o, d, -3
Let c be (2 - 3) + (-1)/(-3). Let f = 0.15 + -1.25. Let u = f + 0.8. Put c, 2/15, u in descending order.
2/15, u, c
Suppose 7 = -a + 2. Let z be ((-2)/(-8) - 1/(-4))*-2. Sort a, 1, z in increasing order.
a, z, 1
Let v be (8/(-14))/(4/(-14)). Suppose 3*l = h, 0*l - v*l + 4 = 0. Suppose -4 = 2*r + h. Sort -3, 5, r in decreasing order.
5, -3, r
Let o be 7*(56/(-32) - 6/(-8)). Sort 1, 0, o in decreasing order.
1, 0, o
Suppose -3*k = -5 - 1. Suppose 0 = -3*h - c + 14, 2*h - 4 = -0*h + k*c. Suppose 28 = -7*r + 3*r - 4*z, -r - 16 = h*z. Sort r, -0.5, 2/7.
r, -0.5, 2/7
Let z = -13 + 22. Let q be (6/z)/((-4)/(-6)). Put 3, q, -5 in increasing order.
-5, q, 3
Let q = -4 - 0. Suppose -4*t + 12 = w, w - 3 = -3*w - t. Sort q, w, -4/5 in decreasing order.
w, -4/5, q
Suppose 12 = -4*t + 32. Let s(j) = j**2 - j + 3. Let v be s(3). Suppose 0 = -0*g - 3*g - v. Sort -1, g, t in ascending order.
g, -1, t
Let c = 50 + -56. Sort -0.4, -4, c in descending order.
-0.4, -4, c
Let l = 1 - 0.5. Let k = -33 + 32.7. Put l, -3, k in decreasing order.
l, k, -3
Let u be (-1 - -5)*5/10. Suppose -2*w + 3 = -j + u*j, 11 = j + 4*w. Suppose 0 = -5*p - 32 + 12. Put j, p, 3 in decreasing order.
3, p, j
Let i be (-14)/(-3) - (-4)/(-6). Let c(u) = u - 2. Let k be c(-2). Let z(h) = -h**3 + 4*h**2 + 2. Let g be z(4). Sort i, k, g.
k, g, i
Let k be 1/7*-2*2. Let w be 1*-3 - (-289)/68. Sort k, w, 0 in ascending order.
k, 0, w
Suppose -2*p + p + 29 = 5*n, 3*p + 5*n - 47 = 0. Suppose 2*a + p = 5*a. Let i = 0.4 + -0.2. Sort i, a, 3/4.
i, 3/4, a
Let q(n) = -2*n - 6. Let f be q(-4). Suppose 13 = 3*h - f*v, -4*h = 4*v + 4 + 12. Suppose -2*t + 3*t = -h. Sort t, 2, -2 in decreasing order.
2, t, -2
Suppose -5*c - 66 = -26. Sort -4, c, 4 in ascending order.
c, -4, 4
Let s = 0.3 - 0.3. Let n = 55 - 57. Put 1/3, n, s in increasing order.
n, s, 1/3
Let w = 13 - 15. Let u = 1 + w. Let n = 0.4 + -0.2. Put u, -1/5, n in descending order.
n, -1/5, u
Suppose -18*n = -11*n. Put n, 4, -3 in ascending order.
-3, n, 4
Let m be (-12)/1*7/(-21). Sort -4, 0, m.
-4, 0, m
Let m = 1.6 - 2. Suppose -41*v + 38*v = -15. Put m, v, 0.3 in descending order.
v, 0.3, m
Let c be ((-12)/8 + 2)*(-1 + -7). Put 2, -1, c, -5 in ascending order