et x(g) = -g**2 - 3*g + 2. Suppose 0 = 2*w + 6, -n + 0*w - 5*w = 19. Let j be x(n). Let p be j*((-4)/8)/(-1). Which is smaller: 2/71 or p?
p
Let a = -23303/170085 - 16/1479. Is 1 at least as big as a?
True
Let s(j) = 6*j - 6. Let n be s(-4). Let l be (-108)/n + -4 - (-1116)/(-10). Is l equal to -111?
False
Let f = 189770807/240 - 790710. Let t = 5/48 + f. Which is smaller: 3 or t?
t
Let g(w) = -17*w + 12. Let n be g(-1). Which is bigger: n or 19?
n
Let a be 10/45 + (-25)/(-9). Let y(b) = b + b**a + 20*b**2 + 8*b**2 - 13*b**2 + 14. Let z be y(-15). Which is smaller: -4 or z?
-4
Let z = -3285 + 3254.58. Let x = -29.9 - z. Which is greater: 2 or x?
2
Suppose -3*v = q - 61, -4*v - q + 77 = -4*q. Let k be 79/255 + v/(-150). Let n = k - 26/51. Which is smaller: n or -1/4?
n
Let q = -17989 + 17989. Are 60/739 and q non-equal?
True
Let p(v) = 13*v - 43. Let r be p(-4). Let q = r + 102. Which is smaller: q or 10?
q
Let w = -1.4 + -175.6. Let k = -177 - w. Does k = -16?
False
Let g = 544.89 + -545. Which is smaller: -2/9 or g?
-2/9
Let d = -48.14 + -12.56. Let k = 41.3 - d. Are -1/4 and k unequal?
True
Let y = 0.479 - 0.36. Let i = -3.119 + y. Are -0.08 and i equal?
False
Let h = 168 + -211. Let j = -42 - h. Is -6 greater than j?
False
Suppose 36*c + z = 38*c + 454, 0 = 2*z - 4. Is -224 at least c?
True
Let h(m) = 15*m**2 - 3*m - 1. Let y be h(-2). Suppose -888 = -2*j - 4*o, -11*j + 447 = -10*j + o. Suppose 66 = -6*n + j. Which is smaller: y or n?
n
Let x be (-5 - (-629)/51)*(1 + 2/4). Which is smaller: x or 307/30?
307/30
Suppose 117*f + 90 = 112*f. Let m be (-1 + (-14)/f)/(4/(-18)). Is m != 6/23?
True
Let b = 15 - 14. Let a be b*4 + -7 + 6. Suppose 0*x = -3*t + x + 3, -2*t = a*x - 2. Is t greater than or equal to 25?
False
Let l(b) = b**2 - 25*b + 48. Suppose -8*q + 47 + 113 = 0. Let z be l(q). Which is smaller: -49 or z?
z
Suppose -54*c + 38*c = 9648. Is -605 less than c?
True
Let y be (9/(-3))/(12/16). Let q = -5 - y. Does q = 2?
False
Let a = -7882889/8684 + 3631/4. Which is greater: a or -2?
a
Let p be 0/(-1) - (-639)/9. Let i(v) = 66*v + 7792. Let m be i(-117). Is p at least m?
True
Suppose 4*q - 3*x + 60 = q, -50 = 3*q + 2*x. Suppose 4*y + 4 = 3*b, 4*y + 0*y = -b - 20. Let g be -22 + 0 + b/(-2 + 1). Is g > q?
False
Suppose -14*a - 4*a = 12474. Is -688 != a?
True
Let y(a) = -29*a**2 + 21*a + 14. Let s be y(-1). Is s < -12?
True
Let p be (10 + -13 + 7)/(-1 - 80). Which is greater: p or 2?
2
Let w(b) = -b + 10. Let g be w(7). Suppose 4*s + 4 - 1 = t, g*t - 9 = 3*s. Which is smaller: s or -5/21?
-5/21
Let g = 47.3 - 47.2. Let j = g - 0.16. Let f = 0 - -1. Which is smaller: f or j?
j
Let l = 549 - 536. Which is bigger: l or 14?
14
Suppose 3*v + 9*v - 48 = 0. Suppose -v*a = -3*a + b + 111, 3*a = b - 337. Which is greater: 2/5 or a?
2/5
Let k(s) = 225*s - 39. Let t be k(-4). Which is bigger: t or -938?
-938
Suppose 448*q = 447*q + 513. Let l = 628 - q. Is l less than 112?
False
Let b(l) = l**3 - 24*l**2 + 23*l - 3. Let s be b(23). Suppose 40 = -13*z + 14. Which is smaller: s or z?
s
Let s = 179.727 - 180. Let t = s - -0.003. Let b = 3.27 + t. Which is smaller: b or -9?
-9
Let l(u) = -85*u - 8. Let h be l(1). Let x be (h/46 - -2)*(9 - 5). Let j be 3/4 + 1/4. Which is smaller: j or x?
x
Let i = 502737/61 - 8242. Is -1 > i?
False
Let i = 93 + -141. Let g = 52 + i. Suppose 3*h - 4*y - 15 = -9*y, g*y = h + 12. Is -3 not equal to h?
True
Let o = -595 - -596. Is -28/267 not equal to o?
True
Let j = -41913 - -168597/4. Which is greater: 236 or j?
j
Let j = -30 + 66. Let r be ((-16)/j*-24)/(-10). Let h be 15/(-30) + 9/(-6) + 0. Is h > r?
False
Let f = 378.41 + -334.41. Are 0.7 and f equal?
False
Let b be 3066/(-4) - 2 - (-251 - -247). Which is smaller: 3/2 or b?
b
Suppose -6*q = 705 - 711. Let b be ((110/6)/5)/q. Let h = -6 + 9. Are b and h equal?
False
Let n = 2212 + -126082/57. Which is smaller: 28 or n?
n
Let d = 15376 + -707381/46. Let z = -47731/25806 - d. Is 1 at least z?
True
Let d be (2 + 55/(-45))*2*(-3)/10. Is 6 greater than d?
True
Suppose -4*d - 15 - 1 = -4*a, 2*a - 11 = 5*d. Suppose -2*u = -2*y + 86, -4*u = -a*y - 16 + 191. Which is greater: -5 or u?
-5
Let c be 3/6 + (-34)/4 + 10. Are -4 and c equal?
False
Let b = 31219430/401 - 77854. Which is smaller: 0 or b?
b
Suppose -2389 + 1277 = 556*i. Let k be ((-168)/(-15))/(4/50). Which is bigger: k or i?
k
Suppose -4*t = -4*z + 4 - 28, -3*t - 4*z = -11. Let u be (-12)/30 - (-1267)/t. Is u less than or equal to 253?
True
Let j = -3967 + 3252. Is -715 at least as big as j?
True
Suppose 5*v - y = -233, -v - 45 = -5*y - 8. Let o = -496/11 - v. Let k be 4 - (-7)/(28/(-12)). Which is smaller: k or o?
k
Let v be (1257/3 - (-5 - -3))/(462/1008). Is v bigger than 918?
True
Let d be (-3855)/66 + (-192)/176. Suppose 14 + 106 = -2*l. Which is smaller: l or d?
l
Let s be (-8)/(-3 - -11) - (1 + -6). Suppose -21*i + 23*i - s = 0. Is 0.089 at least as big as i?
False
Let a(r) = r**2 - 8*r. Suppose 0 = w + 3 - 9. Let m be a(w). Suppose 260*q + 673 + 2187 = 0. Is m at most q?
True
Let x(b) = 4*b - 19. Let o(l) = -l**3 + 3*l**2 + 2*l. Let v be o(3). Let h be x(v). Suppose -h*r + 24 = 19. Which is bigger: r or 3?
3
Let b = 0.252 + 116.748. Let y = -117.107 + b. Let w = -0.413 + y. Is 0.1 >= w?
True
Suppose 6*d - 21*d + 90 = 0. Suppose -56*m = -54*m - d. Let f be 10/(-14) + (-8)/28. Is f bigger than m?
False
Let t be ((-1)/2)/(1/(4 - 18)). Let n be (4/21)/((-26)/t + 4). Is n equal to -19/7?
False
Let l(v) = 10*v - 5. Let w(z) = 5*z - 2. Let r(q) = -6*l(q) + 13*w(q). Let a be r(10). Let g be (-12)/a + (-2)/(-9). Which is greater: g or 1/13?
1/13
Let c be (-6)/4*(754/39 + -20). Which is greater: c or 8/99?
c
Suppose r - 5*m = -20, 2*r + 3*m - 10 = 2. Suppose -w - 4*y = -20, 3*y = -4*w - r*w + 15. Let x be (-768)/576*6/28. Is w > x?
True
Let o = -4854 - -63101/13. Suppose 0*h = 4*h. Is h smaller than o?
False
Let y(u) = u**3 + 21*u**2 - 29*u - 553. Let l be y(-21). Which is smaller: 53 or l?
53
Let w = 115 - 55. Let t = 59.9 - w. Which is smaller: 2/15 or t?
t
Let y be 2/4 + (-90)/148. Suppose -119*q + 105*q = 0. Suppose 0 = w + s, q = s + 2*s - 3. Is y greater than w?
True
Let k = 75 - 125. Let g be (-3)/(-10) + 865/k. Which is greater: g or -78/5?
-78/5
Let f be 1/((24/(-304))/((-3)/(-2))). Do f and 0 have the same value?
False
Let s = 7208 + 4878. Which is smaller: s or 12085?
12085
Let b = 12.148 + -11.887. Are b and 6 non-equal?
True
Let m(u) = -u**3 - 9*u**2 - 6*u + 9. Let s(h) = -7*h + 13. Let g be s(3). Let y be m(g). Which is smaller: y or -28/5?
y
Let i be ((-10)/152)/((-27687)/(-101178)). Let w = i + 3/839. Is 1 <= w?
False
Let f = 370.69 + -371. Let m be -2 + -1 + 504/147. Which is smaller: f or m?
f
Let j = -17900 + 19107. Is j greater than or equal to 1202?
True
Let t = 121/899 - 278/29. Which is bigger: t or -8?
-8
Let y = 857/3 + -826/3. Which is smaller: y or 2?
2
Let d be (-16)/(-42) + 777/147 + -5. Is d smaller than -5/163?
False
Let t be (57/38)/((-6)/(-16)). Suppose -5*p - 3*i + 193 = i, -t*p = i - 161. Is p <= 41?
True
Let g(k) = -6*k**2 + 180*k - 175. Let u be g(29). Is -3520 smaller than u?
True
Suppose 1398*t - 1141 = 1414*t + 1627. Which is greater: -1377/8 or t?
-1377/8
Let r = -5606 + 29173/5. Is r less than or equal to 228?
False
Let n be 548/(-7) + (-2)/(-7). Let m = -340691033/4321662 + 2/720277. Is n <= m?
False
Let s = -1866.1 - -1866. Which is greater: s or -2/143?
-2/143
Let a = -14880 - -14880. Which is smaller: a or -21/2066?
-21/2066
Let c = 0.929 + 0.151. Let k = -0.8 + c. Is k bigger than -2/11?
True
Let d = -115649942969/1259420 - 691/62971. Let f = d + 91777. Let i = 205/4 + f. Which is bigger: i or 0?
i
Suppose -8 + 5 = -r. Let y be 0/(-1*(r + -2)). Let b be (-2)/(-11) - y - 243/(-55). Are b and 5 equal?
False
Let b be 42*(532/(-84) + (0 - -3)). Does b = -15?
False
Let j be 228/20 + 12/20. Suppose h = -3*o + 61, o + j = -h + 31. Suppose -w - 3*t = -15, -5*w - t + 83 = -20. Is w smaller than o?
False
Let g(h) = -6*h + 2*h**3 - 35 + 23 - 3*h**3 + h**2 + 13. Let m be g(0). Which is smaller: -8 or m?
-8
Let j be ((-1)/982)/((-2)/8). Let s = -13995768197/35349400155 + -1/14398941. Let h = s - j. Which is smaller: h or 4?
h
Let k = -1047 + 976. Let z = 181 - 253. Which is bigger: k or 