-5 - 10731900/2691108. Let j = k - h. Is 1 > j?
True
Let d(w) = -3*w + 62*w**3 - 61*w**3 - 3 - 2*w**2 + 4*w. Let f be d(2). Let n be (16/12)/(-7 - f). Which is bigger: n or 0.01?
0.01
Let a(b) = b**3 + 8*b**2 + 15*b + 3. Let r be a(-6). Let g be (r/(-55))/(657/6). Let t = g - -1580/10439. Which is smaller: t or 0?
0
Let s be -5 - ((-4302)/738 + (2 - 3)). Which is greater: 3 or s?
3
Let b = 120 + -78. Let i = -0.093 + -0.007. Does b = i?
False
Suppose 5*z = 5*v - 49 + 4, -2*v + 28 = -4*z. Let k be (0 + 0)/2 - z. Let u = 6707 - 6706.7. Is k <= u?
False
Let p(b) = 5*b**2 - 136*b - 1329. Let j be p(-11). Which is greater: 771 or j?
j
Let p be ((-42)/10)/(3 + (-80)/25). Let v(b) = -7 + p + 18*b + 19 + 0*b + b**2. Let n be v(-16). Which is smaller: -0.01 or n?
-0.01
Let k = -21910 - -21909. Let q be ((-4)/5)/(13/(-5)). Is q less than k?
False
Let v be (-2*(-2)/26376)/((-8)/(-32)). Let k = 207727/26376 - v. Is k at least as big as 8?
False
Suppose 0 = n + 6*b - b - 25, -2*n + 65 = -5*b. Suppose -n*g = -6751 - 5669. Is g > 415?
False
Suppose -2*c + 2*i + 52 = 0, -5*c + 129 - 31 = 3*i. Suppose q + 34 = c. Let r = 11 + q. Is -5/6 greater than or equal to r?
True
Let l = 1281.7 + -966. Let i = l + -316. Is 0.035 >= i?
True
Let p be (-3)/((-18)/4) - 2566278/(-351). Is p >= 7312?
True
Let b = 38 + -38. Let u = 705.018 - 705. Are b and u non-equal?
True
Let a(x) = 17*x + 38. Let b be a(-2). Suppose l + 3*s = b, l + 3*s - 2 = 2*s. Is l at least 4?
False
Suppose -49*k = -63*k + 798. Which is smaller: k or 48?
48
Let c = -20610 - -41899/2. Is c at least as big as -1/30?
True
Let v be (84/(-3080))/((-12)/22)*(-3 + 1). Which is greater: v or 84?
84
Let q be (4116/(-78))/14 + (-4)/(-1). Which is smaller: -103 or q?
-103
Let h = 2.1 - 2. Let c = -17.1 - -17. Let i = c + 0.15. Which is smaller: i or h?
i
Let t = 0.2 - 0.1. Let u = -2.557 + -0.043. Let f = 2.52 + u. Which is greater: t or f?
t
Suppose 10*k = 12*k + 30. Let x be (-8 + 2)*k/(-2). Let w = x + 38. Is w greater than -7?
False
Let t = 0.07 - 0.67. Suppose -177*k = -181*k - 216. Let j be (k/21)/3 - 8/(-14). Which is smaller: t or j?
t
Suppose 2*w = -4, w + 66 = 2*b - 18. Let p = b - 35. Let q be 3*p/9 - 3. Which is greater: q or 3?
3
Suppose 5*f = r, 4*f - 20*r + 56 = -8*r. Which is smaller: 45/106 or f?
45/106
Let c = -32 + 34. Let p(s) = 2*s**3 - 2*s**2 + s - 1. Let v be p(c). Suppose -11 = -2*t - v. Which is smaller: t or 1/45?
1/45
Let u = 168620 - 45527461/270. Let c = -5/54 - u. Which is greater: -32 or c?
c
Suppose 0 = -6*v + 111 - 27. Let n(j) = -j**2 + 22*j - 144. Let c be n(v). Which is smaller: -35 or c?
-35
Let r = -5254/121 - -5577016/128623. Which is bigger: r or -1?
r
Let l be 0 + (-1 - (0 - 2)). Suppose -3*w = -4*w + l. Let b be 656/1520 - 1/(-5). Which is smaller: b or w?
b
Let s(w) be the third derivative of -w**6/40 - w**5/10 - w**4/24 + w**3/3 - 83*w**2. Let k be s(-1). Which is smaller: -12/17 or k?
-12/17
Let m = -54800.21 - -55033. Let k = m + -233. Which is smaller: -1 or k?
-1
Let r be 0 + (5 + -4)/1*-1. Let c be 25/(-10)*(8/(-4970))/r. Which is smaller: c or -1?
-1
Let n = 1963 - 1954. Is 9 smaller than n?
False
Let k = 2846 - 2846. Is k not equal to 9/505?
True
Let u = -2.456 + 2.456. Which is greater: u or 2769?
2769
Let k = 29310.003 - 29295. Let t = k + -0.003. Which is smaller: -1/6 or t?
-1/6
Let o = 154 - 140. Suppose -o*r = -r. Let k be (-1)/(-3) + (-3)/9. Are k and r equal?
True
Let c = 415 + -409. Let k be 4/(-14) - ((-30)/(-7))/c. Is k less than -1/176?
True
Let d be (3 + (-140)/45)/(26/(-78819)). Which is bigger: 337 or d?
337
Let v(n) = 6*n - 146. Let u = 317 + -293. Let t be v(u). Is -27/13 > t?
False
Let b = -535 - -35311/66. Let q = -15177 + 15177. Which is smaller: q or b?
q
Let c(j) = j**3 + 126*j**2 + 262*j + 1749. Let r be c(-124). Is r smaller than -42?
False
Let g be 3022820/3036 + 0 + -2. Let q = 2981/3 - g. Are q and 0 unequal?
True
Suppose 209 = 14*n + 909. Is -41 not equal to n?
True
Let i be (4 - 2) + 6 + 3177. Is 3184 bigger than i?
False
Let p = 44 + 91. Let u be 45/p + 391/6. Which is greater: -1/4 or u?
u
Let k = 12/65537 - -885339285/262148. Let j = -3351 + k. Let l = j - 446/17. Do l and 1 have the same value?
False
Suppose -16 = z + l, -3*l + 17 = -4*z - 12. Which is smaller: z or 6?
z
Let d = -6.84 + -17.23. Let k = d - -24.3. Which is smaller: k or -0.01?
-0.01
Let d be (-414)/966*(-1 - 1522/42). Is d not equal to 15?
True
Suppose 4*u - 15676 = 4*r + 14552, 0 = 4*u + 4*r - 30236. Is u at most as big as 7558?
True
Let b = -21592 + 21591. Is b at least as big as 1/8025?
False
Suppose n - j - 87 + 91 = 0, -3*n - 26 = 4*j. Let q be (-30)/120 - 126/8. Which is smaller: n or q?
q
Let i be (13*2/8)/((-7)/(-28)). Suppose -2*w + 9 - i = 0. Let v be 6588/(-27459) + w/(-9). Which is greater: 1 or v?
1
Let v = 457169 - 1000742917/2189. Which is greater: 1 or v?
1
Let a = -58.51 - 0.49. Let r = a - -58.59. Let q = r - -0.9. Which is smaller: 2/5 or q?
2/5
Let w(p) = -2*p**3 - 59*p**2 + 35*p + 118. Let k be w(-30). Is -69 at least as big as k?
False
Let x = -36158 - -55071. Which is bigger: x or 18914?
18914
Suppose -2*p = -4*x + 6, 5 = -4*p + 4*x + 1. Let a be (-1)/(-4) + (81/12)/p. Suppose -8 = -a*u - 1. Is u at least as big as 2/83?
True
Let t be (-540)/8910 - (-87089)/33. Which is smaller: t or 2638?
2638
Let l = -230.93 + 3.93. Let q = l + 221. Which is smaller: q or 2?
q
Let j(g) = 3*g + 2. Let o be j(5). Let m(q) = -q**2 + 1. Let u(w) = -w**3 - 5*w**2 - 16. Let a(i) = m(i) - u(i). Let b be a(-4). Is b not equal to o?
False
Suppose -y + 4*k = -10, -50 = -6*y + y + 3*k. Let z = 69 + -24. Suppose -4*a = 6 - 26, -a + z = 4*q. Is q greater than y?
False
Suppose 12 = -2*l + 20. Suppose 0 = -2*d - 5*j - 27, -l = -5*j - 29. Is 4/19 < d?
False
Let h = 7233.4 + -7235. Is 154 bigger than h?
True
Let g = -106980952 + 1461359803577/13660. Let h = 3/683 + g. Let z = 0 + 0. Which is smaller: z or h?
h
Suppose -140 = -4*p + a, -140*p - 59 = -143*p - 5*a. Let v(x) = -x**2 + x + 2. Let m be v(3). Which is smaller: m or p?
m
Let y(c) = -57*c + 2052. Let r be y(36). Which is greater: r or 11/213?
11/213
Let i = -215 - 1752. Let l = -25555/13 - i. Let j = l + -426/325. Which is bigger: j or 0?
0
Let i = -1 + 4. Let k be i + -1 + -1 + 1. Let g be 36/(-28)*(-5)/6*(84 - 14490/175). Which is smaller: k or g?
g
Let b = 9.901 - -0.099. Let p = 9.96 - b. Let l be (-4)/6 + 88/231. Do p and l have the same value?
False
Let r = -1083 + 1084. Let w be (-64)/106*-5 + -3. Which is greater: r or w?
r
Let d = -1223 - -1230. Which is bigger: d or 90?
90
Let z = 2943 + -2626. Which is smaller: 0 or z?
0
Let x be (-50)/375*(-30)/(-54)*-3. Is -5.23 bigger than x?
False
Suppose 4*o = -4*c - 184 + 112, -5*o = 65. Let x = -8 - 6. Are x and c equal?
False
Let u(i) = -i**3 - 9*i**2 - 12*i + 11. Let x be u(-7). Let s be x*(6/8 - 2/24). Which is smaller: -55 or s?
-55
Let z be -1 + 2425/3 - 3/9. Let c = 98453/122 - z. Which is smaller: c or 1?
c
Let i(n) = 15*n + 97. Let t be i(-7). Let v be 95 - -2*(5 + 52/t). Is v at most 93?
True
Let i = -1.12 + 288.12. Let s = -313.9 + i. Let n = s - -1.9. Do n and 0.2 have different values?
True
Let u(o) = 5*o**3 - 2*o**2 + 4*o - 2. Let r be u(1). Let k be (r + (-363)/63)*-6. Is k smaller than 4?
False
Suppose 2404*t - 115 = 2399*t. Which is greater: 21 or t?
t
Let d = 38366/35 - 11610/7. Is d at most as big as -563?
False
Let z = -16.722 + 16.222. Which is bigger: -4/67 or z?
-4/67
Let l be 161588/70 + -2 + 26/10. Let v = -20843/9 + l. Which is greater: v or -8?
v
Let a be 3 + (6241922/(-30))/(20/(-12)). Let s = -2799669542/22425 + a. Let j = s - -104/23. Are j and 2/7 equal?
False
Suppose 0 = 13*y - 16*y + 12. Suppose -5*q + 9 = y. Let w = -8344.05 + 8343. Is q < w?
False
Let u(y) = -3*y**2 + 15*y - 8. Let s be u(4). Suppose 3*k + 2 = 2*j - 6, -j = -s*k - 14. Which is smaller: k or -7?
-7
Let x(t) = -1784*t + 3546. Let y be x(2). Suppose 3*i + 2*f = -0*f - 227, 3*i + 4*f = -217. Let v = i + 56. Which is smaller: v or y?
v
Suppose -2*g - 5 - 4 = -5*i, -3*i + 4*g - 3 = 0. Let q be ((-4)/(-12))/(i + (-832)/276). Is q at least as big as -24?
True
Let l be (-16576)/(-37740) + -2*2/10. Suppose 5*y - 50 = -3*w, -4*y = -2*w - 0*y + 4. Let m = 9 - w. Which is bi