v - 3*v. Let d = -21 - -33. Let i be 2/(-12)*54/d. Put v, i, -3/7 in ascending order.
i, -3/7, v
Let l(s) = 5*s. Let m be l(-1). Let n(j) = j - 1. Let g be n(4). Suppose -g*o = 2*r + r + 18, 4*r = 4*o + 16. Sort r, 0, m in descending order.
0, r, m
Let h = 73 + -76. Suppose 0 = 2*r - 5*u - 12, 2*u - 6 = -2*r - 22. Put h, 0, r in descending order.
0, h, r
Suppose 16 + 34 = -5*p. Let m be (-5)/p*(1 - 11). Sort -4, -3, m in descending order.
-3, -4, m
Suppose 2*i + 3*i - 5 = 0. Suppose -5*v - 17 = -o, -2*o + 0*o - 2 = 2*v. Put v, i, 4 in decreasing order.
4, i, v
Let x(i) = i**2 - 5*i. Let t be x(5). Let o = t + -3. Sort o, 5, -1 in descending order.
5, -1, o
Suppose 80*s - 83*s = 9. Sort 0, 4, s, -6 in ascending order.
-6, s, 0, 4
Let u = -1 - 2. Let n = -2 + 4. Suppose -10 = -3*y + n. Put u, y, 0 in ascending order.
u, 0, y
Let r = 15 + -16. Put -3, -5, -2/5, r in decreasing order.
-2/5, r, -3, -5
Let g be 4/10*(-1)/2. Let h = g + 11/30. Sort 1, -0.2, h in ascending order.
-0.2, h, 1
Let p = 6 - 10. Let y = p + 4.5. Put -3, y, 3 in descending order.
3, y, -3
Let s = -1 - -3. Let r(o) = o**2 + o - 2. Let c be r(-2). Sort s, -1, c in decreasing order.
s, c, -1
Suppose -n = 2*m - 0*m - 1, m + 5*n = -13. Put 7, m, -5 in descending order.
7, m, -5
Suppose 0 = -0*y - 2*y + 8. Sort -3, 3, y in descending order.
y, 3, -3
Let b(o) = 2*o - 3. Suppose 2*l + 2 = 2*c - 0, -31 = -4*l - 3*c. Let p be b(l). Let s be 15/(-6)*(-6)/(-5). Sort s, p, -1 in descending order.
p, -1, s
Let y(n) = -2*n. Let z be ((-6)/9)/((-4)/(-6)). Let u be y(z). Sort -0.3, 0.3, u.
-0.3, 0.3, u
Suppose 5*i - t - 18 = 0, -24 = -4*i - 0*i + 4*t. Let u(b) = -b**3 - 4*b**2 + 11*b - 10. Let c be u(-6). Sort i, c, -1.
c, -1, i
Suppose 0 = -m - n + 1 + 4, -n = 2*m - 5. Sort 0.5, m, 5/4, -0.4 in descending order.
5/4, 0.5, m, -0.4
Suppose -5 = -2*w - 1. Let o be (-5)/(-4) + (w - 3). Sort 0, -4, o in decreasing order.
o, 0, -4
Let m be 4 - (4 + 0/(-3)). Sort 8, m, -1 in descending order.
8, m, -1
Suppose -12 = -3*k + 30. Suppose -g - o = 2*g - 13, 3*g - k = -2*o. Put 0, g, 1 in decreasing order.
g, 1, 0
Let x(u) = -u**3 - 9*u**2 - 9*u + 6. Let j be x(-7). Let q = j + 55. Suppose 3*b + q = -4*y, -23 = -3*y + 6*y + 4*b. Sort -2, 3, y in descending order.
3, -2, y
Suppose -2*g + 0 - 6 = 0. Let q = -10 + 14. Suppose q = -v - 1. Sort 0, g, v.
v, g, 0
Let u = -138 + 133. Sort -8, u, -2 in ascending order.
-8, u, -2
Suppose 2*u - 6 = 4*i, 4*u = -3*i - 0*u + 1. Put -3, -2, i in increasing order.
-3, -2, i
Let z be (1 - 2 - -3)/(-4 - -6). Sort 3, -12, z, 4 in decreasing order.
4, 3, z, -12
Let d = -4/265 - -36847/795. Let b = 46 - d. Sort 4/3, 0.5, b in ascending order.
b, 0.5, 4/3
Let g be 414/72 + (-6)/8. Sort g, -4, -2 in descending order.
g, -2, -4
Let m = -0.6 + 1. Sort -4/3, m, 3/5 in descending order.
3/5, m, -4/3
Let a = -1168087156339529/201140 - -5807333978. Let o = -1/2260 - a. Let b = o - -81/356. Sort b, 0.2, 0 in descending order.
b, 0.2, 0
Let w(p) = -p**3 - p**2 - p - 2. Let y be w(-2). Put 5, -4, y in ascending order.
-4, y, 5
Suppose 0 = -t - 2*t + 3. Let c(y) = -y**3 + 7*y**2 - 8*y + 7. Let q be c(6). Sort t, q, -2 in decreasing order.
t, -2, q
Let a = 6 + -5. Let c(o) = o**3 - 7*o**2 + 7*o - 9. Let y be c(6). Sort y, a, 0.
y, 0, a
Suppose 5*f - 3*f = -10. Put -2, f, -6 in ascending order.
-6, f, -2
Let s(v) = v**3 - 6*v**2 + 3. Let z be s(6). Put -4, z, -9 in decreasing order.
z, -4, -9
Let j = 0.2 - 0.4. Let m = j - -0.7. Let l = m - 1.5. Put 0.3, l, 2/5 in ascending order.
l, 0.3, 2/5
Let b(x) = -x + 8. Let u be b(9). Let s = 80 - -12. Let y be 4/10 + s/20. Put y, u, -3 in decreasing order.
y, u, -3
Suppose 7 = 10*c - 33. Put -5, 1, -3, c in decreasing order.
c, 1, -3, -5
Let i = -33 + 32. Put i, -5, 2 in decreasing order.
2, i, -5
Let f(t) = -t + 9. Let l be f(6). Put l, 4, -3 in descending order.
4, l, -3
Let d = -3.979 + -0.021. Sort -3, 0.2, 1/8, d in decreasing order.
0.2, 1/8, -3, d
Let j = 3 + -9. Let a(t) = t + 3. Let z be a(j). Put z, 1, 0 in increasing order.
z, 0, 1
Let w = 42 + -41.9. Put -0.3, -2.1, w in increasing order.
-2.1, -0.3, w
Let w(v) = v**2 - v + 4. Let a be w(3). Let s be (-2)/a*(-10)/12. Let p be 1*2/2*0. Put 1, p, s in increasing order.
p, s, 1
Let a = -0.4 - -4.4. Let g = -199 + 199.1. Sort 2, g, a in decreasing order.
a, 2, g
Let l = -1.12 - -0.22. Let t = 3.1 - l. Put -1, t, -0.3 in descending order.
t, -0.3, -1
Suppose r + 4*r + p = -10, r = -5*p + 22. Sort r, -5, 11 in descending order.
11, r, -5
Let b = 0.24 - 1.24. Sort 1, b, -3/2.
-3/2, b, 1
Let u be 1 - (0 + -1 + 1). Let q be (0/(-1 + -1))/u. Suppose 0 = -2*a + 2 - q. Sort 3, -4, a.
-4, a, 3
Let v(a) = -a**2 + 3*a + 3. Let z be v(3). Sort -5, z, 4, -3.
-5, -3, z, 4
Let t = 17 - 6. Sort -2/7, t, 2/11 in decreasing order.
t, 2/11, -2/7
Let u = 31 - 35. Sort -0.5, 1/4, u.
u, -0.5, 1/4
Suppose -26 = 4*g - 18. Put -5, 3, g in decreasing order.
3, g, -5
Let q = 0.06 - -2.94. Let r = -61/196 - -3/49. Put -1, q, r in ascending order.
-1, r, q
Let f = -57 + 34. Let w = f + 41. Suppose 0 = 2*p - 2*o - 0*o, -w = -5*p - 4*o. Put -4, -5, p in decreasing order.
p, -4, -5
Let y = -3.44 + 0.04. Let c = -3 - y. Sort 0.1, c, 1/7 in increasing order.
0.1, 1/7, c
Suppose 0 = -a + 2*a. Suppose 5*o + 44 = 3*f, -3*f - 4*o + o = -12. Suppose a = -3*g + f*g + 20. Sort 2, g, 0.
g, 0, 2
Let c = -6 + 4. Let r(b) = -b**2 - 14*b + 9. Let u be r(-15). Sort u, 5, c in descending order.
5, c, u
Let r = -4.92 - 0.08. Sort 4, r, -2/17 in decreasing order.
4, -2/17, r
Let t be (2 - 2)*(-12)/(-24). Sort 5, t, -5.
-5, t, 5
Let i = -8 + 11. Sort 1/7, -4, i.
-4, 1/7, i
Suppose 5*h = -2*w + 15, 2*w - h = -0*h - 15. Suppose 0 = -2*c + 6 + 2. Sort w, c, -3 in decreasing order.
c, -3, w
Let y(l) = -3*l + 8. Let o be y(1). Let w(g) = g**3 - 4*g**2 - 2*g + 5. Let a be w(4). Put o, 4, a in descending order.
o, 4, a
Suppose 9 = -3*f - 0. Let k be 4 + -1 - (-1 + -1). Let v = k + -3. Put f, v, 0 in descending order.
v, 0, f
Let h = -0.1 + 0.05. Let o = -0.5 - -0.75. Let l = h + o. Sort -1, l, -3/2 in decreasing order.
l, -1, -3/2
Suppose -2*g + 2 = n + g, -5*g = -2*n - 18. Let z be ((-3)/15)/(2/(-5)). Sort n, z, -0.3 in ascending order.
n, -0.3, z
Let g = -24 - -28. Let u be 1 + 3/(-2)*2. Sort u, g, -4.
-4, u, g
Let c = 1.4 + -1.3. Let h = -1 + 0. Put h, c, 1/3 in decreasing order.
1/3, c, h
Let x = -20 + 10. Sort x, 3, 1.
x, 1, 3
Let i = -4 - -8. Suppose -s + 14 = -i*y, -s - 14 = 6*y - 3*y. Suppose -4*x - 13 + 1 = 0. Sort -1, x, s in increasing order.
x, s, -1
Let l(h) = -3*h**2 + 1. Let r = -7 - -6. Let k be l(r). Put -3, -4, k in increasing order.
-4, -3, k
Let m(g) = -28*g - 1. Let y be m(1). Let d = -57/2 - y. Sort 0.4, d, -0.3 in descending order.
d, 0.4, -0.3
Suppose 2*k - 12 = -0*k. Let c = -9 + k. Sort c, -4, -5 in decreasing order.
c, -4, -5
Suppose -5*l = -0*l. Sort 2, l, -6 in descending order.
2, l, -6
Suppose q - 3*q - 5*g = -18, -5*q + g - 9 = 0. Let x be -1 - 1 - 2*-1. Let i be (-6)/((-4)/2 + x). Sort q, 0, i.
q, 0, i
Suppose 1 = -2*u - 9. Let o(n) = -n**2 + 22*n - 61. Let a be o(3). Let z = 0.1 - 0.1. Put z, u, a in descending order.
z, a, u
Let r = -5 - -7. Suppose -r*z = -6*z + 4. Put 2, -2, z in decreasing order.
2, z, -2
Let c = -2 - -6. Suppose -8 = 3*y + c. Sort -5, 1, y in increasing order.
-5, y, 1
Suppose 4*g = r - g - 22, r = -2*g - 6. Suppose -3 = s - 2*s. Let p be (-9)/(-3) - (s - 0). Put 3, p, r in decreasing order.
3, r, p
Let b = -1 + 2. Let w = -5 + 3. Let d(q) = -q**3 - 3*q**2 - 1. Let k be d(-3). Sort b, k, w in descending order.
b, k, w
Let w(o) = -5 + 1 - o + 3. Let l be w(-5). Suppose -8*j + 4*j - 16 = 0. Put j, l, -3 in decreasing order.
l, -3, j
Let u(s) = -s**2 + 4*s - 1. Let a be u(2). Let w = 7 - 12. Sort a, w, -2 in descending order.
a, -2, w
Let q = -1.1 + -2.9. Let a = 3.9 + q. Let l = a + -0.4. Put l, 5, 4/5 in decreasing order.
5, 4/5, l
Let g = 4.3 - 4.5. Let v = 4.7 - 5. Let m = v - -0.2. Sort m, g, -1.
-1, g, m
Let c be (2/6)/((-4)/(-72)). Let w be ((-3)/7)/(c/4). Let s be -1 + (-10)/(-8) + 0. Put w, -3, s in decreasing order.
s, w, -3
Let q = -87 - -86.9. Let g = 3 + -4. Sort g, -0.5, q in descending order.
q, -0.5, g
Let z = -9 + 17. Let r be z/36 - (-68)/18. Suppose -r*f + 13 + 4 = 3*m