order.
k, l, -1
Let k = 4.2 - -0.8. Let p = 0.1 - 0.6. Sort k, -3, p in descending order.
k, p, -3
Suppose 3*u - 7*u - l = -3, -3*l = -u + 17. Let o = 3 - u. Suppose -3*w + 3 = -5*b, -5*w + 3*b - 5 = 6. Sort 0, o, w in ascending order.
w, 0, o
Let m be -2*(-3)/(-6)*-11. Let p = m + -7. Let w(u) = u**3 + u**2 - 5*u + 1. Let g be w(2). Put p, -1, g in decreasing order.
p, g, -1
Let o = 38 + -36. Put -4, 0, 5, o in ascending order.
-4, 0, o, 5
Let c = 30 - 25. Put c, 1, 23 in decreasing order.
23, c, 1
Let j = 13 + -3. Suppose 4 = 3*q + j. Let g be 6/4*(-4)/(-2). Sort -5, q, g in descending order.
g, q, -5
Let a be 60/88 + (-2)/(-3). Let z = a - 7/6. Let d = 1 + -1. Sort -0.3, z, d in increasing order.
-0.3, d, z
Suppose -5*z + i + 23 = -i, -2*z - i + 2 = 0. Sort z, 2, -6 in ascending order.
-6, 2, z
Let p be 2*1*(-1)/2. Sort -3, p, 0, -4.
-4, -3, p, 0
Let q be ((-9)/5)/(93/(-155)). Let s(y) = y**3 + 5*y**2 - 1. Let a be s(-5). Sort 4, q, a.
a, q, 4
Let z be 28/(-21)*(-18)/8. Sort 4, -4, z in ascending order.
-4, z, 4
Let p = 11 + -9. Suppose -p*n = -5*n, -5*n + 20 = -4*y. Sort y, -2, 5 in increasing order.
y, -2, 5
Let s be (-126)/26 + (-8)/52. Sort 2, -2, s in descending order.
2, -2, s
Let t be (-10)/(-8)*1/5. Let i be 4 - 4 - (-1)/(21/(-18)). Put i, t, 0 in decreasing order.
t, 0, i
Suppose -3*r + 3 = -0. Let l be (-84)/18 + r/(-3). Sort 0, l, 4 in decreasing order.
4, 0, l
Let x(z) = z**2 - 22*z + 40. Let q be x(20). Suppose 5*j - j + 4 = 0. Put q, j, 4 in increasing order.
j, q, 4
Let q be -3*((-8)/3 + (-3)/(-1)). Sort -4, q, 5, -5 in descending order.
5, q, -4, -5
Suppose -3*y + 16 = y. Sort -4, y, -2.
-4, -2, y
Suppose 0 = b - n + 3, -b + 5*b + 6 = 2*n. Sort 2, -0.3, b, 5 in decreasing order.
5, 2, b, -0.3
Let o = 0.44 - 0.34. Sort 3/2, o, 3, 5 in ascending order.
o, 3/2, 3, 5
Let r = 0.4 + 0.6. Let b = 4.1 - 0.1. Let c = b + -6. Sort -4/9, c, r.
c, -4/9, r
Let o(n) = n**2 + 12*n + 17. Let s be o(-10). Sort -1, -5, s in increasing order.
-5, s, -1
Let m(t) = t**3 + t**2 + 1. Let d be m(-2). Let n be (-2)/(1/d - -2). Suppose 2*p + 3*a + 2 = 0, 3*a - 4 = 2*p - 7*p. Sort 0.3, p, n in descending order.
p, 0.3, n
Let x be ((-4)/(-48))/((-10)/(-16)). Sort 2, x, 3.
x, 2, 3
Let x = 56/93 + 2/31. Put x, 0, 5 in increasing order.
0, x, 5
Suppose 5*j + 4*x + 12 = 6*x, -j - 5*x + 3 = 0. Let z(t) = -t**3 - 2*t**2 - 2*t - 1. Let s be z(-1). Let i = s - 1. Put 2, i, j in decreasing order.
2, i, j
Let m = -0.8 - -0.5. Let b = -9.2 + 10. Let u = b + m. Sort -4, 4, u in descending order.
4, u, -4
Suppose 0 = -o + 3*i + 3, -5*o + 4*i + 4 = -0*o. Let r(c) = c**3 + 3*c**2 - 3*c + 1. Let f be r(-4). Sort -1, o, f.
f, -1, o
Let n be (1/(-3))/(8/6). Sort 4, 5, n in decreasing order.
5, 4, n
Let u = -78 - -153/2. Suppose 11*h = -0*h. Sort -1, h, u in descending order.
h, -1, u
Let u be (-7)/12 - (-2)/6. Let h = -0.31 - -0.01. Sort h, -2, u in increasing order.
-2, h, u
Let y be -1 - (0 + -1 + -1). Put -4, -5, y in descending order.
y, -4, -5
Let x(f) = 5*f**2 + f + 0*f - 2*f - 4*f**2. Let w be x(1). Put 3, w, -2 in increasing order.
-2, w, 3
Let z = -38 - -36.44. Let p = -2.4 + z. Let m = -0.04 + p. Put 5, m, 3 in increasing order.
m, 3, 5
Suppose 4*j = j + 6. Suppose 0 = -4*g + 19 - 3. Put j, g, -3 in descending order.
g, j, -3
Suppose 2*z + 2 = -4*i + 6, 0 = -3*i + 9. Sort 2, z, -12 in ascending order.
-12, z, 2
Let h = 3.5 - 2.2. Let a = h + -4.3. Put 5, a, 0 in ascending order.
a, 0, 5
Suppose 2*q - 1 = -3*s + 9, -q = -3*s + 13. Suppose -s = k, 3*h - 4*k - 20 = -h. Sort 5, h, -4.
-4, h, 5
Let b be (-4)/18 - (-11)/9. Sort -2, 2, b.
-2, b, 2
Suppose -2*n = -0 + 18. Sort -1, n, 0.2 in increasing order.
n, -1, 0.2
Let f = 65/2 + -32. Let x = -72 - -72.1. Sort x, 2/7, f in descending order.
f, 2/7, x
Let l(t) = t**2 + 14*t - 4. Let n be l(-12). Sort 4, -3, n.
n, -3, 4
Let s = -5/3 + 7/6. Sort s, -1/7, 0 in descending order.
0, -1/7, s
Let z = 8.1 - 4.1. Let q = -39 + 118/3. Put q, 1, z in decreasing order.
z, 1, q
Let x = -1 + 1. Suppose 0*d = d + 2. Put -0.1, d, x in ascending order.
d, -0.1, x
Let h = -78 + 76. Let i(j) = -j**3 - j**2 - j - 10. Let l be i(0). Put l, -1, h in increasing order.
l, h, -1
Let j = 1 - -1. Suppose 2*o - 6 = -j. Put -1, 0, o in decreasing order.
o, 0, -1
Let v be 2 + -1 - (-2)/(-2). Sort v, 4, -0.03 in ascending order.
-0.03, v, 4
Let m be (-8)/3 - (10/(-6) + 2). Let q(o) = o + 3. Let v be q(-2). Sort 3, v, m.
m, v, 3
Let n = 1 + -8. Let y = n - -12. Let c(q) = 3*q - 4. Let i be c(2). Put -4, i, y in increasing order.
-4, i, y
Let h be (-1)/2*(2 - -2). Suppose -2*m - 15 = -0*z + 3*z, 9 = 2*m - 5*z. Put 4, m, h in ascending order.
m, h, 4
Let q = -0.7 - -1. Let l = -11 - -11. Put q, l, 1/8 in decreasing order.
q, 1/8, l
Let o = 3.7 - 6.7. Put 3, -2, o in ascending order.
o, -2, 3
Let r(v) = 2*v + 325. Let h be r(0). Let o = 2603/8 - h. Sort o, 4, -2/17.
-2/17, o, 4
Let s be 3 + -2 - (1 - 2). Suppose 3*w - 16 = -w. Sort 1, s, w in descending order.
w, s, 1
Suppose -q + 3*b - 11 = -b, b - 5 = q. Let n(i) = -i**2 - 2*i + 3. Let k be n(2). Sort k, 5, q.
k, q, 5
Let d = -0.866 + -0.134. Let v be 0/(-1) + (-8)/(-36). Sort v, -0.08, d in descending order.
v, -0.08, d
Let v(t) be the first derivative of t**4 - 4. Let h be v(1). Put h, -2, 0.5 in descending order.
h, 0.5, -2
Let m(z) = -10*z**2 - 2*z**3 - 3*z**3 - 2*z - 15 + 4*z**3. Let n be m(-10). Suppose -j + n*i + 21 = 0, 4*i = i - 15. Sort -2, j, 3 in descending order.
3, -2, j
Let j = -0.2 + -0.3. Let q = -0.0924 + 0.4924. Let s = -2 + 1.8. Sort s, j, q in ascending order.
j, s, q
Let g(m) = -2*m**2 + 12*m + 3. Let j be g(6). Put 4, 5, j in descending order.
5, 4, j
Let j(l) = -l**2 - 2*l + 3. Let n be j(-3). Let s be (3*-1)/(n - 1). Put 0.5, 2, s in ascending order.
0.5, 2, s
Let g be ((-2)/(-10))/(4/(-10)). Let q = -17 - -38. Let f = q - 21.2. Sort f, 5, g in increasing order.
g, f, 5
Let t be (2 + -1)*1*4. Let f(p) = -3*p**2 - 12*p - 9. Let b(i) = -i**2 - 4*i - 3. Let g(x) = 11*b(x) - 4*f(x). Let h be g(-3). Put -4, h, t in descending order.
t, h, -4
Let p(r) = -r**3 - 5*r**2 - 5*r - 4. Let v be p(-3). Let l = 5 + v. Put -3, l, -1 in ascending order.
-3, l, -1
Let f(k) = -k**3 + 3*k**2 - k - 2. Suppose -2*w - s + 6 = 2, -3*s = 2*w - 4. Let y be f(w). Suppose l + 28 = 15*l. Put l, y, -1 in decreasing order.
l, y, -1
Suppose 5*r - 5 = 2*q, -2*r + 3 = 2*q + 15. Sort -6, q, -1 in increasing order.
-6, q, -1
Let y = 631/6 + -105. Let n = -0.1 - 0.1. Sort -2, y, n in descending order.
y, n, -2
Suppose 19 = -3*i + 4. Put -8, i, 4 in decreasing order.
4, i, -8
Let v = -0.1 + -0.2. Let w = -0.29 - 4.71. Put 5, w, v in increasing order.
w, v, 5
Let f = -0.9 + -0.1. Let g = 93 - 95. Sort g, f, 4 in increasing order.
g, f, 4
Let p = 83/536 - 2/67. Sort 2, -3/2, p in increasing order.
-3/2, p, 2
Let f = 4 + -8. Let s = f + 3.8. Sort -1/2, s, -2/9 in descending order.
s, -2/9, -1/2
Suppose -5*y = -10*y - 25. Sort y, 0, -3, 7.
y, -3, 0, 7
Let n = 47.12 + -52. Let s = n + -0.12. Put s, 4, 2/13 in descending order.
4, 2/13, s
Suppose 0 = -2*c - 3*c + 10. Let y(b) = 0*b + b**c - 2*b**2 - 3*b - b**2. Let m be y(-2). Sort m, 5, -4.
-4, m, 5
Suppose -18*a = -20*a - 16. Sort a, -5, -1 in ascending order.
a, -5, -1
Let n = 6.16 - -0.14. Let c = -6 + n. Sort 3, 2, c in increasing order.
c, 2, 3
Let j be 10/125*5 - (-34)/(-10). Sort -7, 2, j, -2 in descending order.
2, -2, j, -7
Let a(f) = 2*f + 4. Let y(w) = w + 1. Let k(h) = -2*a(h) + 2*y(h). Let o be k(-5). Let b = 2 - 3. Put b, 0, o in increasing order.
b, 0, o
Let r = -40 - -45. Sort r, 2.9, -0.1.
-0.1, 2.9, r
Let m = 138/32795 - 4399693/5903100. Let j = -2/225 + m. Sort 3, -0.5, j.
j, -0.5, 3
Suppose 17 = -4*l + 5. Sort -24, -1, l.
-24, l, -1
Suppose 0*z = -4*z + 8. Suppose 6 = w + 2, -2*x + 5*w - 28 = 0. Put x, z, 3 in decreasing order.
3, z, x
Suppose 0 = -0*u - 5*u. Suppose -12*q - 3 = -9*q. Sort q, -5, u.
-5, q, u
Let a(c) = c**3 - 5*c**2 + 6*c - 6. Let j be a(4). Let v = 6 - j. Put v, -1, -3 in decreasing order.
v, -1, -3
Let q = 0.05 + -2.05. Let y = -50.1 - -54. Let l = y + 0.1. Sort 5/2, q, l in descending order.
l, 5/2, q
Let j(d) = d**2 - 11*d + 9. Let x(g) = -g + 1. Let u(v) = -j(v) + 6*x(v). Let y be u(3). Suppose 0*r = 4*r + 12. Sort r, 