9. Which is smaller: m or f?
f
Let r be (15/(-15))/(2/11). Let v = r + 29/6. Suppose o + 5*s + 6 = -0*o, -1 = -4*o + 5*s. Which is smaller: o or v?
o
Let q be ((-3)/5)/(318/(-15)). Suppose 3 = 3*d - 0. Is d smaller than q?
False
Let o = -30 + 30. Suppose 16*m + 0 - 112 = o. Which is smaller: 6 or m?
6
Let f = 317/12 + -128/3. Let z = 447/28 + f. Is z smaller than 0.05?
True
Let r be 2 - -1 - 60/4. Let f be (2 - r) + 3*-1. Suppose -5*q = 4*y - 6, -f = 3*y - 4*q - 0*q. Which is smaller: y or -2/51?
y
Suppose 3*q + 3 = -0. Let s(k) = -k**2 - 9*k - 3. Let u be s(-9). Let d be (0 - 0) + (u - 3). Which is bigger: q or d?
q
Suppose -35*u = -6 - 29. Which is smaller: u or 1/199?
1/199
Let i = 11 + -68/7. Which is bigger: 0 or i?
i
Let k = 2140 + -1477. Which is greater: k or 662?
k
Let a be 12/10*10/4. Suppose -3*l = -0*l - 33. Let f = -10 + l. Is f > a?
False
Let c = 806 + -5666/7. Suppose 6551 = 2*a + 6559. Is c at most a?
False
Let q = -2076 - -10457/5. Is 15 > q?
False
Let c be ((-4)/(-14))/(2/14). Suppose -c*y = -2*b - 14, -5*y + 2*b + 21 = -2. Suppose 0 = y*g - 1 - 11. Which is smaller: g or 3?
3
Let f be -27 + 1*-1*(-7 - -11). Is -31 less than f?
False
Let l(u) = 33*u. Let b be l(1). Suppose -10*v = b + 27. Which is greater: -13/2 or v?
v
Suppose 14 = -5*o + 9. Let v be (0 + -2)*(-9)/6. Let z(l) = -l**3 + 3*l**2 - 2*l + 4. Let a be z(v). Are o and a equal?
False
Let j = -7.67 - -11.07. Do j and 3 have the same value?
False
Let z = 5 - 9. Let l be 22/44*z/58. Which is greater: l or 1?
1
Suppose 4*b - 44 = 5*l, -5*b - 8*l + 4*l = -96. Let u = -17 + b. Let p = 19/21 - 4/7. Which is greater: p or u?
p
Let u(i) = i**3 - 9*i**2 + i - 10. Let a be u(8). Let q = a - -66. Which is smaller: q or 1/49?
q
Suppose 258 = -5*o + 28. Let d = 47 + o. Is 0.14 > d?
False
Let x be 3 + 10/15*-6. Let z be (-8)/(-10) + x + (-2398)/(-990). Is 3 at most as big as z?
False
Let i = 6.2 + -6.8. Let y be (-1)/(-6)*(-4)/10*5. Which is smaller: i or y?
i
Let x(j) = 24*j + 284. Let l be x(6). Is l != 427?
True
Suppose -2*h + 5*t - 289 = 0, 0*h = -h - 2*t - 149. Is h != -147?
False
Let i = 95 + -189. Does -94 = i?
True
Suppose 0 = -4*q - 0*q + 12, 5*q = -4*o + 87. Let t = o + -13. Let b(c) = c**3 - 2*c**2 - 15*c - 1. Let g be b(t). Is g greater than 2/19?
False
Let m be 9/280*8/(-12). Is m bigger than 1?
False
Let q be (-2)/4 + (-8)/(-48). Suppose 12*a - 22 = 38. Is a not equal to q?
True
Let c(r) be the third derivative of -r**5/60 - r**4/24 + 13*r**2. Let p be c(-1). Which is smaller: p or -3/46?
-3/46
Let d = -61 - -49. Let t = -14 - d. Does 1 = t?
False
Let n(l) = -664*l**3 + l**2 + l - 1. Suppose 6*d - 2*d = 4. Let a be n(d). Let b = 21881/33 + a. Which is greater: b or 0?
b
Let n(d) = 2*d + 25. Let l be n(-11). Let y be (-2)/(-4)*(17 - 1). Suppose -l*c + 10 + y = 0. Which is bigger: 11/2 or c?
c
Let y be 11/(-33) + (-62)/(-6). Suppose -5*a - 4*k - 46 = 0, a + 2*a = 5*k - 35. Let g = a + y. Is g <= -1?
False
Let k = 1 + 2. Let h = k - 3. Let w = 7273/2 - 3637. Which is smaller: h or w?
w
Suppose -38*o - 317 = 5*q - 40*o, -2*q - 4*o - 146 = 0. Which is smaller: q or -66?
-66
Let c be 8/(-24) + (1120/12)/(-5). Is -19 less than c?
False
Let r be (-12)/(-18) - 3622/231. Let f = r - -140/11. Is -1 equal to f?
False
Let o(s) = -s**2 - 21*s - 37. Let a be o(-19). Let c be a/(85/306 + 2/(-9)). Is c bigger than 18?
False
Let y = -301247/5090 - 269353548151/239230. Let n = y - -1126040. Let m = -62 + n. Which is greater: -1 or m?
m
Let n = -85427/998127 - -1/8531. Let f = n + -1481/468. Let h(c) = c**2 - 3. Let d be h(0). Which is smaller: d or f?
f
Suppose -2*s - 15 = 3*p, 0 = -4*p + 6 - 26. Let a be -3 + -8 - -2 - -10. Which is smaller: a or s?
s
Let t = -10.9 + 11. Suppose -5 + 1 = -2*x. Suppose 3*n - 17 = 4*g, -4*g - 27 + 5 = x*n. Which is smaller: n or t?
n
Let n(z) = -z**3 + z**2 - z - 1. Let i(g) = -5*g**3 + g**2 - 15*g - 3. Let m(u) = i(u) - 6*n(u). Let w = 12 + -6. Let y be m(w). Is y not equal to -14?
True
Let z = 638 - 823. Are -181 and z equal?
False
Let g = -6 + 5. Let d(s) = 2*s**2 + 2*s + 1. Let x be d(g). Suppose 4*a = -x + 5. Is a > -6/13?
True
Suppose -3*d + 4*d + d = 0. Is 5/54 at least d?
True
Let j = 53281/16 + -3330. Let q = 0 - -1. Is j not equal to q?
True
Suppose -2*k + 4 = -0. Let z be (-3)/6*3*-4. Let q be z/30 - (-28)/10. Which is smaller: q or k?
k
Suppose 2*q + 5*p - 20 = 0, -2*q + 2*p - 2 = 6. Suppose m + 3 - 2 = q. Which is greater: m or 2/27?
2/27
Let z(p) = -p - 9. Let t be z(-16). Suppose t - 4 = -3*h. Let c be (2 - 0)/(h + 5). Does c = -1?
False
Let c be 6574/(-266) + 2/(-7). Let w(o) = -o + 1. Let f be w(-3). Suppose -f = y + 20. Which is greater: c or y?
y
Let c = -396937/10845 - -2/2169. Which is bigger: c or -38?
c
Let v be 2/(-5) - 9/(405/207). Which is smaller: -4 or v?
v
Let f(z) = z**2 + 42*z + 432. Let d be f(-18). Is 14/43 less than or equal to d?
False
Let r(u) = -u**3 - 12*u**2 + 28*u - 5. Let b be r(-14). Which is smaller: b or -56/9?
-56/9
Let a = 147.729 - 1.829. Let s = a - 146. Let b(u) = 2*u**2 + 7*u + 6. Let z be b(-4). Which is bigger: z or s?
z
Let z be 60 + (2/12 - (-130)/(-60)). Is 58 greater than or equal to z?
True
Suppose -z + 80 = i, 0 = -2*i + 5*z + 30 + 109. Which is smaller: -2/9 or i?
-2/9
Suppose 15 = 2*v + 3*v, -2*v - 626 = -4*b. Let f be b/(-232) - (-1)/1. Let w = 2/29 - f. Do w and -8 have different values?
True
Let t(v) = v**3 + 8*v**2 + 2*v + 17. Let x be t(-8). Let k be 3/46*8/(-6). Which is smaller: x or k?
k
Let z = 5669/8 + -504829/712. Which is bigger: -1 or z?
z
Let q = 5 + -26. Let o be (-850)/35 + (-6)/q. Is o != 1?
True
Let t = -113 + 110. Let p(w) = 6*w - 1. Let c be p(t). Is -19 less than c?
False
Let y = 409 - 409.04. Which is bigger: y or 33?
33
Let y be -1*2 - (146/42 + -1). Let t = 78/7 + y. Which is bigger: 7 or t?
7
Let q = -0.22 + 0.12. Is 38/3 at most q?
False
Suppose -5*z + 4 = 2*h, 4*h - 1 = -5*z + 7. Suppose -u - 2*l = 0, -1 - 3 = -3*u - 2*l. Suppose j = u*j + 1. Which is bigger: z or j?
z
Let o = -104/3 + 710/21. Suppose 2*j + 4*m + m = 5, -3*m = 5*j - 3. Is o greater than j?
False
Let p(z) = -z**3 - 23*z**2 - 28*z - 33. Let g be p(-22). Let y = g - 97. Which is smaller: y or 7/6?
7/6
Let t(h) = -2*h - 3. Let w be t(5). Let c(a) = a + 12. Let o be c(w). Which is greater: -2/69 or o?
-2/69
Let n = 279.57 - 279. Which is bigger: 0.2 or n?
n
Let d = 1/359 - 3729/49901. Which is smaller: 0 or d?
d
Let a = 47.8 + -8.8. Let v = -7.69 - -8.69. Which is smaller: a or v?
v
Let u be 86/6 + 0/(17 - 7). Is u <= 15?
True
Suppose 47 = 4*o - 65. Let p = 30 - o. Suppose -5*g = 3*c - 10, -2*g - p*c = 3*c - 4. Which is smaller: 7/4 or g?
7/4
Let r(g) = g + 9. Let f be r(-6). Suppose -5*n + 5 = 0, f*q + 5*n = -2*q. Is q at least as big as 2/13?
False
Let l(h) = -h - 1. Let n(r) = -r - 2. Let j(p) = -3*l(p) + 2*n(p). Let k be j(8). Let u = k - 5. Is 4 greater than or equal to u?
True
Let q be (-20)/(-10) + (1 - 558). Let x = 4987/9 + q. Which is smaller: x or 0?
x
Suppose 0 = 5*r - y + 5, -19*r + 15*r - 4 = -y. Let f = 81925/166 + -987/2. Which is greater: f or r?
f
Suppose 8*q - 1615 - 41 = 0. Which is smaller: 206 or q?
206
Let i = 53/32 - 29/32. Is i bigger than -261?
True
Let w = -1243 - -1243. Which is bigger: -890 or w?
w
Let b(l) = -l - 17. Let d = -30 + 12. Let t be b(d). Which is smaller: -4/21 or t?
-4/21
Let h be 0/2*2/(-4). Suppose -16 = -2*j - 3*q - q, 20 = 5*q. Suppose c + h*c + 1 = j. Is 1 > c?
True
Let w = 14927 + -134923/9. Which is smaller: -63 or w?
w
Let r be 24/(-132)*-22 - 2/(-2). Suppose 38 - 3 = 5*u. Which is bigger: r or u?
u
Suppose 0 = 118*f - 137*f - 8930. Is -469 bigger than f?
True
Let n be 6/14 + 15/(-35). Let c be (14/(-21))/((-2)/129). Suppose 2*z - 2*b = -n*z - 22, -5*b + c = -4*z. Which is greater: -11 or z?
-11
Let f(p) = -p**3 + 29*p**2 - 5*p + 146. Let c be f(29). Which is smaller: 12/11 or c?
c
Let h(n) = -n**3 + 23*n**2 - 6*n - 17. Let p be h(6). Which is greater: p or 3?
p
Let d = 95.2 + -2.2. Let n = 143 - d. Is -0.2 at least n?
False
Let h = 11.4 + 41.6. Let k = 50.3 - h. Is k greater than 0.1?
False
Let c = -225/4 - -56. Let y be ((-2)/16)/(5/(-710)). Let x = y - 18. Is c <= x?
True
Suppose 5*p - 16 = 34. Let k be 2/p - (-147)/(-35). Is k at least -0.1?
False