pose 0 = -4*m + w + 64, -6*m - 87 = -11*m + 3*w. Which is smaller: -0.067 or m?
-0.067
Let v = 1 - 0. Let s be 4 + 162/(-36) - (-3560)/7184. Which is smaller: s or v?
s
Let s(y) = 17*y + 5. Let v be s(6). Let p(j) = -49*j + 470. Let f be p(12). Let x = f + v. Do x and -10 have the same value?
False
Let l be (1 + 3/(-6))*(-9 - -9). Let i be l - 25/(20/(-4)). Suppose -3*f + 143 = -i*s, -2*f + f = s + 35. Which is smaller: s or -30?
s
Let z be -1 - 0/((-176)/(-11)). Is 2/4541 greater than z?
True
Let v = -5095 + 5094.9. Let k = -0.62 + -15.58. Let o = k + 15. Is o != v?
True
Let w be (1/(-3))/((-4)/72). Let t be w + -4*(-85)/(-55). Is -2 less than t?
True
Let b = 86 + -101. Let v be (28/(-8) - 1)*(-10)/b. Let h be (-6)/(-10)*9/(-3). Is h greater than or equal to v?
True
Let p(f) = f**3 + 3*f**2 + f + 2. Let z be p(-3). Let a = 1487/110 + 143/10. Let m = 5191/187 - a. Is z greater than m?
False
Let d be (-146)/(-24) - (-1)/(-3). Let w = -265 + -1275. Let v = w - -1541. Which is smaller: d or v?
v
Suppose -q = 2*v + 61, -3*v + 0*q = 5*q + 74. Let s = v - -48. Suppose -a + 35 = -5*f, 3*a + 0*a - s = 0. Which is smaller: -5 or f?
f
Suppose -52 = 5*a - 370*s + 373*s, -53 = 5*a + 2*s. Is a at least -27?
True
Suppose -5360 = -13*k + 29 - 462. Is 379 at least k?
True
Let v(g) = g**3 - 8*g**2 + g - 5. Let z be v(8). Suppose -28 = -z*h - h. Suppose -29*s + 4*n = -33*s + 24, 4*s = 2*n + 42. Is s > h?
True
Let w be (-9 + 10)/(-3 + 30/9). Suppose 3*t + 4*s - 3 = 5, -2 = w*t - s. Let b be -6*6/27*-33. Is t less than or equal to b?
True
Let i = 2277 - 2276. Let l = -925 - -126723/137. Which is greater: i or l?
i
Let z be (-1)/2*(-16)/76. Let l be -19 - (-7)/(91/234). Which is smaller: z or l?
l
Let z(y) = -y**3 - 43*y**2 - 242*y + 301. Let p be z(-38). Which is smaller: p or 2275?
2275
Let y(o) = -5*o + 45. Let r(s) = -10*s + 91. Let n(i) = -4*r(i) + 7*y(i). Let w be n(11). Let v be (8/(-24))/((-1)/(-21)*-1). Is w != v?
True
Let m = -114 - -121. Let k be (m - (2 + 4))*(-10)/4. Which is bigger: -4 or k?
k
Let q be -8 + (-45498)/(-11370) + 1 + 3. Is 1 greater than q?
True
Let q = 1.345 + -2.345. Which is smaller: q or 15?
q
Let i = -2151/5 - -435. Let j be 19/4 + (-3)/4. Suppose 5 = -j*n - 7, -36 = -4*l + 4*n. Which is smaller: l or i?
i
Let i be 1/(-4) - (-7007)/25284. Which is bigger: i or -1?
i
Let y be (-10)/4 + (3 - 1). Let l = 3.4 - 3.29. Let s = l + 0.01. Is y bigger than s?
False
Let c be ((9/(-30))/1)/((-150)/440). Let a = -16/75 + c. Is 68 greater than a?
True
Let s be (-4)/(-11) - (-580624)/484. Suppose s = -13*y - 1608. Are y and -215 nonequal?
True
Let q be (-1)/(-6)*(-1888)/708. Suppose 3*f + w = -3, 0*w - 1 = f + 4*w. Which is smaller: f or q?
f
Let j be 132/(-24)*12/(-11). Let a be ((-2)/j)/(21/(-63)). Is a less than 14/23?
False
Let q be -1 + (6/(-12) - (1 + -2)). Suppose 44*x = 47*x + 39. Let g be 6/(-12)*4/x. Which is bigger: q or g?
g
Suppose f = 2*f - 6. Suppose 1050 = -4*z - f*z. Let n be (8 + 2)/(z/(-90)). Which is bigger: n or 10?
10
Let q be 2*3/(-9)*21. Let z = -143 - -148. Suppose 6 = -z*m - 69. Is m at most as big as q?
True
Let n = -217/5 - -43. Suppose 4*y - 4*j = 20, -7*y + 8*y - 3*j = -3. Let f be (y/(-4) - -3) + 3/12. Which is smaller: f or n?
n
Suppose 25*j = -44018 - 40720 - 7262. Is -3679 greater than or equal to j?
True
Let m = -4876 - -2532. Which is greater: m or -2/3?
-2/3
Suppose 227*b = 281*b - 2106. Is b at most as big as 11?
False
Let x be (-10)/325 + (-1197)/1235. Is 32/681 less than x?
False
Let m = -590 + 673. Let s = -84 + m. Is -504 bigger than s?
False
Let l be 17 - (-2 + 22) - 554/(-122). Which is smaller: 2 or l?
l
Let r = 988 - 992. Let d = -7 + 7.6. Let f = -1 + d. Is r bigger than f?
False
Let p(u) = -3*u**2 + 12*u + 33. Let r be p(19). Let z be 4/(-10) - (-6)/(180/r). Does z = -27?
False
Let o(t) = -10*t**3 + 8*t**2 - 10*t - 7. Let f be o(2). Are f and -81 non-equal?
True
Let y = -62.5521 - -62.53. Is -4 at least y?
False
Let n be (-6)/(-26)*(-21)/((-1330182)/(-17)). Which is smaller: n or 0?
n
Suppose 4*x + 5*w - 200 = 0, -5*x + 7*w + 291 = 3*w. Let k be (28/21)/(-3 - x/(-15)). Do k and 6/5 have the same value?
False
Suppose -3*v = 3*n + 15, -18*v + 16*v - 3*n - 15 = 0. Which is greater: 294 or v?
294
Let o = 86 + -76. Suppose -6*l + 2144 = o*l. Let z = 98 - l. Which is smaller: -34 or z?
z
Let q(n) = n**3 - 6*n**2 + 6*n + 200. Let d be q(17). Are d and 3479 nonequal?
True
Let t = -2.06 - -1.116. Let d = 0.9 + t. Let i = d - -5.044. Is i less than or equal to -1/10?
False
Let l be 0 + 3 + -13 + 9. Let c be -2*-2*1/(-4). Is l bigger than c?
False
Let j(l) = l**2 - 4*l + 5. Let y be j(4). Suppose 5*v = 4*w + 51, 2*w + 3*w = -y*v + 60. Let n be 3*((-44)/(-6) - 4). Which is bigger: v or n?
v
Let x = 137.18 + 34.72. Let a = x - 172. Is a greater than -14?
True
Let p(r) = 5*r + 55. Let y be p(-13). Let z be (-15)/y + 2/(-4). Let k be (88/32)/(10/8). Is z greater than k?
False
Let q be (17 + (-2030656)/119456)*(2 - 4). Is 0 < q?
False
Suppose 4*f + 5*a - 39 = 0, 5*a + 3 = 4*f - 6. Suppose f*u - z - 516 = 5*u, 4 = -z. Is 512 equal to u?
True
Suppose 2496 = 10*d - 18*d. Let m be d/(-432) - 2/9. Is m less than -3/28?
False
Suppose o + 6*t + 84 = 8*t, 4*o + 4*t = -300. Are o and 94 non-equal?
True
Let y be (2 - -6)/1 + 0. Let b = y + -9. Let z = 1441 + -61962/43. Which is smaller: b or z?
b
Let d = 110882691/2656 - 41748. Is d at most as big as -1?
False
Let m be 20 + 1 + 0 + -3. Let y = -443 + 439. Let u be 1/(-2*y/152). Which is bigger: m or u?
u
Let y(g) = 12*g + 145. Let m = 261 - 273. Let o be y(m). Is o at most as big as 4?
True
Let v(w) = -2*w + 37. Let p be v(9). Suppose -5*s - p = -3*h, 8*s = -h + 5*s - 3. Let t be -28*h/(-135) + (-6)/15. Which is greater: t or 0.04?
t
Let h(n) = -n**3 - 14*n**2 + 5*n + 187. Let b be h(-13). Which is bigger: b or -46?
-46
Let q = 213.92 + -215. Let s = 27.92 - q. Which is bigger: s or 1/4?
s
Let i = 33746 - 1046027/31. Are 4 and i equal?
False
Let p = -28.37 - 0.63. Let d = 26.59 + 0.41. Let l = p + d. Which is bigger: l or -2/5?
-2/5
Suppose 92*m + 286879 + 216761 = 32*m. Which is bigger: m or -8393?
-8393
Let m be (-1)/(((2/(-15))/(-2))/(34/714)). Which is greater: m or -36/5?
m
Let b be (1 - 4 - 3)/(-4)*-1414. Let q = b - -307542/145. Which is greater: q or 0?
0
Suppose -2546*r = -2502*r - 37 + 1885. Suppose -4*t - 3*g - 1 = 0, -5*t - 2*g = -g - 7. Let c(x) = -11*x**2 + 2*x - 1. Let s be c(t). Which is greater: s or r?
s
Let u = 380 + -383. Let s be -3*2*u*87/18. Is s greater than or equal to 84?
True
Let p be (-67)/4 + (-168)/(-224). Is p bigger than -57?
True
Suppose -6*p = -15*p + 1134. Suppose -7*m = -13*m + p. Does m = 20?
False
Let l be 2*2/4 - (-408204)/(-22). Let r = l + 18533. Which is smaller: r or -21?
-21
Let r(v) be the second derivative of v**4/12 - 7*v**3/6 - 16*v**2 + 29*v + 2. Let t be r(12). Does 53/2 = t?
False
Suppose -2*h - 76 + 78 = 0. Is 55/47 <= h?
False
Let v = 372254 - 12052467760/32377. Which is greater: v or 1?
1
Let m = 206/513 - 8/27. Suppose 11*s - 5*s = -228. Let i be (-28)/70 - s/70. Which is smaller: i or m?
m
Let u(s) = -86*s + 13. Let f be u(0). Which is smaller: f or 85/6?
f
Let o = 94597/8900 - 873/100. Which is bigger: o or 1?
o
Let h be -5*8754/4800 - -9. Is 1 <= h?
False
Let f(v) be the first derivative of v**4/4 - 2*v**3 - 5*v**2/2 + 19. Let o be f(8). Suppose -o - 59 = 21*j. Is 0 less than j?
False
Let d be 575/20*(-7)/(14/8). Let l = 8398/73 + d. Is l less than or equal to 1?
True
Let w = -49444 + 593707/12. Is w != 33?
True
Suppose 6 = -3*b + 3*q, 5*q = -4*b - 4 - 31. Let d be ((-16)/(-10))/(34/95) + b. Is -1 < d?
True
Let y be ((-30525)/(-550))/(-1 + (-6)/(-4)) - -1. Which is smaller: 106 or y?
106
Let i = -9 - -9.18. Let g = 67/55 + -7/5. Let x = -21/55 - g. Which is greater: x or i?
i
Suppose -4*m + 2*a + 15 = -m, 4*m = -4*a + 20. Suppose 0 = -m*p + 5, 0 = -c + 4*c - 3*p - 6. Is c greater than -16?
True
Let d = 15 - 5. Let r = -56 + 54.74. Let w = r + 0.26. Which is smaller: d or w?
w
Let o(b) be the second derivative of -b**5/20 + 3*b**4/4 - 7*b**3/6 - 3*b**2/2 - 8*b + 7. Let m = -1 + 9. Let v be o(m). Is -0.2 greater than v?
False
Let a = -2 - -1. Suppose 0 = p - 3*o - 71, 24*p - o - 95 = 23*p. Which is greater: a or p