der.
b, n, a
Let b = 3 + -2. Sort -4/7, -2/3, b in ascending order.
-2/3, -4/7, b
Let n = -5.5 - -5. Sort n, 5, -2/9 in descending order.
5, -2/9, n
Suppose -2*w + 4*w = 6. Suppose 2*z + 0*z = -6. Put 4, z, w in ascending order.
z, w, 4
Let l(h) = 3*h - 19. Let w be ((-27)/15)/(15/(-50)). Let j be l(w). Put -3, 3, j in decreasing order.
3, j, -3
Let y(x) = -x**2 + 6*x - 5. Let p be y(6). Suppose -o + 24 = 2*o. Let b = o + p. Sort b, 1, -1 in descending order.
b, 1, -1
Suppose -4*i - 12 = 0, 9*f - 4*f - 10 = 5*i. Sort f, 4, -3.
-3, f, 4
Let o = 84 - 79. Let u = -10 - -69/7. Sort 3, u, o.
u, 3, o
Let a(f) = -f - 9. Let h be a(-6). Sort -0.4, h, -1, -0.2 in increasing order.
h, -1, -0.4, -0.2
Let g = 5.9 + -6.4. Let l(a) = a**3 - 7*a**2 - a + 10. Let r be l(7). Let y be r*1/(-14)*2. Sort 3, g, y in decreasing order.
3, y, g
Let g be -2 - (-2)/2*2. Suppose -2*k - 2 + 20 = g. Let z be ((-6)/7)/(k/(-6)). Put 5/3, -5, z in decreasing order.
5/3, z, -5
Let d(w) be the second derivative of w**3/6 - w**2/2 + w. Let z be d(2). Sort z, 2/11, -0.5 in decreasing order.
z, 2/11, -0.5
Let g = -9 - -9.4. Let s = g + -1. Let c = s - -0.9. Sort c, -1, -3 in descending order.
c, -1, -3
Let g = 0.22 + 0.08. Suppose 0 = 6*q - q - 25. Suppose -2*u + 4*m + 1 = 13, -q*u + 4*m - 30 = 0. Sort u, g, -5.
u, -5, g
Let z be ((-2)/2)/(2/(-12)). Let b be 124/(-12) - (-2)/(-3). Let s = b + z. Sort 3, -4, s in descending order.
3, -4, s
Let a = -7 - -3. Put a, 1, 5, 2 in decreasing order.
5, 2, 1, a
Let b be 2/(-13) + 560/260. Sort -3, 0.14, b in descending order.
b, 0.14, -3
Suppose 0 = y - 1 + 3. Let m = -2 + 5. Suppose 0 = -4*c + 3*a - 6, 2*a = -5*c + m + 1. Sort c, -1, y in increasing order.
y, -1, c
Let m = -31 + 152/5. Sort -1, m, 0.5 in decreasing order.
0.5, m, -1
Suppose 11 = 3*j + 2*l - 4*l, 0 = 5*j - 4*l - 15. Let a = j - 5. Suppose 4*c = -4*i + 4, 4*c = a*i - 8 - 12. Put -5, i, 3 in decreasing order.
i, 3, -5
Let i be (2/2 - 1)/2. Sort 0.3, -2, i.
-2, i, 0.3
Let t(v) = v**2 + 4*v + 4. Let k be t(-5). Let u = -9 + k. Sort -1, 4, u in descending order.
4, u, -1
Let t be -1 + 2 - -2 - 1. Suppose -6 = -4*f + 6. Suppose 0*m + 4*m - 4*b = 12, -5*m - f*b = 1. Sort m, t, 3 in descending order.
3, t, m
Let y(i) = -2*i. Let d be y(-1). Let a be (-3 + d)/(2/6). Let o = a - -5. Sort o, -1, -4 in ascending order.
-4, -1, o
Let d = -2.2 + -0.8. Let i = -284 - -3122/11. Let w = -20 + 24. Put w, d, i in descending order.
w, i, d
Let h = -2/445 - -1794/3115. Let t be (-4)/(-10) - 42/80. Put h, t, -4/3 in descending order.
h, t, -4/3
Let s be ((-8)/6)/(2/6). Let d = 43 - 43. Sort -3, s, d in ascending order.
s, -3, d
Let y = 0.2 - -0.2. Let b(i) = -i**2 - 9*i - 14. Let f be b(-7). Let h be (-8)/5 - (-1 + f). Sort -4, h, y in decreasing order.
y, h, -4
Let q = 12/43 + -170/301. Put -2/11, q, -1/7 in descending order.
-1/7, -2/11, q
Let c = 161 - 156. Sort 18, -4, c in decreasing order.
18, c, -4
Let c be -4*(-1 + 99/102). Put 3, 4, c in decreasing order.
4, 3, c
Let g = 35/78 + 2/39. Sort -2, -4, g in ascending order.
-4, -2, g
Let k be ((-8)/1)/(-2)*-5. Let z = k - -20. Put 1, -1, z in descending order.
1, z, -1
Suppose -5*p = -6*p - 1. Sort -7, p, 1 in decreasing order.
1, p, -7
Let a = -7 - -4. Let b = a - -3. Let d be (-6)/(-4)*(-2 + 4). Put b, 2, d in ascending order.
b, 2, d
Suppose -4*f - x = -25, -f + 3*x - 6 = 4. Sort -4, 4, f.
-4, 4, f
Let h = 7 + -7. Let i = 0.4 - h. Sort 1/2, 3/7, i in ascending order.
i, 3/7, 1/2
Suppose -4*w = 5 - 1. Let x be (w/3)/(15/(-27)). Put 2, 1, x in increasing order.
x, 1, 2
Let b = -9 + 8. Let j = 7 - 5. Suppose -j*z = -g, 3*g = -g + z. Put g, b, 5 in descending order.
5, g, b
Let k be ((-10)/(-20))/((0 - 1)/(-6)). Sort k, -4, 4, -1 in decreasing order.
4, k, -1, -4
Let f(u) = -u**2 - 8*u - 2. Let z(o) = -o**3 - o**2 + 3*o - 1. Let l be z(2). Let j be f(l). Let x be (-4)/(-14) + 74/(-14). Sort 1, j, x in decreasing order.
j, 1, x
Let a = -0.18 + -0.02. Let o be -2 + (-32)/(-7) - 3. Put a, 2/3, o in decreasing order.
2/3, a, o
Suppose -3*w = -b - 2 - 2, -4*b + 4 = -2*w. Suppose 1 = -s - w*u, 5*s - u - 9 = -4*u. Suppose -2*i - 2 = 0, 2*c + 5*i + 2 = 5. Sort s, 2, c.
2, s, c
Let o = 2 - -2. Let y be o*(-3)/(-12) + -3. Sort 7, -4, y in ascending order.
-4, y, 7
Let z(o) = -2*o - 1. Let i be z(6). Let t = -8 - i. Let q be (5/(130/8))/(-2). Sort t, q, -4 in decreasing order.
t, q, -4
Let l = 0 + 3. Suppose -k + 8 = -l*k. Suppose -n = -0*n. Put k, n, -5 in descending order.
n, k, -5
Let d = 97.7 + -98. Put 8, -1, d in descending order.
8, d, -1
Let k = -3 + 2. Let r = 20 - 22. Put k, 0, r in increasing order.
r, k, 0
Let q = 23 + -22. Let g = 3.2 + -3. Sort g, q, -0.4.
-0.4, g, q
Let k(n) = -n**3 + 8*n**2 + 8*n + 12. Let j be k(9). Suppose 0 = -0*i + j*i - 6. Suppose -i*u = -u + 3. Sort 2, u, 5 in decreasing order.
5, 2, u
Let s be ((-10)/1)/(-1 + 2). Let w be (-4)/s*(-2)/(-6). Let r = 11/20 - 1/20. Sort w, r, -4 in ascending order.
-4, w, r
Suppose 0 = 5*j + 3*j - 40. Put 3, -7, j, 0 in decreasing order.
j, 3, 0, -7
Let z = 0.06 + -0.36. Let b = z - 2.7. Let w = 1.2 - 1. Sort w, 5, b in descending order.
5, w, b
Let k = -2183/30 - -212/3. Let p = k + 8/5. Put 3, -2, p in descending order.
3, p, -2
Suppose -5*p + 4*j = -9, 5*p - 4*j + 5*j = 29. Put p, 6, 2 in ascending order.
2, p, 6
Let l = 34 + -21. Put -1, l, 1 in descending order.
l, 1, -1
Let m = 0.365 + -0.065. Sort m, -2/3, 4 in ascending order.
-2/3, m, 4
Let q(o) = -o**2 + 4*o. Let w be q(3). Put w, 1/3, 4 in decreasing order.
4, w, 1/3
Let h = -2027/2 - -1043. Let n = h - 353/12. Sort -3, -5, n in descending order.
n, -3, -5
Let n be (-2 - 68/(-36))*3. Sort 1, n, 4 in descending order.
4, 1, n
Let q = -8/5 - -27/20. Let o = 6 - 1. Sort q, o, -3/7.
-3/7, q, o
Let n = 5 + -2. Let x(c) = -c - 11. Let z be x(-8). Let d(o) = -o**2 - 6*o - 9. Let t be d(-4). Sort z, n, t in descending order.
n, t, z
Let z(p) = p**3 + 6*p**2 + 3*p - 4. Let x be z(-3). Let d = x + -23. Put 0.5, d, -0.4 in decreasing order.
0.5, -0.4, d
Let r(q) = q**2 - 9*q + 1. Let b be r(11). Let k = 29 - b. Sort 0, -5, k.
-5, 0, k
Suppose -5*k - 1 = 4. Put k, -4, 0, -3 in descending order.
0, k, -3, -4
Let c = 0.1 - 0.6. Let d = 248 + -265. Sort 1, c, d in descending order.
1, c, d
Suppose -5*h + 3*u = -2*u, 0 = 3*h - 2*u + 2. Sort h, 3, 2 in ascending order.
h, 2, 3
Let f = -0.09 + 5.09. Let w = 4.8 - f. Sort w, -0.4, 1.
-0.4, w, 1
Suppose 2*p + 0*p = -5*h + 4, -p + 15 = -4*h. Let y = 13 - p. Let r be 10/6 - (-2)/y. Sort -5, r, -4.
-5, -4, r
Let i(q) = q**2 - 13*q + 10. Let w be i(12). Put w, -5, 4, 3 in decreasing order.
4, 3, w, -5
Let s(m) = m**3 + 6*m**2 + 2*m + 9. Let y be s(-6). Let h = -3 - -2. Put -2, h, y in decreasing order.
h, -2, y
Let p = -5 - -3. Let b = 7 - 6. Put p, b, 3/4 in increasing order.
p, 3/4, b
Let n(h) = h**3 - 5 - 2*h - 3*h + 4*h**2 + 3*h + 1. Let v = -4 + 0. Let d be n(v). Sort 2, -5, d.
-5, 2, d
Let p = -13 - -16. Suppose p*i - 2*i + n = 0, 3*i + 5*n = -6. Sort 4, i, -9 in decreasing order.
4, i, -9
Let h be (-1 - -2)/(1/(-5)). Suppose -4*o + 16 = -4*g - 8*o, -3*g - 24 = -3*o. Let s = h - g. Sort s, -3, -4 in decreasing order.
s, -3, -4
Let t = 0.07 + 0.13. Sort t, -1/3, 2/11 in ascending order.
-1/3, 2/11, t
Let z be 85/10 + 6/4. Let a be 12/z*(-20)/(-6). Suppose -b = b + a. Sort b, 0, 1.
b, 0, 1
Let c = 11 + -15. Suppose 0 = -12*k + 11*k. Sort -5, k, c in increasing order.
-5, c, k
Suppose z - 3*z = 0. Suppose -5*u + 82 - 27 = z. Let t = -35/3 + u. Put 4/7, 0, t in increasing order.
t, 0, 4/7
Let d be (0 - 2) + (-12 - -15). Let u(b) = b**3 + 4*b**2 + 2*b + 3. Let y be u(-4). Sort d, 3, y in ascending order.
y, d, 3
Let g = -53/7 + 54/7. Sort -2, g, -0.3 in increasing order.
-2, -0.3, g
Let u = 1 - -3. Sort 1/3, 0.1, u in ascending order.
0.1, 1/3, u
Suppose -3*h + 2*h = 5. Let a be (2 + -1 - 0)*2. Suppose -2 = a*t - 3*t. Sort 5, h, t in increasing order.
h, t, 5
Suppose 10 = i - h, 3*i + 3 = -4*h - 2. Let o = -3 - -4. Put o, i, 2 in ascending order.
o, 2, i
Let g = 0.27 - 0.14. Let k = g - 0.53. Sort 3, 1, k in descending order.
3, 1, k
Suppose 6 = 2*d - 2*u, d + u = -0*d - 1. Let g be 0 + (d/(-1) - -6). Sort -3, -4, g.
-4, -3, g
Let v(j) be the first derivative of -j**2/2 - 4*j - 1. Let m be 