descending order.
3, r, l
Let o(b) be the first derivative of b**2/2 - 5*b - 3. Let d be o(0). Sort -4, -3, d.
d, -4, -3
Suppose 17 + 8 = 5*d. Put d, -0.3, 0 in decreasing order.
d, 0, -0.3
Let t = -23 - -7. Let d = t + 11. Let v = 32/21 - 13/7. Put v, d, -1 in increasing order.
d, -1, v
Let l(h) = h**2 + 10*h + 22. Let r be l(-4). Let i = 1 - 5. Sort 0, i, r in increasing order.
i, r, 0
Let h = -34/11 + 205/77. Let c = -5.1 - -1.1. Sort 1, c, h in descending order.
1, h, c
Suppose -13 = a - 0*d - 5*d, 0 = -2*a - 4*d + 2. Put 1, -6, 2, a in descending order.
2, 1, a, -6
Let r = 129/7 - 1011/56. Let j = 11/4 - 13/4. Put -5, j, r in ascending order.
-5, j, r
Suppose 21 = -a + 26. Sort -2/15, -0.2, a in descending order.
a, -2/15, -0.2
Suppose -5*w = 2*q - 5, -3*q + 0 = 2*w - 13. Suppose 2*x - 4*z - 4 = 6*x, -11 = 2*x - z. Suppose a + 2 = 3. Put q, a, x in decreasing order.
q, a, x
Let r = -0.05 - -20.65. Let m = r + -21. Sort m, 2/7, 3 in descending order.
3, 2/7, m
Let s = -10 - -4. Let m(f) = -f - 1. Let v be m(s). Put v, -5, 2 in descending order.
v, 2, -5
Let q(w) = w + 4. Let m be q(0). Let b = 45 - 45. Sort -1, m, b in decreasing order.
m, b, -1
Let g(u) = 2*u**3 - 9*u**2 - 3*u - 7. Let m be g(5). Put m, -1, 2, -2 in descending order.
m, 2, -1, -2
Let l = -4.4 + 4.4. Sort 1, l, 2 in ascending order.
l, 1, 2
Suppose -2*j + 3*b = -j - 16, 3*j = 4*b + 28. Let s = 2 - j. Suppose 51 = 35*v - 19. Put s, -1, v in ascending order.
s, -1, v
Let y = 1058.91 - 1064. Let t = 0.09 + y. Sort 0.1, 5, t in ascending order.
t, 0.1, 5
Let m(f) = -f**3 - 9*f**2 + 11*f + 14. Let t be m(-10). Suppose 4 + t = 2*z. Let l(j) = j**2 + 8*j - 6. Let w be l(-9). Put w, 5, z in increasing order.
w, z, 5
Let j = -2/25 + 29/50. Let f = -1775/7 - -254. Sort 3/4, f, j in decreasing order.
3/4, j, f
Let t = -1 - 0. Suppose -2*p + 1 - 9 = 0. Sort p, -5, t in descending order.
t, p, -5
Let w be (0*3/9)/1. Suppose -6 + w = -2*u. Let d be (-10)/4*2/(-5). Sort u, -5, d.
-5, d, u
Let s = -13049109/118321 + -1/16903. Suppose -2*m + 114 = 334. Let o = s - m. Put 1, o, 2 in increasing order.
o, 1, 2
Suppose c - 2 = 7*b - 2*b, -5*c + 10 = -5*b. Suppose -c*r = 2*h + 4, -r - 2*r = 2*h + 3. Sort 4, h, 2.
h, 2, 4
Let h be 12/(-20) + 2 + -1. Sort -2, h, 2/3.
-2, h, 2/3
Let u = 113 - 110. Sort 4, u, -1 in descending order.
4, u, -1
Suppose -11 = -2*j + 1. Suppose 0 = k + 3 - j. Suppose s = -10 + 9. Sort -3, k, s in descending order.
k, s, -3
Let s = 6 + -8. Let r = -5 + s. Let v(o) = -o - 3. Let k be v(-5). Put r, k, -3/7 in ascending order.
r, -3/7, k
Let o be 0/((-2)/4*-2). Let r(a) = o*a + a + 0*a. Let q be r(5). Sort 3, -5, q in increasing order.
-5, 3, q
Suppose 21 - 1 = -5*s. Let p be ((-4)/8)/((-3)/6). Put s, p, 2 in increasing order.
s, p, 2
Let s = 0.1 + -0.6. Let q be 34/6 - (-1)/3. Suppose q = 5*m - 7*m. Put m, s, -2 in decreasing order.
s, -2, m
Let a = 0.1 - 0.4. Let h = 0.1 + a. Let o = 2.07 + -0.07. Put o, -2, h in ascending order.
-2, h, o
Suppose 0*z + 9 = 3*z. Let n be (-1)/(6/8 + -1). Suppose -20 = 4*i + n*o, o + 3*o = i. Sort -3, z, i in increasing order.
i, -3, z
Let r(j) = -j**2 + 9*j + 3. Let i be r(9). Sort 1, 0, -2, i in increasing order.
-2, 0, 1, i
Let y(d) = 3*d**3 - d**2 - d + 2. Let u be y(1). Let h = 0.2 - 0.22. Let n = h - 4.98. Sort n, u, -1/6 in decreasing order.
u, -1/6, n
Let z = 14.1 + 3.9. Let d = 16 - z. Sort d, -1/7, -4 in increasing order.
-4, d, -1/7
Suppose 4*u - 29 = -9. Suppose 0 = 3*c + t + 1, -t + 4 = -c - u*t. Sort 3, c, -3.
-3, c, 3
Let y be 1/((-12)/(-9) + (-14)/(-12)). Sort y, 3, 0, -3 in increasing order.
-3, 0, y, 3
Let r = -0.11 + 4.11. Let i(b) = b**2 - 7*b - 3. Let h be i(8). Put h, r, 2/3 in decreasing order.
h, r, 2/3
Let u(h) = -h + 12. Let a(o) = -o + 12. Let f(r) = -5*a(r) + 6*u(r). Let z be f(11). Let q be (-1)/(-3) - 39/63. Put -4, z, q in descending order.
z, q, -4
Let v = 12 + -7. Suppose -11 = -3*b + 4*b - 4*w, v*b + 13 = -w. Sort 0, b, 2 in decreasing order.
2, 0, b
Let y(g) = -g**2 - 11*g - 14. Let a be y(-10). Let n = 3 + a. Suppose 4*w = -11 + 3. Sort n, 3, w.
w, n, 3
Let a = 19 + -19.2. Sort 0.1, a, -0.4 in ascending order.
-0.4, a, 0.1
Let f = -1 - -2. Let o(k) = k**3 + 2*k**2 - 5*k - 4. Let b be o(-3). Sort b, f, 5.
f, b, 5
Suppose 0 = -5*v - 4*v + 9. Sort -5, -1, v, -3 in decreasing order.
v, -1, -3, -5
Let p = 53 - 31. Let m = -25.6 + p. Let b = -4 - m. Put 0, b, 0.5 in increasing order.
b, 0, 0.5
Suppose -16*b - 25 = -21*b. Put -4, b, -1, 0.5 in increasing order.
-4, -1, 0.5, b
Let r = 4.08 + -0.08. Let c = -9/16 - -47/112. Sort c, 0.1, r in descending order.
r, 0.1, c
Suppose -2*a = 1 + 9. Put 3, a, 0, -2 in decreasing order.
3, 0, -2, a
Let g be (2/30)/(4/(-6)). Let h = -0.36 - -2.06. Let x = -0.3 - h. Sort g, x, 5 in decreasing order.
5, g, x
Suppose 4*x - 15 = 3*d, -2*d = x + d. Let o = x + -7. Sort -1, o, 3.
o, -1, 3
Let g = -166 - -162. Sort -0.1, -0.2, -2, g in descending order.
-0.1, -0.2, -2, g
Suppose -3*q = 16 + 5. Suppose 4*m + 12 = -0*m. Put -4, m, q in descending order.
m, -4, q
Let p be (4/21)/((-2)/(-6)). Let d(z) = -z**2 - 8*z - 6. Let c be d(-5). Let f(h) = h**2 - 8*h - 8. Let x be f(c). Put -5, p, x in increasing order.
-5, p, x
Let q be (2 - 10/6) + (-30)/36. Put -2/23, q, 1, -0.2 in decreasing order.
1, -2/23, -0.2, q
Suppose 2*p - 5*p + 6 = 0. Suppose -o = -p*o - 9. Sort -0.1, 0.5, o in descending order.
0.5, -0.1, o
Let k = -0.12 - -2.12. Sort k, 2/13, -3 in ascending order.
-3, 2/13, k
Let s = -2.4 + 0.4. Suppose -3 = 3*w - 0. Let x be 2/(-7) - (-1 - w). Put x, s, 5 in decreasing order.
5, x, s
Let u = -7 + 11. Sort 1, u, -2/9, -5.
-5, -2/9, 1, u
Suppose 3*c - 2*c = -3*t + 2, 5*t - 4*c = -25. Let j(f) = -2*f + 6. Let a be j(4). Suppose g + 16 = -3*g. Put a, g, t in increasing order.
g, a, t
Let b = -195 + 972/5. Suppose 0 = 6*g - 2*g. Sort 1/6, g, b in descending order.
1/6, g, b
Let i = 3 - 3. Let j be -2 + 4 + 7/1. Suppose 2*s + j = -1. Put -4, i, s in decreasing order.
i, -4, s
Let m(a) = -a**3 + 6*a**2 - a + 6. Let x be m(6). Suppose x*j - 3*j + 15 = 0. Suppose -2*r = 0, 2*r + 0*r - j = -5*i. Put 4, i, 2 in decreasing order.
4, 2, i
Suppose 3*a + 0 = 9. Let c be 0*((-9)/(-6) + -1). Suppose c*j = -j - 5. Sort -4, j, a.
j, -4, a
Suppose -2 = -2*x - 0*x. Let z = x + 0. Let v(k) = 5*k + 1. Let c be v(-1). Put c, z, -2 in decreasing order.
z, -2, c
Let w be (-2)/3 - (-119)/21. Suppose 0*m + 2*m + 7 = w*g, -4*g = -4*m - 8. Sort m, -3, 1 in increasing order.
-3, m, 1
Let r be (-62)/(-6) + 1/(-3). Let l = -14 + r. Let f be -4 + 5/((-10)/l). Put -3, f, -2/9 in decreasing order.
-2/9, f, -3
Suppose 0 = -5*z + 4*a + 17, -4*z - 5*a + 0 - 11 = 0. Let l = -25 - -24. Sort l, 2, z.
l, z, 2
Let j = 84.3 - 89. Let q = j - -5. Put 4, q, -3 in descending order.
4, q, -3
Suppose -32 = 2*v - 6*v. Suppose -3*n + 8*n - y + 16 = 0, -3*n + y - v = 0. Suppose -2*c = -5*m - 24, 0*m = -4*m - 16. Sort n, c, 3.
n, c, 3
Suppose 3*w - 11 = 2*w - c, w - 3*c + 5 = 0. Suppose 0 = -4*z + 8, 0 = -5*n + 3*z - 0 - 16. Sort w, n, 1 in decreasing order.
w, 1, n
Let o be 2/24*(-48)/(-9). Let m = -67 + 69. Sort o, m, -7 in ascending order.
-7, o, m
Let g = 12 - 15.6. Let y = -4 - g. Put 4, y, -2/7 in ascending order.
y, -2/7, 4
Let i = 0.897 + 0.103. Sort i, -2, -0.15.
-2, -0.15, i
Suppose -2*i + 30 = d, 4*i - 51 = -4*d + 9. Let o be (-6)/9 - 2/i. Sort -1/2, o, 3.
o, -1/2, 3
Suppose -r + 15 = 2*r. Suppose 0 = r*v - 4 + 24. Sort v, 4, -5 in descending order.
4, v, -5
Let z = 557/15 - 37. Sort -4, z, 0.5, -1/4 in descending order.
0.5, z, -1/4, -4
Suppose 0 = 5*t + 10 - 5. Let b be (t - -2) + (-15)/17. Let a = -41 + 43. Put a, b, -3/5 in decreasing order.
a, b, -3/5
Let j = 6 + -5.8. Let i = 0.6 - j. Sort 2, -1, i in ascending order.
-1, i, 2
Let q be (-8 + -2)*2/(-4). Let p = -0.3 + 0.3. Let l = 0.4 - p. Put l, 0.2, q in ascending order.
0.2, l, q
Suppose -2*x = -8*x + 12. Sort x, -3, -4, 3 in descending order.
3, x, -3, -4
Suppose 0 = -5*s + 5*d - 0*d + 5, 4*s = -4*d + 20. Let k = s + -5. Put 5, k, 0.5 in descending order.
5, 0.5, k
Let k be 0 - (3 + -4 + 4). Sort 2, 3, k in ascending order.
k, 2, 3
Let f = 2.2 - 0.12. Let q = 0.08 - f. Sort q, -1/7, -5 in descending order.
-1/7, q, -5
Let t = -16 + 22. Let y = t + -5.7. Sor