67 + -11/12527. Let i = 345 + l. Let r = 0.1 + 1.9. Sort i, r, -0.1 in decreasing order.
r, i, -0.1
Let z be 1/(1 - 1712/1708). Let r = -7257/17 - z. Suppose 0 = 3*g + 3 - 0. Put g, r, -3 in ascending order.
-3, g, r
Let r = 41 + -42. Sort -5, -0.5, r in descending order.
-0.5, r, -5
Suppose a = -4*a + 25. Suppose -72 - 33 = -a*s. Let h be (-1 + s/12)*-4. Sort 5, 4, h in ascending order.
h, 4, 5
Let n(f) = f**2 + 5*f + 4. Let j be n(-5). Suppose 4*u = 12 + j. Sort 0, u, 1 in descending order.
u, 1, 0
Let s be (6/(-9))/(6/27). Sort s, 0, -4.
-4, s, 0
Suppose 4*b = -8*b - 360. Sort -4, 0, b.
b, -4, 0
Let l(x) = -x**3 + 8*x**2 - 5. Let i be l(8). Let p = 2 + -2. Sort i, p, -1 in decreasing order.
p, -1, i
Let l = -553/6 + 93. Let z = l - 11/18. Sort z, 0.1, 0.03 in descending order.
z, 0.1, 0.03
Let s be (3/(-42))/(3/11532). Let w = 275 + s. Put w, 1/5, 0.5 in increasing order.
1/5, w, 0.5
Suppose 4*g + 20 = x, g - 4*g = 3*x. Let w = -0.01 + -0.39. Let u = w - -0.2. Put 4, u, g in descending order.
4, u, g
Let u = -1.7 - -1.1. Let w = -1.4 + u. Sort w, -0.5, -3/2.
w, -3/2, -0.5
Suppose -3*v + 3*l = -15, -v - 2*v = 2*l + 10. Let d = -126/97 + 63457/388. Let z = 163 - d. Put 1/3, v, z in ascending order.
v, 1/3, z
Let d = -0.4 - -0.5. Let s = d - -0.3. Put -3, s, 2/11 in increasing order.
-3, 2/11, s
Let v be -2 - (1 + 2 + -2). Sort v, 7, -4 in ascending order.
-4, v, 7
Suppose 4*y = -0*y - 200. Let s be (y/(-14) - 1) + -2. Sort s, 1/3, -0.3.
-0.3, 1/3, s
Let n be (-1)/(-9) - (-52)/18. Suppose -2*i + 10 = -2*u, -7*i + u = -3*i - 14. Let f be 12/1*1/i. Put n, 2, f in ascending order.
2, n, f
Let y be 1 + (0 - -2 - -1). Suppose -y*b - 13 = -33. Let u(a) = -a**3 + 2*a**2 + 3*a + 2. Let n be u(-1). Sort n, 1, b.
1, n, b
Let s(m) = 6*m + 53. Let j be s(-9). Sort j, 5, 1, -4 in ascending order.
-4, j, 1, 5
Let d = 2 + -5. Let a = -0.35 - -0.35. Sort -1/3, a, d.
d, -1/3, a
Let x(v) = v**3 - 14*v**2 + 26*v - 22. Let i be x(12). Sort i, -2, -1, 4 in descending order.
4, i, -1, -2
Let r = 22.6 - 16. Let f = 7 - r. Let c = f + -0.2. Put -1, 4, c in increasing order.
-1, c, 4
Let p be 6/(-9)*45/6. Let c(z) = z**2 - 8*z + 2. Let h be c(8). Suppose -u - 1 = -5*u + m, -h*u + 3*m = -13. Sort 3, u, p.
p, u, 3
Suppose -2*n = a + 8, -2*a - 5 = n - 4. Suppose a = -v - 3. Let u be ((-3)/(-2))/((-12)/32). Put u, 2, v in decreasing order.
2, u, v
Let a = -1 + 4. Let k(b) = b**3 - 2*b**2 - 2*b - 1. Let z be k(-1). Let p(j) = j**2 - 5*j + 5. Let c be p(4). Put c, a, z in ascending order.
z, c, a
Suppose 6*o - 12 = 2*o. Let h = o - 7. Put h, 2, -3 in descending order.
2, -3, h
Let t be (-9)/6*(-10)/3. Suppose x - 3*g = 11, t*x + 4*g - 23 = -6. Suppose -2*n + n = -1. Sort x, 0, n in decreasing order.
x, n, 0
Suppose 3*u = -u + 16. Let z(p) = -3*p + 27. Let b be z(8). Sort -2, b, u in ascending order.
-2, b, u
Let j be ((-4)/(-10))/(4/20). Let f = 6 + -4. Let l be 0*1*f/(-4). Sort l, j, -1.
-1, l, j
Let a = 0.8 - -2.2. Let w = a + -2.8. Let x be 1 - -4*6/(-8). Put 2, w, x in decreasing order.
2, w, x
Suppose 3*d + 2*m = -6, 2*d + m = 4*m - 4. Let x = 3 + d. Sort x, 4, -1 in increasing order.
-1, x, 4
Let m = -11 - 2. Let z = -9 - m. Put 1/2, z, 0.2 in ascending order.
0.2, 1/2, z
Let i(d) = -1. Let f(l) = -l**2 + l - 4. Let y(p) = -f(p) + 5*i(p). Let z be y(3). Suppose 2*g + 2*x - x - 10 = 0, g + 5*x = z. Sort -1, 4, g.
-1, 4, g
Suppose -3*r - 3*y + 6 = 0, -3*y + y = 3*r - 7. Suppose -r = f + 2. Sort -4, 0, f.
f, -4, 0
Let x(o) = o**3 + 4*o**2 + 6*o + 1. Let m be x(-2). Sort m, 80, -5 in decreasing order.
80, m, -5
Let h = -0.11 - -0.08. Let j = h - 0.27. Put j, -2/13, 4 in increasing order.
j, -2/13, 4
Let z = 0.25 + 0.15. Sort 0, z, 4.
0, z, 4
Suppose 2*i - h = 6, -h = -0*h. Suppose -8*d + 4 = -6*d. Sort i, d, 5.
d, i, 5
Let y = -45/2 - -319/14. Suppose -5*n = 5*w - 7*w - 954, 3*n + 499 = -w. Let k = w + 9251/19. Sort 0, y, k.
k, 0, y
Suppose 2*s + 3*t - 25 = -2*s, 4*t = 4*s - 4. Suppose 2*y = -2*y - s. Put y, -4, 2 in increasing order.
-4, y, 2
Let q = 214 + -213.6. Sort 5, -1.7, q in decreasing order.
5, q, -1.7
Suppose -6 = -5*x + 2*x - 3*q, -2*q - 4 = -2*x. Let d be x/4*20/(-6). Let w = -0.08 - 2.92. Put -1/6, w, d in increasing order.
w, d, -1/6
Suppose -5*b + 83 = -12. Let a = -13 + b. Sort a, 4, -4 in descending order.
a, 4, -4
Let f = -21266809/53181 + 7/53181. Let o = -142 - 258. Let x = f - o. Put 0, -2/5, x in descending order.
x, 0, -2/5
Let b be (-1)/(1/(-2)) - -113. Suppose 3*n - b = -466. Let q = n + 587/5. Put q, 2/9, 5 in decreasing order.
5, q, 2/9
Suppose 30 = -4*k + 42. Sort k, 2, -2 in ascending order.
-2, 2, k
Let c be -1 - (-6)/10*1. Let k = 7.09 - 0.09. Let v = k - 7. Sort c, -4, v.
-4, c, v
Let f = -50 + 45.9. Let o = f + 0.1. Put o, 0.1, -5 in descending order.
0.1, o, -5
Let z(d) = d - 4. Let i be z(5). Let p = 5 + 1. Let w be p/(-3) + 3 + 1. Sort i, 0, w in decreasing order.
w, i, 0
Let q = 0.022 - 0.022. Let d = -5 + 19/4. Put -3/5, d, q in decreasing order.
q, d, -3/5
Let z = 5.1 - 4.7. Let l(g) = 2*g**2. Let r be l(-1). Sort r, -1, z in ascending order.
-1, z, r
Let m be 27/18 - (-10)/4. Suppose -2*a + 70 = 20. Suppose 0*y + 2*y - a = -5*d, -m*y + 5*d - 25 = 0. Put y, 5, 4 in descending order.
5, 4, y
Suppose 4*w - 11 = -z, 2*z + 3*w = 8 + 9. Let h(v) = -v + 11. Let q be h(z). Let k = 1 - 3. Sort k, q, 3 in descending order.
q, 3, k
Let x(w) = 2*w**3 + 2*w**2 - 2*w. Suppose 4*y = -4*u - 8, -5*u + 2 = -y - 2*u. Let j be x(y). Put 3, -2, j in decreasing order.
3, -2, j
Let p be 2/6*15/10. Put p, 0, -1/4 in descending order.
p, 0, -1/4
Let l be (-6)/(-4) - (0 + 1). Let a be (-15)/(-28) - (-2)/(-7). Sort l, -3/2, a.
-3/2, a, l
Let u(l) = -l + 8. Let t be u(6). Let b = t - 2. Let y = b - 2. Put -1, y, 5 in increasing order.
y, -1, 5
Suppose 3*a + 6 = 3*i, 0*a = -5*i - 3*a + 42. Let l be -2*i/4 - -5. Sort -0.3, l, -3 in descending order.
l, -0.3, -3
Let y be (-2 - 0)/(-2)*5. Let b(q) = -q**3 + 5*q**2 + q - 7. Let t be b(y). Let h be -1 + t + 5 + 1. Sort 0.2, 2, h in decreasing order.
h, 2, 0.2
Let d = -5.52 + 0.02. Let o = 6 + d. Sort o, -3, -0.4 in increasing order.
-3, -0.4, o
Let u = -4 + 5. Let q be -1*(-3)/(-6)*2. Suppose -4*i + 6 = -2. Sort u, q, i in ascending order.
q, u, i
Let w = -0.1 + 0.1. Let l = 3.6 - -0.4. Let o = l - 3.5. Sort 5/6, w, o in descending order.
5/6, o, w
Let s(j) be the second derivative of -j**3/6 + 5*j**2/2 + j. Let z be s(0). Suppose -z*a + v = 13, -5*a + 6*v = 3*v + 9. Put 4, -1, a in descending order.
4, -1, a
Suppose 1 + 5 = 2*d. Suppose -d*u + 2 = -1. Let x = 7 - 5. Put -2, x, u in ascending order.
-2, u, x
Let s be 14 - 11 - (0/2 + -2). Sort s, 16, 4 in ascending order.
4, s, 16
Let r be 1/5 + 29/5. Suppose 15 = 5*k + b, 4*k - 2*b + 4*b = r. Suppose -16 = 2*d - k*p, -2*p + 5*p = 12. Sort 5, -4, d.
-4, d, 5
Let u = 0 - -5. Let k be 8/(-36) - 14/18. Let q = k - -4. Put q, 2/11, u in decreasing order.
u, q, 2/11
Let u(f) = -3*f + 1. Let q be ((-4)/(-12))/((-2)/(-6)). Let p be u(q). Sort -5, p, 0 in descending order.
0, p, -5
Let r = 5.18 + -1.18. Sort -0.3, -2/5, r.
-2/5, -0.3, r
Suppose j - 2 = 0, 0*j + 2 = 3*g + j. Let n be (1 + 9)*(-2)/4. Put n, 2, g in increasing order.
n, g, 2
Suppose -3 = -10*j + 17. Put -4, 5, -1, j in decreasing order.
5, j, -1, -4
Suppose 6*f - 28 - 2 = 0. Sort f, 0.2, 4, -3/5.
-3/5, 0.2, 4, f
Let f(p) = p**3 + 9*p**2 - 13*p - 13. Let s be f(-10). Sort 2, -2, s.
-2, 2, s
Let s = -0.54 + 0.24. Let b = -0.4 - 2.6. Put 2, b, s in increasing order.
b, s, 2
Let t(j) = j**3 - 6*j**2 - 6*j - 8. Let c be t(7). Let k = c + 1. Suppose -5*o + 4*o = -1. Sort k, o, -1.
-1, k, o
Let y be (20/(-24) - -1) + 248/(-48). Sort 2/57, y, 1 in increasing order.
y, 2/57, 1
Let l = -18 + 18.3. Let y = 3 - 6. Sort y, l, 0.1.
y, 0.1, l
Let a(h) = h**2 + h - 7. Let j be a(3). Let y be 0 - (-1 + -2 + -1). Sort y, 0, j in descending order.
j, y, 0
Let y(s) = s. Let n be y(1). Suppose -v + 4 = -n. Let q = -2 + 4. Put q, -4, v in descending order.
v, q, -4
Suppose v + 3*v = -2*o - 8, -v = 1. Suppose -3*f = -f. Sort f, o, 4 in descending order.
4, f, o
Let i(t) = -t**3 - 2*t**2 + t - 2. Let q be i(-2). Put 5/4, q, 0.2 in ascending order.
q, 0.2, 5/4
Let l = 0.1 + -3.1. Suppose 5*y - 5 = 3*d, -d = -2*d + 4*y - 4. Sort 