= -o - o. Sort -4, 5, o in decreasing order.
5, o, -4
Let w(k) = k**2 - k - 3. Let s be w(4). Let j(b) = -b + 12. Let v be j(s). Sort v, -1, 1.
-1, 1, v
Let q = 2.17 - 0.17. Sort 1, q, -0.01 in increasing order.
-0.01, 1, q
Let u = -1247 - -1251.017. Let c = -0.057 + u. Let k = -0.04 - c. Put k, 5, -4/3 in decreasing order.
5, -4/3, k
Let c = 0 + -4. Suppose 5 = 3*y + 2*y. Suppose -3*k + 14 = -2*d - y, -15 = 4*d - 3*k. Put c, -2, d in descending order.
d, -2, c
Let b = -7 - -10. Let g = -8 - -7. Let h(f) = f**3 - 6*f**2 - 8*f + 7. Let a be h(7). Sort g, a, b in decreasing order.
b, a, g
Suppose -11 = -d + 2*h, 4*h + h - 10 = -5*d. Let y be 0 - (-1 + 2) - -2. Suppose -r + y = 3. Put r, d, 1 in decreasing order.
d, 1, r
Let l = 1 - 1. Let i = 7 - 9. Sort l, -4, i in ascending order.
-4, i, l
Let c = 16 - 19. Put -0.16, c, -0.3 in descending order.
-0.16, -0.3, c
Let z = 4 - 5. Suppose 2*v + 3 + 7 = 0. Let u(j) = -j**2 - 5*j + 5. Let f be u(v). Put 2, f, z in ascending order.
z, 2, f
Suppose 5*r + 3*s - 17 = 0, -2*s + 12 = 3*r + r. Sort 2, 4, 5, r.
r, 2, 4, 5
Suppose 2*h + 0 = -2. Let u(y) = -y**2 + 1. Let b be u(h). Put -4, 1, b in ascending order.
-4, b, 1
Let o(i) = i**3 - 7*i**2 - i + 6. Let u be o(7). Sort 5, -19, u in descending order.
5, u, -19
Let u(m) = 2*m - 6. Suppose 2*h - 6 - 2 = 0. Let q be u(h). Sort q, -1, 5 in decreasing order.
5, q, -1
Let v = 46 + -41.9. Let z = v - -0.9. Sort -2, -2/3, z in ascending order.
-2, -2/3, z
Let o be (3/(-2))/(19/38). Let l = -8 - -8.3. Let g = l - -0.7. Put g, -1/4, o in increasing order.
o, -1/4, g
Let r = 145/172 + -4/43. Sort -3/5, -2, r in descending order.
r, -3/5, -2
Let k(d) = -9*d - 3. Let x be k(-2). Let b be 0 + (-5)/(x/(-12)). Let h = -10 - -7. Put h, b, 1 in ascending order.
h, 1, b
Suppose 4*n - 5 = -4*d - 1, -4*n = -5*d - 49. Suppose 3*c + n = c. Suppose -2*o + 3*o = 0. Put 5, c, o in decreasing order.
5, o, c
Let w = -9 + 5. Sort w, 4, 1 in descending order.
4, 1, w
Let p = 2.8 + -2.9. Let r = -5 + 4.6. Let a = -0.1 + r. Put p, a, -3 in ascending order.
-3, a, p
Let v be (4/(-6))/((-8)/36). Suppose 3*j + 9 = 4*d - 2*j, -4*d + v = j. Let h = 3 - d. Sort 1, -4, h in descending order.
h, 1, -4
Let m(d) = d**3 + 5*d**2 + 5*d. Let k be m(-4). Sort 2/13, -0.1, k in descending order.
2/13, -0.1, k
Let n = 63 + -54. Put n, -5, 3, -2 in ascending order.
-5, -2, 3, n
Suppose c - 10 = -5*w, 0 = w + c - 0*c + 2. Put w, -10, -1 in ascending order.
-10, -1, w
Let f(n) = -2*n**2 + 7*n + 9. Let c be f(4). Sort -0.5, c, -2/15, 3 in decreasing order.
c, 3, -2/15, -0.5
Suppose 3*j - 5*i + 7 = 3, -i = -2*j + 2. Let x(g) = 2*g**2 - 4*g - 3. Let q be x(3). Put q, -3, j in descending order.
q, j, -3
Let w = 10 - 13. Put w, -1, -2 in ascending order.
w, -2, -1
Let r(l) = l**3 - l**2 - l + 10. Let d be r(0). Let y = 6 - d. Suppose -q - 4*q = -5. Sort q, 3, y in ascending order.
y, q, 3
Suppose -5 = -4*k + 7. Suppose -s + 0 = -k. Sort -4, 0, s in decreasing order.
s, 0, -4
Let x = 19 - 22. Let m be (-4 - (1 - 0))*1. Put 5, x, m in ascending order.
m, x, 5
Let m = 3.99 - -0.01. Put m, 1/5, -3 in ascending order.
-3, 1/5, m
Let f = 50 - 55. Put -0.2, 2, f, 0.1 in descending order.
2, 0.1, -0.2, f
Let d be -4*(-2)/12*-3. Let g be -6*(d/3)/2. Put -1, 4, g in decreasing order.
4, g, -1
Suppose 3 + 7 = -5*h. Put -4, h, -1 in descending order.
-1, h, -4
Let t be (12/8)/((-2)/(-4)). Let h be t/(-4)*32/(-156). Put -1/9, -1, h in decreasing order.
h, -1/9, -1
Let m be 513/6 + (-3)/6. Let z be m/40 - (1 + 1). Suppose 2*q + 3*s = -16, -2*s + 0*s - 9 = q. Sort z, 3, q in descending order.
3, z, q
Let v be (-6)/(-8) - 18/24. Suppose 0 = 2*d - 2*z + 2, 4 = 5*d + 3*z - 5*z. Put d, 4, v in descending order.
4, d, v
Let c = -482/5 - -97. Let a be (-2 + 4)/1*-2. Sort 0.1, c, a in descending order.
c, 0.1, a
Let c = 1.8 + -3. Let a = 1.2 + c. Put -2, 0.5, a in decreasing order.
0.5, a, -2
Let n = -0.2 + 0.2. Let c = 20 + -16. Put n, 0.2, c in decreasing order.
c, 0.2, n
Suppose v = -3*f + 12, f - 4*f - 3 = -4*v. Suppose 0 = z - 2*o - 0 - 7, 3*o - v = -3*z. Sort 5, z, 2 in descending order.
5, z, 2
Suppose -2*u + 3*u - 3 = 0. Suppose -4*y + 6 = 2*a + 2, u*y + 3 = 0. Sort a, 2, -5 in decreasing order.
a, 2, -5
Let w be 3/(54/(-100)) - (-2)/(-3). Let y be (100/14)/(9/(-7)). Let l = y - w. Put l, -2, -0.5 in increasing order.
-2, -0.5, l
Let s = -29.1 + 29.6. Let f = -0.9 + 1. Put f, 0, s in decreasing order.
s, f, 0
Let c = -0.04 + 0.44. Let i = -5.961 + -0.139. Let y = i - -6. Put 2, c, y in decreasing order.
2, c, y
Let d = 0.57 - 0.04. Let f = 0.17 + d. Let z = f + -0.9. Put 2, 5, z in ascending order.
z, 2, 5
Let i(x) = -2*x**2 - 9*x - 5. Let b be i(-4). Let q be ((-15)/(-10))/(3/40). Suppose -3*j - 4*c = -4, j - 3*c = c - q. Put -3, b, j in increasing order.
j, -3, b
Let m(b) = -b**3 + 4*b**2 + 5*b + 1. Let s be m(5). Suppose 0 = -2*r + 1 - 9. Put r, 5, s in decreasing order.
5, s, r
Let b = -6 - 15.2. Let q = b + 25.18. Let t = q + 0.02. Sort 5, t, 0.4 in descending order.
5, t, 0.4
Let l = 9 - 27. Let s = l + 17. Put 4, s, 3/2 in increasing order.
s, 3/2, 4
Let x = -13 + 19. Let l be (-16)/(-6)*x/4. Put l, -5, 2 in increasing order.
-5, 2, l
Let d = -1.43 - -1.13. Put 5, 2, 2/5, d in descending order.
5, 2, 2/5, d
Suppose -4*y = -y. Suppose 5*x + 5 = c, 3*x + y*c + 3 = -c. Let p be 7 + x + 2 + -4. Sort 2, p, -1 in increasing order.
-1, 2, p
Suppose 2 = -3*f + 14. Suppose -3 = -f*k - 11. Let m(h) = -h**3 - 3*h**2 + 7*h + 9. Let v be m(-4). Sort 1, v, k in ascending order.
v, k, 1
Let n(f) be the second derivative of -f**4/12 - f**2 + f. Let w be n(0). Suppose 4*c + 5*x = -25, -5*c + 2*x - x - 24 = 0. Sort c, w, 2 in descending order.
2, w, c
Let f = -0.2 + 0.1. Let q = f - -1.1. Let n = 68 - 202/3. Put q, n, -4 in descending order.
q, n, -4
Let w = -2 - -5. Let r = w + -4. Sort r, 2, 4 in decreasing order.
4, 2, r
Let c be (2/(-4))/((-5)/(-10)). Let y be 0 - (-1 + (-1)/(-1)). Sort c, y, -2 in decreasing order.
y, c, -2
Let o(m) = m + 8. Let l be o(-6). Suppose -2*s + 1 = 3. Sort s, 4, l.
s, l, 4
Suppose 0*m - 2*m + 8 = 0. Let n = -8 + m. Sort n, 2, -1 in descending order.
2, -1, n
Suppose 2*h = -0*h - 8. Suppose 3*s + 180 = 5*t, -2*t + 64 = 3*s - 8. Suppose 7*u - 36 = 3*u + 5*r, 0 = 5*u - 4*r - t. Put -3, u, h in ascending order.
h, -3, u
Suppose -3*r = 3*o, -4*o + r = 12 + 13. Let m be 4*1 + 10 + -12. Suppose 0*g + 4 = -m*g. Sort 5, o, g in descending order.
5, g, o
Let g be (-1 - -2) + (-3)/4. Let d(a) = 2*a - 8. Let w be d(7). Let o be (-3)/w - 5/2. Sort g, o, -4 in descending order.
g, o, -4
Let s = -51 + 51. Sort -10, 4, 3, s.
-10, s, 3, 4
Suppose 6 = -0*w + 3*w. Let s be 6/(-9)*(-39)/w. Suppose 1 - s = 3*j. Sort -1, j, 2 in decreasing order.
2, -1, j
Suppose 0 = 5*v + 3*h - 30, 2*h = -4*v + 23 + 3. Suppose 0*x + v = -x. Sort x, -4, 3 in increasing order.
x, -4, 3
Let q(c) = -c**3 + 7*c**2 + c - 5. Suppose 0 = -4*m - m + 35. Let w be q(m). Let x = 9.8 - 10. Sort w, x, 3 in descending order.
3, w, x
Let o = -0.16 + 0.46. Let w = 18 + -11. Let i = 6.7 - w. Sort i, 4, o.
i, o, 4
Let z = -72 + 70. Put 2/9, 5, z, 0.02 in decreasing order.
5, 2/9, 0.02, z
Let c = -32 - -32. Sort -1/2, c, -1/5 in descending order.
c, -1/5, -1/2
Let v be 0 + -1*1*0. Let k = 41 - 42. Let l be 7/(-2) + (-2)/(-4). Sort l, k, v in descending order.
v, k, l
Let d(h) = h**3 + 9*h**2 - 10*h - 3. Let b be d(-10). Sort 5, 2, b in decreasing order.
5, 2, b
Let s = 4 + -2. Let h = -6.91 - -11.92. Let v = 0.01 - h. Sort -2/5, v, s.
v, -2/5, s
Let v be 1*(2 + 8/(-4)). Sort 5, 2, v.
v, 2, 5
Let z be (8/6)/((-5)/15). Let v = z + 5. Sort v, 3, -2 in ascending order.
-2, v, 3
Let c(g) = -g**3 + 4*g**2 - 5*g + 6. Let z be c(4). Let s = -10 - z. Sort s, 2, -3 in increasing order.
-3, 2, s
Let v(x) = x**3 + 0*x**3 - 2*x**3 - 1 + 7*x**2. Let o be 2/4 - (-26)/4. Let u be v(o). Sort 4, u, -2 in decreasing order.
4, u, -2
Suppose 2 + 3 = -5*b. Sort -5, -4, b in decreasing order.
b, -4, -5
Suppose -2*o = 3*o + 10. Let n be -2 - o/(2/5). Suppose 3*p - 4*p + 3*s = -7, -7 = -3*p + 2*s. Sort n, p, 5 in ascending order.
p, n, 5
Let m(s) = s + 26. Let k be m(-27). Let a(o) = -3*o - 2. Let g be a(-2). Sort g, 0, k in ascending order.
k, 0, g
Let d = -0.22 + 0.72. Sort 0, 