r + 1483*h - 155 = 1484*h, -3*r - 3*h + 147 = -0*h. Which is greater: b or r?
r
Suppose -2 = -4*b + 14. Let l = -168 + 176. Suppose l - 4 = -b*d. Is -2/165 > d?
True
Let b be (-31)/((-1085)/(-130)) - -6. Is -2/19 at most b?
True
Let y(w) = 183*w**2 - 15. Let z be y(3). Let k be (-5)/(-6) + 752/z. Is 2 not equal to k?
True
Let h = -0.467 - -0.567. Is h > 1133?
False
Let j(p) = 2*p**2 - 270*p - 2095. Let l be j(-8). Which is smaller: l or 186?
186
Let o be (3 - 2)*(-2)/(-4)*2. Let l be 506/187 + -2*o. Which is smaller: 1 or l?
l
Let j = 24.8 + -24.7. Which is bigger: j or 0.084?
j
Let g(z) = -z**3 + 114*z**2 - 1401*z - 43. Let l be g(100). Is -1 at most as big as l?
False
Let q = 0.17 + -0.17. Let y = -2.94 - 102.36. Let f = y - -105. Which is smaller: q or f?
f
Let s(b) = -1 - 5*b**2 + 5 - 3*b + 4*b + b**3 + 10*b**2. Suppose -3*c - 5 = -2*c. Let l be s(c). Which is smaller: l or -2/63?
l
Suppose -4*s - 3 = -3*h, -2*h = -2*s - 184 + 182. Suppose -2*x + 7*x = 145. Let c be 3/(-2 - (2 - x)). Is c at most s?
False
Suppose l - 5*l - 4172 = -5*i, -2*i - 3*l + 1655 = 0. Suppose i = 21*t - 13*t. Is t != 106?
True
Let f = -2.4305 + -1910.5695. Which is greater: f or 0.1?
0.1
Let s = 6599 - 6528.3. Do 3 and s have the same value?
False
Let w(b) = b**3 + 29*b**2 + 7*b + 61. Let q = 139 + -168. Let j be w(q). Which is smaller: -143 or j?
-143
Suppose 33*i - 528 = 22*i. Let t = -54 + i. Is t equal to -16?
False
Let y = 167452/1174087 - 33/233. Let h = y + -25613/15656173. Is 1 greater than h?
True
Let n = -5 + 2. Let l be ((1 - n) + -3)*-1. Let j(a) = a**2 - 54*a + 332. Let m be j(7). Which is greater: l or m?
m
Let t = -674818/74212173 - -4/67039. Is -1 not equal to t?
True
Let q = -0.04735 - 17.95265. Let i be 1/(9*(-1)/1). Is i equal to q?
False
Suppose -87*h - 12851 = -1889. Is h less than or equal to -111?
True
Let y(z) = 21*z**2 + 5*z + 2. Let v be y(-1). Suppose -v*b = -17*b - 1. Which is smaller: b or 1/455?
1/455
Let k be 16/7 - (-2 - -4). Let a = -5.6 - 3. Let y = 8.55 + a. Which is smaller: k or y?
y
Suppose 22799 = -21*i - 4879. Which is greater: -1316 or i?
-1316
Let g(p) = -p**3 - 9*p**2 - 9*p - 7. Let m be g(-8). Let u be 11/1*m*-1. Let n(f) = -23*f**2 - 77*f + 90. Let a be n(1). Which is bigger: a or u?
a
Let q = -3834 + 3916.62. Let y = 0.38 + q. Let t = 78 - y. Which is smaller: t or -1/6?
t
Suppose -4*t = -3*q + 7, -t - 5*q = -2*t - 23. Suppose -5*n = 2*i + 697, 0*n - 5*i = 2*n + 283. Let p = n + 698/5. Which is smaller: t or p?
p
Let n = -4 + 3. Let d be ((-8)/(-196))/(3282/(-1734) + 1). Let u = -2/129 + d. Which is greater: n or u?
u
Let b be (-5562)/160 - (84/5 - 2704/169). Is -36 bigger than b?
False
Suppose -k = 3, -f - 5*k = -0*k + 15. Let h(r) = r**3 - 14*r**2 + 11*r + 19. Let w be h(13). Which is smaller: w or f?
w
Suppose 0 = -1136*t + 1138*t - i - 260, -2*i = 0. Is 2 at most t?
True
Let h = 1751 - -640. Is 2/7 not equal to h?
True
Let l = -8.13633 - 18381.93167. Let p = 18317 + l. Let k = p - -73. Is -0.1 smaller than k?
True
Let d(z) = -2*z + 5. Let o(r) = -5*r - 30. Let s be o(-7). Let t be d(s). Let f = -30 + 25. Are t and f non-equal?
False
Let i = 3154 + -365861/116. Let p = i - -269/812. Let f(t) = -t**3 + 5*t**2 + t - 4. Let m be f(5). Are m and p equal?
False
Let d = -9.8912 - 1.1088. Which is smaller: d or -49/2?
-49/2
Let a(q) = q**2 - 21*q - 186. Let d be a(-7). Let p be 27/(-33)*(-2)/(-3). Is d != p?
True
Let n = 136441 - 8595182/63. Let q = -14846/1665 - 36/185. Let v = q + n. Which is greater: -1 or v?
v
Let f = 386 + -423. Let q = f - -37. Which is greater: -122 or q?
q
Let c = -46.8 + -8.2. Let v = c + 103. Let h = -46 + v. Which is bigger: -2 or h?
h
Let t be (-248)/(-31) + 5/((-15)/21). Are t and 11/2496 equal?
False
Suppose -5 = 5*a, -g - 2*g = 4*a + 16. Let j be g/14 - (-288)/(-21). Suppose -47*r + 43*r - 2*h - 78 = 0, -2*h + 297 = -21*r. Which is smaller: j or r?
r
Let w be ((-1)/6)/(202/(-495405)). Do w and -1 have different values?
True
Let s(d) = d**2 - 49*d + 566. Let c be s(71). Which is smaller: c or 1?
1
Suppose 0 = -4*t + 5*g + 126, -5*t = -3*g - 18 - 146. Let q = -31338 - -31372. Is q <= t?
True
Let p be ((-387)/3)/(9/(-129)). Let r = -134980/73 + p. Do r and -1 have the same value?
False
Let h(c) be the second derivative of -c**4/6 - 3*c**3/2 + 17*c**2/2 + 273*c. Let o be (-19)/3 - (-4)/12. Let d be h(o). Are 7 and d non-equal?
True
Suppose -5 - 40 = -5*q. Suppose -13*j + q*j = 4. Does j = 2/5?
False
Let c = 17 + -8. Suppose 4*y + 3*v + 9 = -0*v, 0 = 3*v + c. Let u = 4401/40 - 110. Do u and y have the same value?
False
Let u(h) = 2*h**3 + 2*h**2 - 4*h + 1. Let j be u(-3). Let f = -14 - j. Let k(v) = v**2 - 27*v - 5214. Let s be k(-60). Which is bigger: f or s?
f
Let v = -749 - -2116/3. Let f = v - -46. Are f and 1 equal?
False
Let z(w) = -w**3 - 4*w**2 - 6*w - 9. Let i be z(-3). Let m be (i - 0)/1 - (94 + -11). Let r = m + 86. Are 30/17 and r equal?
False
Let n = 928 + -134. Let a = n + -775. Is a greater than or equal to 1.7?
True
Let i = -27 + 30. Suppose -53 + 53 = i*n. Is -0.8 at most n?
True
Let g(s) be the third derivative of -35*s**4/24 - 10*s**3/3 - 9*s**2. Let v be g(-21). Let y = 7871/11 - v. Is y at least as big as 1?
False
Let f(y) = y**2 + 16*y - 51. Let a be f(3). Suppose 5*g + 2*w + 18 = 0, 11*w - a*w = -4*g - 11. Which is bigger: -6 or g?
g
Let f = -2.35 + 2.7. Let d = f - 0.4. Let l = d - 0.25. Is l at most -2/5?
False
Let z be (-8840)/100 - (-3)/(-5). Is z >= -625/7?
True
Let a = -132 + 133. Let z(l) = 3*l + 31. Let o be z(-7). Let d = -30 + o. Which is smaller: d or a?
d
Let f = 0.05 - -1.95. Let g = 228.8 + -26.8. Let m = g - 202.051. Which is smaller: f or m?
m
Suppose -k + 5 - 3 = 0. Suppose 5*r + 2*v - 11 = 0, 0 = k*r - 3*v - 16 + 4. Let c be 64/50*(-5)/(-2). Is r < c?
True
Suppose -3*x + 4*x = 11. Suppose 6*t - x*t = -15. Let c(u) = -u + 7. Let a be c(t). Is a greater than 2?
True
Let j = -763 + 768. Let d be (146 + j + -1)/((-15)/10). Do -1 and d have the same value?
False
Let t = 45971.971 - 45953. Let q = 0.029 + t. Which is smaller: q or -1?
-1
Let u = 575 + -426. Which is bigger: 162 or u?
162
Let w(s) = 2*s**3 + 2*s**2 - 3*s + 3. Let t be w(2). Let v(x) = 2*x**3 + 76*x**2 - 79*x - 42. Let c be v(-39). Is c > t?
False
Let d be ((-1992)/1162)/((-6)/(-14)). Are -68/25 and d equal?
False
Let q(g) = -7*g**3 - 12*g**2 - 22*g + 5. Let m be q(-2). Is m less than or equal to 63?
True
Let l be (-7)/2*(-24)/(-14) + (-9 - -2). Is l <= -120?
False
Suppose -7 = 9*k - 37 + 39. Which is bigger: 3/1961 or k?
3/1961
Suppose -3*k + 3*y = -30, -2*k + 21 = -5*y - 8. Suppose 0 = -2*t - 2*i + 10, 32 = t - 4*i + k. Let n = -2716/3 - -913. Which is smaller: n or t?
n
Let n = 2034 - 4143/2. Let f = -37 - n. Which is bigger: 293 or f?
293
Let p(h) = -8*h**2 - 4*h - 8. Let i be p(-2). Let y be (i/(-6))/(16/408). Suppose -2*n + y = -0*n. Does n = 69?
False
Let p(h) = -h**3 + 23*h**2 - h - 2. Suppose -9*y - 543 = -1371. Suppose -115 = -5*a + 5*m, -8*a + 4*a - m + y = 0. Let d be p(a). Which is smaller: -24 or d?
d
Let q = -4.11 - -0.11. Let n = 2.9 - -45.1. Let b = n - 49. Which is smaller: b or q?
q
Suppose 4 + 11 = -3*c. Let a be c*17*(-48)/(-30). Let x be a/(-48) + (-3 - 0). Is -0.1 smaller than x?
False
Let f = -12074 + 12355. Which is bigger: f or 284?
284
Suppose 3*f - 5*r + 2340 = 0, 4*r = -8*f + 6*f - 1560. Let q be ((-1)/20)/((-13)/(f/8)). Let i = -2/565 + -3947/2260. Does q = i?
False
Let p = -414 - -416. Let d be ((-214)/(-5) - p)/((-37)/185). Is -205 >= d?
False
Let q = 505/219 - -2/73. Suppose -9*m + 14 = -22. Suppose -3*z - 1 = -m*z. Which is bigger: z or q?
q
Let f be 24/(0 - 6) - 3506/(-876). Let l = -3395/219 + f. Which is bigger: -2/5 or l?
-2/5
Suppose 0 = -5*w + 25, -j + 0 + 2 = w. Let i be (-2*74)/(-4) - j. Suppose -u + i = 7*u. Which is bigger: 9/2 or u?
u
Let g be 8/(0 - (-9)/(-252)). Suppose 0 = -s - 0*s + 136. Let z = s + g. Which is greater: z or -89?
z
Let f(t) = -2*t**2 - 38*t + 3. Let w be f(-19). Suppose w*q - 7 = 4*l, 0 = 4*l - 3*l - 2*q + 8. Is l != 13/23?
True
Let a be 24/64 - 6/16. Suppose a*n = 17*n + 221. Which is bigger: n or -20?
n
Let c(d) = 95*d**2 - 335*d - 665. Let b be c(-2). Is 1931/5 greater than or equal to b?
True
Let j = 104 - 41.2. Let f = 59.8 