ich is bigger: y or 7/2?
y
Let f be ((-37)/((-333)/90))/(6 - 1). Let n = -2.97 + -0.33. Which is smaller: f or n?
n
Let t(s) = -2*s**2 + 8*s + 25. Let z be t(-6). Is -91 bigger than z?
True
Let r(c) = -c**3 - 18*c**2 - 17*c - 10. Suppose 3*h - 10 - 2 = 0. Suppose -h*d - 75 + 7 = 0. Let j be r(d). Is j less than or equal to -9?
True
Let g be (5/(-10))/(6/(-24)). Is -0.03 > g?
False
Let o(z) = -2*z**3 - 3*z**2 - 10*z + 7. Let i be o(-5). Is i < 232?
False
Let q(r) = -r**3 + r + 7. Let z be q(0). Suppose b - 2*b = -z. Let o be (b/(-49))/((-1)/8). Which is smaller: o or 0?
0
Let o = -31 + 30. Let q = 16 + -27. Which is smaller: q or o?
q
Let k be 2/8 - 3/(-4). Let s = 0.408 + -0.39. Let w = 6.018 - s. Which is smaller: k or w?
k
Let t = 73/10 - 51/10. Is t > 3?
False
Let t = 10.2 - 13. Let w = t - -5. Let c = w + -2.3. Is -0.08 less than or equal to c?
False
Let i = -7 + 9. Suppose -113 = i*y - 5*w, -3*y + 3*w - 123 = -y. Let x be y/21 + 3/1. Which is bigger: x or 1?
1
Let w(a) = -a**3 + a**2 + 2*a. Let o be w(-4). Suppose -x + 18 = -o. Let y = -721/8 + x. Are y and 0 non-equal?
True
Let d(p) = -22*p**3 + 2*p**2 + 2*p. Let m be (-2)/3 - (-2)/(-6). Let n be d(m). Which is bigger: 0 or n?
n
Let f = -6 + 9. Suppose 5*b - 4*z + 35 = 0, -f*b + z - 6 - 15 = 0. Let d = -12 - b. Which is greater: d or -3?
-3
Let y be 40/8 + (4/4 - 5). Is y at least -36?
True
Let z(b) = -b**3 + 9*b**2 + 7*b + 5. Let m be z(10). Let a be m/12 - 2/3. Is -0.1 < a?
False
Let c = 2607/2044 - -3/292. Let z be (1/3)/(2/(-6)). Let n be 0*2/(z + -1). Which is smaller: c or n?
n
Suppose 11*t - 29*t = -2628. Which is bigger: 147 or t?
147
Suppose 10*o - 17*o - 70 = 0. Let g be 45/252*(-1 + (-14)/o). Which is smaller: 0 or g?
0
Let n be (-6 - -9)/(0 - 1). Suppose 768 = -g + 767. Which is greater: g or n?
g
Let i be 3/(-18) - (-155)/570. Let n be (-4)/3 - 6/(-18). Let o be 0 - ((-6)/3 - n). Which is smaller: i or o?
i
Let s be 2*(-2 + 4 - 4). Let a = 328 + -2314/7. Which is bigger: a or s?
a
Let a = -5 + 20. Suppose -a = -5*k - 10. Let d be k - ((-98)/(-20))/7. Which is bigger: d or 0?
d
Suppose n - 9 - 1 = 5*a, 0 = 4*n + 20. Let u be 3/(-15)*-2*-15. Is u bigger than a?
False
Let d = 178 - 92559/520. Is 1 less than d?
False
Let f = 48 - 33. Suppose 3*q - f = 0, -4*q + 9*q - 40 = 3*z. Is -7 at least as big as z?
False
Suppose 0 = 7*f - 4*f - 5100. Let m be 5/(f/76) - (-2)/(-5). Is -1 not equal to m?
True
Suppose 0 = 2*i - 4*i. Let t(c) = 2*c - 16. Let n be t(7). Let r be i + 4/4 + n. Which is greater: 2/27 or r?
2/27
Let t = -70.1 - -72. Let l = t - 2.9. Let h = -0.4 + 0.36. Which is smaller: l or h?
l
Let k = -27 + 13. Let p = 14.08 + k. Are 0 and p equal?
False
Suppose -a + 92 = -2*p, -p = -5*p - 3*a - 184. Let w = 56 + p. Is w equal to 26/3?
False
Let t = -6.36 + 7.06. Which is greater: 1/64 or t?
t
Let i be ((-252)/27)/(-2 + (-94)/(-48)). Which is smaller: i or 223?
223
Let o be 25/(-20)*(18/30 + -1). Which is bigger: -654 or o?
o
Let r = -261.9 + 262. Is r equal to -0.0841?
False
Let d(w) = w**2 + 9*w - 1. Let y be d(-9). Let x = 3 + y. Suppose s = -x*s. Are -4/9 and s non-equal?
True
Let p = -21.1 + 28.1. Let q(d) = d + 5. Let v be q(-5). Which is greater: v or p?
p
Let a = -20.5 - -4. Let x = -1.5 - a. Let d = 15 - x. Which is greater: d or 3/17?
3/17
Let u(h) = -4*h**3 + 15*h**2 - h - 17. Let q(v) = -v**3 + v**2 - v. Let c(d) = -3*q(d) + u(d). Let g be c(12). Which is bigger: g or 6?
g
Let k be 1*4 - (-14 - -19). Which is smaller: k or -1/111?
k
Let a = 1 - 1. Let b = -70096/31 + 2261. Is a > b?
True
Let y = -899 - -989. Which is smaller: -1 or y?
-1
Suppose -33 - 712 = 5*r + g, -4*r = g + 597. Is -1/2 at most r?
False
Let y be 192/420 - 12/20. Do y and -1 have the same value?
False
Let v(l) = l**2 + 17*l + 51. Let x be v(-9). Which is bigger: 4 or x?
4
Let u = -117.91 - -118. Let v = -13.14 + 13. Let o = v + u. Which is smaller: o or -2/3?
-2/3
Let h = -0.27 + -0.03. Let j = -30 - -31. Let o = 2 - j. Is o less than or equal to h?
False
Let n be (-6)/(-10)*3/(-6)*2. Are n and -0.3 unequal?
True
Let h = 84 - 365/2. Which is greater: h or -98?
-98
Let k = 66 + -63. Let y be (-41)/(-3) - (-4)/(-6). Suppose 8 + y = -k*g. Is -7 at most g?
True
Let v = -42760/23 - -1859. Which is bigger: v or -1?
v
Let b = -3564.345 + 0.345. Let g = b + 3581.31. Let s = 0.31 - g. Is s smaller than -1?
True
Let w = -0.801 - -0.801. Is w <= 45/28?
True
Let k(w) = -12*w - 266. Let m be k(-22). Is -67 bigger than m?
False
Let d(m) = m**2 - 17*m + 72. Let c be d(6). Let a be 107/20 - (-1)/4. Is a < c?
True
Let b be (-3)/3 + -1 + 1. Let k be -12 - b/1 - 2. Let o = k - -12. Is -2 >= o?
False
Suppose -7*q + 8*q = 0. Suppose 10*t + 11 + 19 = q. Is -17/6 greater than t?
True
Let w be 18 - (2 + 6/3). Let j be (-8)/(-24)*(-78)/w. Is j smaller than -2?
False
Let g be 31/(-28) - (-2)/8. Let l = -4.5 + 5. Let b = l - 0.6. Which is smaller: g or b?
g
Let r = 10 + -7. Suppose -r = 2*p + 5. Let g be 3 + p/3 - 3. Is g smaller than -2?
False
Let t be ((-6)/8)/((-72)/192). Let d = -2 + 1. Is t greater than d?
True
Suppose 5*p - 66 - 39 = 2*j, -63 = -3*p + 3*j. Let y = p - -19. Is y > 40?
False
Suppose 4*u + 15 - 1 = -2*r, -4*r - 46 = 2*u. Let k(v) = v + 1 - 13*v**2 + 0*v - v**3 + 7. Let h be k(r). Is h <= -4?
True
Let v = -5111/14 + 365. Is -2.1 less than v?
True
Let f = 28 + -6. Suppose 3*m = 3*q - 12, 5*m + f = 3*q - 6. Let a be m/42 - 5/35. Which is smaller: a or 1?
a
Let t = -2.37 - -121.37. Which is smaller: t or 2/5?
2/5
Let m = -10801/1182520 - 4/3995. Is m at least 1?
False
Let h(k) = -k + 3. Let z(l) = l - 3. Let y(f) = 2*h(f) + 3*z(f). Let a be y(3). Let d be (-6)/4*(-2)/(-4). Is a at least as big as d?
True
Suppose -y + 6 = 3*p, -4*p + 5*y - 8 = y. Is p < -3/31?
False
Let d = -14 - -57. Let l = d - 43.2. Is l at most 3.2?
True
Let z = 1922/3 + -624. Let m(k) = 2*k - 4. Let f be m(11). Which is greater: z or f?
f
Let a = 56/81 - 2/81. Let i = -488 - -492. Is a < i?
True
Let z = -288 + 540. Let u be z/(-1225) - (-2)/7. Is u less than 0?
False
Suppose -4 = -2*j + 3*x, -2*x + 10 = -5*j + 31. Suppose j*t + 4*p + 73 = 0, -3*t - 9 - 26 = -2*p. Is -12 less than or equal to t?
False
Let p = 7 + -10. Let r(q) be the third derivative of -q**6/120 + q**5/20 - q**4/6 + q**3/6 + 19*q**2. Let n be r(2). Do n and p have the same value?
True
Let g be (124/24 + -5)*2. Which is smaller: 1.1 or g?
g
Let m = -141 - -711/5. Let v(y) = y**2 - y - 1. Let d be v(2). Let s be ((1 - 2) + d)/(-2). Are s and m equal?
False
Let g = 1 - 2. Suppose -z = 3*o + 12, -8 = 2*o + 5*z - 0*z. Let x be o*(-1)/(-2) + 144/75. Which is bigger: g or x?
x
Suppose -5*d - 12*s = -16*s - 15, -5*d + 15 = -s. Let w(f) = f**2 - 3*f + 2. Suppose 3*o - 10 = -2*o. Let g be w(o). Which is greater: g or d?
d
Suppose 2*b - 24 = 10. Suppose -6*v = -103 - b. Are 58/3 and v non-equal?
True
Let j(i) = -i**3 + i**2 + 3. Let f be j(2). Let z(c) = 4*c + 4. Let m be z(f). Let w be ((-3)/(-26))/(3/(-4)). Which is bigger: m or w?
m
Let n(w) = -w**3 - 10*w**2 - 31*w + 22. Let l be n(-8). Is 141 < l?
True
Let n = 88 + -90. Let x be (7/1022)/(1/2). Let y = 67/438 + x. Is y smaller than n?
False
Let d = -68.7 + 68.6. Is d at least as big as -255?
True
Let y = -12 + -4. Suppose 9*a = 14 + 40. Suppose -5*v = 2*t - a*t - 85, 0 = 3*t + 2*v + 35. Which is greater: y or t?
t
Let r = 186 + -128. Which is greater: 0.2 or r?
r
Suppose 0 = 404*y - 397*y - 7. Which is bigger: y or -1/1012?
y
Let y = -2152.07 + 2186. Let i = y - -0.07. Which is smaller: 1 or i?
1
Let l = 0.313 - 0.113. Let c = -1.7 - -2. Let v = -0.5 + c. Is v < l?
True
Let i be (-3)/(-9) - 12/9. Let d = -2 - 4. Let n be 3/d - 13/14. Which is smaller: n or i?
n
Let o(s) = s**2 + 5*s - 2. Let k be o(-5). Let a(i) be the first derivative of -i**4/4 - i**3 - 2*i**2 - 5*i - 11. Let n be a(k). Which is smaller: -10 or n?
-10
Let v = -190.8 + 105.8. Which is bigger: v or -0.05?
-0.05
Suppose 2*m + 69 = 13. Is 0 equal to m?
False
Let r = -116 + 114. Is -38 at least as big as r?
False
Let v = 164 + -173. Which is smaller: v or -25?
-25
Suppose i + 2*i = 2268. Let j = 55186/73 - i. Let g = 136/365 - j. Which is bigger: -8 or g?
g
Let h(r) = r**2 - 13*r. Let t be h(14). Is 15 >= t?
True
Let v be (-1 - 3)/2 + -8. Let g = 49 - 60. Le