p - 1. Sort c, p, -2, -5 in descending order.
c, p, -2, -5
Suppose -4*i + 54 = 14*i. Let l = 0 + 1. Let x be -3 - l*(2 - i). Sort x, -4, 5 in increasing order.
-4, x, 5
Suppose 0 = 10*a - 8 - 32. Sort 0.6, 2/3, a in decreasing order.
a, 2/3, 0.6
Suppose 0*d + 120 = 6*d. Suppose 8*v - d = 4*v. Sort -4, v, -3, -2 in ascending order.
-4, -3, -2, v
Let r = -279 - -278. Let t = 4 + -4.4. Let s = -2.6 + t. Put 3/2, s, r in descending order.
3/2, r, s
Let c(h) = -4*h - 15. Let o be c(-5). Sort -3, 3, 56, o.
-3, 3, o, 56
Let t = -8.9 + 8.6. Suppose 3*a + 3*p = -15, a - 5*p = -3*a - 20. Put t, a, -2 in ascending order.
a, -2, t
Suppose 4*u = u + 12. Let s = -7.84 - -8.34. Put 1/6, s, u in increasing order.
1/6, s, u
Suppose 0 = 3*h - 2*x - x - 3, -3*x = 4*h - 11. Suppose 0*n = 3*n + h*c + 20, -3*n - c = 16. Put 4, 1, n, 2 in increasing order.
n, 1, 2, 4
Let g be 1007/(-95) + 2/(-5). Let r(n) = -n**2 - 12*n - 9. Let t be r(g). Let k be (t/(-4))/(2/(-4)). Sort -3, 3, k in increasing order.
-3, k, 3
Suppose 0 = 3*i - 2*o + 2 - 31, 0 = -4*i - 5*o + 31. Let f(u) = u**2 - 10*u + 12. Let t be f(i). Sort -2, 5, t in descending order.
5, t, -2
Suppose 36 = 3*d - 3*r, -d + 5 = r + 1. Sort d, 5, 15.
5, d, 15
Let s be (2/12*2)/((-21)/(-126)). Suppose -6*o - 5 = -o. Sort s, -10, o in decreasing order.
s, o, -10
Let s be (-5)/(-63) - 4/18. Let o = 1.9 - 3.9. Let q be (-12)/(-16) - (-108)/(-80). Put o, q, s in increasing order.
o, q, s
Let a be (-1)/((-2)/((-2)/1)). Let y = a - -2. Suppose -2*j + c = 13, 0*c = -2*j + 2*c - 18. Sort -2, j, y in ascending order.
j, -2, y
Let x = 4 - 10. Let n = -1 - x. Suppose 16 = -4*j + 20*j. Put j, n, 2 in descending order.
n, 2, j
Let f = 45 + 6. Let o = 46 - f. Put o, -4, -0.9 in descending order.
-0.9, -4, o
Suppose 2 = 3*b + 14. Let x be (-7540)/48*b/50. Let i = x + -79/6. Sort 2/13, 2/15, i in increasing order.
i, 2/15, 2/13
Let l be (2/32)/(-2*(-5)/(-60)). Put 0.4, -0.4, -6, l in ascending order.
-6, -0.4, l, 0.4
Let b be 12 + -11 + -3*2/(-3). Suppose -3*q + b*q = 7*q. Put 0.4, 9, q in descending order.
9, 0.4, q
Let n(f) = 2*f + 8. Let l be n(-6). Let r(q) = q**3 + 6*q**2 - 6*q + 6. Let u be r(-7). Sort l, u, 3 in descending order.
3, u, l
Suppose 36*d = 30*d. Sort d, 13, -5, 4.
-5, d, 4, 13
Let f = 380 - 372. Sort -4, 1, f, -3 in increasing order.
-4, -3, 1, f
Let n(z) = -22*z**2 + 13*z - 1. Let u be n(-9). Let r be 2 + -1 - u/(-1584). Let v = -1/44 + r. Sort -3/4, v, 0.3.
-3/4, v, 0.3
Let h(p) = -p**3 - 4*p**2 - 13*p - 64. Let d be h(-5). Sort -5, -3, d in ascending order.
-5, -3, d
Let f = 6.5 + -5. Let b = 2.5 - f. Let z = -6 + 5. Sort 1/2, b, z in ascending order.
z, 1/2, b
Let z = -10 + 14. Suppose z*t - 23 = 49. Let r = t - 17. Sort -4, -3, r in descending order.
r, -3, -4
Let u = -53 + 65. Let m = 5 + 2. Let d = m - u. Sort d, 1, 3/2 in decreasing order.
3/2, 1, d
Suppose 23*n - 15 = 18*n. Suppose 10 = -8*b + n*b. Put 2, b, 0.4, 1 in ascending order.
b, 0.4, 1, 2
Let b(y) = y**3 - 5*y**2 + 10*y - 49. Let j be b(5). Sort j, -318, 0.
-318, 0, j
Suppose s - 18 = -2*s. Let o be ((-7)/14 + 0)*(-2)/3. Let c = -1311/11 + 119. Sort s, o, c in increasing order.
c, o, s
Suppose -5*d - 3*t = 6, -d + 0*d + 4*t = -8. Put 5, -4, d, -10 in descending order.
5, d, -4, -10
Let u = -1111 + 1107. Put u, -58, 3/2, 0.2 in decreasing order.
3/2, 0.2, u, -58
Let h = -157.93 - -156. Let y = -0.23 - h. Let q = -2.2 + y. Sort q, -0.1, 1/5 in increasing order.
q, -0.1, 1/5
Let y be -3*((-10)/2 - 88/(-16)). Let n = -5 + 7. Put 5, 1, y, n in ascending order.
y, 1, n, 5
Let b = 875 + -876. Put 10, b, 2, 1 in decreasing order.
10, 2, 1, b
Suppose 0 = -3*j - 3*i - 489, 4*j + 675 = i + 28. Put -1, j, 5 in descending order.
5, -1, j
Let n = 0.9 + 5.1. Let g be ((-4)/6)/(110/(-30)). Put g, 0.5, n in descending order.
n, 0.5, g
Let q(x) = 10*x + 293. Let v be q(-29). Sort 28, 5, v.
v, 5, 28
Let y(h) = h**2 + h - 4. Let v be y(-3). Suppose -5*s - 3 - v = 0. Let u be 57 + -46 - (1 - 0)/1. Sort u, -2, s.
-2, s, u
Let b be (-2 + 16/20)*(-10)/3. Suppose 3*c = -2*f + 13, 0*c - 2*c = -2*f - 12. Put b, f, 13, 0 in increasing order.
f, 0, b, 13
Let h = -832 - -864.91. Let w = h - 33. Sort w, -2, 5 in ascending order.
-2, w, 5
Let s = 114 + -65. Let n = 51 - s. Let h be (-4*(-2)/(-20))/2. Put h, 1, n in increasing order.
h, 1, n
Let i be 6*(-3)/54*-9. Put 18, 0, -2, i in ascending order.
-2, 0, i, 18
Let b(w) = w**2 + 6*w + 7. Let u be b(-5). Suppose 0 = u*j - 1 - 3. Let q = -421 + 421. Sort q, -1, j in decreasing order.
j, q, -1
Let f(x) = 6*x + 64. Let b be f(-10). Sort b, -6, -1, -3.
-6, -3, -1, b
Suppose -2*w = 3*w - 430. Suppose 31 - w = -5*r. Suppose -g - r = -4*x, 0 = 5*x + g - 27 + 2. Sort x, 5, 0 in decreasing order.
5, x, 0
Let b = 18 - 3. Suppose 4*o = -1 - b, 0 = 5*y + 3*o + 37. Sort 3, y, -3 in decreasing order.
3, -3, y
Let z be (2 - 3)*(4 + -5). Put 3, 3/5, -2/41, z in descending order.
3, z, 3/5, -2/41
Suppose -5*d = -2*v + 10, -4*d + 1 - 9 = 0. Put -5, -34, -4, v in descending order.
v, -4, -5, -34
Let a = 0.074 - 0.054. Sort -2/25, 5, a in descending order.
5, a, -2/25
Let h = -12 + 2. Let o = h + 10. Let b be (o - -2)*(-14)/(-7). Sort -5, b, -2 in descending order.
b, -2, -5
Let o be (-58)/20 + (-69)/15 + 5. Put o, -3/10, 0, -3 in descending order.
0, -3/10, o, -3
Let l(m) = 2*m - 4. Let g be l(4). Suppose -252 = 99*h + 94*h - 165*h. Sort g, 1, h in descending order.
g, 1, h
Let q = -225 - -221. Sort 2, q, -28 in decreasing order.
2, q, -28
Let v = 1307 - 1243. Sort -5, v, 5 in decreasing order.
v, 5, -5
Let x be 1*(2 + -1) - 17. Let h be (x/12)/(4/(-6)). Let q(r) = -r**3 - 10*r**2 - 12*r - 19. Let s be q(-9). Sort h, 0, s in descending order.
s, h, 0
Let u = -2/117 - 224/585. Let c be (-1)/(-8)*(1/5 + 295/25). Put 1, c, u, 3 in descending order.
3, c, 1, u
Let j(b) = b**3 + 8*b**2 + 10*b + 13. Let d be j(-5). Let l = -39 + d. Sort 5, 4, l in increasing order.
l, 4, 5
Let f = -128.4 - -131.4. Sort f, -3, 1.5 in ascending order.
-3, 1.5, f
Let g = 1223 - 1214. Put -1, 22, g in descending order.
22, g, -1
Let m = -269 + 281. Sort -5, 4, m, -3 in decreasing order.
m, 4, -3, -5
Let s(h) = h + 2. Let r be s(-3). Let o = 9588 + -9585. Sort 0, -5, o, r in descending order.
o, 0, r, -5
Let l = -2 - -4. Let v be (-1)/2*3*-2. Let c be 16/24 - 5/v. Sort c, 0, l in descending order.
l, 0, c
Let d = -93 + 94.95. Let o = 0.05 + d. Sort -4, o, -2/3.
-4, -2/3, o
Let c be (-1)/((2/12)/(10/(-4))). Suppose -5 = -c*q + 16*q. Sort 5, q, 1 in increasing order.
q, 1, 5
Let d = -0.0802 + 0.3802. Sort -0.1, d, 1/2 in increasing order.
-0.1, d, 1/2
Let o(c) = -5*c**2 + 130*c + 4. Let z be o(26). Sort 0.1, -0.14, 0.6, z.
-0.14, 0.1, 0.6, z
Let m be (8/238)/((-152)/532). Put -12, -0.3, m, 1 in increasing order.
-12, -0.3, m, 1
Let c = -1/24 - 7/24. Put c, -0.01, 2 in ascending order.
c, -0.01, 2
Let n(t) = -26*t + 129. Let u be n(5). Let a = -4.7 + 5. Sort -0.5, a, -5/2, u in descending order.
a, -0.5, u, -5/2
Let n be 1*(5 + -4)*13. Suppose h = 3*r - n, -5*r - 35 = 5*h - 10*r. Put 5, h, -3 in descending order.
5, -3, h
Let z = 110 - 110.1. Sort z, 5, -0.5, -5 in ascending order.
-5, -0.5, z, 5
Let a = 4205/4 - 1052. Sort a, 4/11, 10.
a, 4/11, 10
Let t = 36 + -35. Let f be t/(-5)*50/30. Let z be 0 + -3 + 1 + -1. Put 0.4, z, f in ascending order.
z, f, 0.4
Suppose -2*k - 15*a + 38 = -10*a, -4*a = 0. Sort -3, k, -1 in descending order.
k, -1, -3
Let l be (2 - (-6)/(-1))/(-4 - 0). Let w be 2/l + 44/(-11). Suppose 2*p = 5*p + 12. Sort 3, w, p in decreasing order.
3, w, p
Suppose -4*z - 8*z + 1104 = 0. Let y = z - 107. Sort y, 1, 4 in increasing order.
y, 1, 4
Let u = 154 + -159. Let r = 3/2 + -3. Sort 3/8, r, u in descending order.
3/8, r, u
Let j = -314 - -309. Put 25, j, -2 in decreasing order.
25, -2, j
Let t = -1027/61336 - -9/328. Let c = t - 195/748. Let y = 20 - 28. Sort y, c, -0.5 in increasing order.
y, -0.5, c
Suppose 0 = -5*p + 5 + 10. Let h(u) be the first derivative of 4*u**3/3 + 51*u**2/2 - 9*u - 45. Let r be h(-13). Put 2, p, r in ascending order.
2, p, r
Suppose 54*x = 45*x + 36. Put 0.5, 59, 3/2, x in ascending order.
0.5, 3/2, x, 59
Suppose -r = -3*s + 6, 12*s - 9*s - 6 = -5*r. Put s, -8, 6, 3 in descending order.
6, 3, s, -8
Suppose d - 2*d = -3*h + 14