 = -0.022264 + 2.022264. Let t = -40.6 + 2.6. Which is greater: t or y?
y
Let l = 139/168 + -101701/126168. Do -1 and l have different values?
True
Let i be -9 + 2682/2 + 12/4. Which is smaller: 1340 or i?
i
Suppose 12*h + 6283 + 581 = 0. Let a be ((-6)/h)/((-69)/12 - -8). Is 1 bigger than a?
True
Let t(p) = 4*p**2 - 3*p**2 - 15*p + 6 - 18. Let o be t(16). Suppose -o*v - 5*v = 0. Is v >= -1/70?
True
Let j(m) = -m**3 - 14*m**2 + 127*m + 499. Let h be j(-17). Is h less than -800?
False
Let k = 23604 + -23626. Let d be -21 - (1 - 2)*2. Which is bigger: k or d?
d
Let u = 129 - 213. Let q = u + 78. Let h be (-8)/6*1/628*q. Which is smaller: 0 or h?
0
Let h(a) = 3*a + 27. Let p be h(-9). Let f be (6972/230)/6 - p. Let y = f + 54/23. Which is smaller: 8 or y?
y
Suppose 0 = -95*y - 69*y + 2150 - 29866. Is y <= -212?
False
Let z = -1164/41 + 25895/902. Let n(l) = l**3 + l**2 - 2*l + 1. Let f be n(1). Which is bigger: z or f?
f
Let d be 472/(((-28)/(-24))/7). Let g = -178947259/63206 + -81/63206. Let o = d + g. Which is greater: 1 or o?
1
Suppose -3*y - 4*y = 105. Let p be (-62)/14*(-448)/(-128). Which is greater: p or y?
y
Let p(b) = -b**2 + 37*b + 471. Let l be p(-10). Is 1/794 less than or equal to l?
True
Let n(o) = 10*o**3 + 11*o**2 - 13. Let b be n(-4). Is b smaller than -477?
False
Let y = -0.5 + -0.5. Let m = 1 + y. Let r be 56/6*((-1152)/448)/((-2)/4). Are r and m equal?
False
Suppose 42*b = 88804 - 16774. Is 1717 less than b?
False
Let f = 8785401/1240 - 7085. Is 0 less than f?
True
Suppose 2*n - 4*z = -28 - 90, -3*n + z - 162 = 0. Let r = 57 + n. Suppose 4*f + 154 = -5*p, 3*f = -6*p + r*p - 119. Is -40 < f?
False
Let x = 1.85 - 1.35. Let f be (-9 - (-414)/(-51)) + (-4)/(-34). Is f greater than or equal to x?
False
Suppose 0 = -4*k + 3*r - 9 + 20, -5 = 5*r. Suppose -1526 = 5*m + k*m. Do m and -217 have different values?
True
Let g = -35.039 - -6.039. Which is smaller: g or -2/25?
g
Let i = -200132/495 + -3938/45. Which is bigger: -492 or i?
i
Let f = -931 - -930. Let a be (-2)/(-5) + 0 + (-1)/6. Is f not equal to a?
True
Let k = 510.54 + -505. Let z = k + 0.06. Let t = 272 + -271. Is z >= t?
True
Let d = 1679116/69 - 24335. Are 50 and d equal?
False
Let f(q) = 12*q**2 + 16*q + 13. Let x be f(-3). Is 39 bigger than x?
False
Let z = 70124571326/889 - 78880310. Let n = -191/7 - z. Is -1 less than or equal to n?
True
Let u be ((-98)/(-28))/((-18221)/(-76)). Which is greater: 0 or u?
u
Let x(r) = 2*r**2 + 6*r + 4. Let b be x(-3). Suppose 0 = 5*p + b*k - 0*k + 7, -2*k - 5 = p. Is 8/31 at most p?
True
Let d = 637049/170 - 18731/5. Is 2 equal to d?
False
Let a = 0.061 + 0.233. Let c = a + 0.036. Let l = -0.16 + c. Is -1 less than l?
True
Let x = -501.793 - 1.207. Let a = 508 + x. Which is smaller: -12 or a?
-12
Let a(u) = -100*u**3 - 2*u**2 + 16*u - 14. Let h be a(1). Let j = h + 100. Is j less than or equal to -1/364?
False
Let s = 9527 + -9646. Is -25 at least as big as s?
True
Let n(w) = -w**2 - 46*w - 247. Let c be n(-14). Is 210 at least c?
True
Let x(u) be the second derivative of -u**3/6 + 83*u**2/2 + 122*u. Let y be x(21). Does y = 4?
False
Suppose 4*y + b - 123 = 0, 0 = -2*y + 3*y + 2*b - 22. Let a = 34 - y. Suppose g + z + 4 = -a*z, -2*g = z + 13. Are g and -11 equal?
False
Let v(b) = 19*b + 136. Let x be v(0). Let c = x - 137. Which is greater: -5/38 or c?
-5/38
Let u be -63 - ((-2)/(-8))/(3/12). Let x = 16 + -7. Let k be u/(-40) - x/15. Do k and 3 have the same value?
False
Let f = 11 + -6. Let v = 5/959 + -4719/721168. Let a = 2819/752 - v. Do f and a have different values?
True
Suppose 3*t + 2*l - 18 = 0, -39*t + 5 = -37*t - l. Suppose 3*d + 5 = -5*j + 2*d, t*j - 4*d + 28 = 0. Do j and -0.214 have the same value?
False
Let h = -10.1 + 6.1. Let y = -1.57 + 2.57. Which is smaller: y or h?
h
Let y = 790.47 + -790. Let g = 17.6 - 16.07. Let r = g + y. Is 22 >= r?
True
Suppose -3*k + 2*i + 6 = 0, -4*k - k + 6 = -2*i. Suppose 4*m + 4*c = -220, -10*m + 7*m - 5*c - 155 = k. Which is smaller: m or -58?
m
Suppose -5*a + 2*d = 19985 + 7487, 3*a - 3*d + 16467 = 0. Which is smaller: -5495 or a?
a
Let k = -2.146 - -1.946. Which is smaller: -551 or k?
-551
Suppose 12 = 53*d - 57*d. Let j(g) = -4*g**2 - 10*g + 6. Let a be j(d). Are a and 170 nonequal?
True
Let v(s) = s**3 + 7*s**2 - 16*s - 79. Let i be v(-7). Let h be 28/20 - 2 - 178/(-5). Is i at least as big as h?
False
Let i = -28611 + 28612. Is 10133/4 greater than or equal to i?
True
Let w(a) = -13*a + 19. Let b be w(3). Let d be (-36)/(-16) + 25/b. Which is bigger: d or 1/112?
d
Let i = -433 - -453. Let n = i + -19. Which is greater: n or 13.4?
13.4
Let z(t) = t + 2*t + 27 + 7 - 1. Let a be z(-13). Suppose 9*h + 38 + 16 = 0. Are h and a non-equal?
False
Suppose -72*a - 446 = 151*a. Is a bigger than -123/109?
False
Let h = 13 - 10.6. Let i = h - 21.4. Let j = -15 + 14. Which is smaller: i or j?
i
Let o = -47 + 30. Let z be (370923/o)/(1*-25). Let d = -873 + z. Which is bigger: 1 or d?
1
Let c(s) be the first derivative of -13*s**2/2 - 39*s - 146. Let y be c(28). Which is greater: y or -402?
-402
Let u = 6709 - -8505. Does u = 15215?
False
Let z = -344 - -878. Let p = z + -532. Which is smaller: p or -2/13?
-2/13
Let f = 0.07 - -0.93. Let a be ((9/270)/(6/(-15)))/((-24)/(-128)). Is a greater than f?
False
Suppose -4*y = -2*y. Suppose 0 = -q + 3*u - 0 - 1, y = -5*q - 2*u - 56. Let r(n) = -8*n**2 + 24*n + 25. Let b be r(-1). Is b not equal to q?
True
Let g = 38.49 - 39. Let j = g - -0.46. Is j < -2?
False
Let c be 15/9 + 0 + 10/30. Suppose 3*w = -c*y - 199, 3*y + 8*w + 292 = 10*w. Is y > -98?
False
Let o = 8.836 - 8.696. Suppose x - 24 = 5*x. Let b be (-2)/x - (-4)/(-30). Is o not equal to b?
True
Let s(f) = 3*f**2 - 30*f - 21. Let y be s(11). Suppose 0 = -6*z - 6*z - y. Which is bigger: -3/500 or z?
-3/500
Suppose 0 = -5*a + 3*a - 3*a. Let t = -0.1 + -94.9. Is t < a?
True
Let w = 1456873244/27244833 + -17058/319. Which is bigger: w or 1?
1
Let f = -12772 + 12556. Which is smaller: -215 or f?
f
Let n = -2.6195 + 2.7045. Which is greater: n or -28?
n
Suppose -3*i = n - 5*n + 814, 4*i + 2*n = -1056. Let k = -2524 - -2259. Which is bigger: k or i?
k
Let y = -14 + 89. Let b = y - 70. Suppose -b*w - 45 = -15. Which is smaller: 2 or w?
w
Let w = 1859 + -488899/263. Which is smaller: -1 or w?
-1
Let n = -11639 - -11639.7. Let h = -25 - -22.6. Let j = h + -0.6. Is j > n?
False
Suppose 4*l = -23*h + 22*h - 51, -148 = 4*h + 2*l. Let f be 280/15*(-3)/2. Is f less than h?
False
Let h(u) = 21*u**3 + 3*u + 2. Let z be h(2). Is 178 equal to z?
False
Let s = -44 + 218/5. Let g be (-585)/(-20) - 3/12. Suppose -g - 41 = -7*i. Is s not equal to i?
True
Let t be (-2 - -3)*(-3 + -34). Let y = 117 + -81. Let h = t + y. Which is smaller: h or 1/52?
h
Let q = -455 - -460. Suppose h = p - 198, -991 + 202 = 4*h - q*p. Which is smaller: h or -200?
h
Let y(z) = 9*z**2 + 16*z + 2. Let x be y(-2). Let c be x/64 + 64/(-512). Is -1 < c?
True
Let m = -7775 + 7785. Is m > -20?
True
Suppose -2*h + 25 = 3*h, -2*h = 2*n - 270. Let w = n - 198. Let u be ((-224)/w)/4 + -1. Which is smaller: u or 0.1?
u
Let n be 1 + (2 - (-321)/(-105)). Let o = 16654 + -16654. Do o and n have different values?
True
Let r(b) = b - 1824. Let h be r(-164). Is h >= -1990?
True
Suppose -k = -5*k - 16. Let s be ((-33)/(-4))/(1245/240 - 5). Let m be -1 + (s/50 - (-4 - k)). Is 1 at least as big as m?
True
Suppose 19 - 21 = -2*z. Let q be z/(-3) - (-24)/56. Let d = -477 + 476.97. Which is smaller: q or d?
d
Let v = -12.099 + 8.299. Which is bigger: 0.117 or v?
0.117
Let y(i) = 13*i**2 + 3*i - 7. Let k be y(2). Let d be 1 - 1 - k/(5 + -2). Suppose 2*h = h - 16. Which is greater: h or d?
h
Suppose 0 = 3*b + 96*t - 99*t - 1509, 2*t = -10. Is b at least 496?
True
Let y(a) = -60*a + 336. Let z be y(9). Let j be (-6)/(-54)*1*12*z. Is j at most -274?
False
Suppose 4*c = -3*k - 2107 + 106, 5*c - 2*k = -2507. Which is bigger: c or -1507/3?
c
Let v = 1203/119 + -14/17. Suppose 48 = 28*l - 22*l. Is l less than v?
True
Suppose -2*a - a = -4*z + 61, -z - 5*a + 21 = 0. Suppose 8*q + 32 = -8. Let y be (q/2)/((-70)/462). Which is smaller: y or z?
z
Let f = -1.378 - -1.478. Which is smaller: -0.09 or f?
-0.09
Let m be (0 - 1)*(-2 - 0). Suppose 0 = x - m*x + 3. Suppose -2*c - 12