 Let t = 18 + -66. Which is bigger: t or f?
f
Suppose 0 = 89*q - 37*q - 6708. Let n be (-4)/(-14) - 1802/(-14). Is q less than or equal to n?
True
Let o be 13 - (9 + 2256/44). Is o not equal to -48?
True
Let k = -7.922 - -623.022. Is k at most as big as 1?
False
Let f = 10161 + -10161. Which is smaller: 9/40 or f?
f
Suppose -444 = -9*r + 537. Suppose -4*s + 5*s + r = -2*l, l + 37 = -4*s. Let j = l - -51. Which is bigger: j or 1?
1
Let s(h) = 5*h - 60. Let b be s(13). Let d be -4 - b/((-20)/36). Let q(f) = -5*f - 2. Let r be q(-2). Which is greater: r or d?
r
Let x = 162 - 184. Let f be (-96)/(-528) + 510/x. Suppose -13 + 52 = -g + 4*n, 5*g = 2*n - 123. Is f at least as big as g?
True
Let t(r) = 2*r**3 + 20*r**2 + 4. Let m be t(-10). Suppose 4*b = 2*b - m. Let j be (b/(-132))/(-3*3/36). Which is bigger: 1 or j?
1
Let d be (-62)/124 - (-7)/10. Let t = 64 - 63. Is d at most as big as t?
True
Suppose 58 - 58 = 3*h. Let g be 2 + h - (8 - 166). Is g at least 160?
True
Suppose 0 = 17*q - 18*q + 3, 5*r - 5*q + 45950 = 0. Is r >= 0.1?
False
Let y(x) = -27*x**2 + x. Let f be y(-1). Let u = -70/309 + -44764/1545. Which is smaller: u or f?
u
Let t = -1425/7 + 333457/1638. Let r(n) = -2*n - 29. Let z be r(-16). Suppose -z*l + 4 = l. Which is smaller: t or l?
t
Let f be ((-2)/95)/(24/(-960)). Suppose 6 + 4 = 5*o. Do f and o have different values?
True
Let u = 0.06 + 2.94. Let m = -2.9 + u. Suppose 0 = 4*b + 3*z + 25, -295*b = -289*b + 2*z + 80. Is b greater than or equal to m?
False
Let n(g) be the third derivative of -g**5/60 + g**4/8 + 11*g**3/2 - 4*g**2. Let s(u) = -15*u + 325. Let k be s(21). Let b be n(k). Is -38 less than b?
True
Let c = -46.884 + 47. Let z = -0.184 - c. Which is greater: z or -0.34?
z
Let o(z) = z**3 + 42*z**2 - 209*z - 131. Let m be o(5). Let y be ((-8)/9678)/(2/3). Is y > m?
True
Let w = 6357 - 6360. Suppose -8 - 57 = 3*j - 4*u, 3*j + u = -40. Is w at least j?
True
Suppose 0 = -3*f - 21, 26*f = 4*v + 29*f + 38125. Is v bigger than -9526?
False
Let m = -15983 - -15985. Is 264/79 >= m?
True
Let x(l) = l + 6. Let k(p) = 2*p + 13. Let s(u) = 6*k(u) - 10*x(u). Let y be s(11). Suppose 2*t = 4*t - y. Does t = 21?
False
Let p = 30732/5 - 6118. Let c = 1534 - 1564. Let m = c + p. Which is smaller: m or -2/3?
m
Let k = -5793.232 - 3018.814. Let f = k - -8805. Let j = 0.046 + f. Do j and -1/5 have the same value?
False
Let q = -3958 + 3957. Which is smaller: q or -370?
-370
Let x = -97495088/507 + 192298. Suppose c = -0*c - m + 2, -3*c - 6 = -m. Are c and x nonequal?
True
Let t(l) = -5*l - 112 + 4*l - l**2 + 79. Let b be t(-6). Which is bigger: -62 or b?
-62
Let u(i) = -i**3 - 55*i + 7 + 13*i**2 + 23*i + 24*i. Let o be u(12). Let q = o - 39. Is 16 > q?
False
Suppose 4*h + 9 = 17. Let z(t) = -58*t**2 + 62*t**h + 0*t + 0*t + 1. Let o be z(-1). Is -2 bigger than o?
False
Let q = 22 - 50. Let c = 142/5 + q. Let r be 40/14 + (-39 - -36). Is r >= c?
False
Let l = -1.33 - -0.65. Let r = l + 0.647. Let u = 40 + -39.8. Is r not equal to u?
True
Suppose 10 = r + 3*g, -2*r + 0*g - 5*g = -18. Let o be r/(-6) - (-6100)/2013. Are o and 3 unequal?
True
Let z = 1625 + -365623/225. Let j = 53 - 57. Let m be 1/5 - 6/(-120)*j. Which is smaller: m or z?
m
Let w = -804 + 807. Suppose -2*q + 69 + w = 4*c, -1 = c. Is q greater than 38?
False
Suppose -7*m + 116 = -10. Let j(c) be the second derivative of c**4/12 - c**3/3 + 19*c**2/2 + 8*c. Let d be j(0). Are d and m nonequal?
True
Let v = 0.062 - 28.062. Let c = -7.5679 + 11.5679. Which is bigger: c or v?
c
Let d = 1186 - 3924. Let j = -282016/103 - d. Let s be (-10)/35 - 5/7. Is j greater than or equal to s?
True
Suppose -4*t - 14 = 2*u + 2, 0 = -t + 4*u + 23. Is t <= -5/1078?
True
Let r = -2704 + 2706. Is -40 greater than r?
False
Suppose 5*q - 2 - 23 = 0, 3*o + 766 = 5*q. Let v = 225 + o. Which is greater: -20 or v?
-20
Suppose 0*n + 3 = -3*n - c, n - 3 = c. Are -4/867 and n unequal?
True
Let l be 2/7 - (-25)/35. Let j = -448 + 691. Let f be j/(-48) + 4 - -1. Which is bigger: l or f?
l
Let q be 5*(2 + 158) - 10. Which is greater: 791 or q?
791
Let q = -27.34 + 27. Let g = 109 + -109.18. Let m = g - q. Which is smaller: m or 0?
0
Let y = -85 + 63. Let v = 21.953 + y. Let u = v - 7.953. Is -2/15 greater than or equal to u?
True
Let h be (-2 - -4)/1 + 8. Suppose -2*l - 5*u - 9 = 0, 4*l + h*u + 13 = 5*u. Let k be 7 + 0 + 3 + l + -3. Is k less than 4?
False
Let o(j) = 11*j**2 - 1511*j - 943. Let g be o(138). Suppose 2*i - 48 = 2*y + 2*y, -4*y + 106 = 5*i. Is i at most as big as g?
True
Let x = -331 - -4967/15. Let k = 18.77 - 19.47. Is k greater than or equal to x?
False
Let f(s) = -2*s + 39. Let i be f(40). Which is greater: i or -40?
-40
Let d = 9924 - 7852. Do 2071 and d have different values?
True
Let n = 1115097/236 - 4725. Let o = n - -23627/2124. Which is greater: 11 or o?
o
Let h(t) = t**3 + 11*t**2 + 10*t + 1. Let j be h(-10). Let p = 35819/52 + -689. Is j equal to p?
False
Let y(t) = -3*t**2 + 5*t - 22. Let h be y(0). Let v(m) = -m**3 - 19*m**2 + 64*m - 38. Let p be v(h). Is p > 50/11?
True
Suppose -3*f - 2*g = -14, -5*f + 0*g = -2*g - 2. Let v = 4/1327641 + -22474306892/14604051. Let x = v + 1540. Is x at most f?
True
Let u(y) = y**3 - 80*y**2 + 700*y + 2. Let p be u(70). Which is smaller: 23/20 or p?
23/20
Let u = 6036 + -6898. Which is smaller: u or -866?
-866
Let q(s) = 3*s**3 + 4*s**2 + 13*s + 8. Let h be q(-5). Let v be 26/(-80)*174 + 83/h. Are v and -58 non-equal?
True
Let j be (5726/(-2454))/(7/(-15)). Suppose -2*v + 21 + 3 = 0. Suppose b - 4*y = -0*b - 4, v = 4*b - 2*y. Is j <= b?
False
Let h = -223 + 212.3. Let b = -4.7 - h. Which is bigger: 3 or b?
b
Let c = 0.06 + 0.04. Let w = -8.942 - -9. Is w > c?
False
Let s = -92.8 + 92.6. Let r = 51 + -95. Is s at least r?
True
Let v = 2246 + -2236. Suppose -1 + 7 = 3*z. Suppose 33 = -z*s + 5*s. Is s bigger than v?
True
Let b(f) = -15 + 3*f + 9*f + f**3 - 12*f**2 + 0*f. Let q be b(11). Let u be (-32)/(-30) + q/6. Is -1 <= u?
True
Let w = -1777 - -5125/3. Let b = 11693/233 - 3573709/30057. Let r = b - w. Is r at least as big as 1?
False
Let q be ((-56)/(-24) - 3)*465. Let o = -361 - q. Is -54 at least as big as o?
False
Let o = 2919.8 + -2919.7. Is o greater than 209.2?
False
Suppose 6*z = 2*z + 32. Let b(h) = h**2 - 9*h + 4. Let g be b(z). Let d be (-1 + -3 - -7) + 33/g. Which is greater: d or -6?
d
Suppose 3*p - 1860 = -378. Let f be (140/(-15))/((-74)/p). Let y = f - 187/3. Is y >= 1?
False
Let n(o) = -43*o - 986. Let s be n(-34). Does 478 = s?
False
Let b be 25/(25 + -20) - (-219)/3. Does 1549/20 = b?
False
Let p(b) = b + 153. Let y be p(0). Let z be 10976/72 - (-20)/(-45). Which is smaller: y or z?
z
Let a be (15 - -53)*(-4)/(64/140). Is -591 equal to a?
False
Let v be ((-494)/(-5))/(1/30). Suppose -26*i + v = -14*i. Is i != 248?
True
Let p be 2/(-5 - -4) + 5 + -3. Suppose 9*y + 3*y = p. Are 4/21 and y non-equal?
True
Let o = -1.0533 - -0.4533. Is o less than -2/31?
True
Suppose -100*k = -10359 - 3041. Which is smaller: 99 or k?
99
Suppose k = -4*s + s - 11, -2*k - 5*s - 19 = 0. Let h be -3 - ((-975)/192 + k + 4). Is -1 at least as big as h?
False
Let a = -155.27 + 153.27. Which is greater: -62/39 or a?
-62/39
Let u be (-15 + ((-1692)/(-240) - -8))/(14/255). Which is smaller: u or 2/13?
2/13
Let r = -277.16 - -274.5. Is r at most as big as -1/8?
True
Suppose 0 = 11*h - 5*h - 468. Let w = -87 + h. Let z be (-66)/w + (-5)/(-15). Which is smaller: 7 or z?
7
Let n(a) = a**2 - 38*a + 336. Let i be n(14). Is 31/71 < i?
False
Let g = 85 - -76. Let v be -3 + 1302/g - 5. Let d be 1/3 - (-4)/(-3). Do d and v have different values?
True
Let h = 5947 + -5948. Let w be (-7 - -3)*(-1)/(-526). Which is bigger: w or h?
w
Suppose -27*u + 5*l - 215 = -22*u, -l = -3*u - 127. Let b(t) = 5*t - 3. Let y be b(-7). Is u <= y?
True
Suppose 0 = -3*r + 5*r - 6. Suppose 16 = -r*w + 1. Let p = -9088 + 9081. Is p equal to w?
False
Suppose 5*l - 42*c + 38*c + 721 = 0, -4*c + 173 = -l. Which is bigger: l or 37?
37
Let j = 128.35 - 138. Let g = j - 0.51. Let q = g + 0.16. Are q and 2/11 nonequal?
True
Let l = 81.87 + -88. Let v = l - -6.13. Which is smaller: -3/89 or v?
-3/89
Let h(y) = -y**2 + 13*y + 6. Let f be h(14). Let p be (-4 + f)/(-1 - -2). Is 3/2 <= p?
False
Let l = -89.8