). Suppose m + 8 - i = 0. Let z = -15/4 - -9/4. Which is smaller: z or m?
m
Let w be -1 + 4 - 56/(-6). Let n = -12 + w. Is 0.6 bigger than n?
True
Let a = 70.576 - -0.424. Is -2 < a?
True
Let d be 4 + -65 + (11 - 3). Are -2 and d equal?
False
Let f be (-29433)/51 - (1 - 57/51). Which is bigger: f or -576?
-576
Let b be ((-3)/3 - 3)*3/6. Is -8/5 > b?
True
Suppose d = n + 3*n + 339, -3*n - 261 = -3*d. Which is smaller: n or -86?
-86
Suppose 3*d + 16 = 5*p, -5 = -3*p - d - 1. Let x be (-6 - 1)/(p/4). Which is greater: x or 1?
1
Let y = -108 + 108.1. Is y at least -54?
True
Let b(g) = -g**3 - 3*g**2 - 4*g - 5. Let d be b(-2). Is d at most 2/5375?
True
Let j(m) = 2*m**2 + 15*m - 18. Let s be j(-7). Is -26 smaller than s?
True
Let j be 3/(-1)*15/(-45). Let o be (0/9)/(2/j). Let u be (9/(-12))/((-6)/(-4)). Is u less than or equal to o?
True
Let i = 14.9 + -0.9. Let w = 14 - i. Which is greater: w or 27?
27
Let j(x) = x**3 - 2*x**2 + 2*x + 4. Let v be j(2). Let n(w) = w**3 - 8*w**2 + 5*w - 19. Let b be n(v). Is b at most 19?
False
Let l = -224 + 246. Do l and 15 have the same value?
False
Let r = 4/41 + -110/287. Let h be 57/(-9) + 4/12. Which is bigger: r or h?
r
Let t = -11374/3 + 3792. Let o = 0.3 + 0.4. Which is smaller: t or o?
t
Let c(h) = h**3 - 6*h**2 - h + 8. Let r be c(6). Suppose -3*l - r = -4*l. Suppose l*z - 7*z = 10. Is -5/2 equal to z?
False
Suppose -9*s - 72 = 126. Is s smaller than -24?
False
Let k be (-20 - -16)/(1/(15/(-12))). Which is greater: 39/11 or k?
k
Let b = -0.07 + -0.06. Let z = -70 - -75.1. Let f = -5.1 + z. Is f greater than b?
True
Let h be -1*12/16*-28. Suppose -4*g - 6 = c + 12, 0 = -3*c + 3*g + h. Which is greater: 3 or c?
3
Let s = -120.5472 + -0.2128. Let q = s - -121. Does q = -1?
False
Suppose -3 - 6 = -3*j, -7 = v - 2*j. Is v greater than 52/7?
False
Let y be -2 + 3 - 10/6. Suppose -4*a + 2*a - 5*k - 14 = 0, 2*k = 5*a + 6. Let n be a + ((-2)/10 - 6/(-3)). Is y equal to n?
False
Let f be (2 + 20)/(4/10). Suppose 723 = 23*z - 343 - 176. Which is smaller: f or z?
z
Let b be 3 + 180/125*(0 + -10). Which is smaller: b or -1?
b
Suppose 5*p - 2 = -52. Let b be ((-30)/25)/(4/p). Let n be ((-4)/(-30))/(b/30). Is 1 less than n?
True
Suppose 10*i - 328 = 432. Is 70 greater than i?
False
Let v = 1825 - 14635/8. Is v > -5?
True
Let x be 40/24 + (-2 - 0/(-5)). Which is bigger: -292 or x?
x
Let q be ((-2)/6)/(21/63). Which is smaller: q or -4?
-4
Let k(i) = -11*i + 50. Let t be k(6). Which is bigger: t or -17?
t
Let o(c) = c + 3. Let k be o(-4). Let a be 2 + (k - 41/39). Which is smaller: a or -1?
-1
Let s = -63 - -63.87. Let l = 6.87 - s. Which is smaller: 1 or l?
1
Let f be 35/25 + (-54)/10 - -4. Suppose -5*o = 2*b - 29, -4*b - o + 7 = -6. Which is bigger: b or f?
b
Let c = 8 - 13. Let q be (c/5)/((-2)/26). Let n = q - 5. Is 7 at least n?
False
Let l be 16/(-6) - 15/45. Let f be ((-427)/(-141) + l)*9/(-66). Is 0 < f?
False
Suppose -3*d + 67 + 11 = 2*p, -4*p + 60 = 2*d. Do d and 68/3 have different values?
True
Suppose -2*n = 10, 7*x + 4*n = 2*x - 20. Suppose -231 = 3*s + 2508. Let j = s - -30131/33. Is x at least as big as j?
False
Suppose 0 = 3*a - 2*y + 33, 2*a - 4*y + 22 = -3*y. Which is smaller: -126/11 or a?
-126/11
Let i be (-12)/14 - ((-20)/42)/((-8)/36). Let z be (-34)/33*(-6)/(-4). Is z < i?
False
Suppose -932 = m - 462. Is -471 at most as big as m?
True
Let r = 0 - 1. Suppose 2 = -k - 15. Let a be (-1)/(k/(-35)) + -1 + 3. Which is smaller: r or a?
r
Let z(d) = d - 4. Let x be z(5). Let c(l) = -l - 43. Let s be c(-48). Which is bigger: s or x?
s
Let k = 0.46 + -0.73. Let a = -12.73 + k. Let i = -12 - a. Which is smaller: i or -0.12?
-0.12
Let k be 38/798 - -1*(-2)/(-7). Which is bigger: 152.7 or k?
152.7
Let f = -763 + 762. Which is bigger: f or 12/73?
12/73
Let r = -130.2 - -4.2. Let h = 130.86 + r. Let v = -0.14 - h. Which is smaller: 2/7 or v?
v
Let f(x) = -x**2 + 6*x + 9. Let o be f(8). Is o != 1.6?
True
Let g be (-3 - -2) + (-6)/2. Let u = 233 - 232. Which is bigger: u or g?
u
Let z(w) = 7*w + 19. Let i be z(-11). Let c = i + 28. Is -31 equal to c?
False
Let r(n) = 12*n**2 - 129*n + 3. Let v be r(11). Which is greater: v or 35?
v
Let r = -379630787/990 + 1917304/5. Let q = 63/22 + r. Are -2 and q non-equal?
True
Let g(c) = -c**3 + 8*c**2 - 4*c + 63. Let d be g(8). Which is greater: 28 or d?
d
Let y(l) = l - 2. Let q be y(-6). Is q at most as big as 15?
True
Let j(i) = 1 - i**2 + 4 - 11*i - 6 + 5*i. Let k be j(-5). Suppose -5*t = 3*x + 6 + 11, -k*x - t = 17. Which is smaller: x or -2?
x
Let f = 80.1 + -80.1. Do f and 51 have different values?
True
Let i be (20 + -1)*(-145)/26. Suppose -348 - 288 = 6*s. Let b = i - s. Which is smaller: b or 1?
b
Let r(v) = -3*v**3 - 3. Let u be r(3). Let q = u - -94. Is q at most as big as 7?
False
Let g = -57 + 59. Let x be (g - 15/(-6))/((-8)/(-32)). Is 33/2 greater than x?
False
Let z(l) = l**3 - 3*l**2 - 10*l + 9. Let v be z(3). Is -22 equal to v?
False
Let y = -438 - -545. Let v be 2/(-12)*2566/(-4). Let o = v - y. Which is bigger: o or 0?
0
Let d = 122/51 - 290/51. Are d and -3 unequal?
True
Let c be 66/396*(31/1 + -1). Which is smaller: c or 3?
3
Let v(u) = -u**3 + u**2 - 1. Let g be v(-1). Let r be (-7)/13 - g*-1. Let c(a) = 2*a**3 - 71*a**2 + 101*a + 35. Let w be c(34). Is r >= w?
False
Let z be (2 + -6)*(-73)/16. Which is greater: 18 or z?
z
Suppose 3*p + t = -1078, 0 = 22*p - 26*p + t - 1428. Is -354 > p?
True
Let k(o) = -91*o - 1247. Let t be k(-17). Is 5 less than t?
True
Suppose 6*o - 150 = -24. Let d be -1*(-2 + 2) - -22. Which is bigger: o or d?
d
Suppose 3*a = -1 + 34. Which is smaller: 0.5 or a?
0.5
Suppose -5*h = 4*u + 20, 2*u + 339 - 335 = -h. Let y = 199/3392 - 11/64. Which is greater: y or u?
u
Let n be ((5 - 5)*(-3)/(-6))/1. Which is smaller: 1/159 or n?
n
Let b = 15 - 27. Let w(r) = 3*r**2 - 7 - 6 - 9*r**2 + 7*r**2 + 6*r. Let i be w(-6). Are b and i equal?
False
Let z(m) = m**3 - 8*m**2 - m + 11. Let n be z(8). Suppose 0 - n = -y. Is 16/7 != y?
True
Let d be ((-489)/(-4))/(105/280) - 2. Which is bigger: 326 or d?
326
Let u = -0.33 - -14.33. Let y = -0.05 + -35.95. Let c = y - -36. Are c and u nonequal?
True
Let r be 7/(-21) + (-1 - 35/(-15)). Which is smaller: r or 3/220?
3/220
Let x = -102 - -2959/29. Let f = x - -22/203. Let w = -1 - 0. Which is greater: w or f?
f
Let m = -3 - 20. Let c = m + 21. Which is smaller: c or 5?
c
Let f(r) = 5*r**2 - r - 3. Let o be f(3). Let l = o + -38. Which is bigger: l or -0.1?
l
Let p = -76 + 121. Suppose 8*g = 13*g + p. Which is bigger: -15/2 or g?
-15/2
Suppose 0 = -4*q - 4. Let w = 8.8 + -10. Let l = -0.2 - w. Which is smaller: l or q?
q
Suppose 5*u + 5 = -0. Let r be ((1 + -45)*u)/(14/7). Which is bigger: r or 3?
r
Let d = -2.25 - -2.2. Let j = d - 0.15. Which is greater: j or 7?
7
Suppose -101 = 5*t - q, q + 9 = -t + 4*q. Let b be (-2)/7 + (-720)/t. Let l = 25 - b. Which is bigger: l or -10?
l
Let m = 272 + -228. Which is greater: -4 or m?
m
Let k be 2*(5 + (4 - (-57)/(-6))). Is 4/39 equal to k?
False
Let x(k) = -k**2 - 4*k - 2. Let z be x(-3). Let c = 139/3 - 46. Which is greater: z or c?
z
Suppose -14*o = 17 + 11. Let l be (2 + -2)/o - -4. Is l greater than or equal to 5?
False
Let d = 221 + -136. Does 84 = d?
False
Let t = -3832 - -53625/14. Is -2 at least t?
False
Let f = 6 + -6. Let h = 15/1177 - 166257/23540. Let i = -34/5 - h. Do i and f have different values?
True
Suppose -5*p - 223 = -318. Is 39/2 > p?
True
Let p = 11648 + -8537986/733. Let o = 8071/2932 + p. Is o at most 2?
False
Let v = 6 + -10. Let o = -2 + -1. Which is bigger: v or o?
o
Let m = 0.0093 + -104.8093. Let z = -105 - m. Do 1/6 and z have different values?
True
Let b = -65 + 115. Suppose -3*t - 2*t - b = 0. Let w = -7 - t. Which is smaller: 4 or w?
w
Let f = 52579/1789320 - 33/1240. Is f < 1?
True
Let r(z) = -15*z**3 - z**2 - 2*z. Let i be r(-1). Let p be (-28)/i - (-2)/(-8)*3. Which is smaller: p or 1/5?
p
Let n = 763 - 723. Is 161/4 equal to n?
False
Let s be (1/(-5))/((-178)/(-20) + -9). Is s smaller than 0.61?
False
Let o be (-24)/(9/(-3)) + 2. Let j be (-15)/o*10/(-3). Let b be ((-1)/j)/(4/5). Which is greater: -1 or b?
b
Let a = -12.3 - 3.7. Let u = 16.1 + a. Is 0 > u?
False
Let n = 32.6 - 28. Let q = n - 2.8. Let l = 1.9 - q. Which