et o be (-2)/(-4)*(-4)/21. Put 0.2, q, o in decreasing order.
q, 0.2, o
Let z = -22 - -21. Put z, -2/5, -5 in descending order.
-2/5, z, -5
Suppose 0 = -2*x + 5*x - 45. Suppose 6*c - x = c. Sort -2, 4, c in decreasing order.
4, c, -2
Let r = -5 - -4. Let t be r*1/(-12)*-3. Put -6, t, -5 in descending order.
t, -5, -6
Suppose 3*c + 4*d = -10, 4*c + d - 3 = 1. Suppose -5*k - 8 = 7. Sort 0, k, c in decreasing order.
c, 0, k
Suppose 0*w - 20 = -4*w. Let f be (-1)/(-3) - w/(-15). Sort f, 0, -0.3 in decreasing order.
f, 0, -0.3
Let j be 12*((-10)/(-4))/(-5). Let n be (-16)/(-4)*2/(-4). Put -3, n, j in descending order.
n, -3, j
Suppose -3 = o - 9. Suppose 3*z + z + o = -2*w, 3*w = -3. Let s be 4/14 + 38/14. Put -4, z, s in decreasing order.
s, z, -4
Let k = -17 + 9. Put 0, k, 1/4 in decreasing order.
1/4, 0, k
Let w = -64 + 65. Sort -4, w, -26 in descending order.
w, -4, -26
Let g = 17 - 15.9. Let k = 0.8 - g. Suppose -17 = 6*s - 35. Sort k, s, 0.4 in increasing order.
k, 0.4, s
Let g(d) = -d**2 - d + 1. Let v be g(0). Put v, 4, -2 in ascending order.
-2, v, 4
Let j(v) = -2*v + 9. Let c be j(7). Suppose 0 = -5*r + 2*p + 5, -3*r + 2*p + 3 = 0. Put c, 3, r in ascending order.
c, r, 3
Suppose -8*a + 25 = -3*a. Let q(j) be the second derivative of -j**4/12 + j**3 - j**2 + j. Let z be q(a). Put -1, 5, z in decreasing order.
5, z, -1
Suppose -12 = -3*n - 3. Suppose 20 = -3*i + 5*s + 51, 5*s + 21 = -2*i. Put i, -1, n in decreasing order.
n, i, -1
Let u = 55/6 + -281/30. Let t = 4 + 0. Put t, -8, u in decreasing order.
t, u, -8
Let k be -2 + (-8)/(-3)*6. Suppose -5*p - 2*l = -50, 2*p + 4*l = 6 + k. Let q = -8 + p. Put -0.1, q, -5 in descending order.
q, -0.1, -5
Let l = 0 + 0.3. Suppose 2*r = 5 + 1. Sort l, r, -0.3 in decreasing order.
r, l, -0.3
Let n be (-4)/(-6) - 2/6. Let f = 14.1 - -1.9. Let o = -15.5 + f. Sort o, n, -0.2 in increasing order.
-0.2, n, o
Let x = 128 - 130. Sort x, 2/11, 1/6, -1 in ascending order.
x, -1, 1/6, 2/11
Let r = 150.18 + -152. Let h = r + -0.18. Sort -3, 1, h in descending order.
1, h, -3
Let i(g) = g - 3. Suppose -2*x - 2*x = -24. Let h be i(x). Suppose -2*c = c + d, 0 = h*c + 5*d. Put c, -4/5, -2 in increasing order.
-2, -4/5, c
Let a = 0.02 - 3.02. Suppose s + 15 = -p + 5*s, 4*p - 15 = s. Sort a, -0.3, p.
a, -0.3, p
Let d = 29 + -28. Let f = -12 - -7. Sort f, d, 0.4 in descending order.
d, 0.4, f
Let x = 1.4 + -1.6. Put 0.7, 1/4, x, 4 in decreasing order.
4, 0.7, 1/4, x
Suppose -m - 12 = -5. Let h = 11 + m. Suppose -2 + h = -r. Sort 4, r, -5 in decreasing order.
4, r, -5
Let c = -0.212 + -0.088. Let y = 8.3 - 9. Let r = 0.2 + y. Sort r, c, 2 in descending order.
2, c, r
Let z be (-5)/(-1)*(0 + 1). Suppose 0 = -5*w - o - 5, -z*o = -w + 24 + 1. Let j(b) = b + 4. Let i be j(-5). Sort i, -2, w.
-2, i, w
Let a = 38 - 42. Sort 5, -0.5, a, 0 in increasing order.
a, -0.5, 0, 5
Suppose -4*f - 6 = -3*i, f - 6*i = -3*i - 6. Suppose f*p = p + 2. Let g be (-4)/10 - 34/(-10). Put g, 2, p in increasing order.
p, 2, g
Let q be (1 - (-1)/1) + 0. Let s = 0 + -5. Let y be (-6)/(-15) + (-3)/s. Sort y, q, 4 in decreasing order.
4, q, y
Let j be ((-5)/(-10))/(3/2). Put -3, j, -0.4 in descending order.
j, -0.4, -3
Suppose -2 = -3*q + 4. Let p be (-2 - 0)/((-1)/(-2)). Suppose 0 = -3*h + 4*k, 0 = -3*h - h - 3*k. Sort h, q, p in descending order.
q, h, p
Let q = 158 + -161. Put 3, -4, 2, q in decreasing order.
3, 2, q, -4
Suppose 6*y = 5*y - 21. Put -2, -3, y in decreasing order.
-2, -3, y
Let i = -22 + 18. Sort i, -2, 2.
i, -2, 2
Let t be ((-46)/16)/(2/(-44)). Let v = t - 63. Put -1, v, 0.3 in descending order.
0.3, v, -1
Suppose -t + 2 + 5 = -3*x, 2*x = 4*t - 18. Suppose t*j + 0*j - 16 = 0. Suppose 5*a + 1 = 6. Put j, -5, a in descending order.
j, a, -5
Let q(h) = -h**3 + 2*h**2 + 3*h - 5. Let t be q(2). Sort 3, t, 0, 8 in increasing order.
0, t, 3, 8
Let c(s) = -s + 4. Let m(a) = 2*a - 9. Let p(f) = -7*c(f) - 3*m(f). Let i be p(-3). Let n be (1*-1)/((-1)/i). Sort 3, n, 0 in decreasing order.
3, 0, n
Let u = 2 - 0. Sort -4, -5, u in increasing order.
-5, -4, u
Let r = -0.6 - -1. Let i = -0.4 + r. Let k = -7 + 4. Sort i, k, -2 in increasing order.
k, -2, i
Let g be 1/((5 - 2)/3). Sort -0.5, g, 0 in increasing order.
-0.5, 0, g
Suppose -3*d - 10 - 9 = 5*l, -l + 3*d = 11. Suppose -5 = 4*y - 1. Put y, 1, l in descending order.
1, y, l
Let s = -24 - -17. Sort s, 3, 2 in increasing order.
s, 2, 3
Let z = 4.993 + 0.007. Sort 2/19, -0.1, z, 7 in decreasing order.
7, z, 2/19, -0.1
Let o = 13 - 13. Sort 0.4, o, 2/17 in decreasing order.
0.4, 2/17, o
Let x be -3*2*(1 + 0). Let m(g) = g + 3. Let k be m(x). Let i(n) = -3*n**3 + n**2 - n - 1. Let c be i(-1). Sort c, 2, k in descending order.
c, 2, k
Suppose 2 + 3 = -m. Let c = m - -2. Let d = -10/11 + 17/55. Sort c, d, -2 in decreasing order.
d, -2, c
Suppose 4*q + c + c = 0, -4*q + 2*c = 0. Let d = -3 - -8. Let i = d + -4.6. Sort q, i, 0.3 in decreasing order.
i, 0.3, q
Let j = 10.8 - -0.2. Let d = 7 - j. Let y = -3.5 - d. Put 3, -0.1, y in descending order.
3, y, -0.1
Suppose 2*w + 8 = 0, 3*u - w + 6 - 19 = 0. Suppose 0 = u*y + y + 20. Suppose -4 - 8 = -3*c. Put y, 0, c in descending order.
c, 0, y
Let i = -40 - -39. Sort 24, i, 0 in decreasing order.
24, 0, i
Let v = -127/3 - -42. Let h = -2 - -1. Let q = -0.1 + 0.2. Sort v, q, h in ascending order.
h, v, q
Let i = 83/2 - 42. Sort 0, 3, i in ascending order.
i, 0, 3
Let c = 25 + -50. Let r = c - -27. Sort r, -0.4, -3 in increasing order.
-3, -0.4, r
Suppose 3*g - w = -0*w - 8, 0 = g + 4*w - 6. Let s(l) = l - 7. Let r be s(12). Put -5, g, r in decreasing order.
r, g, -5
Let s be (-85)/(-51)*(8/2 - 1). Put -4, s, 2, -13 in descending order.
s, 2, -4, -13
Let m = 0.81 - -0.19. Put m, 4, 0.1 in decreasing order.
4, m, 0.1
Suppose 4*r + 2*v - 16 = 0, 27 = 5*r - 3*v + 7. Suppose -9 = d + 4*q + 6, d + q = -6. Let z be 1 + (-1 - (4 - 0)). Sort d, z, r in increasing order.
z, d, r
Suppose -4*l + 0*l + 32 = 0. Suppose -5*j + l = -j. Let g(t) = -t**2 - 9*t - 9. Let k be g(-7). Sort j, k, 4 in ascending order.
j, 4, k
Suppose 6 + 2 = -4*j. Suppose -17*w - 5 = -18*w. Sort w, j, 9 in decreasing order.
9, w, j
Suppose 0 = -9*m + 4*m - 3*o - 28, -25 = 4*m + 5*o. Suppose -3*c - 6 = -c - u, -4*c = u + 18. Let s be (c/(-6))/((-2)/6). Put m, s, 5 in decreasing order.
5, s, m
Let v be 0/3 - (-2)/(-5). Let y be -3 - 1 - -1 - 1. Let w = 0.2 - -0.8. Sort w, v, y in descending order.
w, v, y
Suppose 4*b - 7*b = -9. Sort b, 1/4, -1/6 in ascending order.
-1/6, 1/4, b
Suppose -2*j - 3 = -4*m + 1, -2*j + 2 = -2*m. Put 5, -2, m, 4 in decreasing order.
5, 4, m, -2
Let z be -1 + (8 + -2)/(-3). Let j be -3 - (z - -1) - -1. Let l = -3 - j. Put 2, 0, l in increasing order.
l, 0, 2
Let h = 5/12 - 1/12. Let k = 1 + -13. Let s = -11.9 - k. Put h, s, 2 in increasing order.
s, h, 2
Let j = 755 - 757. Let t be (-1 + 2)/(-4 - 1). Sort 1, t, j in ascending order.
j, t, 1
Let x(r) = r**3 - r**2 + 2. Let k be x(0). Let m = 4 - k. Let z be 6 + -3 + 0 + m. Sort 0, -4, z.
-4, 0, z
Let p = 11 - 8. Suppose y + 1 - 3 = -r, p*y - 3*r = 0. Suppose 2*k + 3 = y. Sort -3, 2, k in increasing order.
-3, k, 2
Let m(l) be the third derivative of 0*l - 2*l**2 + 5/3*l**3 + 0 + 1/24*l**4. Let t be m(-6). Sort -2, t, -1.
-2, -1, t
Let f be (6/(-15))/((-4)/5). Let r be (-1 - 5)/(15/(-10)). Suppose -r*i = 2*y + 14, -3*i = y + 2*y + 9. Sort 0, f, y in increasing order.
0, f, y
Suppose 5*p - p = -36. Let s be (-1 - 12/p)/1. Let d(t) = t**3 - 5*t**2 + 3*t. Let j be d(4). Sort j, 0, s in decreasing order.
s, 0, j
Let c = 0.129 - -0.371. Sort -2/21, 0, c, 0.2.
-2/21, 0, 0.2, c
Suppose -3*q - 3*r + 36 = 0, 3*r + 16 = 4*q - 18. Let m = q + -7. Sort -4, m, 1.
-4, 1, m
Let j = 1174 + -12931/11. Let a = 15/11 + j. Put a, 4, -1/6 in decreasing order.
4, -1/6, a
Let g = -1.01 - -1. Let u = -0.41 - g. Let b = -0.4 - u. Sort b, -3/5, 0.2 in decreasing order.
0.2, b, -3/5
Let f = -2.98 + -0.02. Let m = 0.96 + 0.04. Let g = m - 0.7. Sort -2/3, g, f in decreasing order.
g, -2/3, f
Let a be (-3 + 1)*48/216. Put 3, 0.5, a in decreasing order.
3, 0.5, a
Let l = 0 - 2. Put 2, -0.4, -1, l in ascending order.
l, -1, -0.4, 2
Let c = -6 - -4. Let s = 4 + c. Sort 1, s, 5 in decreasing order.
5, s, 1
Let o be (-3)/5 - (-8)/(-20). Let r(y) = 2 -