v(f) = 4*j(f) - t(f). Let i(a) = 2*a + 5. Let w(o) = 4*i(o) + 7*v(o). Let s be w(-4). Sort s, 3, -3 in descending order.
3, -3, s
Suppose 0 = 3*l + 98 - 17. Let r = l - -16. Let z be 72/(-10) + r/(-55). Sort z, 4, 3 in decreasing order.
4, 3, z
Let h = -0.6 - -1. Let s = 50.5 - 50. Sort 0, s, h.
0, h, s
Let m = 8/11 - 98/165. Put 9, m, -0.1 in increasing order.
-0.1, m, 9
Let n(f) be the first derivative of -f**3/3 - 3*f**2/2 + 2*f - 9. Let h be n(-3). Put 4, 1, h in increasing order.
1, h, 4
Let v = -18 + 15. Suppose 0 = -0*o + 5*o - 20. Suppose 0 = p + 1 - o. Sort -5, p, v in decreasing order.
p, v, -5
Suppose j - 4*j - 12 = 0. Suppose -3*x - 19 = 4*a - 6, -2*x + 2 = 0. Let r = a - j. Sort 3, r, 2 in decreasing order.
3, 2, r
Let w be 4*(-1)/(-8)*2. Let a be 32/(-2)*(0 - -1). Let p be 2/(-6) + a/6. Put -4, w, p in descending order.
w, p, -4
Let r(d) = 4*d**2 - d. Let x be r(2). Suppose -z + x = -3*t, 5*z + 4*t = -7 + 20. Sort 3/5, z, 2 in increasing order.
3/5, 2, z
Let k = 0.3 - 0.29. Let n = k - -2.99. Let b = 68 - 63. Sort b, n, -5 in descending order.
b, n, -5
Suppose 3*r - 40 = -2*r + 5*d, r + 4*d = -2. Let j be (0 + (-3)/(-6))*r. Suppose 5*p = -6 - 19. Sort p, j, -3 in ascending order.
p, -3, j
Let z(m) = -m**3 - 10*m**2 - 8*m + 6. Let i be z(-9). Sort -2, i, 3 in ascending order.
i, -2, 3
Suppose 0 = 4*q - 9*q. Let k = -4 + -1. Put q, -4, k in descending order.
q, -4, k
Let w be 16 - 15 - -14*1. Let z be (1 - 45)/2 - 2. Let h be w*(3 + z/9). Sort 2, h, -1 in descending order.
h, 2, -1
Suppose 0 = 2*t - 2, -4*x + 21 = -0*x + 5*t. Suppose -m + 23 = -3*k, 3*m + 2*k = 2*m - 2. Sort m, x, -1 in descending order.
m, x, -1
Let u = -14 - -14.3. Sort 0.5, -2/13, u in increasing order.
-2/13, u, 0.5
Let l = 18076427756/2295375225 - 1/30605003. Let m = -39/275 + l. Let b = m + -32/5. Sort -0.5, -2, b in ascending order.
-2, -0.5, b
Let f(b) = b**3 + 7*b**2 + 7*b + 3. Let p be f(-6). Suppose 0 = -4*i + 4. Sort i, p, -4.
-4, p, i
Let m(q) = q**3 + 2*q**2 - 2*q + 4. Let u be m(-3). Let y be u/8 - 39/(-72). Let z be 14/44 + (-1)/2. Sort -4, y, z in ascending order.
-4, z, y
Let n be (-9)/24 - 181/8. Sort n, 5, -4, 2.
n, -4, 2, 5
Let s(t) = t**3 - 7*t**2 + 9*t - 9. Let c be s(6). Let g = c + -7. Suppose -6 + 0 = -g*w. Sort -2, -5, w in decreasing order.
w, -2, -5
Let h(x) = x**2 + 2*x - 2. Let p be h(-3). Let k be p/(3 + (-30)/9). Let s = -16 - -15. Sort k, s, 0 in increasing order.
k, s, 0
Let n be 19 + (-7)/(28/8). Suppose 0 = 2*s - p + n, p + 26 = -3*s + 3. Sort s, 5, -1.
s, -1, 5
Let p = -2 + 12. Sort -2/3, p, 0.4 in decreasing order.
p, 0.4, -2/3
Suppose 0 = 5*x - 2*x - 2*j - 9, 3*x - 5*j = 0. Let b be -2 + (2 - (1 - 1)). Sort 3, x, b.
b, 3, x
Let i = -6 - -3. Let b = -5 - i. Let o be 14/(-49) + (-4)/(-14). Sort b, 1, o in ascending order.
b, o, 1
Let k = 109/2 + -985/18. Sort 3/5, -2, k in decreasing order.
3/5, k, -2
Suppose 3*h - 1 = 14. Let z = 1.7 - 5.7. Sort -2/7, h, z in ascending order.
z, -2/7, h
Let o = 6 - 5.7. Let r = 38 + -42. Put r, o, -1 in descending order.
o, -1, r
Suppose 0*l - 3*l - 114 = 0. Let u = l - -53. Suppose -3*f + u = 2*f. Sort 2, 5, f in ascending order.
2, f, 5
Let n = -7 - -12. Let q = -0.28 - 2.12. Let o = -0.6 + q. Put n, o, -3/7 in decreasing order.
n, -3/7, o
Let x = -47 - -46.6. Sort 5, x, -2/37.
x, -2/37, 5
Suppose 3*s = 3*y - 3, -2 - 1 = y - 5*s. Let d(a) = -4*a**3. Let g be d(1). Put g, y, -3 in decreasing order.
y, -3, g
Let q(u) = u**3 - u**2 - 5. Let g be q(0). Let v be (-5)/(-2) - 2/(-4). Put v, g, 1 in increasing order.
g, 1, v
Let f be (-6)/(-8)*144/54. Let x(q) = -2*q + 9. Let d be x(7). Put -2, f, d in descending order.
f, -2, d
Suppose 9 = -2*r - 3*j, -j = -2*r + 3*j + 26. Suppose i - 3*c = -20, 5*i = -2*c + 3*c - 30. Put i, r, 8 in increasing order.
i, r, 8
Let y = 12 + -17. Let b = -64 + 66.7. Let l = b + -3. Put 0.2, y, l in decreasing order.
0.2, l, y
Suppose 2*q + 0*q + o = -4, -6 = -4*q + 5*o. Suppose m = -4 + 5. Put 3, m, q in descending order.
3, m, q
Suppose -2*g + 24 = 5*v - 3, 12 = 3*v - 3*g. Let a = -5 - -3. Let r be a/(-8) + 14/8. Sort 0.5, v, r in decreasing order.
v, r, 0.5
Let o = 9 - 28/3. Sort o, -3, 1, -2 in decreasing order.
1, o, -2, -3
Suppose 0 = -4*r + 3*r + 5*m + 19, 0 = 5*r + 5*m + 25. Let d be (-11)/3 - 2/(-3). Put r, 2, d in increasing order.
d, r, 2
Suppose 18*v = 26*v + 32. Put v, -2, 8 in ascending order.
v, -2, 8
Suppose 0 = 2*j - j. Sort -2/5, j, -0.2 in decreasing order.
j, -0.2, -2/5
Suppose -4*s - 3 = z - 14, 2*z + 5*s = 16. Suppose 0 = -4*n - 4, 0*k = 4*k + n + 13. Put k, -4, z in increasing order.
-4, k, z
Let d = 10 - 7. Let l be (3/(-54))/((-1)/(-2042)). Let o = 113 + l. Sort o, 0.5, d in descending order.
d, 0.5, o
Let t be -3 - -1 - (5 + -19). Put t, 0, -5 in increasing order.
-5, 0, t
Let g be (6/(-36))/(-1*(-6)/8). Put 4/7, -0.4, g, 0.3 in increasing order.
-0.4, g, 0.3, 4/7
Let v be (-21)/6 - (-4)/8. Put 3, 2, v, -2 in descending order.
3, 2, -2, v
Let h = -5 + 8. Put -3, h, 4 in decreasing order.
4, h, -3
Let w(f) = -f**3 + 6*f**2 + 2*f - 8. Let r be w(6). Let c = -97 - -96. Put c, r, -3 in decreasing order.
r, c, -3
Let i be ((-2)/6)/(11/(-264)). Let p = i - 6. Suppose -m + 2*q = -0*m + 3, 5*m = 4*q - 15. Sort p, 3, m in increasing order.
m, p, 3
Suppose 3*i - 19 = -5*q, 3*i + i = -2*q + 16. Suppose -b + o = -3, 13 - 1 = 4*b + 4*o. Put b, q, -5 in decreasing order.
b, q, -5
Suppose s + 4*s - 10 = 0. Suppose s*h - 2*n + 20 = -3*h, h = -3*n + 13. Let x be (h/2)/(2/(-10)). Put -4, x, -2 in descending order.
x, -2, -4
Let l(i) = -i**2 + 4*i. Let a be l(2). Let k be (-6)/(-4)*a/3. Suppose k*y + 4 = 2. Sort 2, -2, y in ascending order.
-2, y, 2
Let d = -19/3 + 6. Sort -2/11, 0.6, 5, d.
d, -2/11, 0.6, 5
Suppose -2*g - 3*g = -20. Sort 3, g, -1 in descending order.
g, 3, -1
Let f = -12 + 10. Let h = 0 + 5. Sort -1, f, h in increasing order.
f, -1, h
Let r = -9 + 5. Let d(i) = i**3 + 5*i**2 + i + 3. Let u be d(-5). Let l = 0 + u. Sort r, 1, l.
r, l, 1
Let y = 65 + -454/7. Sort -0.2, y, 42.
-0.2, y, 42
Let h(f) = -f - 6. Let m be h(-7). Let z = -3 - -5. Let w be 2 + (1 - (-1 + z)). Sort 0, m, w in increasing order.
0, m, w
Let k be (45/(-27))/((-1)/(-3)). Put -6, 3, k in ascending order.
-6, k, 3
Suppose -3*q = 9*q + 24. Put q, -4, -0.02 in increasing order.
-4, q, -0.02
Let d = -4 + 4.2. Let o = -0.15 - d. Let s = -0.05 + o. Sort s, -0.2, 0.5 in decreasing order.
0.5, -0.2, s
Suppose 5*d = 2*d. Suppose d = 2*k - y, 3*k - 3*y - 5 = y. Suppose r + 2*v = -3*v + 7, 1 = v. Put r, k, -5 in ascending order.
-5, k, r
Let r = 29 - 33. Sort -2, r, 2 in ascending order.
r, -2, 2
Let l = -0.1 - 4.9. Let v = 5.097 - 0.097. Put 4, l, v in ascending order.
l, 4, v
Let v = 16 - 11. Put v, 1, -5 in decreasing order.
v, 1, -5
Suppose 4*u = 2*u + 6. Suppose -9 = -5*g + 11. Let x(a) = a**2 - 4*a - 2. Let r be x(g). Put u, r, 5 in descending order.
5, u, r
Let n = 401/13 - 31. Let i = -0.3 + 0.26. Let a = i + -3.96. Put n, -0.5, a in ascending order.
a, -0.5, n
Suppose -5*q = v - 20, -3*v + 3*q + 80 = v. Let l = v + -12. Suppose 0 = k + 3*m + l, k + 14 = 3*k - 4*m. Put 0, 4, k in decreasing order.
4, k, 0
Suppose -3 - 2 = -5*z + 5*l, -4*z - 5*l = -40. Put 3/2, z, -2/7 in descending order.
z, 3/2, -2/7
Let j = 0.05 + 0.35. Let p = -3.4 + j. Let s be 1*9/(-21) + 0. Sort p, s, 1/7 in decreasing order.
1/7, s, p
Let w = -3.3 + 4. Let z = w - 0.2. Let y = 35 - 36. Put y, z, -2 in increasing order.
-2, y, z
Let g(j) = 2*j**2 - 10*j + 16. Let h be g(2). Let f(i) = -i - 2. Let d be f(-4). Sort h, 7, d in increasing order.
d, h, 7
Let f = 3 + -5. Let o = f - 4. Let c = o - -5.7. Sort 2, -4/7, c in descending order.
2, c, -4/7
Let s = -0.04 - 5.96. Let k = 6.4 + s. Put -2/3, k, -1/6 in decreasing order.
k, -1/6, -2/3
Let v = -3.95 - -4. Let j = v + -13.05. Sort j, 0.2, 2.
j, 0.2, 2
Let v = 20 + -23. Sort v, 12, -0.2 in decreasing order.
12, -0.2, v
Suppose 2*m = -2*k + 32, 2*m = -3*k - 2*m + 50. Let v = k - 10. Put v, -2, -4 in decreasing order.
v, -2, -4
Suppose -3*h = 3*r + 15, 5*h + 5*r - r + 20 = 0. Put 2, -5, -6, h in increasing order.
-6, -5, h, 2
Suppose 3*f - 13 = -5*q, 3*q - 28 = 2*f - q. Sort f, -3, 1 in descending order.
1, -3, f
Suppose -13 = -4*s + 11. Put 2, s, 0 in increas