v, x, -5
Let c = 36/13 - 38/13. Let y = -20/63 - -2/21. Sort c, y, 4 in decreasing order.
4, c, y
Let g(v) = -v + 7. Let q be g(8). Sort q, -3, 4.
-3, q, 4
Let d = 0.06 - 4.06. Let w = -16 - -18. Sort d, 5, w in decreasing order.
5, w, d
Let t(u) = u + 11. Let d be t(0). Suppose d*f = 12*f. Put -3, -5, f in decreasing order.
f, -3, -5
Let c(b) = -b**3 - 4*b**2 - 2*b - 1. Let m be c(-3). Let l = 61 + -64. Sort l, 3, m in ascending order.
m, l, 3
Suppose -4*c + 2 = -d, 0*c + 4*d = -c - 8. Let v = 2 + -4. Put c, v, -1 in decreasing order.
c, -1, v
Let m = 50 - 49. Sort m, 2, -8 in ascending order.
-8, m, 2
Let b(a) = -29*a**3 - a**2. Let w be b(-1). Suppose 4*q - 16 = w. Let r = -8 + q. Sort 2, 4, r in descending order.
4, r, 2
Let q(f) = -f + 2. Let h be q(3). Let p = 104 - 1354/13. Put 1/2, p, h in descending order.
1/2, p, h
Let n = 10 + -10.8. Let u = n + 1. Let v = -0.09 + -0.21. Sort 1, u, v in increasing order.
v, u, 1
Suppose 11 = -0*f + f - 2*k, k = 5*f - 19. Let o be 6/27 + (-235)/45 + 4. Put f, 2, o in decreasing order.
f, 2, o
Let g be (-1 + 0)*1 + 2. Let q = 1 + g. Let z = 1 + q. Sort -4, z, 4 in decreasing order.
4, z, -4
Let f be (-2)/3 + 40/(-12). Let w be 3/(-34)*f/(-3). Let z = -1 - -1. Sort -3/5, z, w.
-3/5, w, z
Let j(m) = -m**2 + 10*m - 6. Let r be j(10). Let n = r + 10. Let l = n - 1. Put -5, -3, l in increasing order.
-5, -3, l
Let n(u) = -2*u + 7. Let p be n(5). Let a be (-213)/(-12) - p/12. Let x be a/20 - (-1)/(-2). Sort -5, x, 2/11 in decreasing order.
x, 2/11, -5
Let h = -97.95 - -98. Sort 3, h, -3 in descending order.
3, h, -3
Suppose 3*l + 20 - 2 = -3*y, -5*y = l + 18. Let i(r) = r**3 - r - 5. Let o be i(0). Sort 3, y, o.
o, y, 3
Suppose 0 = -x - 3*b + 3 + 3, -10 = -5*b. Suppose 0*k - k + 1 = x. Let i be (2/(-3))/((-4)/(-12)). Sort i, k, 5 in descending order.
5, k, i
Suppose -4*n + 2*z = 14, 3*z = -0*n - n - 14. Let v(w) = w**3 - 4*w**2 + 3*w - 4. Let m be v(3). Sort m, 3, n in decreasing order.
3, m, n
Let c = 4 + -9. Let i(d) = d**2 - 3*d + 1. Let u be i(4). Let p(s) = s. Let k be p(2). Sort k, c, u in decreasing order.
u, k, c
Let b be 152/(-57)*(-6)/4. Sort 11, -1, 3, b in decreasing order.
11, b, 3, -1
Let o = -41 - -45. Sort -2/7, 5, o in ascending order.
-2/7, o, 5
Let m = -0.3 - -0.31. Let p = 7.32 - 4.33. Let v = m + p. Sort 0, 2/15, v in descending order.
v, 2/15, 0
Suppose 0 = -0*o + 2*o - 8. Let p = 4 - o. Suppose -2*a + 10 = -p*a. Sort 4, a, 3 in decreasing order.
a, 4, 3
Suppose 4*p + u = -11 - 5, -u = -3*p - 5. Sort 0, p, -0.4 in descending order.
0, -0.4, p
Let g = 21 + -19. Put 4/5, -5, g in ascending order.
-5, 4/5, g
Let q = 41/45 + -17/15. Sort 5, -2, q in ascending order.
-2, q, 5
Let g = -6 + 3. Let r = -1438663/70 + 20551. Let y = 19/10 + r. Put 3, g, y in increasing order.
g, y, 3
Let v = 4 + -10. Sort 5, v, -5 in increasing order.
v, -5, 5
Let q = -37.12 - -38. Let k = q + 0.12. Sort k, -0.5, -3/11 in ascending order.
-0.5, -3/11, k
Suppose 3*r = 4*l + 7*r - 16, r - 2 = l. Let n be -2 - l - (3 - 2). Let d be (4/6)/(2/3). Sort n, d, 5 in increasing order.
n, d, 5
Let x be 3/((-9)/(-15) - 0). Suppose -x*u = -6*u. Sort u, 4, -5 in increasing order.
-5, u, 4
Suppose 8*z - 4*z = -12. Suppose 5 = 2*x - 2*u - 7, -4*x - 3*u = -3. Sort z, -2, x in decreasing order.
x, -2, z
Let q be 80/(-36) + 4/18. Let a be 2 + q + 6 + -2. Suppose 0*t = 2*t + 8. Sort -3, a, t in increasing order.
t, -3, a
Let i = -4 + 4.2. Let a = -6 - -4. Let q be 32/(-30) + a/(-5). Sort i, q, -0.3 in decreasing order.
i, -0.3, q
Suppose -2*h = 2*h - 12. Put h, 1, -1 in decreasing order.
h, 1, -1
Let s = -2.51 - -0.07. Let q = s + 0.04. Let x = q + 2. Put 2/9, 4, x in descending order.
4, 2/9, x
Suppose -v + 1 = -b - 5, -5*v = 2*b - 23. Sort -2/5, -1/8, b.
b, -2/5, -1/8
Let c = -6/47 + -17/235. Put 1/6, -6/5, c in descending order.
1/6, c, -6/5
Let l = -3 - -2. Let r = 0.011 - 3.311. Let z = r + 3. Sort z, l, 2.
l, z, 2
Suppose 3*d - 29 = 3*m - 8*m, 3*d + 2*m = 17. Suppose -30 + 70 = -5*z - d*n, 5*z + 30 = -n. Sort 1, 3, z in decreasing order.
3, 1, z
Let y = 17 + -16. Let n be (-1 + 24/21)/y. Put 5, 2/11, n in descending order.
5, 2/11, n
Suppose 4*n + 2*b + 34 = 0, -2*n - 2*b + 7*b = 35. Let i = -14 - n. Let f = 2 - -3. Sort f, i, -1.
i, -1, f
Let r = 1768/19 - 93. Let h = 64/133 - r. Sort -4, 0.1, h.
-4, 0.1, h
Let o = -10 + 9.8. Let q = o + 0. Let m = 4.08 - 0.08. Sort -1/3, m, q in ascending order.
-1/3, q, m
Let a be -15*-3*4/30. Let c be (1 + (-10)/a)*-3. Let x(b) = -4*b - 1. Let u be x(1). Sort c, 5, u.
u, c, 5
Let y = 5 + -10. Let v be (10/6)/(1/3). Suppose -4*d = d - v. Put -4, d, y in decreasing order.
d, -4, y
Let z = 5 + -5. Let y be (20/(-5))/(1 - z). Sort 4, 0, y in ascending order.
y, 0, 4
Let j(h) be the first derivative of -h**4/4 + 4*h**3/3 + 3*h**2/2 - 4*h + 1. Let g be j(4). Let l = g - 6. Sort -2, -5, l in ascending order.
-5, -2, l
Let k be (-1)/(1 - 9/6). Suppose o + 9 = 2*f, -4*o + 0 = 5*f - 3. Sort o, 0, k.
o, 0, k
Let o(q) = q**2 - 6*q + 4. Let f be o(4). Let y = 3 + f. Suppose s - 5 = -5*u, 0 = 3*u - 2*s + 5*s - 15. Put -3, u, y in ascending order.
-3, y, u
Suppose q - h = -4, 0 = 4*q - h - 5 + 6. Sort q, 0, 2 in descending order.
2, q, 0
Let s = 41 - 46. Sort 4, -1/2, s, -2/5.
s, -1/2, -2/5, 4
Let v = 268/99 - 26/9. Let a = 8 - 7. Put v, 0, a in ascending order.
v, 0, a
Suppose -5 = -j - 1. Suppose 4*w + j + 4 = 0. Let m be 5/w - (-1)/2. Put 1, m, 0 in ascending order.
m, 0, 1
Let q = 3 - 3.3. Let j = 8 - 5. Put j, -4, q in decreasing order.
j, q, -4
Let u = -45 + 42. Sort -1, u, 0.4.
u, -1, 0.4
Suppose -5*z - 6 = -6. Put z, -2, -5 in ascending order.
-5, -2, z
Let a be 1/(((-2)/(-1))/(-6)). Let s(o) = -o**2 + o + 2. Let y be s(2). Let t be 3 - (-8)/(y - 2). Put a, -5, t in descending order.
t, a, -5
Let k(p) = -p. Let b be k(-2). Let w = -1348/5 - -268. Let t = w + 11/10. Sort b, 2/13, t in ascending order.
t, 2/13, b
Let y = 4.3 + 0.7. Put y, -20, 0.1 in descending order.
y, 0.1, -20
Let d = 0.12 - -0.18. Sort -0.2, 0.4, d, 4/3 in descending order.
4/3, 0.4, d, -0.2
Suppose 4*u - 3*u - a = -4, -a = 4*u - 4. Sort 5, -2, u in increasing order.
-2, u, 5
Suppose j + j - 2*g = -8, -4*g = 2*j - 16. Let r(l) = l**3 + 4*l**2 - 6*l - 3. Let u be r(-5). Let p(n) = -n**3 + 6*n**2 + n - 7. Let v be p(6). Sort u, v, j.
v, j, u
Suppose 9 = -g - 5*i, 4*i - 1 + 11 = 2*g. Sort g, 0.2, -1/5, 2 in descending order.
2, g, 0.2, -1/5
Let x(s) = -s**2 - 5*s - 1. Let d be x(-5). Suppose -2 - 6 = -4*n. Put 4, d, n in ascending order.
d, n, 4
Suppose 4*n + 7 = 3*n + 2*q, -5*n = 3*q - 30. Put 4, n, 15 in increasing order.
n, 4, 15
Let i = 7 - 5. Let o = -1/12 - -17/60. Sort -1, i, o in decreasing order.
i, o, -1
Let s = -0.4 + 0.1. Let v be (0/2 - -3)*1. Sort 1/2, v, s in increasing order.
s, 1/2, v
Suppose 2*r - k - 15 = -2, 4 = -r - 3*k. Let z(d) = -2*d + 4. Let g be z(4). Sort 3, g, r in descending order.
r, 3, g
Let b = -49 + 53. Sort -4, -3, b in decreasing order.
b, -3, -4
Suppose 2*t + 10 = 4*t. Suppose -8 + t = -g. Suppose g*i + u - 11 = 0, -3*u + 28 = 4*i + 5. Sort -0.1, i, -2/5 in decreasing order.
i, -0.1, -2/5
Let w = 0.09 + -5.09. Sort -2/17, 0.1, w.
w, -2/17, 0.1
Let o be 15*(12/15)/2. Put o, 1, 0 in descending order.
o, 1, 0
Let f(w) = w**3 - 7*w**2 + 8*w - 7. Let v be f(6). Suppose 0 = 3*k - v + 20. Put k, 0.5, -4 in increasing order.
k, -4, 0.5
Let p be (1 - (-1 + 1))*5. Put p, -5, -1 in decreasing order.
p, -1, -5
Suppose 16 = 2*b - 6*c + c, -5*c + 2 = 4*b. Put 4, -1, b, -5 in descending order.
4, b, -1, -5
Let r = -2616/11 - -238. Let j be 10/15*(-1 + -2). Sort j, r, 1 in ascending order.
j, r, 1
Let x = 939 - 10337/11. Let j = x + 9/11. Suppose 2 = -2*g - 2*w, 55 = -4*g + 2*w + 33. Sort j, -0.3, g in descending order.
j, -0.3, g
Let s = -5 - -28. Let m = 22.9 - s. Let l = -2.99 - 0.01. Sort l, m, -1 in ascending order.
l, -1, m
Let x = 0.4 + -0.2. Let m = -0.2 + 0.2. Let f = m - -0.3. Sort -2, f, x in decreasing order.
f, x, -2
Suppose -4*n + n = i - 12, 0 = n - 3. Put i, -3, -1 in decreasing order.
i, -1, -3
Let j be 9/(-6)*(-20)/6. Put j, -20, 4 in ascending order.
-20, 4, j
Let i be (-1)/(-1 + 12/16). Suppose -1 = z + i. Sort z, -0.2, 4.
z, -0.2, 4
Suppose -5*t + 0*q - 50 = 5*q, t + 20 = -3*q. Put 5,