m
Let h = -4 - -2. Let a(c) = -c**3 - 18*c**2 + 42*c + 45. Let s be a(-20). Put h, s, 4 in descending order.
s, 4, h
Suppose 0 = -2*i - 1 + 3. Put -7, i, 2 in decreasing order.
2, i, -7
Suppose 0 = -t + 4*k + 22, -k + 2 = -t + 9. Sort 3/4, 5, t, -1.
-1, 3/4, t, 5
Suppose 5*k + x = 17, -5*x - 5 = -5*k - 0. Suppose 0*n - 4*n + 4 = -4*z, -4*n - 2 = 2*z. Suppose -5*p - 6 + 1 = 0. Put k, n, p in decreasing order.
k, n, p
Let x be 4/6 + 77/(-84). Sort x, 1/4, 0.4 in decreasing order.
0.4, 1/4, x
Let a = 9.01 - 9. Let q = a + -0.21. Let o = 206/13 - 16. Sort 1, o, q.
q, o, 1
Let j be (-12)/54 - 94/(-18). Put j, -1, -0.3, 4 in decreasing order.
j, 4, -0.3, -1
Let z = -11 - -12. Suppose -i - i - 4*t = 2, -i + t - z = 0. Suppose 0 = -3*q - 2*q. Sort i, 3, q in descending order.
3, q, i
Let v(f) = f**2 + 5*f - 3. Let o be v(-5). Let s = 7 + -4. Sort -1, s, o in descending order.
s, -1, o
Let k = -5464513/689 - -7931. Let j = k + -4/53. Put j, -4, 1/4 in increasing order.
-4, j, 1/4
Let k = -0.372 - -0.072. Let l = 2 - 1.5. Sort 1, k, l in increasing order.
k, l, 1
Let t be (-38)/14 - (-5 - -2)/1. Put t, 3/7, -1/4 in increasing order.
-1/4, t, 3/7
Suppose 9*y - 13*y = 136. Let w be 3/12 - y/(-8). Sort w, 5, -5.
-5, w, 5
Suppose c = -4*c + 15. Let w = c + 0. Let b(t) = -t**2 - 5*t - 1. Let g be b(-5). Sort -2, w, g.
-2, g, w
Let c = -11.02 - -0.02. Let q = c + 14. Put -0.5, 0.5, q in ascending order.
-0.5, 0.5, q
Suppose -12*f + 6*f = 12. Suppose -8 = 5*o - 3*n + 14, 4*o - 3*n = -17. Put o, 2, f in decreasing order.
2, f, o
Let s(z) = -z + 15. Let t be s(11). Suppose t*f - 8*f - 16 = 0. Suppose -2*b = 4 + 2. Sort f, b, 1 in increasing order.
f, b, 1
Let d = -0.7 - -0.2. Sort -0.4, 4/9, d.
d, -0.4, 4/9
Suppose -11*n = -8*n - 12. Suppose l + 5 = n. Sort 5, l, -2 in decreasing order.
5, l, -2
Let n = -3.3 - -3.8. Put 0.1, 3, n, -0.1 in descending order.
3, n, 0.1, -0.1
Let d = -32/3 - -10. Put -2/7, d, -0.5, 3 in increasing order.
d, -0.5, -2/7, 3
Let b = 6 - 6. Suppose b = 4*s - 5*c + 9, -2*c = 4*s + 3*c - 1. Sort -4, s, -2 in decreasing order.
s, -2, -4
Let a(j) = -j**2 - 8*j - 8. Let s be a(-6). Let h be (-1 + s)*(-12)/(-9). Suppose h*v - 4 = -0*v. Sort 2, v, -1 in decreasing order.
2, v, -1
Let s = -40/9 + 46/9. Let j = -53/469 - 2/67. Put j, 1/6, s in descending order.
s, 1/6, j
Let k = -1242 - -47193/38. Let j = k - -30/19. Let c = -18.9 + 18.6. Sort c, 0.1, j in ascending order.
c, 0.1, j
Let d be -20 + 19 - (3 - -1). Sort 5, -4, 3, d.
d, -4, 3, 5
Let i = 3 - 5. Let z be (i + -1)/(5/10). Let a = z + 3. Sort a, 0, 3.
a, 0, 3
Suppose 4*c - 3*c = 3. Let r = 2 - -2. Let g = 32 + -30. Put r, c, g in decreasing order.
r, c, g
Let c(u) = 5*u**2 + 1. Let o be c(-1). Suppose -4*y + o = 14. Let j be 2/(-7) - 26/7. Sort j, 0, y in decreasing order.
0, y, j
Let p = 31 - 31.3. Put -0.4, -3/4, 1/11, p in ascending order.
-3/4, -0.4, p, 1/11
Let d = -1/99 + 205/693. Let z = -73.6 - -74. Sort z, d, 0.2 in descending order.
z, d, 0.2
Suppose 3*u + 4*v = 4 - 0, 5*u - 18 = -v. Sort 2, 5, u, -2 in decreasing order.
5, u, 2, -2
Let r be -1*1*-5 - 2. Suppose 5*g + i - 23 = 12, -r*i = -2*g - 3. Let q be (-10)/g*-3 - 2. Put -1, q, 2 in decreasing order.
q, 2, -1
Let i = 260/2871 - 7/87. Let z = i - -293/396. Put 3/7, z, -2 in ascending order.
-2, 3/7, z
Let x = 3.89 - -0.11. Let a be 3 + 14/(-6) + 0. Put a, 0.1, x in descending order.
x, a, 0.1
Let t be (-6)/9 - (-2)/4. Let x = -16 - -10. Let h be (-30)/25*(-20)/x. Sort t, h, -0.2 in increasing order.
h, -0.2, t
Let m(g) = -2*g + 10. Let z be m(8). Let k be (z/24)/(3/(-8)). Let a = 3 + 1. Put a, k, -2 in descending order.
a, k, -2
Suppose 3*z - 4*z = -3. Let p = 3 + 1. Put p, -7, z in decreasing order.
p, z, -7
Let s be (2/6)/((-5)/9). Let c(x) = x**3 + 4*x**2 - 5. Let u be c(-4). Let o = u + 27/5. Sort -1/8, o, s.
s, -1/8, o
Let f = 5.9 + -0.9. Let j = 4 + -4. Put j, 2, f in increasing order.
j, 2, f
Let d = 11 + 1. Let x be (-2)/(16/d)*-2. Put -5, x, 5 in ascending order.
-5, x, 5
Let k = 1 - 1. Sort -5, 3, k in decreasing order.
3, k, -5
Let q = -26 + 132/5. Put -1/8, 11, q in ascending order.
-1/8, q, 11
Suppose 3*j = 2 + 1. Let p be (2 - (0 + 3))/j. Put p, -3, -2 in decreasing order.
p, -2, -3
Let k be (1 - 2) + 2*2. Let h be (-42)/60*(-4)/7. Let z = 0.14 - 5.14. Put k, h, z in descending order.
k, h, z
Let l = 0.1 - 0.3. Let p = l - -0.2. Let a = -160/249 + -2/83. Sort a, p, -5 in decreasing order.
p, a, -5
Let l = -22 - -19. Put l, 1, -1 in increasing order.
l, -1, 1
Let s = 0.2 + 0.3. Let b(w) = w - 2. Let j be b(2). Let d be ((-8)/(-32))/(j - -1). Put s, -2, d in increasing order.
-2, d, s
Let t(k) be the first derivative of -k**2/2 - k + 2. Let x be t(-3). Let d = 5 + -2. Sort x, -1/5, d in ascending order.
-1/5, x, d
Let d be 9 - (-2 - (0 + -1)). Let v = d + -7. Sort 1, -1, v in descending order.
v, 1, -1
Let u(b) = b**3 + b**2 - 11. Let j be u(0). Let g = j + 11. Put -2, g, 4 in descending order.
4, g, -2
Suppose 2*i - 7*i = -2*q + 17, 3*q - 12 = 3*i. Let y be -1*(-3)/(-1)*q. Sort -5, y, -1 in increasing order.
-5, y, -1
Let j = -4 - -8. Suppose -3*n = -5*u + 7, -4*n + 9 = -n + 3*u. Sort -3, j, n in decreasing order.
j, n, -3
Let n = -13 - -15. Sort n, -0.11, -3/5.
-3/5, -0.11, n
Suppose 0 = 3*l + 2*y + 11, 0 = 2*l + 2*y + 16 - 8. Let c be (-2)/((2 - 4) + 0). Sort 2, c, l in decreasing order.
2, c, l
Suppose 0*d + 3 = -3*d. Sort 5, d, 1.
d, 1, 5
Let x be -12 + 8/6*(-54)/(-36). Sort -3, 1, x, 2 in descending order.
2, 1, -3, x
Let t = -1 + -0.05. Let y = t + 0.05. Sort y, 4, -4 in descending order.
4, y, -4
Let t(l) = l**2 - 18*l - 41. Let k be t(20). Put 4, k, 1/4, -0.1 in descending order.
4, 1/4, -0.1, k
Let z = 146 - 1604/11. Let p(b) = -b + 1. Suppose 4*r - 14 = -2. Let j be p(r). Put 3/4, j, z in descending order.
3/4, z, j
Suppose 3*f + 2*f = -20. Let u = f - 1. Put -4/7, u, 4 in ascending order.
u, -4/7, 4
Let w be (9/(-6) - 0)*32/12. Sort 3, 2, -13, w.
-13, w, 2, 3
Let g = -3 - -4. Let p = -19 - -23. Suppose p = -5*u - 21. Put u, -3, g in descending order.
g, -3, u
Let k be (0 - (-1 - 36)) + 0. Suppose 4*v = -7*n + 2*n + k, 4*n - 2*v = 14. Put n, 0, -3 in decreasing order.
n, 0, -3
Let o be 4/1 + (-4 - -6). Suppose 0 = -o*d + d + 5. Suppose 0 = -3*l - 6 - 9. Put l, d, 3 in descending order.
3, d, l
Let o = -79 - -81. Sort 3/2, -23, -0.2, o in increasing order.
-23, -0.2, 3/2, o
Let y = 152 + -147. Sort y, -3, -0.01 in decreasing order.
y, -0.01, -3
Let j = -0.57 + 0.07. Put 1/4, j, 0.5 in decreasing order.
0.5, 1/4, j
Let v = -0.03 - 0.37. Let s = 5 - 2.5. Let i = s - 3. Put 0.5, v, i in increasing order.
i, v, 0.5
Suppose 5*y + 25 = 5*c - 0*y, 5*c - 10 = 2*y. Suppose 3*a - 15 = -c*a. Put -2, a, 1/3 in descending order.
a, 1/3, -2
Suppose 4*f - 8 = -4*m, -1 = -4*f + 8*f - 5*m. Sort f, -4, 0, -3 in ascending order.
-4, -3, 0, f
Let x be ((-1)/(-4))/(1/2). Let y = 21 + -20.7. Sort y, x, -4.
-4, y, x
Let q = -74 - -70. Put -1, 3, q in increasing order.
q, -1, 3
Let y = 4.8 + -4. Let b = y + -0.3. Let a = 6.2 + -6. Sort b, a, 4.
a, b, 4
Let t = -7 + 10. Sort t, 1, -5.
-5, 1, t
Let r = 44 + -49. Sort r, -0.6, 5.
r, -0.6, 5
Let j = -0.12 - -2.32. Let k = j - -0.8. Sort -1, -2/11, k in descending order.
k, -2/11, -1
Let o(x) = x + 4. Let p be o(-9). Suppose 11*c = -25 - 8. Put c, p, -4 in ascending order.
p, -4, c
Let u = 4 + -3. Let t(c) = c**3 + 15*c**2 - 18*c - 36. Let r be t(-16). Sort 0, r, u in descending order.
u, 0, r
Let j(s) = s**3 + 5*s**2 + 2*s + 6. Let i be j(-5). Let k(v) = v**2 - 3*v - 3. Let c be k(4). Let r = -4 - -2. Put i, c, r in decreasing order.
c, r, i
Let g be (-10 - 0)*5/((-75)/6). Sort 7, 2, g, 1.
1, 2, g, 7
Let i = -23 + 14. Let b(g) = -2*g + 1 - 11 - 3. Let x be b(i). Sort 0.2, -0.1, x in increasing order.
-0.1, 0.2, x
Let k be 5/(1 - (3 - 3)). Put 1, k, 0 in descending order.
k, 1, 0
Let z = 14 - 19. Suppose -4*y + 7*y + 6 = 0, 3*i - 10 = -y. Put -4, z, i in decreasing order.
i, -4, z
Let w be 5*-3*(-6)/45. Suppose -w*r + 0 = -10. Sort 0, r, -4 in increasing order.
-4, 0, r
Let y be 5 + (8 + -4 - 7). Put 5, -1, y in descending order.
5, y, -1
Let w(r) = -3*r - 31. Let v be w(-11). Sort -0.5, v, 3, -1.
-1, -0.5, v, 3
Suppose t + 4*t = -2*f - 17, -4*f - t - 7 = 0. Let c(o) = -5*o**