er than or equal to w?
False
Suppose 13*u - 4*u - 72 = 0. Suppose -5*w + 2*f - 10 = 0, -7*w - 5 = -u*w - f. Suppose -y + 5*j + 24 = w, 2 = -4*y + j + 3. Is 55 >= y?
True
Let h = -3.4 - -3.2. Let j = 0.9 + -83.9. Which is smaller: j or h?
j
Let r = -167362 + 166775.905. Let v = r - -583. Let c = -3.1 - v. Is -0.1 greater than or equal to c?
False
Suppose -4*f - 3*q + 59 = -79, 3*f - 109 = -5*q. Suppose -38*u + 590 = -f*u. Is u <= 118?
True
Let u = 7772 + -132130/17. Is 11/7 > u?
True
Let h = 19865 - 19865.4807. Is h < -1?
False
Suppose 13*n - 3126 + 6194 = 0. Which is bigger: -238 or n?
n
Let v be -8*((-54)/24 + (-1 - -3)). Let z be v/12 - (1505/(-2670) - -1). Which is smaller: 1 or z?
z
Let r = 148303/77 - 1926. Suppose 0 = 5*i - 5*f + 15, 10 = 2*i + 2*f - 0. Is i equal to r?
False
Let q(d) = -2*d - 20. Let u be q(-12). Suppose 3*p + 57 = -g + 4*g, -5*p - u*g = 68. Let j be (-26)/p - ((-27)/2)/(-9). Is j bigger than -1?
True
Let h be (26 + -32 + 69/12)*-2. Which is smaller: 2/795 or h?
2/795
Suppose 2*a + 5*i = 3430, -3*a + a = 3*i - 3434. Let v be a/264 + -6 - (-2)/(-11). Is 62 less than v?
False
Let w be (-4)/(45/(-3) - -13). Let o(b) be the first derivative of -b**4/4 - 5*b**3/3 - 2*b**2 + 3*b - 2. Let s be o(-4). Which is greater: w or s?
s
Let f(r) = -4*r**3 + 21*r**2 - 52*r + 55. Let h be f(3). Let i be (41 - 0)/(-3 + 1). Is h equal to i?
False
Suppose 3*h + 265 = 3*p + h, p - 83 = 2*h. Let y = p + -149. Which is bigger: -61 or y?
y
Let y be (-20)/(-100) + (6/(-40))/3. Let v(d) = 0 - 8*d - 2 + d**3 - 4 - 8*d**2 - 4. Let u be v(9). Which is smaller: u or y?
u
Suppose 5*w = 29*l - 30*l - 32, -5*l - 5*w - 60 = 0. Which is bigger: 24 or l?
24
Let g = -130.3 + 129.4. Let c = 18.82 + -19. Let d = -0.68 - c. Are d and g equal?
False
Let h(y) = 436*y + 2095. Let u be h(-11). Which is smaller: u or -2702?
-2702
Let u be (-3 - 88/(-24)) + (-1748)/(-6). Let h = 182 - u. Is h at least -110?
True
Suppose n - 106 = -3*x, -n + 3 - 2 = 0. Suppose 612 = 32*l - x*l. Is -204 < l?
False
Let o(m) = -11*m - 495. Let n be o(-45). Which is greater: n or 75/298?
75/298
Let w = -29283 + 24970. Which is smaller: -4315 or w?
-4315
Let f = -0.125 - -4.225. Let h = f - 4.18. Is -0.6 less than or equal to h?
True
Suppose -5*a + 16 = -c - 7, 0 = -3*c + 4*a - 14. Let p be 3 + c + (-66)/15. Let j be -3 - -1 - 21/30*-2. Which is smaller: p or j?
j
Suppose 3*i = -2 + 8, -7*r + i + 12570 = 0. Do 1798 and r have different values?
True
Let c(a) = -a**2 + 2*a + 4. Let m be c(4). Let g be (-1)/(((-48)/42)/(-8)). Let b be (-1 - -2) + g + 15/9. Are b and m equal?
False
Let v(l) = 452 - l + l**2 - 452. Let d be v(-1). Suppose 0 = -0*u + d*u + 2*w, -4*u + 3*w = 14. Which is bigger: -16/9 or u?
-16/9
Let q = -3062 - -3071. Which is bigger: q or 14.01?
14.01
Let g = -69/62 - -15983/434. Is g greater than or equal to 4?
True
Let k = 0.04 - 0.075. Let u be (4 + 4 + 4 - 3)*1/(-6). Which is smaller: u or k?
u
Let o(j) = j**2 + 11*j + 4. Let c be o(0). Suppose -c*k - d - 75 = 0, -5*k + 3*d = 4*d + 93. Is -56/3 less than k?
True
Let u(o) = -61 - 13*o + o - 48 + 23. Let r be u(-7). Which is smaller: 1 or r?
r
Let n(z) = 5*z**2 - 13*z - 11. Let k(u) = -5*u**2 + 10*u + 12. Let x(i) = -5*k(i) - 4*n(i). Let s be x(5). Which is bigger: 235/2 or s?
s
Suppose -2901*y = -2904*y - 1977. Let w = y + 677. Is w smaller than 10?
False
Let w = 411399984727/9996 + -41156461. Let n = -1/588 - w. Which is bigger: -2 or n?
n
Suppose 0 = -183*p + 187*p + 1268. Let y = -623/2 - p. Which is greater: -3 or y?
y
Let p = -0.631 - -0.6. Let i = p - -18.031. Let f = -15 + i. Which is smaller: 1/4 or f?
1/4
Let z(q) = 2*q**2 + 7*q - 10. Suppose -6 = 2*n - n. Let g be z(n). Suppose -4*r = -4*x + g, 5*r - 3*x = 2 - 29. Is -8 less than r?
True
Suppose 0 = 27*k - 317 - 169. Which is smaller: 417/23 or k?
k
Let c be 1/(36/(-8)) - (-560)/2844. Let y = 715/158 + c. Are 18 and y unequal?
True
Let j be 12794*(-9 - 45974/(-5108)) + -5. Is j greater than or equal to 0?
True
Let y be 2/(90*5/15) - (-19376)/(-30). Which is smaller: y or -645?
y
Let u = -4445.131 + 4445. Which is smaller: u or -0.02?
u
Suppose 0*b - 8*b + 24 = 0. Suppose 4 = -o - 2*n, -2*o - b*o = 4*n + 2. Suppose -3*a = -o*f - 2*f - 12, 3*f - 3*a + 12 = 0. Is 5/12 >= f?
True
Let c be (-1)/19 - (-250270)/38. Which is smaller: c or 6585?
6585
Let c = 9 + -11. Let k be (-99)/154 + 13/(-182). Which is bigger: c or k?
k
Let p = 116097 + -116094. Let q be 2/10*(-1 - -9). Is q > p?
False
Let x = 3727.199 - 3727. Which is greater: -3 or x?
x
Let w(r) = r**3 + 6*r**2 + 5*r + 1. Let v be w(-5). Let d be (-80388)/6183 + 65/5. Is v bigger than d?
True
Let w(d) = -124*d**2 + 32*d + 111. Let i be w(-3). Is -1101 less than or equal to i?
True
Let l(d) = -14*d**3 + d**2 - 5*d + 3. Let o be l(1). Let m be (-6)/o - (15/(-25) + 2). Which is smaller: m or -26/17?
-26/17
Let s be (-1065)/1420 - 69/4. Let t(r) = 6*r**2 - r. Let c be t(3). Suppose 2*i + c = -i. Is s > i?
False
Let r = -106 - -146. Let a = r + -72. Let b(l) = -l**3 + 10*l**2 - 14*l + 13. Let j be b(9). Is j not equal to a?
False
Suppose 966*z = 1169*z. Let m be (-2)/4 + 29/46. Do m and z have different values?
True
Let l be (15/18 - (-33)/(-66))*54/1328. Is 0 != l?
True
Let y = 5894.18 - 5836. Let f = -155 - -97. Let m = f + y. Is m greater than -1/4?
True
Let p = 32006 + -29390.84. Let o = p - 2535. Let n = o - 80. Are n and -2 nonequal?
True
Suppose 8 - 1 = -7*l. Let u be (l + -56)/(15/10). Is -3 at least u?
True
Suppose 3*u - h - 73 = 3*h, -5*h - 39 = -u. Let f(t) = t**2 - 5*t - 236. Let o be f(18). Let q = 18 - o. Are u and q nonequal?
True
Let v = -24411 - -3124629/128. Which is bigger: -1 or v?
v
Let d be 9*6/9*2/6. Suppose 9 = 5*z + 2*x, d*x = -2*z + 5*z - 15. Suppose -z*j - 25 = g + 120, -5*j + 4*g = 253. Do -48 and j have the same value?
False
Let f = 425 - 612. Let p = 186 + f. Is 105 at least p?
True
Let s be (140/25)/((-4)/(-10)). Suppose -3*l = -3*z - 84, 0*l + 92 = -3*z - l. Let d be ((-1064)/(-175))/((-12)/z). Is d at least s?
True
Let u = -1985936/3735 - -82/747. Let c(d) = 134*d - 6. Let i be c(4). Let v = i + u. Is 2/5 != v?
True
Let h(d) = 24*d**2 + 2*d + 2. Let l be h(-1). Let m be l - (-1)/(2/(-4)). Suppose 16*n - m*n = -108. Which is smaller: n or 19?
n
Let z = 736361 + -736360.7. Let q = -79/2 + 18. Which is smaller: q or z?
q
Let s = -59189 + 711743/12. Which is smaller: 123 or s?
s
Let n be 246/(-7) - 1/(-7). Let t be (2253/21 - 0) + 10/n. Let d be (9/(-6))/(17/(-1224)). Is d less than t?
False
Suppose 0 = 4*q + 2*c - 1388, 943 = 2*q - 2*c + 261. Which is bigger: 340 or q?
q
Let g = -26752.75 + 26753. Do 154 and g have the same value?
False
Suppose 3 - 13 = 2*p. Let g be -36*-5*p/850. Is g > 0?
False
Let i be (4/10)/((-3)/15). Let z = 630 + -1076. Let n = z - -446. Which is bigger: n or i?
n
Let f be -2 - 1 - (-14)/(-14)*(-7 - -1). Let c be (24/30)/((-4)/(-170)). Let j = 23 - c. Which is greater: f or j?
f
Let g = -6660 + 46622/7. Are 1101 and g equal?
False
Let x be ((-1)/(-5))/(-1) - 1092/(-10). Let n be 7/7 + -3 + x/55. Suppose -3*p = -3*r + 3, -2*r + r + 2*p + 2 = 0. Which is greater: r or n?
r
Let y = 91 - 43. Suppose -y = -2*o + 6*o. Let l(v) = -272*v - 5997. Let k be l(-22). Is k != o?
True
Let v be 6 - (7326/609)/2. Which is bigger: v or -8/5?
v
Let u(a) = a**3 - 12*a**2 + 33*a - 6. Let f be u(7). Is -159/8 >= f?
True
Suppose 8*z - 10*z = 2, 4*p = -4*z - 180. Are -1/2 and p unequal?
True
Suppose 0 = -k - 4*p + 38, 3*p - 5 = 4*k - 62. Let h be (-1985)/10 + -4 + k/4. Is h at least -198?
True
Let l be (-3)/(-9) - (-1)/(-3). Suppose -i - 2 = 0, -10*i = -2*f - 12*i - 5128. Let n = f + 248512/97. Is l > n?
True
Let b = 1207 + -1207.1. Does -0.294 = b?
False
Let b = 68037136/11 + -616960774273/99748. Let o = -2/2267 - b. Do o and -15/19 have different values?
True
Suppose 4*s - 30442 = 3*d + 6327, 3*d = s - 9208. Is 9186 smaller than s?
True
Let h be (-6)/10268*(10 + 2*(-9 + 5)). Is -1 greater than h?
False
Let z = 2588 + -2602. Which is smaller: z or 62?
z
Let k = 0.06343 - -220.93657. Which is bigger: -0.02 or k?
k
Let l(y) = y**3 - 2*y**2 - 35*y + 66. Let a be l(6). Let f = 3286 - 348311/106. Which is bigger: a or f?
f
Let z be (760950/207 - -3) + (-22)/253. Are 3677 and z unequal?
True