3 = 3*s - 0. Sort w, s, 2 in decreasing order.
2, s, w
Let d = 11 + -17. Let o = d + 4. Suppose -z - 2*u = -2, -2*z - z + 14 = -2*u. Sort z, 0, o.
o, 0, z
Let u be 4*1 - (7 - 0). Put u, -1, 19 in ascending order.
u, -1, 19
Suppose -3*t + 17 = 2*h, 0*t - t - h = -7. Let l be t*4/(-30)*10. Let b be (2 - -1) + 76/(-28). Put b, 0, l in descending order.
b, 0, l
Let g be (-4)/22 - (-26)/22. Let w be (2 - 5)*(0 - 1). Sort w, g, -3 in descending order.
w, g, -3
Let d = -14 + 15.6. Let h = 3 + d. Let a = 5 - h. Sort 0, a, 1 in decreasing order.
1, a, 0
Suppose -5*k - 1 = -2*j, 0 = 3*k - j - j + 3. Put -10, -3, k in decreasing order.
k, -3, -10
Let i be (1 + 4)/(1 + 0). Put 3, 1, i, -2 in increasing order.
-2, 1, 3, i
Suppose 5*n = 2*u - 7 + 71, 4*u = 12. Suppose 2*i + 11 = 3*p, -n = -2*i + p - 3*p. Put 3, -1, i in decreasing order.
3, i, -1
Suppose 0 = -i + 5*o + 18, 5*i + 2*o - 18 = 3*o. Sort -4, 2, 5, i in increasing order.
-4, 2, i, 5
Suppose -10*d = -9*d + 1. Sort d, -5, 2 in decreasing order.
2, d, -5
Let p(l) = l**2. Let s be p(0). Suppose s = 4*t + 16, 0 = -v + 2*t - 4*t - 8. Suppose -5*c = f + 1, 0*c + c + 4 = -4*f. Sort f, v, 3.
f, v, 3
Let i = -37.71 - -34.7. Let k = -0.01 - i. Suppose 0*p = 2*l - 2*p, 2*l + 4*p = -12. Sort 0.1, k, l in ascending order.
l, 0.1, k
Let f be 8/(-12) - 2/(-3). Sort -3, 1, f in ascending order.
-3, f, 1
Let x = 36 + -26. Let d(q) = 12*q**2 + 1. Let f be d(1). Suppose -3*j - f = -4*b, -4*b + x = -2*j - 0*j. Sort 0, j, -5 in ascending order.
-5, j, 0
Let c(p) = p**3 + 19*p**2 + 2*p + 45. Let u be c(-19). Put -4, -3, u in descending order.
u, -3, -4
Let v = 96182259 + -741469035843/7709. Let c = 6375351/2372 + -10751/4. Let s = v + c. Sort s, 2/13, -4 in increasing order.
-4, s, 2/13
Let y = 3/13 - 45/26. Let w = -98/39 + 24/13. Put -4, w, y in increasing order.
-4, y, w
Let p = 5 + -5. Put 1, -1/11, p in ascending order.
-1/11, p, 1
Let c(z) = -3*z**3 + 5 + 4*z**3 - 2*z**3 + 6*z**2 + z - 7*z. Let b be c(5). Sort b, 1, -0.5 in ascending order.
-0.5, b, 1
Suppose -2*i + 2 = 3*g + 6, 3*i - 3 = 0. Let n(l) = l. Let p be n(-3). Sort g, p, -1 in decreasing order.
-1, g, p
Let h = -26 + 25. Let b be (-10)/(-3) + (-2)/6. Suppose -5 = b*d + 4. Sort d, h, -2.
d, -2, h
Let j = 113 + -118.1. Let b = j + 0.1. Put b, 0.5, 0.2 in increasing order.
b, 0.2, 0.5
Suppose -38 = -4*u - 42. Sort 4, -7, u.
-7, u, 4
Let k = -19 + 18.5. Put 1/8, -4/7, k in descending order.
1/8, k, -4/7
Suppose 5*j = j + 12. Let s be (-2)/2*(j + -8). Put -4, -5, s in increasing order.
-5, -4, s
Let v = 0.2 + 0. Let d = -5.13 + 0.13. Sort v, d, 0.
d, 0, v
Let y = -0.8 - -1.8. Let b be 8/78*(-3)/2. Sort -2, b, y in ascending order.
-2, b, y
Let o = -9 - -11. Let k be 0 + o + (4 - 4). Sort 5, k, -3.
-3, k, 5
Let z be (60/(-160))/(1/4). Sort -2, z, 1 in ascending order.
-2, z, 1
Let o(f) = f**3 - 5*f**2 + 4*f + 1. Let x be o(3). Suppose 2*a + 2*s = 4, 4*a - 2*s - 14 = -0*s. Sort x, -2, a in descending order.
a, -2, x
Suppose 4*b - 5*b = -1. Suppose -q - 3 = b. Sort q, -5, -1 in increasing order.
-5, q, -1
Let z be 8 + -4 + 3 + -2. Let q be 0 - 0 - 4/2. Sort 3, z, q in decreasing order.
z, 3, q
Suppose 6*q + 10 = 3*i + q, 2*i + 5*q = -10. Suppose -6 - 4 = 5*s. Let h be s/(-3) - 16/6. Sort 4, h, i.
h, i, 4
Let c = 0 + -1. Let b be 18/81 + 40/(-18). Let u = 1 + -0.9. Put u, c, b in decreasing order.
u, c, b
Let j = -360 - -3244/9. Sort 2, -1/2, 1/2, j in ascending order.
-1/2, j, 1/2, 2
Let g = -3.96 + -0.04. Let n = -91.2 - -123. Let z = 32 - n. Sort g, z, 0.4 in increasing order.
g, z, 0.4
Let c = 0.19 - 0.09. Put 0, c, 0.5 in descending order.
0.5, c, 0
Let u(f) = f**3 - 2*f**2 - f - 4. Let r be u(3). Sort r, -2, -5 in ascending order.
-5, -2, r
Let w = 0.4 + -0.29. Let f = w + -0.05. Let h = -5.06 + f. Sort h, -0.3, 2/9 in decreasing order.
2/9, -0.3, h
Let y be 10/(-55) - (-48)/22. Let j = -4 + y. Let o be ((-2)/(-8))/((-1)/j). Sort 0.2, -1/2, o in increasing order.
-1/2, 0.2, o
Let w(c) = -c**2 - 11*c + 3. Let a be w(-11). Let t be 1/2*(-3 - -1). Let l(j) = j - 7. Let b be l(4). Put t, b, a in decreasing order.
a, t, b
Let z(f) = f + 1. Let j be z(4). Sort 1, 4, j in ascending order.
1, 4, j
Let n = -7.05 + 7. Put -4/7, -0.4, n in decreasing order.
n, -0.4, -4/7
Suppose -f = 4*v - 19, 4*v - 16 = 3*f + 7. Let x = -218 - -152. Let a be (-252)/x + 2/11. Sort f, -4, a in decreasing order.
a, f, -4
Suppose 3*r = 3*d - 21, -5*r - 14 = -r + 3*d. Let v = 0.35 - -0.05. Put -0.1, r, v in ascending order.
r, -0.1, v
Let g = 7.6 - 8. Let h = -0.2 - g. Put 0.3, h, 1 in ascending order.
h, 0.3, 1
Let m be (45/(-6))/((-16)/(-4) - 1). Put -1/3, -1, m in increasing order.
m, -1, -1/3
Let k = 7 - 2. Suppose 5*l = -4*u + 8, 2*l = 6*l - u + 2. Put k, 3, l in increasing order.
l, 3, k
Let n = -2/519 + 1573/4152. Let k(c) = -c**2 + 4*c + 3. Let z be k(5). Let l be 1 + -1 + 0 - z. Sort n, l, -2 in decreasing order.
l, n, -2
Let i = 44 + -21. Let j = -34 + i. Let w be (1 + j)*(-3)/6. Sort -2, w, -4 in descending order.
w, -2, -4
Let q = -142/1785 - 4/105. Sort -2, -1, q, 0.4 in decreasing order.
0.4, q, -1, -2
Let t = -6 - -11. Let x = -92 - -89. Put -4, t, x in decreasing order.
t, x, -4
Suppose -2*o + 3 = u, 2*u - 7*u + 5 = 5*o. Sort 10, o, 4 in decreasing order.
10, 4, o
Suppose -5*h - 7 = -3*g - 0, -5*g = 4*h + 13. Put 1, 4, g in descending order.
4, 1, g
Let b = -43/42 - 10/21. Sort -2, b, 0 in increasing order.
-2, b, 0
Let o be 3 - (-4)/(-1) - 4. Sort 4, 0, o, 5 in ascending order.
o, 0, 4, 5
Let b = -0.35 - -0.15. Put 0.1, b, -10 in descending order.
0.1, b, -10
Let g be (-28)/(-10) + 1/5. Let f(y) be the third derivative of y**4/24 - 5*y**3/6 - 2*y**2. Let a be f(5). Put g, a, -2 in increasing order.
-2, a, g
Let s be (-196)/(-35) + 3/(-5). Sort s, -5, -9 in increasing order.
-9, -5, s
Let t be 2 + (1 + 1)*1. Sort 5, 1, t in descending order.
5, t, 1
Let z be (-22)/(-40) + 16/(-20). Let d be (2/14)/((-3)/(-6)). Put z, d, 1 in decreasing order.
1, d, z
Let a be (-2)/(-14) + (-8)/(-336). Put 3, a, 0.7, -0.1 in increasing order.
-0.1, a, 0.7, 3
Let r = 231 - 2543/11. Sort r, 0.3, -1/6.
r, -1/6, 0.3
Let m(f) = -2*f**2 - 12*f + 12. Let u(y) = y**2 + y. Let l(k) = -m(k) - 3*u(k). Let q be l(8). Sort -7, -1, q in ascending order.
-7, q, -1
Let m = -3 - -5. Suppose 2*g + m*h + 4 = 0, -14 = 2*g - 5*h + 4. Put 1/3, -0.1, g in increasing order.
g, -0.1, 1/3
Let l be 3*(2 - -1 - 4) - -3. Sort -5, 2, 6, l.
-5, l, 2, 6
Suppose d + 2 = -0*d. Suppose 2*a + 28 = -4*q, -4*a + 2*q = 1 + 5. Put -3, a, d in decreasing order.
d, -3, a
Let r = -2 + -5.5. Let u = r - -8. Put 0.3, -5, u in decreasing order.
u, 0.3, -5
Suppose -t - 4*t - 20 = 0. Sort -1/5, t, -0.5 in descending order.
-1/5, -0.5, t
Suppose 43*d = 47*d + 20. Sort 0, d, 5 in decreasing order.
5, 0, d
Suppose 5*o + 4*a = -12, 0 = -2*a - 0*a - 6. Put o, -4, 4 in descending order.
4, o, -4
Let q = 2 - 0. Suppose q + 1 = -3*h. Suppose 0 = 5*d - 10, -l = 5*d - 2*d - 11. Sort 4, h, l.
h, 4, l
Let c = -6 + 5.4. Let o = c + 0.1. Let l = -156 + 152. Sort l, 0.3, o in descending order.
0.3, o, l
Let f = 10.6 + -13.6. Put -5, f, 1/5, -1 in decreasing order.
1/5, -1, f, -5
Let u be ((-5)/(5/(-12)))/19. Let i = -53/114 + u. Put i, 2, 4/7 in ascending order.
i, 4/7, 2
Let o = 0.3 + -1.3. Let b(r) be the first derivative of r**2/2 - r - 1. Let h be b(5). Sort h, 3, o in decreasing order.
h, 3, o
Let a = -19 + 15. Let b = 0.46 + -0.06. Let z = b + -3.4. Put a, z, 2 in ascending order.
a, z, 2
Let n = 1.2 + -0.7. Let d(m) = -m**2 - 5*m - 4. Let z be d(-4). Put n, -2, z in ascending order.
-2, z, n
Suppose -2*z + 90 = z. Suppose -3*g - z = 3*d, g - d - d + 4 = 0. Let f = -5 - g. Sort 0.4, 0.2, f in decreasing order.
f, 0.4, 0.2
Let x = 0 - 0. Let g = x + 0. Let f = 23.9 + -24. Sort g, 2, f.
f, g, 2
Let d = 6 + -3. Suppose -4*z - 3*p = 7, -3 = 4*z + 2*p - d*p. Suppose 2*f + 4 + 4 = 0. Sort z, -5, f in decreasing order.
z, f, -5
Suppose 4*m = -2*h + 3 + 1, -12 = -h + 3*m. Suppose -18 = 3*l - h. Sort l, 2, -1 in descending order.
2, -1, l
Let j = 4 + 3.7. Let a = j - 4.72. Let o = 0.02 + a. Sort 0, o, 2 in descending order.
o, 2, 0
Let n = -30 - -27. Sort 1/6, n, 7 in descending order.
7, 1/6, n
Let k = -83.5 + 83. Put k, 3, -3 in descending order.