 10. Which is smaller: -2/9 or n?
-2/9
Let p = -968 - -964. Does 3 = p?
False
Suppose 40*a + 2 = 41*a. Is a greater than or equal to 17/7?
False
Suppose 0 = -0*u - u - 2*v + 4, 4*u = -5*v + 16. Let f = -39635/9 + 4407. Which is smaller: f or u?
f
Let c = 1 + -3. Let f be ((-4)/c)/(-31*1). Let h = -27 - -28. Is f greater than h?
False
Let l be (-3 + (-8)/(-2))*0. Let x be (0 - l)/(0 - 2). Which is greater: -3/35 or x?
x
Let o be 2 - 1 - (5 - 12). Let w(z) = 2*z**2 - 12*z - 16. Let c be w(o). Is 15 less than c?
True
Let w = -2.1 - -2. Let q = -161 - -162. Is w less than q?
True
Let p = 16 - 10. Let m(c) = c**3 - 6*c**2 - 3*c + 6. Let b be m(p). Let s(u) = -u**2 + 19*u - 60. Let a be s(16). Is a less than or equal to b?
True
Suppose 0 = 9*b + 23 - 14. Let c be (-4)/60*(-10)/(-32). Is c >= b?
True
Let p(w) = w - 5. Let r be p(10). Which is smaller: r or 22/5?
22/5
Suppose -23*m - 9 + 21 = 35. Let b be (-13)/22 - 1*-1. Is b greater than m?
True
Let l = 749 - 616.2. Let x = 133 - l. Let q = -1.2 + 0.6. Is q less than or equal to x?
True
Let m be (-3)/(-6)*6 + (-1 - 1). Is m < -4/29?
False
Let b be 6*((-20)/(-1750))/1. Which is smaller: b or 1?
b
Let u = -1127 - -1125. Suppose -2*n = -7*n - 15. Let s = n + 2. Which is smaller: u or s?
u
Let p = -0.222 + -3.088. Let w = p - -3. Which is smaller: w or -1?
-1
Let p be ((-5)/3 + 2)*102. Suppose -7*q + 210 = -21. Which is smaller: q or p?
q
Suppose 25*r - 17*r = 440. Let k = 12 + 45. Which is smaller: k or r?
r
Let h be 597/1656 - (-9)/(-24). Is 0 at most h?
False
Let f = 342/5 + -1024/15. Suppose -2*t = -5*d + 2, 1 = -d - 4*t - 3. Does f = d?
False
Let h = 230 - 2072/9. Let k = h - -32/63. Let a(y) = y**3 - y**2 - 3*y + 2. Let q be a(2). Is q at most k?
True
Let l(a) = a**3 + 3*a**2 + a + 3. Let b(p) = 2*p**3 + 5*p**2 + 2*p + 6. Let i(d) = 4*b(d) - 9*l(d). Let y be -1 + 2*(-9)/3. Let j be i(y). Is 4 at most j?
True
Let r = -1085273/11 + 98374. Let c = -653 + 940. Let z = c + r. Which is bigger: 3/7 or z?
3/7
Let r = -116.1 - -112. Let o = 0 - -0.1. Let y = o + r. Which is smaller: y or 2?
y
Suppose -17*u + 56 = -3*u. Suppose -q + 8 = 1. Let k = u - q. Do k and -2 have the same value?
False
Let s(c) = -2*c**3 - 7*c**2 - 6*c - 5. Let n be s(-4). Let v be -1 + (3 - 75/n). Is v smaller than 0?
True
Let r(y) = y**3 - 3*y**2 - 2*y + 3. Let u = 2 - -3. Suppose -u*h + 13 = 4*v, 0 + 9 = 4*v + h. Let w be r(v). Is w bigger than -3?
False
Let y be -322*2*(-4)/16. Which is smaller: 165 or y?
y
Let n = 0.23 - 18.23. Let a = 2214 - 2214. Which is smaller: n or a?
n
Let d be 5 + 9/(-6)*2. Let p be (-9)/(-27) - d/6. Suppose -6*k = -p*k - 60. Do 9 and k have the same value?
False
Suppose -d = -4*c - 634 - 6, c = -5*d - 160. Do -161 and c have the same value?
False
Let i be (-4)/(-22) - (3 - (-2490)/(-825)). Is i less than -1.62?
False
Let b = -11277/412 - -64/103. Let j = 67/2 + b. Which is greater: j or 7?
7
Let o(u) = -7*u**2 + 45*u - 280. Let j be o(8). Which is smaller: j or -366?
j
Let i = -552 - -553. Which is bigger: -9 or i?
i
Let r = -0.079 - -0.279. Are r and 1/14 unequal?
True
Let w = 3 + 3. Suppose -33*j + 11*j = -11*j - 88. Which is smaller: w or j?
w
Let w be 1/(-12) + (-14)/8. Which is bigger: -3 or w?
w
Let j(y) = -y + 10. Let l be j(6). Let t(p) = -p**2 + 7*p - 11. Let n be t(l). Which is smaller: -7/15 or n?
-7/15
Let k = 5112/235 + 1340959/3055. Let v = k + -461. Is -1 less than or equal to v?
True
Suppose -2*z + 3*z = -4*v - 115, -3*v = z + 85. Let t = 4 + v. Which is greater: -25 or t?
-25
Let n(d) = -341*d**3 + 2*d**2 - 3*d - 5. Let a be n(-1). Are a and -1 equal?
False
Let n = 1.29 - -73.71. Let d = n - 108. Let l = 29 + d. Which is greater: l or -2?
-2
Let k = -2388 - -1212. Is k smaller than -1176?
False
Let s be (-13)/26*(-1 + -57). Let j = s - 30. Is j smaller than -4/7?
True
Let i = -113573/5 + 22617. Let q = -98 - i. Let b be (1 - -3)*(2 - (2 + 4)). Is b less than or equal to q?
True
Let i = 53 - 53. Let u = -1.17 - 0.03. Which is smaller: i or u?
u
Let i = 171 + -194. Let a be 2/(-3)*(-3)/6. Does i = a?
False
Let k be -7 + 1*2*3/(-6). Let p be (-2)/15*(-4)/k. Let t = -3 - -2. Which is smaller: p or t?
t
Let c be 4/(-14) - (-81)/63. Let d be -1 + 0 - (c + -3). Let r be (-2)/8*(-8)/10. Which is bigger: r or d?
d
Suppose 398 + 34 = -16*a. Let y be a/15 + -4 - -5. Let j = -0.1 + 0.2. Which is smaller: j or y?
y
Let v = -2.52 + 2.09. Which is bigger: 0.2 or v?
0.2
Suppose -14*a + 5*a - 198 = 0. Which is smaller: -20 or a?
a
Let s = -235 + 197. Which is smaller: 2/3 or s?
s
Let q = 135 + -187. Is q less than -55?
False
Let c = -1378 + 1377. Let s = 1 + 1. Suppose 0 = s*b - 7*b + 15. Is b < c?
False
Let g = 3394/33089 - -1/1141. Let o be ((-2)/8)/((-58)/(-179)). Let j = g - o. Is j bigger than 2?
False
Let a be (-1)/5 + (-9 - (-399)/45). Let v = -20.54 - 0.46. Which is bigger: v or a?
a
Suppose 5*b - 3*t - 94 = 0, 92 + 5 = 5*b - 4*t. Let u = 9 - b. Is u at least -7?
False
Let a = 11 + -19. Let b be (22/a - -3) + 1. Let o(k) = k - 3. Let g be o(4). Which is smaller: b or g?
g
Suppose 3*s - b + 85 = 0, b - 112 = 5*s - s. Let w be (s/54)/((-1)/4). Is 1/4 not equal to w?
True
Let d = -0.002 - 0.188. Let l be (2/(-15))/(7/35). Is d equal to l?
False
Let b = -1782 - -1781.7. Which is smaller: -6/115 or b?
b
Let i = -0.7 - -0.837. Let a = -0.137 + i. Which is smaller: 14 or a?
a
Suppose w + 4 = 0, -3*b - 2*w - 6 = -b. Let g(x) = -7*x**2 + 5*x. Let m be g(-6). Let l = m + 2823/10. Which is bigger: b or l?
b
Let n be 1/(-3) + 245/(-21). Let h be -3 + n/(-4) + 13. Suppose 4*s = 5*s + h. Which is smaller: -14 or s?
-14
Let t = 9 - 9. Suppose -2*o + a - 11 = 4*a, t = o - 4*a - 22. Let p be (3/1)/(-1)*-1. Which is smaller: p or o?
o
Let f(r) = -5*r**2 + 110*r + 114. Let m be f(23). Is 1/217 at least as big as m?
True
Let v = 41 - 35. Let n be v/4 + (-972)/552. Which is bigger: -1 or n?
n
Let k(y) = -y - 7. Let q be k(-6). Let j = 23 + -33. Let h be 4/3 + (-5)/j*-2. Does q = h?
False
Let t(f) = 23*f**2 + 2*f + 1. Let m be t(-1). Suppose 2*d - 8*q + m = -3*q, -5*d - q - 1 = 0. Suppose 4*g + 29 = 5*h, h + 7 - 14 = g. Is d < h?
True
Let n = -1213.4 + 1213. Which is smaller: n or -20?
-20
Suppose -4*c - 51 = -11. Let y be 4*((-45)/c + -4). Suppose -y*h - 16 = -0*h + 2*w, -h = 3*w + 16. Which is smaller: -6 or h?
-6
Let b(a) = a**2 - 15*a + 38. Let z be b(8). Which is bigger: z or -189/11?
-189/11
Let k be 455/52 - (-14)/(-2). Which is smaller: k or -3?
-3
Let q = 6.6 - 4.67. Let d = 0.03 - q. Let u = d - -0.9. Which is smaller: -11 or u?
-11
Let w = -3069 - -2916. Let y be -1 + -2 + 2 - 152. Is y at most as big as w?
True
Suppose 16*k - 79 = 65. Let g(i) = i**3 - 7*i**2 - 17*i - 1. Let u be g(k). Which is smaller: 35/4 or u?
u
Let r(s) = s**2 - 8*s + 9. Let f be r(6). Let j be 120/(f + 7) + 0. Let u be 0 + j/27 + -1. Is u <= 1?
True
Let k = -0.14 + 1.94. Let d = -0.5 + k. Let q = -1.1 + d. Is q less than 7?
True
Suppose 0 = 7*j - 3*j - 40. Suppose -3 = s - 5. Suppose s*p = -j + 2. Which is smaller: p or 2/5?
p
Suppose -v - 3*v + 2 = -2*k, 2*k - v = 1. Let g = 2 + -2. Suppose g = -3*a - 2*a + 5. Is k >= a?
True
Let n be (6/8)/((-23)/4). Let i(d) = -d**2 + 10*d - 17. Let o be i(8). Which is greater: o or n?
n
Let x = -26.3 - -26.5. Is -1/7 smaller than x?
True
Let h = 0.27 - 0.26. Let w = -0.7 + -8.3. Let r = 11 + w. Which is greater: r or h?
r
Let v be (-414)/(-92) + -1 + -8. Does v = 5/2?
False
Let o = 163 - 142. Which is bigger: o or 18?
o
Let l = -2.41 + 0.41. Let j = 4/5 + -38/35. Is l not equal to j?
True
Let d = 392 + -392.012. Are 0 and d equal?
False
Let l = 25 - -13. Suppose -2*b - l + 2 = 0. Is -1 <= b?
False
Let v be 5 - (-6)/(-2)*-1. Let r = -15/2 + v. Are 1 and r nonequal?
True
Suppose -3*q + 1 = q + 5*o, 0 = 5*o + 15. Suppose 0 = -5*r + 2*k + q, -k = 3*r + k - 12. Let z be (1 - 0)*(r - 1). Is z less than or equal to 1/6?
False
Let y = -983 + 984. Is -7/51 bigger than y?
False
Let l(i) = 7*i**2 - 3*i + 1. Suppose 7 = 11*y - 4. Let d be l(y). Is 0.1 bigger than d?
False
Let b = -179 + 1787/10. Let i = 40.3 - 40.3. Which is bigger: b or i?
i
Suppose 5*z - 4*a = 15, 30 = -7*z + 2*z - 5*a. Let f = 15.2 + 4.8. Which is smaller: f or z?
z
Let i(w) = 2*w**3 + w**2 - w - 1. Let t be i(-1). Suppose 2*z + 100