0. Let b be t(5). Let j = b + -8. Are j and -47 equal?
False
Let c = 2055.2 + -1870. Let o = -188 + c. Is 1/3 > o?
True
Let y be (-3)/18 - (-46)/(-12). Let o be (-1249)/5 - y/5. Let h = o + 3737/15. Which is smaller: h or -1?
-1
Let a = -10 + 10. Let t(b) = b**3 + 4*b**2 + 2*b - 3. Let k be t(-3). Suppose -25*o + 22*o + 30 = k. Which is bigger: a or o?
o
Let h = -16886 + 16883. Which is bigger: h or 155?
155
Suppose t = -5375 + 5325. Is t greater than -49/4?
False
Let h = -3659 + 1026. Is h bigger than 0?
False
Let r be 42/9 + (-4)/6. Suppose -3*i = 6, 0 = -4*f - 4*i + r + 4. Suppose -4*y - 104 - f = 0. Is y smaller than 0?
True
Let l = -0.05 + 0.13. Let s = -31 - -31.28. Let o = -0.08 + s. Which is smaller: o or l?
l
Let j = -389.81 + 388. Let l = 18730 + -18730.3. Are j and l nonequal?
True
Suppose -5*v + 3*m + 1721 = 0, -5*v + 1723 = -0*m - 4*m. Do v and 343 have the same value?
True
Let k = -2405 + 2406. Is k <= -3.216?
False
Let d(r) = -2*r + 9. Let b be d(9). Let w = b + -37. Let f = 45 + w. Which is smaller: 1/40 or f?
f
Suppose 1542 = -8*p - 1306. Let r = p - -365. Which is bigger: 2/11 or r?
r
Let r = -7248265/488 - -14853. Which is greater: r or 3?
3
Let p = 19.489 - 19.3. Which is smaller: -2 or p?
-2
Let r = 0.1595 - 2.1595. Which is greater: r or -142?
r
Let l = -1929 - -2004. Which is bigger: 13 or l?
l
Let f = 578.371 - 584.4. Let y = 0.029 + f. Let p = y + 5.5. Which is greater: p or 0.1?
0.1
Let k = -5949111/20245450 + 1/95950. Are k and 0 unequal?
True
Let l = -2162.55 - -2225. Let q = l - 62. Let c = 0.45 - q. Which is smaller: -0.24 or c?
-0.24
Let u = -6849 + 7223.85. Let a = 419 - u. Let w = 44 - a. Which is smaller: -1 or w?
-1
Let d(g) = -g**2 - 22*g + 18. Let b(x) = x**2 - 10*x - 15. Let f be b(9). Let i be d(f). Is i equal to -91/3?
False
Let z be ((-14)/(-46))/(-219 - -216). Which is smaller: z or 0.4?
z
Let d be ((-4)/(-6))/(42/189). Suppose 0 = i - 4*f + 63, 5*i - f - d*f + 299 = 0. Which is bigger: i or -56?
-56
Suppose 0 = -592*z + 569*z - 5359. Which is bigger: z or -1397/6?
-1397/6
Let b = 47149/23 + -2050. Do b and -1 have the same value?
False
Let h(l) = -l**3 + 26*l**2 + 314*l + 70. Let a be h(35). Is a at most 71?
True
Let a = 24911 - 25228. Is -28 <= a?
False
Let g be (2 + -7 - 3)/((-57)/570). Is g at most 73?
False
Let q(k) = k**3 - 6*k**2 + 5*k + 1. Let b be q(5). Let p be (980/(-12) - -3) + (-4)/(-6). Let h be -2*(-2)/(-26) + p/(-507). Is h > b?
False
Let u(m) = 1081*m**2 - 20*m - 20. Let h be u(-1). Are h and 5401/5 equal?
False
Let f = -85 + 170. Suppose 0 = 9*h + 8*h - f. Do h and 9/2 have different values?
True
Let j = 3.86 + 0.64. Let p = j + -5.9. Let y = p - -1.3. Are -5/13 and y non-equal?
True
Suppose 2 = 991*f - 990*f. Let n be (-250)/(-200) + f + (-7)/2. Which is smaller: n or 20/11?
n
Let h = -0.9 - -1.09. Let y = 0.31 + h. Let j be (8/(-28))/(34/(-14)). Is y >= j?
True
Suppose 0 = -246*j + 305*j + 295. Let x = 5 + -3. Let k be 78/4*x/(-7). Is k equal to j?
False
Let b be -38 + 36 - 180/(-89). Let g(n) = -n**2 + 2*n + 3. Let p be g(5). Let y = p - -11. Is b at least y?
True
Let r = -4184 - -192437/46. Let q = 69 - 69. Are r and q equal?
False
Let u = 5837 + -6735. Which is greater: -900 or u?
u
Let y = -3.034 - -3.234. Is y at most -389?
False
Suppose -21 = -3*u + 6*u. Let g be ((7 + u)*-1)/1. Is -1/77 at least as big as g?
False
Let o(c) = 4*c**2 + 2*c. Let g be o(1). Let v be 1/(2/(0 + 12)). Suppose -4*b + v = 3*x - 2, b = 3*x - 13. Is g bigger than x?
True
Let m be ((-6)/(-1))/(5 - 3935/785). Are m and -1879/4 unequal?
True
Suppose -26 = -6*d + 1780. Let n = -3468 + 3769. Is n bigger than d?
False
Let p be (-916)/(-2061) + (-17)/72. Let a = 36 + -36. Is a bigger than p?
False
Let a(f) be the third derivative of -f**5/60 + 13*f**4/24 + 5*f**3 - 2*f**2 + 18. Let o be a(12). Suppose 4 - 130 = -3*d. Is d greater than or equal to o?
True
Let z be (-6)/16 - 4/(-10). Suppose -5*u = 6*a - 5*a - 24, -2*u = -8. Suppose 0 + a = -5*x - t, -x - 4*t = -3. Is z at least as big as x?
True
Suppose 234 = 36*d + 3*d. Let t be d*(-4)/(-42) + (-4)/8. Which is greater: t or -1?
t
Let l = 116 + -108. Suppose 13*f + 160 = l*f. Let a = f + 8. Which is greater: -23 or a?
-23
Let g = 270 - 268. Let j = 2 + 12. Which is bigger: j or g?
j
Suppose -25*c + 27051 + 38430 + 46319 = 0. Which is smaller: c or 4474?
c
Let y be (-287 - -285)*((-2)/(-1) + -133 + -1). Which is bigger: y or 258?
y
Let t = 450 + -394. Suppose -m - 3*o + t + 21 = 0, 3*m - 211 = -5*o. Suppose 49 - 195 = -2*k - 5*a, -a = -k + 59. Is m less than or equal to k?
True
Let o = -378266/39 - -9700. Is o smaller than 2?
True
Suppose 151*q + 6238 = -1674996. Is -11134 at most q?
True
Let d = -1/560 + -1093/15120. Is -7/11 <= d?
True
Suppose -9 = 13*d - 22*d. Let q be -4*d/(-10) - 492/30. Is q at least as big as -17?
True
Suppose -9148*r + 9143*r = 16620. Is -3324 less than r?
False
Suppose -20 = -u - 17. Let h be (-70)/u + 8/(-3) + 2. Which is smaller: h or 0.3?
h
Suppose 37 = -4*b - 75. Let x = -82 - b. Let w = 49 + x. Which is greater: 1 or w?
1
Let i be 2/(-6)*3 - -17. Let h be (8/i)/(1/(-72)). Let w = h + 41. Is w at least as big as 7?
False
Let a = 2/99 - 2782/495. Which is smaller: 10 or a?
a
Let a = -115.4 + -18.6. Let s = a - -149.9. Which is smaller: 0 or s?
0
Let p = -6113 - -24453/4. Which is bigger: 58.6 or p?
58.6
Suppose -2*s + 6 = 2*m, 4*m - 15*s + 9 = -12*s. Is m smaller than 127/99?
True
Let d = 0.20497 - 0.00497. Is d less than -138.9?
False
Let r(d) = -6*d**3 + 2*d + 6. Let c(x) = 7*x**3 + x**2 - 3*x - 7. Let s(w) = -5*c(w) - 6*r(w). Let f be s(4). Let j = 4 + -9. Is f bigger than j?
False
Let z(x) = -112*x**3 + 260*x**2 + 11*x + 9. Let r be z(4). Is r <= 2/7?
True
Let i = 514 + -510. Are i and -5.26 nonequal?
True
Suppose 3156 = 3*b + 2*q, 0*q = q. Suppose 0 = -1057*w + b*w + 1455. Is w <= 291?
True
Let r be 11 - (-2140)/4*7. Do r and 3757 have the same value?
False
Let r = 13803.355 - 13805. Which is smaller: r or 4?
r
Let n = -1/35 - -153/455. Let r = -841.4 + 881.59. Let s = r + -40.2. Which is bigger: s or n?
n
Let m = -62 + 118.9. Let q = 57 - m. Let h = 1 + 2. Which is bigger: h or q?
h
Suppose 224 - 226 = s + s. Are s and 4/2603 equal?
False
Suppose -4*u - 2 + 10 = 0. Let i = -2 + u. Let t be (-218)/(-1334) + 362/8326. Is i <= t?
True
Let u = -2074011/71056 + 4/4441. Which is smaller: u or -29?
u
Suppose 3*d + y = -382, -4*d - 168 = 3*y + 343. Let i = d + 274. Which is smaller: 146 or i?
146
Let i = 4463 - 4462.6. Is -251 equal to i?
False
Let v(g) = 213*g - 2. Let k be v(2). Let w be (1083/(-12) + 6)*5. Let h = k + w. Do 4 and h have different values?
True
Let k be 262 + -557 - (1 + -23). Are -3018/11 and k non-equal?
True
Let m = 75449/5292 - 1213/98. Let x = m - 23/12. Let b be -5 - 118/(-21) - (-4)/(-12). Which is smaller: b or x?
x
Suppose -22 = -5*w - 4*h, w + 4 = 3*h - 3. Let t be (-4)/(-26) + w/(-13). Suppose f = 3, t*d - 3 = d - f. Which is bigger: d or 4?
4
Let l(c) = -165*c + 4126. Let k be l(25). Suppose u = 3*u. Suppose m + u = -2. Which is smaller: k or m?
m
Let p(w) = w - 2. Let r(c) = 5*c - 44. Let i(k) = 6*p(k) + r(k). Let y be i(5). Is y less than or equal to 1/359?
True
Let n = -144 - -210. Let p be (3/9)/((-16)/n). Which is greater: p or -1?
-1
Let c(w) = -w**3 - 35*w**2 + 40*w + 149. Let m(d) = d**3 - 10*d**2 + 11*d + 4. Let z be m(8). Let r be c(z). Which is smaller: r or 3/17?
3/17
Let t be (1965/20)/(9/12) + 1. Let r = t + -76. Let j = -56 + r. Is j bigger than -1?
True
Let t = -220 + 219. Which is smaller: -8/185 or t?
t
Let t = -940061/217 + 4332. Is t less than 1?
True
Let p = -1299 - 191. Which is smaller: p or -1489?
p
Let w be (20/6)/2 + (-1953042)/1171296. Is -1 > w?
False
Let d = -55142 - -55120. Suppose 13 + 12 = 5*m. Is m > d?
True
Suppose -27*w + 6208 = -18173. Let b = -8119/9 + w. Is 0 less than b?
True
Let f(b) = 2*b - 16. Let z be f(10). Suppose 0 = 8*w - 20 - z. Suppose 4*l = -3*j + 2*j + 4, -3*j = -3*l + w. Is -1/44 greater than j?
False
Let v be ((-290598)/(-96867) - 3)/(127/1143). Is -1 at least as big as v?
False
Let s = -125 + 145. Suppose -s = 2*z - 2*m, -m = z + m + 10. Is -8 at most as big as z?
False
Let y(l) = 10*l + 52. Let w be y(-5). Let s = -694.1 - -743. Let n = s + -47. D