151 - -129.5908. Let d = l + 0.1443. Let x = 40 - d. Are x and -2/11 equal?
False
Let f be -10 - 308/(-33) - 370/(-6). Let m = f + -33. Which is bigger: 24 or m?
m
Let h(f) = 35*f**3 + f**2 + 3*f + 3. Let r be h(-1). Let v be 35/(-1 + -1 + 3). Let b = v + r. Which is bigger: b or 2?
2
Let r be (-15)/(-6)*8/(-10). Let f be 4/(32/12) + 103/r. Let u = -44 - f. Is u greater than 6?
False
Let y = -2.03 - -2. Let q = -167 + 167.03. Let t = q + y. Which is smaller: t or 2/5?
t
Let c = -1663.968 - -1664. Let v = 287 + -287.968. Let s = v - c. Is s != -13?
True
Let k be (1/(-3))/(5/(-6105)). Suppose 8*t - k = 5*t + 2*z, z = -t + 144. Suppose -t*s + 1 = -138*s. Are 14/9 and s equal?
False
Let j = 305 + -288. Suppose j*k + 4995 = -2281. Is -428 less than k?
False
Let g(l) = 1818*l - 7253. Let t be g(4). Is t less than -2/3?
False
Let j = -1 + 1. Let a be (176/(-24) - -7)*3. Let n be a/(-3)*18/(-3). Which is smaller: j or n?
n
Let d be (-1 - 6 - 792/(-72)) + (-412)/(-2). Which is greater: d or 199?
d
Let b be ((-1092)/70)/((-33)/(-48070)). Are b and -22723 nonequal?
True
Suppose 4*l = 3*r + 524, -2*r + 62 = -l + 193. Which is greater: -11 or l?
l
Let y(u) = -u**2 + 43*u - 322. Let r be y(31). Which is bigger: -9 or r?
r
Let k = -3887/622314 + -1/4041. Let s = -379/924 + k. Let p = -0.3 - -0.3. Is p greater than s?
True
Let b = 2024699/8 - 252117. Let m = -976 + b. Is m not equal to -7?
True
Let b = 7711 + -7866. Is b at most -82?
True
Let u be (-121 + 123)/((1/(-8))/((-10)/8)). Which is bigger: 37 or u?
37
Let d(m) = m**3 - 6*m**2 - 16*m + 8. Let v be d(8). Suppose 2*r = a - 6, 3*a + v = a - r. Let z be (-12)/7*2/4. Which is greater: a or z?
z
Suppose 14 = 36*j + 15 + 71. Is j smaller than -145/54?
False
Let y = -45.92 - -46. Let h = -0.064 + y. Let r = -4.3 - -4.2. Which is smaller: r or h?
r
Let g = -2257 - -2257.3. Which is smaller: g or 43/31?
g
Let p be 55/28*(20 + (-1398)/70). Is 0 less than p?
True
Suppose 4*y + 17*w - 14 = 16*w, 5*y - 5*w = 5. Let d be (68/(-10))/((-84)/(-30) - y). Which is bigger: 32 or d?
d
Let u = 5.91 - 6. Let f = -25 - -19.9. Let z = f - -5. Which is bigger: u or z?
u
Let v = 1484 + -959. Let u = v + -539. Is -0.8 < u?
False
Let i(a) = -a**3 + 11*a**2 + 8*a - 15. Let t(p) = 5*p + 36. Let s be t(-5). Let o be i(s). Which is bigger: o or 70?
o
Suppose -5*v + 4905 = -5*s, -2*v + 4917 = -0*s - 5*s. Let c be -2 + -4 + 3 + s/(-329). Which is bigger: c or 0?
0
Let r = 43.4239 - -0.5761. Which is smaller: 16.9 or r?
16.9
Let b be ((-4)/(-14))/((-25)/(-35)). Let u = -82 + 97.6. Let a = -41.6 + u. Is b greater than a?
True
Let a be ((-5)/(70/52))/(324/42 - 8). Which is smaller: a or 216/17?
216/17
Suppose -317*a + 4*c + 28 = -313*a, -4*a + 3*c + 22 = 0. Is 36/25 at most a?
False
Let m = 8570107/18 - 476347. Let y = m - -230. Let j = -143456 + 143458. Is y >= j?
False
Let c be (-282620)/2275 - ((-320)/(-28))/(-8). Let m be ((-32)/12)/((-2)/(-93)). Is c bigger than m?
True
Let y be -1 + (2 - 0) + -2. Let b = -176.813 - 0.187. Let q = -202 - b. Which is bigger: y or q?
y
Let o = 0.5144 + -0.5544. Is o less than or equal to -1/548?
True
Let t = -669 + 669.331. Let q = 0.301 - t. Is -11 > q?
False
Let f(t) = -t**3 + 8*t**2 + 18*t + 23. Let u be f(10). Let a be (u/15)/(5604/(-40)). Is a bigger than 1?
False
Let p = -4054 - -4341.9. Let a = 288 - p. Is 91/4 less than a?
False
Let w(q) = -q**3 + 12*q**2 + 12*q + 18. Let p be w(13). Suppose 0 = 2*f + 5*h - 17, -p*h = -2*f - 15 + 2. Which is smaller: f or -2/689?
-2/689
Suppose -28 = 6*k + 32. Let w be (-6)/12 - (0 + k/4). Let f be (w/(-10))/((-4)/(-5)). Do -3/7 and f have the same value?
False
Let y be ((-2350)/125 + 22)*(-15)/32358. Is y greater than or equal to -1?
True
Let b be (-5333)/120 - 50/(-30) - (-22)/55. Is b != 1/5?
True
Let z = 0.038 - -60.962. Let l = z - 60.978. Which is greater: 0.2 or l?
0.2
Let d be ((-2)/(-5))/(390/517925). Let v = d + -1598/3. Is -1 greater than v?
True
Let s = -100.7 + 108. Let k = -6.94 + s. Let r = -0.16 + k. Is r <= -8?
False
Let k be (-2)/(-3) + 112/(-177). Let l(f) = 52*f - 575. Let v be l(11). Which is greater: v or k?
k
Let m(g) = -g**3 + 7*g**2 - 5*g - 7. Let o be m(6). Let j = -69.7 + -20.3. Let p = j + 78. Is p >= o?
False
Let t = -169734/29 + 5852. Is t less than 0?
True
Let m(q) = q**3 - 61*q**2 - 400*q - 256. Let j be m(69). Is 10232 smaller than j?
False
Let o = -3 + 21. Let k be 3/27*1979 + 2/o. Does k = -2/7?
False
Suppose -3*x - 2 = -2*x - 3*p, -3*p - 14 = -5*x. Let d = -258 - -282. Suppose -d = -27*v + 15*v. Which is greater: x or v?
x
Let c be (((-120)/(-9))/4 - 1)*3. Suppose -20 = -c*l + 9*l. Do l and -7 have different values?
True
Suppose 3*m = 17*m - 42. Let a = 3 + m. Which is greater: a or -35?
a
Let y be (132/(-54))/(-11) - (-166)/(-18). Let k = -76 - y. Let o = k + 66. Which is greater: 0 or o?
0
Let f = -127 - -214. Let g = 453 - 365.6. Let y = f - g. Which is smaller: -2/13 or y?
y
Suppose 7*s - 23 = 12. Suppose 12 = -4*m, -m + 17 = -s*c + 20. Do 3/193 and c have the same value?
False
Let o be (-1 - (-12)/16)*-24. Let z be (o/21 + (-80)/84)*-27. Which is bigger: z or -6/5?
z
Let h = -0.93 + -94.07. Let y = -296 + 200.8. Let v = y - h. Which is greater: -0.02 or v?
-0.02
Suppose 2639 - 995 = 4*d - 4*z, -3*d - 4*z + 1226 = 0. Suppose 11*x = 206 + d. Is x greater than or equal to -2/3?
True
Let o be (-12)/66 + 1712/(-22). Let l = 2429/31 - -29/93. Let f = l + o. Is f < -12?
False
Let f be ((-76)/(-8) + -5)*4/6. Suppose 146 = f*v + x, 26*v + 22 = 27*v - 5*x. Which is bigger: v or 43?
v
Let j be (9 - (-7 - -17))/(((-21)/(-301))/(-3)). Is j smaller than 88/7?
False
Let t be (0 - -1) + (-38)/(-2). Suppose -6*n + n + t = 0. Suppose 0 = -n*i - 32 - 44. Are i and -19 equal?
True
Suppose 0 = 5*h - 2260 - 6840. Does 1820 = h?
True
Let z be 17/(-6) + 18/(-108). Let n = 2/5913 - 153772/100521. Is z at least n?
False
Let n = 413.94 - 2.94. Let v = 408.1 - n. Which is greater: -4 or v?
v
Suppose 5*a - 404 = -74. Suppose -11*n = -13*n - a. Is -32 > n?
True
Let p = -7085 - -6097. Does -2 = p?
False
Let l = -32.45 + 31. Let t = l - -4.45. Let j = 0.04 - 0.14. Which is bigger: t or j?
t
Let v = -1.606 + 1.563. Which is greater: v or 1/4?
1/4
Suppose 0*a + 4*a = 4*m - 36, 2*m - 30 = -2*a. Let k be 8/m - 12/9. Let o = 66 - 22. Which is bigger: o or k?
o
Suppose s + 6*t = -6007, -15*s = -14*s + 4*t + 6019. Is -6044 != s?
True
Let m(c) = 21*c - 184. Let d be m(9). Suppose 0 = 4*a - 0*a + 16, -d*a = -t + 20. Which is smaller: t or 222/13?
t
Let v(s) = s**2 + 806 + s - 4*s + s**3 - 802. Let k be v(0). Let p be (2/(-10))/(k/10*2). Is p less than 0?
True
Suppose 132 = k + 13. Let w = k + -239/2. Is -0.016 at most as big as w?
False
Suppose 0 = 12*n - 0*n - 288. Suppose 0 = n*u - 27*u - 198. Do u and -67 have the same value?
False
Let v be ((-63)/412)/3 + (22/(-24))/(-11). Which is smaller: v or 0?
0
Let u(r) = -28*r**2 + r - 48. Let m be u(7). Let f = m + 221842/157. Which is bigger: f or 1?
1
Let t(m) = 99*m**3 - m**2. Let x be t(1). Suppose 23 = -l + x. Suppose -5*f + l = -2*f. Is f not equal to 26?
True
Suppose 3*j + 3*s - 51 = 0, 4*j - s - 65 = -2*s. Let c be j/(-8) - (-955)/7. Let p = c + -134. Which is smaller: -1 or p?
-1
Let r be 4/6 + 7/3. Let b be (-71)/781*(-3 + (-22 - 3)). Which is greater: r or b?
r
Let u = 115431977/446880 - 155299/608. Let c = 4/735 - u. Which is smaller: -2 or c?
c
Let p(i) = 5*i + 37. Let t be p(9). Suppose 15*u + t = -53. Which is bigger: u or 1/6?
1/6
Let w = 1136 + -5656/5. Let m(t) = -t**3 - 9*t**2 + 6. Let f be m(-9). Let s be 56/(-6)*f/(-8) + -2. Are w and s unequal?
True
Let s be (-48)/(-1160)*(-3 + (0 - 7)). Which is greater: -3/13 or s?
-3/13
Let a be (-4)/40*1754 + 2/5. Let z = a - -176. Let c = 7/27 - -29/27. Does c = z?
False
Suppose 0 = -2*n + 11 - 61. Let l(w) = -w - 20. Let d be l(n). Suppose -5*g + 77 = -b, -5*g - b + d*b + 68 = 0. Which is smaller: 4 or g?
4
Let z be (70/(-15960))/(174/(-4)). Which is smaller: z or 0?
0
Suppose 6*z = -z. Let b(q) = -4*q**3 - 2*q**2 - q + 1. Let p be b(5). Let r = -12740/23 - p. Is z less than r?
True
Let g(u) = u**3 - 8*u**2 - 9*u - 3. Let t be g(9). Let w be 25/(t - -8) - 3. Let j be ((-4)/8 + 0)*(w - 2). Which is bigger: j or 2/21?
2/21
Let p = 1274 - 2157. Let d = -