ending order.
w, 0, c
Let a = -8.3 - -8. Let x = -0.2 - a. Let v = 0.6 - 0.3. Sort v, -2/5, x.
-2/5, x, v
Let w(r) be the first derivative of -r**2 + 2*r + 2. Let t be w(3). Let i be (-1 - 3) + (-2 - t). Sort 2/7, 1, i in decreasing order.
1, 2/7, i
Let z = -4 + 8. Suppose -7*u + z = -3*u. Let y = -0.1 - -0.1. Sort u, -0.4, y in ascending order.
-0.4, y, u
Let p = 152 + -147. Put p, -3, 3, -5 in ascending order.
-5, -3, 3, p
Let a = 0.1 + 0.1. Let p = 5.7 + -6. Let y = p - 0.7. Sort a, y, 1.
y, a, 1
Let n be (-4)/2*15/10. Sort n, -4, -5 in ascending order.
-5, -4, n
Suppose 4*n - 2*n - 10 = 0. Sort n, 3, 4 in increasing order.
3, 4, n
Suppose -4*u - s + 20 = s, -3*u = s - 14. Suppose -8 = -5*m - 18. Sort u, 5, m in increasing order.
m, u, 5
Let u(n) = -4*n**3 + 0*n**3 + 5*n - 3*n**2 + 2 + 3*n**3. Let o be u(-4). Put o, 5, 0 in descending order.
5, 0, o
Let t be (-138)/(-42) + 9/(-3). Sort 3, 0.1, t in descending order.
3, t, 0.1
Let w be (-2)/4 + 18/4. Let l = 0 + w. Let g = 0 + -4. Put g, l, 3 in increasing order.
g, 3, l
Let h = 11 + -16. Suppose 3*o - 4*o + 2 = 0. Put 4, h, o in increasing order.
h, o, 4
Let b be (-105)/20*(-2)/9. Let y = -5/3 + b. Sort 0.3, y, 0 in descending order.
0.3, 0, y
Let s = -0.22 - -0.39. Let t = s - 0.1. Let y = t + 2.93. Put 1, 0, y in ascending order.
0, 1, y
Suppose -3*l + 5*l - 10 = 0. Let r be (-4)/(-1) + 18/(-6). Suppose -3 - r = -c. Sort c, 2, l in descending order.
l, c, 2
Suppose 1 = -2*f + 5, -3*y + 16 = 5*f. Let b be (8 - y)/((-3)/(-6)). Suppose -3*n + 3 = j - 0, 0 = -4*j + 5*n + b. Put -3, 5, j in descending order.
5, j, -3
Let m = -0.3 + 1.3. Suppose 4*w = -5*n - 3 + 26, 0 = 3*w - 2*n. Sort m, w, -0.3 in decreasing order.
w, m, -0.3
Let r be ((-32)/(-48))/((-2)/9). Sort 4, 2, -2, r.
r, -2, 2, 4
Suppose 0 = i - o + 4, 3*i + 10 = 5*o - o. Let a be i/(-3) - 1 - -1. Suppose 3*l = a + 13. Sort l, -5, 2 in decreasing order.
l, 2, -5
Let s = -485/12792 - 2/533. Let q = -13/24 - s. Let x = 15 + -15.3. Sort q, x, -2/25 in descending order.
-2/25, x, q
Suppose 4*k = p - 2 - 17, 2*k + 9 = p. Put k, 2, 15 in increasing order.
k, 2, 15
Let l(w) = w**2 + 4*w + 6. Let n be l(-7). Sort 0.2, n, 2 in descending order.
n, 2, 0.2
Let o be (9 - 6) + 1*-3. Suppose 0*u + u = o. Sort u, -4, 5 in descending order.
5, u, -4
Suppose 0*y - 2*y = -30. Let w = y - 12. Sort w, -5, -3 in descending order.
w, -3, -5
Suppose -12*o = 3*o + 30. Let f = -4 - -7. Sort o, f, -5 in ascending order.
-5, o, f
Let p be 2/(-2 + 0) - -15. Sort p, -2, 2 in descending order.
p, 2, -2
Let c = 1.8 + -4.8. Sort c, 0.3, -4/3 in decreasing order.
0.3, -4/3, c
Let b = -2 + 7. Let s = -3 + -18. Let i be 27/s - (-2 - -1). Sort 3, b, i.
i, 3, b
Let d(s) be the first derivative of s**4/4 - 2*s**3 + 5*s**2/2 + 3*s - 1. Let u be d(5). Let b be -2 - (0 - (2 - 0)). Put u, -5, b in descending order.
u, b, -5
Let c be (-1)/(-15)*3/1. Sort 1, c, -2 in descending order.
1, c, -2
Suppose m = -3*y - 9, 6 = -4*m + 3*m - 2*y. Suppose -15 = -m*t - 5*t. Sort 2, 0, t.
0, 2, t
Let h = -6 - -2. Let d be 2/(-6)*2 - 67. Let g = d + 67. Put g, h, 5 in decreasing order.
5, g, h
Let o = 1/69 + 22/69. Let u be 34/(-72) - (-2)/8. Let v be (-20)/(-3)*3/12. Put u, v, o in increasing order.
u, o, v
Suppose 2 = -p + 7. Sort -4, p, -2 in decreasing order.
p, -2, -4
Let y = 1.12 - 0.12. Let k = -0.1 - -0.4. Let o = -1809/7 + 258. Sort o, k, y in descending order.
y, k, o
Let f be (-7*1)/(3 - 2). Let l(s) = s**2 + 9*s + 9. Let u be l(f). Let c be (0 - (-7 - -13))/(0 - -1). Put u, c, -3 in descending order.
-3, u, c
Suppose 0 = -2*m - 3*m - 15. Suppose -12 - 3 = 3*x. Put -1, x, m in descending order.
-1, m, x
Let r be -2 + 20/12 - 0. Let g = 4 + -7/2. Sort r, 0.1, g.
r, 0.1, g
Let i = -0.59 + 0.67. Sort -0.3, 0.4, i in decreasing order.
0.4, i, -0.3
Let u = -2.2 + 2. Let b = 1.2 + -2.1. Let f = b + 1. Sort f, u, 0.04 in decreasing order.
f, 0.04, u
Let c = -0.22 - -2.02. Let l = -0.7 + c. Sort l, 3/4, 3 in ascending order.
3/4, l, 3
Let s = 18 - 15. Sort 0, s, 2.
0, 2, s
Let f = 0.04 + -0.14. Sort -0.4, -4, f in increasing order.
-4, -0.4, f
Suppose 0 = -4*j + 21 + 59. Let u be (-1 - j/(-4))*-1. Sort 1, 0, u in descending order.
1, 0, u
Let d = -0.3 - 1.7. Let i = -1.2 - -1.5. Put -0.1, d, i in increasing order.
d, -0.1, i
Suppose -o + 2*b - 1 = 0, -4*b = 5*o - 44 + 7. Sort 4, o, -4, 2.
-4, 2, 4, o
Let z = 1 + 4. Let y(b) = 4*b - 3. Let o be y(3). Let a = 13 - o. Sort z, a, -3.
-3, a, z
Let z be ((-16)/18)/4 + (-110)/(-90). Sort 4, -5, z.
-5, z, 4
Let p be (-2)/(-42) - (-4)/(-12). Let c = -0.02 + 0.22. Sort p, c, -0.1.
p, -0.1, c
Let y = 8.2 - 8. Let f = 1.4 + -1.1. Sort -4, y, f in increasing order.
-4, y, f
Suppose 42 = -23*y + 26*y. Sort -4, 0, y in descending order.
y, 0, -4
Let x = 16 - 16.9. Let k = x + 1. Let o = -4.91 - 0.09. Sort k, 1, o in descending order.
1, k, o
Suppose -2*l + 4*l = -4. Put l, 3, -3 in descending order.
3, l, -3
Let b = -36.2 + 32. Let i = 4 + b. Let a = 3/5 + 1/15. Put 5, i, a in decreasing order.
5, a, i
Let z be (-1)/(-2)*(-3 - -3). Let r be (-3)/(-1) + z/3. Sort -5, 5, r in ascending order.
-5, r, 5
Let l = 0 - 0.4. Let x = -596 + 588. Sort -3/4, l, x.
x, -3/4, l
Let n = -1 - -1.3. Let z = -4.3 + 1.3. Sort n, z, -1/3 in ascending order.
z, -1/3, n
Let o = 0.05 + 0.15. Sort 5, o, -5.
-5, o, 5
Let q = -4/29 - 22/261. Put -5, q, -0.3 in increasing order.
-5, -0.3, q
Let t be (8/2)/(2 - 0). Suppose 0 = t*g - 0*g + 6. Let i(n) = -n**2 + 6*n - 1. Let b be i(5). Put b, g, 2 in descending order.
b, 2, g
Let o be (-6)/(-88) - (-5)/(-20). Sort -5, 2, o in increasing order.
-5, o, 2
Suppose 3*j + 2*h - 4 = 0, 4*j - 2*j + h = 2. Sort 0.5, 0.4, -1/2, j in ascending order.
-1/2, j, 0.4, 0.5
Suppose -3*i = -30 + 9. Let g = i - 2. Sort g, 3, -3 in descending order.
g, 3, -3
Let z = -59 - -294/5. Sort z, -1, -0.4.
-1, -0.4, z
Let r be (-1 + 0)*-4 - 1/1. Put -5, 7, r in decreasing order.
7, r, -5
Let o = -41 - -5. Let y be (-4)/(-18) + 8/o. Suppose -4*s + 6 + 10 = 0. Sort s, 1, y in decreasing order.
s, 1, y
Let g = -3 - 0. Let s(h) = 2*h - 3. Let j be s(4). Put g, -8, j in increasing order.
-8, g, j
Let w be (-3)/2*(-2)/(-3). Suppose 2*d - 4 = 0, 2*c - 3*d + 2*d - 40 = 0. Suppose 13 = -5*y - m, -3*m - c = 5*y - 2. Put 1, w, y in descending order.
1, w, y
Let j = -60 - -62. Put j, 0.5, 5, -0.1 in decreasing order.
5, j, 0.5, -0.1
Let z = -15/26 + 187/234. Let a = 0.9 - 5.9. Let o = a - -1. Sort o, z, 4/9 in ascending order.
o, z, 4/9
Suppose -4 = 4*j - 16. Let x = -3 + j. Let i be 2/(x - (-6)/15). Sort -3, 3, i.
-3, 3, i
Let m = -24 + 22.3. Let k = -1.83 - m. Put k, -0.1, 0.3 in descending order.
0.3, -0.1, k
Let o be (-3)/6 + (-15)/(-6). Put -5, -2, o, 11 in increasing order.
-5, -2, o, 11
Let v be 11/(-20) + (-3)/12. Put 1, v, -0.4 in increasing order.
v, -0.4, 1
Let k = -2 - -8. Sort -1, -5, k in increasing order.
-5, -1, k
Suppose 6 - 2 = -4*x. Suppose 4*i = 7*i - t + 13, i + 2*t + 9 = 0. Sort x, i, -3 in descending order.
x, -3, i
Let p = -6 - 1. Let q = p - -6. Let l = 0.02 - 3.02. Put l, -5, q in decreasing order.
q, l, -5
Let g = -10 - -7. Sort -5, -2, g in descending order.
-2, g, -5
Let k = -0.04 - 5.96. Let y = 6 + k. Put 3/2, y, -0.4 in descending order.
3/2, y, -0.4
Suppose -5*l = 0, -o - 4 = -l + 4*l. Let a(h) = h**3 - h**2 - h - 1. Let x be a(-1). Let q be (0 - -2)/(-2)*x. Put q, 5, o in descending order.
5, q, o
Let s = 3.8 + -1.3. Let l = s - 3.5. Let b = -0.3 - -0.8. Put b, 3, l in descending order.
3, b, l
Suppose 137*u - 112 = 165*u. Let x(z) = -6*z + 2. Let p be x(-2). Suppose k + 0*b - p = 3*b, -26 = -4*k + 2*b. Put k, u, -1 in increasing order.
u, -1, k
Let c(n) = -8*n - 12. Let g be c(-8). Let x = 158/3 - g. Sort -0.2, 0, x in decreasing order.
x, 0, -0.2
Suppose 3*c + 1 = 3*b - 35, 12 = -4*c - 5*b. Let j be (c/(-14))/((-2)/(-7)). Sort -1, 1, j.
-1, 1, j
Let h be (8/(-132))/((-6)/(-9)). Put 3, h, -1/3 in increasing order.
-1/3, h, 3
Let m = 4.05 + -0.05. Let a be (-2)/9 + 170/360. Sort a, -5, m in decreasing order.
m, a, -5
Let a = -20 - -25. Put -4/3, a, 3/5 in descending order.
a, 3/5, -4/3
Let g be ((-66)/75)/(1/(-5)). Let o = 4 - g. Sort 12, o, -4/7 in increasing order.
-4/7, o, 12
Let i(t) = 7*t - 3. Let k be i(4). Suppose 0 = -7*j + 2*j