11890/11. Is 1 < t?
True
Let i = 1160/4977 + -6/553. Is i greater than -64?
True
Let w = -223/1636 + 1447483/93252. Let u = 43/3 - w. Is u at least -1?
False
Let n = -2.3 - 0.7. Let v = -6311/6 + 1057. Let u = -127/24 + v. Is u smaller than n?
False
Let o = 130 - 230. Let d = 11879/11 - 23769/22. Is d greater than o?
True
Suppose 0 = -16*w + 8777 - 1065. Suppose 9*y = 13 + w. Which is bigger: y or 56?
56
Let v be -8 - (-119977)/44 - ((-6)/(-3))/(-8). Is 2720 >= v?
True
Suppose 0 = s + 2*w - 6, 2*w = -4*s + 7*w - 28. Let f be 16/((-8)/(-10)*3 + s). Is f >= 239/6?
True
Let b = -0.1 + 0.3. Let c = -0.061 + 0.771. Let l = -21.71 + c. Is b equal to l?
False
Let w = 10 + -8. Suppose 0 = -w*a + 5*a + 9. Let y be a + -8*1/(-3). Is y bigger than 1/4?
False
Let n = 24 - 77. Let o = -0.016 - 52.904. Let t = o - n. Is t at least as big as 0.06?
True
Let d = -178 - -254. Let r be d/(-388) - 18/(-90). Is r smaller than 0?
False
Let y = -25166 + 25166. Let g be ((-6)/(-105))/((-27)/5). Which is smaller: y or g?
g
Let u be -1*1 + 10 + (33 - -22). Which is greater: u or 53?
u
Let c be 7/(-21)*-3*-1418. Let z = -805 - c. Is z >= 613?
True
Let k be ((-156)/130)/(2/5). Let r be -5 + 1 + 35 + k. Which is bigger: r or 26?
r
Let u be -1 - 6 - (78 - 82). Let g be (-6)/u + 3344/3346 + -3. Is 0 at least as big as g?
True
Suppose -11880 = 167*l + 7158. Is l <= 65?
True
Suppose 9*s - 75 + 48 = 0. Suppose -13*y + 15*y + 150 = 3*t, s*t = -3*y - 225. Which is smaller: -78 or y?
-78
Let o(g) be the second derivative of -5*g**3/3 - 65*g**2/2 - 5*g + 4. Let t be o(-7). Are 3 and t nonequal?
True
Let r = 20818 + -20801. Which is smaller: 251/16 or r?
251/16
Suppose -4*s = -3*p + 8*p - 38, -4*s - 2*p = -56. Suppose -24 = -r - 2*r. Which is smaller: r or s?
r
Let h = -597 + 779. Let n be (-18)/63 + (-4)/h. Is n <= 1/4?
True
Let n = -84 + 85. Let g be 8848/(-6125) + (-100)/(-70). Is n smaller than g?
False
Let m be (182/21)/(2/6). Suppose 4*d + 22*d - m = 0. Which is bigger: -5 or d?
d
Let a be ((-13)/((-728)/(-12)))/(1/(-2)). Suppose 6*t - 15 = t. Suppose c + 17 = 6*c - t*g, g = -c - 3. Which is greater: c or a?
c
Let k be (-2 - -6) + -13 - 1. Let c be (-2)/4 - (-214)/(-20). Is k at most as big as c?
False
Let b(i) = i**3 - 16*i**2 - 14*i + 102. Let u be (-78)/(-5) - (-105)/(-175). Let j be b(u). Is j >= -333?
True
Suppose -14*j + 23*j + 24*j = -5*j. Which is bigger: j or -1/180?
j
Let v be (2/18 + 0)/(415/(-60)). Let o(y) = 7*y + 28. Let m be o(-4). Is m at most v?
False
Let w = 245025/104 - 2356. Suppose 33*d = 28*d - 5. Which is smaller: d or w?
d
Let p be (598/65 - 8)*(-155)/2. Are p and -1/6 equal?
False
Let o(b) = -32*b**2 + 7*b + 18 - 5 + 8 + 34*b**2. Let l be o(-14). Suppose 0 = -17*h + 22*h - l. Is 63 smaller than h?
False
Let v be ((-24)/10)/(4/80). Let r be 2 - v/(-28) - 60/161. Let p = 5 + -4. Is p <= r?
False
Let y = 157 - 151. Let c(s) = -s**3 + 9*s**2 - 15*s + 14. Let l be c(y). Is l < 31?
False
Suppose -23*v - 7883 - 20280 = 1645. Which is bigger: v or -1297?
v
Let a(o) = -9*o + 66. Let m be a(6). Suppose 5*x = 25, 17*k = m*k + 2*x + 185. Which is bigger: 41 or k?
41
Suppose -196*b = -43*b + 146 + 7. Which is smaller: b or -20/1239?
b
Suppose -p + 240 = 5*q - 131, 5*p - 3*q = 1995. Suppose -11*h = 7*h - p. Which is greater: h or 24?
24
Let a(d) = -d**2 - 6*d + 7. Let z be a(-7). Let p(m) = -2*m**3 + 3*m + 3564. Let s be p(0). Let h be ((-18)/s)/(2/(-6)). Does h = z?
False
Suppose 0 = 21*x + 101 + 17 - 328. Suppose -4*i + 0 + 4 = 0. Suppose -52 = -5*q + j, 0 = q + 3*j - i - 3. Do q and x have the same value?
True
Let m = -0.11 - 0.03. Let q = -0.42 - m. Let c = -194 + 1360/7. Which is bigger: c or q?
c
Let v = 140/151887 - -4090764451/8809446. Let d = -929/2 + v. Which is smaller: d or -1?
-1
Let d be (-2)/((-230)/26 + (1 - -8)). Is 158 at most d?
False
Suppose -63*a = -58*a + 20. Let t = 74 - a. Which is greater: t or 80?
80
Let n be (-772)/56 - 141/(-94). Is -5/3 at least n?
True
Let x = -650 + 653. Let n be ((-1)/x)/((-43)/(-645)). Is -102/25 greater than n?
True
Let t(i) = -4*i + 1 + 0 + 6*i**2 - 11*i**2 - 15*i**2. Let j be t(1). Which is greater: -22 or j?
-22
Let a(b) = 3589*b - 13418. Let o be a(7). Which is greater: 11704 or o?
o
Let s = -105.09 + 0.09. Let u = s + 104.946. Which is smaller: u or 3?
u
Let g be 2/12 + (-77655)/(-90). Let b = -1623/2 + g. Is 52 <= b?
False
Suppose 5*y - 5*r = 230, -4*y + 212 = y + r. Which is bigger: y or 42?
y
Suppose -m = -3*p + 114 - 68, -m + 39 = 2*p. Are p and -168 equal?
False
Let j be 67/((3/(-12))/((-540)/40)). Which is greater: 3617 or j?
j
Let s be ((31 - 26) + (-57)/12)*-4. Is s greater than or equal to -7/54?
False
Let a = -5.4 + 9.2. Let h = a - 3.35. Let l = h + -0.65. Which is smaller: l or 20?
l
Let g(y) = y**3 - 9*y**2 + 5*y - 11. Let x(r) = -r**3 + 8*r**2 - 6*r + 12. Let z(f) = -2*g(f) - 3*x(f). Let l be z(5). Is 1/56 > l?
False
Suppose 5*c = d + 7, c = d - 0*c - 1. Suppose 0 = -p + 3*p - d*t - 17, -22 = -p - 3*t. Is 13 greater than p?
False
Let z = -28 + 57. Let f = 2/45865 - -17245214/596245. Let l = f - z. Do l and 1 have different values?
True
Let c be (0/(-4))/(-5) + 2 - 2108/1060. Which is smaller: 0 or c?
0
Suppose -4*w - 98 = -f + 27, -f = -6*w - 143. Is f greater than 86?
True
Suppose -n - 4*n = 35. Let g(q) = -q - 15. Let y be g(n). Let r be (5 - 9)/(y/6). Which is smaller: r or 1?
1
Let y = 141 - 83. Suppose 5*a - 72 - y = 0. Is a at least as big as 129/5?
True
Let f(r) = -2*r**3 + 31*r**2 + 19*r - 48. Let o be f(16). Which is greater: o or 5/154?
5/154
Let s be (13/117)/(((-168)/(-279))/7). Is 1 at most s?
True
Suppose -3704 = -2*n - 4*k + 2728, 0 = -4*n - 3*k + 12864. Is n greater than 3216?
False
Suppose 2*m - 336 = m. Let s = 94/169 - -115915/338. Let y = s - m. Is y > 7?
True
Let z = 890.895 + -891. Let t = 0.505 + -0.5. Let i = z + t. Is i < -4/9?
False
Suppose -h + 7*h - 36 = 0. Let a be 56/21 - h/9. Suppose -z - 6*x - 5 = -a*x, -5*z - 25 = 3*x. Which is greater: -7 or z?
z
Let u = 107 - 111.45. Let t = u - -27.45. Which is smaller: -0.2 or t?
-0.2
Let l = -105131/445178 + 21/89. Is l at most 0.2?
True
Suppose -2*n + 2 = 6. Let o be ((-35)/(-4))/(3/(-60)). Let p be (30/o)/((-12)/(-45)). Which is smaller: n or p?
n
Let r be (-2)/6*15/(-5). Let m(j) = -2*j**3 + j**2 + 5*j + 6. Let p be m(3). Is p bigger than r?
False
Let r = 2113 + -2113.34. Does -56 = r?
False
Let n be -1 - (-3 + (3 - 2)). Let b be (3 - 11)*n/(-2). Let s = 65.07 - 64.37. Is b greater than or equal to s?
True
Let n = -267/98 - -109/49. Which is bigger: n or 7393?
7393
Let t = 9765 + -9765. Are 8/1449 and t nonequal?
True
Let n = 48.6 + -434.6. Let k = n + 386. Which is smaller: -4 or k?
-4
Let h = 0.1 + -1.1. Let j = 623730 + -623732. Which is greater: j or h?
h
Let x be (10/(-8))/(16905/233289). Let p = -24 - -6. Which is smaller: x or p?
p
Suppose 2*n = r - 9, 5*r - 2*r = -3*n - 9. Let p = -113/345 - -478/69. Do r and p have the same value?
False
Let m = 4458 - 4272. Do m and 192 have different values?
True
Let q(x) = -x - 7. Let y be q(5). Let l be (((-3108)/8)/(-7))/(1/14). Let m = l - 2371/3. Is y at most m?
False
Suppose -44*n + 83 = 39. Which is bigger: n or 140/373?
n
Let d be (-2)/(-2) - (2*-1 + 1). Let b be (-7 + 133/21)*(-6)/d. Suppose -5*n = -3*i - 18 - 3, 5 = b*i + 3*n. Which is smaller: 0.01 or i?
i
Let t = 167 - 411. Let c = 244 + t. Is c less than or equal to -14/39?
False
Let b = 9970 + -10093. Let f be ((-6)/(-4))/((-18)/(-8)). Which is greater: f or b?
f
Let w = -1 + 0. Let g(a) = 280*a**3 - 5*a + 4. Let r be g(1). Let o = r + -17576/63. Is o not equal to w?
True
Let r be 3392/636*1866/8. Is r greater than or equal to 1246?
False
Let u = -4525 + 4216. Which is smaller: u or -619/2?
-619/2
Suppose 300 = 9*v - 5*v. Let x = v + -17. Let g = -58 + x. Which is smaller: 39 or g?
g
Let v = 55.097 + -0.097. Let b = v + -55.1. Let z be 3492/(-168) - (-4)/14. Which is bigger: z or b?
b
Suppose -16 = -i - f, 27*i - 24*i = -4*f + 57. Is i != 42/5?
True
Let s be 147/(-6) + 40/16. Which is smaller: -74 or s?
-74
Let k(t) = 197*t - 1182. Let n be k(6). Is n at least as big as -4/2581?
True
Let z = 8312 + -8390. Which is smaller: z or -97?
-97
Let r = -365 + 2551/7. Let k(i) be the third derivative of -i**5/60 - 5*i**