easing order.
-4, 0.5, c
Suppose -5*o = 5*d + 35, d + 19 = -4*o - 0*d. Sort o, -7, 3 in ascending order.
-7, o, 3
Let u(c) be the first derivative of c**3/3 + 5*c**2/2 - 2*c + 5. Let q be u(-5). Sort -4/5, q, 3 in decreasing order.
3, -4/5, q
Let x(y) = y**2 + 2*y - 4. Let v be x(-4). Let d(w) = w**2 - 3*w - 2. Let m be d(v). Suppose m*u - 2 = -0*u. Sort u, -3, 2 in ascending order.
-3, u, 2
Suppose 2*l - 3 = -3*w - 43, 0 = 2*l - 4*w + 40. Let t be (0 + 1/(-3))*3. Sort t, l, 5 in descending order.
5, t, l
Suppose 7 = -v - l, 5*l = -4*v - 16 - 17. Let w(z) = z + 1. Let c be w(-3). Let u be (2/c - -2) + -2. Sort -5, u, v in decreasing order.
u, v, -5
Let g = -35 + 31. Sort -1/5, g, -1/9 in decreasing order.
-1/9, -1/5, g
Suppose 20 = 4*q + 8. Suppose 2 - q = -l. Let i(a) = a**2 + 6*a + 3. Let u be i(-4). Sort u, 2, l in increasing order.
u, l, 2
Suppose 4 = 4*l - 4*a, 25 = -3*l - 7*a + 3*a. Sort -1, -4, l in descending order.
-1, l, -4
Let n(a) = -a**2 - 8*a + 6. Let c be n(-9). Sort -2, -5, c.
-5, c, -2
Let r = 0.11 - -3.89. Let h(v) = 9*v**3 + v**2. Let p be h(-1). Let l be 0 - 0 - (8 + p). Put r, -5/2, l in descending order.
r, l, -5/2
Suppose -5*c = 2 - 17. Let i = -16 - -7. Let y(g) = g**2 + 10*g + 6. Let l be y(i). Sort l, 0, c.
l, 0, c
Let l(x) = -3*x**2 + 2*x + 1. Let y be l(-1). Let p be (-2)/(-5) - y/(-10). Let d be ((-2)/(-18))/((-2)/4). Put -3, p, d in descending order.
p, d, -3
Let u = -83 - -84. Sort 5, -5, u, 4.
-5, u, 4, 5
Suppose -5*d + 8 = 33. Let c be 2*1*(-2)/1. Sort 1, d, c in increasing order.
d, c, 1
Suppose 0 = -5*g - 11*o + 6*o - 200, 0 = 5*g - 4*o + 173. Sort g, 1, 0.
g, 0, 1
Let x = -4 + 0. Let r be -2 + (1 - 3) + 2. Let a be 2 + -2 + 3 - r. Sort x, a, 3 in decreasing order.
a, 3, x
Let c = -14 + 15. Let d(x) = x**3 - x**2 + x - 4. Let i be d(0). Put -2, i, c in increasing order.
i, -2, c
Let s = 2 - 8. Let w = -4 - s. Let t be -3*7/((-630)/(-12)). Sort w, t, -0.2 in ascending order.
t, -0.2, w
Suppose 5*c + 12 = 2*m, 0 = -3*m - 0*c - 2*c - 20. Sort 1, 3, m in decreasing order.
3, 1, m
Let l = -0.2 - -2.2. Sort -3/8, l, 0 in descending order.
l, 0, -3/8
Suppose -16 = -5*f - 3*d, -2*d - 3 = -d. Let w(s) = s**2 - 5*s - 1. Let r be w(f). Sort 4, r, -6 in descending order.
4, r, -6
Let t = -55827/55 - -1015. Let j = t - 47/220. Let u = 0.063 - 1.063. Sort 4, j, u in decreasing order.
4, j, u
Let q(g) = -g**3 - 6*g**2 - 2. Let x be q(-6). Let j = -3 - x. Let i be (6/j)/(12/8). Put -3, i, 3 in increasing order.
i, -3, 3
Let o = -14 - -23. Let n = o - 8.6. Sort -1, n, 2 in descending order.
2, n, -1
Let v = -0.59 - -0.09. Let u be 2/(-3 - (0 - 1)). Let x be -1 + (-2 + 5)*1. Sort u, v, x in decreasing order.
x, v, u
Let v = -3.6 + -1.4. Put 0.3, v, -2/9, 0 in increasing order.
v, -2/9, 0, 0.3
Suppose 2*w = 3*w. Suppose w = -5*c - 1 + 11. Put 3/2, 0.1, c in descending order.
c, 3/2, 0.1
Suppose b = 2*b. Suppose 2*f + 0*f = 10. Put f, b, 2 in decreasing order.
f, 2, b
Let t = -7 + 3. Put -1, 12, t in ascending order.
t, -1, 12
Let g = 13 - 13.4. Let x = 9 - 9.8. Let k = 0.5 + x. Sort 1, g, k.
g, k, 1
Suppose 3*h - 5 = 10. Let u be -4 + (-2 - -6) + 2. Let x be 6/(-1*3) - 2. Put x, u, h in decreasing order.
h, u, x
Let f be (-6)/9*(-3 - 0). Suppose 6 = s + 2*n, -3*n = 3*s - f*n - 13. Let i be (-1)/(-1)*(-5 - -3). Sort s, 0, i in increasing order.
i, 0, s
Let q = -2/37 + 154/111. Let f = -28 + 57/2. Put f, q, -0.5 in increasing order.
-0.5, f, q
Let q = -11 + 11. Suppose q = -t - 4*t + 10. Sort t, -5, -4 in ascending order.
-5, -4, t
Suppose 8 + 8 = 8*l. Put -3, l, 13 in increasing order.
-3, l, 13
Let t be (-1)/(2/(3 + -1)). Let o = -20 - -14. Let p = o - -8. Sort -0.4, p, t in descending order.
p, -0.4, t
Let w = 0.597 - 0.137. Put 2, w, -3 in ascending order.
-3, w, 2
Let z be (6/4)/(3/8). Let j = 6 - 3. Let s be (0 - (1 - 2))*5. Put j, z, s in decreasing order.
s, z, j
Let f be (-4)/6 + 26/(-6). Put f, -4, 3 in increasing order.
f, -4, 3
Suppose -2*l + 3 = -0*l + p, -p = 3*l - 3. Put 3, -4, l in descending order.
3, l, -4
Let i = 3.84 - -0.16. Put -3, -6, i in descending order.
i, -3, -6
Suppose -2*f - 15 = 3*f. Sort 6, 3, f.
f, 3, 6
Let b = -223 - -222.7. Let x be (9/12)/(-1 - 0). Sort 1/6, b, x in decreasing order.
1/6, b, x
Suppose -2*y - 1 = 3. Sort -5, 5, y.
-5, y, 5
Suppose 2*f = z + 3, 0 = 3*f - 0*z + 4*z + 12. Sort f, 2, -2, 6.
-2, f, 2, 6
Let u = 21 - 81/4. Put -4, -0.1, -3, u in increasing order.
-4, -3, -0.1, u
Let m(u) = -u**3 + 10*u**2 - 9*u - 3. Let y be m(9). Sort y, -2, 6 in descending order.
6, -2, y
Suppose -4*d - 8 - 4 = 0. Let q(t) = -t**3 - 4*t**2 - 3*t + 1. Let w be q(d). Put w, -2, -5 in decreasing order.
w, -2, -5
Suppose 0 = 3*r + 4*i - 18, 5*r = i - 2*i + 13. Put -5, r, 5, -4 in increasing order.
-5, -4, r, 5
Let u = -0.62 - -0.32. Put -1.3, -3, u in increasing order.
-3, -1.3, u
Let d(n) = n**3 + 3*n**2 - 4*n + 4. Let h be d(-4). Let k(g) = -g**2. Let t be k(1). Sort t, h, 3 in descending order.
h, 3, t
Let c(y) = y**2 - 6*y + 5. Let j be c(4). Put -2, j, -12 in decreasing order.
-2, j, -12
Suppose -5*u = -2*l - 13, 2*l = -4*u + 11 + 3. Put -4, l, 2 in ascending order.
-4, l, 2
Let f(s) = -3 + 1 + 0*s**2 - 7*s + s**2. Let m be f(7). Put 5, -4, m in descending order.
5, m, -4
Suppose -44 - 26 = -5*j. Let n be (-2)/(-2) - 7/j. Sort -4, 2/5, n in ascending order.
-4, 2/5, n
Let b be (-5 - (-3)/1) + 2. Let h = b - 3. Put h, -4, -1 in increasing order.
-4, h, -1
Let u be (-65)/(-21) + (-3)/1. Put -3, 2, u in ascending order.
-3, u, 2
Suppose 0 = -4*d + 2*d - 6. Let f = -1 + 3. Let z(i) = -i**2 - 11*i - 32. Let k be z(-6). Put f, d, k in decreasing order.
f, k, d
Let c be ((-1)/3)/(8/(-3)). Let w be ((-3)/(-6))/((-742)/8). Let g = -104/371 + w. Sort c, g, 3.
g, c, 3
Suppose -2*n + q + 22 = 4, 0 = 4*n - 3*q - 40. Sort 6, n, 0 in descending order.
n, 6, 0
Let c(f) = f**3 + 8*f**2 + 6*f + 1. Let s be c(-7). Suppose 3*r + r + s = 0. Sort r, -4/5, 0.2 in descending order.
0.2, -4/5, r
Let u = -409549 - -169962747/415. Let a = u - -1/83. Let o = -27 + 28. Sort a, 3, o in descending order.
3, o, a
Let m = -73.1 + 73. Sort -1, -4, m, 0.4 in decreasing order.
0.4, m, -1, -4
Suppose 4*l - 2*q = -16, 4*l + 2*q = 3*l - 4. Let g(d) = -d**3 + 7*d**2 + 8*d + 1. Let k be g(8). Sort k, -2, l in ascending order.
l, -2, k
Let j = 15 - 14.9. Put 0.4, j, 0 in increasing order.
0, j, 0.4
Let u = -0.029 + -3.971. Let y be 3/5 - 14/40. Put -2/9, y, u in ascending order.
u, -2/9, y
Let x be (0 - (-2)/1) + 2. Let t(m) = -m**3 + 3*m**2 + 4*m. Let g be t(4). Put 2, g, x in ascending order.
g, 2, x
Let j(k) = 17*k + 10*k**2 - 6*k + 16 + 2 - 5 + k**3. Let y be j(-9). Sort 0.3, y, -6/11.
y, -6/11, 0.3
Suppose 3 + 1 = -2*l. Let c = 1 + l. Sort -3, c, 9 in descending order.
9, c, -3
Suppose -13*s = 37 + 15. Suppose -k - 3*a = 15, 0 = 3*k - 5*k - 4*a - 20. Sort 3, k, s in decreasing order.
3, k, s
Let r = -10 - -9.97. Let c = -0.17 + r. Let l be 2/6*(-2 - -1). Put l, -1/6, c in decreasing order.
-1/6, c, l
Let x be 3/(-18) - (-2)/3. Let d = -4.5 + 8. Let v = -0.5 - d. Put 2, v, x in decreasing order.
2, x, v
Suppose 2*u + u - 3 = 0. Let p be (-1)/(-5) + u/(-5). Let d be (-2 - -2) + (0 - -5). Put p, d, 3 in descending order.
d, 3, p
Let n be 1/(1 - 2) - 6. Let x(y) = -3*y + 1. Let t be x(5). Let w be (t/(-4))/n*-2. Put -4, -5, w in ascending order.
-5, -4, w
Let c = -992/7 - -142. Sort c, 4/9, -2/11 in descending order.
4/9, c, -2/11
Let q be -2 + 6/1 - 2. Suppose -x + 1 + q = 0. Let z = -12 + 8. Put 5, z, x in ascending order.
z, x, 5
Let i = 0.07 - -12.93. Let b = i + 2. Let u = -11 + b. Sort -1, -3, u in decreasing order.
u, -1, -3
Let t be 1/4 + (-30)/(-8). Suppose q - 6*q + 2*m + 28 = 0, 2*q + m - t = 0. Suppose 10 = -q*l - l + 2*r, 2*r = -2*l + 10. Sort -1, l, 3 in descending order.
3, l, -1
Let z = 2/53 - 112/159. Put 0.3, z, -2, 0 in decreasing order.
0.3, 0, z, -2
Let y be 13/(364/(-8)) - 17/14. Sort y, -0.4, 4 in decreasing order.
4, -0.4, y
Let s be 4 + ((-9)/6)/(3/4). Sort -3, 8, -1, s.
-3, -1, s, 8
Let x = 4 + -4. Sort -4, x, 1 in ascending order.
-4, x, 1
Let a = 10 + -14. Put a, 1/2, 0.05, -0.2 in ascending order.
a, -0.2, 0.05, 1/2
Let i = -9.6 - -9. Let z = i - -1. Sort z, -1/2, 3 in decreasing order.
3, z, -1/2
Let j b