.
q, -2, b
Let z = 0.2 - -1.8. Sort 0.4, 0.5, z in descending order.
z, 0.5, 0.4
Let u = -0.11 - 0.09. Sort 4, 5, u.
u, 4, 5
Let q = 5 - 2. Let d = 59/144 - 3/16. Let c = -1/36 - d. Put -4, q, c in decreasing order.
q, c, -4
Let a be 5/7 + -2 + 1. Sort 0.3, a, 0 in descending order.
0.3, 0, a
Let z = 0 + 1. Suppose 0 = c - 9 + 5. Sort -4, c, z.
-4, z, c
Let k be (-36)/28 + (-2)/(-7). Sort k, 0.3, -3/5.
k, -3/5, 0.3
Let t = -2 - -1.6. Let z = t - -0.9. Sort z, 2, -0.4.
-0.4, z, 2
Let y(i) = i**3 - 4*i**2 - 3*i + 11. Let u be y(5). Sort 3, u, 1 in descending order.
u, 3, 1
Let m = 10 - 15. Let j = -9 - -17. Suppose 9 = 2*y - 1. Sort m, y, j in descending order.
j, y, m
Let r(s) = -2*s**3 + s**2 + s + 1. Let p be 1 - (-2)/(-4)*4. Let y be r(p). Sort y, -4, 0.
-4, 0, y
Let j be (3 - 2)/(5/20). Suppose -4 = 2*t, -5*h + 2 = -t - 5. Sort h, j, -4.
-4, h, j
Suppose 2*a + 7*u = 2*u, 5*a = 3*u + 31. Put -5, -9, a in descending order.
a, -5, -9
Let m = 1141198/13135 - 3221/37. Let y = -2/71 + m. Let w(v) = v**3 + 5*v**2 + 5*v + 1. Let n be w(-4). Sort 5, n, y.
n, y, 5
Let w = 1/141 - 431/1128. Let f be (-10)/(-5) + (-24)/10. Put f, 2/19, w in decreasing order.
2/19, w, f
Suppose 2*l + 6 = 3*h, l - 4*h = -19 + 6. Sort -0.5, l, 5, -5 in decreasing order.
5, l, -0.5, -5
Let j = 10 - 6. Let t = -6 + 6. Sort t, 0.1, j in increasing order.
t, 0.1, j
Let s(r) = -r**2 + 3. Let y be s(2). Sort y, 5, 4 in ascending order.
y, 4, 5
Let b be (-37)/(-7) - (-3 + (-69)/(-21)). Put b, -5, -2 in descending order.
b, -2, -5
Let n = -5.5 + 0.5. Let q = n + 4.9. Let u = -0.2 + 1.2. Sort -4, q, u in descending order.
u, q, -4
Suppose -5*y - 2*t - 24 = -5*t, 15 = -y + 4*t. Suppose 7 + 10 = -2*p + 3*v, p - v = -7. Put y, 5, p in decreasing order.
5, y, p
Suppose p + o = -9, 37 = -3*p - 5*o - 0*o. Sort 3, -1, p, 2 in descending order.
3, 2, -1, p
Let l = 0.067 + 4.933. Sort l, -4, -0.3, 1 in increasing order.
-4, -0.3, 1, l
Let l be 5 - 4 - (0 - (0 + -4)). Put 5, l, -2, -8 in increasing order.
-8, l, -2, 5
Suppose 0 = 2*k - 9 - 1. Let x(t) = -9*t - 5. Let g be x(-2). Suppose -z + 0*n - k = 2*n, -2*z - 5*n = g. Sort z, 0, -4 in ascending order.
-4, 0, z
Let y = 0.7 + 1.3. Sort y, -1/4, 0.1 in decreasing order.
y, 0.1, -1/4
Let w = -2.65 + -0.45. Let g = -0.1 - w. Let v = -3.3 + g. Sort v, 1, 3 in decreasing order.
3, 1, v
Let y be 6/15 - ((-8)/(-10))/2. Let v = 9 + -8. Sort -3, y, v in ascending order.
-3, y, v
Let a = 12 - 18. Sort a, -5, 2 in descending order.
2, -5, a
Let a(q) = q - 16. Let i be a(15). Sort i, -4, -3, -6 in descending order.
i, -3, -4, -6
Suppose 2*b - 5*n + 3 - 2 = 0, b = -2*n + 4. Suppose -p - b*p = 3. Suppose 4*c = 3*g + 20, -14 - 6 = -g - 4*c. Put p, g, 4 in descending order.
4, g, p
Let q(r) = r**3 - 6*r**2 + 4*r + 5. Let v be q(5). Let p = 8.4 - 3.8. Let d = -0.6 + p. Put d, -3, v in descending order.
d, v, -3
Let y = -30 + 30.3. Sort y, 2, 0.2, 0.1 in descending order.
2, y, 0.2, 0.1
Let m = -415/1742 + 1/134. Let u = m - -71/26. Sort -5, u, 4/7 in decreasing order.
u, 4/7, -5
Let a = 0.7 + -3.7. Let k(w) = 3*w + 5. Let t be k(5). Let m be 2/t*(-20)/(-8). Put 3/4, a, m in decreasing order.
3/4, m, a
Let i = -18.2 + 17. Let z = i - -1.7. Sort -3, 4, z in decreasing order.
4, z, -3
Suppose -5*a - 8 + 23 = 0. Sort 15, -2, a.
-2, a, 15
Let g(z) = -3*z + 3. Let p be g(-3). Let c = -9 + p. Sort 6, c, 4 in decreasing order.
6, 4, c
Suppose 2*s - 11 = r - 3*s, -2 = s. Sort -4, r, 5 in increasing order.
r, -4, 5
Let h(c) = 2*c + 8. Let f be h(-5). Sort -5, f, 4, 1 in ascending order.
-5, f, 1, 4
Let q(a) = -a - 14. Let w be q(-7). Put 5, w, 2, 1 in increasing order.
w, 1, 2, 5
Let x = 6.8 - 0.8. Let f = 2 - x. Sort -1, -3, f in ascending order.
f, -3, -1
Suppose -23 = -4*j - 7. Suppose -3*n - r - 6 = -2*r, 0 = -5*n + j*r - 3. Put -4/3, n, -2 in decreasing order.
-4/3, -2, n
Let g = -10 + 5. Let m(z) = -z + 3. Let b be m(-9). Suppose 2*x = -2*x + b. Put x, -0.4, g in descending order.
x, -0.4, g
Let x be (6*36/189)/(4/14). Sort x, 0, -1 in descending order.
x, 0, -1
Let u = 179 - 181. Sort u, -3, 3 in decreasing order.
3, u, -3
Suppose 3*d - 2 = 4*i, -3*d + 3*i = -d - 1. Let h be d/(-2) + (-2)/(-2). Sort h, 3, 1.
h, 1, 3
Let z = -4 - -4. Let n be 15/(5 + -2) + -2. Suppose 3*h = -n*i + 15, -5*h = -3*h - i - 10. Sort z, -2, h in descending order.
h, z, -2
Let h = 3.2 + -3. Sort h, -3, -2.
-3, -2, h
Let t = 0.8 - -3. Let o = 4 - t. Let q = -5 - -4.6. Sort q, o, 0.4.
q, o, 0.4
Let n be 18/6*4/(-42). Let w = -7.8 - -8. Put 1, w, n in increasing order.
n, w, 1
Let o(n) = n**2 + n + 1. Let i be o(-1). Sort -4, i, -3, 5 in increasing order.
-4, -3, i, 5
Let f be 0*1*1/(-2). Suppose 0 = -k - 3*m - 4, 5*m + 16 = 5*k + 2*m. Put k, f, -5 in descending order.
k, f, -5
Let r be 3/2*-1 - -2. Put 0.3, -2, r in decreasing order.
r, 0.3, -2
Let p = -10 + 9. Let a(v) = v - v**2 + 2*v**3 - 2*v**3 - 4*v**3 + 1. Let s be a(p). Sort -4, -3, s in descending order.
s, -3, -4
Suppose 49*o + 18 = 55*o. Sort -1, o, -9, 1 in decreasing order.
o, 1, -1, -9
Let g = 0 + 1. Let x = 10 - 9.5. Sort x, g, -1 in ascending order.
-1, x, g
Let n be (-2)/4*(2 - (3 - -3)). Sort -4, -3/7, n in increasing order.
-4, -3/7, n
Let g = 14/5 + -27/10. Let w = 3 + -3.04. Sort w, -3, g.
-3, w, g
Suppose 5*l - 60 - 9 = -3*h, -3*h = 3*l - 45. Put -1, l, -3 in ascending order.
-3, -1, l
Suppose 6*f - 4*f = 5*h, -5*f = 4*h. Suppose -2*u = -f - 4. Let p = -3 + u. Put -2, p, 0 in increasing order.
-2, p, 0
Let m = 16 + -15. Let q be m*-3 - (-245)/77. Sort -2/13, q, 2 in increasing order.
-2/13, q, 2
Let s = -3.3 - 0.7. Let t = 77/15 - 24/5. Put -5, t, s in ascending order.
-5, s, t
Let u(b) = -b**2 + b. Let z be u(-1). Let i = z + -3. Put 4, 3, i in decreasing order.
4, 3, i
Let y be (6/52)/((-54)/72). Let l = -4 + 3.6. Sort 3, y, l in increasing order.
l, y, 3
Suppose 4*y - 12 = -4. Sort 1, -4, y in ascending order.
-4, 1, y
Suppose 4*l + 5*t - 16 = 0, 0 = -t - 0*t + 4. Sort l, 5, 6 in increasing order.
l, 5, 6
Suppose p + 2*q + 7 = 0, -4 = -2*p + q - 3. Let j(h) = h**3 + 6*h**2 - 7*h + 4. Let t be j(-7). Suppose 0*l = -4*l - 12. Sort l, t, p.
l, p, t
Let c = 42 + -28. Sort -5, -0.3, c in decreasing order.
c, -0.3, -5
Suppose i + 3 = -n, 2*i - i = -4*n - 9. Suppose 2*o - 2*d = 6, -o = 3*d - 5*d - 1. Sort o, 3, n in decreasing order.
o, 3, n
Let p(k) = k**2 + 7*k + 2. Let i be p(-7). Suppose j + 3*j + 8 = 0. Sort i, -1, j.
j, -1, i
Suppose 6*m + 9 - 3 = 0. Sort m, 5, 2 in ascending order.
m, 2, 5
Let d = -0.4 - -0.2. Let p = 0.1 - 0.1. Let j = p - d. Put 2/5, 1, j in decreasing order.
1, 2/5, j
Let m(b) = -b**2 + 9*b + 3. Let p be m(7). Let h = p - 12. Put -2, 0, h in increasing order.
-2, 0, h
Let t = -1 + -0.2. Let a = t + 6.2. Put 0.3, 3, a in decreasing order.
a, 3, 0.3
Let v(k) = k**3 - 11*k**2 + 19*k - 10. Let t be v(9). Sort 2, 1, t, 5.
t, 1, 2, 5
Suppose 0 = w + 5*o - 3*o + 6, w + 6 = -3*o. Let n be (-1)/(2/w) - 0. Put 2, -1, n in descending order.
n, 2, -1
Let g = -20 - -16. Sort 3, 0.11, g in descending order.
3, 0.11, g
Let h be 28/(-42) + (-2)/(-3). Put h, 2, -2 in descending order.
2, h, -2
Suppose 9 + 31 = 5*c - 2*u, 2*c - 5*u = -5. Let g(v) = 2*v - 13. Let b be g(9). Let z = c - b. Put 4, -5, z in decreasing order.
z, 4, -5
Let j be ((-13)/(-5) - 1)*5. Suppose 2*a = -j, -m = -5*m - 2*a + 12. Let s = -0.08 - -0.38. Sort m, s, -2/5 in increasing order.
-2/5, s, m
Let z = 204 - 206. Sort z, -1/2, 1 in ascending order.
z, -1/2, 1
Let l = -177 + 179. Let j = -0.2 - 0.3. Sort l, 3, j.
j, l, 3
Suppose 15 = l - 5. Suppose 0 = -g - 2*o - 10, -3*g - l = 2*g + 4*o. Let s be 3 - ((-2)/1 - 0). Put s, g, 2 in ascending order.
g, 2, s
Let v = -2.9 + 1.9. Put 1/10, -0.5, v, -8 in decreasing order.
1/10, -0.5, v, -8
Let r = -25.44 - -25. Let m = -0.06 + r. Sort 4, 0, m.
m, 0, 4
Let v = -7 + 3. Let s = 0.19 - -0.11. Sort 1/8, v, s in ascending order.
v, 1/8, s
Let u(b) = -9*b**3 + 2*b - 1. Let v be u(1). Let z = -8 - v. Suppose -4*d + 5*d - 15 = 2*w, d = -w. Sort w, -3, z.
w, -3, z
Let s = -17.66 + -0.34. Let m = -13 - s. Sort m, -0.2, -2/11.
-0.2, -2/11, m
Let a = 9.4 + -9. Let p be ((-3 + 2)*-2)/(-1). Let g be 2/p - (-4)/6. Sort g, -2, a.
-2, g, a
Suppose -6 = -2*d + 3*p + 3, 0 = d - 3*p - 9. Let a = 0 - d. Let q 