/13 - 4. Put 4, -3, p, c in increasing order.
-3, p, c, 4
Let o = -327 + 327.6. Let f = 11 - 21. Let y be 4/(-6)*12/f. Sort y, o, 0.2 in descending order.
y, o, 0.2
Let q = -0.5093 + 0.0093. Put 1, -5, 2, q in increasing order.
-5, q, 1, 2
Suppose 3*x + 8*x = -176. Sort x, 0, -5, 1.
x, -5, 0, 1
Suppose 5 = -l + 2, -3*l - 28 = j. Sort -6, 2, j in ascending order.
j, -6, 2
Let o = 10 - 10.6. Let j = -121 + 133.8. Let d = -13 + j. Sort 0.4, o, d.
o, d, 0.4
Let u(v) = -v**3 + 6*v**2 + 3. Let b be u(6). Let n be (-992)/868 + (-62)/7. Sort b, n, -4 in decreasing order.
b, -4, n
Let k = -25 + 18. Let u(y) = -14*y**2 + y**2 - 5*y + 2 + 15*y**2. Let r be u(3). Sort k, r, 0 in descending order.
r, 0, k
Suppose 0 = 33*q - 30*q - 12. Put -6, q, -3 in increasing order.
-6, -3, q
Suppose -43 = 3*v - 3*n - 19, 5*n - 15 = 0. Put 6, -10, v in increasing order.
-10, v, 6
Let m be 1*(10*1 - 0). Let s(c) = c**2 + 5*c + 8. Let p = 111 - 115. Let r be s(p). Sort m, r, 0 in descending order.
m, r, 0
Let i(x) = -x + 15. Let g be i(9). Let p be 11/(4/(-2 + g)). Let l = -8 + p. Put 0, 4, l in decreasing order.
4, l, 0
Suppose 0 = m + 80 - 78. Sort 4, -3, m.
-3, m, 4
Let b be (-4)/42*(0 + (13 - 7) - 9). Let o = 243 + -3157/13. Put o, 0.2, b, 1 in decreasing order.
1, b, 0.2, o
Let l = 400.33 - 418.2. Let o = l + -0.13. Let r = o + 26. Sort 0, r, -5 in decreasing order.
r, 0, -5
Let m = 10 + -7. Suppose -m*g + 2*g + 3 = 0. Suppose h = -4*i - 4*h - 18, 3*i - g*h = 0. Sort i, -5, 3 in decreasing order.
3, i, -5
Suppose d - 1 = 3. Let z be ((-1)/1)/(3/9). Suppose 12 = 93*u - 99*u. Sort d, z, u in descending order.
d, u, z
Suppose -8*z - 7 = -23. Put 2/7, 0, 4, z in ascending order.
0, 2/7, z, 4
Let h = 35 - 35.5. Let r = 0.37 + -17.37. Let q = r - -12. Put q, h, -2/11 in descending order.
-2/11, h, q
Let k = 2176 - 2192. Sort 2, 5, k in ascending order.
k, 2, 5
Let p be -4 - (-2 - 4/20*5). Let m = 4 - 7. Put p, -10, m, -4 in ascending order.
-10, -4, m, p
Let p = 640 + -641. Sort -2, -30, p.
-30, -2, p
Let g(y) = 4*y**3 - y**2 - y + 1. Let i be g(1). Sort i, -91, 2.
-91, 2, i
Let q be (-15)/(-126) - 2/7. Let r = 2395/42 - 398/7. Sort 1/3, r, q in decreasing order.
1/3, r, q
Suppose 4*f - 22 - 10 = 0. Let g = f + -10. Let a(z) = -5*z + 1. Let v be a(1). Put 5, g, v in ascending order.
v, g, 5
Let h = 5 + 0. Let z = 856.2 + -856. Sort h, -0.3, z, 7 in decreasing order.
7, h, z, -0.3
Let r(i) = -i**2 + 13*i - 13. Let a be r(12). Suppose 2*g - 14 = -5*h, -27 - 1 = 4*g - 4*h. Put g, a, 3 in decreasing order.
3, a, g
Let f = 87 - 79.8. Let c = 15 + -8. Let j = f - c. Sort 0.4, j, 1/3 in decreasing order.
0.4, 1/3, j
Suppose 9*y = 6*y. Suppose y = -5*n + n + 16. Put -6, 2, n in ascending order.
-6, 2, n
Let f(m) = -2*m - 15. Suppose -2*d + h - 17 = 0, -h = 4*d - 5*h + 44. Let z be f(d). Let n be (10/(-8))/((-2)/8). Sort z, 3, n.
z, 3, n
Let n = -39.71 - -0.71. Let r = n - -43. Sort -10, -0.1, r in descending order.
r, -0.1, -10
Let s = -30.3 + 30.3. Sort -2, 0.6, -4/7, s.
-2, -4/7, s, 0.6
Let w be -2 + (1 + 1 - -1). Let k(y) = -16*y**2 - 3*y - 2. Let j be k(-1). Let i be 5/j*(15 + 0). Sort w, 0, i.
i, 0, w
Let w(p) = -4*p**3 - 33*p**2 - 34*p + 6. Let n be w(-7). Put -5, n, 223 in descending order.
223, n, -5
Let r = -278 + 274. Sort -5/6, -2/7, r, -0.1.
r, -5/6, -2/7, -0.1
Let o be (40/(-25))/((20/4)/(-25)). Sort 5, -4, o.
-4, 5, o
Let j be 6*2/(-18)*-3. Suppose 0 = 3*v + 3*p - 16 - 5, -j*v - p = -17. Let i be (-2 + 1)*(1 - -2). Sort 2, v, i in descending order.
v, 2, i
Let u be -6 - (-2 + 0) - -39. Let d be 28/u - (-9)/(-30). Sort -4, 3, d.
-4, d, 3
Let i = -5.4 + -2. Let y = 8 + i. Let h = y + -0.7. Sort 0.1, 4, h.
h, 0.1, 4
Suppose -4*v - 35 + 83 = 0. Suppose 3*k + 15 = v. Put k, -5, 4, -8 in descending order.
4, k, -5, -8
Let g = -1841 + 1837. Let c(f) = f**2 + 2*f + 3. Let o be c(3). Sort g, -3, o, -2 in descending order.
o, -2, -3, g
Let n = 0 + -0.1. Let a = -56 - -61. Sort a, 1, n in ascending order.
n, 1, a
Let w = 133/40 + -16/5. Suppose -4*k - f = -6*f + 1, 5*f - 3 = 2*k. Suppose -4*j - k = -5. Sort w, -3/5, j in increasing order.
-3/5, w, j
Let v be 210/35 - 9/1. Sort 2/13, 0, -65, v.
-65, v, 0, 2/13
Let l = 1.67 - -0.33. Let i = -1.6 + l. Sort i, -0.2, -2 in decreasing order.
i, -0.2, -2
Let a(f) = 4*f**3 - 3*f**2 - 8*f + 7. Let v be a(5). Let l be (-2)/7 - -26*(-7)/v. Sort 1.2, l, 2/15 in decreasing order.
1.2, 2/15, l
Let h = 790 + -788. Let c = -7 - -12. Sort c, h, -8, -2 in decreasing order.
c, h, -2, -8
Let j be (-6)/5*25/(-10). Put 8, 10, j in decreasing order.
10, 8, j
Let b = 156 + -150. Let m(i) = -i - 2. Let h be m(-7). Let s = 8 - h. Put s, 4, b in ascending order.
s, 4, b
Suppose -110 = -7*q - 89. Put q, -4, 216 in decreasing order.
216, q, -4
Let d = 42 + -41.65. Let v = d + 0.25. Sort -1, 0.4, v in descending order.
v, 0.4, -1
Suppose -j = -8*l + 3*l + 69, -j = l - 15. Suppose l = -5*u + 69. Put 5, 3, u in descending order.
u, 5, 3
Suppose -3*t = -0*t + 5*c - 12, 0 = -2*t + 5*c + 8. Let l(z) = -2 + t*z - 4*z + 0*z + 5*z. Let u be l(2). Put 0.3, 5, u in decreasing order.
u, 5, 0.3
Suppose 3 = -y - 6. Let k = -190 + 195. Sort k, -1, -3, y in decreasing order.
k, -1, -3, y
Suppose -3*h - 4 = 11. Let g(f) = -8*f - 354. Let n be g(-47). Sort -1, 3, h, n.
h, -1, 3, n
Let w = 0.89 + 1.11. Put 1, w, 6, 0 in ascending order.
0, 1, w, 6
Let r(g) = -g**3 - 6*g**2 - g - 1. Let s be r(-6). Let c = 2 - -1. Let w = c - s. Put 0.4, 4, w in increasing order.
w, 0.4, 4
Let p = 59 + -61. Let u = -0.199 + 4.239. Let q = u + -0.04. Sort p, q, 1 in increasing order.
p, 1, q
Let h = 4.6 + 17. Let w = -11.6 + h. Suppose -j - 5 = -3*m + 6, -16 = -5*m + 4*j. Put -0.2, m, w in increasing order.
-0.2, m, w
Let c = 101 - 101.4. Sort c, -0.1, 3.
c, -0.1, 3
Suppose 0*g = -2*g + 10. Put -2, g, -1 in decreasing order.
g, -1, -2
Suppose 17 = 4*g - 15. Suppose 0 = -2*o + g + 2. Let y be (o/(-2))/((-2)/4). Sort 4, y, 1 in decreasing order.
y, 4, 1
Let s = -2/397 - 391/1191. Sort s, 3, 0.3 in descending order.
3, 0.3, s
Suppose 2*o - 4*j - 16 = 0, 3*j - 11 = -4*o + 4*j. Let h = 3 + -4. Let f be h/((-1)/(-2)) + -1. Sort o, 3, f in ascending order.
f, o, 3
Let m be (-6)/5*45/(-18). Let g be (-4)/6 + (-98)/(-21). Let r be -1 - (-3 - (g + -4)). Sort m, r, 5.
r, m, 5
Let s = 4.4 - -22.6. Let d = 32 - s. Let m = -10 + 6. Sort d, 3/2, m in descending order.
d, 3/2, m
Let c be 5 + -2 + 35/(-5). Let q(l) = 2*l**2 + 7*l - 7. Let x be q(c). Let m = 1 + -5. Put m, x, 4 in decreasing order.
4, x, m
Let d be (-6)/(-4)*24/(-36). Put 0, d, 11, 2 in decreasing order.
11, 2, 0, d
Let j = -173 + 168. Put -41, -1, 2, j in decreasing order.
2, -1, j, -41
Suppose 8*z + 1140 = -52*z. Put 4, z, 48 in decreasing order.
48, 4, z
Suppose 2*m + 6 = 4*w - 0*m, 5*m = 3*w - 8. Let t = 39 + -14. Suppose 3*u + 2*s + t = 0, -3*s = u + 26 - 6. Sort w, u, -3.
u, -3, w
Let d be (-176)/(-96)*(-1436)/7. Let w = d - -376. Suppose -9 = 2*o - 1. Put w, 2, o in ascending order.
o, w, 2
Let m = 59 - 63. Let u(z) = z**2 - z - 17. Let j be u(m). Suppose -2*f - f = 0. Put -1, f, j in increasing order.
-1, f, j
Let j = 36.9 - 39.9. Sort 5, j, -1 in ascending order.
j, -1, 5
Let o = 14/47 - -29/376. Let y be 1 + 1 - 18/12. Sort o, 0.08, y in descending order.
y, o, 0.08
Let k(c) = c**3 + 5*c**2 - 9*c - 18. Let s be k(-6). Suppose s*v = v + 3. Put -1, v, 2, 3 in ascending order.
v, -1, 2, 3
Let f = 199 + -198. Put 0.07, f, 1/2 in ascending order.
0.07, 1/2, f
Let k(j) = -2*j**3 + 35*j**2 + 69*j - 915. Let f be k(18). Suppose 0 = 2*h - h - 4. Sort f, h, 1, 0 in descending order.
h, f, 1, 0
Let v = -651.89 - -650. Sort v, -5, 2/13, 3 in descending order.
3, 2/13, v, -5
Let m = -2.52 + 3.02. Let s be -9*(1 - 3/9). Let q = s - -4. Sort m, -4, q in descending order.
m, q, -4
Suppose -609*a = -600*a + 378. Sort 3, -5, a.
a, -5, 3
Suppose 480 = -391*m + 396*m. Put -4, m, 6, 4 in descending order.
m, 6, 4, -4
Let h(i) = i**3 + 20*i**2 + 11. Let m be h(-20). Suppose 0 = -5*q - m + 1. Put q, 1, 6, -1 in decreasing order.
6, 1, -1, q
Let p(o) = -41*o + 2. Let x be p(-2). Let h be x/(-5) - 7/35. Let v = h + 13. Sort v, 4/3, 0 in descending order.
4/3, 0, v
Let v(c) = c**3 - 5*c**2 - 8*c - 8. Suppose -x = -3*w - 10, -4*x + 5*w + 23 = -10. Let l be