 Is -2/7 less than a?
False
Let i = 2.16 + 16.84. Let q = 1487/2 - 744. Which is bigger: q or i?
i
Let l = -549 + 552. Let h(w) = -51*w**2 - w - 6. Let y be h(l). Which is smaller: y or -467?
y
Let a = 51 + -52. Let g = -0.08 + 0.064. Let u = 1.016 + g. Which is smaller: a or u?
a
Let p = -1 - -2. Let l be 372/713*3/48. Which is smaller: p or l?
l
Let d = -23509 + 24052. Are 578 and d nonequal?
True
Let a = 158081 + -1415671/9. Let d = a + -781. Are d and 4 non-equal?
True
Let m = -0.2 - -1.2. Let q = 3852.796 + -3794. Let p = q + 0.204. Which is bigger: p or m?
p
Let p = -5 - -6. Let n be (284/6)/((-189)/648). Let f = n - -162. Which is smaller: f or p?
f
Suppose -3*o - 171 + 174 = 0. Let r(x) = -49*x**3 + x**2 - 2*x + 1. Let y be r(o). Is y bigger than -47?
False
Let o = 1195 - 133839/112. Let c = 494 + -493. Is c > o?
True
Let k = 5005 - 5007. Which is smaller: 15/122 or k?
k
Let v = -13590 - -25691. Is v not equal to 0.1?
True
Let o be 948 - (-99 - -15)/(-12). Which is smaller: o or 936?
936
Let o(j) = -32*j + 52. Let q(g) = 6*g - 10. Let c(b) = -4*o(b) - 22*q(b). Let p be c(1). Let w be 10*-2*2/(-8). Is p at most w?
False
Let i = 30080999/6 + -4989451. Let s = 23918 - i. Let m = -130 - s. Is m > 1?
False
Let f = -20 + 250. Let x be 4*7/(-28) - f. Which is smaller: -232 or x?
-232
Let l = -18 - -19. Let d be 3182/3885 - 2/15. Are l and d non-equal?
True
Let x(q) = 3*q**3 - 24*q**2 - 2*q + 21. Let g be x(8). Suppose k - 1 = 0, -3*k + 8*k + 210 = g*y. Which is smaller: 45 or y?
y
Let q = -10829 + 10833. Let x(b) = -b**3 + 3*b**2 + 4*b. Let r be x(4). Which is smaller: q or r?
r
Let h be (-19)/76 - 121/(-4). Let c be (2/(-5))/(2/(-5)). Which is smaller: h or c?
c
Suppose 0 = -4*c + 2*x - 13 + 45, -10 = -3*c - 2*x. Let s be (6/3)/(c/(-3)). Let y = -11 - s. Is y at most as big as -0.1?
True
Let i = -1/3135 - 69/13585. Is i greater than -1?
True
Let r be (-2 + 4)/1 - 3. Suppose 3*u + 84 = 4*f, -3*f + 2*f - 3*u + 6 = 0. Suppose f*q = -10 - 8. Is r < q?
False
Suppose -2*x - 21 = x. Suppose -5*h - 46 = -36. Let q be (36/(-6))/h*-1. Is x <= q?
True
Let s = 243 - 159. Suppose -4*g = 3*g - s. Suppose -4*r - 16 = -4*z, -5*z - 5*r = 33 - 103. Is g >= z?
True
Suppose 5 = -k, -4073 = -3*z + 14*k - 16*k. Which is bigger: z or 1360?
z
Let p = -5211 - -234481/45. Let b be (-2)/5*2/36. Let u = b + p. Which is smaller: u or 30?
u
Let j = 481 + -482. Let f = -0.177 + 46.177. Which is smaller: j or f?
j
Let z = 7870 - 7870. Let j = -30663 + 27903381/910. Let k = 1/65 + j. Is z at most k?
True
Let x = 1213 - 1213.06. Which is smaller: x or -29?
-29
Let w be (11/8*-30)/((-87)/406). Which is smaller: w or 192?
192
Let q = 50804394/703 - 72268. Which is smaller: q or 1?
q
Suppose 7*f + 288 - 50 = 0. Let u = 43 + f. Let q be (u/4)/((-2)/16). Is q smaller than -18?
False
Let x be (-1 - -2)/((-2)/4). Let w = -39 - -41. Let n be (9/27)/(2/((-32)/w)). Which is smaller: n or x?
n
Let z(c) = -2*c - 58. Let b be z(13). Let j be (-3*b/8)/30. Is j > 2?
False
Suppose -38*q = -36*q - 3*m + 421, 4*q - 4*m = -840. Which is bigger: -212 or q?
q
Suppose -9 = -2*d - 11. Suppose -1006 = -7*h - 376. Let f be ((-2)/8)/((-39)/h*-5). Is f less than d?
False
Suppose -3*t = 5*c - 194 + 2077, c - 5*t = -399. Let p = -4181/11 - c. Let f be (-2)/2*(42/14 - 2). Do p and f have the same value?
False
Suppose 12*b - 61 = 59. Suppose -2 = -16*g + 19*g + k, 2*g + 5*k = -b. Which is smaller: g or -6/17?
-6/17
Let g be (-3)/(-18) - -3*(-12)/((-2160)/650). Suppose -5*f = -4*f. Is f less than or equal to g?
True
Let s = 1211.1 + -1211. Let z(d) = -44*d + 2. Let y be z(-3). Which is smaller: s or y?
s
Let r = 7 + -5. Let l be (57/(-15) + 3)*r. Suppose 0 = 51*p + 13 + 51 - 13. Is l bigger than p?
False
Suppose -5*t - 3*a - 1679 + 33 = 0, -3*t - 5*a = 978. Let f = -334 - t. Which is smaller: 41 or f?
f
Let j = 8.97 + 0.03. Let y = -241.4 - -94.5. Let b = 147 + y. Which is greater: j or b?
j
Let w = 2719.78 - 2709. Is w equal to -2?
False
Let l be 8/(-60)*(-89620)/21. Let k = 569 - l. Is k at least 0?
False
Let b = 415 + -201. Let s = b - 214.06. Let o = -10 + 9.94. Is o at least as big as s?
True
Suppose -z - 660 = -12*z. Let l be 4 + -1 + (-13)/((-39)/z). Which is greater: l or 26?
26
Let o(j) = -3*j**3 + 2*j - 1. Let f be o(1). Let p = 8546 + -102559/12. Which is greater: p or f?
p
Let m = -23619 + 23618. Do 802 and m have the same value?
False
Let l = -48 + 48.2. Let o = -57 - -67. Let g = o + -10.6. Which is smaller: l or g?
g
Let l = 1827/2 - 261263/286. Let b = -4.16 - -3.16. Is l != b?
True
Suppose -4*p - 123*l + 1 = -128*l, -3 = 4*p - l. Is p less than -1/1503?
True
Let k = 1.5271 + -1.6111. Is k <= 1.4?
True
Let n(s) = -s**3 + 8*s**2 - 5*s - 2. Let h be n(7). Suppose 0 = 10*x + h - 2. Let j be ((-8)/42)/(x/(-6)). Which is bigger: j or -2?
j
Let n(f) = -2*f - 10. Let u be n(15). Let r = u + 43. Let l be (-6)/15 - (-44)/20. Is l equal to r?
False
Suppose 3*y = 640 + 242. Suppose -196 = -2*q - t, -y = 33*q - 36*q - 4*t. Is q equal to 98?
True
Let k = 1074989766/2299 - 467590. Let z = k - 6/121. Is z less than 0?
False
Let y = 153041/19 - 8050. Let r = y - 5919/1216. Which is smaller: 0 or r?
r
Let i = 1821.55 + -1895. Let j = 73 + i. Let l = 188/3 + -62. Which is bigger: l or j?
l
Let g = 414 - 717. Let r be g/30 + 10 + (-131)/(-510). Are -1 and r equal?
False
Suppose -6070 - 622 = -33*s + 2812. Is 288 equal to s?
True
Let s = -1029 - -1046. Is s > -5?
True
Let s be ((272/(-40) - -4) + (-1)/5)/(-3). Is s bigger than -6/1217?
True
Let c = 13139 - 13109. Suppose -91 = -3*w + 11. Which is bigger: w or c?
w
Suppose 25*s = 44*s - 17*s - 766. Which is greater: 4200/11 or s?
s
Let o = 542 - 541.8. Which is bigger: 652/29 or o?
652/29
Let v be (97/((-5820)/(-7416)))/(124/(-30)). Is -29 at most as big as v?
False
Suppose 5358 = 14*q + 5*q. Let c = 281 - q. Which is smaller: -3/124 or c?
c
Let s be ((-330)/60 - -5)/(24374/4). Which is bigger: -0.1 or s?
s
Let z = 257.85 - 259.85. Is 158.4 at least z?
True
Let r be (-4646)/506 + (11 - 2) - 6900/(-77). Is r < 90?
True
Let c be ((-28136)/35195)/4 - (-1 + (-20)/(-25)). Which is greater: 1 or c?
1
Let k be (60/4120)/((-15)/(-20)). Let d be (-65)/(-26) - (-31)/(-14). Which is greater: k or d?
d
Let r be 6/(-16) + (-3313975)/728 + -7. Let f = r - -4562. Which is smaller: 2 or f?
2
Suppose -15 = 5*l, 0 = 5*g + 4*l - 14 + 51. Let j be (g + 33/6)*2 + -221. Is j >= -221?
True
Let z be (-4)/486*(-3 - -2). Let g be -2 - (-9 - 0) - (33 + 598/(-23)). Which is smaller: g or z?
g
Suppose 2*h - 8 = -2*j, 0*j - 2*j = 4*h - 2. Let f be (-40)/3 + j/21. Let l(q) = q**3 - 35*q**2 + 36*q - 79. Let k be l(34). Which is smaller: f or k?
f
Let d be 27/(-108) - 35/12*(-3493)/(-147). Is d greater than -71?
True
Let s = 47 + -33. Let l = -235 + 237. Let a be 62/5 + l/5*-1. Is s at most a?
False
Let t = -3732 - -3732.053. Let w = 0.018 - 2.118. Let q = w + 2.2. Is t less than or equal to q?
True
Let u(i) = 20*i**2 + 1. Let l be u(1). Suppose a = -n + l, 3*n + 29 = 5*a - 76. Let w = 49 - a. Is 27 <= w?
True
Let g = 26 + -26.2. Let w(z) = 2*z**2 - 34*z + 12. Let c be w(15). Which is smaller: c or g?
c
Suppose 148*y - 2913 - 28611 = 0. Which is greater: 207 or y?
y
Let w = -1.1934 + 2.1934. Which is bigger: w or -52/5?
w
Let w = 334/3 - 19369/174. Let v = w - -19/3944. Which is bigger: v or -1?
v
Let r = -22.26 + 22.16. Which is greater: r or 2468?
2468
Let v = -1626207/37 - -43948. Which is smaller: -4 or v?
-4
Let w be ((-2)/1)/((-18)/747). Let y = w - -28. Which is greater: y or 110?
y
Let b(a) = -2*a**3 - 34*a**2 - 61*a + 2. Let v = -672 + 657. Let s be b(v). Which is greater: s or 16?
s
Suppose 4*y - a + 3971103 = 0, 2*y - a = 6*y + 3971105. Let l = 8916653/9 + y. Let b = l - -2039. Which is smaller: b or 3?
b
Suppose -1305 = 72*d - 69*d + 2*s, 4*d = 4*s - 1780. Which is smaller: -440 or d?
-440
Let f be (-273)/(-93) - 1*3. Let a be 4*26/52*(-1)/(-2). Which is smaller: a or f?
f
Suppose 23697 = 7*g + 6099. Let j = -62833/25 + g. Which is bigger: 0 or j?
j
Let y be (12051/(-81) - 10) + (-2)/9. Let j be (-7)/(-6)*y/742. Which is smaller: j or -3/28?
j
Suppose 3*n + 10 = 5*z, -z - 4 - 2 = n. Let a be -4 - -3 - (-2 + -7 + z). Suppose -5*u = -3*i + 33, 2*u - 3*i - a = 4*u. Which is small