(-5). Suppose 0*c = -a*c - 136. Let r = c + 17. Is -10/9 at least as big as r?
False
Suppose -4*h = -4*w + 28, w + 34*h = 38*h + 28. Which is greater: -252/415 or w?
w
Let z = 75 + -69.1. Let y = -7.1 + z. Which is greater: y or 5?
5
Let y be (-17 - -16) + (-2215)/1932. Let q = y - -1/276. Which is smaller: q or -1?
q
Let n = 79778 + -1039286/13. Which is greater: n or -167?
-167
Let o = -1569 - -1569.1. Do 402 and o have the same value?
False
Suppose 196641 = d + z - 6*z, 2*d = -z + 393315. Let o = d + -50147186/255. Let q = o + -3/85. Which is greater: q or 47?
47
Let s = 1853.02 + -1853. Let c(l) = l**2 + 2*l + 1. Let y be c(-2). Let x = -7/9 + y. Are x and s non-equal?
True
Let m(v) = -2*v + 2. Let r be m(2). Let f = -475 - -443. Let x be r - f/14 - 8/28. Is x >= 3/38?
False
Let i = 2/36539 + 1388220/4786609. Is i > -1?
True
Let a = 427 + -565. Let u = a + 17. Which is bigger: u or 0.1?
0.1
Suppose -291 = -23*x + 54. Let m(s) = 2*s**2 - 36*s + 89. Let t be m(x). Is -3/287 greater than t?
True
Let q = 49967388/1106147 + -2/38143. Which is bigger: q or 45?
q
Suppose -2*h - 33*u = -38*u - 36, 0 = -3*h + 2*u + 54. Let k(g) = -g**2 + 13*g - 23. Let a be k(10). Which is smaller: a or h?
a
Let w = -299.49 + 299.97. Which is bigger: w or 104?
104
Let c = 24 - -13. Let h = -37 + c. Which is smaller: -2/29 or h?
-2/29
Let s = 5187 - 5005. Is s not equal to 180?
True
Suppose 7*n - 22*x + 17*x = -54078, 23180 = -3*n + 4*x. Which is smaller: -7725 or n?
-7725
Let m be ((10 - 8) + 1)*-61*-1. Is 7 greater than m?
False
Suppose 4*j = 99 + 181. Let d = j - 68. Suppose 0 = -2*q + 2 + 4. Is d less than q?
True
Let t(m) = -m**2 - 6*m - 10. Let x be t(-7). Let i = 154 + -153.816. Let d = i - 1.184. Is d >= x?
True
Let o(a) = 8*a**2 - 39*a - 184. Let h be o(-5). Is 845/4 > h?
True
Let w be (-1)/((-3)/12) + 6 + -9. Let c be (-1554)/(-14)*(w/(-3) - -1). Which is smaller: 76 or c?
c
Let i = 34.71 - -1358.29. Let b = i - 1400. Let j = 10/59 - -8/649. Which is bigger: b or j?
j
Let v be (-39 - (61 - 108))*881/4. Is v at least -2/15?
True
Let i be (-214)/((-4)/3*6/(-18)). Let f = i - -483. Are 6.5 and f non-equal?
True
Let b = -2 + 3. Let h be 230/(-4347)*(-321)/2 - 4. Let g = h + -43/9. Is g at least as big as b?
False
Let y(n) = -n**2 + 45*n + 660. Let k be y(86). Which is bigger: k or -2865?
-2865
Let r(y) = -y**2 + 46*y - 388. Let v be r(20). Is v at least 137?
False
Suppose 0 = r + 2*q - 32, q = -2*r - 2*r + 156. Let x be (r/(-170))/(1/(-10112)). Let f = x + -2380. Which is smaller: f or -1?
-1
Let x(v) = -4*v + 51. Suppose 3*u + 48 = 3*p, 10*u - 7*u - 4 = -p. Let b be x(p). Is -4/163 < b?
False
Let b = -3943 - -7027. Let o be (-15)/(-25) - b/(-60). Are 154/3 and o equal?
False
Suppose d - 2*f = -320, -1264 = 72*d - 68*d - 4*f. Are -309 and d equal?
False
Let l be -4*(-6)/(-612)*6. Is l < 0.02?
True
Suppose -5*j - 1812 = -7*y - 414, -793 = -4*y - 3*j. Which is greater: 188 or y?
y
Let h(y) be the third derivative of -y**4/8 - 73*y**3/6 - 34*y**2 + y. Let a be h(-25). Which is smaller: -11 or a?
-11
Let a be (-4)/6 + ((-91)/42 + 2)*2. Which is greater: 7/1276 or a?
7/1276
Let w(a) = a + 3. Let d be w(-4). Let j(u) = -u**3 + 9*u**2 - 11*u + 9. Let k be j(5). Suppose 334 - k = -14*c. Is c equal to d?
False
Suppose 0*l + l + 21 = 0. Let o(n) = -n**2 + 6*n - 8. Let q = -100 - -102. Let h be o(q). Which is smaller: h or l?
l
Suppose -82*j = -27*j + 21073 + 4282. Which is smaller: j or -462?
-462
Suppose -441*y - 360 = -436*y. Which is smaller: y or -21?
y
Suppose 198*w - 77*w = -306977. Which is smaller: -2535 or w?
w
Let w = 107.17 + -107.07. Do w and -16729 have different values?
True
Let s(m) = -m - 6*m + m**2 - 8*m. Let p be s(16). Suppose -3*u = -3*k - 12, -u = -5*k + 3*u - p. Which is bigger: 8/15 or k?
8/15
Let v = -495 + 446. Let t = -54 - v. Which is smaller: 3.1 or t?
t
Let v be (-3 + 28)/(((-6)/(-2))/(-3)). Let d be (11/55)/(5/v). Is d <= -5/172?
True
Suppose u - 4*u = -8*u. Suppose -4*o = -u*o + 4*n - 124, 0 = 3*o - 4*n - 86. Do o and 31 have different values?
True
Let d = 2474 - 2473. Which is smaller: -18 or d?
-18
Let g = 2148 - 2149.74. Let j = 1 - 1. Is j greater than g?
True
Let p = -2.4901 + 2.3901. Let s = 210 - 211.01. Let c = s - -1. Which is bigger: p or c?
c
Let r = -61/40 - -4253/2920. Is 1 at most as big as r?
False
Suppose -19*k = -7*k + 2124. Which is smaller: k or -191?
-191
Suppose 10*o - 62 = -12. Suppose 0 = -16*y + 15*y + o. Suppose -52 = -3*u + h, -64 = 2*u - y*u - 5*h. Is 16 at least as big as u?
False
Let h(f) = -f**3 - 4*f**2 - 5*f - 4. Let s be h(-3). Suppose 0 = q + 2*q + 4*w - 36, 29 = s*q + w. Let p be (16 - 1)/(3/3). Is p greater than or equal to q?
False
Let t = 987 + -1729. Is t less than 3/2?
True
Suppose -38 = b - 5*d, 4*b - 6*d + 8*d + 240 = 0. Let n = b + 66. Are n and 10 unequal?
True
Let m be (2/7 - -2)*(-21)/(-6). Suppose 0 = 3*v + 5*z + 67, -21 = m*v - 7*v + 3*z. Are -23 and v equal?
False
Let t = -261 - -253. Let h be ((-36)/60*(-10)/t)/(-123). Are 0 and h unequal?
True
Let w(k) be the second derivative of -k**4/12 - 10*k**3/3 - 23*k**2/2 - 121*k - 2. Let a be w(-15). Are 258/5 and a non-equal?
True
Let b be 100/(-60) + 11230/6. Let s = b + -9577/5. Which is greater: -44 or s?
-44
Let b = -474657/224 - -2119. Is 1 bigger than b?
True
Let x be 2*2 - (3 + 1). Suppose -3*c + 60 + 54 = x. Let u = c + -38. Which is bigger: -6/31 or u?
u
Let u(q) = q**2 + 9*q + 18. Let m be u(-5). Let x be (100/(-6))/(((-152)/12)/(-2)). Is m <= x?
False
Suppose 0 = -4*t - 29468 - 14536. Are -11000 and t non-equal?
True
Let f be (102/(-4))/(1 + -4). Let q be ((-80)/8)/((-2 + 11)*(-41)/369). Are q and f nonequal?
True
Let u = -3760 - -3759. Is 2/5839 != u?
True
Let r = 0.048 - 39.248. Let c = -47 - r. Are 0.1 and c unequal?
True
Let t(i) = 17*i**2 + 1. Let x be t(-1). Suppose -137 = -x*v + 187. Which is greater: 17 or v?
v
Suppose -r = 3*a + 3414, -34*a + 5*r - 2310 = -32*a. Which is bigger: a or -1131?
-1131
Let d(f) = 2*f**3 - 7*f**2 - 14*f - 3. Let y be d(5). Let u be y - ((-6)/(-1) - -477). Is -482 less than u?
True
Suppose -3*f - 2*z + 325 = -150, 0 = f + 3*z - 149. Let y = f - 144. Is 14 less than or equal to y?
True
Let p(m) = 36*m - 6. Let d be p(6). Let n = -231 + d. Is -20 bigger than n?
True
Let p be 76/(-19) - ((3 - 644/44) + 2). Is p >= 31?
False
Let y = 414 + -412. Let s(q) = 38*q**3 - 5*q + 5. Let z be s(y). Is z at most 298?
False
Suppose -y - 4*y - 5*i + 50 = 0, -12 = 4*i. Suppose 0 = -3*b + y - 4. Let z = -4/35 - -59/210. Is b at least z?
True
Suppose -2*u + 5*y + 715 = -0*u, 5*u = y + 1799. Let l be (u/(-105))/(2/35). Let m be l/(-9)*(4 - (-3)/6). Which is smaller: 29 or m?
29
Let h be 5/3 - (-61 - 116)*146/(-558). Do -46 and h have the same value?
False
Let h(g) = -g**3 - 12*g**2 - 8*g + 34. Let f be h(-11). Let x be -41*f/4 + (-13 - -18). Is x less than 1?
True
Let n = -188 - -203. Suppose n*f - 14*f - 5 = 0. Which is smaller: 34/7 or f?
34/7
Let o = 299.52 - 299.92. Which is greater: o or 1718?
1718
Let n = 188 - 100. Let k = -5406 - -5294. Let i = k + n. Are i and 0.2 unequal?
True
Suppose 46*s - 55*s + 17380 = 70*s. Are s and 221 equal?
False
Let o = -1514 - -131716/87. Let y(t) = -t**2 + 3*t + 9. Let u be y(4). Suppose 2*v = u*v - 2*v. Which is bigger: v or o?
v
Let r = -81 - -42. Let j(u) = 6*u**2 - 3*u + 2. Let t be j(3). Suppose n + k - 12 = -t, 2*n + 5*k + 55 = 0. Which is bigger: n or r?
r
Let n = 1126 + -1377. Do n and -6 have the same value?
False
Let o be (-2)/12*-1*1248/928. Which is smaller: o or 1?
o
Let p be ((-9)/((-36)/26))/((-1)/2). Let j = 1 + p. Let z(v) = v**2 - 17*v + 52. Let l be z(6). Are l and j equal?
False
Let n = -195 - -248. Suppose 0 = 45*y - n*y + 48. Which is bigger: 10 or y?
10
Let f(t) = 31*t**2 + 98*t + 40. Let w be f(-15). Does w = 5544?
False
Suppose -130 = 6*p - 802. Let v = p - 337. Let y be 40/v + 3/((-15)/(-2)). Which is bigger: y or 1?
1
Let r be ((-22)/(-33))/(595/234). Let o be 32/60*(-3)/(-68). Let s = r + o. Which is smaller: -1 or s?
-1
Suppose -5*x + 249 = -2*f, -f + 104 = 2*x - 4*f. Let k be (-6)/21 + (-3790)/(-35). Let b = 157 - k. Is b smaller than x?
False
Suppose 0 = -4*z - w - 117, -5*z - 100 = 3*w + 48. Which is smaller: z or -7?
z
Let t = 6897 - 6924. Which i