2 + c. Put v, j, -1 in decreasing order.
j, -1, v
Let t be (-16 + 13)/(2/(-4)). Put -3, t, -4 in decreasing order.
t, -3, -4
Let p = 11/7 - 92/63. Let r be (-3 - -2) + 1*-3. Sort p, -3, r in ascending order.
r, -3, p
Suppose 0 = -4*x + x + 12. Sort -1, 3, x in descending order.
x, 3, -1
Let w = 8 - 63/8. Let d = 175.5 + -175. Put -4, d, w in increasing order.
-4, w, d
Suppose -y - 2*r + 12 = y, -5*y = 2*r - 21. Suppose -j + 3*j = 8. Suppose 0*p = -4*p - 8. Sort p, j, y in increasing order.
p, y, j
Let u = -76 - -83. Let v = 2.8 - 3. Sort -2/5, v, u in decreasing order.
u, v, -2/5
Suppose -y = -3*y + 4. Let o be (4/y)/((-4)/(-6)). Sort o, 1, -4.
-4, 1, o
Let b be 5/10 + (-33)/(-6). Put 4, -3, b in ascending order.
-3, 4, b
Let r(s) = -s**2 - 11*s - 22. Let j be r(-7). Sort 2, j, -5, 1 in ascending order.
-5, 1, 2, j
Suppose 7*u + 55 = -4*u. Put 2, u, -10 in descending order.
2, u, -10
Let f be (-17)/(-3) + (-26)/39. Put f, -3, 4 in decreasing order.
f, 4, -3
Let q = -1.61 + 0.11. Let n = 2 + q. Let d = -13 + 8. Put n, d, 4 in increasing order.
d, n, 4
Suppose 0 = -5*g + 8 + 17. Suppose f - g*f = 20. Sort -4, -2, f in ascending order.
f, -4, -2
Let v = -5.006 - -0.006. Sort 3, 3/2, -2, v in decreasing order.
3, 3/2, -2, v
Let w be 30/(-50)*10/1. Put -3, 0, w in descending order.
0, -3, w
Let j = -22 - -26. Sort -1, -2, 1, j.
-2, -1, 1, j
Let i be 88/10 + (-1)/(-5). Let t be i/(-12)*(-4)/(-2). Let g = -7 - -12. Put g, 0.1, t in descending order.
g, 0.1, t
Let b(c) = c**2 - 18*c - 41. Let l be b(20). Suppose 2*k = -5*m + 31, 5*k - 35 = -2*m - 2*m. Sort m, 1, l in ascending order.
l, 1, m
Let d = -45 + 47. Put 3, 5, 4, d in increasing order.
d, 3, 4, 5
Let j = -2 - 0. Let h be (-52)/(-8) + (-6)/4. Sort 3, h, j in increasing order.
j, 3, h
Let t be 11/(-3) - -2 - 0. Let m = -57/4 + 111/8. Put 4, t, m in increasing order.
t, m, 4
Let u be (-2 - (-5 + 4))/1. Let d = 5 + -9. Let y be ((-9)/6)/((-3)/d). Sort 2, y, u in ascending order.
y, u, 2
Let v(k) = -2*k**2 - 1. Let b be v(0). Sort -2, b, -5 in decreasing order.
b, -2, -5
Let r = -6.2 - -2.2. Put r, 0.4, 1 in increasing order.
r, 0.4, 1
Let i be 49/2*(-1 - -3). Suppose 2*w - 4 = -2*p, -i = -5*w + 3*p - 15. Put 4, w, -1 in decreasing order.
w, 4, -1
Let p(h) = -h**2 + h + 1. Let t be ((-2)/(-6))/(5/30). Let q be p(t). Put -4, q, -0.1 in increasing order.
-4, q, -0.1
Let d be (3/2)/(12/16). Suppose d*c - 16 = 6*c. Put -1, 2, c in descending order.
2, -1, c
Suppose -d + 4*d = 0. Sort 1, d, -3 in decreasing order.
1, d, -3
Let i = -66 + 63. Put 5, i, -5 in decreasing order.
5, i, -5
Let p = 0.06 - 0.66. Let y = -3.6 - p. Sort -0.5, 10, y in descending order.
10, -0.5, y
Let y = -27.4 - -27. Sort 1, 3/5, -4, y in increasing order.
-4, y, 3/5, 1
Suppose 3*v = -6, -v + 4*v + 21 = 3*d. Sort d, -5, 4 in descending order.
d, 4, -5
Let g(w) = w + 1. Let o be g(-1). Suppose 0 = -o*l - 3*l - 15. Put 1, 3, l in decreasing order.
3, 1, l
Suppose 0 = 3*x - 15, 4*y + 0*x + 3*x - 7 = 0. Let s be (1 + y)/((-6)/3). Let k be 6/24 + (-9)/20. Sort -3, k, s.
-3, k, s
Let w be (-12)/20 + 12/(-5). Let j = w + 6. Let o = 2 + -4. Sort 5, j, o in descending order.
5, j, o
Let k be 63/(-2) + 3/6. Let v = -20 - k. Let t be 1*((-23)/v - -2). Put -2/5, -5, t in decreasing order.
t, -2/5, -5
Let p = -11.9 - 2.1. Let d = 13 + p. Suppose 4*j - 7 = 1. Put j, d, 4/7 in ascending order.
d, 4/7, j
Suppose 11*r = 3*r - 24. Sort 5, r, 0 in decreasing order.
5, 0, r
Let y be (9 - 16)*2/(-7). Sort y, -1, -3, -5 in descending order.
y, -1, -3, -5
Let u = -0.156 + 1.056. Put 0.04, -4, u in descending order.
u, 0.04, -4
Let m = 4 - 2. Suppose 4*b - 2*k = 12, m*k - 13 = -5*b + 5*k. Let z = -3 + 3.4. Sort z, -2/17, b.
-2/17, z, b
Let x(d) = -d - 3. Let s be x(-3). Suppose y + s = -4, -5*y - 32 = -3*m. Sort -5, m, -4 in descending order.
m, -4, -5
Let s be (-4)/14 + 632/(-42). Let c = 15 + s. Let m = -4 + 4.4. Sort 0.3, c, m in increasing order.
c, 0.3, m
Suppose 14 = -2*s + 10. Put -12, s, -1, -4 in descending order.
-1, s, -4, -12
Let k be 0/2 - 12/(-10). Let q = -13 + 17. Sort 0.5, q, k.
0.5, k, q
Let j = -0.62 - 0.38. Let c be 15/12*(0 - 4). Let b(a) = 3*a - 1. Let s be b(1). Sort s, c, j in decreasing order.
s, j, c
Let r = 0 - 1. Let n be (12/9)/(16/(-48)). Sort n, r, 1 in decreasing order.
1, r, n
Let r = 59 - 55. Let b = 139/264 + -5/33. Let y = 0 - 0.1. Sort y, r, b in increasing order.
y, b, r
Let z = -5.9 + 6. Suppose f + 4*j = j + 19, 5 = j. Suppose -f*x + 4 = -0. Put z, 4, x in ascending order.
z, x, 4
Let n(j) be the third derivative of -j**4/24 - j**3 + j**2. Let x be n(-5). Let f(w) = w**2 - 2. Let i be f(-2). Put i, x, 4 in descending order.
4, i, x
Let d be 3 - (-7)/(7/2). Suppose m = q + q - 5, 1 = 3*q + d*m. Let u be ((-2)/3)/(q/(-12)). Put u, -4, -5 in increasing order.
-5, -4, u
Let f(l) be the first derivative of -5*l**3/3 + l**2 + l + 3. Let q be f(-1). Sort q, -5, -1.
q, -5, -1
Let q = 3 - 0. Let w = q - 3. Suppose 4*f = 8, 0*u + u + 5*f - 12 = w. Put u, -5, -4 in increasing order.
-5, -4, u
Let z be (9/(-16))/((-3)/2). Sort -0.5, z, -3 in decreasing order.
z, -0.5, -3
Let g = -0.27 - -0.47. Sort 3, g, 4 in decreasing order.
4, 3, g
Let k = 9/4 + -3/4. Sort -0.1, -0.2, k in increasing order.
-0.2, -0.1, k
Let o = 187/4 + -47. Sort o, 2, -0.09, 3 in descending order.
3, 2, -0.09, o
Let o = 6.13 + -6.3. Sort -2, 0.3, 1/5, o in decreasing order.
0.3, 1/5, o, -2
Let p = 9 + -14. Let o = 46 - 42. Put o, p, 3 in decreasing order.
o, 3, p
Let j(r) be the first derivative of r**4/4 - 5*r**3/3 + 7*r**2/2 - 6*r - 3. Let i be j(4). Suppose -i*w = -4*w + 6. Put 0, -2, w in ascending order.
w, -2, 0
Let k(d) be the second derivative of -1/3*d**4 + d + 1/2*d**2 + 0 - 1/3*d**3. Let a be k(1). Sort 1, a, -3 in ascending order.
a, -3, 1
Let l be (-4)/(176/84) + 1 + 1. Put 5, 0.3, l, 1/7 in increasing order.
l, 1/7, 0.3, 5
Let i = 10 - 6. Suppose 4*m + 9 = m. Suppose -2*z - s + 0*s + 14 = 0, 5*z - 21 = s. Put z, m, i in increasing order.
m, i, z
Let q be 1/1 - 12/(-3). Sort -5/4, 0.5, q in ascending order.
-5/4, 0.5, q
Let o be 2/(3 + -4 + 2). Let k be 12*2/10 - o. Let d = -5 - -7/2. Put d, -2/9, k in descending order.
k, -2/9, d
Suppose 4*z - 28 = 4*d, -3*z = 2*z + 4*d + 10. Suppose 5*s - 5*o - 50 = -o, 0 = s - 2*o - 16. Let w = 11 - s. Sort 0, w, z.
0, z, w
Suppose -3 = -p - 4. Let x(w) = -w**2 - 14*w - 12. Let b be x(-13). Sort -4, p, b in increasing order.
-4, p, b
Suppose 0*l + 7 = 5*l - u, -3*l - 3*u - 3 = 0. Let w = 17 - 12. Put w, -3, l in ascending order.
-3, l, w
Let i(y) = -y**2 - 6*y + 4. Let n be i(-6). Sort -1, -8, n, 1.
-8, -1, 1, n
Let i = 3 + -4. Sort -1/7, -2/3, i in ascending order.
i, -2/3, -1/7
Let u = 20239/32725 + -6/275. Let p be ((-6)/(-153))/(4/90). Let l = p - u. Sort 0.03, -5, l in decreasing order.
l, 0.03, -5
Let w be (6/4)/(2/12). Suppose 3 = q + 1. Suppose -q*u = u + w. Put u, 1, -2 in increasing order.
u, -2, 1
Let p = -7 + 7.3. Let t = 3 + 1. Sort p, t, 1 in descending order.
t, 1, p
Let b(w) = -w**2 - 7*w. Let u be b(-7). Let k be 36/10 - 3/5. Sort u, k, -4.
-4, u, k
Let u = 0.2 + -0.3. Let q = -31 + 219/7. Sort u, 4, q in increasing order.
u, q, 4
Let n = 8.44 + -9. Let t = 0.06 + n. Let j be (-4)/(-14) - (-10)/14. Sort j, -2, t in descending order.
j, t, -2
Let z be (18/8)/(9/48). Suppose -6*s = -2*s - z. Put s, 4, -4 in descending order.
4, s, -4
Suppose 0 + 1 = 2*g - i, -5*g + 2*i = -5. Let q = -1 + 0. Put g, -3, q in decreasing order.
g, q, -3
Let u = -9 - -18. Let d = 8.6 - u. Sort -2, -2/3, d in ascending order.
-2, -2/3, d
Let h = -1 + -1. Let b = 0.4 - 0.45. Let m = -5.05 - b. Put h, m, 4 in increasing order.
m, h, 4
Let u = 15 - 11. Suppose -c = -u - 0. Let m = -13/8 + 41/40. Sort m, 4/3, c in decreasing order.
c, 4/3, m
Let x = 17 + -6. Let j(h) = -h**2 - 4*h + 4. Let a be j(-3). Let n = a - x. Put n, -1, -2 in increasing order.
n, -2, -1
Let t = 0 + -1. Let n be (-2)/t - 4/2. Let b = 11 - 6. Sort 2, n, b in increasing order.
n, 2, b
Let s(k) = k**2 + 14*k - 14. Let f be s(-15). Put 3, f, -9 in decreasing order.
3, f, -9
Let c = 0.5 - 0.3. Let g = 52 - 209/4. Sort c, 1, g in decreasing order.
1, c, g
Suppose 0 = 3*v + 4 - 1. Let l = 6 + v. Suppose -2*a + 14 = l*m, -5*a + 2*m + 4 + 2 = 0. So