+ 79. Let d be b(3). Let o be (-671)/(-132)*-3 - 2*d. Is o at most -18?
False
Let s = 11792/7 - 3259. Let o = s + 1585. Are o and 11 equal?
False
Let q = 402 + -325. Let h be (q/(-21))/(3/81). Is -100 greater than h?
False
Let o = -0.258 + -111.742. Let r = o + 113. Do -105 and r have different values?
True
Let y be (-17)/(-11) + (-2)/2. Let u = 188.2 + -229. Let c = 41 + u. Which is smaller: y or c?
c
Let y be 38/30 - (-3)/9. Let c(i) = i - 19. Let n be c(20). Let s be 0 - (3 + -4)*n. Is s > y?
False
Let a(w) = -3*w**2 + 2*w - 18. Let s be a(10). Let k be (3 - s/(-4))*-2. Which is smaller: k or 142?
142
Let t(u) = 7*u + 28. Let j be t(4). Let y = 61 - j. Let k = 330 - 2277/7. Is y <= k?
False
Let l = -33771293213/194 + 174077340. Let b = l - -1491. Which is bigger: b or 1?
1
Suppose -5*d + 5 = 0, 2*a - 6*a = 2*d + 274. Let s = a - -89. Let o be 4/s - ((-36)/(-15))/2. Which is smaller: o or 2?
o
Let l = -2/591 - 539/15366. Suppose 5*b = 3*k - 23, -4*k = 6*b - 3*b + 8. Let g be (k*(-4 + 2))/2. Is g less than or equal to l?
True
Let y = -416 + 274. Let d = -431 + 433. Is d greater than y?
True
Let p = -79.67 + 79.45. Is p >= -7/2?
True
Let t be 6/(-15) + (-76)/(-115). Suppose 15*a = w + 15, 468*a + 5 = 473*a - 2*w. Which is smaller: t or a?
t
Let c = 39081 - 39081. Is -7/1212 > c?
False
Let z be (-56050)/(-5074) - (-4)/(-86). Suppose -3*y - 3*c + 238 = -215, 3*c = -4*y + 603. Suppose z*k - y = -51. Are 9 and k nonequal?
False
Suppose -15 = 5*n - 0. Let d = -153 - -493. Let f be 17/(d/88) - 7. Is n not equal to f?
True
Let l = 129 - 275. Let h = l - -109. Is h equal to -32?
False
Suppose 12*l = -g + 17*l + 24, 5*g + 15 = -2*l. Which is bigger: g or 2/9881?
2/9881
Let y = 598 + -6583/11. Let k be 1/(-6) + 8112/288. Suppose 0 = -8*g + 5*g + 5*v - k, 3*g - 3*v = -18. Is g greater than or equal to y?
False
Suppose 5*z + 5 = -0*z. Let t be (0 + 2)/(-2*z/34). Let k be t/6*39/(-13). Which is greater: -15 or k?
-15
Let y be ((-48)/72)/((-4)/(-6)). Let j be (-21 - -22)*2*3/(-2066). Let z = -10399/23759 - j. Which is smaller: y or z?
y
Suppose 3*z = -3*z + 12. Let h = 23.2 + -25.4. Is z at most h?
False
Let c = -4488.9 - -4489. Which is greater: 3.64 or c?
3.64
Let o be 53/((-125)/30 + 4). Let y be (-6 + 7)*(-3)/o. Which is bigger: 1 or y?
1
Let c be 1224/(-15)*(-5 + 0). Let a = 414 - c. Which is smaller: -1 or a?
-1
Let b = 24546 + -24568. Let n = 2.92 + 0.08. Which is smaller: n or b?
b
Let h = -2078 - -342872/165. Is h less than 16?
True
Suppose 12687*r = 12692*r + 2955. Is -1.1 smaller than r?
False
Let w be (-4)/(-2) + 0 + 20/(-8). Let f = -8298.91 + 8300. Which is bigger: w or f?
f
Suppose -2*g + 5*t + 33 = 0, -23*g + 26*g + 4*t = -31. Is g != -3/5839?
True
Let l = 13246448/159 + -83311. Let m = 2 - 2. Which is smaller: l or m?
l
Suppose 37 = 5*c - 33. Suppose 3*m = 5 - c. Let w be ((-8)/6)/(-1*(-2)/6). Which is greater: w or m?
m
Let z = -868345869/12943 - -67090. Is z != -1?
True
Let o = -607.6 - -656.6. Which is smaller: 16 or o?
16
Let w = 9/182 + -109/364. Is 1292 greater than w?
True
Let v(m) = -m**3 + 9*m**2 + 14*m + 2. Let p be v(7). Suppose r = -200 + p. Is r < -8?
False
Let b = -18468 + 258659/14. Let q = -36/7 + b. Does q = -4?
False
Let i be (10 + -7 - 1) + -4. Do i and -104/107 have different values?
True
Suppose -7 = -d + 1. Let g(a) = -a**2 + 9*a - 13. Let b be -2 - 7/(7/(-8)). Let c be g(b). Which is smaller: d or c?
c
Suppose 0 = 64*w + 54*w - 64*w - 54. Let j be 1*3*(-6)/(-171). Which is smaller: j or w?
j
Let o be ((-24)/36)/((-2)/141). Let x = o - 49. Which is bigger: x or -13/9?
-13/9
Let p = -100 - -101. Let u = 22885/39 + -587. Let x = u - 178/273. Is x at least as big as p?
False
Let t = 8.2 + 5.7. Let l = 14 - t. Is l not equal to -5/44?
True
Let w = -69 - -121. Suppose 5*u = 2*h - 77, u - 35*h = -37*h - 13. Let c be (1 + 0)/(10*u/(-7950)). Which is bigger: w or c?
c
Let j be (-270)/(-144)*-101 + 0. Is j greater than -190?
True
Let g = 11 - 8. Suppose 5*k = y + 10, k - 5 = 5*y - g. Suppose 0 = l + 1 - k. Is l less than or equal to 1?
True
Let v(n) = -18*n**2 + 12*n + 2. Let h be v(18). Let o be 4/(-38) + h/(-52972). Is 1 bigger than o?
True
Let v(w) be the second derivative of -w**5/20 - w**4/12 - 3*w**2 + 37*w. Let l be v(-2). Let z be l/6 + (-80)/(-15) + -7. Which is smaller: -2/7 or z?
z
Let f(w) = -6*w**3 + 4*w**2 - 3*w + 2. Let n be f(2). Let t = n - -51. Suppose -t = 16*r - 21*r. Is 3 at least r?
True
Let s = -227178 - -4316609176/19001. Let h = s + -436963/570030. Let b = -5/6 - h. Is b bigger than -1/5?
True
Suppose 1 = l - 81. Let k = l + -78. Suppose -k*t + 3 = -5. Which is greater: -10/9 or t?
t
Let f(v) = 11*v**2 + 9*v + 52. Let l be f(-7). Let p = l + -523. Do 74/15 and p have different values?
True
Let o(l) = 34*l - 67. Let t be o(6). Suppose -215 = 5*g + 5*s, -s = -0*g - 3*g - t. Are -47 and g equal?
False
Let u = 373 - 31. Suppose -11*n + u - 166 = 0. Which is greater: n or 14?
n
Let j = 0.061 + 34.939. Let g = -1329 + 1328. Which is smaller: g or j?
g
Let j = -30 - -22. Let c be (9/2)/(-3)*j/(-3). Let d be (-5269)/(-385) + c/(-14)*-1. Which is greater: d or 12?
d
Let p = -985 - -985. Is -515 less than p?
True
Let m = 7.4 - 9.9. Let j = m + 10.4. Let l = j + -7.4. Which is smaller: l or 0?
0
Suppose -2*k = 2*i - 5922 + 538, 5*i - 13452 = 3*k. Is i != 2690?
True
Suppose -120*u + 4657 + 4177 = -886. Let w = -4695/2 + 2427. Is u > w?
True
Suppose 0 = 83*m - 73*m - 110. Suppose v = m*v + 40. Which is smaller: 7 or v?
v
Suppose 7*i + 1170 = -3*i. Let a be 2/(-11) + i/(-99). Let f be -7*(-3)/(-30) + a. Which is smaller: -1 or f?
-1
Let g(u) = -60*u + 541. Let w be g(9). Let q(j) = -j**2 + j + 190. Let b be q(0). Let v be 2/(-6) + b/606. Is v < w?
True
Let r = 8505 - 8506. Do r and 80 have the same value?
False
Let w = 118 + -120. Let f be 2*w/8 - 21/(-6). Let r be 12/f + (0 - (1 + 2)). Is r > -1/39?
True
Let r = -20347 - -9027. Which is greater: -11321 or r?
r
Let m be (26/3)/(2/(-3)). Let r be 56/2 - (-9 - m). Let c be 2 + 0 + (0 - -21). Is c greater than r?
False
Let x be 4*(1 + 0) - 4. Let k be 2/(1/6*-3). Let q(w) = 2*w**2 + 5*w - 2. Let r be q(k). Which is greater: r or x?
r
Let x = 17 - 12. Let i be 1548/54 - 4/6. Suppose -x*r - i = -33. Is r less than 2/15?
False
Let c = 3799 - 3796. Which is smaller: 287/2 or c?
c
Let u(y) = -3*y**2 + 29*y - 8. Let p be u(9). Let d be (p/(-9))/(8/78) - -1. Is d > -9?
False
Let v = 177.08 + -195.08. Which is bigger: 2.39 or v?
2.39
Suppose -g + 16 = 3*d + 165, 3*d - 4*g = -169. Is -59 < d?
True
Suppose -94 = 3*h - 319. Let n be 287/147 - (4 + h/(-21)). Which is greater: n or 2?
2
Let l = 5476 + -10319. Is l greater than or equal to 0.1?
False
Let f be (-5)/((-25)/30) + (-57962)/(-86). Let y = 680 - f. Let k be 1/2*(1 - 1). Which is greater: k or y?
y
Let f = 2749 + -2169. Is 0 smaller than f?
True
Let h = -8435858/65 + 129787. Does h = 4?
False
Let r(n) = n + 2. Let q be r(-4). Let p be (11/2)/(q/(-4)). Let o be 1/(((-144)/135)/(-16)). Are p and o nonequal?
True
Let w = -44.9 - -5.9. Let b = w - -39.1. Let u = -1.84 + 12.84. Is u less than b?
False
Let c = -14 + 18. Let r(w) = 10*w + 8. Let z be r(c). Let d = 47 - z. Is 8 less than or equal to d?
False
Let f = -62 - 36. Let v = f + 141. Which is smaller: v or -1?
-1
Let j be 84/(0 - -14) + -1*56/9. Which is greater: -136 or j?
j
Let h = -4474/357 - -88/7. Let j(l) = -3*l**2 - 7*l + 5. Let q(u) = u**2 + 35*u + 93. Let t be q(-32). Let x be j(t). Which is smaller: h or x?
x
Let h = -0.7961 + 3.7961. Which is greater: -279 or h?
h
Let w = -118.81 + 121.17. Which is greater: -2 or w?
w
Suppose -2*c + 104 = -2*r, 3*c = -3*r + 8*r + 254. Suppose 170*k - 164*k = 12. Let h be r/140 - (k + (-8)/5). Which is smaller: h or -3?
-3
Let v = 85 + -64. Let j = 19.9 + 3.1. Let d = j - 24. Which is smaller: v or d?
d
Let n be ((-4)/(-6))/(7/189*6). Suppose 4*j - 7 = -n*o, -o = -j - 6*o + 6. Let u = 56/27 + -35/27. Is j less than or equal to u?
False
Let a = 4680 + -4680.066. Which is smaller: -0.109 or a?
-0.109
Let h = 1615 - 1615.134. Do 1 and h have different values?
True
Let g(p) = 60*p - 1440. Let k be g(24). Do k and 67/48 have different values?
True
Suppose -n - 5*i = -9, 2*n - 10 = 6*n - 3*i. Suppose -2*c - c = 15, -5*k + 4*c + 65