90 + 88.53. Let l = i + 2.47. Is l greater than or equal to 75?
False
Let c be ((-4)/(-6))/((-6)/36). Let r be 0/(-2) - (c - 129)/7. Is r >= -2/5?
True
Let s be (1622/470)/((-3)/(-3)). Let c = 7/47 + s. Let p(j) = 3*j**2 + 72*j + 73. Let y be p(-23). Is y bigger than c?
True
Suppose -39 = 2*k - 189. Suppose k = 11*l + 14*l. Let h(f) = f**3 + 7*f**2 + 6*f + 4. Let d be h(-6). Which is greater: l or d?
d
Let k = -15.8167 - 5.1833. Let b be ((-4)/8)/((-10)/4). Is k less than or equal to b?
True
Let x = 7000/11 + -44820/77. Suppose -277 = -5*j + g, 378*j - g = 376*j + 112. Does x = j?
False
Let u = 1982 + -2705. Is u <= -723?
True
Suppose 3 = -626*u + 629*u. Are -273 and u non-equal?
True
Suppose o = -o + 8. Suppose -v = 3*t - 8, -t + v = -o*v + 24. Let r = -4.99 - -4.89. Do r and t have the same value?
False
Let r(q) = 7*q - 2 - 8*q + 5. Let b be r(4). Let z = -454 + 451. Is b at most z?
False
Let k = -79 + 79.006. Let v = k + -0.096. Let t = v - 0.91. Which is bigger: t or -4?
t
Let c = 1021 - 11213/11. Let g = -737 - -735. Which is smaller: g or c?
g
Suppose 7*z - 149 = v - 127, 3*z + 42 = 3*v. Let b = -10 - -15. Suppose 2*l - f = 3*l - 25, b*f - 45 = -l. Does l = v?
True
Let b be (-65)/(27300/126)*1*4/18. Which is smaller: b or 2/153?
b
Let p = -1110 - -1018.2. Let k = p - -90.8. Is k bigger than -31/4?
True
Suppose -8*b = 4 - 20. Let g be (0 - -4)*b/(-4). Let s be (-4)/(2/(g - -1)). Which is smaller: s or -1?
-1
Let h = -8146/17 + 478. Let r(q) = -2*q**2. Let s be r(1). Is s less than h?
True
Let d = -4909 - -4206. Which is greater: -3512/5 or d?
-3512/5
Let s = 141.1606 - 0.1606. Are -1/6 and s unequal?
True
Let j be 4 - (0 - (-3 + 5)) - 4. Let q be ((-24)/(-63))/8*(-18)/j. Suppose 3*x - 4 = -1. Which is greater: x or q?
x
Suppose -m - 2 = -4*r, 1 = 4*r + 2*m + 5. Suppose -4*c = 4*p + 28, r*c = -5*c + 4*p - 44. Let k be (c/12)/(8/(-36))*10. Are k and 30 nonequal?
False
Let c be (-981)/(-3052)*8/6. Which is bigger: c or 358?
358
Let q(k) = 2*k**3 - 36*k**2 + 30*k - 80. Let m be q(17). Which is smaller: m or -597/4?
-597/4
Suppose -5*v - 2*g + 12 = 0, -5*v + 14 = 4*g - 0. Let o(b) = 8 + 4 + 11*b + b**2 + v. Let m be o(-9). Is -5 < m?
True
Suppose -g + 4*v = -208, 3*g - 3*v - 339 = 249. Suppose -5*f + 2*f = -g. Are f and -1 unequal?
True
Let n(s) = -1070*s - 353. Let q be n(-4). Which is smaller: 3928 or q?
q
Let w = -2942/3 - -972. Let n = w + 53/6. Let z = -0.1 + 0.1. Is n bigger than z?
True
Let a(m) = 2*m**2 - 25*m + 62. Let r be a(9). Is 20/301 bigger than r?
True
Let w = 7 + -10. Let o be (-2 + 182020/(-98056))*4/w. Let n = 2/1751 + o. Is 5 >= n?
False
Suppose -44*y + 2 = -2 + 4. Do y and 13/348 have different values?
True
Suppose 16*h + 5 - 5 = 0. Suppose -6*v + 60 = -h*v. Let j be v/(-15)*-2*2/8. Is j less than -2/5?
False
Let a = 4615 + -3826. Is 0 > a?
False
Let a = 282 + -98. Let q = -223 + a. Which is greater: -40 or q?
q
Suppose 0*g - g = -1, -374 = -2*a + 2*g. Let c = a + -148. Let j be (-32)/c*(-10)/4. Which is smaller: 1/12 or j?
1/12
Let s(t) = t**3 - 28*t**2 - 129*t + 14. Let p be s(32). Suppose -2*u - 89 + 9 = -5*q, 0 = -3*q + 4*u + 62. Let d = p + q. Is -2 less than or equal to d?
False
Suppose 47285 = -84*f + 35*f. Is f greater than or equal to -968?
True
Suppose s + 10 = 4*w + 1, 0 = 2*w + s - 3. Let v be w/(-14)*(-20 - 3). Are 3 and v equal?
False
Let q be (35/(-4))/5 + (-4)/16. Let n be 24/15 - q - (-6)/15. Suppose 6 = -2*m + 4*s, s - 9 = 4*m - n. Is m at most as big as -2/19?
True
Let h = -12 + 12.3. Let b = -7.1 + 51.3. Let m = -42.2 + b. Is h smaller than m?
True
Let x be -2 - (-1 + 0) - 8146. Are -8148 and x nonequal?
True
Let q = -1/150 - -67/3300. Let v(m) = -m**2 + 44*m - 460. Let s be v(17). Which is smaller: s or q?
s
Let p = -24 - 12. Let v = p - -33.2. Let s = v - 4.2. Is s < 0.1?
True
Let q be (-119)/51 + ((-206220)/(-6462))/10. Is q at most 0?
False
Suppose 97*b - 136*b - 18804 = -93879. Which is bigger: 1924 or b?
b
Let s be (7776/(-44))/(-4) - (-20)/(-110). Suppose 9*f - 4*f - 20 = 0. Suppose -48*k - f = -s*k. Is k at most -2/83?
True
Let d(o) = 1 - 2*o - 7*o**2 - 2*o - 4*o - 5*o**3. Let t(h) = 3*h**3 + 4*h**2 + 4*h - 1. Let w(j) = 4*d(j) + 7*t(j). Let p be w(-2). Is p at least as big as -3?
True
Suppose 10*u + 4*u - 140 = 0. Let m be 4/u - 114/(-15). Let j be (42/m)/((-21)/112). Is j >= -111/4?
False
Suppose 22*o - 101 = 9. Suppose -o*h = h - h. Is 2/99 at most h?
False
Let x = -1.562 - -1.3126. Let b = x - -0.0494. Which is greater: -82 or b?
b
Let n = 4216 - 4147. Does n = -12?
False
Let q = -0.0588 - -2.4948. Let h = q - 2.37. Which is greater: 0.1 or h?
0.1
Suppose -15 = 5*b, -5*y + 2*b = -2*b - 247. Suppose -y = 7*f - 1377. Let x = -929/5 + f. Is x equal to 3?
False
Let g be (12/(-1658))/((5280/150)/44). Is g bigger than -1?
True
Let t = 659 + -662. Let s = 317/28 - 11675/868. Which is greater: s or t?
s
Suppose 0*k = k + 3*n + 17, 0 = -3*k - 3*n - 27. Which is smaller: 0.59 or k?
k
Suppose -5 = t - b, 3*t + 86 = -5*b + 31. Let w be (-80)/(-200) + 38*(-7)/t. Is 14 less than or equal to w?
True
Let c be 2*(2/4)/(5 - (-780)/(-160)). Is 290 smaller than c?
False
Let t be 10/75 - 57893/(-165). Suppose -t = 22*g - 13*g. Is -39 at least as big as g?
True
Let x be 6438/444*24/(-237). Is x > 0?
False
Let h be (-35)/140 + 573/(-12). Let s(f) = 4 + 0*f**2 - f - f**2 + 0*f**2 - 2*f**2. Let v be s(4). Are h and v equal?
True
Let h = -0.1662 - 5.7338. Let i = -7 + 1. Let x = i - h. Is x < 4.9?
True
Let h be (-3 - -1)*827/(-47966). Let o(m) = m**3 + 5*m**2 + 4*m + 1. Let w be o(-4). Is w < h?
False
Let w = 6862 + -6805. Is w > 93?
False
Let b be (-8676)/(-2181) - (11 + -7). Which is smaller: b or 0?
b
Suppose 214*w - 1512 = 268*w. Is w <= -53?
False
Let j = 221 - 216.62. Let z = -77.229 + 77.329. Is j >= z?
True
Let a(p) = p**3 + 17*p**2 + 31*p - 12. Let g be a(-11). Let s = -372 + g. Which is smaller: s or 32/15?
s
Let s be (-37 + 38)*7/5. Which is bigger: s or 30?
30
Let a(j) = j**3 + 5*j**2 + 2*j + 11. Let u(k) = -k**2 - 16*k - 44. Let f be u(-13). Let m be a(f). Which is smaller: -1/69 or m?
-1/69
Let u be (-2)/13 - (-524)/(-312). Let z = 19/12 + u. Which is smaller: z or -3/5?
-3/5
Let k be (2 - 5)/1*(-2912)/(-42). Suppose -3*m + 624 = -6*m. Is m smaller than k?
False
Let o = 0.3 + -2.1. Let y = -2.1 - o. Let t = 37 - 405/11. Which is smaller: y or t?
y
Let y = -20728/23 + 901. Let n(o) = -4*o - 3. Let f be n(-1). Which is smaller: y or f?
y
Let w(c) = 6*c - 155. Let g be w(-29). Which is smaller: g or -328?
g
Let g be (20 - (-140)/(-14)) + 71 + 4. Is g less than or equal to 85?
True
Let k be -1 + 91/(-28) + (-7)/84 - 6. Is k >= -18?
True
Let p be (-2)/(-15) + (-2004)/180. Is 4.39 <= p?
False
Let h(n) = 6*n**3. Suppose -3*c - 18 = -0*c - 4*a, 0 = -c - 4*a - 6. Let v be 5/c + (-16)/96. Let k be h(v). Which is greater: -0.2 or k?
-0.2
Suppose -2*v = 5*b + 9908 - 9665, -b - 5*v = 21. Do b and -653/13 have the same value?
False
Suppose 10*s + 157 = -30483. Is 0 equal to s?
False
Suppose l = -29*m + 33*m, -5*m = -2*l. Which is smaller: l or 1/2893?
l
Let h(m) = m**3 - 13*m**2 + 14*m + 27. Let u be h(12). Let s = u + -54. Let b be 0 - (0 - 0) - s. Is 9/4 at most as big as b?
True
Suppose -78*u + 7076 = 101*u - 49667. Which is greater: 311 or u?
u
Let l = 0.596 + -0.059. Let o = -0.737 + l. Is 11/5 at least o?
True
Let r(k) be the third derivative of k**5/30 - k**4/12 + 2*k**3/3 + 11*k**2. Let x be r(2). Suppose 24 = 4*d + 2*y, x = y + 3*y. Is d greater than or equal to 6?
False
Suppose 0 = 5*r + f + 56, 5*r = 2*f - 43 - 10. Let q be 6516/(-5 - r)*2/3. Suppose q - 84 = -5*o. Is o != -129?
True
Let y = 636 + -612. Suppose -h = -4*j - 30, h - 5*j = -5 + 37. Are y and h unequal?
True
Let d = 487 + -865. Let z = d + 379. Which is greater: z or -0.33?
z
Suppose 16018*p + 744 = 16042*p. Is p equal to 268/9?
False
Let t = -15247 + 15245. Is -3912 smaller than t?
True
Let f be 6/5806*(-486)/729. Which is bigger: f or -0.3?
f
Let c(z) = -z**3 + 4*z**2 + 28*z + 26. Let y = -27 + 35. Let a be c(y). Is a at most as big as -27/5?
True
Suppose -4*u + 3 = -u. Let i(j) = -61*j - 9. Let s be i(-4). Let r = s - 6581/28. Which is bigger: u or r?
u
Suppose -96*t + 257 = 161. Are -3/1283 and t unequal?
True
Let f = -104 + 40. Let w