et w be 2/(((-3)/(-4))/g). Let c be 2/2 + 5 + w. Which is smaller: -3 or c?
-3
Let j = -1202/69 + 452/69. Which is smaller: -10 or j?
j
Let s(y) = y**2 + 3*y + 5. Let p be s(-4). Let t = 9 - p. Let k = -238/99 - -20/9. Are k and t unequal?
True
Let k = 277/2 - 139. Which is smaller: 0 or k?
k
Suppose -663 - 2112 = -25*c. Is c > 111?
False
Let a = 209 + -193.3. Let f = 17 - a. Let o = 1.3 - f. Is 1/2 at most o?
False
Let d = 12.25 + -12. Let i = d + -0.33. Is 2 equal to i?
False
Let d be (-162)/(-45)*5/(-33)*-4. Is 1 greater than or equal to d?
False
Let y be (-2)/(-6) + 13/(-21). Let v(x) = x - 15. Suppose 3 = o - 14. Let q be v(o). Which is bigger: q or y?
q
Let h = -3631/30 - -121. Let w = -20 - -23. Let b be w/12 - (-24)/32. Which is smaller: b or h?
h
Let s = 28 + -13. Let o = -11 + s. Is o less than -3?
False
Let u(s) = -s**3 - 8*s**2 - 10*s + 15. Let i be u(-10). Which is greater: i or 316?
316
Let c = -13 + 21. Let i(t) = -5*t**2 + 12*t - 2. Let p(u) = 14*u**2 - 35*u + 6. Let g(k) = 11*i(k) + 4*p(k). Let h be g(c). Is 0.2 at least as big as h?
False
Let w = -723 - -5070/7. Suppose 0 = -5*b - 114 + 509. Let j = -79 + b. Is j greater than or equal to w?
False
Let t(m) = -m**3 + 2*m**2 + 4*m - 3. Let b be t(-4). Let l be 1/3 + b/(-105). Let d = 53 + -52. Is d smaller than l?
False
Let i be 9/18*(4 - 0). Suppose t = i*k + 9 + 20, 0 = -k - 1. Is t less than 27?
False
Let c(y) = y**3 + 15*y**2 + 11*y - 13. Let m be c(-14). Let a = -30 + m. Is a at least -3/7?
False
Let o = 22 - 23. Let d = -1265/3 - -412. Which is smaller: d or o?
d
Let g = -119569/1878 - -1/626. Which is bigger: -64 or g?
g
Suppose 561 = 4*x + l, 0 = x - 0*x - 3*l - 150. Let k be (-30)/9 + 3 + x/9. Is 14 not equal to k?
True
Suppose -4*w + w = 6. Let a = 47 - 36. Suppose -r + 7 = a. Which is bigger: w or r?
w
Let k be (-54)/(-4)*6/9. Let h be 78/(-429) + (-349)/(-44). Is h bigger than k?
False
Suppose 0 = 3*u - 1 + 16. Let b(d) = d**2 + 2*d + 6. Let l be b(u). Let s = l - 20. Do 0.3 and s have different values?
True
Let z be ((-5)/(-2) - 3)*-6. Is z at most 29/12?
False
Let j = 54 - 54.087. Let g = -0.013 + j. Which is greater: -50 or g?
g
Suppose 0 = -w + 3*w - 3*o - 13, 3*w + 4*o + 6 = 0. Suppose -2*y = w*d, 2*y + 1 + 0 = -d. Is 2/63 at most as big as d?
True
Let n = -0.438 + 0.288. Which is bigger: n or -2?
n
Let q(l) = 8*l**2 - 31*l + 14. Let s be q(4). Is 109/6 bigger than s?
True
Let y = 300/11 - 2722/99. Which is bigger: 0.5 or y?
0.5
Suppose 4*c - 39 = 17. Let m be (-4)/(-36) + (254/(-18) - -1). Let k = m + c. Which is smaller: k or 5?
k
Let h(o) be the second derivative of o**3/3 - 23*o**2/2 + 2*o. Let x be h(12). Are x and -3/8 nonequal?
True
Let x(w) = -w**3 + 13*w**2 - w + 8. Let j be x(13). Let q = 2 - j. Which is greater: q or 0.3?
q
Let z be (-4488)/165 - (-4)/(-5). Is -26 >= z?
True
Let a(y) = -3*y**2 + 6*y + 2. Let p be a(5). Let u = p - -61. Let h be 3*4*(-6)/(-4). Is u bigger than h?
False
Let s = -5/647 - -9183/16175. Which is bigger: s or 1?
1
Suppose -2*x - 13 = -3*r - 0, -5*x - 5 = -2*r. Is 5/142 bigger than x?
False
Suppose 5*d - 2*d = d. Let o = 35986/53 + -679. Do o and d have different values?
True
Let o(a) = -a**2 - 2*a - 1. Let u be o(-2). Is u at most -37/5?
False
Suppose -25*h - 8*h + 6336 = 0. Which is smaller: h or 191?
191
Let d be (-24)/(-67)*1/2. Let x = -117/469 - d. Let b = 0 - -1. Are b and x non-equal?
True
Let c = -28 - -19. Let t = 9.1 + c. Let w = 0.3 + -0.1. Is w greater than t?
True
Let x = -994 + 1052. Do x and -5/3 have the same value?
False
Let o = -0.0574 + 62.9574. Let f = o - 52. Let g = 11 - f. Is g less than 11?
True
Let l = -0.3 - -0.1. Let p be ((-4)/(-3) + 0)*9/(-78). Which is smaller: p or l?
l
Let c = -34 + 31. Let b be 27/(-18)*(-1)/c. Which is greater: 11 or b?
11
Suppose -4501 - 2394 = 35*i. Which is bigger: i or -196?
-196
Let c = 71 + -119. Let r = 20 + c. Let z be 20/77 - 8/r. Does 0 = z?
False
Suppose -60 = -0*a - 4*a. Suppose -3*m - a = -4*m. Let g = 16 - m. Is 3/8 less than g?
True
Let c = 2297/5 - 19201/40. Which is smaller: c or -20?
c
Let q(o) = o**2 + 2*o - 4. Let v be q(-5). Let p = 44 + -46. Let c be p/6*(v + -10). Are 0 and c non-equal?
True
Let j = 30117/4 + -148273/20. Which is smaller: j or 116?
j
Suppose i = 3*o + 6, 4*i + 2*o - 4*o - 4 = 0. Is i greater than or equal to 2/2413?
False
Let a be 3/27*(7 + -1). Let t = a - 0. Let n = -557/13 + 43. Which is smaller: t or n?
n
Let g be 96/12 - (-282)/(-33). Let k = -92568/55 - -1683. Let t = k + g. Which is greater: -2 or t?
t
Let u = -0.09 + 2.09. Let k = -4 + u. Which is greater: k or 1?
1
Let p be 43*(6/(-2) + 2). Let s = p - -46. Is s at least as big as 28/9?
False
Let j(d) = -4*d - 3. Let x be j(3). Suppose 0 = z - 2*w - 5, 3*z = 5*z + 4*w - 26. Let h = z + -23. Is x > h?
False
Suppose -7 - 5 = -3*j. Suppose 0 = 5*n + t - 22, 2*n + 5 = j*t + 27. Suppose 6*r - n*b = r, 2*r - 3*b + 1 = 0. Which is greater: r or -4/11?
r
Let f be (-6720)/4128 + -1 + (5 - 2). Is -1 at least f?
False
Let w = -42 + 380/9. Let a(p) = 2*p**2 - p - 3. Let q(x) = 4*x**2 - 2*x - 5. Let y(c) = -5*a(c) + 3*q(c). Let v be y(-1). Which is smaller: v or w?
w
Suppose -h + 2 = l + l, -5*h = 4*l + 8. Let r be (h + (-32)/(-12))*63. Let u = -590/7 - r. Which is bigger: u or 0.11?
0.11
Let c = 18.1 + -19. Let z = -0.69 + -0.31. Let y = z - c. Is y at least as big as 1?
False
Suppose -4*b - 29 = 5*h + 20, 0 = 2*b - 4*h - 8. Let v be (((-1)/(-3))/1)/1. Which is smaller: v or b?
b
Let x be (-1)/4 - (-14)/40. Let y be ((-3)/(-9) - -2)*-3. Let h(t) = t**3 + 6*t**2 - 7*t. Let d be h(y). Which is smaller: x or d?
d
Let d be ((-40)/46)/(3 + 4 + -41). Is 1 greater than or equal to d?
True
Suppose v - r = -42 + 44, -4*v - 5*r - 37 = 0. Is -40/13 < v?
True
Let v = 282 - 165. Let d = v + -72. Is 46 smaller than d?
False
Let f be (-6 - 0) + 44832/7456. Which is smaller: f or 0?
0
Let c = -12 + 17. Let h = -15 - -1. Let v = c + h. Which is smaller: 1/3 or v?
v
Let v be (3 + -2)*-2 - -4. Let l be 42/9 - (v + 2). Which is bigger: 0 or l?
l
Suppose -8*n = -23 - 65. Suppose 120 = -10*g + 22*g. Which is greater: n or g?
n
Let q be ((-2)/2)/((-49)/70*5). Which is smaller: 4/3 or q?
q
Let j = -31028/107 + 290. Which is greater: 1 or j?
1
Let n = -0.4 + 0.2. Let d = 31.2 + -31. Let k = d + n. Is 0 < k?
False
Let v = -24.2 - -24. Let n be (-132)/(-13) + 2/(-13). Let a(u) = u**2 - 9*u - 6. Let x be a(n). Is v bigger than x?
False
Let o = 100131607 + -826786680122/8257. Let l = 2/359 + o. Is 1 not equal to l?
True
Let v(i) = -i**2 + 5*i - 6. Let h be v(3). Suppose h*q - 2*q - 26 = 4*a, q = -a - 11. Which is smaller: -10 or q?
-10
Let z(c) = -2*c**2 - 12*c - 13. Let y be z(-10). Which is bigger: y or -88?
-88
Let q = 84912617/2323 + -36553. Which is greater: q or 1?
1
Suppose 113*u - 3*q + 3338 = 109*u, -2*u = 2*q + 1662. Is -833 >= u?
True
Let n be -3 - ((-28)/3)/4. Is -1325 <= n?
True
Let z = -18.744 + 18.3. Let c = z + 0.44. Do c and 2 have different values?
True
Let p be 8 + -4 + 6 + -9. Which is greater: 8/25 or p?
p
Suppose 2*k + k = 45. Let t(s) = -3*s + 46. Let g be t(14). Suppose -d = g*x + k, -d + 5*x = 2*x - 13. Which is smaller: d or -1/5?
-1/5
Let l = -283/204 - -17/12. Is -1 less than or equal to l?
True
Suppose -7*q + 3 = 5*j - 3*q, -1 = -3*j - 2*q. Let n(i) = -56*i**2 + i + 1. Let c be n(j). Does -57 = c?
False
Let t(c) = -2*c**2 + 12*c + 121. Let u be t(10). Is u greater than 4?
True
Let b = -2347/3 + 782. Is 1149/5 at least as big as b?
True
Let q be (-12)/16*(-4)/(-24)*-1. Let g = q + -3/88. Let c = 0.01 - 2.01. Which is greater: c or g?
g
Let a = -2.9 + 3. Let f = 28 - 28. Let c = f - a. Which is smaller: 3 or c?
c
Suppose 9 = -2*h - v - 0*v, -h - 2*v - 6 = 0. Is h less than or equal to 2/21?
True
Let u = 7 + -6.9. Let k = -26 - -19. Let f = k - -8.2. Which is smaller: u or f?
u
Let g be 160/(-12)*72/96. Which is smaller: g or -12?
-12
Suppose -1165 = -35*k - 255. Does k = 103/4?
False
Let h = -341.067 + 341. Does 2/7 = h?
False
Let o = -0.06 + 1.26. Let m = -468 - -469.4. Let g = o - m. Which is greater: -1/9 or g?
-1/9
Let f = -0.243 + -0.007. Let i = -0.05 + f. Which is smaller: -8 or i?
-8
Let t be 20/(-30) - 22/3. Let r be 3 - 5*(-5)/t. Let z be (-2)/2*-1*1. Is r >= z?
False
Let j =