. Is t bigger than 0.2?
False
Let z = 45 + -37. Suppose -2*w = -z, w = -3*k - 3*w - 23. Let a be (1/(-3))/(k/(-312)). Is -8 greater than or equal to a?
True
Suppose -4*x = w - 139, -w = 3*w + 20. Suppose 2*m - x = 122. Suppose j - m = -4*h, j = -3*h + 18 + 40. Which is greater: h or 20?
h
Suppose 0 = -7*a + a + 306. Suppose -a = t + 3*p, 2*t + 69 = 4*p + p. Let k be (t/2 + -1)/(-2). Is 11 greater than or equal to k?
True
Suppose 8060 = 33*x - 7*x. Suppose 6*s - x = 284. Is 0.1 equal to s?
False
Let l = -1329/1729 + 72/91. Which is bigger: 0 or l?
l
Let c(d) = d - 18. Let s be c(20). Let p be (3 - 2) + 0 + -91 + s. Let j = 98 + p. Which is bigger: j or 14?
14
Let v be 5/2 + 4 + 9/(-2). Suppose -v*m = 3*m - 5, -3*d - 2*m + 2 = 0. Let l = 526/551 + -46/29. Do l and d have the same value?
False
Suppose -432 = -4*l + b - 3*b, -l + b = -114. Let w be (-30940)/364 - (-2)/(4/(-10)). Let v = w + l. Which is smaller: -2 or v?
-2
Let d = 143 - 94. Let h = -0.0036 + -521.9964. Let f = 521 + h. Is d < f?
False
Let j = 3732 - 3731. Is j at least 21/179?
True
Let c = -315/2273 - 12129809/25003. Is c bigger than -485?
False
Let r be 1/5*((-14599910)/(-417144) - 35). Which is smaller: r or 1?
r
Suppose -13*g + 408 = -16*g. Let n = -64 - g. Let b = n - 72. Is -14/17 greater than b?
False
Suppose 1013266 + 2027772 = -343*b. Is -8867 bigger than b?
False
Suppose -80*c + 53*c = -48*c + 714. Is -113 greater than or equal to c?
False
Suppose -246 = -3*g + 2*j - 0*j, 4*g - 3*j = 328. Let z = -11 + g. Let r(o) = -71*o**3 + 2*o**2 + 2*o + 1. Let n be r(-1). Which is bigger: z or n?
n
Let a = 18 + -12. Let g(z) = -659*z + 13. Let q be g(-2). Let r = -1330 + q. Which is smaller: r or a?
r
Let p(t) = -t**2 + 14*t - 16. Let w be p(13). Let o be 6/(-9)*(w/(-2))/1. Which is smaller: o or -4/107?
o
Let p(g) = g**3 + 6*g**2 + 4*g - 3. Let q be p(-5). Suppose -m + q*z = -3, -m = 3*m - 3*z - 7. Let k be ((-8)/(-582))/(8/12). Is k >= m?
False
Let z = -783 + 783.413. Let y = z + -0.32. Let w = y + -1.093. Which is greater: w or 57?
57
Let v = -528 + 339. Let k = v - -189. Is 83 less than k?
False
Let p be (-50)/(-15) + (-95)/(-57). Let z = 0 + 1. Suppose 2*m + z = 7. Which is bigger: p or m?
p
Let o = 1/160911 + -1335400394/804555. Which is smaller: -1659 or o?
o
Let x = 461/7209 + -7/81. Let y = -49/1780 + x. Let a be (-7)/(-5) - (-84)/(-210). Is a greater than y?
True
Let l = -112.57 + 92.57. Are 57/26 and l equal?
False
Let x = -475 + 1146. Let h = x - 692. Which is bigger: -0.2 or h?
-0.2
Let o = -2151 + 1490. Which is bigger: o or -664?
o
Suppose 0 = -4*b - 2*k + 20, 26 = 5*b - k + 15. Let s be -2 + 1/((-3)/(-12)). Suppose -b*c + 15 = -3*t, -s*t = 7 + 1. Are c and 2 nonequal?
True
Let h = -3.9 - -3.946. Let w = h + -0.124. Let l = w + 0.119. Is l less than 2?
True
Let w(s) = -s**2 - 4*s + 9. Let n(b) = 2*b**2 + 8*b - 18. Let a(l) = -3*n(l) - 7*w(l). Let p be a(0). Is p smaller than -10?
False
Let z(n) = -2*n**2 + 34*n + 33. Let x be z(18). Do x and 4/97 have the same value?
False
Let j = -5929 + 6039. Which is bigger: 111 or j?
111
Let q = -3 + 8. Suppose 4*j + 38 = 3*t, 0 = -3*j - j + q*t - 34. Let f = 483 + -491. Is j at most as big as f?
True
Let n = 84 - 165. Let z be 8 - ((-184)/(-2) - 3). Is n > z?
False
Let z = -1.968 - 0.432. Is -1/9 greater than z?
True
Let z = -15115 - -8224. Which is smaller: -6892 or z?
-6892
Let w = -1 + 1.21. Let s be (-6)/(-69) + 30 + (-216172)/7084. Is s >= w?
False
Let g be 938136/(-210) + ((-1848)/(-330) - (7 + -1)). Is -4468 smaller than g?
True
Let v = 7.132 + -7.1. Let c(n) = 16*n**2 - 83*n + 13. Let m be c(5). Is v equal to m?
False
Let b = 9 - 14. Let x be ((-15950)/(-17545))/((-78)/363). Which is smaller: b or x?
b
Suppose 0 = -0*r - 4*r. Let b(d) = 241*d - 126*d - 116*d - 10. Let h be b(-1). Which is smaller: r or h?
h
Let d(l) = 90*l + 3. Let k be d(1). Let z(o) = 3*o + k*o**3 + 2 - 48*o**3 - 46*o**3 - o**2. Let u be z(-2). Is -2/17 greater than u?
False
Let c be -3 - (-6)/(-1) - -3. Suppose 3*d - 2 = -2. Let z be (-4 - c)*3/(d - 3). Which is smaller: z or -3/5?
z
Let v(f) = 2*f**2 - 28*f - 32. Let u be v(24). Suppose 358 = -4*m + 2*s, 4*s + u = -5*m + 6*s. Which is smaller: -91 or m?
-91
Let l(j) = j**3 + 2*j**2 + 17*j - 1. Let f be l(-4). Let r = f - -101. Is r less than 1/570?
True
Suppose -2*q + 17 = -4*m + 1, -3*q - 4*m - 6 = 0. Let o be (q/6*-10)/(38/57). Let a be (2 + 14/o)/(10/25). Which is smaller: 4/9 or a?
a
Let j(s) = -s**3 - 33*s**2 + 24*s - 44. Let d be j(-32). Which is smaller: -1838 or d?
-1838
Let s = 1.5018 + 2388.4982. Is 0 > s?
False
Let q be (((-336)/(-230))/6)/((-6)/5). Let o = 1136/6279 + q. Which is smaller: o or -1?
-1
Let k = -25970 + 25972. Which is bigger: 183/158 or k?
k
Let i = 25 + -288. Let f = 1319/5 + i. Suppose 38*o + 13*o = -16*o. Which is greater: o or f?
f
Let f = -223 + 141. Let o = -1591 - -1511. Which is greater: f or o?
o
Let o = -54.978 - -55. Let l = o - 19.022. Let t = l + 4. Which is greater: t or -1?
-1
Suppose -101*q + 6951 + 4967 = 0. Is q > 1284/11?
True
Let y(k) be the second derivative of k**4/12 + 17*k**3/6 - 10*k**2 - 13*k. Let v(x) be the first derivative of y(x). Let w be v(-12). Which is bigger: 1 or w?
1
Let j = -1.4186 + 2.4186. Which is greater: j or -1.442?
j
Let r = -2/21879 - 87146/4047615. Let q = r + -262/4995. Is 1 greater than q?
True
Let d(a) = 2*a**2 + 17*a - 28. Let t be d(-10). Suppose -i + t*x + 3*x + 2 = 0, -i = x + 16. Suppose -v = -0 + 5. Is i equal to v?
False
Let x be -3*1 - (-1 - (7 + -5)). Let a = -1/148 + 159/1628. Is a at most as big as x?
False
Let s(v) = 103*v - 7018. Let t be s(68). Is -296/21 smaller than t?
True
Let b be 1126/(-5690) - -1*5/25. Which is smaller: b or 0?
0
Let p = 5.24 - 5.297. Which is smaller: p or 0.03?
p
Let b = 690.52 + -696. Let u = -5.08 - b. Which is smaller: -0.17 or u?
-0.17
Let v(l) = 2*l**3 - 2*l**2 - 2*l - 3. Let u be v(2). Suppose 2*k = a + 9, -2*a + 13 = 2*k + u. Which is smaller: k or -11?
-11
Let h = -6.51 - -6.91. Let a = -2.82 - 0.18. Let j = a - -8. Is j at most h?
False
Let o be 32*(1 + -3)/(192/72). Is -109 at most as big as o?
True
Let f = -5003.6 - -6398. Are -0.1 and f nonequal?
True
Let m(t) = 2*t + 22. Let y(q) = -q**2 + 15*q - 8. Let w be y(15). Let x be m(w). Suppose 0 = -3*p + x*p - 90. Are 29 and p unequal?
True
Let y be ((-4)/6 - -1) + -1. Let z = -3/5837 - 128405/17511. Is y >= z?
True
Let t(x) = -3*x**2 + 125*x - 643. Let b be t(6). Which is bigger: b or 7/961?
7/961
Let f be (-93)/(-93)*(-94)/214. Which is smaller: f or -1?
-1
Suppose -5*a - 8*a - 390 = 0. Let o be ((-48)/(-600))/((-3)/a). Let h = 1/18 + -11/36. Which is greater: h or o?
o
Let d = 14925 + -14925. Suppose 0*g + 2*g + 10 = 0, 3*i = g + 29. Is i greater than or equal to d?
True
Let q(r) = -4*r - 38. Let g be q(-11). Let w be 38/4 - g/(-12). Let y be (-13)/(-5) + -3 - (-6)/w. Which is greater: y or 1/10?
y
Let y be (36/18)/((-15)/534) + 3/15. Suppose -5*w + 5*o = -0*w - 385, 0 = -3*w - 2*o + 246. Let x = w + y. Is 26/3 bigger than x?
False
Let q be 2/2 - 36/12 - 17. Let s be (56/20 - 3) + q/5. Let v be (3/s)/(5/2). Which is smaller: 2 or v?
v
Let s be -3 + 40/7 + 1. Let g = s - 59/14. Which is smaller: g or -1?
-1
Let o = -91 + 263. Let m = o - 149. Is 24 bigger than m?
True
Let t(a) = -a + 11. Let g be t(8). Suppose 36 = -2*o - o + g*h, 4*h = -o - 12. Let n be (-15)/o + -1 + 6/8. Which is smaller: n or 3?
n
Suppose -4*h - 5419 = -5*s, -12*h - 9*s + 6*s - 16203 = 0. Is h greater than or equal to -1353?
True
Let t = -91.6 - 14.4. Let x = t - -148. Is x >= -0.2?
True
Suppose -27*d = -21*d - 420. Let j be (-14)/d*(-10)/196. Let z = -3 - -4. Which is smaller: j or z?
j
Suppose 4*p - 392 = -0*p. Let w = 4/5359 - -3472604/37513. Let c = p - w. Does 6 = c?
False
Let h = -323/4 - -82. Let g(f) be the third derivative of -f**4/24 - 11*f**3/6 + 68*f**2. Let o be g(-12). Do o and h have the same value?
False
Let u(s) = -s**2 - 32*s - 132. Let r be u(-27). Let o be 3 + 0 - (-594)/(-558). Is o <= r?
True
Suppose 112 = 10*i - 6*i. Suppose -3*q = -i - 80. Let w = -32 + q. Is w greater than or equal to 6?
False
Let a = -9688 - -1601. Does -8087 = a?
True
Let w(j) = -4*j**2 - 31*j - 4. Suppose -2*k + 2 = 16. Let v be w(k). Which is smaller: v or 16