 + 2*t + 1. Let c be a(2). Suppose 5 = -8*g - 0 + 21. Is g at least c?
True
Suppose -6*l = 11*l + 1360. Let f be (-30)/l + (-39)/(-24). Which is smaller: f or 7?
f
Let h(j) = -3*j**2 - 2*j - 20. Let t be h(-4). Let q = t - -73. Let p(c) = -5*c - 59. Let v be p(-12). Which is greater: v or q?
q
Suppose 280 = 5*m + 105. Let o be (74/(-8))/((-6)/(-24)). Let q = m + o. Which is greater: q or -3?
q
Let t = 9173 - 1522. Which is smaller: 7650 or t?
7650
Let m be 3/9*(-17)/754443*-27. Which is greater: m or -1?
m
Let a be (0/1 - 1)*129*(-15)/1305. Do a and 1 have the same value?
False
Let m = 24772 - 24858. Which is smaller: m or -73?
m
Let p be (-42)/28*4/(-3). Let f(r) = -38*r + 25. Let c be f(p). Does -53 = c?
False
Let w = -15 - -14.964. Let k = -1.036 - w. Let p be (-8)/(-10)*(-55)/(-33). Which is smaller: k or p?
k
Let s = 553 + -1057. Let p be (-7)/(-6)*162/s. Which is greater: 1 or p?
1
Let u be (-2)/42 - (-2)/(-7). Let s = 32 + 16. Let y be (-14)/(-42) - (-2)/s. Is y greater than or equal to u?
True
Suppose -3*y = -y - 3*f + 215, 0 = -3*f + 9. Let p = -89185 - -89083. Which is bigger: y or p?
p
Suppose -148*z + 1166 = -42*z. Let j be (-1)/(-2)*71/3. Is j >= z?
True
Let a = -8 + 22. Let w be (9/(-21) + 0)/((-2)/a). Suppose -w*f + 0*k + k - 14 = 0, -24 = 4*f + 4*k. Is -5 less than f?
False
Suppose 13*v = 15*v - 5*b - 5, 5*b = 5*v - 50. Let m be 2/(-15) + 2/v. Does m = 2/347?
False
Let a be ((-3)/(-93))/(-7 + 16 + -10). Which is smaller: a or -41?
-41
Let m = 1 + 0. Let k be (-525)/1260*(18/10)/(4/(-10)). Which is bigger: k or m?
k
Let h = -201 + 197. Let z = 1365/4 - 345. Which is smaller: z or h?
h
Suppose 2560 - 2544 = 16*x. Which is greater: 22/563 or x?
x
Let b = -5.63 - -0.03. Let g = b - -47.6. Let r = g - 41.91. Is 2 less than r?
False
Let w(o) = -o**3 + 32*o**2 - 75*o + 438. Let f be w(30). Which is smaller: 7 or f?
f
Let h = -17 + 43. Let o be -9 + (3/11)/((-37)/(-407)). Which is bigger: h or o?
h
Let h = -0.4 + 0.62. Let v = h + 18.78. Let k = -69.8 + 70. Which is smaller: v or k?
k
Let r = -295 - -116. Let b = r + 231. Is b equal to 49?
False
Suppose 6*l - 51 = 9*l. Let z(v) = -5*v**2 + 20*v - 4. Let a(p) = 7*p**2 - 21*p + 5. Let h(r) = 3*a(r) + 4*z(r). Let s be h(l). Which is smaller: s or 1/155?
s
Suppose n - 2*c + 20 = 0, 5*n - 2*c - 3*c + 100 = 0. Let w be -3 + -4 + 3 + 7 + n. Let u = -44 - w. Is -28 less than u?
True
Let o be (1 + -1)*(-1 + 7 - (-1375)/(-220)). Let z be (-38550)/(-111447) + 4/14. Let l = -18/29 + z. Which is greater: l or o?
l
Let w be ((-15)/(-75))/(232/(-20)). Let n(a) = -a**3 - 9*a**2 - 14*a. Let h be n(-7). Which is smaller: w or h?
w
Let f(j) = -430*j - 1721. Let v be f(-4). Which is bigger: v or -1/337?
-1/337
Suppose -218 = 21*m - 19*m. Let v be (-5 + 4)*(-4)/(-12). Which is bigger: v or m?
v
Let c = -23170 - -254471/11. Which is greater: -35 or c?
-35
Let y(j) = -j**3 + 5*j**2 + 8*j - 7. Let o be y(6). Suppose o - 3 = -s. Let l be s*(-2 - (-4)/1). Does 0 = l?
False
Let m(l) = -4. Let z(d) = -d**2 + 11*d + 6. Let a(w) = -5*m(w) - z(w). Let t be a(10). Are t and 23/6 non-equal?
True
Suppose 0 = -2*j - 64 + 52, -5*y + 12 = -2*j. Is 7/2029 at least as big as y?
True
Let k = -5 - -6. Suppose 5*v + 20 = 5*q - 0*v, -2*q + 4*v = -16. Suppose q = -4*b + 3*b. Is k >= b?
True
Let d be (364/26 + -1619)/(17 - 0). Is d less than -93?
True
Let o = 748 - 740. Let b be (-24946)/4990 + (-13 - -26 - o). Which is greater: b or 1?
1
Suppose -3*l = -9, 3*s - 4*s + 81 = 5*l. Suppose 0 = 8*i - s - 78. Are i and 23 equal?
False
Let y(w) = -w**3 + 24*w**2. Let i(s) = 3 - 4*s + 11 + 5*s + 4. Let l be i(6). Let n be y(l). Is -3/32 at most as big as n?
True
Suppose f = 3*h - 0*h - 15, 0 = 3*f - h + 13. Let k(w) = w**3 - 99*w**2 + 88*w + 966. Let c be k(98). Is c not equal to f?
True
Let l be (11/((-3)/3))/(-2222 + 2213). Suppose 0 = -7*o + 3*o + 16. Suppose -5*u = -6 - o. Does u = l?
False
Let v = 170 + -169. Let b be (26/(-130))/(v/15). Which is smaller: b or 26?
b
Let g = -321 - -128. Let j = g - -211. Which is greater: 20 or j?
20
Let x be (565*1)/((-737)/(-268) + (-9)/6). Which is greater: x or 42?
x
Let j(a) = a**3 - 7*a**2 + 12*a - 6. Let p be j(5). Suppose -6 = -2*u + p. Suppose u*w - 5*x = 110, 66 = 3*w + 3*x - x. Which is smaller: 23 or w?
w
Let s = 32.29 + -1.89. Let c = s + -30.3. Is 0.09 < c?
True
Let a(o) = 63*o**3 + 2*o**2 - 2. Let p be a(1). Let i be -24*(-5)/6*p/(-70). Is 1 bigger than i?
True
Let d = 553/2 + -10539/38. Let k(v) = v**3 + 13*v**2 - 13*v + 13. Let j be k(-14). Is d != j?
True
Suppose 2*f - 77 = -383. Let o be ((-1)/(-3))/(3/f). Let v be -19 - (-3 + 3)/(-3). Is o greater than or equal to v?
True
Let g = -4478/11 - -4482/11. Is 2.84 at most g?
False
Let f(a) = -a**2 - a + 1. Let c(m) = -m**2 + 3*m - 3. Let l(b) = -c(b) - f(b). Let d be l(2). Let w = 20025 - 20022. Is d at most w?
False
Let l(z) = 11*z**2 - 148*z + 303. Let w be l(29). Is 5262 > w?
False
Let j = 32.056 + -0.056. Let q = 32.8236 + -0.8596. Let r = q - j. Is r smaller than -1?
False
Let m = 11/461 - 2909/5993. Which is smaller: 1/9 or m?
m
Let a(z) = -9*z**3 + z**2 + 4*z + 34. Let m be a(-3). Let g = m + -268. Which is greater: 37/5 or g?
37/5
Let u(v) = 2*v + 25. Let s be u(-11). Suppose -4 = -2*k + s*k. Let q be (k + 1)*(-3 - 51/(-9)). Which is bigger: q or -10?
q
Let h be (-1 - -136)/((-1)/(-84) + (-13)/(-182)). Is 1620 greater than or equal to h?
True
Let h be (-1)/(-5)*15/3. Let s = -0.3699 + 1.7999. Which is smaller: h or s?
h
Let d be 4044/5130*-1266 + -6. Let k = 1004 + d. Which is smaller: 0 or k?
0
Let t(x) = 13*x - 53. Let c be t(4). Let w be (26 - 29)*(-12)/(-15). Is c equal to w?
False
Suppose 0 = 19*c - 20*c + 242. Let t = c - 244. Is 9 bigger than t?
True
Let s = -5742 + 660323/115. Let a = -5384/345 + s. Let d = 16 - 31. Do a and d have the same value?
False
Let q = -7532 + 7624. Is 274/3 at most as big as q?
True
Let w be -2*5 + (12 + -13 - -12). Which is greater: w or -4/23?
w
Let l = -462 - -340. Let z = l + 121. Which is smaller: -2/187 or z?
z
Suppose 0 = -5*s + 2*s. Suppose c = 4*f - 1 + 4, -2*f = 2*c - 46. Let o = c + -15. Do o and s have the same value?
False
Let o = -5306.8 + 5306.7. Let m be 616/10 - 4/(-10). Is o <= m?
True
Let v(o) = 161*o**2 + 8*o - 12. Let d be v(2). Let u be (-6 + d/102)/(-8). Which is bigger: u or 1?
1
Let f be ((-325)/125)/(2/10 + -1). Let q(h) = -h**3 + 14*h**2 - 27*h - 5. Let y be q(11). Let w = y - 59. Which is smaller: w or f?
w
Let w be (-1)/3*-3*11. Suppose -w*k = -21 + 32. Which is bigger: -16/15 or k?
k
Let w(d) = -3*d - 2. Let a(n) = -22*n + 94. Let l(c) = -a(c) + w(c). Let b be l(5). Is 21/62 greater than or equal to b?
True
Let z = -57.2 - -36.6. Let w = z - -20.5. Which is smaller: 136 or w?
w
Let b = -0.534 - -0.034. Which is bigger: 0.325 or b?
0.325
Let d = -5 + 3.8. Let h = 0.2 + d. Let k = -1847.29 - -1847.3. Is k smaller than h?
False
Let v = 241.1 - 225. Let u = v + -17. Let h = -9384 + 9385. Which is bigger: h or u?
h
Let m = 0.937 - 1.187. Is m smaller than -63?
False
Suppose 60 = -2*v + 224. Let i = 86 - v. Is 19 greater than i?
True
Let v = 11 - -1. Let g be (-4)/2 - (v + 6 - 5). Let x be (-80)/g - 4 - 3/9. Which is greater: x or 9/10?
x
Suppose -3*k - 5*v - 12 = 0, 5*k - 3*v = 7*k + 7. Suppose -b + 184 = 2*l, 941 = 5*b + 1373*l - 1370*l. Which is smaller: b or k?
k
Let o be 111128/(-30656) + 42/16. Let q = -164.16 - 1.84. Which is bigger: q or o?
o
Let u = 8 - 6. Suppose 0 = i - u*g + 22, g = -3*i - 58 - 36. Suppose 45 = -5*o - 2*j - 114, 2*o - j + 60 = 0. Which is greater: i or o?
i
Let f be -7 + -2 + 10289/1143. Is -1 equal to f?
False
Let n = -13/269 + 336827/807. Let h = -387 + n. Is h smaller than 30?
False
Let c(i) = -8*i + 190. Let k be c(32). Let w be (-159)/33 + 5 + (-10)/k. Which is smaller: w or -0.075?
-0.075
Suppose 1 = s - 17. Suppose 0 = 2*j - s - 20. Let k = 95 - 75. Which is smaller: k or j?
j
Let m(o) = o**3 + 4*o**2 - 6*o + 20. Let x be m(-6). Let i = x + -21. Is i smaller than -39?
False
Let m be (15168/49803)/2 + 20/(-130). Let n = -28084/6385 + m. Is -3 bigger than n?
True
Let q(a) = -10*a**2 + 55*a - 77. Let f be q(6). Which is smaller: f or -647/6?
-647/6
Let u(x) = 2*x. Let j be u(2). Let b = 899 + -824.9. Let d = -74 + b. Is d at most j