7 + -3. Sort 3, u, h in ascending order.
u, 3, h
Suppose 0 = -24*z + 27*z + 12. Let x = 11 - 6. Sort x, 0, z, 1 in decreasing order.
x, 1, 0, z
Suppose 15 = 3*m, 3*v - 3*m = -8*m + 43. Suppose -v*d = -d - 10. Sort 4, 9, d in descending order.
9, 4, d
Suppose 5*i - 5 = 5*r, -1 = 4*i - i + r. Sort 61, i, 5 in increasing order.
i, 5, 61
Suppose 5*p = -5*r, 4*p + 0*p = -5*r - 4. Put p, 1, -1 in increasing order.
-1, 1, p
Let u = -4.792 - 0.208. Sort -2, 4, 0.6, u in descending order.
4, 0.6, -2, u
Suppose -1 = d, 3*j + 5*d + 9 = 4*j. Let o = -6 + 1. Let w(y) = -3*y**2 + 48*y - 48. Let f be w(15). Sort j, f, o in increasing order.
o, f, j
Let g = -13 + 7. Let y be (-36)/(-18)*(g/4 + 2). Sort 15, -1, y.
-1, y, 15
Let z = -91 - -94. Let r be (z - (-28)/(-16))/((-3)/(-12)). Put r, -5, 12 in descending order.
12, r, -5
Let j = -186 - -192. Let m be (-4)/((-4)/3) + 3. Let y(d) = -d + 7. Let u be y(m). Put 0.1, j, u in decreasing order.
j, u, 0.1
Let q = -2 - 2. Let r be 33/(-22) + (-31)/(-2). Let u(n) = -n**2 + 16*n - 33. Let t be u(r). Put q, 4, t in decreasing order.
4, q, t
Let g = 474 + -465. Sort 2, 4, g in decreasing order.
g, 4, 2
Let g = 19 + -19.2. Let l = 0.02 - -0.98. Sort l, 0.06, g.
g, 0.06, l
Let u = 599 - 598.4. Let x = -0.9 - -3.9. Put x, 2/7, u in ascending order.
2/7, u, x
Let z = 203 - 209. Let q be (-44)/10 - (-4)/10. Sort 0, 2, q, z in decreasing order.
2, 0, q, z
Suppose 14 = 5*f - 3*m + 2, f = -2*m + 5. Suppose -5*y - 29 + 4 = 3*k, 4*k = -y - 22. Sort f, k, -11.
-11, k, f
Let u = 0.5 - 0.4. Let m = 3.019 + -0.019. Sort u, m, 5 in ascending order.
u, m, 5
Let w(v) = 17 + 3 - 12*v**2 + v**3 - 55*v + 64*v. Let m be w(11). Sort 2, m, 4 in decreasing order.
4, 2, m
Let x be -3 + (-48)/84*(-21)/(-6). Put x, 4, 3 in descending order.
4, 3, x
Let a = 0.354 + 0.036. Let r = -0.09 + a. Let f = 0.2 + 0.2. Sort -5, f, r in ascending order.
-5, r, f
Let j be (-9)/(-6)*(-2)/3. Suppose -3 + 6 = -n. Let u = 3366 + -3363. Sort j, n, u in ascending order.
n, j, u
Let x be (1 + -3)*(-3)/4. Let y = 54 + -53.27. Let h = 1.03 - y. Put x, -4, h in decreasing order.
x, h, -4
Suppose 5*t = -l - 12, -3*t + l + 0*l - 12 = 0. Suppose 3*h + 3*k - 1 = 2*h, 5*k = -4*h + 18. Let s be (-4 + h)/((-3)/2). Sort t, s, 0.5 in decreasing order.
0.5, s, t
Suppose -14*k + 11 = -15*k. Let l(s) = -s**2 - 12*s - 13. Let u be l(k). Sort 6, u, 3 in increasing order.
u, 3, 6
Let x(t) = 2*t**2 - t - 2. Let v be x(2). Suppose m = 4*m + v*c + 46, -5*m - 42 = -2*c. Sort m, 1, -5 in ascending order.
m, -5, 1
Let k(o) = -o - 8. Let m(p) = -2*p - 17. Let h(t) = -5*k(t) + 2*m(t). Let g be h(-8). Suppose 0*f + f = 3. Sort -4, f, g.
-4, g, f
Let d be (13 - 13)/(3 - 1). Suppose 2*o + 2*z + d*z = 10, -5*o = -z - 7. Sort -3, 1, o in ascending order.
-3, 1, o
Let s = -4 + 4. Let a(t) = 3*t + 2. Let n be a(s). Sort -4, n, -1.
-4, -1, n
Let f(y) = -4*y**3 + 14*y**2 - 11*y + 15. Let a(c) = 3*c**3 - 14*c**2 + 12*c - 16. Let x(w) = 3*a(w) + 2*f(w). Let v be x(13). Put 7, 3, v in decreasing order.
7, 3, v
Suppose u = 5*u + 4. Let k(l) = -l**3 - 7*l**2. Let p be k(-7). Let b be (-9)/(-5) + 12/(-15). Put b, p, u in decreasing order.
b, p, u
Suppose -13*c - r + 468 = -8*c, 5*c + 3*r = 464. Sort c, -1, -3, 4 in increasing order.
-3, -1, 4, c
Let q(l) = -l**3 + 6*l**2 - 3*l - 5. Let n be q(5). Let t be -8 + (15 - 6) - (-1)/1. Put n, t, -1 in decreasing order.
n, t, -1
Suppose 0 = -3*r, -4*g - 3*r + 8 = -3*g. Suppose b = 4*q - b - g, -4*q = -3*b - 8. Put -1/7, -3/7, -2, q in decreasing order.
q, -1/7, -3/7, -2
Let f(p) = p**3 + 2*p - 1. Let r be f(2). Let d be 5/r*2/5. Let m = 1139 + -1139. Sort d, m, 1 in descending order.
1, d, m
Suppose 0 = f - 4*m + 5*m - 8, 8 = 2*f + 4*m. Suppose -5*p + 8 = -f. Suppose -3*x - 3*q = -6*q + 15, -20 = -p*q. Sort 3, 2, x in ascending order.
x, 2, 3
Let j(g) be the first derivative of g**4/4 - 8*g**3/3 + 7*g**2 - 8*g + 5. Let k be j(7). Put 0.4, k, 0.3 in increasing order.
0.3, 0.4, k
Let o be 5 - (0 - 1) - 3. Suppose -h = -o*h + 8. Sort -4, 1, h in decreasing order.
h, 1, -4
Let c = 0.127 + -0.598. Let y = c - 0.029. Suppose 2*s - 10 = 0, -23 = -w + s - 5*s. Sort y, 5, w in descending order.
5, w, y
Let p = 5.09 - 0.09. Let o(x) = -4*x**2 - x + 55. Let w be o(-4). Let q = 3 - 3. Sort w, q, p.
w, q, p
Let x(u) = u**2 + 7*u + 9. Let i be x(-6). Suppose -8 + i = -5*h. Let y = 134.8 - 139.8. Put y, -3, h in descending order.
h, -3, y
Let t = -28 - -49. Suppose -100 = 5*k - 9*k. Let h = k - t. Put -1/2, h, -4 in descending order.
h, -1/2, -4
Let t = -1164 - -1171. Sort 3, -2, t in decreasing order.
t, 3, -2
Suppose h - 2*h - 10 = 0. Let o(i) be the first derivative of i**2/2 + 11*i + 13. Let c be o(h). Sort c, 9, -5.
-5, c, 9
Let h = -8 + 6. Let p be ((-6)/(-4))/((-9)/(-24)). Let x = p - 4. Sort h, -3, x in decreasing order.
x, h, -3
Let t be (-16)/(-96)*2472/4. Sort -5, t, -2 in descending order.
t, -2, -5
Let s be (3/2)/((-1)/2) - -8. Let k = 1.6 - 2. Put s, -5, k, -4 in descending order.
s, k, -4, -5
Let v be -18*(-4 - (-290)/75) - 2. Sort -2, -0.1, 0.1, v.
-2, -0.1, 0.1, v
Let r = 4.5 + 0.5. Let f be (-1)/(-12)*6 + 44/(-56). Put r, -2/15, f in increasing order.
f, -2/15, r
Suppose -63 = -4*c - 71. Suppose -k - 2 - 1 = 0. Sort k, c, -5 in decreasing order.
c, k, -5
Let g(i) = 16*i + 12*i + 21 - 41*i + 12*i. Let b(f) = -5*f + 2. Let c be b(-3). Let n be g(c). Put n, -5, 3 in descending order.
n, 3, -5
Let v = -0.136 - -0.136. Sort v, -10, 5.
-10, v, 5
Suppose -2*f + 114 = 118. Let h be (-3)/(-1) - (-16 - -16). Sort h, -5, 0, f in increasing order.
-5, f, 0, h
Let m be 56/448 + 89/(-8). Let c = -5 + 1. Put m, c, 1 in increasing order.
m, c, 1
Let w be (6*-1 - 0) + -4. Let a be (1/(-2))/(4/(-80)). Let d = a + w. Sort 5, 3/5, d in decreasing order.
5, 3/5, d
Suppose 0 = -2*w + 2 - 48. Let c = w + 12. Sort 5, c, 4 in descending order.
5, 4, c
Suppose -4*k + z + 132 = 0, 3*k + z + 4*z = 122. Let q = k + -32. Let y = -30 - -23. Sort 0, y, q in descending order.
q, 0, y
Suppose -3*l + 26 + 49 = 0. Suppose -4*j = j - l. Suppose -4*i = 3*w - 6*w - 10, -3*w - i = -10. Sort j, -0.7, w in descending order.
j, w, -0.7
Let x = 30 + -28. Suppose 0 = -2*g + 2*z + 6, -12 = 4*g - x*z + 4*z. Put -5, -4, g in ascending order.
-5, -4, g
Let l be (-3)/15 - 110/(-50). Suppose l*m = -0*m + 2. Sort 2, -3, m.
-3, m, 2
Let d be 20 + (-15)/(1 - -2). Suppose -o + 0 = -3, -4*r = -4*o. Sort r, d, -3.
-3, r, d
Let x(h) = 3*h + 33. Let z be x(-13). Let a be (4/10)/((-4)/20). Sort -0.4, a, z in ascending order.
z, a, -0.4
Let l = -5 - -8. Suppose 41*x - 5 = 40*x. Suppose 30 = -x*n + 5*i, 4*n - 2*i + 6 = -4*i. Put 4, n, l in decreasing order.
4, l, n
Let v = -6 + 6. Suppose v = 2*m + 3*f - 6, 0 = -m - f - 0*f + 3. Let q be 1*-2 + 32/16. Put q, 1, m in ascending order.
q, 1, m
Suppose 22*c + 24 = 16*c. Sort 5, -11, c, 1 in descending order.
5, 1, c, -11
Let n = -8.85 - -0.15. Let r = 5.7 + n. Sort -12/5, r, 0.1.
r, -12/5, 0.1
Let u(q) = -q + 13. Let m be u(12). Let t be 4*1*5/m. Suppose -7*d + 5*d = -t. Sort -5, d, 2 in ascending order.
-5, 2, d
Suppose 0 = -8*q + 10*q. Let k be 160/112*12/(-10) + 2. Sort k, 0.5, q, -3 in decreasing order.
0.5, k, q, -3
Let u = -118 + 121. Let w be u/12 - (-63)/36. Let h = 11 - 15. Sort w, -2, h.
h, -2, w
Let x = -30.4 + 26.4. Let j = 2.62 - 2.6. Sort x, -0.1, j.
x, -0.1, j
Suppose 7*p = 9*p - 3*t - 14, -2*p = 5*t - 14. Suppose -3*s = -s + 2. Let m be s/6 + 52/24. Sort 5, m, p in ascending order.
m, 5, p
Let t = -20 + 73. Let w = -56 + t. Sort 5, w, 1, 0 in increasing order.
w, 0, 1, 5
Let d be -1 - (44/(-55) + 6/(-5)). Put d, -16, -4 in descending order.
d, -4, -16
Let h(a) = -7*a + 163. Let q be h(24). Sort -3, 5, q, 3 in descending order.
5, 3, -3, q
Suppose 3*m - r + 0 = -3, 3*m = -3*r - 3. Sort 2, m, 1, 5.
m, 1, 2, 5
Suppose -4*j + 2*o - 6 = 0, -2*o - 2 = j + 12. Let t = -177 + 178. Sort t, j, -1 in increasing order.
j, -1, t
Let r = 16 + -19. Let z be 15/10 - r/(-6). Suppose 0 = -2*f - z + 3. Sort 2, f, 4.
f, 2, 4
Let a = -23 + 32. Let r = 3176 + -3173. Sort a, -5, r.
-5, r, a
Let w be 15/6*(120/(-75) - -2). Put 11, -1, -6, w in decreasing order.
11, w, -1, -6
Let c(i) = -4*i + 4. Let k be c(-4). Suppose 23 = -3*w + k. Put -3, w, -4 in decreasing order.
w, -3, -