et z = i + 104. Let r = 452 + -25309/56. Is z less than r?
False
Let d = -16322 - -12192. Which is smaller: 1/2 or d?
d
Let b be (0 - -1)/(5/(-945)*3). Let q = -64 - b. Which is bigger: q or 1/8?
1/8
Let t = 47 + -41. Suppose t*f - f - 75 = 0. Let n = -13 + 30. Is f > n?
False
Let s be (-15)/2*60/(-90). Suppose -z - s = -4, t = -3*z - 17. Which is bigger: -2/3 or t?
-2/3
Let j = 0 + -19. Let w(q) = 29*q - 10. Let k be w(-3). Let l = k - -76. Which is smaller: l or j?
l
Let u = -7077 - -7077. Which is bigger: u or 1/247?
1/247
Let o be 4/3*(-4131)/(-34). Let x be (-20)/(-16) + o/(-168). Let m = 0 + 0.02. Is x smaller than m?
False
Let s be (6/49)/(4/28). Suppose 0*v + 7*v = 154. Suppose -18*h = -v*h. Are s and h unequal?
True
Let s(a) = -42*a**2 - 417*a + 29. Let q be s(-10). Let u(c) = -c - 6. Let r be u(-7). Let b be r + -2 + (-3)/18. Which is greater: q or b?
q
Let i(b) = b**3 - 5*b**2 - b + 6. Let f be (-2*(-5)/4)/((-3)/(-6)). Let j be i(f). Let a be j + 3 - (-2 + (1 - -2)). Is a at most as big as -0.04?
False
Let u(p) = -p**3 + 16*p**2 - 27*p + 17. Let m be u(14). Let w = m - 30. Let s be -2*w*(-6)/4. Is s >= 3/2?
True
Let z be (-5)/((-100)/15)*232/(-609). Which is smaller: -7/299 or z?
z
Let n(v) = -v - 2. Let a be n(-13). Suppose a*k + 12 = 14*k. Let m be 0 - (20/(-2) + k). Does m = 6?
True
Let g = 12018.23 - 12015. Is 0 bigger than g?
False
Let g be 7/(-1) - -8491*(-180)/(-252). Which is smaller: g or 6059?
g
Suppose -25 = -6*y + 341. Let c = -59 + y. Suppose 5*s - 2*k - 10 = 0, 4*s + c*k + 20 = -2*k. Which is smaller: s or -7/5?
-7/5
Let a = -303 - -302.899. Let h = 0.199 - a. Do -0.03 and h have the same value?
False
Let z be (539 - 541) + 17/11. Is 2 equal to z?
False
Let a = -5230 + 4916. Which is smaller: -0.3 or a?
a
Suppose 2*a = 5*h - a + 1, -h = 2*a - 5. Let t be (53 + -35)*h/411. Is -1 at least t?
False
Suppose 53*k + 9*k + 150 = 12*k. Suppose 4*b = 8, -2*u - 11 - 3 = -4*b. Let c be (-102)/63 - (-2)/u. Are c and k nonequal?
True
Let o(h) = -h**3 + 8*h**2 - 23. Let q be o(6). Suppose 16*t = -q + 241. Which is bigger: t or -2?
t
Let v(g) = 195*g + 17980. Let m be v(-95). Is -1 greater than m?
True
Let t(s) = -15 - 12*s + s - 5*s. Let u be t(5). Let q be ((-30)/154)/(-3 + u/(-35)). Is q greater than 0?
True
Let t = 1109 + -1184.9. Let o = -30.9 - t. Are o and 1/3 nonequal?
True
Let d = 32633/23 - 1419. Which is greater: d or -1?
d
Let f(m) = m - 19. Let q = 95 - 73. Let w be f(q). Suppose -r + 70 = 2*z, w*z + 8 = -z. Which is smaller: r or 75?
r
Let w = 4/10139273 + 4897206515/158030708978. Let s = 7525491/25732486 + w. Let b = s - 2/127. Is b at least as big as -2/3?
True
Let x = -16699 + 16689. Which is greater: -202 or x?
x
Let j = -776/7 - -4104/35. Let w = j + -156/25. Which is bigger: -1 or w?
w
Let n(v) = -17*v + 1043. Let s be n(63). Which is smaller: -9 or s?
s
Let v = -2 + 3. Let u = 1174 - 1177. Is v not equal to u?
True
Let z = -10277 + 10269.65. Which is smaller: 0.2 or z?
z
Suppose -o + 4*d + 101 = 2*o, 2*d = 3*o - 103. Let a be (856/(-16))/((-3)/6). Let k = -72 + a. Is k bigger than o?
False
Let o be -3 - 5*136/(-200). Is o less than or equal to -233/2?
False
Let u = 234 - 233. Which is bigger: 7/222 or u?
u
Let l = 1.1786 + -0.8786. Which is smaller: l or -1036?
-1036
Let x = 1202.3 - 1178.1. Which is greater: x or -4/5?
x
Let c(b) = -b + 25. Let t be c(11). Let r be 66/10*((-105)/t - -8). Suppose -6*q + 15 = -q. Which is smaller: q or r?
q
Let g be -1*(-15720)/(-3933) + 4. Is 1 at least g?
True
Let b = -96 - -106. Let u = 10 - 19. Let w = u + b. Which is smaller: w or -4?
-4
Let z = 7176 - 7172. Is z less than or equal to 1665?
True
Let t be ((-6100)/4160)/(1/(-4)). Let w = -25/4 + t. Are w and -2 nonequal?
True
Suppose 4*l + 12*q = 8*q - 16, 0 = -4*l - 3*q - 16. Which is greater: 12 or l?
12
Let v = 177061/44 - 64893/11. Which is smaller: -1874 or v?
v
Let p be ((-22)/(-44))/((-2)/2 + -4 + -28). Let d = -25 + 23. Is d < p?
True
Suppose p - 2*r = -2, -p = -4*r - 102 + 108. Let v(f) = f**2 + 3*f - 1. Let n be v(-4). Suppose n*m = -m - 68. Which is smaller: m or p?
m
Let f(t) = 4*t**2 - 46*t - 300. Let l be f(-7). Let z = 158 + 59. Which is greater: z or l?
l
Let d = 895/3 + -295. Let a = -16554.1 + 17801. Let s = a - 1247. Which is greater: d or s?
d
Let w = 35981.1 + -35981. Is 15736 != w?
True
Let j = -12356 + 11921. Which is smaller: j or -436?
-436
Suppose -5 = -s, 2*s + 391 = -5*j - 809. Do j and -247 have different values?
True
Let i = 675 + -400. Let a = i - 186. Let c = a + -47. Which is greater: c or 0?
c
Let c = -5859 - -3248. Which is smaller: -7835/3 or c?
-7835/3
Let h = 229.69 - 216.8. Let t = 0.0461 + 12.9539. Let z = t - h. Which is bigger: z or 3?
3
Suppose 325 = 2*p - 3*n + 352, -5*p + n - 87 = 0. Is p less than or equal to 282?
True
Let a be (-15 + -16)*(1 + -2). Let o = 101 - a. Suppose 8*x = x + o. Is x at most 11?
True
Let q(d) = 4*d**2 + 10*d - 5. Let k be q(2). Suppose -4*x + 5*g = -k, 9*x - 5*x = -2*g + 66. Does 14 = x?
True
Let r = -1 + 1. Let m = 18375/2189119 - 23/2209. Is m smaller than r?
True
Let m(z) = z + 13. Let a be m(-14). Let q be (2 + 2 + -4)/(a - -3). Let i be (q/(1/(3/3)))/(-1). Which is smaller: -0.03 or i?
-0.03
Suppose -1 = -3*f - 5*w - 2, -w - 5 = 0. Let c(p) be the second derivative of p**3/2 + 27*p**2/2 - 27*p. Let d be c(-7). Does d = f?
False
Let f be -2 + (-3900926)/(-1410) - (-9)/(-15). Suppose 0 = 2*w - 5*w + 8292. Let h = f - w. Are h and 0 equal?
False
Let s = -296 - -144. Let k = 161 + s. Which is smaller: k or -0.1?
-0.1
Let f = -17.98 - 0.02. Let o be -2 + (12/(-21))/((-24)/84). Which is greater: f or o?
o
Let n = -17144 + 17208. Which is smaller: n or -1/2?
-1/2
Suppose -4*s = -16 + 4. Suppose -99 - 222 = s*z. Let u = -153 - z. Which is smaller: u or -47?
-47
Let m = -49 - -51. Suppose 12*x = 8*x + 16, 4*x = -m*a + 18. Let r be -1 + 5/((-70)/(-18)). Is r less than or equal to a?
True
Let z be (-7198)/16 - 257/2056. Which is smaller: -20 or z?
z
Let w = 1 + -1. Let m be (-14284)/(-1786) - ((-7)/(-2) + (-1071)/(-238)). Is w less than m?
False
Let a = 402 - 401. Suppose -4*k - o + 7 = 0, 4*o + a = -3*k + 16. Which is smaller: 27/25 or k?
k
Let n(c) = c**2 - 7*c + 2. Let r be n(5). Let o(g) = -g**3 - 22*g**2 - 103*g + 11. Let d be o(-15). Let a = d - r. Do -11 and a have different values?
False
Let r = -0.134 + 0.559. Let q = 38.425 - r. Is -2/9 less than q?
True
Let m be ((-1)/(-36))/((-50)/975). Let w = m - -191/264. Is -1.4 equal to w?
False
Let t = -718/23 + 10839/874. Which is smaller: -18 or t?
t
Suppose 0 = 3*t - 38 + 152. Let v = 42 + t. Suppose v + 3 = p. Is p bigger than 9?
False
Let j = -4869 + 4868.9235. Are j and 0.5 unequal?
True
Let l = -28674/1057 - -84/151. Let m = l - -2432/91. Which is bigger: -1/17 or m?
m
Suppose 0 = 7*u + 21 + 91. Let s be 95 - (u/10 - (-27)/45). Which is smaller: 98 or s?
s
Let l = -24 + -64. Let j be (-58)/l - (-3)/(-12). Suppose 152 = 2906847*c - 2906695*c. Which is bigger: c or j?
c
Let n(l) = -2*l**3 - 56*l**2 - 5. Let d be n(-28). Is -192/53 bigger than d?
True
Let i = 14685 + -15933227/1085. Is -12 >= i?
False
Let h = -0.089 + 412.089. Let v = 420 - h. Are -0.7 and v equal?
False
Let u = -1.4 + 0.6. Which is greater: 638 or u?
638
Let w(i) = -571*i + 1719. Let j be w(3). Does j = 269/4?
False
Let u(k) be the second derivative of -k**4/12 - 17*k**3/6 - 33*k**2/2 - 132*k. Let n be u(-16). Is n smaller than 2/15?
True
Let z be (-368)/(-216) + 1/3. Let l = -3067/1161 + z. Are l and -2 equal?
False
Let n be (14/35 + (-719)/10)*(-232)/348. Let d = 65 + -18. Which is smaller: n or d?
d
Let s be ((-18)/15)/(4/10). Suppose 5*c = 3*j + 69 + 55, -3*c - 2*j + 82 = 0. Which is smaller: s or c?
s
Let i(f) = -5*f**3 + 2*f + 13. Let u be i(-4). Which is bigger: 1623/5 or u?
u
Let j(b) = 7*b**2 + 21*b - 5. Let i = -119 + 115. Let g be j(i). Is g greater than or equal to 19?
True
Let m(g) = g**2 + 5*g - 6. Let j(y) = y**2 - 14*y + 14. Let x be j(13). Let z be m(x). Let u = 416 + -3323/8. Which is smaller: z or u?
z
Let n(g) = -g**2 + 11*g + 21. Let o be n(-8). Let j = 127 + o. Let x be (17/j)/((-3)/36). Which is greater: x or 52?
52
Let u = 147 + -160. Let m = 6.8 + u. Which is greater: -1 or m?
-1
Let u(x) = 3*x - 120. Let n be 