o t?
True
Let v be 22*(-1 - 1/(-2)). Let a(f) = 5*f - 2. Let w be a(-6). Let i be 16/(-12) - -1 - w/(-3). Is i at most as big as v?
True
Let v be (-228)/(-14) + (-2)/7. Let c(l) = -808*l**2 + 50097*l - 47. Let q be c(62). Is v > q?
True
Let j = 1868 - 2090.1. Let d = j - -222. Is d not equal to -4?
True
Let w = -2.5997 + 2.3997. Which is greater: 11831 or w?
11831
Let k(o) = 2*o**2 + 2*o + 3. Let v be k(3). Suppose -5*d = 5*b - 705, 5*d - 2*b - 528 - 149 = 0. Suppose -14*t + d = -213. Which is greater: v or t?
v
Let z be ((-7)/(-2))/((-5)/100). Let j(r) = 7*r**3 - 6*r**2 - 4*r + 2. Let s be j(-2). Is s bigger than z?
False
Let p be (-98)/(-261)*(-3)/2. Let o = p + -3/29. Let j = 1 + o. Which is bigger: j or -0.18?
j
Let c be ((-18)/(-1050))/((-10)/(-35)). Suppose 5*x + 156 = -4*f, x = -4*x - 5*f - 160. Let m = -28 - x. Which is bigger: c or m?
c
Let q(j) = -2*j**2 - 4*j + 2. Let a be q(-4). Suppose 46*f = 172*f + 882. Which is smaller: a or f?
a
Suppose 98*n - 87*n - 309 = -100. Suppose 5*b = -0*b + 120. Is n not equal to b?
True
Let k(f) = -f - 2. Suppose 3*b = 9*b - 12. Suppose -b*u + 9*u + 28 = 0. Let v be k(u). Which is smaller: -2.3 or v?
-2.3
Let a(u) = u**2 + 7*u - 68. Let p be a(10). Let m(c) = -2*c + 22. Let b be m(11). Let t(h) = -3*h + 101. Let v be t(b). Which is bigger: v or p?
p
Let i = 24.805 + -24.7827. Is 1/8 smaller than i?
False
Let o be (-3 - (0/(-3) - 2)) + 1. Suppose o = -0*r - 2*r + 6. Let j = -6 + 10. Which is smaller: j or r?
r
Let c = 52747 - 5432897/103. Which is smaller: 0 or c?
0
Let w = -29 - -110. Let c = w - 80. Let k be (-1)/2*(-3)/2. Is c at most k?
False
Let p = -9066 + 9070. Which is bigger: p or -712/3?
p
Let r(o) = 2*o**2 + 25*o + 97. Let g be r(-7). Is 28 equal to g?
False
Let w be 110335/15*3/392. Let m = w + -451/8. Let d(j) = -2*j**2 - 34*j + 37. Let n be d(-18). Is m <= n?
True
Let j(o) = -13*o + 170. Suppose 11*r + 26 = 169. Let z be j(r). Is -6/167 at least z?
False
Let l = 246 - 244. Suppose -3*x = l*r + 5, 2*x + 3 = -2*r - 1. Which is greater: -3.6 or x?
x
Let s(p) = 112*p + 992. Let a be s(-19). Which is greater: -2/3 or a?
-2/3
Let v = 8.6 - 4. Let b = v - 5.7. Let l = 0 + b. Which is smaller: l or 1/4?
l
Let c = -0.8661 - -1.4661. Which is smaller: c or -1/8?
-1/8
Let a(k) = -73*k**3 + k**2 - 5*k - 3. Let i be a(-2). Let n = 23215/39 - i. Which is smaller: -1 or n?
-1
Let y = -35 - -26. Let b(x) = -x**3 + 4*x**2 - x + 8. Let a be b(4). Suppose a = 2*m + 2*m - 4*j, 0 = -j - 5. Is y not equal to m?
True
Suppose -5*s - 3*c = -2*c - 1263, 3*c = 3*s - 729. Is s not equal to 245?
True
Let r be (-125578)/(-195730) + (-6)/10. Is -1 equal to r?
False
Let r(j) = j**2 - 10*j - 41. Let k be r(19). Let v be 12/k*(-105)/(-84). Is -5/6 >= v?
False
Let w = 12.7874 - 12.74. Is 3/8 less than or equal to w?
False
Let s be 0 - (-2 + 4) - 1725. Let u = s - -36244/21. Let p = -5/3 - u. Is p > 0?
False
Let f be 1 + (-7 - (-6 - 1 - -2)). Let v be 3808/(-9 - f) + -8. Do -484 and v have the same value?
True
Let k be 4 + -134*((-7)/2 - -5). Which is bigger: k or -196?
-196
Suppose -4*x - 6 = 3*r, 0 = r - 2*x + 6*x + 2. Let l be r/(-7) - 2/21*2271. Let g be -3 - 1 - l/60. Is g at most as big as -1/18?
True
Let d be ((-9)/6)/(21/76). Let p = -54645 - -3442300/63. Let a = p - d. Is 2 >= a?
True
Let j be ((-202)/100 + 2)*(-2468)/(-62317). Is j greater than 0?
False
Suppose 5*z - 460 = -110*z. Are z and 8/3 nonequal?
True
Let g(i) = -473*i + 126. Let j be g(13). Is j less than or equal to -6025?
False
Let u(a) = -11*a**3 - 30*a**2 - 36*a + 144. Let z(j) = -5*j**3 - 15*j**2 - 18*j + 72. Let h(b) = -6*u(b) + 13*z(b). Let n be h(16). Is n at most 40?
True
Let b(k) = -74*k + 189. Let u be b(2). Is 25 less than u?
True
Let z be (-8)/36 - (-23)/90. Let q = -3510 - -3510. Is z less than q?
False
Let n = 447/17 - 3044/119. Is -2/95 < n?
True
Let z be (-2717)/(-1173) - 4 - (-2 + 1). Let t = z + 26/51. Let k = -142/3 + 48. Is t at least k?
False
Suppose -9448*x + 26 = -9449*x + r, -2*x - 4*r - 148 = 0. Let q be ((-2)/(-3) - 0)*6. Suppose q*d = -12, -4*t = 4*d - 2*d + 182. Is t at least as big as x?
False
Suppose -246*j = -258*j - 876. Let o be 2*(-3)/2 - 71. Is j > o?
True
Let i = -88/129 - -15/43. Let d = -780 - -779.651. Which is smaller: i or d?
d
Let q = -9 - -9.035. Suppose 2889*v = 2880*v + 18. Which is smaller: q or v?
q
Suppose 6*f + 3*o = 9*f - 2745, 3*o - 923 = -f. Is -1 less than f?
True
Let p = -46 - -48. Suppose p*w = 3*j + 33, -w - 5*j = -2 - 21. Let q be (-28)/(-36) - (-2 - (-32)/w). Which is smaller: q or 1/4?
1/4
Let f(v) = -v**3 + 21*v**2 + 14*v - 8. Let y be f(21). Let w = -288 + y. Are w and 2 equal?
False
Suppose 0 = 9*v - 5*v - 80. Suppose -2*i = 2*s - i - v, s + 4*i + 4 = 0. Let d = -13 + s. Is d < 2/19?
True
Suppose 6*g + g + 14 = 0. Let p be (-14)/7 + 3/((-9)/(-164)). Let x = -54 + p. Which is smaller: x or g?
g
Let y(t) = -2*t**3 + 19*t**2 - 7*t - 14. Let r be y(9). Let v be ((-6)/r)/((-3)/(-8)). Does v = 2?
False
Let i = -8149 - -8202.1. Is 0 bigger than i?
False
Let i = -7419/4340 + -3/620. Let d(y) = 22*y + 28. Let r be d(-4). Let t = r + 59. Which is smaller: t or i?
i
Let l(a) = 10*a + 5. Let k be (1 - 21/(-4)) + (-13)/52. Let m be l(k). Let w be (-148)/(-345) + (-26)/m. Which is greater: 1 or w?
1
Let k be (-14)/4*(-324)/(-567)*7. Which is bigger: k or 294?
294
Suppose -69296 = 12*o + 5636 - 14332. Which is greater: o or -5051?
o
Suppose -8*r = -5938 - 782. Let j be 1224/r + 3/(-5). Let m be 0/(3 + (0 - 2)). Which is smaller: j or m?
m
Let r(m) = 52*m - 312. Let b be r(6). Let v be 18/2 - (-2 - -3). Which is greater: v or b?
v
Suppose -5*u + 4*u + 3*s = -23, 0 = -3*u - 5*s + 13. Suppose -p = -4, t + 47*p + u = 50*p. Suppose -4*o - i = -12, -5*i + 12 + 0 = -4*o. Is t != o?
True
Let r be 274/384 - (-4)/(-6). Let l = -42.6557 - -40.6557. Is l greater than r?
False
Suppose -93*r = 5*m - 90*r - 25548, 4*m - 4*r = 20496. Does 5115 = m?
True
Let a = 18 - 17.3. Let p = -77 + 78. Let r = -0.7 + p. Which is smaller: a or r?
r
Let b be 12/(-10)*(2 - -48). Let f be 23/b - (-1)/3. Suppose 37*u - 246 = 241 - 450. Is f >= u?
False
Let g(q) = 88*q**3 - 5*q**2 + 7*q - 2. Let l be g(1). Let d be l/14 - (30/6 + -6). Let v be (-4)/(-10) + (-198)/(-30). Which is smaller: d or v?
v
Let u = 781/178 + 653449/890. Which is bigger: u or 739?
739
Let m = 39787 - 39481. Which is greater: m or 313?
313
Let x be ((-12797)/(-1528) + (-16)/2)/(6/4). Which is greater: 4966 or x?
4966
Let z = -122 - 593. Let x = 564 + z. Which is smaller: x or 0?
x
Let u = 16.258 + -16.558. Which is smaller: u or 306?
u
Let w = 556 - 10551/19. Let n = w + 11/95. Is n smaller than 0.01?
False
Let z = -64 + 66. Let n = 12 - 11.4. Let s = 0 - n. Is z at least s?
True
Suppose 43*b - 138 = 84*b + 97*b. Is 1/6520 at most b?
False
Suppose 76*t - 7*t = 5*t. Is t >= 67/154?
False
Suppose 128*h - 54*h = -49*h - 382899. Which is smaller: h or -3114?
-3114
Let p(c) = 4*c**3 - 13*c**2 + 2*c + 4. Let k be p(3). Let y be (k/(-2) + 1)/(-5)*-44. Are 5 and y nonequal?
True
Let s(k) = -k**3 + 10*k**2 - k + 22. Suppose -4*i + 88 + 32 = 0. Suppose 3*d = 60 - i. Let u be s(d). Are u and 2/5 equal?
False
Let p = 4139 + -4335. Does p = 0.2?
False
Let d = 25581 + -25580.7. Which is greater: d or -4/467?
d
Let h be (((-2)/(-5))/1)/((-2)/(-40)). Suppose -h*f + 11*f + 102 = 5*v, 0 = -4*v + f + 83. Which is smaller: 19 or v?
19
Let h = -199 - -195. Let t be 1/((-1)/3)*-4. Let f be (h/t*3)/((-2)/14). Which is smaller: 3 or f?
3
Suppose 0 = -3*h - 3*q - 81, 3*h - 3*q + q = -91. Suppose 0 = 4*z + o - 6*o + 21, 0 = -2*z - 5*o + 27. Let r be (-11 - (2 - -18))*(2 - z). Is h <= r?
False
Let z be 2*(70/(-56))/(-1) + 10/(-4). Which is greater: 1/2606 or z?
1/2606
Suppose 14*q + 29 - 3 = 12. Which is bigger: q or 3/9118?
3/9118
Let f(a) = a**3 - 10*a**2 + 4*a + 46. Let p be f(9). Let o = -1497 - -79337/53. Is p bigger than o?
True
Let l be (-1401786)/(-1080) + (-1)/5. Let y = 1301 - l. Suppose -m + 1 = -3*c, -5*m - 4*c + 5*c = -19. Is m at most as big as y?
False
Let n(q) = q**3 - 22*q**2 + 24*q - 7. Let z be n(21). Let u = 18969/347 - -1/1041. Let p = z - u. Which is smaller: p or -2/3?
-2/3
Let m = 14 + -13.963. Let g = -0.537 + m. Let z = g + 0.4. Which is bigger: -31 or z?
z
Suppose 