3 - v. Sort 2, 5, b in descending order.
5, b, 2
Let i = -0.04 - -0.04. Let g be (-1)/1*(-24)/40. Sort g, -2, i in decreasing order.
g, i, -2
Let v = -3 - 0. Suppose 0 = -2*k + 6, b + 3*k = 10 - 2. Sort b, v, 4 in increasing order.
v, b, 4
Let o(i) = i**3 - i**2 - i - 2. Let k be o(2). Suppose k*p - 10 = 2*p. Sort 1, -3, p in decreasing order.
1, -3, p
Suppose -2 = -3*s - 14. Let y = s + 4. Sort 0.5, y, 4.
y, 0.5, 4
Suppose -4*m - 2 = j + m, 5*m = 2*j - 11. Let t be j/(-2)*8/(-66). Put 4, -0.2, t in descending order.
4, t, -0.2
Let x be 1 + -2 - 3/(-6). Put 2, -0.4, x in increasing order.
x, -0.4, 2
Let s = 0.2 - -0.3. Let o be 2/(-2) - (-12)/(-6). Let d be 12/(-28)*1/o. Sort s, d, -1 in increasing order.
-1, d, s
Let g = -3.6 + 2.6. Put 0.5, 0.4, g in decreasing order.
0.5, 0.4, g
Let f = 179302/63 + -21114/7. Let a = f + 170. Let s = 0.7 + -0.3. Sort 4/5, s, a.
a, s, 4/5
Let f = -5 + 11. Suppose 4*y + 4 = 0, 0*n + 4*n + 2*y - f = 0. Suppose 5*l + 3 = 8*l. Sort l, 0, n in descending order.
n, l, 0
Suppose 5*k + 35 = -5*m, -m - 5*k - 13 - 14 = 0. Sort -5, 3, m.
-5, m, 3
Let o(d) = -d**3 + 2*d**2 + 2*d. Let l be o(3). Put 3, -2, l, -5 in decreasing order.
3, -2, l, -5
Suppose -8*j - 3 = i - 7*j, -12 = i + 4*j. Sort i, -2, 2 in increasing order.
-2, i, 2
Let l = -12 + 8. Put -12, l, -5 in descending order.
l, -5, -12
Let l = -5.08 - -0.08. Let z(h) be the third derivative of h**4/24 - 5*h**3/2 + 4*h**2. Let j be z(11). Sort j, -2, l in descending order.
-2, j, l
Let n = -9 + 14. Sort 3, n, 6.
3, n, 6
Suppose -2 = -3*p + 4. Put 0, -3, p in decreasing order.
p, 0, -3
Suppose -5*s + 0 - 5 = 0. Suppose -12*x + 9*x - 9 = 0. Put -4, s, x in decreasing order.
s, x, -4
Suppose 14 + 18 = -8*h. Put 1, 0, -3, h in descending order.
1, 0, -3, h
Let m(l) = -l**3 + 9*l**2 - 8*l + 3. Let y be m(8). Put -4, y, -3 in ascending order.
-4, -3, y
Suppose -3*a + 2*a = -2. Sort 3, a, 4.
a, 3, 4
Let j(i) = -6*i + 2. Let q be j(-2). Let l be (q - 2) + 4/(-2). Suppose 2 = 4*b - l. Sort b, 2, -0.3 in increasing order.
-0.3, 2, b
Let j = 1/222 + -449/1110. Let n be (-5)/(-21) + 28/(-42). Sort n, j, -5 in increasing order.
-5, n, j
Let o = -1.2 + 1. Sort 4, o, 0.1.
o, 0.1, 4
Suppose 4*h - 4*k + 3 = -1, 1 = -k. Sort 5, -1, h in descending order.
5, -1, h
Let w = -3.98 - 0.02. Let b = 9 - 28/3. Put w, 2/5, b in descending order.
2/5, b, w
Let j be 4 - 4*5/4. Let u be ((-1)/j)/(1/(-2)). Sort 0, u, -4 in increasing order.
-4, u, 0
Let n = -311/6 + 52. Sort 0.2, n, -5, -4.
-5, -4, n, 0.2
Let g = -20 - -79/4. Let u = 1/299 - -297/598. Put u, g, -3 in increasing order.
-3, g, u
Let b be (-4)/30*(-12)/8. Sort -0.5, b, 3 in increasing order.
-0.5, b, 3
Let m = -0.1 + -0.1. Let u = m - -0.2. Let n = 0.5 + u. Sort 0, n, -1 in ascending order.
-1, 0, n
Suppose y = 3*y - 8. Suppose 8 = -b - y. Sort b, 4, 0.5 in descending order.
4, 0.5, b
Let i be (0 + 2)*10/(-4). Put 0, 1, i in descending order.
1, 0, i
Let n = -0.2 - -0.5. Let q = 1.1 + 3.9. Put q, n, 2/7 in descending order.
q, n, 2/7
Let w = -1 + -1. Let z(d) = -d**3 - 2*d**2. Let x be z(-2). Suppose 0*n - 5 = -n - j, -2*n - 4*j + 16 = x. Put 1/4, w, n in ascending order.
w, 1/4, n
Suppose -5*m + 2*m + 27 = 0. Suppose 3*i - 6*i - m = 0. Put -2, -5, i in ascending order.
-5, i, -2
Let q(x) = -3 + x + 0 + 5*x + x**2. Let o be q(-7). Let a be o*(-3)/(6*-1). Put 4, 1, a in increasing order.
1, a, 4
Suppose 5*g = -0*g - 25. Let p = -137 - -140. Sort p, 0, g.
g, 0, p
Let b = 106 - 103. Suppose -3*g = -g - 3*u - 10, 5*g - 3*u - 25 = 0. Suppose -2*z = 2*h - g*h + 7, -20 = -4*h. Put z, b, -2 in decreasing order.
z, b, -2
Suppose 0 = -s + k + 1, -4*k - 5 + 13 = 2*s. Suppose -5*f = 18 + s. Suppose -z = -6*z + 5. Sort z, f, -5 in descending order.
z, f, -5
Let z be ((-219)/6 - 2)*2. Let g be 2/(-9) + z/(-63). Sort 4, g, -2.
-2, g, 4
Let v be (-4)/((1 + 0)*1). Let b be 3/(2 - -1) - v. Sort 4, b, -2.
-2, 4, b
Let m(l) = 4*l - 9. Let h be m(3). Sort 1, h, -1, -5 in decreasing order.
h, 1, -1, -5
Let y = -73 - -73. Put 2, -0.3, -2/9, y in increasing order.
-0.3, -2/9, y, 2
Let z = 39 - 37. Sort z, -1, -3 in ascending order.
-3, -1, z
Let i be -3*(-1 - 0)*-1. Let b = 0.5 + -5.5. Let j = -10 - b. Put j, i, -1 in ascending order.
j, i, -1
Suppose -16 - 3 = -5*h + a, -4 = -4*a. Let c = 6 - 6. Let v = -10 + 8. Sort h, v, c.
v, c, h
Let x(j) = -j**3 + 5*j**2 - 5*j + 4. Let v = 2 + 2. Let o be x(v). Put o, -0.5, 0.2 in ascending order.
-0.5, o, 0.2
Let z = 0.05 - 5.05. Sort z, -2/7, 3/8 in increasing order.
z, -2/7, 3/8
Let a(z) be the first derivative of -z**3/3 + 13*z**2/2 - 6*z + 2. Let o be a(12). Put o, 2, -5 in decreasing order.
o, 2, -5
Suppose -2*l = -1 + 3. Suppose -10 = 2*p - 5*d, -p - d + 4*d = 5. Sort p, l, 5 in ascending order.
p, l, 5
Let u = 16 - 16. Let c = 1.5 - 3.5. Sort c, -3/2, u in ascending order.
c, -3/2, u
Let r be (-1 - -1) + 2/9. Sort 2/7, r, 4 in ascending order.
r, 2/7, 4
Let q = 0.31 + -0.01. Let f = 0.3 - 0.5. Let u = f + q. Put 0, -2, u in increasing order.
-2, 0, u
Let i be -3 + (0 - -2) + -4. Let l = -2 - -3. Sort l, i, -2.
i, -2, l
Let i = 17 - 17. Put 0.4, -0.07, i in ascending order.
-0.07, i, 0.4
Suppose 0 = p - 3*p - 2*f, -f = -3*p. Sort p, 2, 24 in increasing order.
p, 2, 24
Suppose 0 = -w - 4*m - 7, 2*w + 4*m + 4 = -2*w. Let u be (-5)/(((-1)/w)/(-1)). Let y be -4 + 6 + 0 + -1. Sort u, -4, y.
u, -4, y
Let q(o) = o**3 + 8*o**2 + 6*o - 9. Let y be q(-7). Let r = 4 + -3. Put 4, r, y in increasing order.
y, r, 4
Let f = 4 + 12. Let a = 18 - f. Sort a, 4, 0 in increasing order.
0, a, 4
Let j = -16 - -50/3. Let o = 20 - 22.6. Let u = o - -2.8. Sort u, 1, j in increasing order.
u, j, 1
Let c(g) = g**3 + 3 + g**2 - 2*g - 2*g**3 + g**2. Let d be c(2). Suppose -2*j - 4*f = f - 21, 2*f - 9 = -j. Put j, -0.4, d in descending order.
j, -0.4, d
Suppose -y + 4*y = -9. Let u = -18 + 13. Suppose -16 = 4*f - 8*f. Sort u, y, f in decreasing order.
f, y, u
Let q be ((-2)/2)/(1/(-12)). Let z be (-6)/q + (-3)/(-2). Sort 4, z, -1.
-1, z, 4
Let q(o) = 5*o**2 - 15*o + 4. Let h be q(3). Put h, -5, -2 in descending order.
h, -2, -5
Let r = -56 - -391/7. Put -5, r, 0.02 in decreasing order.
0.02, r, -5
Let n = 2/1151 + -2336/19567. Let h = -21 - -20.5. Put 0.5, h, n in increasing order.
h, n, 0.5
Let d = 78 - 77. Put d, 11, 5 in decreasing order.
11, 5, d
Let x = 6 + -5.4. Let y = 2.2 + -1.5. Let z = x - y. Put 3, -3, z in ascending order.
-3, z, 3
Suppose 0 = y + 14 - 2. Let l(c) = -c**2 + 11*c - 11. Let d be l(10). Put -2, y, d in increasing order.
y, -2, d
Suppose -8*q - 4 = -4*q. Let w = -0.1 - 0. Sort q, 0.2, w in descending order.
0.2, w, q
Suppose -3*h - 117 + 105 = 0. Sort 2, -3, h, 4.
h, -3, 2, 4
Let n = 8 + -6. Sort -3, n, -5 in increasing order.
-5, -3, n
Suppose 0*l + 3*l - 4*w - 21 = 0, -5*l + 2*w = -21. Suppose 2*c = -8 + 4. Put l, 0, c in decreasing order.
l, 0, c
Let k = 0.25 - 2.27. Let o = k - -0.02. Put -3/5, -1/4, o in decreasing order.
-1/4, -3/5, o
Let v = -0.2 - 0.3. Let a = 4.5 + v. Sort a, -0.2, -2/21 in descending order.
a, -2/21, -0.2
Suppose -4*l = -1 + 5, -2*c + l - 1 = 0. Let j(y) = 2*y**3 + 3*y**2 + 3*y + 3. Let x be j(-2). Sort 5, x, c in increasing order.
x, c, 5
Let d = -30 + 30. Let f = -250 - -7501/30. Let b = f - 11/30. Put 0.3, b, d in ascending order.
b, d, 0.3
Suppose -77*z + 81*z + 8 = 0. Let l = -1.5 + 2. Let m = l + 7.5. Sort z, 0.2, m in decreasing order.
m, 0.2, z
Let u be ((-9)/(-9))/(22/(-4)). Sort u, 0.5, -5.
-5, u, 0.5
Let k = 52 + -365/7. Sort -4, 2/11, k, 0.5 in decreasing order.
0.5, 2/11, k, -4
Let v be (-450)/75 - ((-1 - 3) + 1). Let q = 3 + -5. Sort v, -5, q.
-5, v, q
Suppose -3*v + 8*v = 0. Let u = -5 + v. Let i be 15*((-1)/3*5 + 2). Sort 4, u, i in descending order.
i, 4, u
Let n(x) = -x**2 + 9*x - 2. Let i be n(10). Let j = i + 17. Sort -5, 1, j in descending order.
j, 1, -5
Let g = 21063/1930 - 13/965. Let f = g + -42/5. Sort f, 0.5, 5.
0.5, f, 5
Let q = 585 - 589. Let k = 7 + -12. Sort 3, k, q in descending order.
3, q, k
Suppose -2*o - 3 = -1. Let c be 3 + -2 - (2 - o). Sort 5, c, 0 in ascending order.
c, 0, 5
Let g(t) = -t**3 + t**2 - 2*t + 4. Let j be g(0). Sort 2, j, 5, -4.
-4, 2, j, 5
Let m be 1/(-4 + 2)*-12. Put m, 4, 3/5 in descending order.
m, 4, 3/5
Let s(a) = a**2 - 14*