et f be (y/(-6))/((-1)/2). Which is greater: -2/29 or f?
-2/29
Suppose -2*r + 1 = p - 3*r, -5*p = r + 7. Let v = -5364 + 59060/11. Let b = -750/143 + v. Is b equal to p?
False
Let x be (32/10)/((-36)/(-90)). Suppose x = 9*a - 7*a. Is 9 less than or equal to a?
False
Let o be 1/(2/30)*3/(-3). Let w = o - -79. Is w != 65?
True
Let m be (4/(-4))/(-3 + 7/2). Let z be (-2)/(-107)*m*(-4)/16. Is z less than or equal to 1?
True
Suppose 13*y - 10*y + 12 = 0. Let o be (-4)/560*-2*y. Let g = 16 - 15. Which is greater: o or g?
g
Let x = 32/297 - -2/27. Let v(t) = -t**2 - 12*t - 1. Let g be v(-12). Which is smaller: x or g?
g
Let c = 47 - 50. Let d(l) = l**3 + l**2 + l - 2. Let p be d(c). Do -25 and p have the same value?
False
Suppose 40*v + 8084 = -7*v. Is -172 at least as big as v?
True
Suppose -39*g = -40*g - 1. Let q be (-10)/(-112)*(-3)/15. Which is bigger: q or g?
q
Let z be 32/(-12) + 4 - 1. Suppose -2*k - k + 15 = 0. Let h be (-2)/(-6)*1 - k/105. Which is smaller: z or h?
h
Let c = -20 + 10. Let f = 5 - 13. Let g = f - c. Which is greater: -2 or g?
g
Let n(h) = -h**3 - 11*h**2 - 14*h - 291. Let x be n(-11). Is -138 at most x?
True
Let c = -1.3 - -2. Let a = -0.8 + c. Let n = -596 - -605. Which is greater: n or a?
n
Suppose -236*z = -245*z + 18. Does z = 86/33?
False
Let g = -2371 + 18945/8. Do g and -3 have the same value?
False
Suppose -4*q + 7 = -5. Suppose -4*p = -q*p. Suppose p = i - 3*i. Are -2/19 and i nonequal?
True
Let o = 896 - 2684/3. Is o <= -2/67?
False
Suppose -12*j - 31 = -175. Is j <= 10?
False
Let f = 230 - 218. Which is greater: f or 4/9?
f
Let j(m) = -2*m**2 + 1. Let x be j(-1). Let l be (-12)/x*(-10)/(-110). Which is smaller: l or 0?
0
Suppose 0 = -5*h - 36 - 14. Let k be (1*80/25)/((-4)/h). Is k at most 8?
True
Let a be (-3516)/318 + 8 + 3 + 0. Which is smaller: 0 or a?
a
Let b = -138297/85 - -1627. Let r = -2 - -1. Are r and b nonequal?
True
Let u be (0 - 1)/(-4*6/(-24)). Which is smaller: 3/1142 or u?
u
Let h = 166 - 118. Let q = h - 51. Which is smaller: -13/3 or q?
-13/3
Suppose -v + 2*v - k - 191 = 0, 5*k = -15. Is v not equal to 187?
True
Let v(x) = 3*x + 9. Let k = -11 - -5. Let r be v(k). Let w(j) = -j**2 - 15*j - 60. Let a be w(-5). Which is bigger: a or r?
r
Let m = -481 + 481.5. Is 0 less than m?
True
Let l be (8/120)/(2/846). Which is bigger: l or 29?
29
Let j = 210.157 - 209.3. Which is bigger: j or -1/3?
j
Let n = -154 - -155. Suppose 0 = k + 4*o + 5, 0 = -4*k + 3*o - n - 0. Are k and -1/28 equal?
False
Suppose 9*p - 14*p + 2*n = -405, -5*p - n + 405 = 0. Is 81 equal to p?
True
Let s = 48 + -55. Let y = s + 6. Which is smaller: 0 or y?
y
Let s = -152 - -141. Is 2/3 bigger than s?
True
Let d be ((-18)/(-4))/(132/(-737)). Is d less than or equal to -25?
True
Let h be -4 - 15*(-8)/(-12). Let a be 16/(-7) + h/(-7). Is -1 < a?
True
Let z be (70 - 0/2) + (0 - 0). Suppose -2*b + z = 4*k, -7*k + 2*k + 86 = 4*b. Which is bigger: k or 19?
19
Let v = 2.9555 + 0.0445. Is v <= 2.8?
False
Let b be 221/26 + 2/(-4). Let o = 16 - b. Suppose 0 = 5*w - w - o. Which is greater: w or 1?
w
Suppose 0 = -16*j + 2 - 2. Let b be (-38)/(-3)*(-12)/(-56). Let k = -41/28 + b. Which is smaller: j or k?
j
Suppose 54*u - 43*u - 605 = 0. Does u = 55?
True
Let o = -3687821/49062 - 1/8177. Let z = -75 - o. Is -12 at most z?
True
Let w = 114 + -106. Let t = -9 + 18. Which is smaller: t or w?
w
Suppose -27*o + 23*o = -48. Does o = 0?
False
Let t be 2/8 + 3/6. Let c(a) = a**3 - 5*a**2 + 5*a + 3. Let h be c(3). Is h != t?
True
Suppose 2*p - 11 = g - 0, -5*g - 5*p = -5. Let c be (-1)/((-20)/(-8) + g). Suppose 0 = -c*i - 8 + 24. Is 8 greater than or equal to i?
True
Let q be 0 - (2 + 28/(-20)). Does 12 = q?
False
Suppose -11*l + 15*l + 5*a + 220 = 0, l - 5*a + 80 = 0. Is -71 >= l?
False
Let h = 1 + 1. Let w be h/7 + 24/14. Let z be 0/(1*w/1). Is z smaller than 1/17?
True
Let p(v) = v**3 - 2*v**2 - 6*v + 2. Let t be p(4). Let h be 6/2*(5 + 12/(-9)). Is t != h?
True
Let c be (2/(-3))/1 + 78/117. Which is smaller: c or -10/227?
-10/227
Let t(d) = d**2 + 8*d - 280. Let g be t(-17). Which is smaller: -1 or g?
g
Let v = -4691910/17 + 278459. Suppose -1865 - 3065 = -2*z. Let u = v - z. Which is bigger: -1 or u?
u
Let h = -32 - -7. Let q(s) = -3*s**2 + 9*s + 136. Let i be q(-6). Which is smaller: i or h?
i
Let d(s) be the first derivative of 1/2*s**2 + s + 0*s**3 - 5 + 1/4*s**4. Let g be d(-1). Are 2/17 and g equal?
False
Let b = 0.26 - 0.56. Let a = b - -23.3. Which is smaller: 0.1 or a?
0.1
Let i = -451/21 - 6/7. Which is smaller: -21 or i?
i
Let h = 3 + 0. Suppose 3*v - 5 = -f, -v - 8*f = -h*f - 25. Is 2/29 less than v?
False
Suppose y + 10 = 12. Let h be 4 - y - 99/55. Which is bigger: h or -0.03?
h
Let v be (-1038)/(-1755) + (-9)/15. Let l be (-2)/(-10) + (-16)/(-20). Which is bigger: l or v?
l
Let i = -9.29 - 0.11. Let u = -9.5 - i. Is -101 at most u?
True
Let o = -0.45 + 0.05. Let b = -33.1 + 32.2. Which is smaller: b or o?
b
Suppose -3*z = 3*p - 2*p - 6, 5*z - 3*p - 24 = 0. Let x be -12 - (z/(-3) + -1). Let h be ((-2)/4)/(25/x). Is -1 equal to h?
False
Let y be (-6)/(-81)*411/(-22). Let m = -3/11 - y. Are m and 0 non-equal?
True
Suppose -73*i + 80*i = 21. Let l be (-20)/3*(-3)/9. Which is greater: i or l?
i
Suppose -5*i + 2*s = -10, -3*s = i - 6*s - 2. Suppose h + i = 0, 2 = -2*k + 2*h + 6. Suppose k = -4*c + 14 - 2. Is 4 less than c?
False
Let y = -794.9 + 795. Which is greater: y or -91/2?
y
Let i = 146 - 142. Suppose i*z = 2*z. Which is bigger: z or -0.23?
z
Let g be 2/(-9)*(-21)/(-14). Let z = -0.94 - -0.9. Which is smaller: g or z?
g
Let t = 113/3 - 38. Let d = -894.3 + 895. Which is greater: d or t?
d
Let r = -209/1270 - 9/254. Let l be ((-12)/(-10))/(1/(-10)). Is l > r?
False
Let p = 6 + -2. Suppose y = -5*d + 4 - 21, d = -p. Let b be y/(-12) - 40/32. Are -2 and b equal?
False
Let q be 174/261*6/(-4). Is 1/356 <= q?
False
Let y be 5/45*-493 + (-2)/9. Which is greater: y or -57?
y
Let f be ((-126)/105)/((-3)/20). Suppose -7*w = -f*w + 2. Suppose -s = z + s - 22, w*z = -3*s + 41. Are z and 16 equal?
True
Let k = -117 - -101. Is -19 less than or equal to k?
True
Suppose 0 = -0*y - 4*y - 4. Let g be -6 + ((-476)/(-97) - 5)*-65. Is y greater than g?
False
Let l = 4 + -1. Suppose 296*t = 316*t - 520. Is t greater than l?
True
Suppose -3*c - 2*c - 20 = 0. Let s(n) = n**2 + 5*n - 17. Let l be s(-7). Which is greater: l or c?
l
Suppose 9*z - 11*z = -p - 22, 5*p + 4*z = -40. Let o be -26*(4/2)/4. Which is bigger: o or p?
p
Let l = -15 - -17. Let f be -1 - ((-1)/(-2) - (-5)/10). Which is bigger: l or f?
l
Let s = -5 - -2. Let g be 24000/135*(-12)/10. Let h = 210 + g. Which is smaller: s or h?
h
Let j = -37 + 43. Suppose 0 = m - j - 1. Which is smaller: m or 6?
6
Suppose -t = 0, 2*t + 49 = 5*k + 4. Suppose 0 = -f - 2*y + 4, -1 = -f + 2*y - y. Suppose 4*c + f = 38. Is c >= k?
True
Let d be (-9)/(-6)*(-4)/(-6). Suppose 2*u + 7 = -5. Let i be (-4)/u*3/25. Which is smaller: i or d?
i
Suppose 0 = -2*m - 10*m + 15*m. Let p be (-10)/(-22)*(-6)/255 + 0. Which is bigger: p or m?
m
Let t = -50 + -137. Which is bigger: 1 or t?
1
Let z = -23 + 26. Suppose -20 = 4*p - 4*r, z*p - 4*r = 6*p - 20. Which is smaller: 5/9 or p?
p
Let o = -25.7 - -4.7. Let l = o + 30. Let c(v) = v**2 + 3*v + 1. Let k be c(-2). Which is smaller: l or k?
k
Let q = 11753/148852 - 15/187. Which is smaller: -1 or q?
-1
Let n = -15 + 16. Let b be 3/(-10)*8/(-60)*5. Which is greater: b or n?
n
Let j = 10629/16 - 664. Suppose 0 = 5*s - 0*s + 5. Is s >= j?
False
Let j(m) = -15*m**2 - 3*m. Let o be j(-6). Let p = o - -1009/2. Let d = -19 - p. Is -2 at most as big as d?
True
Let x be 10732/(-342) + 12/54. Let d = x + 31. Which is bigger: d or 0?
0
Let m = 2 - -1. Suppose 37 = 4*n - 2*u - 5, n - 14 = 4*u. Let q be (36/(-30))/(m/n). Which is smaller: -6 or q?
-6
Let w = -77 + 78. Suppose 2*d + 12 = 4*h, d + h + 2*h + w = 0. Suppose 3*b + 4 = b. Are b and d equal?
False
Let r = 78 + -232/3. Let p = 6/5 - 4/5. Which is bigger: p or r?
r
Suppose -5*g - q = 0, 10*q - 24 = 4*g + 6*q. Which is greater: -2 or g?
g
Let x = 2334 - 414. Is 1921 less than x?
False
Let v = 70 - 67. Let i(s) = -s**2 + 5*s + 7. Let a be i(6). Which is greater: a or v?
v
Let c = -7.41 - 1.53. Let h = c - 0.06. Let i = -7 - h. Which is 