). Let q be -27 + 208/(-78)*3/l. Is q greater than or equal to 4?
False
Let y = 10 + -148. Let r = y - -142. Suppose -r = -5*j + j. Does 7 = j?
False
Let d = 14273/6 + 1184/3. Is d smaller than 2773?
False
Let j be ((-9)/(-1))/(13/((-37544)/(-57))). Suppose -2*t + 1365 = t. Which is smaller: t or j?
t
Suppose 21*d + 62*d - 1328 = 0. Let k be (-1 - -2) + (-8)/12. Does k = d?
False
Let f(a) = -3*a + 14. Let y be f(8). Let v(g) = -9*g - 92. Let t be v(y). Which is greater: t or -17/7?
t
Let r(w) = -11*w - 53. Let u be r(5). Let v = u - -117. Suppose 3*l + l = 28. Do v and l have different values?
True
Let s = -2730 + 2734. Suppose -4*v + 476 = 2*a, -5*v = -11*a + 6*a - 565. Suppose -s*d - v = -d. Is -39 <= d?
True
Let h be (12/7)/((-4)/28). Let g be (h/(-10))/(8/20). Suppose 0 = o + g*o. Is -2/21 bigger than o?
False
Let s(n) = -11*n**2 - 223*n - 294. Let b be s(-22). Suppose 5*g = 4*d + 2873, -g + 737 = -d + 4*g. Does d = b?
True
Suppose 36*f + 12144 = -12*f. Is -253 bigger than f?
False
Let b = 2664 + -2655. Let v = -1.94 + -0.06. Let h = v + 2. Which is greater: b or h?
b
Let x = 8705/19 + -458. Suppose 0 = 16*f - 3881 + 3865. Which is smaller: f or x?
x
Let k(p) = 5*p**3 - 27*p**2 + 35*p - 41. Let s(d) = 3*d**3 - 18*d**2 + 23*d - 27. Let a(c) = 5*k(c) - 8*s(c). Let i be a(-10). Which is smaller: i or 3/161?
3/161
Let y = -5 + 5.3. Let k = 16127.832 - 16128. Which is bigger: y or k?
y
Let j = -2489.974 - -2487.8. Are 1/2 and j unequal?
True
Let d be ((-10)/(-36))/((-6)/(-18)). Let g(t) be the first derivative of -3*t**2 + 60*t + 23. Let j be g(10). Is j > d?
False
Let u = 35766/13 + -2750. Is u != 35?
True
Suppose -3*g = -5*g. Let u = -1.893 - -0.023. Let t = u + 1.907. Which is greater: g or t?
t
Let w = 14 + -11. Let o be (3 + -9)/w - -7. Suppose 0 = -o*h - 5*i - 20, 4*h + 3*i = -h - 26. Which is smaller: h or -6?
h
Let z(q) = q**3 - 3*q**2 - 2*q + 9. Let w(b) = b**3 - 12*b**2 - 14*b + 16. Let a be w(13). Let v be z(a). Are v and 1 equal?
False
Let k(o) = -270*o + 540. Let a be k(2). Which is bigger: a or 7/767?
7/767
Let g(i) = -38*i**2 + 4*i + 24. Let f be g(-3). Is -327 <= f?
False
Let t = -23.35 + 24. Let g = -0.5 + t. Let d = g + -0.2. Which is smaller: d or 4?
d
Let d(k) = k**2 - 6*k + 5. Let z be d(5). Suppose 0 = -8*o - 292 - 4. Let j be (-1 + (-14)/(-10))/(o/5). Is z > j?
True
Let u = 78635/33 + -2367. Which is greater: u or 16?
16
Suppose 5*k - 29 = 3*c, -6 = -2*c + 2*k - 20. Let i = c + 2. Let r be (1/34)/((-23)/(-276)). Is i less than or equal to r?
True
Let f = 4079 + -4109.73. Let b = 32.3 + f. Which is smaller: b or 0?
0
Let i = 17.8 + 0.9. Let f = i - 18.5. Which is smaller: -0.076 or f?
-0.076
Let m(f) = -3*f**3 + 0 + 2*f + 2 + 0*f - 2*f**2 + f. Let c be m(-2). Let t be ((-16)/(-2))/(-8)*2/1. Do t and c have different values?
True
Let a be (-4)/3*(-3)/(-2). Let u be (3/15)/(a/5). Let k = 1218.4 - 1210.4. Which is bigger: u or k?
k
Let y(q) be the second derivative of q**4/12 + 3*q**3/2 + 3*q**2/2 + 18*q. Let a be y(-8). Let j be -1 + a/(-3) + (-16)/40. Which is greater: -0.1 or j?
j
Let z be (-9)/(-6) - (-2)/4. Let u = -25.2667 + 25.3. Let l = u - -10.9667. Is z bigger than l?
False
Let w = -65.2 + 65. Let f be 7 + -6 + (-1612)/(-19). Let g = f + -86. Are w and g unequal?
True
Let b(i) = 2*i**3 + 39*i**2 + 20*i + 20. Let k be b(-19). Let y be (222/(-148))/((2/220)/k). Is y smaller than -165?
False
Let n = 2566 + -2591. Which is smaller: -32 or n?
-32
Suppose -178*k + 77 = -255*k. Is k != 4/777?
True
Let a = 43 - -10. Let n = -53.054 + a. Are n and -1 equal?
False
Let h = 175 - 176.08. Let p = -0.08 - h. Let t = 0 + 1. Is t greater than p?
False
Let h be -1 - -1 - (0 - 0). Let z be ((-24)/32)/((-1)/(-8)). Let c be (-33)/(-9) - (16/z)/(-4). Is h < c?
True
Let r = 6.6 + -34.6. Let g = r + 32. Let a = 6.9 - g. Which is greater: a or 0.1?
a
Let g = -339 + 228. Let s be (-6)/g*(-2)/(-56). Which is greater: s or -1?
s
Let p = -85/73 - -10803/11096. Which is bigger: p or 0?
0
Let d = -199 - -2191/11. Suppose 4*g - 8*v + 5*v = 763, -4*g = -2*v - 758. Let z = -1291/7 + g. Is d greater than z?
False
Let d be ((14/(-3))/(60/35505))/(6/8). Is d smaller than -3683?
False
Let q = 13 - 8. Let m be q/(-105)*3/5. Let i = -51598 - -51597. Is m at most as big as i?
False
Suppose f + 101 = 3*g + 404, 607 = 2*f - 5*g. Suppose -3*a + 3*b = f, -8*a - 97 = -7*a + 4*b. Which is smaller: a or 0?
a
Let c = 11329 - 11328.96. Which is smaller: 29/23 or c?
c
Let q = 432573/854410 + -219/430. Which is greater: q or 1?
1
Let c be (51 + -54)*4/7764. Which is smaller: c or -1?
-1
Let k be (7/(-105))/(39435/(-6570) - -2*3). Which is smaller: k or 28?
28
Let k = -87 + 87. Let g = 193275 + -63780679/330. Let n = g - 2/11. Is n <= k?
False
Let o(j) = j**2 - 36*j - 23. Let a be o(36). Let c(w) = w**3 - 4*w**2 - 4*w - 5. Let f be c(5). Is f >= a?
True
Let z = 0 + 0.1. Let q(t) = 13*t**2 - 52*t - 2. Let y be q(4). Let p be ((-260)/(-25) - y) + -7. Is z greater than p?
False
Suppose 5*f = 5*h + 2200, -5*h + 4*f - 2197 = -0*h. Let k = h + 436. Is k < 2/857?
True
Let l be (-168)/(5 + 2) - -4. Let y be 36/(-8)*(-2 - 24/l). Which is greater: 1 or y?
y
Let g be 1014/(-845)*(1 - (-26)/(-6)). Suppose -g*w + 1779 = 3*n + 367, 3*w + 2*n - 1058 = 0. Is w greater than or equal to 351?
False
Let c = -39/172 - -584307/860. Which is greater: 680 or c?
680
Suppose -56*h - 60 = -52*h. Suppose -4*k - 27 = -3*k + 5*r, 3*k + 24 = 4*r. Which is smaller: k or h?
h
Let c(f) = -3*f**3 - 133*f**2 + 109*f - 89. Let a be c(-45). Is -944 equal to a?
True
Let z(y) = 2*y**3 + y**2 + 17*y - 41. Let f be z(7). Is 815 at least f?
True
Let a(k) = -k**2 - 7423*k - 51970. Let x be a(-7). Let s = 1393/2 + -754. Is x != s?
True
Let q(f) be the second derivative of f**5/20 + f**4/2 + f**3/3 + 14*f**2 + 170*f. Let i be q(-6). Is i not equal to 3?
True
Let r(i) = -67*i - 598. Let w be r(-9). Which is greater: w or 54?
54
Let t = -26 + 30. Suppose -11*z + 56 + 54 = 0. Let o be (-6 - -5)*z/t. Is o at most -2?
True
Suppose -5*d + 4*h + 19 = 0, 3*h = 4*h + 1. Suppose 0 = -2*t + d*t - 1. Let l be 64/6*8*(-8)/(-768). Is t smaller than l?
False
Let a = -2/16557 + -15295/10447467. Which is greater: a or 0.4?
0.4
Let a = 93 + -94. Let q be 41 - (-3 + 3 + 0 + a). Does q = 39?
False
Suppose -57 = -1426*r + 1445*r. Is r less than or equal to 5/129?
True
Let z be (-4)/54 - 317286/972. Are -327 and z non-equal?
True
Let o(x) = x**3 + x**2 + 2*x + 1. Let s be o(-2). Let z = 0.0054 + 361.9946. Let p = z + -364. Which is smaller: p or s?
s
Let a = -4759 - -3154. Which is bigger: a or -1602?
-1602
Suppose -7946 = -41*j - 14561 + 55446. Which is smaller: j or 1190?
1190
Let i = -626/29 - -990900/45907. Is 1 at most as big as i?
False
Let n be (-3)/((-9)/(-2))*-12. Let q be (1344/(-54))/(-16) - (-5)/1. Are n and q nonequal?
True
Suppose 9*s = 4593 + 141. Suppose 10*f - s = 224. Let n = f - 49. Which is smaller: n or 24?
24
Let g = -9.936 - 0.064. Let j = g - 110. Let l = j - -63. Is 1 at least l?
True
Suppose 82*x + 1290 = 5*g + 77*x, 0 = 5*g - 3*x - 1306. Are g and 5 equal?
False
Let x be -3 + 12 + -19 - -9. Is -1/17157 at least as big as x?
True
Suppose 3*h + 5*u + 8786 = 0, -3*h + u - 3278 = 5502. Which is bigger: -2/7 or h?
-2/7
Let h = 28 + -26. Let l be 42 + (10 - 10 - (-2 + h)). Suppose -r = -4*r + l. Which is greater: r or 7?
r
Let o = 2/75135249 - 365532992401/226006828992. Let k = o + 79/64. Do -1 and k have the same value?
False
Let z(w) be the third derivative of 55*w**4/24 + 61*w**3/6 - 58*w**2. Let k be z(-6). Is -268 less than k?
False
Let g = -29 + 31. Suppose 5*a - 5 = -5*k, -g*a + 20 - 6 = 5*k. Suppose 2*f - 4*w + 12 = 0, 4*f + 4*w = 5*f + k. Which is greater: f or -9?
f
Suppose -49065 = 113*c - 108*c - 4*p, -2*p = 4*c + 39278. Is c less than -9816?
True
Suppose -2*k = -4*y - 3*k - 24, -k - 4 = 0. Let w be (22/10)/((-1)/y). Is w less than 11?
False
Let u be 3 + (-4 - 826/(-21))*18/4. Which is bigger: 165 or u?
165
Suppose 19*d - 59128 = -15180 + 13090. Is d >= 3002?
True
Let g = 481 + -133. Let l = -494 + g. Which is smaller: 2/3 or l?
l
Let f = -5510 + 7192. Which is bigger: f or 1670?
f
Suppose 2*b = -4*x + 46, 4*b + 2*x - 110 = -0*x. Suppose 23*n - 6 = b*n. Which is greater: -2/1225 or n?
-2/1225
Let