e
Let h = 2554622465/2057276 + 2/514319. Let k = 1233 - h. Which is smaller: -9 or k?
-9
Let y = -3163/61 - -179955/793. Let z = y - 175. Let m = 3 - 4. Which is smaller: z or m?
m
Let o = 17383 - -1791. Which is greater: 19175 or o?
19175
Let z = -14/3373 + -1173566/57341. Let f = z - -73445/3587. Which is smaller: 0 or f?
0
Suppose -3*r = -2*u - 424, 6*r + 4*u = 4*r + 304. Let s = -158 + r. Is s greater than 3?
False
Let h = 60.59 + -57.59. Which is smaller: h or -0.0603?
-0.0603
Suppose 6*l - 118 = 62. Suppose l*t + 48 = 18*t. Which is smaller: t or 0?
t
Let d be 39/((1/(-3)*112/(-84))/4). Which is greater: d or 1752/5?
d
Let q(l) = -6*l**2 - 7*l - 10. Let n be q(-5). Let d = 102 + -227. Do n and d have different values?
False
Suppose -24*q = -3119 + 335. Suppose -18*t = 1610 - q. Is -82 != t?
True
Let z = 4.47 - 4. Let d = z - -0.53. Suppose 0*f + 4*f = 44. Which is smaller: d or f?
d
Let j = -159 + 209. Suppose -10*t = -13*t - 6, 2*t + 160 = 3*y. Which is smaller: j or y?
j
Let u = 294 - 4412/15. Suppose 2*h + 1014 = -3*h + 2*z, -4*h - 807 = -3*z. Let x be -4 - (-7)/(-350)*h. Is u less than x?
True
Let b = 146 - -7625. Is 7771 bigger than b?
False
Let d = 330 + -524. Suppose -t - 179 = 4*b, -12*t + 14*t + 382 = -2*b. Are d and t unequal?
True
Let h = -121 - -172. Let d(c) be the third derivative of 17*c**5/20 + c**4/24 + 19*c**2. Let u be d(-1). Which is smaller: h or u?
u
Suppose -16*z = -65611 + 235. Is z < 4084?
False
Suppose 0 = -3*s - 2*r - 35026, 3*s = 8*s - r + 58381. Which is smaller: -11678 or s?
-11678
Suppose 3*m + 6*m + 2501 = 3095. Let p = -75 + 141. Is p smaller than m?
False
Let g be 2 + 4 - (-2 - 1). Let n(a) = -15*a**3 - a**2 + 2*a + 2. Let y be n(-1). Suppose h - y = -5. Is g at most as big as h?
True
Let a = -5/1473 - -4312/1704261. Let s = a + -60149/17355. Which is bigger: -3 or s?
-3
Suppose -2*o = 68*v - 71*v + 2889, 0 = 11*v + 11. Is o at least -1446?
True
Suppose 14*l = 3*l - 165. Let j be 18/l*-5*2/15. Is 2 smaller than j?
False
Let d = -1.17128 + 0.17128. Is d < -96/37?
False
Suppose 0 = 3*v + 4*b + 693, 4*v + 4*b + 489 = -435. Let n = v + 385. Is 154 at least n?
True
Suppose 0 = 4*h - 0*h - 8, -3*h - 29 = -5*m. Let a = m - 7. Let y be (-5 - 198/(-42)) + -2 + 762/364. Is a less than y?
False
Let u = 0.742 + -3.142. Is u at most 24?
True
Let n = -209 - -32. Let l = -141 - n. Let w be ((-1)/(-3))/((-5)/(-6)). Which is greater: l or w?
l
Let b = 6 - 34. Let u be (-14)/(b/(-3) + -2). Is u greater than -3?
True
Suppose -2*v + 202 = 23*y - 20*y, 4*v - 446 = y. Is v > 112?
False
Suppose 2*d - 3*l = 7, -3*d - 2*l - l = -3. Suppose -5*p + 325 = 3*h, 126 = 2*p + d*h - 0. Is p != 69?
True
Suppose 2923 = -5*g - 267. Let k = g + 2539/4. Are -3 and k equal?
False
Suppose 3*k = 6, -20*k - 7 = -3*d - 25*k. Let p be 69/(-75) - 1/(-1). Which is smaller: p or d?
d
Let d be ((-16)/(-144) - 481/(-45))/((-16)/120). Which is smaller: -1115/14 or d?
d
Let h = -7.8093 + -0.0507. Let s = h - -7.89. Is 22 at least s?
True
Suppose 58 = -5*l + 18, 0 = -2*u + 3*l - 24. Are -10/93 and u unequal?
True
Let l = -384 + 384. Which is smaller: l or 3/3986?
l
Let l be 2/(-10) - (-62)/(-290). Suppose -6254 + 6300 = 46*s. Is s greater than l?
True
Let g = 109 + -72. Suppose -3 - 8 = -2*u - 5*n, 0 = -4*u - 5*n + g. Which is smaller: 11 or u?
11
Let c(u) = 10*u**2 + 1079*u + 562. Let t be c(-103). Which is smaller: t or -4484?
t
Let x(o) be the third derivative of -o**6/60 + 3*o**5/4 + 13*o**4/12 - 35*o**3/3 + 7*o**2 + 3. Let t be x(23). Which is smaller: t or -0.33?
t
Let p = -1547 - -2273. Which is smaller: 2901/4 or p?
2901/4
Let o = -34729 + 34730. Is o at most 1/16345?
False
Let c = 0.8839 + -0.6219. Is c < 1?
True
Let y = -21 + 21.3. Let o = y + 0.3. Let i = o - 0. Is i less than 2?
True
Let r = 1/38917 - 69194431/194585. Let n = r + 7331/10. Let a = -368 + n. Which is greater: a or 11?
11
Let t = -0.277 + -12.023. Let l = -9.3 - t. Is l at least as big as 11?
False
Let b = -518130333719/970 - -534154911. Let x = b - -361/5. Which is smaller: 1 or x?
x
Let g = -0.3571 + 0.5571. Which is greater: g or 339?
339
Suppose 15 = -4*i - m, 0 = -3*i + 2*m - 3*m - 12. Suppose 2*g + 9 = -x, 11 = -3*g + g + x. Is g at most as big as i?
True
Let g be -8 - 515/(-206)*(-32)/(-10). Is -6/6551 smaller than g?
True
Let f = 26 + -24. Let m(b) = -b**2 - 14*b - 21. Let h be m(-12). Are f and h nonequal?
True
Let y = 1418 - 41087/29. Is y less than -0.3?
False
Let a = -0.0444 + -5.9856. Let u = 6 + a. Let h = 0.5258 + -0.3258. Which is smaller: u or h?
u
Suppose -15*q - 5071 = -24001. Let m = -1817 + q. Is -555 at least m?
True
Let z(u) = -u**3 + 7*u**2 + 6*u + 10. Let y be z(7). Let v(i) = -18*i + 17. Let n be v(2). Let d = n + y. Which is greater: d or 0?
d
Let w = -0.405 + 130.405. Let u = -137 + w. Do 17 and u have different values?
True
Let y(r) = 27*r + 50*r**2 - 27 + 3*r**3 - 4*r**3 - 34*r**2 + 15*r. Let a be y(18). Is a at most as big as 79?
False
Suppose 2*y + 611 = 5*r, 148*y = -2*r + 147*y + 257. Is r smaller than 45?
False
Let a = -59265 - -5511698/93. Which is greater: a or 0?
a
Suppose -17*f + 29 + 39 = 0. Let q be (15/10)/(2/4). Which is smaller: f or q?
q
Let h = 231.9787 - 232. Let m = h - -42.4213. Let b = 43 - m. Which is smaller: -3 or b?
-3
Let l = 2089 - 2094. Which is smaller: l or 5?
l
Let w = -27.273 - 0.227. Let y = w - -26.5. Is y >= 42?
False
Let c be (-10)/12 + ((-112)/96 - 14/(-7)). Which is smaller: c or 6/3037?
c
Let o be (-26310)/888 - 2/((-16)/10). Do -28 and o have the same value?
False
Let n = 3581 + -3710. Are -133 and n non-equal?
True
Suppose 188 - 644 = -4*m. Suppose -2*d - 4*d - m = 0. Is -19 at least d?
True
Suppose -2*b + 23 = -5*z - 171, 3*z = -5*b - 166. Is z > -296/7?
True
Let x = -26 - -14. Let w = x + 6. Let l be (-6 - w) + (-38)/1. Which is greater: l or -37?
-37
Let f be (4/3)/((-6)/9). Let v(a) = 2*a + 8. Let b = -37 + 31. Let k be v(b). Is k at most f?
True
Let w(s) = 16*s - 10. Let q be w(2). Let d be ((-574)/(-28) - 7)*(-8)/q. Does d = -5?
False
Let s(h) = 2*h**3 - 2*h**2 + 5*h - 6. Let v be s(4). Suppose -3*t + v = 152. Which is smaller: t or -89/6?
-89/6
Let p = -32.71 - -32.69. Are p and -300 unequal?
True
Let o(s) = -15*s - s - 9*s - 13*s - 183 + 9*s. Let b be o(-6). Which is bigger: b or 3?
3
Suppose 0 = l + 3*l + 24. Let x(h) = h - 3. Let m be x(l). Let j be (-1 - -2 - 3) + -58 + 58. Which is greater: j or m?
j
Let v = -17187 - -15246. Which is smaller: -21342/11 or v?
v
Let h = -644 + 613. Is h less than or equal to -41?
False
Let s = 3735 + 4792. Is s at most as big as 8526?
False
Let r be 68/11 + 2/(-11). Let c(l) = l**3 - 9*l**2 + 6*l - 18. Let p be c(r). Which is smaller: p or -1?
p
Let w be 4 + 3/(-2922)*3899. Are 1 and w nonequal?
True
Suppose 16164 = 7*o + 5496. Let p be -11 + o/132 - 12/22. Is -147 smaller than p?
True
Let i = 25479 + -25478. Is 10/5251 smaller than i?
True
Let g be (6/8 - 1) + (-136)/(-1824). Let q = 16/19 + g. Do 141 and q have the same value?
False
Let z = 1.99 + -2.1. Let g = -0.22 + -0.08. Let n = g + 0.5. Which is greater: n or z?
n
Let b = 23602 - 23585. Which is smaller: 597 or b?
b
Let j = 2157 - 2160. Is j != -30/13?
True
Let t(n) be the first derivative of -n**4 + 28*n**3/3 - 5*n - 67. Let f be t(7). Is f at least -14?
True
Let r = -491 + 248. Let i = 229 + r. Is i bigger than 3/2?
False
Let a(o) = -160*o - 155. Let z be a(-1). Let l(d) = -d**3 - 7*d**2 + 7*d - 15. Let i be l(-8). Is i less than z?
True
Suppose 4*u - 3*l = 1, 9*u - 13*u - 3*l = -7. Which is greater: 3652 or u?
3652
Let p(y) = 80*y + 703. Let q be p(-6). Which is bigger: q or 1118/5?
1118/5
Let v be 28157464/(-49268604) + (-8)/(-14). Is v at least -1?
True
Let k(j) = -j - 3. Let s be k(-9). Let c(w) = 2*w**3 - 8*w**2 - 34. Let g be c(s). Is 108 > g?
False
Let d = -6.768 + 38.498. Let t = -31.9 + d. Which is smaller: t or 2?
t
Let a(u) = 7*u + 49 + u**2 - 44 + 0*u**2. Let f be a(-6). Let b = -19 - f. Do -17 and b have the same value?
False
Let u = 3784/575 - 8/25. Is u at least 7?
False
Let x be (-68)/(1/((-5)/565) + -2). Let y = x + -25457/460. Which is greater: y or -55?
y
Let i = -2/55 + -49/165. Let y = i + 1/6. Let h = 4.4 + -4.38. Is h less than y?
False
Let h(s) = 1. Let q(l) = -l**2 - 9*l + 9. Le