der.
b, 0, y
Let a = -4 - -19. Let f be 1 - a/(-42)*-4. Let c be (2/(-1))/(-2) + 0. Put -2/7, c, f in decreasing order.
c, -2/7, f
Let c be (-2)/3 + (-8)/(-3). Suppose 5*i - 33 = -2*k, -5*i - 5 + 18 = -3*k. Let f = c - i. Sort f, -4, 0 in increasing order.
-4, f, 0
Let f = -2 - -3. Let s(q) = -q**2 - 5*q - 3. Let l be s(-3). Sort l, -4, f in ascending order.
-4, f, l
Let g = -33 + 34.52. Let z = -1.43 - g. Let b = z - 0.05. Sort 1/7, 0.4, b in decreasing order.
0.4, 1/7, b
Suppose 25 = -5*o - 0*o. Sort o, 2, -0.2.
o, -0.2, 2
Let x(l) = -l**3 - 5*l**2 - 4*l - 3. Let f be x(-4). Let u = f - -5. Put 5, 1, u in increasing order.
1, u, 5
Let q be 46/14 + 15/(-5). Sort 2, 3, -17, q in descending order.
3, 2, q, -17
Let f = -72 - -71.9. Sort f, 0, -3 in ascending order.
-3, f, 0
Let o(i) = i**2 - i - 1. Let w be o(2). Let s be (-3)/4 - (1 - w). Let f = 2 - 1. Sort s, f, -5 in increasing order.
-5, s, f
Suppose 0*l - 3*l = 15. Sort 1, l, -1.
l, -1, 1
Let r = -136 - -132. Sort -2, 0, r, 1 in ascending order.
r, -2, 0, 1
Let n = -8 + 10. Let t = n + -1.5. Put t, 4, -0.3 in increasing order.
-0.3, t, 4
Let l = -0.26 - 1.74. Sort l, -0.1, 1 in decreasing order.
1, -0.1, l
Let y(p) = 2*p**3 - 11*p**2 + 5*p - 1. Let s be y(5). Put 10, -3, 0, s in descending order.
10, 0, s, -3
Suppose 4*i = 0, -5*i = -a - 4*i - 2. Let w be a/(6/(-3)) + 2. Sort w, 0, -1 in decreasing order.
w, 0, -1
Suppose -6*k + 2*k = 20. Suppose 3*t + 3*u = u - 14, 3*t = -5*u - 17. Put k, 2, t in decreasing order.
2, t, k
Let y(b) = -b**3 - 4*b**2 - 3*b - 6. Let d be (-3)/(-4) - 38/8. Let i be y(d). Put 1, 3, i in decreasing order.
i, 3, 1
Suppose 4*n + 2*v + 2 = 0, -21 = -5*n + 2*n + 3*v. Suppose a = 2*b + 2*a, -5*b + 2*a = 0. Sort n, b, 5.
b, n, 5
Let n = -62 + 67. Sort -1/4, -5, 0.5, n in ascending order.
-5, -1/4, 0.5, n
Let q be (-27)/(-15)*2/(-6). Let s = 0.2 + -0.5. Sort s, q, 1 in decreasing order.
1, s, q
Let u = 8.1 - 8.08. Sort 0.1, -2, 0, u in ascending order.
-2, 0, u, 0.1
Let c be (-4)/2 + (0 - -5). Let x = -10.2 + 11. Let y = 1 - x. Sort -4, c, y in descending order.
c, y, -4
Let z = 0.67 + -0.17. Sort -12, z, 2.
-12, z, 2
Let d(h) = -h - 4. Let y be d(0). Let c be (18/(-15))/(y/10). Let r(v) = v**2 - 4. Let t be r(c). Put 2, t, -5 in descending order.
t, 2, -5
Let u(q) = -q**2 + 8*q + 12. Let w = 8 + 1. Let l be u(w). Suppose d - l + 2 = 0. Put 0, -3, d in increasing order.
-3, 0, d
Let w(x) = -2*x**2 + 4*x + 1. Let o be w(2). Suppose 4 = -3*b + k + 14, 0 = -5*b + 3*k + 14. Sort b, o, 0.
0, o, b
Let f = 0.22 - 1.12. Let c = 4.827 - -0.073. Let q = f + c. Sort q, 5, -4 in ascending order.
-4, q, 5
Let s be (4/10)/((-3)/(-90)) + 0. Sort 2, s, 1, 4.
1, 2, 4, s
Let q(t) = t**3 + 8*t**2 - 10*t - 6. Let i be q(-9). Suppose -11*f + 8 = -13*f. Sort f, -1, i in increasing order.
f, -1, i
Let c = -937 - -931.99. Let l = 0.01 + c. Sort 5, -2/5, l in decreasing order.
5, -2/5, l
Let r = -12 - -8. Let h(y) = -y**3 - 5*y**2 - 5*y + 3. Let f be h(r). Suppose -5*z = -f + 22. Sort 3, z, 1 in ascending order.
z, 1, 3
Let f = 0.1 - -2.9. Let n = -0.09 + -1.91. Put n, f, -1/2 in descending order.
f, -1/2, n
Let b = 198.08 + -202. Let r = -0.08 + b. Put -3, -5, r in descending order.
-3, r, -5
Let v(p) = -10*p**2 - 6*p + 1. Let w be v(-1). Suppose 3*i + 2 = 8. Suppose 0 = 3*h + m + 2*m + 24, -2*m = -i*h - 4. Sort h, 4, w.
h, w, 4
Let c(j) = -j + 3. Let u be c(0). Suppose 8 = u*f - 1. Sort 0.4, -0.1, f in ascending order.
-0.1, 0.4, f
Let m = -2/29 - 77/145. Put 1/4, m, -0.3 in ascending order.
m, -0.3, 1/4
Let h = -2 + 3. Let w be -1*-5*(0 - -1). Sort h, -2, w in increasing order.
-2, h, w
Let c = 25 - 22.8. Let m = 1.8 - c. Put -5, 1/32, m in descending order.
1/32, m, -5
Let s be (5/2)/(1 - (-3)/(-2)). Suppose -2*i = -0*i - 12. Sort i, 0, s in ascending order.
s, 0, i
Let p(q) = -q**3 - 6*q**2 - 3*q + 7. Let x be p(-5). Put 1, -5, x in increasing order.
-5, x, 1
Let x(w) = w**2 - 2*w - 3. Let j be x(4). Sort 1, 3, j in descending order.
j, 3, 1
Let g = 0.08 - -1.62. Let v = 13.7 - g. Let r = v + -7. Sort -4, r, -1/3 in ascending order.
-4, -1/3, r
Let g = -23 - -23.4. Put -5, 2, g, -3 in descending order.
2, g, -3, -5
Let w be (0/1)/(2*-1). Let f(k) = k**3 + 2*k**2 - 2*k + 1. Let c be f(-3). Sort w, c, -1.
c, -1, w
Let v = 1 - -1. Let d(x) = x**3 - x**2 - x - 2. Let a be d(v). Put a, -1, 1 in decreasing order.
1, a, -1
Let p = 1 - -3. Put p, -3, 5 in decreasing order.
5, p, -3
Let a be ((-6)/24)/((-2)/(-2)). Sort a, 2/5, -3 in descending order.
2/5, a, -3
Let x = 15 + -7. Suppose -r - 10 = -5*o, 3*r + 5*o = x*r + 30. Sort -2, r, 0.2 in descending order.
0.2, -2, r
Suppose 30 = 2*s + 5*c, s + 0*c + 3*c - 17 = 0. Sort -2, s, -3.
-3, -2, s
Let n be -2 - (4 + 0)*-1. Put 3, -2, 0.1, n in decreasing order.
3, n, 0.1, -2
Suppose a - 5*o + 10 = -0, -4*a = -5*o + 10. Suppose 5 = -0*n - n. Put 3, a, n in decreasing order.
3, a, n
Let x = 5 - 2. Let q = x + -4. Let d be (5/(-1 + 0))/1. Sort q, 3, d in increasing order.
d, q, 3
Let h = 269/182 + 2/91. Put -31, 1/8, h, -5 in increasing order.
-31, -5, 1/8, h
Let p(q) = q**3 + 5*q**2 + 4*q + 1. Let t be p(-4). Let w = 13 - 8. Let v = 2743/15 - 183. Sort w, t, v in decreasing order.
w, t, v
Suppose 0 = 3*a + z - 11, -4*z = 3*a - 4*a - 5. Sort a, 5, 0 in increasing order.
0, a, 5
Let g be 1 - (3 + -7 - -2). Suppose 2*z - g = 5. Suppose -2*o = -5*v + 8, 4*o + 1 = z*v - 15. Sort v, -5, -3 in decreasing order.
v, -3, -5
Let i be -3 - 5/((-120)/3519). Let p = -144 + i. Sort p, 5, -0.2 in decreasing order.
5, -0.2, p
Let r(c) = 2*c - 2. Let k be r(7). Let i be 3/k - 1/(-28). Sort 1/10, 1, i.
1/10, i, 1
Let r be (144/15)/(3/20). Let z be r/(-3)*3/(-2). Let v be 136/z - 1/4. Sort 5, v, -1/4.
-1/4, v, 5
Suppose -5*r = -3*h + 7, -3*r - r = -4*h + 12. Let o be 40/12*6/h. Suppose d = 2*n + o, 0 = 5*n - n + 2*d - 10. Put -1, n, 3 in increasing order.
-1, n, 3
Let h = 0 + 3. Put 0, h, 4 in ascending order.
0, h, 4
Let k = 0.01 + -0.14. Let j = 5.13 + k. Let r = -36 + 145/4. Put j, -0.3, r in decreasing order.
j, r, -0.3
Suppose 5*y - 3*y = 10. Let c = -0.145 - -3.145. Sort -1/2, c, y in decreasing order.
y, c, -1/2
Let l = 12 + -25. Let x be (-7 - l)*1/(-3). Put x, 3, -1 in decreasing order.
3, -1, x
Let o = 11.1 + -12. Let s = o + 0.9. Let b = 4 - 2. Put b, s, -0.4 in decreasing order.
b, s, -0.4
Let z = 23 + -23. Let t = z + 1. Put t, 6, -1 in increasing order.
-1, t, 6
Let m = 0.26 - -3.74. Put m, -4, 0 in increasing order.
-4, 0, m
Let w be (-9)/6 - 1/(-2). Let l = w - -1. Let q be -4 + (3/1 - 1). Sort l, 3, q.
q, l, 3
Let u = 4.97 + -5. Put 0.5, 3, u in decreasing order.
3, 0.5, u
Let m = -0.2 - -0.3. Let a = -6.5 + -0.5. Let y = -2 - a. Sort 3, y, m in descending order.
y, 3, m
Suppose 4*k = 4*o - k + 13, 5 = 5*k. Sort -8, 2, o in increasing order.
-8, o, 2
Let s be (2 - 1) + (14 - 1). Let w be (-32)/s + 4/14. Suppose 0*t = 5*t - 25. Put w, t, -1 in descending order.
t, -1, w
Let b be (-4 + 2)*1/(-3). Let i = -0.1 - -0.7. Let n = i + -1. Put b, 0.4, n in ascending order.
n, 0.4, b
Let s = 15 - 11. Sort 1, s, -4.
-4, 1, s
Let h(g) = -g**3 + 4*g**2 + 5*g - 2. Let w be h(5). Let y be ((-1)/(-2))/(w/(-300)). Let z = 374/5 - y. Sort 4, -3, z in decreasing order.
4, z, -3
Let o(m) = 2*m**2 + m. Let y be o(1). Suppose 1 = 3*t - 2*j + 14, 4*t + 18 = 2*j. Let x be (t - -1 - 0)*1. Sort y, 5, x in ascending order.
x, y, 5
Let n(m) = 2*m**2 - m. Let v be n(1). Put v, -2, -5 in increasing order.
-5, -2, v
Let k(r) = -r**2 + 12*r + 5. Let z = 12 - 0. Let f be k(z). Suppose -2*i = 2 + 2. Sort i, 1/4, f in decreasing order.
f, 1/4, i
Let m(a) = 4*a. Let g be m(-1). Sort g, -0.4, 2/15.
g, -0.4, 2/15
Let m(b) = -b**3 + 2*b**2 - 1. Let w be m(-1). Let n(r) = -4*r + 3*r**w - 3*r**2 + r**2 + 2. Let s be n(3). Sort -3, -2, s in decreasing order.
s, -2, -3
Let f(j) = -j**3 + 9*j**2 + 10*j + 3. Let t be f(10). Sort t, -9, 0.
-9, 0, t
Let k be (0 - 2*1)/1. Let r(s) = s**3 + 5*s**2 + 3*s + 2. Let a be r(-4). Let v be 14/a + (-6)/18. Sort k, 1, v in decreasing order.
v, 1, k
Suppose 2 = -2*c, 2*f + 3*c = 3*f - 1. Let y be -5 - (-4)/(4/2). Let h = 4 + y. Sort h, 5, f in increasing order.
f, h, 5
Let l = 1.1 + 0.9. Let h = 32 - 47. Sort 2/5, h, l.
h, 2/5, l
Let s be ((-4)/(-6))/(-1*(-2)/