be (-1)/(-4) - 7/(-4). Suppose m + 14 = 3*f + d*f, 0 = 3*m + 4*f - 15. Let g = 1/111 - 128/1887. Do m and g have different values?
True
Let j = -0.522 - -5.522. Is 10 at most as big as j?
False
Let m = -720.032 + 720. Is m less than or equal to -0.2?
False
Let z be ((-2)/(-2) - -2) + (-156)/(-4). Which is smaller: z or 345/8?
z
Let t = 7 + -8. Let a be ((-56)/(-4))/(2 - 0). Suppose 2 = -5*c + 3*x - 10, -c - a = 4*x. Is t equal to c?
False
Suppose 12*k = 18*k + 1062. Which is smaller: -178 or k?
-178
Let o = 691/864 - 105/32. Let i be ((-3)/(-54))/(-2 - 1). Let j = i + o. Which is bigger: j or -3?
j
Suppose -3*z - 5 = -2*i, 6*i - 5*i - 1 = 0. Let y = 829/7 - 118. Does z = y?
False
Let b = -161 - -93. Let y be (16/b)/(1 + 1). Is y at most as big as 0?
True
Let v(g) = -g + 21. Let q be v(21). Let k be (q/(-2))/((-6)/(-3)). Let c be (4/(-75))/(4/10). Is c greater than or equal to k?
False
Let t = -2.881 + 2.8. Let u = t + -1.919. Which is smaller: u or 0.043?
u
Suppose -208 = 40*u + 352. Which is smaller: u or -1/9?
u
Let d = 87 + -93. Let l be ((-20)/6)/5 - (-2)/d. Suppose 18 = -5*q + 2*q + 4*n, -5*q = 5*n - 5. Which is smaller: q or l?
q
Suppose 0*n = -n - 2. Let w be n*1*217/(-14). Which is smaller: w or 30?
30
Let s(l) = 777*l + 89. Let o be s(1). Is o != 865?
True
Suppose 0 = 7*l + 5*l - 132. Is 11 <= l?
True
Let f be 26*(1 + (45/(-10) - 2)). Is -144 bigger than f?
False
Let t(l) = 5*l + 15. Let v be (-3)/4*(10 - 6). Let j be t(v). Which is smaller: j or 14/11?
j
Let h be -1 - 9*14/189. Is h > 2/23?
False
Let m = -1700 - -1699. Which is bigger: m or 2/2297?
2/2297
Let c = 5581.9 + -5582. Let z = -0.9 + 0.5. Let v = z - -8.4. Which is smaller: c or v?
c
Let m = -23 - -23. Let n be (-8)/(-6)*(-1 - -4). Suppose m = 4*z, -8*w - n*z - 5 = -3*w. Is w greater than or equal to 1/8?
False
Suppose 40*k = 95*k - 44*k. Let z = 1/261 + -442/1827. Which is greater: z or k?
k
Let b = -1.8 + -5.2. Let q = 896 + -898. Is q >= b?
True
Suppose 7*h - 5878 - 324 = 0. Do h and 886 have different values?
False
Let o = -23/38 - -2/19. Let n(a) = a**2 - 2*a - 4. Let l be (6/(-9))/(2/(-9)). Let g be n(l). Which is smaller: o or g?
g
Let q(i) = -10*i + 79. Let z be q(6). Do z and 23 have different values?
True
Suppose -4*h = -h - h. Let q be (-2 + 4 + h)*(-8)/16. Which is greater: 2/13 or q?
2/13
Let m(p) = 10*p**2 - 3*p - 47. Let a be m(-4). Which is smaller: 1/3 or a?
1/3
Suppose -u - 5 = -6*u, 3*i + 5*u = -31. Suppose -2*t = h - 10, 5*t - 26 = -5*h + t. Suppose 0 = -h*q + q - 12. Is q less than or equal to i?
True
Let l = -0.01 + -0.05. Let g = 49 - 48.86. Let a = l - g. Is a less than 3/4?
True
Let q = -26 + 27. Let s be (11/44 - (-66)/(-40)) + q. Which is greater: -7 or s?
s
Let t = 593.9 + -593.847. Let f = -8 + 6. Which is smaller: f or t?
f
Let h be 5 - ((-2)/(-1) - (-22 - -19)). Suppose -m - 514 = 632. Let p = -12594/11 - m. Which is smaller: h or p?
h
Suppose -4*c + 7*c = 5*j - 80, 2*j = 3*c + 23. Suppose -j = 21*t - 20*t. Is t greater than or equal to -18?
False
Suppose 3*q = 6*q - 9. Let i be -22*((-9)/6)/q. Suppose 0 = 2*c - 5*z - 1, i = 2*c + 4*z + 37. Do c and -6 have different values?
True
Let x be (-172)/204 - (30/(-9))/5. Let t be -1 + 2 - -2 - 2. Is x less than or equal to t?
True
Suppose -2*q - k = 20, -5*k = -6 - 4. Let j = -13 - q. Let c be 2*(j - 14/(-20)). Which is bigger: c or -3?
c
Let h(s) = -s**3 + 7*s**2 + 23*s - 2. Let r be h(9). Is -10 less than r?
True
Let b(u) = -5*u**2 + 5*u - 4. Let g(s) = -3*s + 3 + 2*s - 3*s + 6*s**2. Let o(h) = -7*b(h) - 6*g(h). Let w be o(-12). Do 0.1 and w have the same value?
False
Let c = 36.3 + 110.7. Which is bigger: c or -1?
c
Let i be ((-21)/(-350))/(62/10 + -5). Let s be 2/5 + (-32)/(-20). Suppose -l + s = l. Is l < i?
False
Let o = -2 + 13. Let b = 52 + -50. Let a = -1 + b. Is a at least o?
False
Let j be -33*(-2)/(-12)*2. Let s = 9 - 21. Which is smaller: s or j?
s
Let m = 36 + -33. Suppose -5*c - m = -2*c. Is c bigger than 5?
False
Let k be (48/(-15) - -3)/(19/95). Is 1/249 <= k?
False
Let c = -25 + 36. Let a = -14 + c. Which is smaller: -1/4 or a?
a
Let c be (-2 - 22)/8*103. Which is smaller: c or -310?
-310
Let g = 13.0939 - -0.0161. Let j = g + -13. Is 1/5 equal to j?
False
Let p = 2673 - 2808. Is p not equal to -129?
True
Let z = 118 - 118. Let x be (-1*z/(-3))/(8/2). Is 7 at most as big as x?
False
Let k be ((-15)/9)/(2/6). Let p be ((-4)/k)/((-3)/(-45)). Let f = -9 + p. Is 1 smaller than f?
True
Let x(u) = 4*u + 72. Let i be x(-18). Which is bigger: i or 2/19?
2/19
Let z be ((-3)/35)/((-9)/(-24)*4). Let i = z - 12/35. Let n be (-4)/6 - (-10)/6. Is i bigger than n?
False
Let c be (-180)/81 + 2/9. Let h = 350 - 1413/4. Which is bigger: c or h?
c
Let o = 1/223 - 992/171487. Is o greater than -1?
True
Suppose -9*k + 14*k - 30 = 0. Which is bigger: k or -3?
k
Let p be 1*303/44 - 7. Which is smaller: p or 1?
p
Let p = -3674/611 + 79/13. Which is smaller: p or -1?
-1
Suppose -5*n = -l + 6*l - 295, 0 = -5*n + 10. Suppose -w + 4*s = l, -4*w + s = 54 + 114. Are w and -41 unequal?
False
Suppose -12 = -4*s - 4*v, 2*s - 15 = 4*s - 5*v. Let b be (-5)/(-25)*10/46. Is s >= b?
False
Let i be (-7 + -36)/(-3 - (0 + -1)). Which is smaller: 23 or i?
i
Let m = -1903 + 1904. Which is smaller: m or -26/111?
-26/111
Let h be (40/(-550))/(42/(-17830)). Let c = h + -348/11. Let d = c - -1/3. Which is smaller: d or 0?
d
Let h be 1*2 - (-4026)/(-2220). Let n = h - -1/74. Let j = -43 - -44. Does j = n?
False
Suppose 4*u = -4 + 12. Let r be u + 5/20*-106. Which is bigger: r or -26?
r
Suppose -3 = 2*v + 5. Let d be (48/(-30))/(v/10). Let r be d - (-12)/((-3)/1). Is r <= -4/5?
False
Let t = 43574/5 + -8750. Which is bigger: t or -34?
-34
Suppose q + 0*q - 12 = 4*o, -4*q - 4*o = 32. Let s be 1/(-3 + (-10)/q). Let m be 26/(-9) + s + 5. Which is smaller: m or 0?
0
Let v be 3 + 1 - 0/1. Let z be 1305/108 + (-10)/120. Let a be z/(-20) + v/20. Is 1 bigger than a?
True
Let h = 3995 + -147803/37. Is h less than 1?
True
Let f be 3*((-3500)/30 + 4). Does -341 = f?
False
Let z(m) = m**2 + 13*m + 13. Let d be z(-12). Let k = 2 - d. Are k and 10/9 equal?
False
Let n = -1/3163 - 56917/53771. Suppose 3*f = 3*o + 6, -f + 15*o - 12*o = -10. Which is greater: n or f?
n
Let v = -15818/6595 - 2/1319. Is v <= 1?
True
Let n = -298 + 297. Suppose 0 = 4*b - 4*r - 132, -3*b + 5*r - r + 104 = 0. Let c = b - 193/7. Which is greater: c or n?
c
Let k be -2 + 0 - (-1)/2*-274. Let x = k + 118. Which is smaller: -19 or x?
x
Let p be (((-105)/6)/(-7))/((-1)/(-6)). Suppose p = -8*h + 3*h. Are h and -8/3 unequal?
True
Let c be (-180)/24*(-4)/(-3). Let l be 2*(3 + c/4). Is -1 greater than l?
False
Let n = 330 + -55. Does n = 276?
False
Let f(q) = q**3 - 78*q + 20. Let p be f(-9). Let d(c) = 4*c - 1. Let v be d(-1). Is v > p?
True
Let j(u) = 5*u**3 + 12*u**2 + 4*u - 13. Let q be j(-9). Let s = q + 1862. Let i = -6030/7 - s. Which is bigger: 0 or i?
0
Let z be 1508/(-7 - -11) + -7. Is 369 greater than or equal to z?
False
Let j be 4/14 + 76/28. Let o be j/6*(1 + 5). Suppose 15*s + o = 14*s. Which is smaller: s or -7?
-7
Let c be 12/11*2/6. Let a(g) = g**3 - 10*g**2 + 1. Let p be a(10). Which is smaller: c or p?
c
Let a = 8 + -18. Let i = 10 + a. Let j(c) = -c**3 - c**2. Let u be j(i). Is -0.1 at least as big as u?
False
Suppose 6*j = 2*j - 16. Let q = -71 - -77. Is q less than or equal to j?
False
Let k = -18 + 32. Let z be k*-1*4/36. Suppose 4*n - 9 + 13 = 0. Is n smaller than z?
False
Let v = 3 + -19. Let f = 0.53 - 14.53. Let x = v - f. Is x smaller than 3?
True
Let q = -1.7 + 3.8. Let o = q + 9.9. Let g = o - 12. Are g and -1 nonequal?
True
Let s = -14 - -16. Suppose 2*j = 3*h + s + 10, -h = -2. Suppose 0*q - 9 = -q. Is q equal to j?
True
Let t = -38.2 + 53. Which is bigger: 0.1 or t?
t
Let x = 1.22 - -102.78. Let t = x + -102. Let w = 0.06 + 2.94. Which is smaller: w or t?
t
Let s(z) = -z + 12. Let m be s(13). Let b be (-2)/8 - 5187/(-140). Let i = b - 37. Is m at least as big as i?
False
Suppose 0 = 4*w - 5*q, 16*w = 13*w - 3*q. Which is smaller: w or 2/99?
w
Let i(o) = -37*o - 175. Let l be i(-5). Which is greater: 18 or l?
18
Let a be (4312/143 - 3) + (-6)/39. Which is bigger: a or 26?
a
Let a be 69 + (21 - 24)*4/3. Is a smaller than 57?
False
Let h = -1