ich is greater: f or m?
f
Let o = -319 - -93. Let t = o - -220. Which is smaller: t or 2/3?
t
Let r be (-6264)/(-928) + 1/(8/(-6)). Suppose 6*q - 34 + 232 = 0. Which is bigger: r or q?
r
Let v be 1/2 - (-3)/(-6). Suppose v = -7*m - 685 + 90. Is -82 at most m?
False
Let p = -1753 - -976. Let c be p/(-27) - -5 - (-2)/9. Let s = 28 - c. Which is smaller: s or -10?
-10
Suppose 25*b + 24*b = 84*b - 2555. Suppose -4*t = -158 - 134. Is b at most as big as t?
True
Suppose -80*d + 188*d - 30456 = 0. Which is greater: d or 284?
284
Let y = -1477 - 2461. Which is smaller: y or -1/2?
y
Suppose -20*z = -131 - 229. Let p be 5 - 12 - -2 - z. Is p less than -23?
False
Let c(j) = 12*j**2 - 349*j - 32. Let p be c(28). Which is smaller: 9 or p?
p
Suppose 5*i - 5*c = 90, 4*i + 0*c - 74 = 5*c. Let y be 36/(-286) + i/(-88). Let v = 996/7 + -3977/28. Is y >= v?
False
Suppose -6*u = 220 - 1288. Let l = u + -26. Which is smaller: l or 151?
151
Suppose 8 = -2*r - 4. Let z be 12*(-3)/(-6)*(-15)/r. Let q be 22/z*15/18 - 1. Is -4 at least q?
False
Let i(j) = -449*j - 1271. Let x be i(-33). Which is smaller: x or 13547?
x
Let l(f) = -5038*f - 25161. Let y be l(-5). Let r(o) = o**2 + 6. Let g be r(-5). Which is smaller: g or y?
y
Let w = -5515 - -82663/15. Let s = w + 49/5. Which is smaller: 6 or s?
s
Suppose 11*j + 67 = 78. Let u be (-6)/(-15) - 144/310. Which is smaller: j or u?
u
Let z be (-10)/3*(12/(-10) + 0). Suppose -2*t - 17 = w, -5*w + 28 = -z*t - w. Let p be -2 - (-11 - t/4). Are p and 5 equal?
False
Suppose 0 = 2*b + 7 - 11. Let v = -2/12287 - -74276/3403499. Let r = v + 5221/1939. Which is bigger: r or b?
r
Let l be (76 - 2/(4/6))/(38/(-114)). Is l at least -226?
True
Let p(c) = -1046*c + 5067. Let v be p(6). Is v equal to -1204?
False
Let y be (11 + -5)*4/3. Suppose 29*g = 37*g + y. Which is smaller: g or -2/47?
g
Suppose 3*s + 44 = -5*i, 4*s + 5*i + 82 = 30. Let y be (-2)/s*-29 - 9/(-36). Does y = -2/9?
False
Let h(y) = -6*y**2 - 7*y + 1. Let d(q) = -5*q**2 - 6*q + 1. Let w = -6 - -10. Let m(g) = w*h(g) - 5*d(g). Let a be m(-2). Which is greater: 62 or a?
62
Let u = 225.0459 - 0.0459. Let l = u + -243. Is l not equal to 6?
True
Suppose 0 = -d + 4*m - 310, -4*d - m - 707 = 618. Let l = d - -354. Is 118/5 <= l?
True
Let f = 0.2 - 0.4. Let a = 13141.8 - 13129. Is f < a?
True
Let c = 8435 - 8432. Which is bigger: 0.1259 or c?
c
Suppose 0 = -118*y + 6 - 124. Which is greater: -6/2911 or y?
-6/2911
Let j = -3.046 - -2.8. Let f = 0.146 + j. Is f greater than 104?
False
Let j = 34463/5 - 6895. Let t(d) be the second derivative of -d**5/20 + d**4/2 - d**3/3 + 9*d**2/2 + d. Let k be t(6). Which is greater: k or j?
j
Let s(z) = -2*z**3 + 4*z**2 + 2*z - 2. Let h be s(2). Suppose 29 = -h*l + 1. Let m be 2 - (2/4)/(l/(-28)). Which is bigger: m or 6/29?
m
Let w = 44.9389 + -45. Let b = 0.0911 + w. Is -45 less than b?
True
Let b = 2 - 2. Suppose b = -0*d + 2*d - 50. Suppose 2*t = -w - 30, 3*w = -3*t + 2*t - d. Which is smaller: -0.1 or t?
t
Let y = -2.26 - -0.26. Let z be (-120)/48*(-48)/10. Let o(b) = -b**2 + 11*b - 9. Let t be o(z). Is t greater than y?
False
Let d(j) = -183*j**2 + 81*j - 240. Let x be d(3). Which is bigger: x or -1643?
-1643
Let m be 9/30 + -12 + 12. Suppose w - 3*t = 2*w - 2, 2*w + 4*t = 4. Suppose -2*s = 3*a - 0*a - 15, 3*a - 15 = w*s. Which is greater: s or m?
m
Let h = -316 + 318. Suppose 0 = -5*j - x + 2*x - 151, 4*j + 122 = h*x. Which is smaller: j or -29?
j
Let a(i) = 2*i**3 + i + 1. Let p be a(0). Which is smaller: p or -2/2991?
-2/2991
Suppose -2*m - d + 1 + 9 = 0, -4*m + d + 8 = 0. Let v(r) = -2*r + 9. Let l(g) = -1. Let n(h) = m*l(h) + v(h). Let f be n(4). Are f and 2/3 nonequal?
True
Let b(p) = -16*p**2 + 3*p - 7. Let c be b(8). Let l = c - -7022/7. Let n(z) = 5*z**3 - z**2 - 3*z - 2. Let r be n(-1). Is l < r?
False
Suppose 770 = 110*w + 770. Which is smaller: -1/9517 or w?
-1/9517
Let h be 7/(7/(-2)) + (-6)/(-1). Let u be (8 - 7)*h/(-170). Suppose 8*n - 13 = -5. Which is greater: u or n?
n
Let b(y) = -3*y**2 + y**3 + 4 + 16*y - 4*y**2 - 11*y. Let f be b(7). Suppose 4*w - f = 5*w. Is -39 >= w?
True
Let b(t) = t**2 + 2*t - 3. Let n be b(-3). Let o be (n - (-356)/(-30)) + (-38)/285. Is -15 less than o?
True
Let q = -1280 - -1196. Let t = -134/3 + 45. Is t greater than q?
True
Let p be ((-12)/(-60))/(18/(-30)). Let u = 1.33 - 1.3. Let j = u - -0.47. Which is greater: j or p?
j
Suppose 4*d + 456 = -5*p, -448 = 4*d - p + 4*p. Let x = d - 10. Let w be 1 + (-6)/18 - x/(-192). Which is greater: w or -1?
w
Let s(q) = 337*q + 159. Let o be s(-9). Let b be -6 + o/(-239) + -1 + -5. Which is greater: b or 1?
1
Let y be ((-27)/4)/((-26)/2704). Suppose -3*g + 6*g + y = 0. Let n be (g/(-27))/(1*3/(-9)). Is -26 at most as big as n?
True
Suppose 46*f + 380804 = 378*f. Are f and 10310/9 equal?
False
Let m = 8280 + -8064. Is m greater than 211?
True
Let l = -2.6079 + -0.3921. Which is smaller: 8/55 or l?
l
Let w(t) = 8*t - 8. Let j be 26*((-1)/(-2) + 0). Let y be w(j). Let v = y + -68. Which is bigger: v or 0?
v
Let w(p) = -33*p + 53*p**2 + 2*p**3 + 44*p**2 - 109*p**2. Let j be w(8). Let f = -9 - 0. Which is smaller: j or f?
f
Suppose 7*d + 200 = 9*d. Suppose -23*w = -28*w + d. Is w at least as big as 22?
False
Let t = 445 - 434.65. Let k = t + 1.45. Let h = k + -11.804. Which is bigger: h or -0.1?
h
Let x = -188 + 192. Let w be (-216)/(-52) - x - (-75)/(-65). Which is greater: -5/71 or w?
-5/71
Suppose 0*v + 3*v = 5*q - 2, 2*v + 6 = q. Let z(k) = 3*k + 65. Let y be z(-17). Let n(s) = s - 13. Let p be n(y). Is q less than or equal to p?
True
Let v(o) = o**3 - 90*o**2 - 286*o + 669. Let n be v(93). Let p be (-6)/4*(-544)/12. Suppose -4*w + 0 = -p. Is w > n?
False
Suppose -x - 3*w = -11102, -55630 = -0*x - 5*x + 5*w. Is x at most as big as 11120?
True
Let p = -8518 + 42733/5. Let u = 36 - 8. Which is greater: u or p?
p
Let c = -117 + 117.55. Let s = c + -3. Let q = 2.4 + s. Which is greater: q or 0.04?
0.04
Let r(v) = 1083*v - 11668. Let a be r(11). Which is smaller: a or 241?
241
Suppose -5*o + 110 = -100. Let v be 2068/220*-5 - -42. Is v smaller than o?
True
Suppose 6*o - 30 = 5*i + o, -4*i - 2*o - 24 = 0. Let a = -42 - -39. Let q be -13 + ((-3)/a)/((-3)/i). Is -12 greater than q?
False
Let r = -2183 - 5179. Is -7363 less than or equal to r?
True
Let d(m) = 52*m**2 + 7*m + 12. Let h be d(5). Let i = -6769/5 + h. Let c = 1.3 - 2.3. Which is smaller: i or c?
i
Suppose 449*o = 447*o - q + 2, -3*q = -6. Are o and -2/8695 equal?
False
Let j = -858 + 857. Is -2535 bigger than j?
False
Let s be 43/((-9546)/185) - (-26081)/(-30). Which is smaller: s or -2/3?
s
Let a be 45152/(-4420) - 1*-10. Which is bigger: 0 or a?
0
Suppose -19*m + 7 = -x - 22*m, -2*m = 2*x + 6. Let z be x*(3 + 1 - (5 - 2)). Which is smaller: -1/228 or z?
z
Let t = -25 - 14. Let f = -18 - t. Which is greater: f or -0.05?
f
Let p be (-52)/(-91)*(-1)/(2/61). Which is bigger: 2 or p?
2
Suppose -4*z = 4*a - 276, -11 + 1 = -5*a. Suppose 4*l = 2*i - 30 - 4, 3*i = -2*l + z. Is i != 21?
False
Suppose -27384 = -812*n + 815*n. Is n greater than -9129?
True
Let v = -1935 - -1936. Let j be (-22)/2 + 1/v. Let h be ((-6)/(-3))/((-2)/4). Does j = h?
False
Suppose 4 = 4*a + 8. Let j be ((-2)/(a + 7))/(2/6). Let q(o) = -o**3 + o**2 + 3*o + 2. Let z be q(j). Is z greater than -1?
True
Let i(k) = 26*k**3 - 15*k**2 + 3*k - 4. Let s be i(4). Suppose -283 = -35*m + s. Let z = -111 + 160. Is m at most as big as z?
True
Suppose 157*v - 576 = 163*v. Let w be (1 + 5/4)/((-9)/v). Is w not equal to 12?
True
Let r = -3554563/13 + 436311025/1599. Let a = r + 563. Let s be 2 - 4*1/2. Is a bigger than s?
True
Let z = 129 + -125. Let f be z/(-8) - (-15)/102. Which is smaller: -1 or f?
-1
Suppose -185 = 47*a - 579 + 206. Are a and 60/19 unequal?
True
Let l = -20 + 116. Let o = l + -96. Which is smaller: 0.2 or o?
o
Let a = -359 - -356. Let n be (-96)/a*(-2 - (0 + -3)). Is -2 greater than or equal to n?
False
Let o = -144.9 - 11.1. Let z = 155.3 + o. Is z less than or equal to -3/8?
True
Let s be (-9246)/14 + (-45)/(-9) - 0. Let c = s + 655. Which is bigger: 3 or c?
3
Let j be ((-1)/((-6)/4))/(77240/(-7725) - -10). Which is smaller: 514 or j?
514
Let f = 5232 - 5192. Which is smaller: f or -1.2?
-1.2
Let f(x) be the third derivative