Let m = b + n. Which is smaller: 2/5 or m?
2/5
Let j = -1846/1555 - -6/5. Which is greater: j or -1?
j
Let f(q) = 2*q**2 - 3*q + 72. Let v be f(0). Let s = -164 + 245. Let h = s - v. Is 11 smaller than h?
False
Let v = -8.58 - -13.38. Is v at least 3?
True
Let g(v) = 205*v - 704. Let t be g(4). Is t < 96?
False
Let f(q) = 2*q - 29. Let s(l) = -3*l + 59. Let u(z) = 11*f(z) + 6*s(z). Let k be u(-9). Which is greater: -18/85 or k?
-18/85
Let w(b) = 5*b**2 - 125*b - 107. Let q be w(25). Is q greater than -107?
False
Suppose -3*g + 3*j = 15, 0 = -2*g + 3*j - 6*j. Let s be 1*2*(-5)/(-10). Let w be (-5 + 11)/g*s/2. Which is greater: 2 or w?
2
Let l(b) = 10*b**3 - b + 1. Let x be l(1). Let w be -2*2/(-2)*(-21)/87297. Let f = w + 232802/20785. Is x at most f?
True
Let l be (756/315)/((-4)/(-5)). Let u be l/(-6) + 5*678/60. Is 57 >= u?
True
Let b = -36.08 - -33.367. Is 2/5 <= b?
False
Let q be (37 + -53)*3/(-2). Let x = -57 + q. Is -28 smaller than x?
False
Let c(t) be the first derivative of -3*t**2/2 + 16*t - 10. Let s be c(7). Let g be 1/s - 48/10. Does g = -32/9?
False
Suppose -77 = -30*c + 29*c. Suppose -c = -4*z - 37. Let u = -0.31 + 0.01. Is z at most as big as u?
False
Let f = 15/61 + -798/2501. Let l(x) = -x**2 - 1314*x - 52193. Let z be l(-41). Which is smaller: f or z?
f
Let h = -953/45998 + 1/422. Let n(j) = j**3 + 24*j**2 + 42*j - 50. Let w be n(-22). Let a be w/9 + 1 + (-2)/(-3). Are a and h equal?
False
Let d be 70/(-4)*(-16)/10. Suppose h - d = 5*h. Let o = -209675/3 + 69886. Is h at most o?
True
Let w be 0 + (-2)/13 + (-90)/(-78). Let l(v) = 22*v**2 - v - 2. Let j be l(-4). Are w and j unequal?
True
Let l = -7 + 6.7. Let j = -50.916615 + -0.083385. Which is bigger: l or j?
l
Let i be 6948/(-15) - (7 + (-72)/10). Let v = i - -429. Which is smaller: v or -31?
v
Suppose -336 = -2*p + 3*l, 17*l = -3*p + 21*l + 507. Is 25 > p?
False
Let a(n) = n**2 - 3*n + 4. Let x be a(6). Let w = -24 + x. Let f be (4/(-6))/(12*4/54). Which is bigger: f or w?
f
Suppose -4046*j = -4080*j. Are -7/407 and j non-equal?
True
Suppose 0 = -z + 2*z - 3. Let h(i) = -i**2 + 5*i - 5. Let r be h(z). Suppose 3*g + 4*y - 3 = 2*g, 3*y + r = -4*g. Is g >= -1?
True
Let s be (-4 - -3)*4 + (1 - -6) + -3. Which is smaller: s or -13225/2?
-13225/2
Let f be (-133)/3*(-4320)/10080. Let z be 9/(-2)*(-14)/3. Is f greater than z?
False
Let l(f) = -7*f - 58. Let o be l(-9). Suppose -w - 304 = -o*w. Let h = w + -609/8. Which is smaller: 2/7 or h?
h
Let r = 0.15 + -7.15. Let h(j) = j**3 - 17*j**2 + 27*j + 6. Let c be h(15). Let p be -3 - ((-6)/c + (-335)/65). Which is smaller: p or r?
r
Let u(m) = -m + 6. Let g be u(-9). Let j = 18 - g. Suppose 2*d = -j*n - 3 - 2, -4*n = 2*d + 6. Is -16/7 >= n?
False
Let x = -329 - -438. Let s = 117 - x. Let j = -2 + 1.8. Which is smaller: j or s?
j
Let p be -1 - 0/((-3)/(-1)). Let n be 238/(-4)*p + (-7)/14. Suppose 54*y = n*y. Which is smaller: y or 1/3?
y
Let j = -302.94 - -58.94. Is 1/3 at most j?
False
Let n = 165 - 167. Let f be ((-6 - -7) + n)*19. Which is smaller: f or -18?
f
Let l = 67/12 - 22/3. Which is smaller: -1 or l?
l
Let y be 1*156*-2*3/(-12). Let j be 12/16 - (-117)/36. Which is bigger: j or y?
y
Let i be 229*(9/11 + ((-240)/132)/(-10)). Is 1600/7 <= i?
True
Suppose 4*y + 3*n - 1205 = 0, -252 - 45 = -y - 5*n. Suppose 8*f + y = 10*f. Suppose f = 5*d + 2*l - 72, d = -4*l + 41. Which is bigger: 46 or d?
46
Let n = -0.1737 - -0.1137. Which is smaller: n or -146?
-146
Let b = 187 + -140. Let z = b + -27. Is z greater than 15?
True
Let r = 15.56 + -1.36. Let b = r + -0.2. Let o = 0.1 + -0.2. Is b at least as big as o?
True
Suppose 0 = -5*v + 2*h + 27, -2*h - 3 = -11. Suppose v*q - 10*q = 18. Let n be ((15/18)/(-5))/(3/q). Are 1 and n unequal?
True
Suppose 8*j + 302 + 1314 = -528. Is -269 greater than or equal to j?
False
Suppose -12*t + 91 = t. Suppose 0 = 4*k - 29 - 27. Suppose 8*w = 6*w + k. Is w at least t?
True
Suppose 3*p = -4*n + 45049, 11*p - 8*p = 9. Let t be 12/(-54) + n/45 + -1. Which is greater: 250 or t?
250
Let o = 7 + -15. Let n = o - -6. Suppose 2*i = -11 - 9. Is n bigger than i?
True
Let r be (-4)/(-18) - (-11)/(-9). Let g(c) = 15*c - 87. Let x be g(6). Suppose 37*y - 34*y = x. Which is smaller: r or y?
r
Suppose -4*v - 4*c = -24, 0 = 3*v - 5*c + 2*c + 12. Let h = -53 - -93. Let j be h/(-6)*6/(-44). Which is smaller: j or v?
j
Let i = 4031 + -4546. Which is smaller: i or -511?
i
Let g = -2 + 2. Let j be ((-401)/(-135) + -3)/(144/720). Is g bigger than j?
True
Suppose -2*m + h - 11 = 0, 0 = 4*m - 2*m + 4*h - 4. Let b be (36 - 36) + 3*-1. Does b = m?
False
Let u be (-2)/744*4*5. Is u at most as big as -1?
False
Let x = 125 + -67. Let z = 1086 - 1524. Let m = z - -497. Are m and x unequal?
True
Let j(t) = t**2 - 7*t - 5. Let k be j(8). Let l = -7086 - -7089.3. Do l and k have the same value?
False
Let g be ((-6235)/(-25) + 7)/((-5)/25). Which is greater: g or -1284?
g
Let b = 89 + -81. Let k be (6/(-8))/(b - (-326)/(-40)). Which is greater: k or 10?
10
Let g = -1722 - -1596. Which is smaller: g or 24?
g
Let s = 120 + -118. Suppose 2*l + 151 = 3*c + 18, s*l = -5*c + 195. Let d = -40 + c. Which is greater: -2/27 or d?
d
Suppose -393 = 2*u - 1093. Suppose 38*n = 31*n - u. Suppose 6 - 159 = 3*l. Is n >= l?
True
Let a(b) = 93*b**2 + 20*b + 21. Let z be (-1*(-3)/(-1))/(-1) - 4. Let y be a(z). Is 95 bigger than y?
True
Let h be (-1782)/(-88)*(-2)/12. Let x be (-12)/(-4)*((3 - 11) + 7). Which is greater: h or x?
x
Let q = -6991 - -20392748/2917. Which is bigger: q or 1?
1
Let k = -150 - -4. Let b = -144 - k. Is 33 < b?
False
Let n = 624449 + -624728. Suppose 0 = f + 267 + 13. Which is greater: n or f?
n
Let b = -46316.42 + 46319. Is b at least as big as -16/5?
True
Let f = -1368.7 - -885.8. Let x = f + 515. Let r = -32 + x. Is -12/17 greater than r?
False
Let b(z) = -27*z + 192. Let v be b(7). Suppose -v*w - 2*w = 5*l - 25, 3*l + w = 7. Is l != -2/59?
True
Let p = -96 + 90. Let f = 3168/7 - 460. Is p equal to f?
False
Let t = 3114 - 3794. Are -679 and t nonequal?
True
Suppose -11*j - 2 = 53. Let l be 393 - (j - -2 - -4). Which is greater: 391 or l?
l
Suppose -7*h + 9*h + 1196 = -6*t, -2*t + 5*h = 393. Which is bigger: -599/3 or t?
t
Let h be 5*(-72 + (2 - 3)). Let u(d) = -3*d - 20. Let c be u(-3). Let z be (-2)/11 + h/c. Which is smaller: z or 35?
z
Let d(i) = -2*i - 2*i**2 - i**3 - 16 - 7*i - 22*i - 15*i**2. Let z be d(-15). Let j = 242 + -6051/25. Is z less than j?
True
Suppose -o = 2*o. Let j = 702 + -686. Let g be ((-56)/14)/j - 155/(-588). Which is smaller: o or g?
o
Let o = 3197/9 + -91325/252. Is -6 greater than o?
True
Suppose -5*v = -4*v. Suppose -5*q + 343 - 43 = v. Which is greater: q or 61?
61
Let g(x) = -16 - 7 + x + 0. Let b be g(24). Let w = 38 + -22. Is w at most as big as b?
False
Let q = -81228/13 + 6244. Let v(i) = -4*i**2 + 6*i + 6. Let t be v(-1). Is t != q?
True
Let y = -606 - -653. Suppose 25 = -y*r - 69. Is -38/27 at most as big as r?
False
Let c = -117126 - -117135. Suppose 4*b - 22 = 5*u, 0*b - 38 = -4*b - 3*u. Is c bigger than b?
True
Let b(k) = k**3 + 157*k**2 + 364*k - 891. Let x be b(-155). Is -9262 less than x?
True
Let t = -9874 - -11509. Is 1633 greater than or equal to t?
False
Let h be (-644)/24*81/(-378). Is -1/4 greater than h?
False
Let k = 6.6387 + -5.6387. Let f = -0.61 + -38.39. Is k >= f?
True
Suppose -116 = -2*m - 2*m. Suppose -2*h - 44 = -3*u - 3*h, -3*h = 3*u - 48. Let j(r) = -r**3 + 15*r**2 - 13*r + 15. Let k be j(u). Is k less than or equal to m?
True
Suppose -3*d - 31 = -5*p - 9, 16 = -4*d. Which is smaller: 61/24 or p?
p
Let l = 28115 - 5379. Which is greater: l or 22735?
l
Let j be (-158)/28 - ((-2900)/522 - (-12)/(-27)). Suppose -3*m + 0*m = 6. Let o(y) = -y**2 - 3*y - 2. Let q be o(m). Which is smaller: q or j?
q
Let h(x) = -x**2 + 10*x - 6. Let q be h(8). Suppose 3 + 2 = 5*c, -a = c - 6. Suppose a*v - 7*v = -22. Is v > q?
True
Let o(a) = a**2 + 46*a + 239. Let r be o(-6). Is -64/3 bigger than r?
False
Suppose 2*m - m = -15. Let c = 481 - 466. Let o be c/5 + -14 - 3. Is o greater than or equal to m?
True
Let w be (-3 - -1)*43/8. Let i = -45796 - -45796.2. Which is smaller: i or w?
w
Let g = 160 - 155. Suppose g*z + 158 = 3*z. Is -79 less than z?
False
Suppose -o + 3*z = -32, 2*o -