easing order.
f, -0.3, i
Suppose -w + 5*c - 17 = 0, 3*c + 0*c - 12 = 0. Let f be 21/(-5) - (-1)/5. Put w, -3, f in ascending order.
f, -3, w
Let t = -2 - -1.2. Let j = -1 - t. Let n = -1.04 - -0.04. Sort n, j, 2 in descending order.
2, j, n
Let p = 0.7 - 1. Let r = p - -0.5. Let f be 3/(-6)*8/(-22). Sort -0.3, f, r in ascending order.
-0.3, f, r
Let y be -1 - (18/5)/(-2). Put 0.1, 2/3, y in increasing order.
0.1, 2/3, y
Suppose t = 3*b + 43, 0 = -5*t - 0*t + 4*b + 160. Suppose 4*m + 5*h + 4 = h, 0 = -4*m + 4*h - t. Let o = -4 - m. Sort -5, 5, o in ascending order.
-5, o, 5
Let t = 27 - 13. Let a = t + -43/3. Suppose 4*k = 4*g - 36, -11 = g - 5*k + 9*k. Sort a, g, -1/6 in increasing order.
a, -1/6, g
Let f(x) be the first derivative of x**2 + 6*x - 3. Let n be f(-4). Sort 0, n, -4 in decreasing order.
0, n, -4
Suppose -4*j = -2*k + 18, -3*k - 2*j + 4 = -7. Suppose k*h + 0 = 5. Let l be 2/(1 - 1 - 1). Put -5, l, h in decreasing order.
h, l, -5
Suppose -1 = -o - 8. Sort 4, o, -2, 0 in increasing order.
o, -2, 0, 4
Suppose 4*t + 28 = -0*t + 4*d, 5*t - 4*d = -31. Let a = 30 + -26. Suppose -2*b - 12 = -a*h + 3*b, -2*h - b = -6. Put t, h, 4 in ascending order.
t, h, 4
Let z(a) = -a + 11. Let r be z(11). Sort 2, -2, r.
-2, r, 2
Let j = 5 - 3. Let b = 0 - 2. Let t(n) = 2*n + 5. Let r be t(-5). Sort b, j, r.
r, b, j
Suppose 4 = j - 1. Let f = -0.05 - 0.35. Put f, j, 4 in decreasing order.
j, 4, f
Let d be -1 - (-4 - 0 - -7). Sort d, -3, 3 in descending order.
3, -3, d
Suppose -65 = -g - 67. Suppose 0 = 3*t - 8 - 7. Suppose 3*a = 2 - t. Put g, a, -3 in increasing order.
-3, g, a
Suppose p + 5*w = -2, -5*w = 4*p - 0 + 8. Sort p, 5, -3 in ascending order.
-3, p, 5
Let y = -0.8 + -0.2. Sort -2, y, -1/2 in decreasing order.
-1/2, y, -2
Let v be 2/(-4)*(-2)/(-1). Suppose 2*y - 38 = -4*b - 0*b, -5 = -b + 4*y. Let u(q) = -q + 6. Let l be u(b). Sort 5, v, l in decreasing order.
5, v, l
Let v = -99 + 95. Sort v, -1, 1.
v, -1, 1
Let k(q) = 3*q - 24. Let o be k(7). Put 0.5, -1, o in increasing order.
o, -1, 0.5
Suppose -5*x + 11 = -9. Suppose -2*i - x = -5*p, -i + 3*p = -2 + 4. Let a = 11 + -15. Sort 5, i, a in decreasing order.
5, i, a
Let l = -2/58543 - -15279737/409801. Let c = 37 - l. Put -4/5, 3, c in descending order.
3, c, -4/5
Let f be (-9)/(-2) + 1/2. Suppose 4*v + f = -11. Put 0, -1, v in descending order.
0, -1, v
Suppose 0*h + 8 = -2*h - 2*q, h - 2*q = -1. Sort h, -36, -4, 1 in decreasing order.
1, h, -4, -36
Suppose 5*d + 3*q + q + 2 = 0, -3*d + 2*q + 12 = 0. Suppose -2*m - 8 = d*m. Sort -4, m, -1.
-4, m, -1
Let j = 31 + -31.1. Sort 0.3, 3, -11, j in descending order.
3, 0.3, j, -11
Let t = -5 - -3. Suppose 2*l + 794 = -4*w, -2*w - 4*l = -l + 407. Let y = -1565/8 - w. Sort y, t, 2/13 in descending order.
y, 2/13, t
Let w = 1 + -9/8. Sort 0, -0.2, 1/7, w.
-0.2, w, 0, 1/7
Let a = 117 - 1288/11. Let u = 51 + -46. Put 1/2, a, u in decreasing order.
u, 1/2, a
Let m(a) = a**3 + 2*a**2 - 2*a - 3. Let i be m(-3). Sort 1, i, -5 in increasing order.
i, -5, 1
Let m be (-6)/(-8) - (-30)/(-8). Put 0, 3, m in descending order.
3, 0, m
Let q = 115 + -118. Let z = 0.8 + 4.2. Suppose -j - n - 6 + 4 = 0, 0 = 5*n + 15. Sort z, j, q in decreasing order.
z, j, q
Let m = 6 - 11. Let b be (-56)/63 - 2/(-9). Put -0.2, m, b in ascending order.
m, b, -0.2
Suppose -4*f = -v - 5 + 13, -2*v - 3*f = -5. Sort 7, v, 3 in descending order.
7, v, 3
Suppose -3*v + 5*t - 3 = 5, -t + 4 = 0. Sort -5, v, 2 in increasing order.
-5, 2, v
Suppose -2*z = -d + 9 - 4, 5 = -z. Put 0, d, 5 in descending order.
5, 0, d
Suppose 10 = 4*u - 2. Sort -4, -1/4, -2, u.
-4, -2, -1/4, u
Let x(h) = -h + 17. Let z be x(18). Sort 13, 4, z, -4.
-4, z, 4, 13
Let p be 2/(-5) + (-52)/(-5). Let j = p - 7. Sort 2/5, j, 1 in decreasing order.
j, 1, 2/5
Let o = -17 + 17.2. Sort o, 3/11, -1/3 in ascending order.
-1/3, o, 3/11
Let k = 81 + -87. Sort 0, k, -3 in descending order.
0, -3, k
Suppose b = -5*w + 4*b - 3, 3*b = -12. Sort w, -2, 2 in ascending order.
w, -2, 2
Let t(o) = o - 5. Let l(f) = 2*f - 9. Let n(z) = 4*l(z) - 10*t(z). Let g be n(8). Suppose 1 = 5*a - d - 4, -5 = 2*a + d. Put 5, a, g in increasing order.
g, a, 5
Suppose -7 = 4*k + j, 2*j - 1 = -4*k + k. Put 12, k, 1 in decreasing order.
12, 1, k
Let y = -4 + 0. Let w = -159 + 158.6. Sort -3, y, w in descending order.
w, -3, y
Suppose 2 = -g + 6. Let b be 5/63 - g/18. Let v(z) = -2*z + 4. Let r be v(4). Put b, r, 0 in increasing order.
r, b, 0
Let x = -0.9 - -0.6. Let y = 0.4 + -0.3. Sort y, 0.4, x in descending order.
0.4, y, x
Suppose 3*i = -5*d - 21, -2*i - 16 = -2*d - 2. Put 3, i, 0 in descending order.
3, 0, i
Suppose 2*i = -5*a - 17, 4*i + a + 7 = -0. Put -3, i, 4, 0 in descending order.
4, 0, i, -3
Let j = 0 - 3. Let f = j + 6. Put -0.1, -3, f in decreasing order.
f, -0.1, -3
Suppose -3*p + 6 = -0*p. Let w = 1 + p. Sort w, -5, -1 in increasing order.
-5, -1, w
Let h = 7 - 11. Let q = 8 - 4. Sort q, h, 3 in decreasing order.
q, 3, h
Let n = 1.05 - 5.05. Sort 14, 0.4, n, 2/9 in increasing order.
n, 2/9, 0.4, 14
Let l be ((-3)/9)/(2/(-12)). Suppose 4*p - 26 = -5*r - 1, 5*p = l*r - 10. Sort -2, -3, p in decreasing order.
p, -2, -3
Suppose -4*q = -2*o - 18, -q - 4*o = -2*o + 3. Let w = -1 - 0. Sort w, q, 4 in descending order.
4, q, w
Let q = -3 - -13. Suppose 3*v + 2*v = q. Put 1, v, 4 in decreasing order.
4, v, 1
Let h = 5.9 + -13.2. Let n = h - -7. Put 0.3, -3, n in decreasing order.
0.3, n, -3
Let w = 89 - 85. Sort w, 0.2, -0.4 in descending order.
w, 0.2, -0.4
Let z(r) = -r**2 - 9*r - 4. Let f be z(-8). Let b(y) = y**2 + 9*y - 5. Let l be b(-10). Sort f, -2, l in increasing order.
-2, f, l
Let t = -53 - -55.06. Let m = -2 + t. Let v = m - -0.34. Sort v, 2, 5 in descending order.
5, 2, v
Let h = 0 - -5. Sort h, 1, -3.
-3, 1, h
Let q = -1 - 0. Let c be (-2)/(-7) + 2/(-7). Suppose c = -3*b + 4 + 8. Sort q, -4, b in decreasing order.
b, q, -4
Let q(l) = -l**3 + 3*l**2 + 6*l - 6. Let c be q(4). Suppose i + c*i + 9 = -3*y, -5*i - 33 = -4*y. Put 3, y, 6 in descending order.
6, 3, y
Let n = 4 + -3.8. Let y = -342649/4210 + -9/842. Let d = y - -81. Sort n, -0.2, d in decreasing order.
n, -0.2, d
Suppose -8*g = -5*g. Put -4, -3, g in increasing order.
-4, -3, g
Let y(w) = 2*w**2 - 9*w - 1. Let t be y(5). Let a = -3.7 - 1.3. Sort t, 5, a in decreasing order.
5, t, a
Let t be (-56)/120 - (-6)/9. Sort t, 0.5, 1/6 in decreasing order.
0.5, t, 1/6
Suppose 0 = -4*r + r + v + 7, 0 = 2*v - 4. Let q be 3 - (r/(-1) + 2). Suppose 0 = -a - q*a - 2*i - 1, 0 = 5*a + 5*i - 5. Sort 2, a, -5.
-5, a, 2
Let t = -25/9 + 161/45. Let f = 2 - 4. Put f, 2, t in increasing order.
f, t, 2
Let l = 0 - -2. Suppose 0 = 6*z - z + 2*t - 4, l*z + 4*t - 8 = 0. Put z, 0.2, 0.3 in descending order.
0.3, 0.2, z
Let k = -127/3 - -43. Put k, 2/21, 1 in descending order.
1, k, 2/21
Let a be -2 + 5 - (-4 - -3). Put a, 3, -4 in decreasing order.
a, 3, -4
Let f(d) = d**3 + 4 + 2*d - 4*d + 3 - 6*d**2. Let w be f(6). Put w, 3, 2 in decreasing order.
3, 2, w
Let v be 42/(-49)*(-14)/(-4)*-2. Sort -2, -4, v.
-4, -2, v
Let h be 6*-1*3/(-9). Suppose -h*f = 5*m - 19, 3*m - 5*m = 5*f - 16. Sort 0, -5, m in increasing order.
-5, 0, m
Let a = 0.06 + -0.2. Let o = a + 0.07. Let u = -1.93 + o. Put 0.5, u, -1/3 in decreasing order.
0.5, -1/3, u
Suppose 0 = -4*f - 5*j + 12, 0*j = 3*f + 3*j - 12. Suppose -3*y + 19 + 1 = -2*c, -4*y - 47 = 3*c. Let b = c + f. Put b, 3, -3 in ascending order.
b, -3, 3
Suppose 0 = -5*r + 4*r. Sort 5, r, 1 in descending order.
5, 1, r
Suppose -3*a = -4*a. Let g(i) = 3*i - 5*i - 4*i - i**2. Let f be g(-5). Put f, a, 4 in ascending order.
a, 4, f
Suppose -5*z + 3*r = -19, -4*z + 4*r - 3 = -3*z. Let i = 3 - z. Let c be (i/4)/((-4)/(-12)). Put c, 4, 3 in ascending order.
c, 3, 4
Let v = 2 - 1. Let q = v - 3/2. Let u = 13/12 + -101/60. Put q, 1, u in decreasing order.
1, q, u
Let t(h) = -6*h**3 + h. Let q be t(-1). Let p be 1/(11/q - 2). Let o(v) = -v**2 + 5*v - 4. Let a be o(5). Sort p, a, 2.
a, 2, p
Suppose 2*j - 18 = 3*m + 3*j, 15 = -5*j. Put m, 6, 5, 2 in increasing order.
m, 2, 5, 6
Let d = -1.11 + 0.02. Let y = d + 0.09. Let f = 6 - 6.3. Put f, 2, y in decreasing order.
2, f, y
Suppose -2*o + 7 + 3 = 0. Suppose -2*f + 6 = -2*v, -28 = -4*v + 4*f - 8*f. Put v, 1, o in ascending order.