c?
False
Let y(k) = -4*k**3 + 24*k**2 + 43*k - 3. Let l(n) = 3*n**3 - 16*n**2 - 29*n + 2. Let o(u) = -7*l(u) - 5*y(u). Let x be o(-2). Is 17/28 less than or equal to x?
True
Let f be -7 + -1 + 9/5*425140/(-348). Does f = -2208?
False
Let h = 25.663 - 1.343. Let k = 24 - h. Let s = k + 0.42. Which is smaller: s or 0.12?
s
Let j = 5341 + -5342. Which is smaller: j or 1235?
j
Suppose -4*a - 3*q = 11769, 4*q = 7*a - 9*a - 5882. Is -2943 less than a?
False
Let u = -774.1 - -785. Let i = 11.8 - 1.9. Let k = u - i. Is k != -15?
True
Let c(o) be the second derivative of 19/2*o**2 + 0 + 1/12*o**4 - 11/6*o**3 - 15*o. Let g be c(8). Is g less than or equal to -8?
False
Suppose -4*f - 3*v = -8027, -v + 5455 + 4576 = 5*f. Suppose -2492 = -5*u - 4*k, 2*u - 3*k = -2*u + f. Let z be 21/28 + (-379)/u. Is z not equal to 0?
True
Suppose -598 = -4*w - 2*y, -582 = -5*w - 2*y + 167. Let l = -267 + w. Is -117 < l?
True
Let u = -580 - -576. Let n be 108/(-621)*1/u. Is 1 at most n?
False
Suppose -5*u + 30 = 45. Let p be ((-2)/3*u)/(2/(-2)). Let n be -3 + p + 1278/182 - 2. Which is smaller: 0 or n?
0
Let u = 230 + -239. Let t be (119/(-21))/(1 - (-8)/u). Which is bigger: -52 or t?
t
Let s = 898 - 406. Let w = s - 493. Which is bigger: 5/67 or w?
5/67
Let v = 0.0745 + -31.9745. Let w = v + 5.9. Let q = w + 26. Which is smaller: q or 0.7?
q
Let z(a) = -210*a - 5008. Let w be z(-24). Suppose -46 = -4*n + 94. Which is smaller: w or n?
w
Let l = 13.58 + 57.02. Is 0.3 at most l?
True
Suppose -2*x = -x + m + 1124, -4*x - 5*m = 4500. Is x greater than -1120?
False
Let k(p) = 3*p + 72. Let j be k(-24). Which is greater: -3/1451 or j?
j
Suppose -9*l + 4*l + 2*r + 1 = 0, -4*l - 4*r + 12 = 0. Let t be 35711/(-2211) - (-7)/(308/(-8)). Is l at least t?
True
Suppose 0 = -7*r - 140 + 91, 3*r = -3*m - 1719. Which is bigger: -11 or m?
-11
Let l = -2672 - -2671. Let b = -5840 + 1979758/339. Which is smaller: b or l?
l
Let d be 179 + (-77)/(-33) + (-4)/(-6). Let n = -182 + d. Is 2/5 < n?
False
Let s be (18 - (-1155)/(-30))*1 - ((-28)/8 + 4). Let u = 0.03 + -0.83. Which is greater: u or s?
u
Let q(j) = -366*j - 16. Let p be q(1). Let x = -369396/967 - p. Which is greater: -1 or x?
x
Let m = 563/10 + -6233/110. Is 3 at most m?
False
Let g = 1242/77 + -49026/5159. Is 7 <= g?
False
Suppose 0 = -2*w + 3*q + 1 + 7, -2*q = 2*w + 2. Let o = 1619 + -1628. Which is greater: o or w?
w
Suppose -1081*i - 3 = p - 1078*i, 0 = -p - 2*i - 2. Suppose 218 = 5*t + 2*g, -5*t - 3*g = -t - 180. Which is smaller: t or p?
p
Let s be ((-14)/7 - (-9)/1) + -3. Suppose 0 = -4*j - 20, -2*j = -4*g - s*j - 230. Let c = g - -52. Is 0 equal to c?
False
Let q be ((-8910)/(-675))/(18/10). Is q at most 6?
False
Let j(k) = 3*k**2 - 103*k + 890. Let w be j(9). Is w at most as big as 206?
True
Let q = -28343 - -28344. Which is smaller: q or -8/227?
-8/227
Suppose -6*s + 8*s + 206 = -4*o, 3*o + 4*s = -167. Let d = o + 51. Suppose 3*g - 3*f = d*f - 15, -3*f + 9 = 4*g. Which is smaller: g or -2/23?
-2/23
Let o = 80726 + -222642305/2758. Which is smaller: 1 or o?
o
Let p be 224/(-6) + 8/24. Let b = p - -41. Suppose -1 = b*h - 141. Is h at most 34?
False
Suppose 0 = -3*r - 3*c + 98 - 11, 0 = -4*r - 2*c + 112. Let p = r - 29. Let f = -4 - p. Which is bigger: f or -4/3?
-4/3
Let i = 1086 - 1091. Let m = 6 + -4. Which is smaller: i or m?
i
Let r = -941/66 - -144/11. Suppose 5*s - 105 + 30 = 0. Let b = s - 16. Is r greater than b?
False
Suppose 3*u - 15 = 2*k, 2*k = 7*k + 4*u - 20. Let n = -2/3973 + 23888/99325. Which is bigger: n or k?
n
Suppose 10*w - 49 = -9. Suppose 5*o - l = -2*l + 33, -3*o + w*l + 29 = 0. Is o less than or equal to 11?
True
Suppose -16*w - 2 = -18. Let n be ((-13)/(-39))/(3/(-36)*w). Suppose -3*b + 6 - 21 = 0. Which is bigger: n or b?
n
Suppose -6*c + 3*c = -90. Suppose c*m + 30 = 35*m. Let i be (-1)/(2 - (-14)/(-6)). Is m at least as big as i?
True
Suppose -3*a = -561 + 174. Suppose l = -h - 110, -l - 3*h = 5 + 97. Let c = l + a. Which is smaller: c or 17?
c
Let v be (32*(-36)/624 - 2/13) + 3. Which is greater: v or 8/43?
v
Let p = -3058 + 697. Which is smaller: p or -2/7?
p
Let v(k) = -296*k**2 + 9*k - 12. Let r be v(-1). Is -322 at least as big as r?
False
Suppose 0*q - 4*s - 1306 = -q, -3*q - 4*s + 3886 = 0. Suppose 23*d - q - 703 = 0. Which is smaller: 85 or d?
85
Suppose -5 = -5*j - 0. Let f = j + 36. Suppose 0 = -x + 2*x - 1, -u - 3*x = f. Which is smaller: u or -39?
u
Suppose -13*o + 12 = 3*u - 16*o, 5*u + 3*o = -12. Which is bigger: -2/15069 or u?
u
Suppose -31 = -4*y - 5*q, 3*q + q = 3*y. Suppose 0 = -y*d + 18*d - 4004. Which is bigger: d or 285?
d
Suppose -8 = 5*c - 3*c. Let y be ((-2)/6)/(c/(-24)) - -1. Which is greater: y or -2/23?
-2/23
Suppose -s + 5*a = -26, -s - 4*s - a + 234 = 0. Suppose 15*k = -s - 434. Is k at most as big as -37?
False
Let l = -109 + 107.07. Let i = 4.07 - l. Which is greater: 19/2 or i?
19/2
Let t = -497 - -497.0209. Let p = t + -216.0209. Is 0 >= p?
True
Let w = -10960 + 10894. Do w and -461/7 have the same value?
False
Let l = 14231/24 - 593. Let n = -1/8 + l. Which is smaller: n or 17?
n
Suppose -35 = 2*z + 3*z. Let j = 17 - 296. Let d = 274 + j. Which is greater: d or z?
d
Let l(r) = -r**2 + 4*r + 7. Let n be l(5). Suppose -4*u - 293*c + 298*c = 36, 4*u = c - 20. Is n <= u?
False
Suppose -4*l - l = 0. Let x be 1302/(-273) - 216/198*11/(-2). Is l less than x?
True
Suppose 14*o + 1974 = 7*o. Let y = 284 + o. Do -64 and y have different values?
True
Suppose 2*f - 59 - 43 = 0. Let i = -25688 + 25739. Does f = i?
True
Let w = 231 - 242. Let s = 778 + -782. Do s and w have the same value?
False
Let r(i) = i**2 - i - 8. Let b be r(4). Suppose 2*u - 42 = -b*u. Suppose 73 = 19*x - 117. Is x less than u?
False
Suppose p = 3*u + 67, 8*u - 4*u + p = -80. Suppose 0 = -v + d - 39, -7146 = 4*v + 5*d - 7080. Is v less than u?
True
Let a be (2 + 6/54*-33)*(-9)/66. Suppose -11*r - 9 = -2*r. Which is bigger: r or a?
a
Let s = 36644.35 + -36839. Which is greater: 0 or s?
0
Let i = -5212 - -5164. Is -48 >= i?
True
Suppose 5*a + r - 3305 = 0, r = -4*a + 3*r + 2644. Let h = a - 662. Is h greater than -11/40?
False
Suppose 5*s - 4*u + 780 = 0, -s - 147 = -0*s + u. Let c = s - -377. Is c greater than 226?
False
Let v(t) = 6*t**2 - 2*t + 31. Let z(x) = -7*x**2 - 31. Let u(l) = -6*v(l) - 5*z(l). Let a be u(4). Which is bigger: a or 2/37?
a
Let h(c) = -c**3 - 14*c**2 - 15*c - 26. Let w be h(-13). Suppose w = -0*r + 2*r - 8. Suppose 0 = -5*g + r*g + 1. Are 2/29 and g nonequal?
True
Let z = -3109 - -3023. Is z bigger than 4/7?
False
Let f = -39263 - -39263. Which is greater: -28/1625 or f?
f
Let z(f) = f**2 - 6*f - 1. Let a = -1 - -6. Let x be z(a). Let q be (-230)/12 + (-30)/(-780)*338. Is x <= q?
False
Let o be -103 + 11 + 10 + -8. Are -94 and o unequal?
True
Let w = -1986/35 + 33727/595. Which is smaller: w or -10?
-10
Suppose 0 = -4*q - 432 + 88. Let h = q + 98. Suppose -2*p - 5*o = 3*p - 15, -h = 3*p - 4*o. Which is bigger: -46/7 or p?
p
Suppose -3*j - 451 = -2*i - 4*j, -2*j = 3*i - 674. Let g be (i/(-2))/2 - (9 + -6). Let b = -60 - g. Which is greater: 1/10 or b?
1/10
Let g(r) = r**3 - 2*r**2 - r + 5. Let z be g(2). Suppose -z*a + 1003 = 160. Is 281 < a?
False
Suppose 0 = 13*f - 5*f - 104. Let o(t) = t**3 - 15*t**2 - 8*t + 41. Let p be o(f). Which is greater: -402 or p?
p
Let v be 0 + 5 - (6/(-2) - -201). Is -182 at least as big as v?
True
Suppose 5 - 71 = 33*m. Which is greater: -365 or m?
m
Let z = -22/13 + -228/65. Suppose -y = 14 - 5. Let c = y + 4. Is c < z?
False
Let c = -1693 - -1693. Which is greater: 1/5478 or c?
1/5478
Let y(w) = 10 + 3*w - 16 - 1. Let v be y(3). Let f be 3/(-6) + (105/v - 2). Is f at least 50?
True
Suppose -11*o + 11 = -0*o. Let n be 54/(-5)*(-9 + (-66)/(-9)). Which is smaller: n or o?
o
Let j(a) = -a**3 - 2*a**2 + a + 6. Let y be j(0). Suppose 2*x + 21 - 71 = 0. Suppose 9*r - 14*r = -x. Which is greater: r or y?
y
Let f = 28 + -23.3. Let d = -0.7 + f. Let b = -1/385 - 743/10395. Which is bigger: d or b?
d
Suppose 21*p + 12*p + 33 = 0. Let l be 5 + -3 - 8 - (p + -5). Which is smaller: l or 6/11?
l
Suppose 0 = -l - 5*p - 29, 51*l - 4*p = 47*l - 260. Let m(i) = -57*i**2 + i. Let u be m(-1). Are l and u equal?
False
Suppose -q + 1 - 7 = -5*k, q - k + 2 = 0. Is -39/46