der.
r, 2/5, -0.1
Let j = 0.1 - -0.4. Let w be (1/(-14))/1*6. Put w, j, -1 in decreasing order.
j, w, -1
Let f be 2 - 0 - (-48)/(-18). Let a = -1 + 1. Let y = a - -1. Put 4, y, f in increasing order.
f, y, 4
Let k = 5.021 - 0.021. Sort k, 1, 0.1, -1 in decreasing order.
k, 1, 0.1, -1
Let u = 49 + -50. Suppose -4*j = -5*m + 28, -5*j + 18 = 5*m - 4*j. Put m, u, -5 in descending order.
m, u, -5
Suppose -3*p + 18 = -3*b - 0*b, -3*b = 9. Put 7, -3, p, -1 in increasing order.
-3, -1, p, 7
Let v = 73 + -73.3. Sort 0.1, -3, v in ascending order.
-3, v, 0.1
Let d = -0.35 + -0.05. Let i be 4/(-10)*1/2. Sort d, i, 0.2 in descending order.
0.2, i, d
Let s(y) = -y**2 + 8*y + 2. Let o be s(8). Sort 12, -4, o in ascending order.
-4, o, 12
Suppose 3*r + 4*o - 392 = 0, -3*r - r - 2*o = -526. Let l be (8/r)/((-2)/(-6)). Put l, -1/7, -3/2 in descending order.
l, -1/7, -3/2
Suppose -v + 3*v = 0. Suppose 0 = -b + 2*h + 5, h = -5*b - v*h + 25. Suppose -9*n + 27 = -5*n + 5*c, 4*n + 3*c - 21 = 0. Sort b, n, 4 in ascending order.
n, 4, b
Suppose 8 - 4 = 3*l - 2*v, -4*l - 3*v = -11. Let a(b) = b**2 + 3*b. Let m be a(-4). Sort l, -5, m.
-5, l, m
Let y(z) = -z + 8. Suppose -4*d - d = -25. Suppose -d*k + 4*k + 6 = 0. Let b be y(k). Sort 0, b, -1 in descending order.
b, 0, -1
Let z(m) be the first derivative of m**3/3 + 5*m**2/2 + 2*m + 5. Let s be z(-4). Put s, -1/4, -3/4 in descending order.
-1/4, -3/4, s
Suppose k - 3 - 1 = 0. Sort 2, -5, k in ascending order.
-5, 2, k
Let s(b) = 4*b + 3. Suppose 11 + 14 = -5*x - 5*y, -3*x + 5*y = -9. Let r be s(x). Let t be 3/r - 11/(-35). Put 0, 1/3, t in ascending order.
t, 0, 1/3
Let i(z) be the first derivative of -z**2 - z - 1. Suppose -2*g - 22 = 4*q, -5*q + q = -5*g + 15. Let d be i(g). Sort d, -1, -4 in decreasing order.
d, -1, -4
Let x = -107 - -108. Put -2, 0.05, x in descending order.
x, 0.05, -2
Let o be (-2)/7 - (-90)/21. Suppose -w - 2*f = -4*f - 4, -3*f + 12 = 3*w. Suppose j + c = -w, 0 = o*j - 2*j - c + 8. Put -3, j, 4 in increasing order.
j, -3, 4
Let x = -0.542 + 0.042. Sort 13, x, -5, -4 in descending order.
13, x, -4, -5
Suppose 0 = -5*y - 15, -8*w + 3*w + y + 23 = 0. Let g(d) = d - 6. Let o be g(w). Let u be 40/15 - o/6. Sort u, -5, 0 in increasing order.
-5, 0, u
Let t = 34 + -24. Let r = -1 + 1. Suppose r*m - t = 5*m. Sort m, 0, 4 in descending order.
4, 0, m
Let v = 0.21 - -0.19. Let q = 0.3 - 0.2. Sort 4, q, v in descending order.
4, v, q
Let c = 29 + -28. Let t = 6561/11 + -597. Sort t, -0.3, c in descending order.
c, -0.3, t
Let y = 0 - 1. Let t = y - -4. Suppose b + 0*b = t. Sort b, 5, 2/3 in decreasing order.
5, b, 2/3
Let u = -0.99 + -0.11. Let v = u - 2.9. Put 3, v, -1/6 in ascending order.
v, -1/6, 3
Let t = 0.41 - 0.4. Let z = t + -3.01. Sort 3, -1, z in increasing order.
z, -1, 3
Let c = 35 - 13. Let g = 87/4 - c. Put g, -5, -0.2 in decreasing order.
-0.2, g, -5
Let a = 3 + -3. Suppose -10*i = -1 - 9. Sort -4, i, a in increasing order.
-4, a, i
Let w = 0.498 - 0.098. Put w, -0.06, 4, 2/11 in descending order.
4, w, 2/11, -0.06
Suppose 4*w = -8, 4*c + 4*w + 2 = 3*w. Let y = -1 + 2. Sort y, c, -5 in ascending order.
-5, c, y
Let o(x) = x - 1. Let w = 10 - 5. Let d be o(w). Suppose -3*f - k - 7 = -1, -8 = d*f - 3*k. Put f, -3, -5 in increasing order.
-5, -3, f
Suppose 7*r - 3 = 6*r. Sort -1, 1, r, -3 in decreasing order.
r, 1, -1, -3
Let z(m) = -m**2 - 8*m - 15. Let d be z(-6). Sort d, 5, 3/2 in increasing order.
d, 3/2, 5
Let j(x) be the third derivative of -x**4/24 - 5*x**3/6 - 2*x**2. Let w be j(-9). Sort w, 0, -4.
-4, 0, w
Let g = 0.2 + 0. Suppose 0 = -4*v + 3*v. Let m = 8 - 7.6. Sort g, m, v in descending order.
m, g, v
Let m = 6 + -4. Suppose 2*u + u - 4*f = 4, 2*u = f + 1. Suppose s + 2 + 3 = u. Put 5, m, s in increasing order.
s, m, 5
Suppose -5*y + 5*z = 5, 2*z + 29 = -4*y + 7. Let n be 1/1*(-5)/(-1). Put -3, n, y in ascending order.
y, -3, n
Let c(y) = -y**3 - 11*y**2 - 11*y - 13. Let h be c(-10). Let w be 2 + h - 24/(-27). Put -0.1, w, -4/9 in decreasing order.
-0.1, w, -4/9
Let p(x) = 2*x**3 + 21*x**2 - 11*x + 4. Let q be p(-11). Put q, -5, -1/7 in ascending order.
-5, -1/7, q
Suppose 16 = -f - 3*f, 0 = 5*b + 3*f + 37. Let t be (-3)/(((-15)/(-4))/b). Sort 1/2, -4, t in increasing order.
-4, 1/2, t
Let s be 4/(-3)*(6 + -75). Sort s, -3, -4 in increasing order.
-4, -3, s
Let r = 0 - 1. Let x = -5.4 + 3. Let i = -2.8 - x. Put i, 3, r in ascending order.
r, i, 3
Suppose 2*f - 5 = 1. Suppose -20 = -42*q + 22. Put q, -2, f in decreasing order.
f, q, -2
Let z = -13 + 13. Suppose 15 = 3*s, 3*a + 4*s = -s + 10. Suppose 6 = 2*c - 0. Sort a, c, z in descending order.
c, z, a
Suppose -2 = 2*t + 8, 53 = -3*p + 2*t. Let w = -17 - p. Sort 0, -5, w in increasing order.
-5, 0, w
Suppose -46*c + 2 = -44*c. Sort c, -5, 2, -4 in ascending order.
-5, -4, c, 2
Let p = 42 - 41. Put p, 0.3, -14, 4 in decreasing order.
4, p, 0.3, -14
Let l be 2/8*(-4)/(-8). Let k = -2.7 - 0.3. Put -0.5, k, l in descending order.
l, -0.5, k
Let n be 2/8 - (-26)/(-8). Let j(v) = v**2 + 6*v - 4. Let c be j(-6). Let x be 11/(-2) + (-7)/(-14). Sort c, n, x in ascending order.
x, c, n
Suppose n = -n + 2. Suppose -2*t + 5 + n = 0. Sort 4, 2, t in ascending order.
2, t, 4
Let p = -2 - -4. Suppose -4*v + 7*v - 15 = 0. Let i = v - p. Put 0, 5, i in increasing order.
0, i, 5
Suppose 0 = -4*m + 16. Suppose m = w + 3*w. Put 7, -4, w in increasing order.
-4, w, 7
Let y(m) = -m**3 + 14*m**2 + m - 19. Suppose 10 = 3*d - 32. Let g be y(d). Sort g, -2, -4 in descending order.
-2, -4, g
Let t be 2 + -2 + (-2)/(-1). Let u(k) = -k**3 - k**2 + 2*k**3 - 2 - k + k**3 - k**3. Let y be u(0). Sort -3, t, y in decreasing order.
t, y, -3
Let q = -57 + 62. Put -4, q, 3 in increasing order.
-4, 3, q
Let i = -11 - -19. Let v = -18 - -19. Sort v, -2, i in descending order.
i, v, -2
Suppose 3*z - 4*y = 13, 3*y - 3 = -6. Suppose 2*m - z = m. Suppose -5*s - 15 = -0*s + 3*x, -5 = 4*s + x. Sort 5, m, s in decreasing order.
5, m, s
Let d(q) = q**3 + q - 2. Let z be d(2). Let f = z - 5. Suppose -6*r - 18 = -f*r. Put 3, r, -5 in descending order.
3, -5, r
Suppose -7*u + 2*u = t - 8, 4*u = 2*t - 2. Let q(r) = 3*r - 1. Let w be q(u). Suppose 5 = w*n - n. Sort 1, n, -2 in ascending order.
-2, 1, n
Suppose -8 = 2*j - 5*z, 4*j - 3*z = j - 12. Let w = -1 + j. Let v = 9 - 4. Sort w, v, -1.
w, -1, v
Let t(b) = -b**2 - 3*b + 3. Let g be t(-2). Sort 2, g, 4, -3.
-3, 2, 4, g
Suppose c + 2 = -2*f + f, c - 5*f = -14. Suppose 3*h - 5*q = -h - 20, -3*q = -2*h - 10. Put -2, c, h in decreasing order.
-2, c, h
Let d = -12 - 2. Let j be 1/(-1 + d/(-12)). Let a = 6 - j. Sort 1, -1, a in descending order.
1, a, -1
Let j = 4 - 2. Suppose 9 = 4*q + 5*l, j*q = 5*l - 10*l + 7. Sort q, 2, -2 in descending order.
2, q, -2
Let t(x) = -x**2 + x + 6. Let a be t(5). Let y be (-4)/(8/a) + 3. Suppose 3*b - 13 = o, 0 = 2*o - 2*b - 4 + y. Sort o, -5, -2 in ascending order.
-5, -2, o
Suppose -5*m = -f - 22, 3*m - 2*m - 5*f = -10. Sort 0, 2, m, -4.
-4, 0, 2, m
Suppose -5*h = 4*v, 0*v + 4*v - 16 = -h. Let z = -2.55 + 0.55. Put z, 2/5, v in descending order.
v, 2/5, z
Let h = -1.7 - -1.3. Put h, 2, -1/6 in descending order.
2, -1/6, h
Let r be 0 + (-3 - (-582)/(-14)). Let g = r + 45. Let k = -79/4 + 20. Sort k, g, -5 in decreasing order.
g, k, -5
Suppose 3*l + 3 = 2*l + 5*x, 3*l - 3*x = 51. Sort 2, l, 1 in increasing order.
1, 2, l
Suppose 3*c = 2*c + 1. Let w be -1*c/(-2)*8. Suppose -w*v + 2*v = 0. Sort -4, v, 3 in increasing order.
-4, v, 3
Let q(j) = j**3 + 10*j**2 + 10*j + 8. Let s be q(-9). Let z be (-2)/4*(s - -3). Put z, 3, -3 in decreasing order.
3, z, -3
Let a be ((-1)/(-9))/(5/5). Put 5, -11, a in decreasing order.
5, a, -11
Let p(n) = 2*n**2 + 15*n + 9. Let q be p(-7). Put q, 4, -2, -1 in ascending order.
-2, -1, q, 4
Let x = 0 + -0.1. Let a = -2 + 7. Put a, -4, x in increasing order.
-4, x, a
Suppose -3 = -2*b - 3. Put b, -3, 2, 1 in decreasing order.
2, 1, b, -3
Suppose -2*c + c = 0. Suppose d + 4*d - 10 = c. Suppose -2*q = 4*s - 18, 0 = 4*q + 4*s - 13 - 7. Sort d, q, 0.
0, q, d
Let a be 2/((-24)/15 + 2). Suppose -4*s - a*q + 42 = -3, -15 = -3*q. Sort 2, 1, s.
1, 2, s
Suppose -6*g - 30 = -9*g. Put 5, 4, g in descending order.
g, 5, 4
Suppose i + i - 10 = 0. Suppose -6*r + 5*r - i = 0. Suppose 5*