7/2 or m?
-437/2
Let a be 4/6 + (-604)/366. Suppose 41*h - 36*h - 2*p = -26, -4*h + 52 = 4*p. Which is greater: h or a?
h
Let k be 114/18 + 28/(-12). Suppose -4*p + k = -2*p + 4*a, -4*a = 5*p - 10. Which is bigger: 23/13 or p?
p
Let m(g) = g**3 + 8*g**2 - 4*g + 50. Let n be m(-10). Let p be ((-11)/(n/(-8)))/(4/(-10)). Is p less than 54?
True
Let l(m) = 154*m + 1149. Let t be l(-6). Is 2907/13 at least t?
False
Let g = 0.08267 + -0.28267. Which is greater: 1192 or g?
1192
Let v = -942 + 928. Is -137/10 greater than or equal to v?
True
Suppose -145 = -2*y - 5*h, 11*y + h + 115 = 13*y. Let c be y/100*12/(2 + 1). Are 2 and c unequal?
True
Let b = -36350 - -36343. Let r(j) = 1. Let f(i) = -i**3 + 4*i**2 - 2*i - 3. Let o(s) = f(s) + 3*r(s). Let n be o(4). Which is smaller: b or n?
n
Suppose 4*t + 388 = 2*t. Let o be 1358/42*(8/18 + 290/(-45)). Is o bigger than t?
False
Let i = -611 - -610. Let f be (-4)/(-2*166/(-12)). Which is smaller: f or i?
i
Let c = -14.3 - -0.3. Let l = 27.4 + -34. Let w = l + 6.6. Is w at most c?
False
Let o be 2/12 + 4/(-24). Let g = 29.331 - 2.331. Which is greater: o or g?
g
Suppose 2*c = -t + 5*c + 15, -9 = 3*c. Let m = 2.753 + -0.053. Let s = m + -3. Which is bigger: s or t?
t
Let p = 6 + -6.2. Let c = -33279 - -33332. Is c at least as big as p?
True
Let m(q) = -9*q - 50. Let p be m(10). Let g = p - -2338/17. Which is bigger: -1 or g?
-1
Let d(y) = y**2 + 4*y + 5. Let m be d(4). Suppose 5*o = -m - 103. Let n be ((-29)/(-2))/(3/(-6)). Which is smaller: o or n?
n
Let o(r) be the third derivative of -r**4/8 + 2*r**3/3 - 23*r**2. Let h be o(-3). Let i = -12 + h. Which is smaller: 14 or i?
i
Let z be ((-116)/(-2))/((-1)/1). Let s = -2281 - -2338. Let k = s + z. Which is greater: -3 or k?
k
Let s(r) = 2*r**3 + 2*r**2 - 2*r - 2. Suppose -802*u - 2 = -803*u. Let k be s(u). Which is smaller: -2 or k?
-2
Let t = 1540 + -10826/7. Let f be (-2)/(-4) + 30/(-4). Are f and t unequal?
True
Suppose -8*z = -68 - 4. Let b be (2/4 - (-23)/46)*z. Let h be (110/(-25))/((-4)/10). Which is smaller: b or h?
b
Let y = 38.4 + -273.4. Let g = -243 - y. Is g not equal to 0.08?
True
Let h be (-6)/(-4)*12/18. Let y be (27/18)/(1 - 529/4). Is h < y?
False
Let w(y) = -27*y + 1265. Let x be w(43). Is x greater than -3/4?
True
Let d(f) = 2*f**3 - 5*f + 3. Let c be d(1). Suppose c = -22*s - 12 - 54. Is 1 bigger than s?
True
Let s = 36/143 + -1110/1001. Is s > 64/3?
False
Suppose -830 - 136 = 23*c. Let n be (2/(-5))/(c/(-15) - 2). Is 52 <= n?
False
Let t(z) = -1 - z + 3*z + z**2 + 2*z + 0*z. Let i be t(-5). Suppose -a - 23 = -5*x, -a = -i*x - 0 + 18. Which is greater: 3/2 or a?
a
Let i = -0.9 - -0.872. Let h = 43002 + -215008/5. Which is smaller: i or h?
i
Suppose -1 = -3*l - 3*n + 2, 2*n + 5 = 5*l. Let y be 3/2*8/(-366). Let d = y - 45/488. Which is bigger: l or d?
l
Let y = -397 - -420. Suppose -y*p - 25*p = -49*p. Are p and 2/987 unequal?
True
Let c be 2/25 - (-2923484)/6450. Let k = 454 - c. Which is smaller: 0 or k?
0
Let r = 257 + -255. Suppose r = 7*d - 26. Do -57 and d have the same value?
False
Let s = -301 + 429. Let b be s/125 + -2 + 1. Is b less than -1?
False
Suppose -5*t + 19 = -4*n - 228, -4*n + 4*t = 252. Let d be ((-130)/n - -1) + -5 + 3. Let f = d - -335/136. Is f < 2?
False
Suppose 33 = 14*q - 51. Suppose z + 25 = q*z. Let u = z + -21. Which is smaller: -17 or u?
-17
Suppose 4*r - 9*r + 3*i + 21 = 0, -5*i = 5*r - 45. Which is bigger: 16/9 or r?
r
Let o be (-3 - -317)/(-107 + 1) - -3. Let g be 4 + (1 + -3 - 3). Which is bigger: o or g?
o
Let i(m) = -10*m - 6. Let b be i(-2). Suppose q = 20 - b. Let n be (1 - 10/q)/((-4)/44). Is 8 less than n?
False
Let k(y) = y**2 - y - 2. Let b = 19 + -19. Let t be k(b). Suppose -2*q - 4 = 21*f - 18*f, -4*q + 8 = -2*f. Is t at most as big as f?
True
Let b be 3*28/(-462) + 84472/464354. Is b not equal to 1?
True
Let o = 5654 + -5655. Which is smaller: -17/28 or o?
o
Let j = 93 - 102. Let z be (-205)/(-1) + (6 - 33)/j. Is z > 208?
False
Let r(q) = 2*q**3 - 4*q**2 + 57*q - 76. Let k be r(7). Is k bigger than 812?
True
Let p be 1/7 - (-697)/119. Let k be p + -23 + (-2)/2. Are k and -18 non-equal?
False
Let s be 25/(25/(-26)) + 28. Is 70/121 greater than or equal to s?
False
Let d = 654 - 991. Let q = 276 + d. Which is smaller: 0.6 or q?
q
Let b = 829 - 1309. Let y = b - -480.033. Which is smaller: y or 0.4?
y
Let c be (-217)/4 - (-44)/176. Suppose -3*d = -4*b - 12, 2*b - 5*d + 20 = b. Is c less than b?
True
Let r = 212.6 - 212.3. Which is bigger: r or 0.213?
r
Let v be (-5)/(-3) + 6992/(-3864). Which is smaller: v or -20?
-20
Let u(k) = 4*k - 7. Let p be u(6). Let d(z) = z**3 - 5*z**2 - 6*z + 4. Let r be d(8). Let b = 165 - r. Does b = p?
True
Let x(f) = 6*f + 2. Let w be x(-11). Let v be (-15512)/w + 2/(-1). Let t = 241 - v. Is 1 less than or equal to t?
False
Let l = -0.0475282 + 22.0218282. Let r = l - -0.0257. Which is greater: -1/3 or r?
r
Let s = -0.17213 + 0.04693. Which is bigger: s or 1/5?
1/5
Let r = -543879 - -4357487/8. Let o = 806 - r. Let c(v) = v**3 + 3*v**2 - 2. Let p be c(-3). Is p less than or equal to o?
True
Suppose -5*m - 270 = 70. Which is smaller: m or -51?
m
Let z = -78543/95 - -15720/19. Let o(b) = -9*b**2 + 2*b - 1. Let v be o(2). Which is greater: z or v?
z
Let i(l) = -l**3 - 6*l**2 + 17*l + 57. Let h be i(-9). Let f be 15/7 - 21/h. Is 2/31 equal to f?
False
Suppose -163 = -3*s - 172, -s = -5*q - 12. Let b = 5 - 0. Let n be b/10 - 31/10. Which is bigger: n or q?
n
Let d be ((-4)/2400)/((-23312)/94860 - (-4)/18). Are d and -1 equal?
False
Let a be 1*(-6)/(-33) - (-2160)/(-12364). Let g be (-10 + (-451)/(-44))*-4. Is g not equal to a?
True
Suppose 4*j + 2*v = 6*v + 176, -3*j + v + 128 = 0. Let o(y) = -y**3 + 43*y**2 - 42*y - 11. Let s be o(j). Which is bigger: 3/8 or s?
3/8
Let l be 12203*3/(-9) - (-7 + 2). Let s = l + 4018. Which is bigger: s or -44?
-44
Let f(h) = 814*h**2 - 806*h**2 - 9*h + 1 + h**3 + 0*h**3. Let l be f(-9). Let y be ((-4)/76*l)/(-1). Is 0 greater than or equal to y?
False
Let k(t) = 5*t + 1. Let u be k(-2). Let r be 47 + 307 - (-6 + 0). Let m = r - 370. Is u > m?
True
Suppose -20*b + 11*b = -135. Let w(v) = -v**3 + 17*v**2 - 32*v + 29. Let x be w(b). Which is greater: -2/2251 or x?
-2/2251
Suppose -2*m = -7*m. Let r = -292 + 282. Let o be 0 + 1 + ((-50)/r - -18). Is m smaller than o?
True
Let j = -67 + 72. Let d(l) be the first derivative of -l**4/4 - 4*l**3 + 7*l**2 + 17*l - 4. Let h be d(-13). Which is smaller: h or j?
h
Suppose 1555*b = 1554*b + 4*j + 757, 0 = -b - 5*j + 757. Which is smaller: 759 or b?
b
Let r = -20.479 + 20.3. Let a = -12.621 + r. Is -1/4 greater than a?
True
Let p(g) = -10*g**2 - g. Let f be p(-1). Let n = -69 + 67. Let o be 24/(-6) - (-10)/n. Is f >= o?
True
Let r be 425/(-17) - 8788/(-351). Let w(u) = -u**2 - 6*u - 5. Let v be w(-5). Which is greater: r or v?
r
Let h = 1.4731 + 183.5269. Let q = -77/18 + 9/2. Which is bigger: q or h?
h
Let y = 1468 + -1468.961. Let k = 1 + y. Which is bigger: 0 or k?
k
Let l(o) = o**3 - 5*o**2 - 14*o + 9. Let a be l(7). Suppose -4*c + a = 5. Suppose -8*r + 9*r = -c. Is r != -2/115?
True
Suppose 56*b = 62*b + 24. Let j(d) = -d**3 - 2*d**2 + 9*d. Let o be j(b). Is -32/11 equal to o?
False
Let y = 174690/180989 + 2/6241. Let s = -4850/203 - y. Let i = s + 2248/91. Is 0 >= i?
True
Let i = 119 - 114. Suppose -8*g + i*z = -4*g + 7, -2*g + 4*z = -4. Which is greater: g or -54/7?
-54/7
Let f(m) = m**2 + 4*m + 3. Let v be f(-2). Let k(c) = 3*c + 6. Let h be k(-3). Let r be 10/h*120/320. Which is greater: r or v?
v
Suppose 0 = -3*q - 11 + 23. Suppose 3*c - 9 = q*y - y, 4*c = y + 12. Which is greater: c or -0.9?
c
Let l = 3050088/13 - 234490. Let w = l - 132. Which is bigger: 0.12 or w?
w
Let u = -12677 + 12493. Which is bigger: -6 or u?
-6
Let q = 32.5 - -21.7. Let z = q + -70.2. Is -13 at least z?
True
Suppose 0 = 3*x - 3*d - 18, 11 = -2*x + 5*d + 29. Suppose 0 = 4*l + 2*z + 6, -z - 4 + 1 = x*l. Which is greater: l or -1/439?
l
Let a be (-156)/(-180)*(2 - -1). Let g = 51/10 - a. Let q = 6 - 3. Is q greater than g?
True
Let h = 13609 + -67308/5. Which is bigger: h or 146?
h
Let u = 21.47 - 21.5. Let d = 337 + -371. Which is greater: u or d?
u
Let x(b) = 7*b**2 - 2*b + 28. Let o be x(-7). Suppose o*q = 381*q. Wh