p, y in decreasing order.
y, x, p
Let f = 2188/7 + -312. Sort f, 1, -1.1 in descending order.
1, f, -1.1
Let x be 136/24 - 4/6. Suppose -5*z = 5*u, -x*z - u + 6 + 14 = 0. Suppose -b = b + 2. Put z, b, -3 in ascending order.
-3, b, z
Let c = -0.3 + 0. Put 1, 0, c in increasing order.
c, 0, 1
Let q = 41 + -40.7. Sort q, -2/21, 0.5, -1/4 in ascending order.
-1/4, -2/21, q, 0.5
Let j(p) = -p**3 - 22*p**2 - p - 24. Let n be j(-22). Sort -3, n, -4, 3 in ascending order.
-4, -3, n, 3
Let a(f) = f**2 - 2*f. Let d be a(2). Suppose -16 = 2*u - d*h - 3*h, -5*h = 3*u + 5. Sort u, -4, -3.
u, -4, -3
Let z = -0.002 - 0.148. Sort z, -3/5, 2, -0.1.
-3/5, z, -0.1, 2
Let n(b) = -b**3 - 23*b**2 + 23*b - 11. Let o be n(-24). Put o, 2, -2, -3 in decreasing order.
o, 2, -2, -3
Let s = 9.4 - -1.6. Let h = s + -7. Sort 3, 1, h in increasing order.
1, 3, h
Suppose -5*h - 5 = -4*j - 61, 3*h = j + 35. Suppose h + 3 = -5*l. Let g = -20 + 22. Sort g, l, -1.
l, -1, g
Let s = -0.5 - -0.4. Let f = s + -0.4. Let p = 2 - 1. Put p, 0.1, f in descending order.
p, 0.1, f
Let q be 16/72 - 17/36. Sort -4, 3, q in descending order.
3, q, -4
Let g be (-27)/18*5/(15/(-4)). Put 1, g, 5 in decreasing order.
5, g, 1
Let y(a) = a**3 - 6*a**2 - 9*a + 12. Let i be y(7). Sort i, 1, -5, -1.
-5, i, -1, 1
Let f be 11 + -3 + 1 + 3. Sort 0, 4, f.
0, 4, f
Let q = 108 - 173. Let t be 74/90 + 39/q. Put 1/6, t, 5 in descending order.
5, t, 1/6
Suppose -3*w + 1 = -0*n + n, 2*n + 22 = 2*w. Put n, 2, -3 in descending order.
2, -3, n
Let k be (-4)/6 + (4 - 3). Suppose v - 5*b - 31 = 4*v, 3*v - 2*b = 4. Put v, 5/4, k in ascending order.
v, k, 5/4
Let p = -13 + 13.3. Put 1/2, p, -0.2 in decreasing order.
1/2, p, -0.2
Let m = 0.6 - 0.3. Let d be ((-6)/(-4))/((-9)/(-6)). Put 3, d, m in descending order.
3, d, m
Let b be (7/(-35))/(2 - 3). Sort b, -4, 5.
-4, b, 5
Let b = -178 - -176. Let j(f) = -f**2 + 7*f + 10. Let u be j(7). Put u, 3, b in descending order.
u, 3, b
Let j = 61.86 - 67.8. Let q = j + 6. Let s = 3.94 + q. Sort 0, s, -1/3 in descending order.
s, 0, -1/3
Let i = -1.3 - -1. Let v = -0.3 + 0.6. Let j = 0.7 + v. Sort i, 3/2, j in descending order.
3/2, j, i
Let f = 0.04 - 0. Let y = -252 + 3778/15. Sort f, -0.3, y.
-0.3, y, f
Suppose 0 = 5*n + 25 - 15. Put 2, 5, n in increasing order.
n, 2, 5
Let l(k) = k**3 - k**2 - 5. Let b be l(0). Let m(z) = z + 1. Let x be m(-1). Suppose x*g + 3*g - 3 = 0. Sort b, 4, g in ascending order.
b, g, 4
Let u(k) be the second derivative of -k**3/6 + 6*k**2 - k. Let s be u(10). Sort 1, 4, s in descending order.
4, s, 1
Let u = -28 - -29.9. Let x = 2 - u. Sort -0.4, x, 3 in decreasing order.
3, x, -0.4
Let y be (-232)/(-28) - (-2)/(-7). Let c(h) = -h**3 + 8*h**2 - h + 11. Let m be c(y). Let z = -3 + m. Put z, 1, 3 in ascending order.
z, 1, 3
Let k = 8 + -9. Let m be -1 + k + 6/(-2). Let r = -5 + 10. Sort -4, m, r in descending order.
r, -4, m
Let c = -10.5 - -7. Let h = 4 + c. Let r = 0.3 - h. Put 2, r, 0.5 in descending order.
2, 0.5, r
Suppose -5*x + x - 3*o - 39 = 0, -5*x + 2*o - 43 = 0. Let z = -7 - x. Put z, -1, 0 in descending order.
z, 0, -1
Suppose 2*w - 8 = -4*h, 0 = -5*h + 6*w - 2*w - 16. Let i = h - 3. Let t be (-2)/i - (-1)/(-2). Sort t, -2, 4.
-2, t, 4
Suppose -4 = -b - 5. Let c be b/4 + 0/(-2). Let i be (5 - (0 + 3))/(-2). Sort c, 2/3, i.
i, c, 2/3
Let m be 4/(-6) - (-6)/9. Suppose m = 5*x + 3*z - 9, -2*x - 3*z = -3*x - 9. Let w(h) = 3*h**3 + h. Let g be w(-1). Sort -2, g, x in ascending order.
g, -2, x
Let p = 25 - 51/2. Put -2, 3, p in increasing order.
-2, p, 3
Let j = -1.9 - 2.1. Let h = 123605 + -36092725/292. Let l = h - 2/73. Put j, l, 4 in increasing order.
j, l, 4
Suppose 2*n = 7*n. Put n, -3, -4 in ascending order.
-4, -3, n
Let d(t) = t**3 + 5*t**2 + 2*t + 6. Let s be d(-5). Suppose -2*f - 13 = 3*o - 0, 3*o - f = -7. Let k = 2 - o. Sort s, k, 0 in decreasing order.
k, 0, s
Suppose 2*c + 2*v = v - 4, 5*v = 3*c + 6. Sort c, -3, 8, -5 in ascending order.
-5, -3, c, 8
Let i be (2/14)/(1/4). Suppose 0 = 3*t - t - 756. Let k be 192/t - 4/14. Put i, k, -5 in decreasing order.
i, k, -5
Let r(q) = -q**3 - 12*q**2 - 10*q + 12. Let d be r(-11). Suppose 2*w - 2*v = 16, 4*w - 4*v - 37 = v. Suppose -w*h - 3 + 0 = 0. Put 5, d, h in ascending order.
h, d, 5
Suppose 4*n - 1 = 3*c, -c - n = c + 8. Suppose -23 = 4*j - 103. Suppose 0 = -10*g + 5*g - j. Sort g, 4, c in decreasing order.
4, c, g
Let c = 21 + -24. Put c, 1, -1 in decreasing order.
1, -1, c
Let i be 14/24 - (-1)/(-3). Let t = -0.6 + 0.1. Put t, 2/17, i in descending order.
i, 2/17, t
Let a = -9.7 + 10. Sort -0.5, 2/19, a in decreasing order.
a, 2/19, -0.5
Suppose 0 = -4*d + 4*u - 21 + 1, 3*d = -4*u + 20. Sort 3, 4, d in decreasing order.
4, 3, d
Let w = 17 - 14. Put 1, 0.03, w in ascending order.
0.03, 1, w
Let g = 41 - 19. Suppose 3*i + 7 = g. Let r be 1/6*10*-3. Sort r, -1, i.
r, -1, i
Suppose m + 0 = 2. Let d be (2 - (-1)/(-1))*m. Let w = -0.2 + -1.8. Sort 1/4, d, w.
w, 1/4, d
Let o = -44 + -31. Let k be 16/(-60)*o/6. Let g = k + -7/2. Sort 2/7, g, -3/7.
-3/7, g, 2/7
Let g(f) = -f**3 - 18*f**2 + 3. Let b be g(-18). Sort 4, -3, b in increasing order.
-3, b, 4
Let v(h) = 10*h - 2. Let g(z) = z**3 + 4*z**2 + 2*z. Let s be g(-3). Let i be v(s). Suppose 2*q + b = 1, -q = 2*b - 7*b - i. Sort q, 5, 2 in decreasing order.
5, q, 2
Let w be 5 - 2/(6/9). Let z = 0.3 + 0. Sort 5, z, w in descending order.
5, w, z
Let a = -0.09 - -0.29. Put 0.02, a, 1, 5 in ascending order.
0.02, a, 1, 5
Let j(g) = -g + 6. Let r be j(4). Suppose -2*p = 4*f - 10, 0 = -2*p - p - 3. Let o = r - f. Sort o, 2, -4 in decreasing order.
2, o, -4
Let a = -945/23 + 41. Put -1, a, -5 in decreasing order.
a, -1, -5
Suppose -14*n - 28 = -16*n. Suppose -12 = d - 2*o, -2*d + 0*o - n = -2*o. Put 4, d, -3 in decreasing order.
4, d, -3
Let y = 0.23 + 0.17. Sort y, 1, -3/8 in descending order.
1, y, -3/8
Suppose -r = -2*r. Put 3, r, -3 in decreasing order.
3, r, -3
Let z = -17 - -22. Put z, -4, 0 in decreasing order.
z, 0, -4
Let t be 2/6 - 13/3. Suppose 10*k = 5*k - i - 8, -k - 3*i = -4. Let c be k/(-1) - (-10 - -8). Put t, c, 1 in increasing order.
t, 1, c
Let y = 2 + -1. Let t be 4*y/(-3 - -5). Sort t, 4, 3 in decreasing order.
4, 3, t
Let k = -0.056 - -22.056. Let r = 21.6 - k. Put 0, 0.02, r in decreasing order.
0.02, 0, r
Let n = -3 - -7. Sort 2, n, -1 in decreasing order.
n, 2, -1
Let k = -42 - -46. Put 5, k, -5 in descending order.
5, k, -5
Suppose -2*i - 4 - 8 = 0. Let l = i - -4. Let b be (l/(-3))/(14/6). Sort b, 5, 3 in increasing order.
b, 3, 5
Let w = -9 + 13. Let i = -3 + 5. Suppose -w*x - 16 = -i*m, 3*m + 2 - 6 = 2*x. Sort 1, x, 5 in ascending order.
x, 1, 5
Let c(l) = -l**2 - 7*l - 7. Let s be c(-6). Let q = 6 + -6. Sort 4, s, q in increasing order.
s, q, 4
Suppose 7 + 0 = -c. Let z(u) = u**2 + 7*u - 3. Let g be z(c). Put g, -4, 4 in ascending order.
-4, g, 4
Let r be 5 + 45/(-12) - 1. Sort r, 1, 4.
r, 1, 4
Let d be (-1)/(-3 + (-28)/(-8)). Sort d, 1, -3.
-3, d, 1
Let c be ((-1390)/2)/(5 - -3). Let n = c - -87. Let p be 12/5 - (-6 + 9). Sort n, p, -5 in decreasing order.
n, p, -5
Let k be (-1227)/(-6930) - 6/33. Let g = -6/35 - k. Sort 2, -0.4, g.
-0.4, g, 2
Let p(v) = 3*v - 5. Let w be p(3). Let x be (-3 + -2 + w)*1. Sort x, -1/3, 2/15 in decreasing order.
2/15, -1/3, x
Let b be 1/(-1 + 12/64*4). Sort b, 2/19, -2.
b, -2, 2/19
Let s(v) = v**3 + 3 + 7 - 6*v - 6 + 0*v**3 + 6*v**2. Let a be s(-7). Sort a, 2, -2 in decreasing order.
2, -2, a
Let m be 1/((20/16)/5). Sort m, 5, -4 in decreasing order.
5, m, -4
Let f(h) = h + 1. Let q be f(3). Let p be (3/(-76))/(3/(-72)). Let g = -129/76 + p. Sort q, 2/3, g in descending order.
q, 2/3, g
Suppose 4*z - 16 = -0*z. Let q = z + -6. Let l = -6 - -10. Put q, l, 1 in decreasing order.
l, 1, q
Let g = 1798/9 - 200. Put -4, g, -5 in ascending order.
-5, -4, g
Let x be 4*2*(-2)/(-4). Suppose -5*d = 20, 4*d = 3*u - 8 - 2. Put u, x, -4 in descending order.
x, u, -4
Let d be 0/(-1) + -6 + 7 - 1. Sort d, 3, 1 in decreasing order.
3, 1, d
Suppose -44 = 14*r - 36*r. Sort r, -3, 3 in descending order.
3, r, -3
Suppose -2 = 2*z - 4*z - 4*r, 5*z = 5*r + 20. Suppose -k - 3*v - 18 = v, z*k = v - 2. Put 1/8, k, 1 in ascending order.
k, 1/8, 1
Suppose -g = -5*r + 1, 2*r + 5*g - 22 = -0*r. Let c = 11 - 12. 