). Let x = 4 + v. Which is greater: x or -7?
x
Let o = 693/2465 - -23/85. Let p be 4/((9/(-12))/(0 + 12/(-32))). Is o >= p?
False
Let f(s) = 4*s**2 + 4*s - 3. Let k = -45 - -46. Let g be f(k). Suppose u = -g + 8. Is u greater than or equal to 4?
False
Let g be 0*((-11)/(-5) + (-11 - -9)). Is g greater than -2480?
True
Suppose -5735 = 4*d + d. Let w be ((-2)/3)/(3 + 504721/(-168273)). Let x = d - w. Is x at least as big as -1?
False
Let o = 14400 + -28801/2. Which is smaller: 10843 or o?
o
Let g be (5/((-35)/1122))/((-71)/497). Is g less than 1121?
False
Let z(n) = 2*n**2 - 2*n - 7. Let p be z(-6). Let k be (1 + -2)/((-7)/p). Suppose 356*j + 154 = 370*j. Is j < k?
False
Let b be 10/50 + 77*2/5. Suppose -b*q - 9*q = 10320. Is q not equal to -259?
True
Suppose 9*r = -2*r + 1848. Let j = 153 - r. Which is smaller: j or -14?
j
Let p(x) = x**3 + 6*x**2 + 3. Let t be p(-6). Let s be 40/(-15) + t - 1. Which is greater: 19.8 or s?
19.8
Let v = 5/6187 + -228944/30935. Suppose -5*n + 238 = 63. Suppose 2*m - n = 7*m. Is v > m?
False
Suppose t + 1612 = -5*c, -76*t + 78*t = -4. Let r = -330 - c. Let n be (8/(-6))/(2/6). Is n at least r?
True
Let n = -1401.398 + -4.602. Are n and 0.1 equal?
False
Let r be 7 + -9 + -4643 - 0. Are -4645 and r unequal?
False
Let a = -67 - -67. Suppose 0 = -5*l - 5*n + 425, -n + 4 = -2*n. Let t = l - 1511/17. Is t less than a?
False
Let h = 5/103 + -2843/56444. Let p = -237264189/7553084 - -38907/1253. Let t = h + p. Is 1 less than or equal to t?
False
Suppose -43*h = -99*h - 15624. Which is smaller: h or -1/8?
h
Suppose 0 = -0*b + b - 36. Suppose -3*s - 2*o = 2, 3*s - 15 + 7 = -4*o. Let r(q) = q**2 - 7*q - 7. Let j be r(s). Which is smaller: b or j?
b
Let x = 60 + -80. Let y be ((-59)/x*6)/((-126)/(-525)). Let d = y + -74. Are -0.01 and d equal?
False
Let t = -1982 + 2138.1. Let k = t + -156. Is -0.11 >= k?
False
Suppose 11201*v = 11473*v + 816. Suppose -4*j = 2*m - 6, 2*m + m = 3*j + 18. Let w = 3 - m. Which is smaller: v or w?
v
Let r = -37 + 53. Let h = r - 68. Let d be h/91*(-27)/(-4). Which is smaller: -5 or d?
-5
Let h be ((-11037)/91 + (-4)/(-14))/(-9 - -8). Which is smaller: h or 131?
h
Suppose q = -0*q - 4*q. Suppose -4*v - 5*c + 25 = 0, q = 2*c + 3*c - 25. Suppose v = 2*i - 3*i + 1. Is i greater than -0.1?
True
Suppose 3*u + 29 = -28. Let z = -15909 + 15889. Which is smaller: z or u?
z
Let k = 939.6 - 939.5. Which is greater: 45/64 or k?
45/64
Let o = -0.18 - -14.18. Let m = 614.78 + -614.98. Which is bigger: o or m?
o
Suppose 50*y - 6*y - 59 = -103. Is y bigger than -26/219?
False
Let t(q) = -101*q - 22. Let x be t(6). Let s = x + 1136. Suppose 9*a + s - 4 = 0. Is -56 not equal to a?
False
Let i = -12210 + 12210. Is 1/100 <= i?
False
Suppose -45 = 24*n - 15*n. Let g be (-4)/(-1) + (-100)/17 + -2. Which is smaller: n or g?
n
Suppose -18218 = -119*q + 4630. Which is smaller: 195 or q?
q
Let b(p) = -25*p - 259. Let x be b(10). Let q = x - -2547/5. Which is smaller: 5/71 or q?
5/71
Let b be (-304358)/696*51/39. Let x = -23266/39 - b. Let t = x + 99/4. Which is greater: t or 1?
1
Let i = -53 - -78. Suppose 5*o + 3*t - i = 0, -t + 3*t - 12 = -o. Suppose 3*j + 0*j = 2*z - 13, -o*z - 12 = 2*j. Is -6/17 >= z?
True
Let x = 135 + -92. Let a = -1 - 25. Let g = a + x. Is g equal to 0.1?
False
Let o be 1 + (-14055)/19971 - ((-69)/(-21) + -3). Which is bigger: o or 1?
1
Let m = 24639 - 24564. Is 61 <= m?
True
Suppose 7 = 5*j + 2. Suppose -18*w - 10*w = -4*w - 72. Which is bigger: w or j?
w
Let a = 3341 + -3402.34. Let l = -62 - a. Let i = -0.34 + l. Which is smaller: 0.2 or i?
i
Let j be -2 + ((-9)/18)/(5/(-870)). Which is bigger: 43 or j?
j
Suppose 12*z = 563 - 563. Which is bigger: z or 34?
34
Let d = 765 + -765.543. Let i = d + 0.57. Let t = 0.213 + i. Which is bigger: t or 0.1?
t
Suppose -q + 10 = -5*z + 3*q, 2*z - 24 = -4*q. Suppose -7 = -3*h + z*h. Let j = 1242 - 1237. Which is smaller: j or h?
j
Let p(g) = 3*g**3 - 10*g**2 + 4. Let u be p(3). Let h be 6/10 + 1504/360 + u. Which is smaller: 85/2 or h?
h
Let g = -4.6 + 4.556. Let m = g + -10.956. Let c = m + 11.22. Is c greater than -1/2?
True
Let d = -0.195 - -0.095. Let i = 482.7 - 602. Let a = -125 - i. Is a < d?
True
Let d = -1/192 - -59/64. Let f(i) = i**3 + 6*i**2 - 56*i - 319. Let b be f(-8). Is b at most as big as d?
False
Suppose 7 = 4*v - 1. Let s(n) = -2*n**2 - 3. Let r be s(v). Suppose 0 = m - 0*m. Is m != r?
True
Let i = -12190 - -12049. Which is greater: 10 or i?
10
Suppose 108*r + 134 = 2*m + 103*r, -4*r = 4*m - 212. Which is smaller: m or 59?
m
Let o = -8 - -2. Let m be 197*2/9 + (-36)/(-162). Let s = m - 49. Which is smaller: o or s?
o
Let y = -28475 + 28534. Do y and 239/4 have different values?
True
Let k = -10341 - -5263563/509. Is 1 > k?
True
Let m = -3 - -2. Let u = 4700/17 + 24135/119. Let z = 479 - u. Is m smaller than z?
True
Let k be 226/(-20*324/90). Do -3 and k have different values?
True
Let m(j) = -2*j**2 + 18. Let f be m(7). Let x be ((-46)/8)/(-7 - f/12). Is x greater than 16?
True
Let u be 810/567 - 6/14. Let x be 1 - 7 - (u - -120). Which is smaller: x or -129?
-129
Let y(z) = -z**3 + 7*z**2 + 8*z - 3. Let x be y(6). Let w = -45 + x. Let r be 1/(-7) - 192/(-168). Is r not equal to w?
True
Let s = 2.15947 + -0.15947. Let b = 5 + -2. Let g = -1 + b. Is g equal to s?
True
Let g be -2 + 2*(-506)/(-4). Suppose -1260 = -5*x + 3*s, -1640*x + s = -1637*x - 752. Which is greater: g or x?
g
Suppose -1196*u - 17920 = -1224*u. Is u at most as big as 638?
False
Let l(n) = -19*n - 1249. Let z be l(-51). Let s be 2/10*-1*-2. Is z != s?
True
Let q = -0.1 + 0.1. Let r(y) = 6*y**2 - 9*y - 3. Let m be r(4). Let a be (92/22 - 4) + m/(-132). Which is smaller: a or q?
a
Let o = -0.1 + 0.14. Suppose 3*u + 92 = 2*k + 29, 0 = 5*k. Let v(i) = i + 26. Let s be v(u). Which is greater: s or o?
s
Let z = -5449 + 5453. Which is smaller: z or 683?
z
Suppose 4*b = 4*s + 12, 0*b + 4*s = -4*b - 4. Let j = b + -16. Let k be (-4)/5 - ((-1008)/j)/6. Is -12 < k?
False
Let p be (2/4)/(13/624) - 2. Suppose 0 = p*r - 18*r. Let u be (-1)/(-2) - (0 + r). Which is smaller: 0.8 or u?
u
Let z be (-252)/168*15122/30 - 3/(-30). Is -4 > z?
True
Let r(w) = -15*w - 43. Let c(i) = 4*i + 18. Let v be c(-6). Let l(y) = 7*y + 21. Let s(o) = v*r(o) - 13*l(o). Let d be s(15). Which is smaller: d or 2?
d
Suppose 4*c = -4, 0*c = 2*o - c - 7. Let n = 4 + o. Suppose 0 = 2*u, 5*h = 5*u + 39 - 9. Is n >= h?
True
Suppose 0 = 6*k - 2*k. Let c(w) = 2063*w - 304. Let v be c(-11). Let l be v/4575 + (6 - 1). Which is bigger: k or l?
k
Let r be ((-8652)/432 - -20)/(31/2). Are 2 and r equal?
False
Let f be ((-6)/4)/(9/(-12)). Suppose p = f*t - 4*t - 5, -t - 25 = 5*p. Let q = 5803/24 + -242. Is q at most t?
True
Let a = 0.14 - -0.06. Let v = 481.16 + -481. Let k = a - v. Is 4 greater than k?
True
Let p be (-472)/(-48) + 5/30. Suppose 3*n + p = -v + 4, -3*v + 17 = 2*n. Let l(z) = z**3 + 2*z**2 - 3*z + 1. Let i be l(2). Is v smaller than i?
True
Let y = -372.5 + 389.5. Which is greater: 0.36 or y?
y
Suppose 4*j - 17 = -3*v + 10, 2*j = -5*v + 31. Suppose 4*f - 3 = v. Let l(t) = t**3 + 2*t**2 - 4*t + 3. Let i be l(f). Which is smaller: 2/5 or i?
2/5
Let k = -15 + 18. Suppose -2*o - 10 = 0, -x + 2*o + 27 - k = 0. Suppose 0*c - 5*c + 78 = -4*i, 3*c - 4*i - 50 = 0. Is c less than x?
False
Let s(r) = -671*r**2 + 60*r + 39. Let u be s(3). Is u != -5821?
True
Let p(k) = -k**3 + 10*k**2 + 536*k - 60*k**2 + 2*k**2 + 81 - 381*k. Let c be p(-51). Is 2 >= c?
True
Let f = -44.1 + 23.9. Let l = f + 22. Let y = 78/5 - 16. Is l != y?
True
Suppose 7*g + 13*g = 3*g - 4*g. Is g greater than or equal to -2/24895?
True
Let n(c) = c**3 + 2*c**2 - 3*c - 491. Let r be n(0). Let u = r + 493. Is u equal to 9?
False
Let o = 0.19 + 0.01. Let q be ((-15)/5 - -1)*(-5 - 133/14). Which is greater: q or o?
q
Let g = -8071717/45810 - 1/9162. Is g less than or equal to -177?
False
Let r be (-6)/42*(4 + 1295/(-21)). Is r not equal to 9?
True
Let i = 1.23 - 2.23. Let z = -0.89 - -2.18. Which is smaller: z or i?
i
Let h = 984513/178 - 5531. Which is smaller: h or 1?
h
Let y be (-3 - 77/(-21)) + (-368)/(-6). Let i = -126 + 186. Which is smaller: y or i?
i
Suppose 800 = 5*l - 2*u, -l + u - 71 + 231 = 0. Let q = -335/2 + l. Suppose 862 = -434*d + 3*d. I