 -y**2 + 3*y. Let c be l(3). Let v(f) = f**3 - f**2 + f + 5. Let s be v(c). Sort -3, -4, s in ascending order.
-4, -3, s
Let a be ((-1)/3)/((-7)/14). Sort 4, 2, a in descending order.
4, 2, a
Suppose -2*v - a = a - 2, -a + 25 = -5*v. Sort -0.1, -5, v in decreasing order.
-0.1, v, -5
Let f = -0.034 - -0.034. Put f, 5, 2/13 in descending order.
5, 2/13, f
Let z be 4/(-6) + (-176)/6. Let d be (z/(-8))/(1/(-4)). Let c be 50/d - (-2)/6. Sort c, -4, 3 in ascending order.
-4, c, 3
Let x = -2 - -1.89. Let l = 2.89 - x. Put l, 3/8, -1 in decreasing order.
l, 3/8, -1
Let v = 159 + -163. Put v, 4, -9 in decreasing order.
4, v, -9
Let f = -19/141 - -4907/141. Let p = f - 35. Sort p, 0.4, 5 in increasing order.
p, 0.4, 5
Let n = -3.7 + 4. Let j = -2.3 - -2. Put -2, j, n in descending order.
n, j, -2
Let r be 6/8*(-24)/45. Put 0, r, 0.5 in descending order.
0.5, 0, r
Let a be (-3*(-2)/(-14))/1. Sort -0.4, a, 0.4.
a, -0.4, 0.4
Suppose -8*q - 21 = -q. Suppose 3*i = 4 + 8. Suppose -5 + 25 = -i*b. Sort -2, b, q in decreasing order.
-2, q, b
Let p = -5897/15 - -393. Put p, 0, 0.3 in ascending order.
p, 0, 0.3
Let t be 54/(0 - -2) - 2. Let c be 2/4 + t/10. Put c, 0, -1 in descending order.
c, 0, -1
Suppose 2 = -y - y. Let b = -0.15 + -3.85. Let d = b - -3.7. Put d, -3, y in decreasing order.
d, y, -3
Let c be (-40)/100*2/(-12)*-2. Sort c, 1/2, 2/5.
c, 2/5, 1/2
Suppose -2*m = -2*y + 20, 6*y - y - 4*m = 45. Put y, -2, 3 in increasing order.
-2, 3, y
Let r = -31 - 39. Let j be r/12 - (-3)/(-18). Sort -0.3, -4/3, j in ascending order.
j, -4/3, -0.3
Suppose -c = 3*c + 60. Let m be (-6)/4*40/c. Put 2, 1, m in increasing order.
1, 2, m
Let h = 1.5 - 2. Let w = h + -0.5. Sort 0.4, -2, w in decreasing order.
0.4, w, -2
Suppose -4*a + 5*j - 8 = 0, 0 = 2*a - j - 1 - 1. Suppose a*k + 3*t + 1 + 2 = 0, -5*k - 2 = 2*t. Sort k, -5, 1 in descending order.
1, k, -5
Let a = -8.9 - -18.3. Let f = a - 9. Put f, -1/5, 3 in decreasing order.
3, f, -1/5
Suppose 3*g + 3*g = 18. Suppose -g*n + 0 - 3 = 0. Sort -2, -3, n in increasing order.
-3, -2, n
Let j be 3/5*(-12)/18. Sort 0, -5, j in ascending order.
-5, j, 0
Let j = 224 + -280.7. Let m = j + 53. Let a = -0.7 - m. Put a, -3, 1 in descending order.
a, 1, -3
Let v(z) = 4*z - 3. Let a be v(0). Sort -5, 3, a, -2 in increasing order.
-5, a, -2, 3
Let k = -5.6 + 6. Sort 0.1, -2/7, k in ascending order.
-2/7, 0.1, k
Let d = -27 - -19. Sort d, 5, 2 in ascending order.
d, 2, 5
Let o be (1/10)/(2/(-5)). Let g = 95 - 664/7. Sort -3/5, o, g.
-3/5, o, g
Let g be 12/(-20) - (-777)/(-30). Let l = g + 27. Sort 5, l, -1/5.
-1/5, l, 5
Let q(u) = u**2 - 13*u + 16. Let d be q(12). Suppose -3*y + d*y = -1. Sort -2, y, 2 in decreasing order.
2, y, -2
Let l(z) = z**2 + z - 2. Let j be l(0). Suppose 0 = 3*w - 5 - 4. Suppose -9 = w*q - 3*v, 0 = q + 5*v - 15 - 0. Put j, q, 1 in decreasing order.
1, q, j
Let i be 0 + 0 - (2 - 11). Let t = i + -10. Put 3, t, -5 in decreasing order.
3, t, -5
Let a = -1 - 4. Let h = -5 + 4.8. Let f = h + 0.5. Sort -3, a, f in increasing order.
a, -3, f
Suppose 6*x + 17 - 47 = 0. Sort x, -2/3, -3, 4 in descending order.
x, 4, -2/3, -3
Let y = -7/15 - -3/10. Sort 1/5, y, 3.
y, 1/5, 3
Let h be 3/(-9)*-3*-2. Let v be ((-8)/(-10))/(h/(-5)). Suppose 4 = 3*a - 5*q, -3*q + 4 = 2*a - 5*q. Put 4, v, a in descending order.
4, a, v
Suppose -5*p - 20 = -p. Suppose 3*n = -0*x + 3*x - 3, 0 = -3*n + 4*x - 7. Suppose 3 = -4*u + n*u. Put u, p, 0 in descending order.
0, u, p
Let h = -40 - -43. Put -8/3, 0.1, h, -0.2 in ascending order.
-8/3, -0.2, 0.1, h
Let a(p) = -p**3 + 5*p**2 - 5*p + 2. Let u be a(3). Suppose -3*c - 4*f + 1 = 8, -u*f = 4*c + 8. Sort -4, c, -1 in decreasing order.
c, -1, -4
Let s(o) = -o**3 + 6*o**2 - 5*o. Suppose 2 = 2*z - 8. Let v be s(z). Let g be 0 - v - 8/(-12). Sort -0.1, g, 5 in decreasing order.
5, g, -0.1
Let p be 1/(-3) - (-1 - (-14)/18). Suppose -2*x - 2*q - 10 = -6*q, -4*x = 3*q + 20. Sort 1, x, p in descending order.
1, p, x
Let a = 3/14 - 9/14. Let b = -6/35 + a. Sort b, 0.5, 1.
b, 0.5, 1
Let h be 4/14 + (-12)/(-7). Let d be h/((-3 - 1) + 0). Sort -2/3, 5, d in decreasing order.
5, d, -2/3
Let z(a) = -2*a - 1. Let l be z(-1). Let w = -4.04 + 0.04. Put l, w, 5/6 in ascending order.
w, 5/6, l
Let n = 17.9 - 8.9. Sort -0.5, -2/7, -2/3, n in descending order.
n, -2/7, -0.5, -2/3
Suppose 0 = -r - 2*r + 6. Let o be ((-8)/10)/(r/10). Suppose -p + 0 + 5 = 0. Put 2, o, p in increasing order.
o, 2, p
Suppose -3*b = -7*b - 20. Let f be 11/(-9) + (b - -6). Let x = 0 - 0.5. Sort x, f, -5 in increasing order.
-5, x, f
Let u = 52 + -81. Let i = -29 - u. Sort -3, 10, i.
-3, i, 10
Suppose y + 8 = 5*y. Suppose -5*s - 12 = y*q, 2*s + 15 = 5*q - 13. Sort 3, s, 4 in descending order.
4, 3, s
Suppose 0 = -c - 2*c + 9. Put c, -5, 5 in descending order.
5, c, -5
Let p = 11 - 11.1. Let y = 0.1 - p. Put y, -1/3, -0.4 in ascending order.
-0.4, -1/3, y
Suppose -6*t + 3 = -3*t. Put 6, t, -2 in decreasing order.
6, t, -2
Let d be 8/6*(-6)/4. Let a = 0.29 - 0.89. Sort a, d, 0 in increasing order.
d, a, 0
Let o = 4 + -1. Let l = o - 5. Let f = 22 + -22. Put 4, f, l in ascending order.
l, f, 4
Let q = -38 - -38.07. Put -0.3, -0.5, q in descending order.
q, -0.3, -0.5
Suppose 0 = 3*k - 6 - 0. Suppose -3*l = -k*t + 15, 6*l + t + 15 = 3*l. Let p be (l/2 - -3)*-1. Sort 0.2, -1, p in decreasing order.
0.2, p, -1
Let s = -7 + 2. Let b = 27 - 26.8. Put -0.1, s, b in decreasing order.
b, -0.1, s
Let n be (-2 - 1)*6/9. Sort -5, -13, -3, n.
-13, -5, -3, n
Let c = 35 + -38. Sort c, -1, 0.2.
c, -1, 0.2
Let l = 2.3 + 8.7. Let j = 7 - l. Sort j, -5, 0.3 in ascending order.
-5, j, 0.3
Suppose -5 = 5*h, -z = -5*z - 5*h - 25. Sort 1, z, 5.
z, 1, 5
Let c be 5/(-2)*112/70. Let y = -8 - -5. Put y, -8, c in decreasing order.
y, c, -8
Let d(x) = x**3 - 6*x**2 - 6*x - 8. Let z = 14 - 7. Let w be d(z). Sort w, 3, -2 in increasing order.
-2, w, 3
Suppose -4*t = 5 + 55. Let q(h) = h**2 - 4*h - 2. Let p be q(3). Sort t, -1, p in ascending order.
t, p, -1
Let f be -4*6*(-5)/(-30). Put -9, -5, f in ascending order.
-9, -5, f
Let z(a) = a + 1. Let i be z(-2). Let l be (-2)/(i*6/(-9)). Let w be (-2)/l - 5/3. Put w, 5, 1 in descending order.
5, 1, w
Let p(b) = 10*b**2 - b. Let l be p(-1). Suppose -4*k = l - 3. Put -4, -1, k in descending order.
-1, k, -4
Let n(u) = -2*u + u - 4*u. Suppose z + 3*k = 3*z + 10, 2*z - 2*k + 6 = 0. Let i be n(z). Sort 0, i, 3.
i, 0, 3
Let m = -4.4 - -4. Let q = m + -0.1. Let l = -37 + 34. Put q, l, 0.3 in decreasing order.
0.3, q, l
Let m = -131 + 126. Put -44, 5, m in descending order.
5, m, -44
Suppose -q = 2*q - 24. Suppose 23 = 3*c + q. Let i = -0.1 - -0.3. Sort -1, i, c in ascending order.
-1, i, c
Suppose 0 = -17*u + 22*u - 15. Sort -2, 4, u in descending order.
4, u, -2
Suppose 4 = -3*g - c + 2*c, -5*g - 6 = -2*c. Put 5, -5, g, -1 in descending order.
5, -1, g, -5
Let w(f) = 2*f + 3. Let p be w(-4). Let t(x) be the first derivative of x**2/2 + x - 1. Let s be t(1). Put p, 3, s in descending order.
3, s, p
Let k = -64 + 69. Suppose 3*b + 7 = -r, 8 = -4*r + 4*b - 4. Put 3/4, k, r in descending order.
k, 3/4, r
Let u(d) = -d + 1. Let o be u(-7). Suppose f = -3 + o. Suppose 3*l = -4*y + 5, 3*y + l + 9 = 3*l. Sort f, y, 1 in descending order.
f, 1, y
Let a = -1/8 + 3/8. Sort -0.4, 15, a in descending order.
15, a, -0.4
Let l = 46 + -28. Let n = l + -17.5. Sort 5, 1, n in ascending order.
n, 1, 5
Let w = 8 + -5. Suppose -3 = -2*c + i, 2*c + w*c = 4*i + 9. Sort c, -5, -2.
-5, -2, c
Let v = 20768/31 - 670. Put v, -3, -1/6 in ascending order.
-3, -1/6, v
Let r be 5 - (-5 + (1 - -2)). Let m = r - 3. Sort m, 5, -4 in ascending order.
-4, m, 5
Let y be (51/12 - 4)/(22/16). Sort -1/3, 1/5, -0.2, y in increasing order.
-1/3, -0.2, y, 1/5
Let o be (1 - 1)/((-14)/(-7)). Suppose o*w - 2*w = 0, -2*w + 9 = 3*y. Put -2, 1, y in ascending order.
-2, 1, y
Let o = 7 - 4. Suppose -5*s + 6 + 24 = 5*x, 0 = 3*s - o*x. Suppose 0 = -19*w + 18*w. Put 5, s, w in descending order.
5, s, w
Let s = 0.6 - 0.4. Let f = s - 0. Sort 0.1, -1/2, f in ascending order.
-1/2, 0.1, f
Suppose -2*b = -8 + 6. Sort -1, b, 5.
-1, b, 5
Let c = -27 - -16. Let q = c + 11. Sort -2, 5, q.
-2, q, 5
Let z be 3 + -1 + (1 - 6). Put 4, z, -5 in descending order.
4, z, -5
Let w be 92/28 + 4/(-14).