(m) = -1059*m - 6419. Let r be w(-6). Which is bigger: r or f?
f
Let a = -39341/4 - -9754. Are a and -82 equal?
False
Suppose -113 = a - 3*c + 2*c, 545 = -5*a + c. Let x = a - -99. Let o be 3 - ((-131)/x)/((-145)/(-30)). Is 1 > o?
True
Let r be (40/32 + 1)*4. Let g(z) be the second derivative of -z**3/6 + 5*z**2/2 + z. Let a be g(r). Which is bigger: a or -2?
-2
Let a = -7.37 - 47.63. Let l = a - -70. Are 5 and l nonequal?
True
Suppose -2129*g - 13 = -2130*g. Which is smaller: g or 25?
g
Let c = 28563869/681 + -41944. Which is smaller: c or 1?
c
Let o = -2/2207 + 8902/81659. Let f = o + 1/333. Which is smaller: f or 1?
f
Let n be 120/(-16) + 1/2. Let t(u) = 2*u**2 - 41*u + 14. Let x(b) = -b**2 + 17*b - 7. Let r(a) = -2*t(a) - 5*x(a). Let d be r(n). Is 77 less than d?
False
Let n = 0.02957 + 0.97043. Which is bigger: n or -2124?
n
Let y(o) = -6*o**2 + 9*o - 25. Let w be y(5). Let m = w + 70. Which is smaller: -61 or m?
-61
Suppose 0*h + 2*h = 4*q - 14, 0 = 2*q - 6. Let u = -726946/4837 - -1052/7. Which is bigger: h or u?
u
Suppose 0 = 5*l - 23 - 37. Suppose -2*v + 4*v = l. Let b be (2/v)/((-8)/48). Is b != 3?
True
Suppose 3*p - 327*i = -326*i + 22, -5*i - 25 = 2*p. Is -23 < p?
True
Let q be 2/6*82/23821. Let h = 4733/1743 - q. Are 2 and h non-equal?
True
Let l = 2/1629 - 11437/27693. Which is bigger: l or -3/11?
-3/11
Suppose 4*n = 4*p + 13 + 47, -4*p + 57 = 5*n. Let l = 2.96 + -3.2. Let u = l - -1.24. Which is smaller: u or n?
u
Let w = -14 + 13.2. Let q = 0.8 + w. Suppose 3*k - 54 = -174. Is q > k?
True
Let u = 701/14 + -1395/28. Which is greater: u or 0.04004?
u
Let r(l) = 6*l**2 - 9*l + 1. Let t be r(-4). Suppose -t = -12*d + 95. Is d greater than 20?
False
Let n = 44 + -26. Let o be (-2)/(-38) + 341/19. Is o at least n?
True
Suppose -24 = -7*c - 5*c. Suppose -c*r + 17 + 69 = 0. Let a be (-9)/(-1 - (-44)/56). Which is smaller: a or r?
a
Let y = -2955 - -3462. Is 508 at most as big as y?
False
Let a(r) = -4*r + 22. Let d be a(6). Let s be 6 + (-8 - -4) + d. Suppose -o + s = -8. Which is smaller: o or 3?
3
Suppose -280600 = -212*a - 32*a. Are a and 1144 unequal?
True
Suppose -71*f - 4*c - 88352 = -75*f, 4*f = 5*c + 88347. Is 22094 at most as big as f?
False
Let k be (0 + -2)/(12/24). Let p = 3286 + -13141/4. Which is bigger: p or k?
p
Suppose l + 2*q + 14 = -4*l, -q = -4*l - 6. Let a(n) = n**3 + 6*n**2 + 6*n. Let o be a(-7). Let b be (20/(-6))/(o/(-21)). Which is greater: b or l?
b
Let r be 0 + (-4*2/(-4) - (-8442)/28). Is r at most as big as 304?
True
Let g be -2 + 4/(-2) + -57. Let y(c) be the second derivative of -c**4/4 - 7*c**3/6 + 2*c**2 + 7*c. Let r be y(-6). Is r less than or equal to g?
True
Let i = 29 - -76. Let g be (i/(-16))/(5 + (-152)/32). Are g and -27 equal?
False
Let w = -497360 - -460057948/925. Let u = 32/11 + -1096/407. Let q = u + w. Is q less than 0?
False
Let p(v) = 54*v**3 - 1. Let o be p(-1). Suppose 133*q + 9757 = 2708. Is o not equal to q?
True
Suppose 0 = g - 8*g - 7. Let m = 6170/7 - 4522596/5131. Is g < m?
True
Let y = -3.455 - 19.535. Let d = 24 + y. Is 2/3 greater than or equal to d?
False
Let s = -21.245 - -7.845. Is s greater than -2/39?
False
Let z(a) = 28*a**2 + 714*a + 5034. Let k be z(-7). Which is smaller: 5637/4 or k?
k
Let z be 731360/(-1340746) + (-612)/(-1122). Is 1 <= z?
False
Let a = -42.22 + 42.62. Which is bigger: a or 244?
244
Let d = 94 - 249. Let f = -158 - d. Which is smaller: f or -51?
-51
Let h be (165/39 - 4)/((-1299)/(-3)). Is h at least as big as 1?
False
Let d(g) = g**3 + 12*g**2 + 9*g + 26. Suppose -5*z - 64 = -3*y, -63 = 5*z - 2*y - 2. Let l be d(z). Is l bigger than -2/7?
True
Let m be (-15)/8 - (4 - (-31)/(-8)). Let r be (-2 - -1) + (-25 - m/2). Let b be (-10)/((-6)/15*-1). Is r at most as big as b?
True
Suppose -5*o - 25 = -5*y, 0*y + 3*y + o - 15 = 0. Suppose 3*t + 1 = i, y*i + 17*t - 16*t = 21. Which is greater: i or -1/2?
i
Suppose 4*s = 2*g - 4 + 22, -5*s - 4*g + 16 = 0. Let r be (-8 + 8)/(-1 + 2). Suppose r = 2*j - s*o - 20, -25 = 2*j + 2*o + 3*o. Which is bigger: -2 or j?
j
Let y = -11.838 - -7.07. Let b = y + -0.232. Which is bigger: b or 0.3?
0.3
Let o(l) = -2*l**3 + 18*l - 127 + l**3 + 114 - 62*l + 31*l**2 - 64. Let p be o(30). Which is smaller: -498 or p?
-498
Suppose -285 = -24*w + 4131. Are w and 153 nonequal?
True
Let n = -547 + 256. Let d be 1 + 19*15/n. Let s = 58929.9 + -58930. Which is greater: s or d?
d
Let g = -51998 - -8059828/155. Which is greater: g or 1?
1
Suppose 0 = -3*j + 5601 - 17805. Let w be (-2 - j/56)*-4. Let z = w - -283. Which is bigger: -1 or z?
z
Let u be ((-84)/(-7693))/(98/343). Let f be 2 - ((-1 - 1) + 4). Which is smaller: f or u?
f
Let o = -0.9244 + 0.3474. Which is smaller: -5/7 or o?
-5/7
Let b = 291 - 184. Let x(o) = -o**2 + 34*o - 61. Let q be x(28). Let s be 8*(-6)/(-48) + q. Is b less than or equal to s?
True
Let g(i) = -6*i**3 + 2*i + 2. Let l be g(-1). Suppose l*f + 2 = 4*f. Which is greater: 7/58 or f?
7/58
Suppose 4*f = 7*f. Let u(r) = -r + 2. Let b be u(5). Let x be -2 + 1 - (b + 1680/846). Is f at least as big as x?
False
Let k = -2/4977 - 13393097/24885. Let d = k - -550. Let t be (504/294)/(1/7). Is t bigger than d?
True
Let k(y) = -y**2 - 15*y - 29. Let w be k(-11). Let o be 50/w*(-3 - (-189)/15). Does 7 = o?
False
Let q = 7 - -1. Suppose -q*r = -5*r. Suppose -15 = -r*h + 3*h. Which is bigger: -1/5 or h?
-1/5
Suppose -2*t = -2*g - 2788, -10409 + 3376 = -5*t - 2*g. Which is bigger: t or 1397?
t
Let v = -2984 + 2986. Let c = -1.08 - 0.22. Which is smaller: v or c?
c
Let l = 244.86 + -249. Let o = l + 3.94. Which is smaller: 3/7 or o?
o
Let i be (((-319)/(-2813))/11)/(7/2). Let f(v) = v**3 + 4*v**2 + v + 5. Let c be f(-4). Is i greater than or equal to c?
False
Suppose -106*g + 9548 = 34*g - 16*g. Is g bigger than 605/8?
True
Suppose 0 = -156*n - 104*n. Are n and -3/5246 unequal?
True
Let f(b) = b**3 - b - 9. Let m be f(0). Let c be 11/(-22)*1490/45 + 9. Is m at least c?
False
Let w = 4033/120 - 836/15. Do w and -2/5 have the same value?
False
Suppose 55 = -4*x + 5*h - 46, 91 = -4*x + 3*h. Let f(r) = 28*r + 159. Let b be f(x). Which is smaller: b or -372?
b
Let h be (-4)/26 + (-3465)/(-27846). Let w(n) = n + 4. Let y be w(-7). Let d = 2 + y. Which is smaller: d or h?
d
Let y be 48/9 + 1 + (-3)/9. Let c(r) = -14*r + 85. Let p be c(y). Is p >= 2/29?
True
Let j(t) = t**2 + 5*t - 5. Let c be j(-6). Let b = 382 + -28265/74. Is b at least c?
False
Let h(g) be the second derivative of -g**4/12 + g**3/2 + 7*g**2/2 + 3*g. Let j be h(4). Let w = j + -7/2. Is 4 equal to w?
False
Let g = 23922 - 23926. Which is bigger: -346/89 or g?
-346/89
Let r be ((6/534)/((-24)/(-6)))/1. Let m = 200/89 + r. Which is bigger: 2 or m?
m
Let x = 39.2 + -38. Let p = x - -18.8. Let z = p - 27. Which is smaller: -0.4 or z?
z
Let v(z) = 45*z - 2115. Let y be v(47). Let l be (4/(-152))/((-1)/(-4)). Which is greater: y or l?
y
Let t = 2545 - 3995. Is -1452 < t?
True
Let t(f) = -3*f + 8. Let h(y) = -y - 1. Let q be h(-6). Let m be t(q). Let u = -1120 + 1113. Is m less than u?
False
Let i = 4735 + -5216. Is -0.2 greater than or equal to i?
True
Let g = 17 + -1086. Let h = 82311/77 + g. Is h equal to -1?
False
Let v = -44/3255 + 330089/24659880. Which is bigger: 0 or v?
0
Suppose -8 = 2*t, -24*x - 2*t = -20*x + 1944. Is x greater than -482?
False
Let s = 30163201 - 3770423989/125. Let p = -479176/1125 - s. Let i = p + 235. Is 1 <= i?
False
Let s be ((-558)/(-124) + (-2)/4)*(0 - 1). Which is bigger: s or -1.14?
-1.14
Let j = -8 + 7.97. Let a = -135.36 - -135.5. Let t = j - a. Which is smaller: 2 or t?
t
Let y = -13 - -12.4. Let w = 65.4 - y. Let p = 65.8 - w. Which is greater: p or 16?
16
Let l(i) = i**2 + 17*i - 308. Let y be l(11). Which is bigger: -3/196 or y?
y
Let g be 4/(226628/(-176491)) - (-24 - -21). Let l = -2/1069 - g. Is l greater than -1?
True
Let q be -1*3 + (-1)/((-4)/12). Suppose q = 5*f + 4*i - 22, -2*f - f + 21 = 5*i. Let w be 10/(-4) + f/(-4). Is -5 at least w?
False
Suppose -h = -15 + 101. Let x = h + 150. Suppose -o + 81 = x. Which is greater: o or 0.1?
o
Suppose -4110 = 856*w - 826*w. Is -142 at most as big as w?
True
Let r = -27 + 27.32. Let z = r + 0.21. Let j = 0.63 - z. Which is smaller: j or -0.3?
-0.3
Let j be ((-792)/(-352))/(1/360). I