et f be 6986/441 - (-20)/18*6/15. Is f less than or equal to q?
True
Let v = -70.62 - -70.52. Is -3/877 at least as big as v?
True
Let i = 2576/17 + -112484/119. Which is greater: i or -793?
-793
Let p = 19069110911/1565 + -12184735. Let l = 2/313 - p. Are l and -1/107 equal?
False
Let x = 621.08 + 119.92. Do x and 2 have the same value?
False
Let j be 6/2 + (5 - 4). Suppose j*s - 95 + 25 = d, -3*s = -5*d - 44. Let n be (38/(-36) - -1)*4/s. Is n bigger than -1?
True
Let f(n) = n**3 + 50*n**2 + 7*n + 143. Let z be f(-50). Which is smaller: z or -188?
z
Let i be 2/(-13) + (-324)/(-78). Suppose -4*q + 7*q + 1 = 4*d, -2*q = i*d - 6. Is q greater than or equal to 1?
True
Suppose 287*n - 229603 = 176789. Is 1416 bigger than n?
False
Let w(o) = -3*o + 16. Suppose -c = 4, -32 = -4*j - 2*c - c. Suppose -2*v = -1 - j. Let t be w(v). Is t greater than -2?
False
Let z be 2 - (3708/120 - -4). Which is smaller: z or -32?
z
Let l be -1*4 + (25 + -603 - 15). Which is bigger: -0.4 or l?
-0.4
Let a be -1*1 - (36 + 0). Let g be (-12)/18*-63*(-3)/6. Let s = g - a. Which is bigger: s or 15?
s
Let b(q) = 6*q**2 + 14*q + 35. Let r be b(-4). Let v be 3/((r/(-230))/5). Is v > -2?
False
Let d(y) = -369*y**3 - 45*y**2 + 186*y - 1. Let b be d(4). Which is bigger: b or -23592?
-23592
Suppose -47*z = -103*z + 38*z + 1098. Is 71 at most z?
False
Let x = -0.34 + 0.44. Let u = 228.141 - 228. Let o = u - -64.859. Is x < o?
True
Let a be ((-4)/2)/(6/(-15)*1). Suppose 5*c = 3*u - 3, -6 = -29*c + 27*c. Is a > u?
False
Suppose 5*s - 6 = 3*d, -s - 12 = -d - 4*s. Let y(c) = 2*c - 2. Let t be y(d). Let a be -3 + (t/(-2))/(-1). Which is smaller: -0.23 or a?
a
Let z(n) = -n**2 - 6*n - 4. Let m be z(-5). Let u = -2052 + 1453. Let y = u - -598.65. Is m greater than or equal to y?
True
Let o = 175.51 + 283.49. Which is greater: 11 or o?
o
Let u = 551/20 - 139/4. Let z = u - -329/45. Suppose 5*p = -10, 0*p = 2*o + 2*p + 6. Which is bigger: o or z?
z
Let t = -0.227 + 0.637. Let c = t - -1.59. Do 52 and c have different values?
True
Let q be 28/8 - 2286/(-36). Let j = q - 336/5. Suppose 0*y - 3*y = 9. Is y smaller than j?
True
Let x be (24 - (-582)/(-24))/(154/78 + -2). Let b be 2*(-1)/2 - -12. Is x smaller than b?
True
Let q = 301.5 + -301.4. Let v = -4 - -8. Let o = -1 + v. Which is smaller: o or q?
q
Let g be ((-12)/54)/(8/6) - (-156)/288. Let a = 5 + -8. Is a != g?
True
Let r = -2/12077 + 24264/664235. Is r != 7/2?
True
Let d(v) = 8*v + 169. Let b be d(-23). Let z be ((-24)/b - 2)*(-20)/(-44). Is 0 less than or equal to z?
False
Let g = -665 + 665. Suppose -3*j + 2*u + g*u = 7, -2*u = 4*j - 14. Is -2/263 less than j?
True
Suppose 18*v - 14*v - 72 = 0. Let i be ((-6)/v)/(1 - 3). Suppose -5*c + 3*g + 8 = -0*g, 0 = -5*c + 2*g + 7. Which is bigger: i or c?
c
Let z be 112/24 + (-4)/6. Suppose 0 = -k - z*k. Let h = -5118 + 486208/95. Which is bigger: h or k?
k
Suppose -g - 6 = -3*g. Let y = 6 - g. Let b be -7 - (156/(-14) - 13/(-13)). Is y greater than b?
False
Let s(o) = -11*o + 109. Let b be s(30). Let q = -255 - b. Which is bigger: q or -33?
-33
Let d = -36 + 36.029. Let s = d + 38.771. Let v = -37 + s. Do -1/4 and v have different values?
True
Let l = 3.91 + -3.97. Is -0.0003 at most as big as l?
False
Suppose 0*k - 3*k - 12 = f, 0 = 3*f - 2*k + 3. Let a(i) = -i + 4. Let q be a(f). Suppose -3*o + 11 = -g, -2*g + 16 = 4*o - 3*g. Is q < o?
False
Let y = -234 + 257. Let p = 22.7 - y. Which is bigger: p or -41?
p
Suppose 2*k + 107 = 27. Let o be (2/(-6))/((-5 - -3)/(-114)). Let a = o - k. Which is smaller: a or 22?
a
Let f = -21/65 + 12/13. Let n = -12.534 - -12.404. Which is smaller: f or n?
n
Let b(j) = -23*j. Let q be b(2). Suppose 19*r + 40 = 29*r. Suppose r*k = -4*o - 41 - 139, 3*k + 135 = 4*o. Is k at least q?
True
Let z be (-3)/((-10 + 7 + 2)/(1/(-3))). Which is bigger: -1/4232 or z?
-1/4232
Let y be (17784/3549 - 5)/(1/10). Is 1 at most as big as y?
False
Let w = -462553/325527 - 2/17133. Are -2 and w nonequal?
True
Let j be 11/21 + (-8)/12. Let c = -2 + 2. Let h = c + 0. Which is smaller: j or h?
j
Let r = 2458 - 1706. Let v = r - 740. Which is bigger: 14 or v?
14
Let f be (-42426)/54 - (-8)/(-12). Let y = f - -787. Which is greater: 6/149 or y?
y
Let w = 271 - 220. Suppose w*v = 56*v. Suppose 3*r - u + 1 = 0, 0*r + 5*r - 4 = -4*u. Is r < v?
False
Let y be (-118244)/3960 - 4/18. Let w = -365/11 - y. Let x = w + 13/5. Which is bigger: 1 or x?
1
Let x = -6454.83 - -6453. Let i = -2.1 - -0.1. Let g = i - x. Which is greater: g or 2?
2
Let v be (52/(-28))/((-11)/(-42) + (-4)/42). Do -19 and v have the same value?
False
Let g = 2.1466 + -1.9466. Which is bigger: -66.61 or g?
g
Suppose -4*c + 4*o = -21896, -2*c + 7577 = 2*o - 3387. Is 5479 < c?
False
Let u be 86/(-301)*(4/(-20) + 117744/588195). Is u equal to 0?
False
Let p be (-155)/(-55) + (-7)/((-539)/14). Let v = 689133/8 - 86460. Let j = -315 - v. Which is bigger: j or p?
j
Let r be (21/140)/((-84)/512). Let t = r - -166/105. Which is smaller: 8.6 or t?
t
Let n = -340 + 499. Let o = -637/4 + n. Which is smaller: 4/11 or o?
o
Let j = -432 - -433. Suppose -509 = -2*a + 3295. Let c = 184496/97 - a. Is j less than c?
False
Let z = -5 - 19. Let u = -0.058 - -9.258. Let b = u + -7.2. Which is smaller: z or b?
z
Let r(o) = -107*o + 11074. Let y be r(127). Which is bigger: 6 or y?
6
Let s = -13.03 - -146.53. Is 1/2 less than or equal to s?
True
Suppose -21*t - 52 = -34*t. Suppose -4*i - 7 = -5*h - 23, t*i = -3*h - 16. Is 1/459 != i?
True
Let g be 258/18*(2 + 1). Let q = 43 + -88. Let w = g + q. Is w bigger than -23?
True
Let b be -34 + 29596/952 + 3. Suppose 2*l + 2 = 3*l. Let q be 1/2 + l/4. Is b < q?
True
Let v = 74 + -75. Let q be (0 - (-64)/(-36))*v/(-2). Suppose 0 = -2*u - 3*l + 9 + 3, -5*l = -20. Are q and u unequal?
True
Let o be (26 - 59)*((-616)/138 - -2). Let f = 244/3 - o. Is 0 greater than f?
False
Suppose -22*v - 60*v + 5716 = 714. Is v != -1.8?
True
Suppose -7700 = 18*y + 157*y. Let z(r) = -2*r**2 - 11*r - 6. Let s be z(-8). Let t be (-4)/(-2 - s/22). Is t <= y?
True
Let l be 128/24 - 2*2. Let m = 7533 - 15089/2. Which is smaller: m or l?
m
Let l = 12.13 + -0.13. Let o = -11.81 + l. Let i = -0.338 + -0.662. Which is smaller: i or o?
i
Let t = 23.7 + -33.07. Let b = -0.37 - t. Let c = b + -9.2. Is c less than or equal to -0.6?
False
Let a be -4*1 - (-1545)/(-30)*-20. Let i = 565 - a. Which is smaller: -462 or i?
-462
Let d = -405/128 - -29321/4736. Which is bigger: d or 2?
d
Let x(l) = -4*l**2 + 124*l + 487. Let v be x(40). Is v < -953?
False
Let a = -30572/94581 + 2/3051. Let z be ((-6)/3 - -1)/1. Is a < z?
False
Suppose -3*k + 4*f - 10556 - 5032 = 0, -3*k = f + 15573. Let n be k/(-132)*9/6. Which is smaller: 175/3 or n?
175/3
Let r = 12 - -33. Suppose -r = -3*m + 18. Let w be (15/5)/(-3) - m. Is w bigger than -22?
False
Let x(y) = 21*y - 17. Let a be x(1). Let r be (-7 + 30/a)/((-2)/4). Are -2/271 and r non-equal?
True
Suppose -3*k = 5*x - 13, 0 = 4*x - x + 5*k - 11. Suppose -h = 5*t + 1783, -t - x*t + h = 1073. Is t at least as big as -356?
False
Suppose -5*w - 177 = -3*b - 482, 3*b + 321 = -3*w. Is b equal to -102?
False
Suppose 4*h = 4*w + 3972, -46*w = -48*w - 6. Which is smaller: 998 or h?
h
Let d = 41937 + -41934. Let h = -0.1 + 0.05. Let b = h + -0.06. Is b at most d?
True
Let f be (-6)/5 - 32/40. Let u(a) = 8*a + 4*a + 6*a**2 - 4*a**2 - 5*a. Let t be u(f). Is t at least -1?
False
Let t = -66241 + 66262. Let u be (-1 - (-169)/(-2))/(-4). Is t at most as big as u?
True
Let d = -142 - -136. Let h = d - -68. Let r = -62.02 + h. Is 0.3 less than r?
False
Let p be 28/(-210)*10*3/(-2). Suppose p*o - 18*o + 64 = 0. Is 4 < o?
False
Let t = 514.39032 - 3.12132. Let c = 511 - t. Which is smaller: 1 or c?
c
Suppose 4*o = -3*m + 185, -4*o - 4 + 0 = 0. Suppose j - m = -5*n, 4*j = 6*j - n - 181. Let s be (82 - (-6 - -1))*1. Is j > s?
True
Let s(o) = -o**3 - 13*o**2 - 21*o + 17. Let f be s(-11). Let w be f/9*(6 - (-252)/(-44)). Which is greater: w or -14?
w
Suppose 3*d + 6 = 0, d + 5 = -p - 13. Which is smaller: p or 22?
p
Let w = -343.6 - -343.39. Let u = 10.79 + -11.3. Let v = u - w. Which is bigger: -2 or v?
v
Let g(n) = n**3 - 63*n**2 + 170*n + 517. Let x be g(60). Is x smaller than -62?
True
Let t = -10 + 11. Let b be (t - -3)