= -40, -3*h + 5 = -b - 5*h. Suppose -3*z - v = 14, -b*v + 12 = z - 8*v. Let x be -1*(-8)/12*z/(-2). Do x and 1 have different values?
False
Let u = 7132 + -7159. Which is smaller: u or 69?
u
Let w = -5830 - -5746. Is -60 bigger than w?
True
Let u = 24 + -24.2. Let z = 16.272 + -0.272. Is z > u?
True
Let r = 153 + -85. Let b = -60 + r. Is 9 at most as big as b?
False
Suppose 2*m + 1 = -3. Suppose -4*q - 3*l + 3528 = 1279, -5*q + 2791 = -3*l. Let i be (-1)/(-3)*5/(q/(-12)). Is m greater than or equal to i?
False
Let y = -18 - -878. Suppose -y = -i - 866. Which is smaller: -25/4 or i?
-25/4
Suppose 1751*i + 5*z - 13 = 1750*i, -4*z + 11 = i. Is i < 0.0771?
False
Let l be (-4)/(-13)*(3/6)/(-1). Suppose -5*n - 13 = 5*c - 8*c, -2*c = 4*n + 6. Is l at least as big as n?
True
Let c(t) = t**2 - 2*t - 45. Let n be c(-6). Let o be (-3)/(n + -2) - (-22 + 21). Let x = -456 - -4099/9. Which is greater: x or o?
x
Let t = -239 + 238. Which is smaller: t or 4/1249?
t
Let f = 2116 + 846. Which is bigger: 2964 or f?
2964
Suppose 44 = -122*t + 78*t. Let c = -99913697/583080116 - -65/182612. Let a = c - -5/31. Which is greater: a or t?
a
Suppose -2*r - 16 = -6*r. Suppose 24 = -4*s - r*t - 152, -4*s - 144 = -4*t. Let j be 7/(-5) - 16/s. Which is smaller: j or 2/11?
j
Let t = 132.557 - 133.2. Let o = t - -0.543. Is -68 at least o?
False
Let p = -47.8 + -2.2. Let l = p + 50. Is l less than 9.7?
True
Let d = -18706 + 17880. Is -831 greater than or equal to d?
False
Let i = -2193.94 - -2194. Let l = 1.8 + -3. Let t = l + 0.6. Which is smaller: i or t?
t
Let k(r) = 32 + 135*r - 33*r - 49*r. Let l be k(-2). Does -74 = l?
True
Let o be 2/3*(2 + 4). Let i be 1/(-6) + (-4794)/1692 - -12. Which is bigger: i or o?
i
Let k = -281 - -304. Suppose 0 = k*q + 162 - 24. Let g(y) = y**3 + 8*y**2 + 7*y - 9. Let r be g(-7). Which is smaller: r or q?
r
Suppose 15*n = 17*n - 188. Let g = n + -66. Suppose 2*o + p = 55, 2*p - 20 - 32 = -2*o. Which is bigger: o or g?
o
Let q = 8635 + -11765. Which is bigger: -3128 or q?
-3128
Let k be 288/42 - (-5)/35. Let g be -2 + k/6 + 1. Is g equal to -0.3?
False
Let k be 1/(-2)*4/2. Let d be ((-1208)/26727)/((-156)/9). Which is bigger: k or d?
d
Suppose 4*p - 24 = -5*t - 27, -11 = 5*p - t. Which is smaller: p or -165/62?
-165/62
Suppose -581*c + 577*c = 1540. Is -1537/4 != c?
True
Let x = -51 - -50.8. Let p = 516 + -515.94. Which is bigger: p or x?
p
Let a = 7.747 + -7.7. Let d = 38.047 - a. Let u = 41 - d. Which is greater: u or 2/5?
u
Let s(o) = 12*o**2 + 78*o - 1904. Let x be s(21). Which is smaller: x or 5027?
x
Let n be (-101 + 100)*((-2355)/(-6) + (-1)/(-2)). Which is smaller: -3 or n?
n
Let g = -53438/5 - -161036/15. Which is smaller: g or 49?
g
Suppose 0 = 2*o - 3*h - 3374, 0 = 9*h - 0*h + 36. Is o >= 0?
True
Let l = -13086/5 - -2618. Is l smaller than 1/7?
False
Suppose -12*m = -m - 2728. Let u = m + -250. Is u smaller than -7/4?
True
Suppose -121894 = -66*f - 35104. Is f >= 1315?
True
Let m = -256 + 2302/9. Let v = -3.08 + 2.08. Which is smaller: v or m?
v
Let f(m) = m**3 - 26*m**2 + 25*m. Let g be f(25). Suppose g*a = 5*a + a. Which is bigger: -1/72 or a?
a
Let m be 16/(-56) + (-1 - (-54)/(-7)). Let o be (-50)/(-8) - (m/(-4))/9. Suppose 21 - 171 = o*i. Which is smaller: i or -26?
-26
Let c = -154 + 225. Suppose -64 = c*a - 79*a. Is a greater than 8?
False
Let t = -127496848/2265 - -56290. Which is smaller: t or 0?
0
Suppose 6*z - 66 - 240 = 0. Let s be (-229)/24 - z/(-17). Let i = s - -37/6. Is -1 greater than i?
False
Let n be 4630/(-12038) - (-31)/13. Is n greater than or equal to 0.12987?
True
Suppose 11*c = 8*c + 30. Let o be (-256)/c - (-24)/(-60). Suppose -j = -a - 26, a + a = -5*j - 45. Which is bigger: o or a?
a
Suppose 0 = -5*k + a + 957, -12*a = -k - 13*a + 189. Let q = k - 192. Which is smaller: q or -9?
-9
Let l be 4106/20880 - (57/(-15) - -4). Let m = l - -1/58. Which is smaller: 1 or m?
m
Let z = -1344 - -1347. Let h be 328/156 + (-4)/(-6). Which is bigger: h or z?
z
Let c(v) = v**2 - 30*v - 30. Let a be c(31). Let l be a/(-7 - (-13 - -7)). Do -3/4 and l have the same value?
False
Let r = -5839113564 - -669349266074239/114632. Let i = r + -9/184. Let t = -18673/10591 - i. Which is greater: -3 or t?
t
Suppose n + 20 = 12. Let i be (22 + n)/(4/(-6)). Let h = -468 - -468. Is h < i?
False
Let c = 1.282 + -0.427. Let k = c + 0.145. Does -0.491 = k?
False
Let q(o) be the third derivative of -o**6/120 - o**5/20 + o**4/24 - 7*o**3/6 - 21*o**2. Let s be q(-4). Let x(k) = k**2 - 13. Let d be x(s). Is 10 at least d?
False
Let h = 81.99 + 1.01. Let r = h - 106. Let v = 23.2 + r. Is -19 < v?
True
Suppose a + 5*t + 5 = 0, -21*a - 3*t - 3 = -26*a. Is -3798 > a?
False
Let b(z) = 2*z + 29. Let v(w) = -w**3 + 14*w**2 - 13*w - 13. Let s be v(13). Let r be b(s). Is r > -5?
True
Let i be (-33)/(-2) - (-2)/(-4). Suppose 3*o + 174 = 5*f, f - 26 = 15*o - 10*o. Suppose f*m - 33*m = 48. Is i >= m?
True
Let p = 4/479 - -1696/26345. Let b = -1477/110 - p. Let c = b + 23. Which is smaller: c or 10?
c
Let j be ((-22)/(-451))/((-1)/14). Which is greater: -1 or j?
j
Suppose 79*z - 38*z + 134*z = 57225. Which is greater: z or 289?
z
Let c(w) = -5*w**3 - 58*w**2 + 14*w + 231. Let t be c(-12). Which is greater: t or 347?
t
Let z = 42.78 + -77.78. Which is smaller: -37 or z?
-37
Let r = -0.4 - -1.4. Let x = r - 1.3. Let b(k) = -k**2 + 31*k + 221. Let f be b(-6). Is x < f?
False
Let l(s) = 6*s**2 - s + 1. Let r be l(1). Let x = -1.93 - -1.86. Is x greater than or equal to r?
False
Let r = -57.262 - -6.262. Do r and -15/13 have the same value?
False
Let f = 146 - 146.04. Let x = f - -0.14. Is -0.86 greater than x?
False
Let o = 710.154 + -711. Let r = o + -15.154. Is -1 at least as big as r?
True
Let o = -28335 + 38117. Which is smaller: 1 or o?
1
Let c(v) = 18*v + 63. Let t be c(-11). Let g = -125 - t. Suppose g*s + 66 = 11*s. Do s and 66 have the same value?
True
Suppose 0 = 2*i - 18 + 4. Let b(j) = j - 1. Let t be b(i). Let l(h) = 2*h**2 + 152*h - 150. Let g be l(-77). Do t and g have the same value?
False
Suppose 4*j + 9 = z + 4*z, -z = 5*j + 4. Let l be ((-65 - -61) + (-21)/(-5))*2. Which is greater: l or z?
z
Let l(x) = -x - 12. Let p(f) = -16*f**2 - f + 1. Let g be p(-1). Let b be l(g). Suppose b - 1 = -u. Which is bigger: u or -2/27?
-2/27
Let q(l) = -87*l**3 + l**2 + 4*l + 4. Let u be q(-2). Let c be -1*((-792)/u - 2/(-2)). Which is greater: -1 or c?
c
Let h = 6652 - 6651.9. Is h at least as big as 13?
False
Let l = 57/295 + -31608/159005. Which is smaller: l or 1?
l
Let t = 5.19 - 0.19. Let u = -23.3 - -22.6. Is t at least u?
True
Let o = 1081.17 - 1081. Is o greater than or equal to -35?
True
Let u(o) = -o**2 - 27*o + 68. Let i be u(-29). Let t be (-1572)/4005 + i/25. Is t > -1?
True
Let h = 333 + -320. Suppose 14*y + h + 1 = 0. Which is greater: -2/17 or y?
-2/17
Let f = 1156 - -227. Is f bigger than 1381?
True
Let q be -4*(1 + (-122)/124). Let b be 6 + -246*1/14*(-4)/(-12). Is q <= b?
True
Let f be (2/(-2))/(9/(-16)). Let n be (-207)/1701*-7*6*(-1)/4. Let r = f + n. Are -13 and r equal?
False
Let b = 58 - 56. Let o(z) = 10*z + 14*z**b - 5*z**2 + z**3 - 15 + 21 + 0*z**3. Let k be o(-8). Is k greater than -1?
False
Let l = 8.463 - 3.463. Is l bigger than 40?
False
Let l(d) = d**2 - 16*d + 33. Let b(n) = n**3 - 21*n**2 + 20*n + 12. Let r be 1*-3*80/(-12). Let t be b(r). Let m be l(t). Is -15 != m?
False
Let o be 86 + (3 + -2)*-2. Suppose 0 = d + 1, -21*w + 16*w + d - 1574 = 0. Let q = -231 - w. Does q = o?
True
Let c(l) = -2*l**3 - 65*l**2 - 132*l - 10. Let n be c(-30). Which is greater: -547 or n?
-547
Suppose -23*j + 3262 = 6413. Is j <= -206?
False
Suppose 0 = -453*q + 454*q + 4, 5*q = -3*t - 23. Is t less than 6/6689?
True
Let y = 11946 + -11949. Which is smaller: y or -12/31?
y
Let p = -3920 + 19974. Is -1/4 <= p?
True
Let o = 0.039 - 0.085. Suppose 5*l = -4*q + 75, 45 + 12 = 4*q - l. Suppose 0 = -10*u + q*u. Do u and o have the same value?
False
Let g = 231 - 232. Let z = -11.9 + 13. Let d = g + z. Are -0.07 and d unequal?
True
Suppose 4*q = -3*l + 1400, 3*q + 922 = 134*l - 132*l. Which is bigger: l or 467?
467
Let b be -6 - (0 + 44/(-6))*252/312. Is 2/25 greater than or equal to b?
True
Let n(p) = -7*p - p - 124 + 158 - p**2. Let y be n(-11). 