1
Let x = -1 + 2. Let s(m) = -6*m + 4. Let a(o) = 13*o - 9. Let r(k) = -3*a(k) - 7*s(k). Let y be r(x). Put -2, -3, y in ascending order.
-3, -2, y
Let g(x) = 4*x - 7. Let u be g(3). Sort u, 4, -2, -4 in ascending order.
-4, -2, 4, u
Suppose -5*w = -7*k + 4*k, -5*w = -k. Let v be (-2)/(-9) + 11/(-9). Put v, k, 4 in descending order.
4, k, v
Let o = 0.25 + 0.05. Let n = o + -1.3. Sort 0.02, n, 4/9.
n, 0.02, 4/9
Let u = -1 - -2. Let j = u - 1.5. Let s be ((-2)/(-15))/(6/10). Put 1, j, s in decreasing order.
1, s, j
Let l(h) = 3*h - 2. Let b be l(2). Suppose -6 = b*a + 10. Sort -1, a, 3 in ascending order.
a, -1, 3
Let u be (16/24)/(11/3). Put u, 4, -0.3 in descending order.
4, u, -0.3
Let z(m) be the first derivative of -m**2/2 + 11*m - 1. Let n be z(8). Put 2, n, -1 in decreasing order.
n, 2, -1
Let f = -10201/6 + 1728. Let t = f + -28. Sort -0.2, 3, t in decreasing order.
3, t, -0.2
Let w = 13 - 16. Sort w, -1, 1 in descending order.
1, -1, w
Let s(z) = z**2 - 7*z + 9. Let o be s(2). Let v = 1 + -5. Sort o, v, 4 in descending order.
4, o, v
Let y = 0.1 - -0.1. Let p(r) be the second derivative of -r**4/12 + 2*r**3/3 - r**2 + 2*r. Let q be p(3). Put q, -1, y in increasing order.
-1, y, q
Suppose 5*f + 30 - 95 = 0. Let g = 10 - f. Put -5, g, 5 in ascending order.
-5, g, 5
Let j = 0.5 + 0.1. Let m = 2.7 - 3. Let f = j + m. Sort f, 0.5, -1/3 in decreasing order.
0.5, f, -1/3
Suppose -13*n = -17*n + 20. Suppose 0 = 2*q + 4*f + 22, -3*f + 0*f - 24 = 4*q. Put 4, n, q in increasing order.
q, 4, n
Let n(l) = -l - 6. Let k be n(-6). Suppose -j - 1 + 3 = 3*m, 5*m - 3*j + 6 = k. Put m, -5, 5 in decreasing order.
5, m, -5
Suppose 0 = -4*j - 9 + 1. Suppose 5*d - 4*c = -28, d + 0*d + 4*c = 4. Put d, 0, j in ascending order.
d, j, 0
Let r = 34 + -27. Let m be r/(-60) - 5/(-20). Sort 0, m, -2/7.
-2/7, 0, m
Suppose -2*i = -5*p + 44, i - 1 + 20 = 4*p. Let n be (-6)/i*6/4. Let a = -0.03 + -2.97. Put n, -0.1, a in decreasing order.
n, -0.1, a
Let o(f) = f**2 - 8*f + 5. Let s = 11 - -9. Let l = s - 13. Let d be o(l). Sort -0.1, -1/4, d in ascending order.
d, -1/4, -0.1
Let z = 0.16 - 0.06. Suppose -5*g - 3 = -4*g + t, -5*g = 2*t + 12. Sort -0.07, z, g in decreasing order.
z, -0.07, g
Let x(h) = h + 5. Let k be x(-4). Suppose 5*u = l + 9, -l = -0 - k. Sort 0, 3, u.
0, u, 3
Suppose -n - 3 + 9 = 0. Let u = 7 - n. Put u, -2, -1 in increasing order.
-2, -1, u
Let w = -1 - -2. Let a(l) = -w + 6 - l - 14. Let k be a(-7). Put 4, 2, k in ascending order.
k, 2, 4
Let m = 2 - 2. Suppose m = -5*w + w. Put 5, -2, w in increasing order.
-2, w, 5
Let c = -9 - -19/2. Let m = -6.3 + 6. Sort m, c, -0.1.
m, -0.1, c
Let f = 30 + -31. Let s = -0.2 + 0. Sort s, -3, f in decreasing order.
s, f, -3
Let o = 16 - 17. Put o, 2, 5 in increasing order.
o, 2, 5
Let q = -4.9 - -0.9. Put -2/19, q, -5 in decreasing order.
-2/19, q, -5
Let h = 26 - 21. Put h, -4, 1 in increasing order.
-4, 1, h
Let p(w) = w**2 + 4. Let u be p(0). Let k = 0.11 - 0.51. Sort u, k, 2 in ascending order.
k, 2, u
Let n be 10/(8/(-4) + 0). Sort 13, 5, n in decreasing order.
13, 5, n
Suppose -2*r = q + 2*q - 6, 0 = -5*q - 5*r + 10. Put -1/6, 3, q in descending order.
3, q, -1/6
Let w = -0.21 + -7.79. Let a = w + 8.5. Sort a, 4/7, 1/3.
1/3, a, 4/7
Let o be 2 + 6/(1 - -2). Let c = -4 + o. Let u = -4.99 - 0.01. Sort u, c, -0.1.
u, -0.1, c
Suppose -5 - 5 = -2*f. Suppose -1 = -2*l + f. Suppose -2*i - l = 1. Put 1, i, 0 in ascending order.
i, 0, 1
Let u = -32.3 - -32. Put 4, u, -2/3 in increasing order.
-2/3, u, 4
Let h be -6*1*2/4. Suppose -3 = 3*z - 12. Suppose 2*j - 1 = -z. Sort j, h, 2 in ascending order.
h, j, 2
Suppose 6 + 2 = -4*j, l = -3*j - 4. Suppose 3*z = 0, t - 4*z + 2*z = -2. Put t, -5, l in decreasing order.
l, t, -5
Let i be 10/(-6)*(-12)/(-30). Sort -0.5, 3, i in increasing order.
i, -0.5, 3
Suppose -w = y + 2*y + 12, -4*w = -y + 9. Put 0.4, w, -0.5 in descending order.
0.4, -0.5, w
Let b = 14 + -10. Let i = 0 + b. Let u(z) = z**2 - 4*z + 1. Let g be u(3). Put i, g, -4 in ascending order.
-4, g, i
Let f = 5 + -4.6. Put -4, f, 0 in descending order.
f, 0, -4
Suppose 3*o + 7 - 37 = -3*s, 0 = -4*s + 20. Sort 0, -6, -1, o in decreasing order.
o, 0, -1, -6
Let x be (-14)/21*(-18)/4. Put x, -0.3, 0.1, 1/4 in increasing order.
-0.3, 0.1, 1/4, x
Let h(k) = -k**2 + 10*k + 55. Let g be h(-4). Sort 2, g, 4, -8.
-8, g, 2, 4
Let n = -3.44 - 0.26. Let k = n - -4. Put 0.4, k, -3 in decreasing order.
0.4, k, -3
Suppose 3*c - 2 + 5 = 0. Suppose t = -2*y - y + 4, -4*y + 2 = -2*t. Sort c, y, -3.
-3, c, y
Suppose 0 = 2*u - 4*u. Put 3, -2, u in ascending order.
-2, u, 3
Let n = 2 + -3. Let a be (-1 - (1 + n))/1. Let t be 1/2 - (-1)/2. Sort 2, a, t in descending order.
2, t, a
Suppose -1 = 2*h + 2*r - 3, -3*r = -h + 13. Suppose l = 5*z + 10, h*z = -0*l + 2*l - 14. Suppose 3*t - 4*t - 3 = 0. Sort l, t, -8 in descending order.
l, t, -8
Let l = -0.06 - 18.94. Put -0.3, l, -3 in increasing order.
l, -3, -0.3
Let n = 0.3 + -0.2. Let f = n + 3.9. Let a be 6/(2 - (0 - 0)). Sort a, -4, f in decreasing order.
f, a, -4
Let s = 21 - 21. Suppose -3*a + 7*a - x + 12 = s, x - 6 = 2*a. Put a, 3, -4 in decreasing order.
3, a, -4
Let g be (1/1)/(7/(-21)). Sort -1, g, -2, 6 in decreasing order.
6, -1, -2, g
Let q(h) = -h + 4. Let a be q(4). Let l be 2 + (-2 - a/3). Suppose -2*t = 3*t + 20. Sort t, l, -2 in increasing order.
t, -2, l
Suppose -4*g - u = -10, 4*g + 4*u = -0*g + 4. Let j be ((-3)/(-6))/1*0. Sort j, 2, g in increasing order.
j, 2, g
Suppose 3*l - 20 = 5*b, 0 = b + 8 - 7. Suppose -4*z - 3 = 13. Sort 15, l, z in ascending order.
z, l, 15
Let n be 2*(-10)/4*-2. Suppose n = m + m. Let b(y) = -y**2 + 4. Let w be b(-3). Sort 2, m, w in increasing order.
w, 2, m
Let r(n) = -n**3 - 3*n**2 + 3*n - 5. Let y be r(-4). Sort 2, y, 4 in decreasing order.
4, 2, y
Let g = -0.119 + 0.019. Sort 7, -0.5, g in increasing order.
-0.5, g, 7
Let n = -13 - -32. Put 5, 1, n in descending order.
n, 5, 1
Suppose 10 + 12 = 11*b. Sort 24, 1, b in decreasing order.
24, b, 1
Let k(s) = -s - 3. Let z be k(-4). Suppose -2*w + 19 + 1 = -4*t, -w + 5 = -t. Sort z, t, -4 in descending order.
z, -4, t
Let c = 0 + -2. Let i = -1.5 - c. Let v = 16 + -15. Sort v, -0.2, i.
-0.2, i, v
Suppose 0 = -u - 11 - 30. Let s = u - -21. Let b be ((-6)/(-5))/(6/s). Sort 1, 5, b in decreasing order.
5, 1, b
Let f = -3.2 - -2.2. Suppose 0 = 4*g - 7 - 9. Suppose 3*r + 3*x = 3, -g*x + 15 = -x. Put f, -1/2, r in increasing order.
r, f, -1/2
Let z(i) = i + 6. Let p be z(-5). Let s be 13*(2 - 1)*p. Suppose -2*l + s - 3 = 0. Put l, -2, 2 in increasing order.
-2, 2, l
Suppose 2*k + 0*k = 6. Suppose k*u - 10 = w + 1, -5*w = -5. Let h = -1 + 0. Sort u, 5, h in ascending order.
h, u, 5
Let i = -37 + 261/7. Let q = 0.45 - 0.05. Let r = -1.2 + 0.7. Put r, i, q in decreasing order.
q, i, r
Let r be (-2)/(-4)*(-20)/5 - -6. Suppose -3*p - 10 = -2*v - 1, 2*v - 5*p - 19 = 0. Put v, r, 8 in decreasing order.
8, r, v
Suppose 2*p + 2*p - 20 = 0. Suppose 0 = v + 2 + 30. Let r = v - -97/3. Sort p, -2/11, r in increasing order.
-2/11, r, p
Let n(y) = -y. Let h be n(-5). Let a = 27 + -21. Let m = a + -6.3. Put 2, h, m in decreasing order.
h, 2, m
Let t = -9 - -13. Suppose 5 + 7 = 2*v. Suppose -2*j + 3*l - 14 = -v, 14 = -j + 4*l. Sort j, t, -4 in descending order.
t, j, -4
Suppose -5*i = -i + 5*d + 11, -3*i + 4*d = 16. Let f(t) = t - 6. Let l be f(6). Put i, l, 1 in decreasing order.
1, l, i
Let y(g) = g**2 - 9*g + 8. Let q be y(7). Let a be 2/q - (-40)/72. Sort a, -1, -2/3 in decreasing order.
a, -2/3, -1
Let t be (-1)/(-2 + 1)*0. Sort t, -2, 1, -1.
-2, -1, t, 1
Let s(g) = g + 15. Let h be s(-12). Let x(u) = u**3 - 5*u**2 + 6*u - 5. Let a be x(h). Put -9, a, 3 in decreasing order.
3, a, -9
Let g be (-3 - -1) + (-8)/3. Let a = g + 44/9. Let n be 88/(-46) + 1 - -1. Sort a, n, -0.5 in increasing order.
-0.5, n, a
Let q = 0 + 0. Suppose 5*k = 4*k + 2. Let u be 1 - (-2 + k) - 3. Sort u, q, -5 in decreasing order.
q, u, -5
Let n(u) = 17*u**2 - u. Let w be n(1). Sort -1, w, 3, -3/4 in increasing order.
-1, -3/4, 3, w
Let s = 17 + -17. Let l = 1.95 - -0.05. Let h = -3 + 3.1. Put s, h, l in descending order.
l, h, s
Suppose -4*w + 8 + 8 = 0. Suppose w = 3*k - 11. Let r be (12/54)/(2/18). Sort r, k, -2.
-2, r, k
Let v(s) = 