268?
b
Let h be (36/(-30))/(82/45715). Which is bigger: h or 15?
15
Let i = 9845266/39 - 754834/3. Let s = i - 831. Are s and 1 non-equal?
True
Let j be (-224077)/1309 + 0 + -5. Which is greater: -175 or j?
-175
Let r be ((-4)/116)/(20/15 + 0). Which is greater: r or 1/3?
1/3
Let c(m) = -20 - 5*m**2 + 7*m**2 - 3*m**2 - 11*m. Let i be c(-8). Suppose 0 = 3*g + 2*t - t - 35, -2*g + 28 = -i*t. Is 12 at least g?
True
Let a(g) = 2*g. Let w be a(-1). Let y = -21.2 + 20.99. Let b = y + 0.41. Is b > w?
True
Let y be (-209)/(-4) + (-1)/4. Let h = -88 + y. Which is greater: -37 or h?
h
Let v = -4 + -8. Let x(f) = -2*f**2 + 16*f - 24. Let h(d) = d**2 - 2*d. Let k(a) = 3*h(a) + x(a). Let g be k(v). Is 0 >= g?
True
Suppose -362 = -6*p - 2366. Let s = 334 + p. Is s != 2/237?
True
Let r = -925171/18 - -51421. Which is smaller: r or 23?
r
Let l = 46 - 26. Let s be (84/(-30))/((-135)/900). Which is greater: s or l?
l
Let i be (2/42)/(868/(-162874)) + 9. Which is smaller: -1 or i?
-1
Let f = 85 - -1707. Suppose 29*c - 22*c + f = 0. Which is greater: -255 or c?
-255
Let b = 63 + -61. Suppose 0*j = b*j - 368. Let c be (2 - j/12) + 3/9. Is c greater than or equal to -12?
False
Let o(p) = p**2 - 7*p + 6. Let h be 2/6 - (-17)/3. Let d be o(h). Let s = -1634 - -1633. Which is bigger: s or d?
d
Suppose 3*z - 34 = -3*b + 23, -3*z = -4*b + 104. Suppose -2*d = -25*d - b. Is d greater than -7/15?
False
Let y = 1148 - 262. Which is smaller: y or 2654/3?
2654/3
Let o be (172/(-12))/(2/6). Let a be (-6)/(-15)*(-280)/112. Is o not equal to a?
True
Let m = 81 - 80.908. Let d = 0.073 - m. Let l = d + 0.419. Is 3 < l?
False
Suppose 0 = -78*y + 87*y - 99. Let w(g) = 19*g - 165. Let u be w(y). Is -1 less than or equal to u?
True
Let x = -0.294 + -0.906. Let c = 1.4 + x. Let o = 13.74 - -0.26. Is o smaller than c?
False
Suppose 0 = -3*u - 27 + 12. Let f be (-121)/u + (-34)/170. Which is smaller: 4 or f?
4
Let z = -34548/11 - -3138. Which is smaller: -3 or z?
-3
Let r(d) = 65*d + 51. Let j(u) = -63*u - 52. Let i(s) = -4*j(s) - 5*r(s). Let f be i(-2). Are f and 100 unequal?
True
Let t(z) = -294*z - 235. Let y be t(-1). Do 292/5 and y have different values?
True
Let i be 1*7/7*(1 + 138). Which is smaller: 138 or i?
138
Let m be ((-18)/(-180))/((-6)/4705). Is m bigger than -79?
True
Let f(w) = -2*w + 23. Suppose g + 0 = -2, -4*g - 26 = -2*h. Let z be f(h). Suppose -17*b = -z*b + 36. Which is smaller: b or 4/5?
b
Suppose -79*g = -33*g - 138. Is 1/37 at least as big as g?
False
Let l be 3/((-9*(-2)/108)/(7/(-6))). Let a(v) = -v**3 + 4*v**2 + 3*v - 7. Let i be a(5). Is i smaller than l?
False
Let k be (-46)/87 + (-16)/(-24). Let c = 30/203 + k. Suppose 3*t + 2 = -1. Which is smaller: c or t?
t
Let f = -48942482/37635 + 197234/195. Let m = -289 - f. Suppose 0 = -0*w - 14*w. Is m smaller than w?
True
Let i = 5.415 + -5.515. Which is bigger: i or 0.00827?
0.00827
Let h = -484.329 - -484. Let w = -12.671 + h. Which is smaller: -7 or w?
w
Let w = 576 - 326. Let v = 5971.2 - 5971. Is v less than or equal to w?
True
Suppose -3*y + 4*q + 894 = 0, -3*y - y = q - 1173. Let f be (1568/y)/((-1)/3). Let r = 1 - 0. Is f less than or equal to r?
True
Let a be (-4)/(-26) - (-6613)/26. Let t = a + -250. Suppose -5*u + 12 + 18 = 0. Which is smaller: t or u?
t
Let q be (-17 - 0) + 10288239/611793. Let k be (-1159)/1743 - 2/(-3). Let i = k - q. Which is smaller: i or -1?
-1
Let p = -28814 + 431977/15. Let b = -72/5 - p. Is 2 greater than b?
True
Let c = 320457/14648 - 4/1831. Which is bigger: c or 1/63?
c
Suppose -4*q = 2*u, 4*q = 3*q + 4*u - 18. Let a be 0 + (0 + q - -1). Let o = 38.16508 + -0.16508. Is a > o?
False
Let h = -0.086 - -0.04. Let p = h + 0.017. Let i = -2.029 - p. Which is smaller: 12 or i?
i
Suppose -2*h - 2 = 22. Let k be 173/2 - (-4)/(-8). Suppose -i + k = 96. Which is smaller: i or h?
h
Let g = -13393/5 - -76648129/28615. Are -1 and g equal?
False
Suppose 5*h + 7*h - 11*h = 0. Let t be (-19 - h) + (-2 - -1). Let j be (3*24/t)/((-2)/(-10)). Which is smaller: j or 1/2?
j
Let k = 10.9 - 11.8. Let z = k + 1.1. Which is smaller: 57 or z?
z
Let v = -254299/10 - -25453. Is 22 bigger than v?
False
Suppose 0 = -m + 6*m + 9*m + 154. Is -104/9 bigger than m?
False
Suppose 0*j = 10*j - 4*j - 306. Let g(v) = 24*v + 2. Let u be g(2). Which is smaller: j or u?
u
Suppose -2410 - 402 = -w + 5*a, -8*w = -4*a - 22352. Is w less than or equal to 2792?
True
Let b be 9/(18/(-10))*-1. Suppose 5*c = -b, 4*l - 7*l - 168 = 3*c. Which is smaller: l or -56?
-56
Let s = 2638 + -1766. Are s and 872 unequal?
False
Let c be (2 + -6)/(0 + 1). Suppose -2244 + 44 = -8*o. Let n = 269 - o. Which is bigger: c or n?
c
Let t be 3712/(-87)*(0 + 3/(-2)). Suppose -65 = -q - t. Is -1/369 >= q?
False
Let c(b) = 2*b**2 + 39*b - 534. Let s be c(-38). Which is smaller: -1/2 or s?
-1/2
Suppose 2*f = 15*z - 13*z + 2310, z + 1155 = -f. Do z and -1152 have the same value?
False
Let q be -1*(-112)/(-6)*6. Let d(u) = -127*u**2 - 13334*u - 8. Let v be d(-105). Which is bigger: q or v?
q
Let j = -3911 - -3899. Which is bigger: j or -166?
j
Suppose 5*k = -5*k + 30. Suppose -24 = -k*z - 3*z. Suppose 3*l + l = -z*o + 96, 5*o - 4*l - 84 = 0. Which is bigger: 18 or o?
o
Let p = -13598/11 - -1236. Is -1/107 smaller than p?
False
Let t = -550687 + 12222497967/22195. Is 1 at least t?
True
Let z(p) = -70*p**3 - 2*p + 2. Let k be z(1). Let r = -46 - k. Let x be (-6)/8 - (-9)/r. Which is bigger: x or -3/5?
x
Let y be (-3)/(-4) - 77649/156. Let w = y + 375. Is w < -123?
False
Let z be ((-2)/15)/(10/50)*(-312)/(-104). Let p = 4393/11 + -400. Is p >= z?
True
Let m = -0.3 + 2.3. Let x = -0.025797 + 0.035797. Is x != m?
True
Let l be (-3)/(45/(-55720)) - -4. Let n = -3684 + l. Which is smaller: n or 1?
1
Let n = -1755/8 - -2551/8. Are n and 101 nonequal?
True
Suppose -1521 = 5*w + 1214. Let z = -547 - w. Which is smaller: z or -2/105?
-2/105
Let g(j) = -j**3 + j**2 - j - 1. Let a be g(3). Let h = -2 - a. Suppose 0 = 2*r + h - 0. Which is smaller: r or 2?
r
Let s = -557 + 557. Let a = -34 - -38. Let j be (-3*(-1)/378)/(a/16). Do j and s have the same value?
False
Let b be 3 - 18/(-24)*-8. Let l be 28554/3174 + -6 + b. Is -1 > l?
False
Let t(p) = -2*p**3 - 12*p**2 - 8. Let h be t(-6). Let b be (-2)/h - (-1053)/(-4164). Is 1 at least as big as b?
True
Let k = -1626469874/12305529 - 2/535023. Is k <= 2/3?
True
Let m(b) = -21*b + 251. Let y be m(11). Let k(s) = 7*s - 7. Let x be k(3). Is x at least as big as y?
False
Suppose 0 = 31*u - 24*u + 84. Let d(l) = 2*l**2 - 2*l + 1. Let f be d(1). Let q be (-1911)/(-78)*(-1)/2*f. Which is smaller: q or u?
q
Let t(g) = 42*g - 2143. Let y be t(51). Which is smaller: y or -20/187?
y
Let d = -20 + 19.2. Let n be (152/(-20) - -8) + 3327/20. Let o = n - 166. Is d less than or equal to o?
True
Suppose -17*y = -45*y - 616. Let i be 3*(-18 - y - (-14)/(-6)). Which is smaller: i or 20?
i
Let f(t) = 11*t**3 - 18*t**2 + 5*t. Let l be f(7). Is 2928 at most l?
False
Let y(v) = -5*v**3 + 12*v**2 - 8*v - 3. Let s be y(4). Let x = s - -163. Is -2/51 at least as big as x?
False
Let i = -12 + 12.007. Let t = 0.793 + -0.986. Let u = i - t. Which is bigger: -0.11 or u?
u
Let r be (-6)/(-2)*(-242)/(-6). Suppose -119*d = -r*d + 242. Is 121 != d?
False
Let h = 24051 - 23994. Which is bigger: h or 158?
158
Let v = 2.23361 - 0.23361. Which is greater: v or -7004?
v
Let j = 6 + -4. Let w(t) = t + 9*t - 4*t**j + 3*t**2 - 15 + 5*t. Let k be w(14). Do -1/32 and k have different values?
True
Let c = -156503 - -156502. Let k = -2.488 + 2.4. Which is greater: k or c?
k
Suppose 90 = 54*u - 44*u. Let n(c) be the second derivative of c**3/6 - 37*c**2/2 + 3*c. Let r be n(u). Does r = -29?
False
Suppose -5*o = -3*w - 60, 2*w = 7*w. Let r be o + (-3)/(-6)*-6. Are r and 3 equal?
False
Let a(j) = -7*j + 5. Let b(h) = h**2 - 5*h - 16. Let l be b(7). Let v be a(l). Suppose 3*o - 22 = -v. Is 3/32 smaller than o?
True
Let s be ((-70)/28)/((-15)/36). Which is smaller: -19/46 or s?
-19/46
Let h be 95/(-10) - (-299185)/106. Is 2813 less than h?
False
Let l(o) = -o**3 + 13*o**2 + 29*o - 16. Let n be l(15). Let w = 41 + n. Let j(c) = -3*c**2 + 35*c - 9. Let d be j(w). Which is bigger: 40 or d?
d
Let f be 3 + (-3)/(-8 + 5). Let v be f/(-12)*36/(-222). Is v greater than