 0)/2. Let k = 1136518/25 - 45461. Which is smaller: k or o?
k
Let k be -5 + 6 - (11 + -10). Let j = -3751 + 1031523/275. Do k and j have the same value?
False
Let m = 32 + -35. Let j(o) = o**3 + 2*o**2 - 3*o - 4. Let n be j(3). Let v = n - m. Which is bigger: 36 or v?
36
Let r(c) = -16*c**2 - c - 1085. Let u be r(0). Is u greater than or equal to -1085?
True
Suppose 432*r - 434*r - 4*f = -5824, -r - 3*f = -2910. Which is greater: 2/5 or r?
r
Suppose -3*j = -j + 4, 3*s - 4*j - 11 = 0. Let x = s - 2. Let b be 49/28 + 3/(-3096)*1790. Is x greater than b?
False
Suppose -g = 3*g. Suppose g = -z + 2*z - 7. Let t = 18696 - 18690. Which is greater: z or t?
z
Let a = 31 - 13. Let n be ((-1)/(-3))/((-6)/36). Let c be ((a - 3) + n)*-1. Is -10 bigger than c?
True
Suppose 2*p = -0*p. Let l be ((-434)/69)/(25/1800). Let x = 453 + l. Which is bigger: p or x?
x
Suppose -c + 2*x = -8, -5*x + 2*x = c + 12. Suppose -4*d - 2 - 2 = c. Suppose 5 + 22 = 9*l. Is l bigger than d?
True
Let r = 2.965 - 0.965. Let b(y) = 5*y**3 + 5*y**2 + 4*y. Let v(o) = 6*o**3 + 6*o**2 + 5*o - 1. Let s(n) = -4*b(n) + 3*v(n). Let a be s(-2). Is r at most a?
True
Let p = -584 - -548.7. Let m = p - -27.1. Is 1 less than or equal to m?
False
Let m = -1640 - -80358/49. Is m equal to -0.063?
False
Let z(p) = 3493*p**2 + 24*p + 108. Let x be z(-2). Which is greater: x or 14031?
x
Let w = -199 - -204. Suppose n + 2*b = -4*n + w, -4*b + 21 = -n. Which is smaller: n or -6/55?
n
Let p = 32 + -60. Let c = p - -29. Suppose -3 = 25*u - 22*u. Is u >= c?
False
Let m(s) = -954*s**2 - 11449*s - 16. Let y be m(-12). Let u = 2787 + -30702/11. Is u greater than y?
False
Suppose 18*i = 3*v + 19*i - 8, 0 = -v - 3*i + 8. Let l be 10/90*6/v. Is l less than -43/6?
False
Suppose -3*t + 10 + 215 = 0. Suppose -2*m + 303 - t = 0. Suppose -m = -6*k - 18. Which is smaller: k or 6?
6
Let p = 53763 + -250589344/4661. Which is greater: p or -1?
p
Let n = -92 + 159. Suppose -i = p - 19, -6*i + 2*i + n = p. Suppose 3*j + j = -i, 5*j - 80 = 5*z. Is z greater than -19?
False
Let v(g) = -g**3 + 4*g**2 - g + 5. Let d be v(4). Let w = 28/67 + -298/1675. Which is greater: w or d?
d
Let b be -128 + ((-1798)/(-261) - 2/(-18)). Is b > -116?
False
Let p(s) = 4*s**2 + 27*s - 5. Let b be p(-7). Let g be (-4)/(2 + (-3)/b). Let y be g/(-20) + -41*(-4)/(-110). Is -2 >= y?
False
Let i = -17253 - -707491/41. Which is smaller: 3 or i?
i
Let q(m) = m**2 - 8*m + 39. Let d be q(6). Suppose -4*h = -3*p + 29, 6*p - 4*p + 5*h - d = 0. Let t(c) = c**2 - 13*c + 25. Let x be t(p). Is x at least 3?
True
Let u = -290876/7 - -41426. Which is smaller: -128 or u?
-128
Let j(a) = a**3 + 7*a**2 - 13*a + 36. Let w = -402 - -393. Let c be j(w). Which is smaller: c or -7?
c
Let p = 88993/61349 - -2/1979. Let u = 6013 + -6012. Which is smaller: u or p?
u
Let m = 15991 - 15281. Which is bigger: m or 6398/9?
6398/9
Let w be ((-740)/60 + 13)/(3 + (-2044)/681). Suppose 0 = b + 3*b. Is w less than or equal to b?
True
Let h be 25*66/12*6/15. Let s be -30*((-32)/h + 34/187). Which is smaller: s or 14?
s
Let s = 1994 + -6095. Is -4102 <= s?
True
Let u(t) = 3*t**2 - 49*t + 8. Let a be u(8). Let q = a + 259. Is 67 at most q?
True
Let p = -70679/355701 + -7/2559. Which is bigger: -1 or p?
p
Let p = -6 + 15. Let x be 10/225*(-3 - -132). Let o = 16/3 - x. Which is greater: p or o?
p
Let d be ((-5)/((-125)/45))/(345/(-184)). Is d greater than -1?
True
Suppose -788*r + 23 = -781*r - 82. Which is greater: r or -24?
r
Suppose -2*d + 4*k + k = -57, d - 3*k = 31. Let h be d/(-40) + 2*2/10. Let c = 51/88 + -5/8. Which is smaller: c or h?
c
Suppose 8*c + c = -4*c. Let f be c - (-14)/(-1) - (8 - 10). Is -7 >= f?
True
Let d = 120/43 - 224674/80539. Which is bigger: 0 or d?
d
Let o be 3 + 189/(-177) + -2. Suppose z = -7*w + 10*w + 4, -5*z + 5 = 0. Which is greater: o or w?
o
Let y(f) = -f**2 + 6. Let l be y(-3). Let a(v) = -33*v - 94. Let s be a(l). Which is bigger: 58/9 or s?
58/9
Let y = -3 - -1. Let v = -738.1212 + 0.1212. Let l = v + 740. Is l at least as big as y?
True
Let l = -6865 - -5687. Is -1178 < l?
False
Let j be (1/(-1))/(7*14/(-5978)). Let z be 56 + -53 - j/27. Which is bigger: z or 1?
1
Let n be (3 + (-51)/6 - -3)*(-826)/(-295). Let k be ((-1)/(-28))/(2/2148). Let p = -314/7 + k. Which is smaller: n or p?
n
Let m = 43241/17907 - 113/47. Let n = m + -119/15367. Which is greater: n or 1?
1
Let t(o) = 7*o**2 + 6*o + 46. Let b be t(-5). Suppose -b - 608 = -17*x. Which is smaller: 0.1 or x?
0.1
Let h = 191 - 435. Let s = -243 - h. Which is greater: 14 or s?
14
Let k be 5023850/(-9912) + (-2)/(-21). Is -507 greater than k?
False
Let u(b) = -b. Let k be u(-5). Suppose -h + 7 = -2*s, -k*h + 10 = s - h. Let v(n) = n**3 + 5. Let z be v(s). Which is greater: 1/3 or z?
1/3
Let u = 6254 - 7485. Is 3 at least u?
True
Let m(f) = -8*f - 213. Let n be m(-27). Let v be (4/n)/(((-77)/21)/(-11)). Which is smaller: v or 7/2?
7/2
Let g(p) = -p**2 - 9*p - 14. Let d be g(-7). Suppose 14*r - 10*r - 4 = d. Which is greater: 51 or r?
51
Let w = -99 - -98. Let p = 24.84 + -25. Let n = -0.04 + p. Which is greater: n or w?
n
Let z be (1 - (-1212)/(-36))*-30. Let x(c) = -c - 4. Let o be x(4). Let t be 763/z + 6/o. Is t <= 0?
False
Let p(j) = -7*j + 385. Let a be p(9). Let i = a + -131. Is i > 193?
False
Let o = 7387 - 7412. Let h = -32 + 57. Suppose -5*u = -h, 4*q - 2*u + u + 109 = 0. Is q <= o?
True
Let b be 3 + 15 + -8 - -11. Suppose 0*n - 42 = -2*n. Is n < b?
False
Let q = 222 - 222.44. Let c = 1.56 - q. Is -17 not equal to c?
True
Let t be 120/(-72) - 7*(-6)/9. Let i = 3019778/2821 + -302/403. Let o = i + -1067. Which is greater: t or o?
t
Let t be (10640/(-5700))/(1 - (-17)/(-19)). Is -17 greater than or equal to t?
True
Let p be ((-2)/(-6)*-1 - -1)*9. Suppose 180 = -m + 2*f - 71, -3*f - p = 0. Is m greater than or equal to -256?
True
Let d(w) = -w**3 + 5*w**2 + 6*w + 1. Let i be d(6). Let q be -2*1/8 + (-6)/(-24). Let f be (q - 2786/(-693)) + -4. Which is smaller: f or i?
f
Let i be (-5)/100*50344/(-186). Which is smaller: 15 or i?
i
Let i = -4527 + 7546510/1667. Is i greater than or equal to 1?
False
Let f(q) = 134*q - 347. Let p be f(3). Let y = p + -35. Let b = 7 - -12. Which is smaller: y or b?
b
Let c(a) = -a**2 + 15*a - 11. Let d be c(14). Let g(p) = -32*p + 51. Let h be g(d). Is -45 at most h?
True
Suppose 3*v - 4 = 7*v. Let g(a) be the second derivative of a**5/20 + 2*a**4/3 - a**3/2 + 27*a**2 - 19*a. Let q be g(-9). Which is greater: q or v?
q
Suppose l + 6 = -k, -l - 2*l - 13 = -2*k. Let r be (l/((-1095)/(-6)))/2. Let h = -61 - -61. Is h less than r?
False
Suppose -10 = -4*j + 2*d, -3*d = -3*j - j + 5. Suppose j*l = 23*l - 72. Suppose l*w - 4*a + 6*a = 154, -3*a + 9 = 0. Is 1 at most w?
True
Let u = 6162 + -67776/11. Let w(r) = -r - 7. Let i(v) = -3*v - 20. Let h(o) = -6*i(o) + 17*w(o). Let f be h(3). Is f <= u?
False
Let l = 0.547 - 10.547. Suppose 0 = 5*i - 10. Let g be 3/i*24/126. Which is greater: g or l?
g
Suppose 55*z = 57*z + 12, 1394 = l + 4*z. Is 1415 at least as big as l?
False
Let t = -0.047 + 6.747. Let y = -6.639 + t. Let l = y + -0.061. Do -0.13 and l have the same value?
False
Let z = -621.7 - -622. Is 20.2 greater than z?
True
Suppose -19*k + 9*k - 7*k = -9928. Which is bigger: k or 6414/11?
k
Let x(y) = -3*y - 10. Let b be x(-8). Let u be 272/18 + 5/(-45). Suppose -39 + u = -2*i. Which is smaller: i or b?
i
Let a(u) = -2*u**2 + 16*u + 66. Let o be a(15). Let n = 193 + o. Which is greater: n or -4?
n
Let u = 174.57 - -4.43. Let c = 179.04 - u. Is c smaller than 15?
True
Let v = 1 + -3. Let x be ((-2)/(-10))/(-4*1/184). Let r = 9 + x. Which is smaller: v or r?
v
Suppose -5*d = -0*d, 5*d = -4*i - 1056. Let o be 2/3 - i/(-72). Which is smaller: 0 or o?
o
Let p be 3*(-4)/(-12) + -1. Let u be (p - 93)/(-3) - 0/(-5). Is 0 > u?
False
Suppose -1066 + 288 = 29*o + 1948. Which is bigger: -97 or o?
o
Let b = 70.1 - -1110. Let t = b + -1180. Let h be (-3)/2*-1*4. Which is smaller: t or h?
t
Let p = 471 + -327. Suppose -4*w + 124 - p = 0. Which is smaller: -4 or w?
w
Suppose -5*a - 5*a = -4*a. Let d be (a - 4) + 7584/585. Let n = -22/39 + d. Do n and 8 have different values?
True
Let v be ((-130)/(-35))/((-5)/(-210))*860/28. Which is bigger: v or 4790?
v
Let l = -4/483 - -15