ast as big as 63?
False
Let j = -3669/14 - -262. Is j smaller than 0.2?
True
Let l = 108 + -106. Is l bigger than 60/31?
True
Let p(b) = -3*b**2 - 7*b - 109. Let x be p(-8). Which is smaller: x or -247?
-247
Let f(k) = 2*k - 2. Suppose -5*p - 15 = -20. Let s be f(p). Is s bigger than 1/18?
False
Let a = -45 - -77. Suppose -31*z - 13 = -a*z. Let j be (-24)/(-156) + 24/z. Is j greater than or equal to 4?
False
Suppose 3*f + 4*v + 5 = 6*f, 4*f - 5*v = 7. Which is smaller: 2.5 or f?
2.5
Suppose -3*k + 3*x = -165, 5*k + 3*x - x - 240 = 0. Which is greater: k or 4?
k
Let w(f) = -2*f - 57. Let i be w(-25). Suppose 4*j = 2*j - 12. Is i greater than j?
False
Let p = 33651/11 - 3063. Let l = -95/22 - p. Is -0.02 greater than l?
True
Suppose 11*m + 12 = 155. Is m < 11?
False
Suppose -2*r + 2*g + 10 = 0, 3*r - 3*g = g + 19. Let n be -6*r*3/2. Are -8 and n nonequal?
True
Let m = 49 + -1218/25. Is -1 != m?
True
Let n = -213/2 + 367/6. Let x = n + 46. Suppose -o = 2*o - p - 3, 0 = -3*o + 5*p - 9. Which is smaller: x or o?
x
Let i be (-12 - -9)*(-5)/15. Are 14/57 and i equal?
False
Suppose 0 = -0*t - 2*t - k - 11, -3*t - 2*k - 18 = 0. Let u be (-9 + 11)*6/t. Let f be 3 - ((-33)/(-4) - 3). Which is smaller: f or u?
u
Let l be (6/(-5))/((-182)/35). Let z(s) = s - 13. Let x be z(12). Is x at most as big as l?
True
Suppose 0 = 2*d + 5*m + 43, 3*m - 44 = 4*d - m. Is d equal to 0.1?
False
Suppose j + 30 = 7*j. Let l = 4 - -3. Is j != l?
True
Suppose -3*k = -8*k. Suppose -5*b + 19 = 3*z - k, 0 = 4*b + 4*z - 12. Let a be (-2 - b/(-3)) + 0. Is a > -2?
True
Suppose -2136 = 5*b + 489. Let n be 52945/b + (-6)/21. Let c = 101 + n. Which is smaller: c or 0?
c
Suppose -4*v - 5*b + 12 = -6*b, 0 = -2*v - 3*b + 6. Let j be (-10)/(v/(12/8))*-1. Which is smaller: 3 or j?
3
Suppose 2*x - 10 = 4*x. Which is smaller: x or 5/3?
x
Let y be (-2)/(-4) - ((-45)/(-54))/5. Is -126 at most as big as y?
True
Suppose -5*a = 3*z + 59, -z + 64 = -5*z - 3*a. Let f = z - -10. Does -2 = f?
False
Let f = -2 + 4. Let a(j) = j**3 - 5*j**2 - 3*j - 17. Let o be a(6). Let m be (-8)/(-24)*-2*o. Which is bigger: m or f?
f
Let r(h) = 2*h - 8. Let t be r(5). Let q be (15/20 - t) + 2. Let u = -1 + 2. Is q equal to u?
False
Suppose -5*m - 4 = -4*m. Let p(t) = -5*t**3 - t - 1. Let q be p(-1). Suppose 0 = -4*y, -2*a + y = -3*a - q. Is m bigger than a?
True
Suppose b - 2 = -b. Let j = -56344/15 + 3756. Which is smaller: b or j?
j
Let i(g) = -g**2 + 7*g + 2. Let y be i(5). Let a be 3 - 9/(27/y). Does a = 2/85?
False
Let b be 1 + 36184/(-116) + (-34)/493. Which is greater: -310 or b?
-310
Let t = -12.22 - -16.22. Is t != 11.8?
True
Suppose 4*w - w = 0. Let j = 11 + -3. Let i(a) = -a**3 + 8*a**2 + a - 7. Let g be i(j). Which is bigger: g or w?
g
Let f(a) = -10*a - 111. Let q be f(-12). Let x(m) = m - 3. Let t be x(6). Which is bigger: t or q?
q
Suppose -j + 1 = -f, -5*j + 9 = 5*f + 4. Is -46 > f?
False
Let k = -101 - -102.2. Let a = -1.38 - -0.08. Let d = a + k. Is d at most -2/9?
False
Let g = 106/63 - 3676/2709. Let i = 313/301 - g. Is -3 at most i?
True
Let b(k) = 9*k**2 - 18*k + 11. Let i(p) = 14*p**2 - 27*p + 17. Let l(n) = -8*b(n) + 5*i(n). Let j be l(4). Let c be (-24)/(-45)*1/4. Which is greater: c or j?
j
Let h = -931883/22 - -42370. Let d = h + -23/2. Let c(p) = p**3 - 18*p**2 + 30*p + 33. Let v be c(16). Which is bigger: d or v?
v
Let t be ((-608582973)/156)/((-810)/(-3032)). Let o = t + 14602909. Let p = o + -2/405. Which is bigger: -1 or p?
p
Let z be 1*4 + 7 + -8. Suppose 14 = 2*d - z*d. Let k = d - -14. Does -2 = k?
False
Let h(y) = 5*y**2 - 2*y + 1. Let i be h(1). Suppose -a - k + 5*k - 2 = 0, -i*a = -3*k + 8. Let c be 2/(2/(a/(-2))). Which is smaller: c or 1/13?
1/13
Let n = -3/241 - 708/1205. Let b = -1.4 - 0.6. Is b smaller than n?
True
Suppose 0 = 2*y + 3*c + 233, 9*y - 2*c = 10*y + 114. Let p = y - -95. Which is bigger: p or 2?
2
Let q(a) = -a**3 + 13*a**2 - 39*a + 160. Let i be q(12). Is i smaller than -169?
False
Let w = 2.18 - -0.02. Let s = -49.8 - w. Is s at most as big as -1?
True
Suppose 3*l + k = -k - 3, -k - 1 = 2*l. Is 3/85 <= l?
True
Let z(a) = 7*a + 1. Let j be -1 - 0 - -3 - 1. Let q be z(j). Suppose 4*u - q = -0*u, -5*u = 4*h - 2. Is -2 smaller than h?
False
Let q be (-1 + 3)*(-3 - (4 + -8)). Let b(f) = f**2 + 2*f - 6. Let t be b(q). Is 2 > t?
False
Let i(h) = -h**2 + 4*h + 14. Let n be i(6). Suppose 3*r = r + 2*w - n, r - 3 = -3*w. Is -1/100 greater than r?
False
Suppose -14 = 4*l + 5*y, 3*l - y = -11 - 9. Let r be 3*((-1131)/1170)/(1 - (-4)/(-10)). Is r greater than l?
True
Suppose -3*o + 78 = 2*j, 0 = -3*o + 2*o + 2. Let k = -164 - -201. Is j < k?
True
Let j be 3/12 - (-98)/(-72). Let n = 63 - 67. Let r be 1*3 + (n + 0 - -1). Is j at most r?
True
Let l be ((-135)/(-675))/(9/(-5)). Are 17 and l nonequal?
True
Let f = 1555 + -1551. Is f at least -33/2?
True
Suppose 12*t = -c + 16*t + 36, 2*t - 234 = -4*c. Which is smaller: 50 or c?
50
Let l = -394 + 385. Which is greater: -88 or l?
l
Let i = -214338 + 13931563/65. Let x = i - -6/13. Which is greater: -6 or x?
x
Let t be ((-33)/22)/(170/32). Is 1 <= t?
False
Let v = -157/45 - -23/5. Let j be 2/(-8) - (-18)/8. Is j at most v?
False
Let g be 1 + -1 + 36/18. Suppose 0 = -5*v + 8 + 2, -v = 4*j + g. Is j bigger than -28?
True
Suppose c = s + 178, -3*c = -s - 43 - 139. Does s = -174?
False
Let x be (54/45)/(20972/(-70)). Which is smaller: 1 or x?
x
Let y = -100 + 98. Let u = 2.8 - 3. Is u at most as big as y?
False
Let n(f) = f**2 + 7*f - 24. Let g be n(-10). Is g > 2?
True
Let l = 7 + 0. Suppose -p = -3*a + p - l, -5*a - 7 = -p. Let f be 470/1950 - 10/(-150). Is f greater than a?
True
Let u = -1175 - -1408. Is 234 at most u?
False
Let q = 34049525/501138 - -1/27841. Let o = -137/2 + q. Is o at least -2?
True
Let t(g) = -5*g + 3. Let i be t(2). Let u be 4 + 130/(-35) - (-86)/i. Is -12 smaller than u?
False
Let j = -103 + 103. Is j not equal to 0.05?
True
Suppose -3*w - 4*i + 3 = -21, -3*i - 21 = -w. Suppose 0 = 8*n + w - 20. Is n less than or equal to 7?
True
Let p = -495 - -496. Is p less than or equal to 168?
True
Let q = -26235/1333 - -613/31. Let v be 2/8 + (-3)/(-4). Which is bigger: v or q?
v
Suppose -37 + 2 = -7*s. Suppose -41 = 4*o - v + 4*v, 2*v - 34 = s*o. Is o equal to -12?
False
Suppose 8*m = 6*m - 108. Let q be -3*11*8/m. Which is smaller: q or 4?
4
Let i be (-2)/12 + 61/6. Suppose -6*g - 8 = -i*g. Suppose 0 = 3*u + g*u. Is u greater than or equal to 1/23?
False
Let m be (-56)/12*(10 + -1). Is -37 at most m?
False
Let k = 20 - 21. Let s be (1 + -2)/k + -3. Suppose -1 = 4*w + 11. Which is smaller: w or s?
w
Let h = 4.97 - 5. Let o = 0.144 - 0.024. Let d = h - o. Is 0.1 >= d?
True
Let x be (-1051)/(-7) - (76/28)/19. Is 150 at most x?
True
Let t be ((-12)/(-18))/(2/15). Suppose -f = 4*f - t. Let l be f/3*(-3 - -6). Is l at most -2/71?
False
Let g = -843 + 843. Let k = -0.3 - -1. Is g less than or equal to k?
True
Let b = 82 - 83.4. Let s = -2/19 + -24/133. Are b and s equal?
False
Suppose -11*n + 1027 = 2864. Which is greater: n or -163?
-163
Suppose 6 = -3*s + 2*q - 40, 5*s - 4*q + 76 = 0. Suppose -59 = -5*a + 106. Let r = a + s. Is r smaller than 18?
True
Let i(n) = 2*n**3 - 2*n**2 - 2*n - 2. Let c be i(3). Suppose 6*o + 2*u = 2*o + c, -4*o + 40 = 5*u. Suppose o*g + 51 = 2*g. Is g greater than or equal to -17?
True
Let m = 0.443 + 29.557. Is 2/29 <= m?
True
Let y be 1408/720 + (-2 - 0). Which is smaller: y or -1?
-1
Let q = 2 + 3. Suppose q*d - 5 + 0 = 0. Is d at least as big as -2/81?
True
Let a = -26 - -29. Suppose 4*c + 5*h - 1 = 0, 0 = 5*c - 9*c + 2*h - 6. Which is greater: c or a?
a
Suppose 0 = 2*k + 2 - 12. Let f be 4*11/2 + -2. Suppose -11*t + 6*t + f = 0. Is k not equal to t?
True
Suppose -2*v + 6*v - 20 = 0. Suppose 3*z = v*z - 4. Suppose 22 = 3*l - 0*l - 4*r, -2*r + 24 = z*l. Which is bigger: 11 or l?
11
Let o = 2.74 + -2.8. Is -9/2 smaller than o?
True
Suppose 0 = -3*a - 31 + 7. Let g be (-108)/72 + (-13)/(-10). Which is smaller: a or g?
a
Let u be 6/(-4)*((-2544)/(-9))/(-8). Which is smaller: u or 50?
50
Suppose -10*c - 2 + 22 = 0. Is c at least 4?
False
Let f(y) = -6*y + 9. Let z(i) = 3*i - 5. Let g(b) = 6*f(b) + 11*z(b). Let o be g(-1). Let c = -5989/11 - -545. Is o bigger than c?
True
Let s = -0.2 + 0.2. 