be 360/495 - (-40440)/55. Which is greater: b or 1471/2?
b
Let p(s) = -s**2 - 7*s + 59. Let c be p(-12). Suppose q - 7 = 2*y, 0*y + 2*y = -q + 3. Let r be (-3)/q - c*20/75. Is 3 at least r?
True
Suppose -x + 1 = -v, 0*v + 8 = -2*x + 4*v. Let l be (-8)/(-12) + 230/x. Let g be 6/l + 216/(-52). Which is smaller: g or -3?
g
Suppose -3*w = d - 180, -2*w + 47 = -2*d - 81. Suppose -56*u + 61*u = 315. Which is smaller: u or w?
w
Let h = 589/116 + 5/29. Let m = -1743 + 911. Let u = m - -837. Is u bigger than h?
False
Let i be -2*1/12 + 55/(-30). Let y be (-29 - -27) + (1 - i - 0). Which is smaller: 5/36 or y?
5/36
Let m = -4810.55 - -4811. Let w(n) = 2*n + 6. Let x be w(-4). Is x bigger than m?
False
Suppose -39*t + 20642 = -4435. Is t less than or equal to 647?
True
Let t be -25*((-8160)/(-75) + 12). Is -3019 not equal to t?
True
Suppose 3*i + 7*i + 59760 = 2*i. Are i and -7470 unequal?
False
Let l(z) = z**3 + 2*z**2 - z. Let q(r) = -2*r**3 - 16*r**2 + 26*r - 13. Let y(o) = 3*l(o) + q(o). Let t be y(7). Is t < 1/603?
False
Suppose -2*r = 2, 0 = -4*c + 2*c - 4*r - 14. Let o be (-51 - -6)*(-1)/c*-2. Is 0 greater than or equal to o?
False
Let v = 11 - 87. Let b be (-11)/(-134)*5576/v. Let l = 115/19 + b. Is l > -1?
True
Let q = 55433553133444/54379 + -1019392654. Let o = -4/611 + q. Let f be (-46)/42 + -7 + 1937/273. Is o < f?
False
Suppose 40*d - 68094 = -14*d. Is 3781/3 at least as big as d?
False
Let g(j) = -65*j + 2. Let a be g(-1). Suppose 0 = -3*b + a + 44. Let c = -148 - -184. Is b < c?
False
Suppose u - d + 4*d + 6 = 0, u - 3*d - 18 = 0. Suppose 4*f = 20, 5*l - 5 = -30*f + 32*f. Suppose -2*i = o - 70 + 64, 0 = -5*i + l*o + 37. Is u equal to i?
False
Let p be 1/(-2) + (-17)/2. Let v = p - -13. Suppose -6*k = -2*k - 5*m - 92, -v*k - 3*m + 92 = 0. Which is smaller: 24 or k?
k
Let j = -305 + 305.744. Are 1 and j non-equal?
True
Let x = -0.01318 + -8.73482. Let d = x - 0.252. Is 4 at least d?
True
Suppose 533*u - 542*u = -5472. Let s = u - 549. Which is bigger: s or 63?
63
Suppose -4*y - 2*u = -20, -11 = -y - 4*u + 8. Let z = -1885 - -1889. Which is smaller: z or y?
y
Let r = 16117004/6941 - 2322. Which is smaller: -1 or r?
-1
Let x be (280/36)/((-25)/(-225)). Is x equal to 70?
True
Let u(v) = -2*v**3 + 21*v**2 + 102*v - 14. Let z be u(-17). Suppose z + 5665 = -26*d. Is -762 <= d?
True
Let h = -49 + 51. Let m(t) = 5*t - 7. Let c be m(h). Let i be (-6)/(0 + (c - 2)). Which is greater: i or 0.1?
0.1
Suppose 3*f + 288 = 7*f. Suppose 5*i = 13*i - f. Suppose -i*g = -2*g - 245. Which is greater: g or 36?
36
Let q = 5547 + -5546. Which is smaller: 1/693 or q?
1/693
Let l = 18957 + -19024. Do -67 and l have the same value?
True
Suppose 4*o - 8 = 5*u - 19, u - o - 2 = 0. Suppose u*r = -583 - 68. Is -214 >= r?
True
Let j be ((-8364)/17085)/(4/(-10)). Which is bigger: 2 or j?
2
Let o = 575 + -574. Let z be ((o + -1)*-1)/((-20)/20). Is 1/627 greater than or equal to z?
True
Let s be ((-145690)/7140)/((-1)/6). Which is smaller: 123 or s?
s
Suppose 0 = -146*q + 153*q - 1848. Is q <= 266?
True
Let d be ((-7)/(42/16))/(1395/108 - 8). Is d not equal to -1?
True
Let z = -1894 - -1880. Do -35 and z have the same value?
False
Let b = 5121 + -5120.83. Suppose -d + 0 - 4 = 0. Is d smaller than b?
True
Let j be (9/(-2))/((-2)/8). Suppose 5*p + 4*o - 6 = 22, -4*p + 3*o + 10 = 0. Suppose -20 = -p*s, -m - 3*m - s = -73. Which is smaller: m or j?
m
Let h(l) = -2*l**3 + l**2 - 4*l - 12. Let m(v) = -3*v**3 + 3*v**2 - 6*v - 23. Let n(r) = -7*h(r) + 4*m(r). Let t be n(-5). Which is bigger: t or -0.1?
-0.1
Let s be (7/(49/(-12)))/((-10)/70). Suppose -3*i = -s, -2*i - 12 = -2*p - 5*i. Suppose -7*a - a + 2*a = p. Which is smaller: -1/29 or a?
-1/29
Let w be -4*5/((-10)/(-3)) - 381/(-66). Which is greater: w or -7?
w
Suppose -g = -3*g. Let o be (2/10)/((-4164)/180*9/(-6)). Which is bigger: o or g?
o
Suppose 32*g - 6*g = -21944. Let w = 844 + g. Let n be (-49)/(-135) + (-2)/5. Is n less than w?
True
Suppose 36 + 32 = 59*t + 9. Is 17/8 at least t?
True
Let i = -4439 + 4438.3. Is i >= -524?
True
Suppose 0 = 4*q - 3*u + 6992, -5*q + 9*u = 12*u + 8740. Is -1748 at most as big as q?
True
Let h = -2069 - -2019. Let f = -54 - -107. Let d = h + f. Is 2/11 equal to d?
False
Suppose 2*z + 3*s - 1489 = 0, s - 2166 = -5*z + 1589. Let g = z + -749. Let o(v) = -3*v - 4. Let c be o(-3). Is g smaller than c?
True
Let b = -17 - 9. Let y = 27.991 + 0.009. Let c = y + b. Does 3 = c?
False
Suppose 2*w - 4*b = 18, -4*w - w + 35 = -5*b. Let q(f) = -96*f + 3747. Let h be q(39). Suppose h*m - 5*m + 2*u = -210, 3*m - 313 = w*u. Is 105 != m?
True
Let h(u) = -11*u**3 + u**2 + 4*u + 3. Let z be h(-2). Let s = 484 - 396. Are s and z equal?
False
Let o = -13079 - -6275. Which is smaller: o or -1/2?
o
Let s be 2/(-6)*15*(-1406)/(-5). Is -1406 equal to s?
True
Let c be (2 - -1) + -1 - 51/((-918)/(-32004)). Does c = -1778?
False
Let k be (-2)/(-10) - ((-399092)/(-420) + -1). Let z = k + 949. Let w(i) = -i**2 + i + 1. Let v be w(2). Is z at least as big as v?
True
Let h(f) = -f**3 - 6*f**2 + 2. Let k be h(-6). Let w be (6/8 + k)*2. Let n = 200 + -193. Are n and w nonequal?
True
Suppose -r + f = -f - 50, 4*f = 5*r - 250. Suppose -r = -14*i + 6. Is 3 < i?
True
Suppose -1043 = -4*a + 237. Let g = 323 - a. Let x be -1*(-2)/(2/3). Is g > x?
False
Let p = 1725.8 - 1561.8. Which is smaller: -22 or p?
-22
Suppose 280 = 3*z - 125. Let q = z + -127. Which is bigger: q or -1?
q
Let u = -7347 + 7348. Is u smaller than 0.00043?
False
Let n = -141445/8 - -17651. Which is greater: n or 2/9?
2/9
Let j = -1/633 - 199/7596. Let s be -4*18/24 - (-1 - -1). Let q be (2 - s/(-2))/((-25)/50). Which is greater: j or q?
j
Let o = 2836 - 3051. Is -208 bigger than o?
True
Let d = -38 - -60. Let i be (-7)/d*5*-4. Let s(f) = -18899*f - 75589. Let h be s(-4). Which is greater: i or h?
h
Let d = -1.8 + 1.54. Let k = 0.158 + d. Let u = 0.302 + k. Is 5 bigger than u?
True
Let t = -469 - -269. Let a = -200 - t. Is 4/59 at most a?
False
Let t be 14/84*-1 - (-40942)/(-12). Which is greater: -3417 or t?
t
Let z(i) = i**3 - 28*i**2 - 71*i - 55. Let r be z(30). Which is smaller: r or -4990/13?
r
Let u be (-51588)/48*(-10)/24. Let b = 448 - u. Are -1/9 and b non-equal?
True
Let l = -42 + 1595/38. Let p be 24/(-36) - (12/(-9))/2. Let g be -1*(-1 + 2) - p. Which is smaller: l or g?
g
Let q be -1 + -1 + 5 + 8. Let r(d) = 2*d**3 - 19*d**2 + 10*d - 15. Let j be r(10). Suppose j = q*l - 6*l. Does 37 = l?
True
Suppose -3*z - 3*w = -0*w - 54, 4*w = 3*z - 54. Let h = -22 + 38. Let c = z - h. Is 0 at most c?
True
Let p(u) be the second derivative of 10*u**3/3 - 7*u**2/2 + 3*u - 13. Let t be p(-1). Suppose 3*d = -5*s - 61, 5*d + 5*s + 30 = -85. Is d bigger than t?
False
Let v(h) be the first derivative of -h**4/4 - 17*h**3/3 - 9*h**2 - 17*h - 35. Let m be v(-16). Is m not equal to 15?
False
Suppose -j + 15 = 4*w + 3, -4*j - 8 = 2*w. Suppose 2*b = 14 + 4. Suppose -b*y - 5 = w. Is -2/29 greater than or equal to y?
True
Let t be (-5)/((-45)/(-6))*-6. Let w(o) = o**2 - 4*o - 1. Let a be w(t). Let g be 255/102 - (-33)/14*-1. Is g at most a?
False
Let x = 254 + -256. Is -59/23 smaller than x?
True
Let m be 666/1620 - (-3)/(-10). Which is smaller: 2/835 or m?
2/835
Let k = -1441/15 - -387/5. Suppose -3*a + 3 = 6. Let z be -19 - (0 - 0) - a. Is z at most as big as k?
False
Suppose 2*o - 146 = 3*j, 20464*o - 20465*o + 19 = -6*j. Let c be (0 - -1)*(-182)/(-2). Is c bigger than o?
False
Suppose 0 = 5*v - 10, -4*r = -6*v + 3*v + 26. Let i = -10 - r. Suppose 2*l = h + 21, 115*l - 30 = 110*l. Is i less than h?
False
Let u(p) = 14*p + 30 - 44 - 47 + 3*p. Let g be u(7). Is g < 172/3?
False
Let h(d) = 2*d + 37. Let z be h(12). Let u = z - 60. Let t be ((-30)/21)/2*7/(-12). Which is smaller: u or t?
t
Suppose -2*s = 4*v - 370, 501 = 46*v - 41*v - 3*s. Is v at most -3?
False
Let i = -41023 - -41022.99. Is -600 at least i?
False
Suppose 270 = o + 2*o. Let j(f) = f**3 - 53*f**2 - 5*f + 353. Let g be j(53). Which is smaller: o or g?
g
Let a(g) = g**2 - g - 4. Let t be a(0). Let l = -4500897/68 - -66187. Let w = -3/34 + l. Is t > w?
False
Let h be (-1 - -3)*(2 - -1901). Is 3806 greater than h?
False
Let i(c) = -2*c**3 - 43*c**2 - 31*c - 41. Let s be i(-21). Suppose w + l + 67 = 0, -5*l =