= -161 + 322. Let t = v - 772/5. Which is smaller: t or k?
t
Let k be -18 - 1 - (4 - 3). Let c be 7*(-3)/14*k/15. Suppose -3*x + 68 = c. Is 21 greater than x?
False
Suppose -5*y = 3*w + 15, 0 - 6 = w + 2*y. Let r = 29658 - 29659. Is r greater than w?
False
Suppose -5*y + 13 = -2*i, y = 4*i + 15 + 2. Suppose -o = -0 - 1, 2*d + y = -o. Suppose -15 = -3*x + 8*x. Which is greater: x or d?
d
Let l = 19624835/3579 - 16450/3. Is -1 > l?
False
Let c = 20113/11 - 1829. Let p(a) = a + 8. Let i be p(-5). Suppose -2*v - i - 1 = 0. Which is smaller: c or v?
v
Let y = -4523 - -5954. Which is greater: y or 0?
y
Let k = -10 + 25. Let v = -609 + 604. Let b be (v - (-9 + 3))/(11/132). Which is smaller: b or k?
b
Let y = -81 - -87.5. Let u = y - 88.5. Is 3 > u?
True
Let o(z) = 22*z - 7. Let s be o(-3). Let k be 2 - 2*s/(-70). Suppose 10*b = 11 - 1. Is k < b?
True
Suppose -3*h + 10 = 4*j, -7*h + 6*h = -2. Let q(i) = 76*i + 3. Let x be q(j). Let k be -4*x/(-28) + 4/(-14). Which is smaller: k or 9?
9
Let k = -48 - -77. Let w = k - 26. Let r be (w - 1)/(4 - 3 - 3). Which is greater: r or -18/13?
r
Let b be ((189/(-36))/(-3))/((-1)/(-120)). Let s be 236*(b/(-48) - -5). Is s > 148?
False
Let h be 12*(-28)/(-3024) - (-710)/9. Which is bigger: h or -16?
h
Let h(s) = s**3 + 15*s**2 - 12*s - 172. Let b be h(-15). Which is bigger: b or 388/47?
388/47
Let k(n) = 79*n - 40. Let w be k(-3). Let l = 276 + w. Which is greater: -70/9 or l?
l
Let c be 14/49*((-21)/(-6) - 0). Let g be (10/30)/((c/(-75))/(-1)). Is g not equal to -4?
True
Let s be (-5)/(-10)*-4 + -298. Let l = s - -313. Which is greater: 19 or l?
19
Suppose 8*p + 11936 - 11904 = 0. Are -284 and p unequal?
True
Let b = -1181 + 1181. Is b not equal to 56/121?
True
Suppose 0 = -v + b + 1987, -3*b + 3999 = 3*v - v. Let y = v - 141428/71. Are 0.1 and y non-equal?
True
Let m = -76.37 - -0.37. Let w = 75.906 + m. Let j = -0.006 + w. Is 0.4 at most j?
False
Let o be (-6)/(-78) - (-121862)/19604. Is 7 <= o?
False
Let w = -3.375 - -4.375. Which is smaller: w or 407?
w
Let l = -125.3 - -126. Let o(f) = 284*f - 1172. Let s be o(4). Which is smaller: s or l?
s
Suppose 3*d - 14*d - 268 = -257. Let z be (2/(-4))/((-315)/10). Is d < z?
True
Let m(g) = 9 + 1 + g - 1. Let o be m(-7). Let w(b) = -45*b + 3921. Let f be w(87). Is f at least o?
True
Let r = -16497 + 16501. Which is greater: r or 29?
29
Let p = 0.03 - 0.23. Let i = 419 + -598. Let s = i + 179.2. Is p equal to s?
False
Let z(m) = -m**3 + 14*m**2 + 18*m + 4. Let n be z(15). Suppose 8*w - 2 = -90. Let j be w/(-22) + -38*(-10)/8. Which is smaller: n or j?
j
Let i = -10988.02 - -10989. Which is bigger: i or -40?
i
Let k(c) = -c**2 + 8*c - 13. Let l be k(4). Suppose 2*v + 6 = l*v + 3*h, -5*v + 5*h = 50. Let n(o) = -2*o - 12. Let j be n(v). Which is smaller: 2/317 or j?
j
Let n = 4148 + -25067/6. Suppose -3*x = -7*h + 3*h + 82, -2*x - 54 = -3*h. Which is greater: x or n?
n
Let i = -52.074 + 0.074. Let g = i - -67. Let k = g - 14.79. Is k > -2/9?
True
Let d = 4804 + -5210. Is d != 1?
True
Let m = 1915/187 + -112/11. Let y(h) be the second derivative of h**4/12 - h**3/3 - 7*h**2/2 - 28*h. Let i be y(-2). Is m at most as big as i?
True
Suppose -35*w = -8*w - 39 + 12. Is 58/83 greater than or equal to w?
False
Suppose -13395 - 30265 = -148*x. Is x at least as big as 292?
True
Let n be ((-67)/1)/((-6314)/(-903) + -7). Let b be (-3752)/n*(-6)/(-4). Is 0 greater than b?
True
Let h = -2/1079 + -2897/183430. Let k = 0 + 0.1. Which is smaller: k or h?
h
Let f be (-4)/(-40)*(5 + -10 + 7). Let t = 71.1 + -76. Which is bigger: t or f?
f
Suppose -700 - 2558 = -2*o. Let g = o + -8052/5. Is g bigger than 19?
False
Let x = -15670 + 47543/3. Is x equal to 179?
False
Suppose s - 2 = -3. Let n be -22*(-8)/1474 + (4/34)/(-1). Which is smaller: s or n?
s
Let x be 6 - (-9)/(-285210)*190138. Is 1 greater than x?
True
Let v = 25084 + -225514/9. Let q = -229/9 + v. Is 0 > q?
False
Let q(x) = 7*x**2 + 27*x - 4. Let n be q(-4). Let l = 11545/21489 - -2/1653. Do l and n have the same value?
False
Let l(a) = a**2 + 5*a - 6. Let w be l(-6). Let r be ((-36)/21 - 0)*84. Let s = -1729/12 - r. Which is bigger: s or w?
w
Suppose 99*w - 89*w = 10. Let i be 28/14 + w/((-153)/330). Which is smaller: i or 0?
i
Suppose -67*q = -5*i - 72*q + 115, 2*q = -3*i + 70. Suppose -5*s - 71 = -3*y, 6*y + 4*s = y + 106. Which is smaller: i or y?
y
Let c = 0.65 - -2.7. Let a = -10.58 - c. Let f = a - -14. Are f and -0.2 equal?
False
Let u be ((-1)/5)/((-87)/314505). Is 722 less than or equal to u?
True
Suppose -5*h + 4980 = -2400. Suppose 11*l - h = -7*l. Is -0.3 bigger than l?
False
Suppose -18*a + 402 = 116*a. Which is bigger: -9 or a?
a
Let h = 43 + -39. Suppose h*m - m = 90. Let k be 4/14 - m/105. Is -2/13 greater than or equal to k?
False
Suppose -5*o + 21 = 6. Suppose -15 + 5 = 4*t + o*i, 2*t + 2*i = -4. Are t and -2 equal?
False
Let x(p) = -64*p + 5819. Let o be x(127). Are -2308 and o unequal?
True
Suppose -4*f - 6 - 2 = -4*p, -5*p - 8 = -2*f. Let m be f/(-2) - (-98)/(-42). Suppose 0 = 11*w - 13*w - 118. Which is smaller: m or w?
w
Let r = -381 + 401. Let n be (29/r - 1)*1/6. Is 0 not equal to n?
True
Let k = 0.021 + -0.941. Let x = 1 + k. Let n be ((-2)/6)/(9/270*-5). Is n > x?
True
Let z(j) = -497*j + 1990. Let u be z(4). Which is greater: u or 17/21?
u
Let k = -10 + 15. Suppose -3*a = -k*a + 22. Suppose 5*j - 3*y = 1, -5*j - a - 2 = 4*y. Are 2 and j nonequal?
True
Let c = -3087 - -8878211/2876. Which is greater: c or 0?
0
Suppose -67 = 19*c + 180. Let o(f) = 15*f + 70. Let x be o(c). Are x and -125 equal?
True
Suppose -263*g = -44*g. Which is smaller: g or -10/4101?
-10/4101
Let t = -1/648 + -133483/3240. Let p be (-1)/(-1) - (-552)/(-15). Let h = t - p. Which is smaller: h or -4?
h
Let i be ((-1948)/(-6))/((-824)/2781). Which is greater: i or -1096?
i
Let f = 3155 + -1740. Let i = f - 111787/79. Let p be 6/15 - (-4)/(-10). Is p at least as big as i?
True
Let r(z) be the first derivative of 13*z**2/2 - 206*z + 250. Let a be r(8). Are a and -104 nonequal?
True
Let n = 11640 - 21699. Which is smaller: -10060 or n?
-10060
Let b(y) be the second derivative of -y**4/12 + 3*y**3/2 + 11*y**2 + y. Suppose -2*a + 5*d + 17 = 0, -32 = 21*a - 24*a + d. Let g be b(a). Is g equal to 88?
False
Suppose 0 = -16*s - 45 - 3. Let v(p) = -2*p**3 - 6*p**2 + p - 4. Let h be v(s). Let j = -36.9 + 37. Is j equal to h?
False
Let n = -37 + 35.98. Let g = -47 + 47.92. Let p = g + n. Is -10 not equal to p?
True
Let q be (138/(-36))/(57/29). Let v = -5553 + 99991/18. Let z = v + q. Which is smaller: z or 0?
0
Let n be 9 + (-14 - -5) - (2 + 35/(-16)). Which is greater: n or 3/13?
3/13
Suppose -105*i - 1584 - 2406 = 0. Which is smaller: -46 or i?
-46
Let c be ((-12)/(-5))/(-5 + (-23)/(-5)). Let h be c/(-291)*(14 + -16). Is -1 less than h?
True
Let x be 2/7*1664/100 + (-18)/(-63). Do x and -0.1 have different values?
True
Let q be 3/(-4) - 344/(-32). Let w be -5*(-10)/25 - q/6. Which is smaller: w or 0.031?
0.031
Let a = -158.227 - -158. Let p = a + 0.207. Which is smaller: 2/5 or p?
p
Suppose -6 = -l, 2319*l - 2323*l = 4*z - 28. Let r = -10 + -11. Which is bigger: z or r?
z
Let b = 233 - 223. Suppose 0 = -5*o - 5*h - b, -2*h + 6*h = 4*o. Which is bigger: 3/71 or o?
3/71
Let q be 34/(-17)*(-11)/((-99594)/(-48)). Which is bigger: 0.1 or q?
0.1
Let x be (-5)/(35/7)*7. Let f be (2028/(-40))/13 - (x + 2). Is 0 less than or equal to f?
True
Let o be ((-2)/(-116))/((-1)/(-8)). Suppose -5*t = -5*f, -24*f = -t - 25*f + 2. Let u be t/(-2)*1*2. Is u < o?
True
Let f = 45520 - 45535. Let t = 2.12 - 0.12. Is t at most as big as f?
False
Let k = 21/8431 + -771088/306188627. Let i = -34457/67549620 + k. Let q = i + -18587/24180. Which is smaller: -1 or q?
-1
Suppose -101952 = -257*k + 498*k - 250*k. Is 1/4 <= k?
True
Suppose -v - 5 = -5*b + 12, 0 = -v - 3*b + 15. Let u(o) = -o**3 + 115*o**2 + 474*o + 246. Let g be u(119). Let m be (v + 1 - 36/g)*4. Is m less than -5?
False
Suppose 0 = -x - b - 297, -1485 = 5*x + b + b. Let h = -297 - x. Which is smaller: h or 2/123?
h
Let z = -461/231 + 40/21. Suppose 19*h = 24*h + 15. Let p = h + 4. Which is smaller: p or z?
z
Let h be -3*(2779/21 - 3). Is h >= -387?
False
Let f = 22685 + -59956454/2643. Is 0 smaller than f?
Tru