-0.3, 0.08, d
Suppose 0*y = -2*y - 2*n + 16, n = 5. Let a = 5.31 - 1.32. Let w = 0.01 + a. Sort y, -1/5, w in decreasing order.
w, y, -1/5
Let c = 5 - 8. Suppose -5*j + 160 = 5*p, -2*j + 5*p - 133 = -6*j. Suppose 3*o = j - 12. Put o, 2, c in increasing order.
c, 2, o
Let p = -7 - -8. Let w = -42/5 + 309/35. Sort 1/9, w, p in increasing order.
1/9, w, p
Let d = -473/4 + 119. Put d, 3, 2 in descending order.
3, 2, d
Let m(l) = l - 3. Let u be m(6). Suppose -r = u*r + 4*t - 16, 4 = r - 2*t. Suppose 0 = -2*n + 5*n - 4*c - 6, 2*n + c + 7 = 0. Put 5, n, r in decreasing order.
5, r, n
Let y(c) be the second derivative of -c**3/6 - 10*c. Let k be (-19)/(-4) + 1/4. Let l be y(k). Put 0, -1, l in descending order.
0, -1, l
Let y = 1 - -2. Suppose y*n = -0*n + 12. Suppose 5*i = -1 - n. Sort 3, i, -2 in descending order.
3, i, -2
Let b = 1 - 3. Let d be b/(-6) - (-6)/18. Sort -1, 0, d in decreasing order.
d, 0, -1
Let y = 493 - 9365/19. Sort -1, -0.1, y.
-1, -0.1, y
Let f = -1465/9 + 163. Let p = 1 - -3. Sort -1/4, f, p.
-1/4, f, p
Suppose 0 = -2*v - 2*i - 0*i + 6, -3*v + 3*i = 15. Let j = -24435 + 12315271/504. Let r = j + 4/63. Put -2/15, v, r in ascending order.
v, -2/15, r
Let v = -1.53 - 0.47. Sort v, -0.3, -19.
-19, v, -0.3
Let k = 1.55 + -1.6. Put -1, 2/3, k, -1/2 in descending order.
2/3, k, -1/2, -1
Let h be 4 - 0*(-2)/(-4). Put -4, -9, h in descending order.
h, -4, -9
Suppose -2*v - 28 = -6*v + 4*m, 0 = 5*v + 5*m - 15. Let j = 0 + -6. Let b = j - -1. Sort b, -1, v in decreasing order.
v, -1, b
Let g be 6*((-2)/(-4))/1. Let f be -1*(-1 - 0)*g. Suppose 0 = 2*j + 10, i + 29 + 1 = -5*j. Put i, 2, f in ascending order.
i, 2, f
Let i = -10 - -5. Suppose -4*p + 7 = -5. Sort i, p, 4 in descending order.
4, p, i
Let l = 127.97 - 129. Let f = -0.13 - l. Let q = f + -0.6. Sort 1/6, -0.2, q in descending order.
q, 1/6, -0.2
Suppose 2*y + 3 - 7 = 0. Put y, 1.1, 0.1 in increasing order.
0.1, 1.1, y
Let c(w) = w + 5. Let y be c(-7). Put -1/4, y, 0.2 in decreasing order.
0.2, -1/4, y
Let h be 6/(-8)*(-1 + -11). Suppose 15 = 4*i + 3*w + 2, -h = -2*i + w. Sort 1, i, -6 in decreasing order.
i, 1, -6
Let q(r) = 6*r - 5*r - 1 + r**2 + 4*r - 2. Let x be q(-6). Let y be (-1)/2*(-2)/3. Sort y, 0, x in ascending order.
0, y, x
Suppose -4*y = -2*y. Sort 1, 5, y in decreasing order.
5, 1, y
Let d = 771957700/777 - 993511. Let n = d - -2/111. Put n, 2, 0 in descending order.
2, 0, n
Let o be 72 + 4/((-8)/6). Suppose -2*i = -o + 9. Suppose -22 = 5*h + 3*b, 5*b + i = -10*h + 5*h. Put -4, h, -1 in descending order.
-1, h, -4
Let y = -5 + 3. Suppose 4*w = 5*j + 24 - 1, -2*w - 2*j = 2. Let a = -1 - w. Sort a, y, 1 in decreasing order.
1, y, a
Let w be 0 - 9/(675/(-10)). Put 0.02, -4, w in decreasing order.
w, 0.02, -4
Let k = 9 - 5. Put k, 1, -1 in descending order.
k, 1, -1
Let m(q) = q**2 - 20*q - 16. Let x be m(21). Put x, -2, -12 in increasing order.
-12, -2, x
Let v = -5.85 - -0.85. Sort -7, v, 0.2.
-7, v, 0.2
Let r = -5 + 7. Let f be (-2)/(-5) + (-32)/30. Let n = -26.8 + 26.7. Sort n, f, r in ascending order.
f, n, r
Let t be 2 + 3/(-3) + 0. Let y = 5 + -3. Sort y, -4, t.
-4, t, y
Let m = 4.974 + 0.026. Let v = 4 - 4.5. Sort -0.2, v, m.
v, -0.2, m
Suppose 5*k = 5*w + 35, -4*k = -4 - 4. Let i = 4 - -6. Suppose i = -4*l + 2. Sort -3, w, l in decreasing order.
l, -3, w
Suppose 3*l = 5*u - 0*u + 2, 8 = 2*l. Suppose f - 5 = -u. Let p be (1 + 0)*1/f. Sort -1/5, p, 4.
-1/5, p, 4
Suppose 10 = -11*z + 6*z. Sort 4, -1, z in increasing order.
z, -1, 4
Let p be (15/(-6))/((-2)/4). Suppose 0 = -4*l - 3*j - 29 + 10, 0 = -4*l - 5*j - 21. Put p, l, -8 in increasing order.
-8, l, p
Let u(x) = -x**3 + x**2 + x + 8. Let m be u(0). Let c = m - 10. Sort -3, 2, c in descending order.
2, c, -3
Let w = -17 - 0. Sort 3, w, -3 in increasing order.
w, -3, 3
Let t be 0/14 - 2/14. Sort -0.04, t, 2.
t, -0.04, 2
Suppose -59 + 44 = 5*d. Sort 5, d, 0, -4 in decreasing order.
5, 0, d, -4
Let d = 10 - 0. Let n = d - 10. Let k = -7 - -4. Put k, n, -1 in descending order.
n, -1, k
Let p = -491/4 + 123. Sort -0.5, 0.3, p, 1/11 in descending order.
0.3, p, 1/11, -0.5
Let x = 4.4 + -4.8. Sort 5, 1, x, -1.
-1, x, 1, 5
Let s be 2/4*(2 + 10). Let l be (s/(-22))/(3/2). Let i be (-8 - -9) + (-2)/(-4). Sort i, l, 0.2 in decreasing order.
i, 0.2, l
Suppose b + 14 = -2*b + 5*f, 8 = 2*f. Let u = b + 3. Suppose y = q + 6 - 3, -5*q - 11 = -3*y. Sort 1, u, y in descending order.
u, y, 1
Let f(v) = -v**3 - 6*v**2 + 7*v - 3. Let o be f(-7). Let k be (o/6)/((-3)/(-2)). Put 5/3, 1, k in increasing order.
k, 1, 5/3
Let m = 1.1 - 0.1. Suppose 135 = -u + 9. Let d be (-3)/(-9) - (-6)/u. Sort 0.5, d, m in increasing order.
d, 0.5, m
Let r(m) = m - 1. Let w be r(5). Suppose 0 = 2*z + z + w*j + 20, -3*z + j - 10 = 0. Let l = -30 - -30. Put z, -0.1, l in ascending order.
z, -0.1, l
Let j(r) = r**3 + 4*r**2 - 4*r + 1. Let a be j(-5). Sort 4, 2, a in ascending order.
a, 2, 4
Suppose -5*f = -3*f - 6. Let c = 5 + -8. Put -2, c, f in descending order.
f, -2, c
Let u be ((-8)/5)/((-10)/25). Let r be (24/u)/((-24)/(-3)). Put 0.1, 0.4, r in descending order.
r, 0.4, 0.1
Let w be 44/10 + 2/(-5). Let d(z) = -z**2 + 6*z + 11. Let k be d(8). Put k, w, 0 in increasing order.
k, 0, w
Let k = -2.44 + -0.26. Let f = -2.3 - k. Sort -4, f, 0 in decreasing order.
f, 0, -4
Let c be (-20)/12 + 6/9. Let x = 171 + -1541/9. Sort -2/3, c, x in decreasing order.
x, -2/3, c
Suppose -8 = -s - 3*s. Let h = -3 - s. Put -2, -1, h in increasing order.
h, -2, -1
Let b(f) be the first derivative of f**2 - f - 2. Let n be b(3). Let c = 74 - 79. Sort n, 4, c in increasing order.
c, 4, n
Let j(q) = 2*q + 1. Let w be j(1). Suppose 3*u + w = -x, 4*x - 2 = u + u. Suppose 3*m + 4*p = 5, m - 1 = -p - 0. Put m, 1, x in descending order.
1, x, m
Suppose -4*z + 2*s + 0 = -10, 0 = 3*z + 3*s - 12. Let v be (-225)/(-21) + (-4)/(-14). Suppose m + 0*m = -3*y - v, -4*y = 8. Sort 2, m, z in ascending order.
m, 2, z
Let n(i) = -5*i + 1. Let z be n(-3). Suppose -c + z = 3*c. Sort -4, 3, c in ascending order.
-4, 3, c
Let j = -2/23 + -65/46. Let v = -0.41 - -0.31. Sort j, -3, v in increasing order.
-3, j, v
Let f(r) = r**2 - 13*r - 85. Let i be f(18). Let l = -9 + 13. Sort i, l, -1 in decreasing order.
i, l, -1
Suppose -6*r - r = 7. Put 4, -5, r in decreasing order.
4, r, -5
Let n = 0.9 - 0.85. Put 0.5, n, -2 in decreasing order.
0.5, n, -2
Let c(l) = l**3 - 8*l**2 + 3*l - 9. Let t be c(8). Suppose 2*z - 3*z - 2*k = t, -4*z + 5*k = -5. Sort z, -4, 3 in ascending order.
z, -4, 3
Suppose -6*w = -3*w - 9. Let o(k) = -k**3 + 2*k**2 + 5*k - 2. Let d be o(3). Let r be 1 - (-1 + 34/18). Put w, d, r in decreasing order.
d, w, r
Let z = -35005/19244 + 186/283. Let v = 7/17 + z. Sort -0.3, 4, v in decreasing order.
4, -0.3, v
Let j(m) = -7*m + 11. Let s be j(2). Sort 1, s, 0, -4 in increasing order.
-4, s, 0, 1
Let d = -21.9 + -2.6. Let l = d - -17. Let z = -7 - l. Sort -1, 5, z.
-1, z, 5
Suppose 5*w = 5*i - 20, 0*w - 4 = i + 3*w. Let a(o) = -o**2 + 15*o - 19. Let b be a(14). Sort i, -2, b in decreasing order.
i, -2, b
Let h = -89 + 81. Sort 1/5, 1/4, h in decreasing order.
1/4, 1/5, h
Suppose -9 = -5*s + 6. Suppose s*r - 2*t = -4, 0*r - r - 3*t = -6. Suppose 4*i = 5*d - 45, i - 3*d = -6*d + 10. Sort r, i, 3 in ascending order.
i, r, 3
Let o = 443 - 15503/35. Let j = 4.87 + 0.13. Sort -1, o, j in decreasing order.
j, o, -1
Let t = -7 + 4. Let v be 26/(-6) - 2/(-6). Let y = 9 - 5. Put y, t, v in descending order.
y, t, v
Let d(i) = -i - 5. Let q be d(-10). Let h be 18/5 + 2/q. Put h, -3, 2 in descending order.
h, 2, -3
Suppose 0 = -a - 0 + 5. Put a, 0, 1 in decreasing order.
a, 1, 0
Let s = 34 + -35. Put -3, -7, s in increasing order.
-7, -3, s
Let k = -13.3 + 12. Let q = 0.3 + k. Sort q, 2, -5 in decreasing order.
2, q, -5
Suppose -5 = 22*b - 21*b. Sort 0, b, 5, 1 in increasing order.
b, 0, 1, 5
Suppose -5*r = -r + 4. Let l = -5 + 9. Put 5, l, r in decreasing order.
5, l, r
Let l(t) = -t**3 + 3*t**2 - 3*t. Let o be l(3). Let z = -3 - o. Let h be (-10)/(-4) + (-3)/z. Sort -0.3, -0.4, h in decreasing order.
h, -0.3, -0.4
Let g(c) = -c**3 + 8*c**2 - 11*c - 10. Let m be g(6). Sort -1, 2, m in increasing order.
m, -1, 2
Let z = -54131/78 - -694. Let j be 3 + ((-1475)/(-546))/(-1). Let a = z - j. So