
False
Let l(s) = -s**3 - 10*s**2 + 18*s - 4. Let a be l(-12). Let n = a + -334/5. Is 2 at most as big as n?
False
Let i = -70 - -41. Let b = -5 - i. Let d = 0.6646 + 0.3354. Is b bigger than d?
True
Suppose 4*b = 16, -4*b = r + r. Let h be -7 + 1 + (-18)/6. Are h and r equal?
False
Let s(m) be the first derivative of 5/3*m**3 - 3*m**2 - 3 + m + 1/4*m**4. Let x be s(-6). Is x not equal to 1/22?
True
Let l be (4/1805)/(300 - 304). Is -1 at least as big as l?
False
Let v(z) = -78*z - 937. Let w be v(-12). Which is smaller: -104/67 or w?
-104/67
Suppose 2*d + j + 3*j = 16, 2*j - 10 = 0. Let s(m) = m**2 + 2*m - 6. Let o be s(0). Let b be o/201*(d + 1). Which is greater: b or 1?
1
Let w be 4*3/(-2) + (-34983)/45. Is w greater than -783?
False
Suppose k = 2*g + 1346, 2688 = -8*g + 4*g + 4*k. Which is greater: g or 10?
10
Let x(h) = -61*h**3 - 3 + 57*h**3 - 3*h + 1. Let z be x(-1). Suppose 0 = 3*v + z*v + 24. Which is greater: v or -1?
-1
Let q be (4 - 304/75)*6. Let g(w) = w**3 - 6*w**2 - 3*w - 28. Let n be g(7). Is n <= q?
False
Let w be ((-18)/6 - -1) + 0/11 + -4380. Are w and -4380 nonequal?
True
Suppose -376*n + 1306 + 3044 = -401*n. Which is smaller: n or -2956/17?
n
Suppose 3*y + y - 44 = 0. Suppose -4*v - j = -2*v - 11, v - 5*j + y = 0. Let t = -2 + v. Which is bigger: -1 or t?
t
Suppose 3*w - 2*d = -678, -2*w + 4*d - 639 = -179. Which is greater: -216 or w?
-216
Let s = 82298/43 + -1914. Let k = s + -461/129. Which is smaller: k or -0.6?
k
Let u = -3882 - -3890. Let q be 0 + 0/(-3) + -16. Let o be 1/1 - q/2. Is u greater than o?
False
Let v be 2/(-6) + (-30635)/(-231). Let t = v - 132. Let c be 20/(-50)*40/1. Is t at most as big as c?
False
Let n be 158/711 + (3/(-9))/(6/(-734)). Which is smaller: n or 1464/35?
n
Let o = 233.12617 + -20.05927. Let c = o + -0.0669. Which is bigger: c or -1?
c
Let l be -1*(-7 + (-37080)/(-6186)) + -1. Which is bigger: l or 0?
l
Let z = 371.7 - -54.3. Let r = -449 + z. Which is smaller: 0.2 or r?
r
Let v = 492.9925 - -0.0075. Let p = v + -616. Is p greater than or equal to 0?
False
Let h = 112559/7 + -16067. Let q(m) = 6*m - 4. Let w be q(3). Are h and w nonequal?
True
Let a = -8954.8 + 9471.19. Let q = a - 517. Which is smaller: q or 0?
q
Let i = -3/851687 - 695775146/15084228457. Let r = i - -5/89. Is r < 1?
True
Let y = -464 + 461. Let w = -5 - 5. Let u be (-3)/(-4) + w/(-15)*y. Is 0.3 at most u?
False
Let h(b) = b + 47. Let a be h(-17). Let j be ((-24)/(-65))/(12/a). Are 1 and j nonequal?
True
Let k = -144 - -130. Let h = -0.14 - 0.16. Is k not equal to h?
True
Let o be 129/2*(-8)/(-6). Is 82 bigger than o?
False
Let h(d) = -4*d**3 - 18*d**2 + 158*d - 9. Let o be h(4). Is 1028/13 != o?
True
Let b(f) = f**2 + f - 1. Let t be b(4). Let w(g) = g**3 - 47*g**2 + 133*g + 17. Let d be w(44). Suppose 24*m - 21*m + 2*y = d, 0 = 5*m + 3*y - 102. Is m >= t?
True
Let w = 890.433 + -891. Let u = w - -0.7. Let t = -0.163 + u. Which is greater: 2 or t?
2
Let g = -1177/5213 + -2/401. Let r = 7/26 - g. Let m(u) = u**3 - u**2 - 12*u - 37. Let o be m(6). Which is greater: r or o?
o
Let d = -58 - -82.2. Let x = d - 24.1. Is x greater than or equal to 1.19?
False
Let m = 627.9 - 967. Let c = 339 + m. Which is greater: c or -8?
c
Suppose -25*m + 72 = -3. Suppose -765 = -m*p - 2*p. Is 153 < p?
False
Let l(k) = -k**3 - k**2 - 7*k - 12. Let s be l(-2). Let f be (-90)/s*(-6)/435. Let q(z) = -z**2 - 7*z - 5. Let i be q(-6). Is f at most i?
True
Let g be (-11776)/(-140) - (-2)/7. Let c = -85 + g. Let w = -0.708 - -0.948. Are w and c equal?
False
Let i(s) = -9*s**3 - 2*s - 1. Let g be i(-1). Suppose g + 26 = 6*z. Suppose -4*t + 12 = -z*t. Which is smaller: -3 or t?
t
Let x(u) = 129*u + 3. Let z be x(0). Let i = 3 - 0. Suppose -4*j + 0*p = -z*p, i*j + 3*p = 0. Which is smaller: -1/87 or j?
-1/87
Let o(a) = -405*a - 1001. Let i be o(-7). Are 1834 and i non-equal?
False
Suppose -m + 0*u = 4*u - 8, -3*u = -3. Let p be 57/342 + (m/3)/1. Suppose -2*r = -5*c + 9, -c + 3*c = 2*r. Which is smaller: r or p?
p
Suppose -105*y = -y + 65*y + 3*y. Which is smaller: y or 4/71?
y
Suppose 4*s - 36 = -0. Let o be ((-3)/s)/(-1 - 0). Let k = 12404 + -12362. Is o bigger than k?
False
Let y be ((-14)/21)/(4/(-6)). Suppose 2409 = -63*a + 52*a. Let d be (-28)/(-3045)*a - -2. Which is greater: d or y?
y
Let r(f) = -f**3 - 87*f**2 + 758*f - 235. Let w be r(-95). Let j be (6/4)/((-3)/92). Is w bigger than j?
True
Let j = 6983 + -6982. Is j greater than -1/2795?
True
Let j = 841 + -842. Do j and -0.86 have the same value?
False
Suppose -2*v - 5*w + 2239461 = -3103074, 3*v - 4*w = 8013814. Let q be (v/8475 + 1/(-5))*-3. Let n = 945 + q. Is 1 <= n?
False
Let l(b) = -b**3 - 5*b**2 + 4*b + 7. Let z be l(-7). Let v be (37/3)/(235/(-30) + 8). Is v bigger than z?
False
Let s = 228 - 227.987. Which is smaller: 0 or s?
0
Let j(a) = a**2 - 8*a + 8. Let w be j(7). Let g(d) = 5*d**2 + 5*d - 21. Let r be g(9). Let u be (10/(-12))/((-195)/r). Is w at least as big as u?
False
Suppose -3*a - 3 = -3*w, -3*w + 23 = 2*w + 4*a. Let c be (6/(-24))/(w/(-2)). Which is smaller: c or 12?
c
Let s = 60354063296/83707143 - 2/3639441. Let q = 721 - s. Which is greater: 1 or q?
1
Let i be 1*80/(-12)*96/(-20). Let d = -62 - i. Let y be d*5/(-30)*3. Which is greater: 48 or y?
48
Let n = 3588 - 3589. Which is bigger: n or -2/12589?
-2/12589
Let l(m) = -m**3 - 10*m**2 + 76*m - 194. Let x be l(4). Which is greater: -120 or x?
x
Let p be (-1890)/(-783)*(-1537)/(-106). Let h be 254/7 + (-4)/14. Which is bigger: p or h?
h
Let u = 22106 + -309173/14. Is 22 > u?
False
Suppose 6*b - 2*b = 3220. Let j be (-12)/60 + b/(-225). Which is greater: j or -4?
j
Let u be (2 + (-15)/(-35))*(22 + -37)/105. Let p = 0 - 0. Which is greater: p or u?
p
Let g = -1758/17 + 107272/1037. Is g less than 0.144?
True
Let j = -38 + 341/9. Let w be 22/72 - (-35)/140. Let b = w - j. Is b at most 0?
False
Let r(l) = -2*l**2 + 22*l + 4. Let f be r(11). Suppose -f*y - 3 = -y. Let j be (y + 8/9)*3/(-33). Which is smaller: j or -1?
-1
Let m = -16593/7 + 12595/7. Which is smaller: -572 or m?
-572
Let m(v) = 757*v - 971. Let t be m(2). Which is greater: t or 551?
551
Let k = 3086.7 - 2800. Which is smaller: 1 or k?
1
Let n = 5415685/23256 - -7/2907. Is n < 234?
True
Let h = -0.009 - -391.009. Let z = 391.081 - h. Which is greater: z or -1/4?
z
Let p = -780 + 1005. Let w be 3/(-27) - 25/p. Which is greater: -186 or w?
w
Suppose 3*i + 132 = -w, -2*i - 3*w = -4*i - 88. Let k = -13 + i. Let g = -57 - k. Which is greater: g or -3/47?
g
Let a(y) = y**2 + y - 4. Let q be a(4). Let b(g) = -11*g + 11 + 26*g - q*g. Let l be b(12). Which is smaller: -32 or l?
-32
Let a = -4336 - -4311. Is -20 > a?
True
Let d(p) be the third derivative of -5*p**4/24 - 26*p**3 - 7*p**2 - 8*p. Let s be d(-28). Which is greater: s or -31/2?
-31/2
Let t be (-18 - -3)/5 - (-14226)/2976. Let g = -30/31 + t. Which is smaller: g or 0?
0
Let n be (-120)/(-130) - ((-37)/(-148))/((-26)/8). Let f = -1701/38 - -811/18. Let z = f - 14/19. Is z bigger than n?
False
Let l(s) be the third derivative of s**4/8 + 5*s**3/3 - 11*s**2. Let k be l(-7). Let o(b) = b**3 + 6*b**2 - 2*b - 10. Let a be o(-6). Is k smaller than a?
True
Let c = -114 - -118. Let g = -92 - c. Which is smaller: g or 0?
g
Let p(m) = -m**3 + 4*m**2 + 15*m - 2. Let x be p(8). Let c = 141 + x. Which is greater: c or 1?
c
Suppose 0 = -6*i + 223 + 209. Let w be (i - -1)*5/(-2). Let c = w + 188. Is 7 less than or equal to c?
False
Let o = -701.9957 + -0.0043. Let n = -702.5 - o. Let t = 1.3 + -0.3. Which is smaller: n or t?
n
Suppose 13 - 34 = i. Let k = -1 + 32. Suppose -k*p = -4*p + 567. Is p >= i?
True
Suppose 145*q - 148*q = 2*t + 1613, -817 = t - 2*q. Is t smaller than -817?
False
Let r(i) = 5*i**2 - 3*i - 13. Let f be r(6). Let g = f - 148. Which is bigger: g or 2/973?
g
Let d be (3/1)/((-10)/(110/1199)). Suppose 30 = b + 4*b - 5*c, -4*b + 5*c = -29. Which is greater: b or d?
b
Let h be (-5 - 140/(-30)) + (-57)/8946*-52. Is h bigger than 1?
False
Let m be ((-16)/(-10))/(1084/6775). Which is greater: m or 0.083?
m
Suppose -14 = -n - 190. Let h be (-70)/(40/(-25) - (-2)/1). Is n less than or equal to h?
True
Let n be (4/(-30)*9)/((-15)/50) - 5. Is n at least -1/3454?
False
Let j be (15/60 - 54/(-20)) + 36/(-48).