). Put -5, -25, n in decreasing order.
n, -5, -25
Let m = -5 + -13. Let b = m + 63. Let t be (-8)/b - (-6)/15. Put 4/9, t, -0.4 in descending order.
4/9, t, -0.4
Let o = -24 - -24.08. Put -1, o, 0.5 in ascending order.
-1, o, 0.5
Let h = -5 - 0. Suppose 7*x = 4*x. Suppose -3*t = -x*t - 6. Put -4, h, t in descending order.
t, -4, h
Let q = 0.7 + -0.2. Let a = -0.7 - -0.2. Let y = 0.433 + -0.033. Put q, a, y in decreasing order.
q, y, a
Suppose -c + 5*u = -4*c + 1, 5*u = 25. Sort -1/5, -3, c in ascending order.
c, -3, -1/5
Let y = 0 + 0.03. Let m = y + -2.03. Let b = -0.22 + -3.78. Sort m, 0.4, b in descending order.
0.4, m, b
Suppose 7*v - 32 = 3*v. Let c be v/28 - (-90)/(-21). Sort c, -1, 0 in descending order.
0, -1, c
Let v = -21 - -19. Put v, -3, 5 in increasing order.
-3, v, 5
Suppose -3*x - 5*l + 2*l = -12, -4*x = -4*l + 24. Sort -4, 1, x, -3 in ascending order.
-4, -3, x, 1
Let g = -3.5 - -0.5. Let v = -2.8 - g. Let r = -4.8 - v. Put r, -0.1, -1 in decreasing order.
-0.1, -1, r
Suppose 24 = 5*x - 3*t - 4, x - 4*t - 9 = 0. Let q = x + 5. Put 0, q, -5 in increasing order.
-5, 0, q
Let q = 8 - 8. Suppose q = 5*k + 5 + 20. Let x be 2/(2/3) + -2. Put k, -3, x in increasing order.
k, -3, x
Let c(a) = -a + 11. Let j be c(13). Sort 3, -4, j in decreasing order.
3, j, -4
Suppose 0 = 3*k + 4 + 11. Suppose j - 1 = 2. Sort j, k, 0 in decreasing order.
j, 0, k
Let w = 9 - 9. Suppose -3*i - 12 = 3*r, w*r + i = 2*r + 8. Sort 4, -5, r in increasing order.
-5, r, 4
Let g = 17.9 + -0.9. Let o = g - 16. Let z = 21 + -125/6. Put -0.3, z, o in descending order.
o, z, -0.3
Suppose k - 6 = 8. Suppose 0 = -u + 6*u + 20, -2*a + 4*u + k = 0. Let j be 1 + -2 - (1 + -6). Put a, -5, j in ascending order.
-5, a, j
Let i = -29/8 - -4. Let z = 0.85 - 0.15. Let a = -0.3 + z. Put a, i, -0.4 in increasing order.
-0.4, i, a
Let m(d) = -d**3 + 2*d**2 + 2*d - 1. Let q be m(2). Let b be (q/16*4)/3. Sort b, -3, 4/3 in ascending order.
-3, b, 4/3
Let p(s) = -s**2 + 6*s + 10. Let c be p(7). Suppose -3*m + 16 = -q - 10, -5*m + 48 = c*q. Let i = m + -7. Put i, -3, -2 in ascending order.
-3, -2, i
Suppose 0*c + 2*c - 6 = 0. Let j be 0 - ((-3)/c - -1). Suppose -3*b - 13 = -1. Put j, b, 4 in decreasing order.
4, j, b
Let j be 7*-7*18/(-441). Let y be (3/4)/((-1)/(-4)). Put y, j, -4 in descending order.
y, j, -4
Suppose -12*d + 56 = -4. Put 7, -1, d in decreasing order.
7, d, -1
Let o = -118/5 - -23. Sort -4, -5, o, 1/5.
-5, -4, o, 1/5
Suppose 2*f = -n + 3 + 3, -24 = 2*n - 5*f. Put 0.2, -4, n in increasing order.
-4, n, 0.2
Let d = -29 - -14. Let b = d - -10. Let g = 3 + b. Put 5, g, -1 in descending order.
5, -1, g
Suppose 0*o = 2*o + 8. Suppose 3*c + 0*c = f - 3, -5*c = 0. Suppose -6 = d - 0*y + f*y, d + 5*y = -8. Sort d, o, 2.
o, d, 2
Let i = 2.9 + -14.9. Let n = 8 + i. Let v = 10 + -11. Sort -2, v, n in increasing order.
n, -2, v
Let w = -0.448 - 0.052. Put 1/11, w, 0.5, 1/7 in descending order.
0.5, 1/7, 1/11, w
Let n = -42 - -9. Let u be 1*(-1)/(n/(-6)). Let g be 1 + (-2)/2 + 0. Sort u, g, 5 in descending order.
5, g, u
Let x = 11.3 - 11. Let r = 0.4 - x. Put 1, 3, r in descending order.
3, 1, r
Let b be 11 + (15/5 - 7). Put b, 3/5, -2, -3 in decreasing order.
b, 3/5, -2, -3
Suppose -2*m = -5*m. Suppose -t = -m - 5. Suppose -4*h = -3*h - 2. Sort -4, h, t.
-4, h, t
Let x = 39.8 + -39. Sort -1/9, x, 0, -2/9.
-2/9, -1/9, 0, x
Let q = 2/155 - -457/620. Sort 2, -2/19, q.
-2/19, q, 2
Suppose 0 = -4*x - 5*m - 26, 4 = -5*x + 2*m - 12. Sort x, -1, 4 in decreasing order.
4, -1, x
Suppose 4*y + 6 = -5*j - 3, 4*j = -20. Suppose 3 = -5*m - 12. Sort y, 1, m in decreasing order.
y, 1, m
Suppose -m + 0*m = 5. Suppose r + 4 = c + 2*r, 0 = c + 4*r - 13. Sort m, -4, c in increasing order.
m, -4, c
Let r = 77 - 384/5. Sort -1/7, r, -11.
-11, -1/7, r
Let h be (-1 + -3)*2/8. Put h, 4, 5 in ascending order.
h, 4, 5
Let a = -7 + 9. Suppose a*i + 16 = 3*c + 4*i, i = 3*c - 1. Sort -3, -2, c.
-3, -2, c
Let h = 0.1 + -0.1. Let l = h - -0.1. Let d = -4.7 + 4.9. Put -1/7, d, l in ascending order.
-1/7, l, d
Let i(t) = 3 + 3*t**2 + t**3 + 3*t + 0 - 8*t**2. Let k be i(4). Sort k, 5, -3 in descending order.
5, k, -3
Let v = 38 - 37.7. Put -0.05, v, -2/11 in decreasing order.
v, -0.05, -2/11
Suppose -5*o - 3*f = -o + 11, 5*f = -2*o - 9. Put -3, 0, o in descending order.
0, o, -3
Suppose -j + 0 - 3 = -2*r, 5*r + 3*j = 35. Let i(y) = y - 5. Let x(s) = 4. Let d(c) = r*x(c) + 3*i(c). Let f be d(-2). Put 4, f, 2 in increasing order.
f, 2, 4
Let n = -23 + 24. Sort n, -3, 5.
-3, n, 5
Let t be 1/(1/(-2)) + 2. Suppose a + 3 + 6 = 0. Let q be (-3)/a + (-2)/(-3). Put q, t, 5 in descending order.
5, q, t
Suppose 0 = -4*w - g + 4*g + 14, 2*w + 4 = -4*g. Let k = 8 + -5. Sort 4, k, w in ascending order.
w, k, 4
Let b(h) = h**3 - 6*h**2 + 6*h - 5. Let k be b(5). Let q(f) = f**3 + 7*f**2 + 7*f + 8. Let w be q(-6). Put k, 1, w in decreasing order.
w, 1, k
Let o = -154 + 617/4. Sort -5, 2, o in descending order.
2, o, -5
Let g = 10.8 - 12.8. Sort 1, 0.029, g.
g, 0.029, 1
Let l(d) = -d**2 - 7*d - 15. Let n be l(-5). Put 0.5, -3/2, n, 2/7 in descending order.
0.5, 2/7, -3/2, n
Let f(p) be the first derivative of -p**4/4 + 4*p**3/3 + p**2/2 - p + 1. Let k be f(4). Let u = -188 - -190. Put u, k, -5 in ascending order.
-5, u, k
Suppose -3*v = 2*v - 4*d + 11, 4*v = -d + 8. Suppose 0 = -5*k - 5*l + 30, 5*k + l - 18 = -l. Let z = -3 + 6. Sort z, v, k.
v, k, z
Let r = 14 - 13. Sort r, -25, 2 in increasing order.
-25, r, 2
Let o = 28 + -4. Let b = o + -22. Put 2/11, -0.1, b in descending order.
b, 2/11, -0.1
Let t be (2/(-6))/(24/(-720)). Put -1, t, -4 in ascending order.
-4, -1, t
Let a = 6.3 - -727.7. Let b = -729.97 + a. Let o = b - 0.03. Sort 1, -5, o in decreasing order.
o, 1, -5
Let v = 55 + -54. Put -2/9, -0.01, 0.2, v in increasing order.
-2/9, -0.01, 0.2, v
Let c(z) be the second derivative of -z**3/2 - 2*z**2 + z. Let f be c(-2). Suppose u = -r - 5, 4*r = -r + 3*u - 1. Sort f, -1, r in descending order.
f, -1, r
Let a be 6*(1 - (2 + -2)). Let d(h) = -h + 8. Let w be d(a). Suppose 15 = w*s - 5*s. Sort s, -1, 4 in descending order.
4, -1, s
Let d = -36 - -35. Let y be (50/4)/5*2. Sort d, 4, y in descending order.
y, 4, d
Let c = -0.411 - 0.139. Sort -0.2, 1/12, c, -4 in decreasing order.
1/12, -0.2, c, -4
Suppose 2*c + c - 5*o - 37 = 0, 4*o = 4*c - 36. Suppose -3*q = -j - 0*q - 8, 4 = -3*j + c*q. Put -4, 1, j in increasing order.
-4, 1, j
Suppose -2*i = -0*i. Put i, -2, -4 in descending order.
i, -2, -4
Let k(l) = -l**2 + 1. Let b be k(2). Put b, 2, 5 in decreasing order.
5, 2, b
Let n be (2/(-5))/(3/15). Let u be (-6)/(-9)*(-30)/(-4). Suppose -6*t = -6 - 12. Sort n, u, t in decreasing order.
u, t, n
Let n(p) be the first derivative of p**4/4 - p**3 + p**2 - p + 2. Let a be n(2). Sort a, -3, 2 in descending order.
2, a, -3
Let f = 1187/2 + -605. Let k = -257/22 - f. Let c be 3 + -2 + 9/(-12). Sort -0.2, k, c in descending order.
c, k, -0.2
Suppose -3*x + 27 = -3*j, -4 = 2*j + x + 5. Let m(s) = -s**3 - 5*s**2 + 4*s - 8. Let v be m(j). Put v, 5, 1 in decreasing order.
5, v, 1
Let g(r) = -r - 3. Let v be g(-5). Sort -2, 4, v in decreasing order.
4, v, -2
Let c = 3.14 - 3.64. Suppose 8 = -0*l - 4*l. Put c, l, 4 in descending order.
4, c, l
Let h(u) = 5*u - 6. Let v be h(4). Suppose 5*m - v = -4. Suppose 4*c - 19 = -3*p, m*c + 15 = 4*p - 3*c. Sort p, -5, 4 in decreasing order.
p, 4, -5
Suppose -4*z = -5*b + 31, -3*z + z - 3*b = -1. Put z, 3, -2 in descending order.
3, -2, z
Suppose -11 = -3*d - 5. Suppose d*v = -2*v - 20. Sort 4, v, -3 in decreasing order.
4, -3, v
Suppose -2*t - t = 0. Sort -2, -4, t, 4 in increasing order.
-4, -2, t, 4
Let x be (1 - (-146)/16) + 1. Let q = x - 11. Sort -1/3, q, 2/9 in increasing order.
-1/3, q, 2/9
Let u = -4.3 + 4. Let j = u + 0.5. Let c = -0.5 + j. Put 1, -1, c in descending order.
1, c, -1
Let l(s) = s**3 - 3*s**2 + s - 1. Let x be l(2). Let c be (-17)/x - (-6)/(-9). Put c, -1, 0 in ascending order.
-1, 0, c
Suppose f + 5*p = 32, 5*p + 4 = 2*f - 0*p. Sort 0, 2, f in descending order.
f, 2, 0
Let j = -273 - -290.1. Let n = -17 + j. Put -0.1, n, -3/4 in descending order.
n, -0.1, -3/4
Let n = 0.3 + -0.5. Let c = -23/2 + 11. Let o = -0.13 + 0.33. Sort o, c, n in descending order.
o, n, c
Let l = 0