4/(-52). Sort -1, 10, p in ascending order.
-1, p, 10
Suppose 5*u = -5*m + 40, 0 = -3*m + 3*u - 8*u + 34. Suppose 2*v - m*v - 2 = 0. Put 3, v, 5 in ascending order.
v, 3, 5
Let a = 2 - 2. Suppose 10 = -5*w - 2*v, 0 = 4*w + 5*v - 4 - 5. Let o = 9 + w. Put a, -5, o in ascending order.
-5, a, o
Suppose 2 = 2*f - 4*p, -f + 2 + 6 = 5*p. Let o be 1 - -18 - (0 - -3). Suppose -5*q = s - 2*q + 14, 4*s + 2*q + o = 0. Put f, 2, s in decreasing order.
f, 2, s
Let q = 8.58 - 8. Let z = -0.08 + q. Sort -2, z, 1/11 in decreasing order.
z, 1/11, -2
Suppose -3*x + 16 = x. Suppose 2*o + 3*d - 19 = 0, 2*o + 5*d = 7 + 22. Put x, 3, o in ascending order.
o, 3, x
Let r be -2 - 3*28/(-45). Sort 3, 0.3, r.
r, 0.3, 3
Let u(n) = -19*n**2 + 3*n. Let b be u(2). Let o = b + 353/5. Sort 2/7, o, 4/3 in descending order.
4/3, o, 2/7
Let d = -71 + 70. Let i = 0 - 0. Put -4, d, i in ascending order.
-4, d, i
Suppose -5 - 5 = -2*s. Let z(t) = t**3 - 8*t**2 + 8*t - 8. Let x be z(7). Let q = 3 + -3. Sort q, s, x.
x, q, s
Suppose 2*k = 1 - 11, -4*k = -5*b. Let s = 0.0582 - 5.0582. Sort 3, s, b in descending order.
3, b, s
Let f = -0.16 + -0.14. Put 2, 3, f in descending order.
3, 2, f
Let o be 8/27*6/4. Let c = -46 - -44. Sort 0.4, c, o in decreasing order.
o, 0.4, c
Suppose -3 = r - 0, j - 4*r - 14 = 0. Suppose -2*p - j = 4. Let c be 3*(-3)/(-3*3). Sort -4, p, c in descending order.
c, p, -4
Let f(q) be the first derivative of q**4/4 + 5*q**3/3 + 5*q**2/2 + 6*q + 3. Let b be f(-4). Let y be 44/10 - 4/10. Sort y, 3, b.
b, 3, y
Let r be 10/6 + (-2)/(-6). Let b(o) = -o**3 - 3*o**2 + 5. Let p be b(-3). Suppose -8 - 32 = -p*k - 4*u, -5*k - 2*u + 30 = 0. Sort 1, k, r in descending order.
k, r, 1
Suppose 3*l - 4*o - 26 - 1 = 0, -2*o - 16 = -2*l. Sort 2, l, 1 in descending order.
l, 2, 1
Let m = -1 - -2. Let r be (-1)/(2/(-4)) + m. Sort -0.4, r, -0.1 in ascending order.
-0.4, -0.1, r
Let u be -1 + 1 + (-1)/(-2)*-8. Sort 0, -3, u, -5 in ascending order.
-5, u, -3, 0
Let p = -16 - -16.2. Suppose 0*f - 2*f = 0. Put p, -5, f in decreasing order.
p, f, -5
Let q(k) = -k**3 - 11*k**2 - 11*k - 5. Let n be q(-10). Suppose -n*w = -7*v + 2*v + 15, -4*v + 20 = 0. Sort 3, w, -5 in descending order.
3, w, -5
Let f = 7 + 2. Let n be 10/(-4)*f/(-15). Put -4, n, 3 in descending order.
3, n, -4
Let q = 1.12 + 6.78. Let m = -1.6 + q. Let o = -1.3 + m. Sort 1, -1/3, o.
-1/3, 1, o
Let i = 1 + -3. Let s = -129 - -125. Sort -1, i, s.
s, i, -1
Let d be 2/(-7) + 9/63. Put -2, d, 5 in ascending order.
-2, d, 5
Suppose 0 - 4 = -4*t, -4 = 3*k - 4*t. Sort 29, k, 5.
k, 5, 29
Let q be 3/9 - 15/(-9). Suppose 0 = -2*c - 2*v - q, 2*c - c + 3*v = -11. Let l(g) = -g**3 - 7*g**2 - g - 9. Let s be l(-7). Sort s, c, 3 in increasing order.
s, 3, c
Suppose 0*b = 4*b - 496. Let l = 739/6 - b. Let o be (8/30)/(4/(-10)). Sort l, o, -5 in decreasing order.
o, l, -5
Let q = 4 - 2. Let w be q*(-27)/12 + 2. Put -4, 2/5, w in decreasing order.
2/5, w, -4
Suppose -2*k = 2*k. Let s = k + 1. Let l be (1 + s/(-3))*-3. Put l, 1, 4 in descending order.
4, 1, l
Let c = -2.78 + 0.78. Sort 1, c, 0.1 in ascending order.
c, 0.1, 1
Let l be (-116)/(-10) - 6/(-15). Let n = 11 - l. Put 2, 4, n in descending order.
4, 2, n
Let d = -0.9 - -3.9. Let c = -5 + d. Sort -1, c, 0.
c, -1, 0
Suppose -5*g + 3*k = -32, -5*g - 2*k + 28 = -4*k. Sort g, -3, 3 in ascending order.
-3, 3, g
Let g be (-4)/(-8) - 573/(-40). Let q = -76/5 + g. Put q, -1/4, 0.3 in decreasing order.
0.3, -1/4, q
Let q = 157 - 91. Suppose 2*h - 5*h = q. Let i be 92/h + (-6)/(-33). Sort i, -1, -2 in decreasing order.
-1, -2, i
Let p = -1 + 18. Let q = p + -17.1. Let c be (-3)/6 + 1/(-4). Put 3/5, c, q in decreasing order.
3/5, q, c
Let t be ((-3)/10*-2)/(4/(-20)). Put t, 3, -1 in ascending order.
t, -1, 3
Let d = -202 + 598/3. Let p(y) = 12*y - 144. Let h be p(12). Put -0.5, h, d in decreasing order.
h, -0.5, d
Suppose 3*o + 17 = -4*x - 0*x, 5*o = -15. Let v = 0 - -4. Suppose 4*t = 4*m + 32, -2*t = -2*m - 3*t - 1. Put m, v, x in decreasing order.
v, x, m
Suppose -2*t = 3*w + 519, 5*w + 437 = -2*t - 428. Let h = 1209/7 + w. Sort 3, -0.4, h.
-0.4, h, 3
Let b = 0.24 - -0.06. Suppose 4*k + 7*i - 3*i + 32 = 0, -4*k = -i + 12. Let o be 6*k/(-20*3). Sort -0.1, b, o in descending order.
o, b, -0.1
Let o = -17 + 26. Let u = 12 - o. Put -2/3, -4, u in increasing order.
-4, -2/3, u
Let c = 10 + -7. Suppose 6 = -2*l + 5*l. Let g be (-5)/30 - (-11)/(-6). Sort g, c, l in increasing order.
g, l, c
Let l(i) = -i - 22. Let j be l(-18). Suppose -4*x + 5*y = -4, 4*x - 2*y + 1 = 5. Sort j, x, 3.
j, x, 3
Let u be (-44)/30 - ((-56)/12 + 4). Sort u, -1, -5/3, 1/3 in ascending order.
-5/3, -1, u, 1/3
Let c(s) = s**3 + 6*s**2 - s - 3. Let y be c(-6). Let m be y/(-6)*(0 - 0). Let a be (0 - (-2)/4)*6. Put -1, a, m in ascending order.
-1, m, a
Suppose 2*p = 3*p + 2*m - 10, p + 11 = 5*m. Sort p, -2, 1, -1 in descending order.
p, 1, -1, -2
Suppose 6*q + 12 = -12. Put q, -9, 1 in decreasing order.
1, q, -9
Suppose 0 = 4*d + 16, -4*d = -2*l - d + 24. Sort 2, 3, l in decreasing order.
l, 3, 2
Let y = 4 - 1. Let b = y + 2. Sort 0.2, -1, b in ascending order.
-1, 0.2, b
Let j be (-7)/(-2) + (-2)/4. Suppose 4*p - 15 + j = 0. Put 2, p, -1 in descending order.
p, 2, -1
Suppose 3 = -a - 3. Let f = a + 8. Suppose 5*i + 5 = -5*q, -2*i = 4*q - 0*q + 4. Sort q, -2, f.
-2, q, f
Let a be -2 + (-1)/1 - -5. Let l = -11 + 16. Sort -1/2, a, l in increasing order.
-1/2, a, l
Let k = 23 + -18. Let f = 3.01 + -3. Sort -4, f, k in ascending order.
-4, f, k
Let x be 8/(-15) - 6/(-9). Let p = -76 + 531/7. Sort p, x, 2/19 in descending order.
x, 2/19, p
Let p(y) = -y**2 - 7*y - 1. Let g be p(-7). Let d(m) = -m**2 + 3*m + 1. Let c be d(3). Sort g, -4, c.
-4, g, c
Let m = 5 + -2. Let a = 186 - 563/3. Sort -1, a, m in decreasing order.
m, -1, a
Suppose -4 = -n + 1. Suppose 4*t - n = -2*v + 7*v, -2*v + 5*t = 19. Let x be (1/2)/(3/v). Put 1, -2, x in increasing order.
-2, x, 1
Let z be (0/(-1))/(5 + -6 - 1). Sort 3, 5, 9, z.
z, 3, 5, 9
Let w be -4*(-3)/48 + 2/8. Put -0.1, -3, 5/2, w in decreasing order.
5/2, w, -0.1, -3
Suppose -9*f = -7*f - 66. Put -3, f, 5 in ascending order.
-3, 5, f
Let q = 11/4 + -3. Put -0.2, q, -0.4 in descending order.
-0.2, q, -0.4
Suppose 11 = -4*s + 23. Put -5, -1, s in descending order.
s, -1, -5
Let f be 34/(-17)*2/(-1). Let r be (-17)/5 + (-4)/(-10). Put r, 1, f in decreasing order.
f, 1, r
Let l = -17.89 + -0.11. Let n = l + 15. Put 5, -4, n in ascending order.
-4, n, 5
Let z(x) = 8*x**2 - x + 2. Let g(o) = 4*o**2 + 1. Let q(h) = 5*g(h) - 2*z(h). Let f be q(-1). Sort -0.7, f, -5 in ascending order.
-5, -0.7, f
Let t(o) = o + 9. Let k = -19 + 11. Let s be t(k). Let n = 6 - 11. Sort -2, n, s in descending order.
s, -2, n
Let r(o) = o**3 - 2*o**2 - o - 1. Let n be (3 + (-72)/28)*7. Let q be r(n). Let a = -5 - -3. Put q, a, -3 in descending order.
q, a, -3
Let u = 18 + -18.1. Let m = 166 + -1165/7. Put -1/4, m, u in descending order.
u, -1/4, m
Let w = 0.2 + 0.3. Let o = 0.03 + -0.27. Let x = o - 0.06. Sort w, x, -4 in descending order.
w, x, -4
Let k = 6 - 4. Let c(h) = -h**3 + 4*h**2 - 2*h + 1. Let n be c(3). Sort k, -6, n in decreasing order.
n, k, -6
Let w = -478/5 + 96. Sort -2, w, 1 in increasing order.
-2, w, 1
Let i(h) = -2*h - 4. Let j be i(-8). Let n be (-31)/6 + 2/j. Put -0.3, 1, n in decreasing order.
1, -0.3, n
Let t = 2 + -2. Let x(i) = 3*i**3 - 1. Let m be x(1). Let o be -1 - 1/((-2)/(-6)). Put m, o, t in ascending order.
o, t, m
Suppose 2*r + 0 = 5*i - 3, 0 = r + 5*i - 6. Let h be ((-2)/(-4))/((-3)/6). Sort r, 2, h.
h, r, 2
Let o(u) = 2*u - 27. Let s be o(12). Sort 9, 5, s in descending order.
9, 5, s
Let m = -1 + -1. Let n be -4 - 3*4/(-6). Let u = m - n. Put -5, u, -1 in descending order.
u, -1, -5
Let z = -15.6 + 14. Let v = 28 + -27. Sort 0.4, v, z in decreasing order.
v, 0.4, z
Let c(s) = -s**3 - 4*s**2 - 2*s - 5. Let k be c(-4). Suppose r = -k*r + 4. Sort 3, -5, r in descending order.
3, r, -5
Let w be ((-45)/12)/((-5)/(-20)). Let c = 12 + w. Sort 4, c, -2 in increasing order.
c, -2, 4
Suppose 0 = -7*s + 9*s + 2. Suppose 0*i = i - 5. Put s, i, 0 in descending order.
i, 0, s
Let i = 0.02 + 0.04. Let z = i - 0.56. Let t = z - -0.3. Put t, 3, -3 in descending order.
3, t, -3
Suppose -4*b = 3*w - 23,