der.
o, 1/6, r, 5/2
Let l(g) = g**3 - 3*g**2 + 4*g - 1. Let x be l(1). Sort x, 2, 3 in decreasing order.
3, 2, x
Let c(s) = 130*s**2 + 0 - 123*s**2 + 10*s - 6 - s**3. Let j be c(8). Put j, 5, 3 in descending order.
j, 5, 3
Let n be 2 - (30/(-20))/(6/(-4)). Suppose -4*a + 15 - 35 = 0. Put n, -3, a, 21 in descending order.
21, n, -3, a
Suppose d + 3 - 19 = 0. Suppose d*z + 24 = 12*z. Sort -1, 0, z.
z, -1, 0
Let f be (-1)/((-3)/4*(-1 - 3)). Let c = -5 - -9/2. Put c, -2/7, f in increasing order.
c, f, -2/7
Let f = 171 - 169. Sort 3, f, 8 in decreasing order.
8, 3, f
Let r = -2.67 + 0.27. Let s = r + 2. Let q be (0 + -3)*5/25. Sort q, s, 3/5 in decreasing order.
3/5, s, q
Suppose -15*w + 14 = 134. Put w, 4, 0 in decreasing order.
4, 0, w
Let m(i) = 4*i**3 + i**2 - 1. Let l be m(-1). Let r = -3.6 + 6. Let o = 1.9 - r. Put o, -0.4, l in ascending order.
l, o, -0.4
Suppose 0 = k + 3, 0 = -x - 2*k - 6 - 0. Suppose x = -2*t - 0*t - 2. Let g = -2/381 + -748/2667. Sort g, 0.5, t in descending order.
0.5, g, t
Let c = -686 - -682. Let q be (1/2)/(2/(-8)). Put c, 1, q, -1 in descending order.
1, -1, q, c
Let d = 1933 + -1938. Put 5, d, -54 in decreasing order.
5, d, -54
Let l = 42 + -39. Let h(j) = -j**3 + 5*j**2 + 5*j + 5. Let m be h(6). Let g(a) = 5*a**3 - a**2 + 1. Let z be g(m). Sort 5, z, l in decreasing order.
5, l, z
Let p = 0.05 - 0.55. Let j = -19 - -10. Let r = 14 + j. Put r, p, 1 in decreasing order.
r, 1, p
Suppose 3*b + 9 = 3*j, -3*b - 4*j + 4 = b. Let h be 4/(40/(-6)) - b. Let i be (-5)/40*(-56)/(-21). Sort h, i, 4.
i, h, 4
Let w = -323 - -328. Sort w, 10, -3, -1.
-3, -1, w, 10
Let v = 1000/3451 + -2/493. Put 2, -0.06, v, -3 in descending order.
2, v, -0.06, -3
Let h be ((-8)/28)/(-1)*14. Put -13, h, 2, -3 in descending order.
h, 2, -3, -13
Suppose 24*j + 25 = 19*j, 3*k = 5*j + 10. Let u = 0.42 + -0.02. Sort k, 8/3, 2/9, u in ascending order.
k, 2/9, u, 8/3
Let f(h) = h**2 + h - 18. Let q be f(4). Suppose 0 = 6*m - 11*m - 3*d + 12, -3*m + 8 = q*d. Sort -5, m, 13 in ascending order.
-5, m, 13
Suppose -24 = -5*a + d - 0, 0 = -5*d + 5. Suppose 0 = 5*g - 5*l - 5 - 15, -a*l - 14 = -2*g. Let v be (-1)/1*g/(-12). Put 2, -4, v in decreasing order.
2, v, -4
Let a = 0.11 + -6.31. Let s = a - -5.8. Sort 4, 1/10, -3, s in decreasing order.
4, 1/10, s, -3
Suppose 19*o = 7*o - 108. Sort 3, -2, o, -1 in decreasing order.
3, -1, -2, o
Let k = 114 - 111. Let b = -4.9 + 12.2. Let l = 7 - b. Put l, 0, k in descending order.
k, 0, l
Let v = -98 - -103. Sort -7, 3, 4, v in descending order.
v, 4, 3, -7
Let x = 344 - 347. Sort 12, -4/3, x in decreasing order.
12, -4/3, x
Let x(k) = -k**3 - 2*k**2 + 2*k - 1. Let o be x(1). Let i(a) = -a**3 - 25*a**2 - 51*a - 114. Let c be i(-23). Sort -1, o, 5, c in ascending order.
o, -1, c, 5
Let s = -14.7 + 18. Let u = s - 3. Let a = -3828 - -3827.5. Put 1/7, a, u in descending order.
u, 1/7, a
Let z be -1 + ((-136)/119 - (-2)/1). Let y = -0.97 - 0.03. Sort 0.04, z, y in ascending order.
y, z, 0.04
Let p = 0.037 + 0.074. Sort -1/3, 4, p in decreasing order.
4, p, -1/3
Let v = 1146 - 1147. Put 0.07, v, -1/2, 2/15 in decreasing order.
2/15, 0.07, -1/2, v
Suppose 5*l - 15 = -0. Suppose -l*v + 0 = -3. Suppose 0 = 2*d + 4*z - 10 - 2, 2*z - 8 = 0. Put v, 2, d in decreasing order.
2, v, d
Let w = 3.9 + 0. Let u = w - -0.1. Put -1, u, -3/5 in decreasing order.
u, -3/5, -1
Let h be (-4)/(1 - -5 - 10). Suppose -d + 0 + 2 = 0. Let g be 1*(-4 + h + d). Put -3, g, 0 in descending order.
0, g, -3
Let z = -2 - -9. Let m(p) = -p + 3. Let k be m(3). Sort k, z, -2.
-2, k, z
Let q = 28 + -29. Let k = -0.43 + 0.03. Sort q, -3, k in descending order.
k, q, -3
Let u(g) = -g**2 + 2*g. Let t be u(2). Let n = 2.11 - -0.19. Let r = 1.3 - n. Sort 0.2, r, t in descending order.
0.2, t, r
Let r be 1/(-12)*(-80)/6. Put r, 0.2, -3 in descending order.
r, 0.2, -3
Let m be 1/5 + (-4)/(-10). Let b = -2.809 + 25.809. Sort m, 0.4, b.
0.4, m, b
Suppose 3*n + 6*n - 369 = 0. Let x = 44 - n. Put -1, 4, x in increasing order.
-1, x, 4
Let n be 152/(-18)*10/80. Let s = -4/9 + n. Suppose -d + 22 = -5*x, 2*d - 5*d = 9. Put -0.4, x, s in ascending order.
x, s, -0.4
Let z = 47/2 - 25. Suppose -3*g = -0*g - 3*d, 2*d + 4 = g. Let s = 125.5 - 125. Put g, z, s in decreasing order.
s, z, g
Let x = 4/19 - -11/38. Let r = 29 + -21. Let j = r - 8. Sort j, x, 4.
j, x, 4
Let i(l) = -l + 11. Let w be i(12). Sort 3.5, 3, w.
w, 3, 3.5
Let p = -13 + 9. Let t be p/(-22) - 195/286. Put -0.1, t, 2/7, 3 in descending order.
3, 2/7, -0.1, t
Suppose 20*o - 15*o - 2 = 3*u, -5*u = -5*o. Sort u, -1, -9 in descending order.
u, -1, -9
Let r(f) be the third derivative of -f**6/120 + f**5/10 - f**4/4 + 4*f**3/3 - 6*f**2. Let g be r(5). Suppose 0*s + 6 = g*s. Sort 0, -5, s.
-5, 0, s
Let c = -33 - -39. Suppose 2*w = w + c. Suppose w = -5*a - 19. Put -4, 5, a in ascending order.
a, -4, 5
Suppose -5*c - 13 = -4*m + 22, m - 5 = 5*c. Suppose -2*w + m = -0*w. Let q = -0.38 - 0.02. Sort q, 0.5, w in ascending order.
q, 0.5, w
Let j = -19 - -22. Let t be (1 - (-15)/(-9)) + 2/j. Put -5, 1, t in descending order.
1, t, -5
Let h = -16.2 - -16.7. Let n(g) = -7*g**2 + 9*g + 1. Let o(k) = 6*k**2 - 8*k - 1. Let r(x) = -5*n(x) - 6*o(x). Let f be r(3). Put h, f, 1/8 in increasing order.
1/8, h, f
Let g be ((-568)/80 - -7)*-1*2. Let h = -0.2 + 1. Let c = -0.3 + h. Sort -4, g, c in descending order.
c, g, -4
Suppose 9*g = 21*g - 0*g. Let u(p) be the second derivative of p**3/3 - 3*p**2/2 - p. Let k be u(4). Put g, -3, k in increasing order.
-3, g, k
Let y(a) = a**2 - 7*a - 4. Let j be y(7). Sort -64, j, -5 in decreasing order.
j, -5, -64
Let k = -72 - -75. Suppose h - 5 = -2. Suppose 0 = -h*d + 8*d. Put k, d, 1 in decreasing order.
k, 1, d
Suppose 5*s + 15 = -3*i + 21, -4*s - 5*i + 10 = 0. Sort 7, s, -5, -3.
-5, -3, s, 7
Suppose 0*h - 12 = -4*z - h, 0 = 2*z + 2*h - 12. Let s(f) = f**2 + f - 4*f**2 + 4*f**2 + 2 + z*f**2. Let l be s(-1). Sort 0, l, -1.
-1, 0, l
Let x be (2 + -17)*88/264. Let c(g) = -g**2 - 7*g - 9. Let r be c(-6). Sort 8, x, 2, r.
x, r, 2, 8
Let r = -167 - -97. Let j = -73 - r. Put 3, j, 57 in descending order.
57, 3, j
Let t be 1*((-6 - -6) + -6) + 8. Sort -19, -8, t in descending order.
t, -8, -19
Let v = -29 - -34. Suppose 0 = -3*a - 2*s - 16 - 0, 2*a + v*s + 18 = 0. Sort a, -3, -1 in increasing order.
a, -3, -1
Let g = -0.3306 - -0.0506. Sort g, 0, -0.1 in descending order.
0, -0.1, g
Let t = -8 - -4. Sort 4, t, 0.1, 3 in descending order.
4, 3, 0.1, t
Suppose 0 = -72*k + 332 + 28. Let x = 5 + -9. Sort x, 10, k, -2/9.
x, -2/9, k, 10
Suppose 0 = -5*n - 15*v + 10*v + 40, 0 = 4*v - 24. Suppose f = -f - 2. Sort f, -4, n.
-4, f, n
Let r = -0.08 + 5.08. Let m = 11.6 - 11.527. Let v = 0.227 + m. Sort -1/2, v, r in increasing order.
-1/2, v, r
Let t = -60 - -139. Let g = -84 + t. Sort 11, g, 0, 4.
g, 0, 4, 11
Suppose h + 2*h = -3. Let d be (55 - 58) + -1 + 12. Sort h, 1, d in decreasing order.
d, 1, h
Suppose -5*b - 1 = -26. Let a = 30 - 28. Let i be 0/((-3)/(2 + 1)) + a. Sort b, i, -8 in increasing order.
-8, i, b
Let p = -1028 + 1029. Put 5, -18, p in increasing order.
-18, p, 5
Suppose h + 42 - 10 = 0. Let a = h - -36. Suppose -p + 2*p + 3 = 0. Sort -4, a, p.
-4, p, a
Suppose 4*z + 9 = 13*z. Sort 4, -8, z in decreasing order.
4, z, -8
Let c = -168.8 - -169. Suppose -4*s + 16 = -0*s. Sort 3/2, 3, c, s.
c, 3/2, 3, s
Let l(a) = -a**3 + 4*a**2 + 6*a - 3. Let o be l(5). Let f be -24 - -23 - (0 - 2/2). Suppose 2*g - o = -f. Sort 3, -3, g in descending order.
3, g, -3
Let x(j) = 10*j**2 + 25*j - 10. Let z be x(-3). Sort z, 16, -2, -3 in descending order.
16, z, -2, -3
Let s = 36.8 + -36.3. Put s, 1, -0.15 in decreasing order.
1, s, -0.15
Suppose 0 = 6*g + 145 - 1411. Sort -0.3, -5, g in descending order.
g, -0.3, -5
Let c = 0.23 + 2.87. Let t = c - 3.4. Put -1, 1/3, t in descending order.
1/3, t, -1
Let n(q) = -2*q + 5. Let c be n(5). Let v(w) = -w**2 - 10*w + 10. Let i be v(-10). Let m(s) = s - 11. Let p be m(i). Put c, p, 2/5 in decreasing order.
2/5, p, c
Let p be ((-54)/(-135) + 23/5)*-1. Sort 1, -1/4, p, 1/2 in increasing order.
p, -1/4, 1/2, 1
Let u = -677 + 678. Put -1/2, u, -5, 0.11 in ascending order.
-5, -1/2, 0.11, u
Let b = -0.541 + 0.041. Let c be ((-4)/(-18))/((-3)/(-18)). Sort c, b, 3, -3 in de