t j = z + 0.16. Put j, -4, 3 in increasing order.
-4, j, 3
Let k = 4541/4 + -1135. Put -0.127, 4, -1/3, k in descending order.
4, k, -0.127, -1/3
Let d = -194 + 202. Put d, -4, -3 in decreasing order.
d, -3, -4
Let w(z) = -z**3 + 14*z**2 - 13*z. Let i be w(13). Sort -3, i, 4, -7 in descending order.
4, i, -3, -7
Let r be ((-20)/(-30))/(4/18). Suppose -3*q - r = w, 4*q + 2 + 3 = -w. Suppose -w*s - 4 = -5*s. Put s, -5, 6 in ascending order.
-5, s, 6
Let i = 2/9 + -7/72. Put 1/6, i, -65 in decreasing order.
1/6, i, -65
Let j = 802 - 802. Sort 2, -4, j, 4 in ascending order.
-4, j, 2, 4
Let k = -29.9 + 29. Let x = 0.6 + k. Let v = 3 - 4. Put x, 5, v in decreasing order.
5, x, v
Let i = -64 - 29. Let b = 93.2 + i. Put 1, b, 4 in decreasing order.
4, 1, b
Let c = -747 - -23153/31. Put c, 0.3, 4 in descending order.
4, 0.3, c
Let r = -6 - -12.8. Let p = 7 - r. Let w = -24 + 23.7. Sort w, p, 0 in decreasing order.
p, 0, w
Let t = 3725 - 3725.4. Let u = 0.4 + 0.4. Let o = u + -1. Put t, o, -5 in decreasing order.
o, t, -5
Suppose -5*c - v = 2*v - 15, -2*c = -2*v - 22. Put c, 0.1, -0.2, -5/2 in increasing order.
-5/2, -0.2, 0.1, c
Let a(f) = -6*f - 4 - f**2 + 8 - 7. Let j be a(-5). Suppose -2*k - 15 = -21. Sort 4, k, j in ascending order.
j, k, 4
Let r be (1 + -4)*(-3 - -3 - 1). Let s be (-84)/21 + r*1. Sort -1/2, s, 0.02, 3 in descending order.
3, 0.02, -1/2, s
Let s = -34 + 30. Put 4, s, -1, -6 in increasing order.
-6, s, -1, 4
Let t(q) = q**3 + 11*q**2 + 13*q + 4. Let x be t(-9). Let o = x + -47. Sort 5, o, -3, -10 in descending order.
5, o, -3, -10
Suppose 2 - 5 = 3*n. Sort n, 4, 5.
n, 4, 5
Suppose 25 = 3*d - 5*k, -8*d = -9*d - 3*k - 15. Suppose 3*u + 3*x - 1 = 5*x, -2*x = -2. Sort u, 5, d.
d, u, 5
Let u = 7503 - 7499. Let y = 5 - 0. Put y, -1, u, 2 in descending order.
y, u, 2, -1
Suppose 12 = 28*f - 22*f. Let w = 5 + -3. Suppose k + p + 2 = 0, 2*k + f*p = -w*p - 8. Sort -5, k, -4 in increasing order.
-5, -4, k
Let v(g) = g**3 + g**2 - 3*g - 2. Suppose -5*n = -7 - 33. Suppose -4*k = -0*k + n. Let p be v(k). Put p, 3/7, 0.6 in increasing order.
p, 3/7, 0.6
Let k = -2 + 1. Let h = 15105/60452 - -2/15113. Sort h, 0.05, -2/7, k in decreasing order.
h, 0.05, -2/7, k
Let o be 1/(-2)*(-69 - -59). Sort 36, o, -2, 4.
-2, 4, o, 36
Let y = -58 - -57. Let w = -5 + 2. Put 3, y, w in decreasing order.
3, y, w
Let z = 8 - 4. Suppose -94 + 136 = 3*s. Suppose -s = -2*v - 16. Put 3, v, z in decreasing order.
z, 3, v
Suppose 0 = -2*u + 5*w + 31, -12 - 6 = -u + 3*w. Suppose u*n = 4 - 13. Sort 0, n, 2 in ascending order.
n, 0, 2
Let s be (-40)/(-24) + ((-8)/12)/(-2). Suppose -3 = -3*v - 0. Suppose -2*p + 6 = 5*l + 19, l + 8 = 5*p. Sort v, l, s in descending order.
s, v, l
Suppose -6 + 3 = -y. Let m = -1 - -2. Suppose 3 - m = 2*c. Sort y, c, -3 in descending order.
y, c, -3
Let t = 334/63 + -34/7. Sort -15, 0.1, t.
-15, 0.1, t
Let x be (-16)/(-4) + (0 + 4)/1. Sort -6, 1, x.
-6, 1, x
Let c = 58.94 - 59. Let j = 33.7 - 34. Sort -1/9, c, j in decreasing order.
c, -1/9, j
Let g be 3/(-21)*3 - (-380)/266. Put 0.31, g, -6 in descending order.
g, 0.31, -6
Let f = 15.27 + -10.27. Let w = -11 - -18. Let n = w + -5. Put n, f, 0 in decreasing order.
f, n, 0
Let r = 13 + -8. Suppose 2*q - q - 2*x = 0, -4*q + r*x = 0. Let u(s) = 3*s**2 - 22*s + 37. Let v be u(2). Put v, q, 4 in decreasing order.
v, 4, q
Suppose 15 = 5*p + i - 3*i, -2*i = 3*p - 25. Suppose o = -3*o - 20, -15 = p*b - o. Let n(d) = d - 1. Let m be n(b). Sort m, 0, -4 in descending order.
0, -4, m
Let z = -48.7 - 2.1. Let g = z + 51. Suppose -9 + 1 = 2*x. Put g, 1/3, x in decreasing order.
1/3, g, x
Suppose v = -g + 6, -21 = -v + 6*g - 10*g. Sort -4, v, 9 in increasing order.
-4, v, 9
Let g(c) = 19*c - 19 - 11*c - 7*c. Let a be g(19). Sort 15, 4, a in increasing order.
a, 4, 15
Let i(f) = f**2 + 15*f + 58. Let d be i(-6). Put 0, d, -135, -1 in descending order.
d, 0, -1, -135
Let q be 8/3*27/18. Let p = -836 + 826. Sort -1/3, p, q.
p, -1/3, q
Let x(j) = -3*j**3 + j**2 + 2*j + 1. Let d be x(-1). Suppose -2 = -2*t - d*b, 0 = 4*b - 0*b - 16. Suppose 5*q = 11*q + 6. Sort t, q, 2.
t, q, 2
Suppose 2*q - x - 17 = 0, 3*q - 3*x - 21 = -0. Suppose -4*s + 0*i = -2*i, -4*s - 4*i - 12 = 0. Sort 5, q, s, 4 in ascending order.
s, 4, 5, q
Let m = 9.7 + -9.5. Sort -2/155, m, 0.3, -2.
-2, -2/155, m, 0.3
Let g = -1061.7 + 1062. Sort 10, 3, -5/4, g in decreasing order.
10, 3, g, -5/4
Let y = -0.5 - 3.5. Let g = 311 + -317. Put y, g, 3/2, -1 in descending order.
3/2, -1, y, g
Suppose -3*b + 2*b - 3 = 0. Let n = 13541 + -13537. Sort b, -2, n, 2 in descending order.
n, 2, -2, b
Let i(v) = -v**2 + 11*v - 13. Let c be i(10). Sort 1, 4, c, -5.
-5, c, 1, 4
Let g = -501 - -742. Sort -2, g, -1 in descending order.
g, -1, -2
Let q = 3 - 1. Let r be 9/(-27) + (-8)/(-6). Sort 6, q, r.
r, q, 6
Let j = 0.209 - 0.409. Let c = 0.7 - 0.76. Sort 2/3, c, j.
j, c, 2/3
Let g = -4 - -1. Let b = 0.107 + -2.107. Let a = -5 + 4.7. Sort a, g, b.
g, b, a
Let j = -176 + 175. Sort 5, j, -2, -2/15 in descending order.
5, -2/15, j, -2
Let m = -2091 - -1955. Sort m, 1, -3.
m, -3, 1
Let k = 2 + -7. Let r = -160.6 + 161. Put r, -2, k, 0.3 in descending order.
r, 0.3, -2, k
Let b be 16/3 + (-4)/12. Let d be 2/b*(-2)/(-4). Suppose -4*o = o - 2*z + 31, -33 = 5*o - z. Put 0, o, d in descending order.
d, 0, o
Let k be (-1 - -55)*16/160. Put 3/4, k, 4, -2 in increasing order.
-2, 3/4, 4, k
Suppose -2*l + l = -3. Let y be (1 + (2 - l))/2. Let r be -3 + 1 + (-2 - y). Sort r, -3, 0.
r, -3, 0
Let l(y) be the second derivative of y**3 + y**2 - 3*y. Let m be l(-1). Put -1/8, m, 3 in increasing order.
m, -1/8, 3
Let w = -114/5 + 23. Let p = 0.3 - 0.8. Sort p, w, 0.15 in descending order.
w, 0.15, p
Let a(m) = 62*m - 79. Let y be a(3). Sort y, -3, -1 in decreasing order.
y, -1, -3
Suppose -2*i = -i - 57. Let s = 32 - i. Let v = s - -20. Sort -1, v, 3.
v, -1, 3
Let h = 1039 - 1034. Put 54, 4, h, -4 in increasing order.
-4, 4, h, 54
Let a(i) = i - 2*i + 4 - i. Let c be a(4). Let s = 1633 - 1632. Sort -1, c, s.
c, -1, s
Suppose -3*b = -b + 5*y - 68, 4*b - 100 = -y. Let d = 34 - b. Put 3, 4, d in descending order.
d, 4, 3
Suppose 0 = 6*d - 2 + 2. Suppose -2*v + 4 = d, 11 = -c + 5*v - 1. Sort -10, c, 2.
-10, c, 2
Let t be (7 + -3)/4 - 9. Let m = t - -3. Let h = 1 - -3. Put 3, h, m in decreasing order.
h, 3, m
Let q = 2493 - 2489. Sort -2, -32, -6, q.
-32, -6, -2, q
Let r = 21.976 + 0.024. Let u = -0.025 + -24.975. Let y = u + r. Sort y, -1, -2 in decreasing order.
-1, -2, y
Suppose 0 = -4*i + 27 - 7. Sort -2, i, -57.
-57, -2, i
Let f = 2 + -1. Let a be 176/(-99) - 8/36. Sort f, -1, a in decreasing order.
f, -1, a
Suppose -9*x + 14*x = 105. Sort -4, x, 4 in increasing order.
-4, 4, x
Let a = -2426 - -2426.3. Sort 14, a, -1/14.
-1/14, a, 14
Let o = 2 + 1. Put o, 8, 4, 5 in decreasing order.
8, 5, 4, o
Let i be (-34)/12 + 2/(-4). Let b = -7622 - -7622.4. Sort i, b, 2, -3/7 in increasing order.
i, -3/7, b, 2
Let l(m) = 4*m**2 - 9*m + 4. Let y(d) = -9*d**2 + 19*d - 9. Let i(s) = 7*l(s) + 3*y(s). Let b(t) be the first derivative of i(t). Let a be b(5). Sort 3, 5, a.
3, a, 5
Let m = 20 - 21. Let w be 0 - 1/(-2) - (-63)/42. Sort -3, -5, w, m in ascending order.
-5, -3, m, w
Let k = 0.08 - 0.13. Let t = k - -0.05. Let n = 0.2 - t. Put n, 1, -2/9 in descending order.
1, n, -2/9
Suppose 0 = 3*z - 8*h + 4*h + 53, 2*h - 64 = 4*z. Sort z, -2/3, 3 in increasing order.
z, -2/3, 3
Let q = -1381.2 - -1381. Put -15, 0.3, -8, q in increasing order.
-15, -8, q, 0.3
Let g = 16.4 + -2.4. Let w = -12.7 + g. Sort -0.1, 3, -4, w in ascending order.
-4, -0.1, w, 3
Suppose -t = -5, -13*r - 3*t = -16*r - 57. Sort 1, r, 2, 0 in ascending order.
r, 0, 1, 2
Suppose -24 = -81*h + 57*h. Let r = 17 + -10. Sort r, h, 2.
h, 2, r
Let p = -2 - -2. Suppose -z = 3*s + 5, 5*s = -2*z + 7*z + 5. Sort 1, p, s in decreasing order.
1, p, s
Let b(v) = -v**2 - 8*v. Let w be b(-5). Suppose -5*y + 0 = -w. Let o be 3 + 6*y/(-6). Sort o, -8, -3 in increasing order.
-8, -3, o
Suppose g - f = 6, -10 = -6*g + g + f. Suppose 2*u + z - 1 = 0, -4*z + z = u + 7. Sort 5, g, u in decreasing order.
5, u, g
Let r = 284 + -284.3. Put 6, r, 0.09 in decreasing order.
6, 0.09, r
Let m(x) = -2*x - 70. Let o be m(-29). Sort -3, o, 6 in increasing order.
o