der.
0.4, q, -2/3
Let c = 3 - 2. Suppose 0 = 3*a + a. Let u = 3385 - 3386. Sort a, c, u in ascending order.
u, a, c
Let t(w) = -3*w**3 - 7*w**2 + w + 2. Let v be t(-1). Put 21, 3, v in increasing order.
v, 3, 21
Let o be (-1 + (-2 - -2) + 2)*62. Let t = o - 61. Sort t, 0.2, 0 in increasing order.
0, 0.2, t
Let v be 1358/(-21) - (-2)/3. Let w be (v/(-6) + -4)*3. Let n = -23 + w. Sort -4, n, 4 in ascending order.
-4, n, 4
Let x = 789 + -788. Suppose 3 = 3*b - 6*b. Sort x, b, 0 in decreasing order.
x, 0, b
Let i = 4.5 + -0.5. Sort 0.4, -0.51, i.
-0.51, 0.4, i
Let q = 7534/29 + -260. Sort q, -0.3, 0.2 in ascending order.
-0.3, q, 0.2
Suppose 2*s - 5 = 3. Suppose -13*b - 14 = -27. Put 2, 5, s, b in ascending order.
b, 2, s, 5
Suppose 7*f + 8 = 9*f. Suppose -2*t - 3*t - 2*n = -29, -4*n - 5 = t. Let a = 5 - t. Put -5, a, f in increasing order.
-5, a, f
Let l be 15*-1 + (-1 - 0). Let q be (-8)/(16 - 12) - 2. Put 1, q, l in increasing order.
l, q, 1
Suppose -15*x - 2 = -13*x. Suppose 0 = -2*a - 3*z - 6, 3*a + 4 - 17 = z. Sort x, a, -4 in increasing order.
-4, x, a
Let f = -1.0784 + 0.0784. Sort 1/25, -1/4, f.
f, -1/4, 1/25
Let n(k) = -k**3 - 4*k**2 - 4*k - 1. Let h be n(-3). Let o be (-4 - -3)*(1 + -2). Suppose 8 - 5 = 3*m, -p + 2*m - 3 = 0. Sort p, h, o in descending order.
h, o, p
Let a = -0.4 - -3.4. Suppose i - 31 = -4*i + z, -2*i = 3*z - 26. Put 0.2, a, i in ascending order.
0.2, a, i
Let t(m) = 3*m**2 + 2*m - 4. Let l be t(2). Let k be (-16)/l - (-2)/6. Put k, 2, -5 in decreasing order.
2, k, -5
Let m = -622.11 - -627. Let x = -0.11 - m. Let h = -6.1 - -0.1. Sort x, 4, h in descending order.
4, x, h
Let w = -1/10 - -1/2. Put 0.3, w, 0.003, 0 in ascending order.
0, 0.003, 0.3, w
Let f = -0.459 + 0.059. Put -1, f, 5/7 in decreasing order.
5/7, f, -1
Let v(g) = -2*g**2 - 27*g + 77. Let a be v(-16). Sort 0, a, 56, -2.
a, -2, 0, 56
Suppose -20*x + 22*x = 2. Sort -2, -3, -4, x in ascending order.
-4, -3, -2, x
Suppose -29*v = -100*v - 71. Sort v, -2, -452 in descending order.
v, -2, -452
Let q = 127.3 + -127.4. Put -4, q, -1, 1/7 in descending order.
1/7, q, -1, -4
Let o be (-1 + (3 - -1))*1. Let j = -16 - -16. Suppose -18 = -2*k - 3*v, -2*k + 14 + 6 = 4*v. Sort o, k, j in descending order.
k, o, j
Let i = -630.1 + 625.1. Let h = -0.5 - 1.5. Put i, -0.3, -2/3, h in ascending order.
i, h, -2/3, -0.3
Let c be (4/(-6)*-3)/(-1). Suppose -4*z - 13 = -25. Suppose -2*l + 3*y - 2*y + 3 = 0, z*l - 4*y - 7 = 0. Sort c, l, -5 in ascending order.
-5, c, l
Let f = -74/153 + 2/51. Let o be 60/(-1)*54/75. Let l = o + 43. Sort l, f, 0.5.
f, l, 0.5
Let j = 0.02 - 3.02. Let p(k) = k**2 + 12*k - 20. Let c be p(2). Sort 0, j, 0.4, c.
j, 0, 0.4, c
Let j be (2 - 4)*(-8 + 7). Sort j, 1, -5, 3.
-5, 1, j, 3
Let g be (-12)/(-2 - 4)*60/40. Let c = 0 + 0. Put g, c, 1/4, -1 in descending order.
g, 1/4, c, -1
Let q = -1.35 + 3.35. Sort 0.3, q, -2, 0.1 in decreasing order.
q, 0.3, 0.1, -2
Suppose -52*k + 50*k - 10 = 0. Sort -7, 3, k, 2 in descending order.
3, 2, k, -7
Let w = 25/9 - 40/9. Suppose -50 = 39*s - 245. Put s, 0.4, w in increasing order.
w, 0.4, s
Let n = -281.31 + 281. Put 0.5, 1/3, 2/5, n in increasing order.
n, 1/3, 2/5, 0.5
Let y be -39*1/3*-1. Sort -2, -1, y, 5 in ascending order.
-2, -1, 5, y
Let z(c) = 6*c - 12. Let r be z(2). Sort r, 4, -12, 3.
-12, r, 3, 4
Suppose 4*x - 2*v - 23 = v, 2*v + 22 = 4*x. Suppose -4*l - x*t - 26 = 7, -4*t = -3*l + 14. Let k = 5 - 2. Sort -0.2, l, k.
l, -0.2, k
Let z(x) be the first derivative of x**2/2 + x + 8. Let o be z(3). Suppose d = 5*f + 23, o*d = 3*d - f - 1. Sort 0, d, -2 in ascending order.
-2, 0, d
Suppose -123 = 3*b - 4*g - 0*g, -4*g + 168 = -4*b. Let l be ((-37480)/b)/(-4) + -4. Let m = -212 - l. Put -0.4, m, 4 in ascending order.
-0.4, m, 4
Let x = 3/13 - 41/65. Let d be 11 - 13 - (3 - 0). Let i be 1 + 1/(d/(-10)). Sort x, -4, i in descending order.
i, x, -4
Suppose 11 = 3*j + 3*i - 1, -2*j = 5*i - 11. Sort 8, j, -2, -6 in decreasing order.
8, j, -2, -6
Let q be ((-26)/(-78))/(1/(-12)). Let h = 4 + -1. Let c be (4/(-3))/((-1)/h). Put 1, c, q in ascending order.
q, 1, c
Let c = -0.102 - -1.102. Sort -2/19, c, 2.1 in decreasing order.
2.1, c, -2/19
Let o be (-2)/(2/(0 + -2)). Suppose o*p + 8 + 6 = -4*j, -4*j = -4*p - 4. Let i = -39 + 38. Sort j, 4, i.
j, i, 4
Let n = 1400 + -1391. Put 4, 5, n, 3 in ascending order.
3, 4, 5, n
Suppose 6*w = 5*w + 30. Suppose 3*f - 28 = 3*c - c, 3*f - 3*c - w = 0. Put -3/4, -1/2, f in decreasing order.
f, -1/2, -3/4
Let a = 181.1 - 181. Put 0.2, a, 3 in ascending order.
a, 0.2, 3
Let m be ((-124)/93)/((-8)/(-6)). Let n be 0 + -1*(-4)/(-2). Sort 4, m, n, 5 in decreasing order.
5, 4, m, n
Let q(a) = -4*a**2 - 40*a + 5. Let p be q(-10). Sort -0.06, 0.4, p, -7 in ascending order.
-7, -0.06, 0.4, p
Let y = -5053/15 - -337. Let k = -0.08 + -0.22. Sort y, -2, k in increasing order.
-2, k, y
Suppose -b = l - 1, b - 20*l + 18*l - 10 = 0. Let h be ((-1 + 11)/(-2))/1. Sort h, 3, b, -2 in decreasing order.
b, 3, -2, h
Let r = 167 + -172. Put -0.5, r, -19 in increasing order.
-19, r, -0.5
Let l = -8 - -5. Let u = 1689 + -1685. Let m = -5 + 3. Sort m, l, u in descending order.
u, m, l
Suppose -5*j = 38 - 13. Sort j, -8, 2 in descending order.
2, j, -8
Suppose 3*k + 2*y - 9 = 0, -3*k - 12 = -7*k - 5*y. Suppose -l = 5*v - 30, -4*v = -5*l - k*v + 20. Let c be 4 + 3*(-21)/9. Sort c, 1, l in increasing order.
c, 1, l
Let d = 7 - 5. Suppose -2*l + 2 + d = 0. Let q(k) = k**2 - 17*k - 18. Let c be q(18). Put c, -5, l in increasing order.
-5, c, l
Let t(a) = a**2 + 15*a + 3. Let s be t(-15). Suppose -s*n + 25 = 2*n. Sort -3, -30, n in increasing order.
-30, -3, n
Let z = 1 - 1.3. Let k be (11/(-297))/(1/((-9)/2)). Put -5, z, k in ascending order.
-5, z, k
Let o = 9425/3 + -3143. Sort 4, o, -4 in ascending order.
-4, o, 4
Let f = -292 - -293. Sort -370, -5, f.
-370, -5, f
Suppose 0*y + 3*y = -9. Let a be (2 - -2)/(2 + y). Let p be 3/(-1 + a/8). Put 1, p, -3 in increasing order.
-3, p, 1
Let b = -29 - -38. Suppose b*l - 30 = 6*l. Put l, 3, 5, 0 in decreasing order.
l, 5, 3, 0
Let i = 30 - 30.92. Let x = -1.02 - i. Put -3, x, -2, -0.05 in decreasing order.
-0.05, x, -2, -3
Suppose -3*b + 4*b = 32. Suppose n + b - 28 = 0. Let x be ((-5)/n)/(1/(-4)). Sort -4, 6, x in descending order.
6, -4, x
Suppose 0 = -4*x - 18 + 2. Sort -3, 1, x, -6 in descending order.
1, -3, x, -6
Let b(i) = i**2 - 7*i + 7. Let n be b(5). Let d = -8105/9 + 901. Put -1, d, n, -1/8 in decreasing order.
d, -1/8, -1, n
Suppose 0*w + 11 = w. Let m = w + -11. Suppose -8*l + 6*l = -4. Put m, -5, l in descending order.
l, m, -5
Let i = 0.5 - 0.3. Suppose 3*j - 2*j - 44 = -5*l, -4*j = -2*l. Suppose 7*n + r = l*n + 8, -n - r = 0. Put n, -0.12, i in ascending order.
n, -0.12, i
Let g = 155 - 151. Put 0, 1, g, -3 in decreasing order.
g, 1, 0, -3
Let k(f) = 2*f**2 + 74*f + 268. Let l be k(-4). Suppose 0 = h + 4*a - 3*a - 19, -2*h + 2*a = -38. Sort -1, l, h in increasing order.
-1, l, h
Let r be (2 - -2)*(3 + -2). Suppose 2*v = -2*x, 5*v + 0*x = r*x - 27. Put 3, v, 0 in ascending order.
v, 0, 3
Let x = -1 + 5.9. Let w = x + 1.1. Suppose -g - 4 = -4*g + 2*m, -2*g = -m - 4. Sort w, g, -4 in decreasing order.
w, g, -4
Let l(i) = -i - 5. Let d be l(-5). Suppose 0 = 5*k + 5, 4*r + 16 = -5*k + 3. Put d, 3, r in ascending order.
r, d, 3
Suppose 0 = 22*c + 50*c + 8 + 352. Suppose 2*j = 6*j + 2*p + 18, 3*j + 5*p = -17. Put -3, -1, c, j in descending order.
-1, -3, j, c
Let d(n) = -n**2 + 3*n - 1. Let s be d(2). Suppose -8*w - 300 = -292. Put s, w, 3 in increasing order.
w, s, 3
Suppose 3*r = q - 18, -2*q + 2 - 1 = r. Put -3, 0, r, 2 in decreasing order.
2, 0, -3, r
Suppose 0 = 37*t + 55 + 315. Put -11, -1, 0, t in ascending order.
-11, t, -1, 0
Suppose 27 = 3*m + 4*t - 37, t = -4*m + 68. Let q = 3 - -1. Suppose -4*n - 3*y + 5*y - 16 = 0, 0 = -q*n - 3*y - m. Sort -3, 4, n.
n, -3, 4
Let j = -150 - -152. Suppose 3*l + 2 + 4 = k, -j*l - k = 9. Let y be 7/2 - 2/(-4). Sort y, l, -2 in decreasing order.
y, -2, l
Let d = 22/5 + -39/10. Let a be ((-5)/2)/(3/(-2)). Put a, 2/7, d in decreasing order.
a, d, 2/7
Let v = -115.95 - -116. Sort 0.2, 1/4, v, -5 in ascending order.
-5, v, 0.2, 1/4
Suppose -4*p + 4*g = 9*g - 43, -3*g = 3*p - 30. Let r be 0 - -1 - 2 - 79. Let s be 2/7 