-8)/(-2). Suppose g = q + 5*w, -3*q + 5*q = -2*w. Which is greater: m or q?
m
Let f(a) = -a**2 + 23*a + 10. Let l be f(23). Let b be (-204)/l*40/(-270) + -3. Suppose 3*s + 3 = 6. Is b > s?
False
Let p = -3757876925977/28457 - -132054571. Let g = p + -4/199. Which is smaller: g or 0?
0
Suppose 0*d = 6*d - d. Let f = 66 - 70. Let j be 4*26/792 - f/(-18). Which is bigger: d or j?
d
Let r(i) = 12*i**2 + 70*i - 11. Let y be r(-6). Which is smaller: -720 or y?
-720
Let s(c) = -35*c - 420. Let l be s(-19). Which is smaller: 1725/7 or l?
l
Let h = -689599/53 + 13013. Which is greater: 1 or h?
h
Let w = 2/967 + 6725/21274. Which is bigger: 1 or w?
1
Let h be (12 - (-994)/(-84)) + (-5)/(-6). Let y be 2/((-944)/(-4))*-2. Which is greater: y or h?
h
Let d(j) = j**3 - 16*j**2 - 23*j + 104. Let q be d(17). Which is greater: q or -17?
q
Let g(u) = u**2 + 10*u + 13. Let o be g(-1). Let q = -23 + -1. Let c be (-4)/6 - 104/q. Which is greater: c or o?
o
Let l = -104 - -115. Suppose 59 = -8*v + l. Let g be (-500)/120 + v/(-4). Is 2 bigger than g?
True
Let w(u) = -31*u**2 - 25*u - 19. Let g(c) = 22*c**2 + 17*c + 13. Let o(k) = 7*g(k) + 5*w(k). Let r be o(-5). Is -723 less than r?
True
Suppose 2*k - 28 = 3*k + 5*f, -4*k - 2*f = 40. Let v be k*(-4)/8 - 6. Let j be (v*(4 - 5))/(-1 + 3). Which is greater: 6/29 or j?
j
Let j = 6194 - 6198. Which is greater: -0.1192 or j?
-0.1192
Let i(q) = 2*q**2 + 3*q - 32. Let a be i(-6). Let s be 4/a + 204/88. Is 3 not equal to s?
True
Let v = 273620.3 - 273620. Let o = 1 + -1.4. Do o and v have different values?
True
Let c be 59 + -54 + 4660/(-922). Which is greater: 0 or c?
0
Let d = 0.164 + -143.164. Let g = d + 144. Are g and 1.59 equal?
False
Suppose -3*o - 18*v + 22*v - 559 = 0, -5*o - 929 = -4*v. Which is smaller: o or -183?
o
Let v(d) = d**2 + 14*d - 55. Let w be v(-17). Let b be w - 1 - 3042/(-606). Are 1 and b unequal?
True
Let u = 221 - 0. Suppose f + 5*h = 53, f + 4*f + 3*h = u. Is 45 <= f?
False
Suppose m + 4*n = 2*m - 20, 5*m - 4*n - 52 = 0. Let r be (-2 - m)*-1*36/2. Is r greater than or equal to 179?
True
Let j(r) = -4 + 17*r - 8*r + 3 + 18*r. Let n be j(1). Let c = n + -27. Is c greater than 6/17?
False
Let n = -929.1 + 928.1. Which is greater: -56 or n?
n
Let q be 2 - 6 - 15/(-4). Let k = 413 + -511. Is k at most as big as q?
True
Suppose -n - 319*b = -322*b + 68, -3*b + 24 = 0. Let w = -71 - -28. Which is greater: w or n?
w
Let d be (-18)/24*16/18. Is -8378 < d?
True
Let n(m) = -150*m - 1188. Let f be n(-7). Which is greater: -152 or f?
f
Suppose 0 = 2*t + 3*m - 26, -t + 26 = t + m. Suppose d = 53 - t. Does 204/5 = d?
False
Let a be ((-240)/(-14))/((-35)/((-5880)/36)). Let v be (4/6)/((-4)/(-474)). Which is greater: v or a?
a
Let n(s) = -s**3 + 6*s**2 + 7*s + 3. Let u be ((-4)/14)/(26/(-546)). Let q be n(u). Let w = -19 - -65. Is w not equal to q?
True
Suppose 0 = -11*s + 13*s + 76. Let i = s + 36. Let m be 1/((-35)/(-15) + i). Which is greater: 7 or m?
7
Let m = -8607 - 27199. Let j be ((-306)/76 + 4)*m. Let u = j - 942. Which is greater: u or 1?
1
Let f be (320/(-400)*(-10)/(-28))/(-1). Which is smaller: -72/65 or f?
-72/65
Let i = 432334833/13 + -99428528999/2990. Let g = i - 2837. Which is smaller: g or 0?
g
Let d(t) = -t**2 + 95*t - 1648. Let r be d(23). Is 396/47 equal to r?
False
Let u = 157 + -157. Let k = 10 - 9. Suppose -r + 0*r - k = u. Which is smaller: -3/13 or r?
r
Suppose -29*t + 5839 - 28923 = 0. Let z be ((-6)/9)/(-2) + t/(-132). Which is smaller: z or 7?
z
Suppose 524 - 83 = 4*r + 5*n, -2*n = -4*r + 406. Suppose 2*x - 4*l + 16 - r = 0, 5*x - l - 265 = 0. Do 53 and x have different values?
True
Let t be (12/(-5))/(2691/(-90) + -1). Let h(u) = u**3 + 25*u**2 - 116*u. Let o be h(-29). Which is smaller: o or t?
o
Let r = -97 + 117. Let l = 3/4789 + 632127/33523. Which is bigger: l or r?
r
Let m = -0.946 + -0.054. Let z = -12.5 + -1.5. Let j = z - -9. Which is greater: j or m?
m
Let v be 4*(-19664)/5632 + 14. Is v at most 0?
False
Let u = -8 + 10. Suppose -r + 98 = u*c + 3*c, c = -2*r + 151. Let v = -120 + r. Which is smaller: v or -45?
v
Suppose 0 = -43*z - 170 + 1116. Which is bigger: 174 or z?
174
Let r be (1 - 4) + 9*8/24. Suppose -3*j - 63 - 150 = 3*p, -4*j = r. Are -143/2 and p unequal?
True
Let x be (-1)/(-5*(-4)/(-2)). Let s(z) = -2*z**3 + 4*z + 5. Let j be s(-1). Suppose 2*m + j*c = -c - 14, -c = 2*m + 2. Is m != x?
True
Let m = -9/64 + 317/1344. Let n(i) = 110*i**3 - 2*i**2 + 1. Let k be n(1). Let b = -109 + k. Is b less than m?
True
Let s(h) = -h**3 - h**2 - h + 36. Let m be s(0). Let t = 136 - 106. Let n be (8/5)/(m/t). Are n and 0 non-equal?
True
Let a = -36519/8 - -4579. Which is smaller: 14 or a?
14
Let z be (3 + -7)*3/(-4). Let u be 6/(-9)*z/(-19). Let v(q) = -1130*q + 10169. Let b be v(9). Are u and b equal?
False
Let c = -6/2905 - -69978/124915. Which is smaller: -7 or c?
-7
Let g(r) = -13*r + 20. Let k = -4 + 1. Let s be g(k). Suppose 56*h = s*h + 36. Which is smaller: -11 or h?
h
Let q(w) = -w**3 - 3*w**2 + 12*w + 19. Let o be q(-5). Let f be ((-320)/1155 + (-8)/(-44))*o. Is f at least 2/11?
False
Let o be (-13)/(-39)*(-4 + 3 + 1). Which is smaller: 2/51943 or o?
o
Let j be (-32)/6*((-15)/4 - -6). Let t(i) = 25*i**2 + 11*i + 19. Let w be t(j). Let v = w + -59305/17. Which is smaller: v or -2?
-2
Let c(u) = 2*u**2 - 21*u - 3. Let w be c(11). Let f be (7 - -1)*(-3 - -1). Which is smaller: f or w?
f
Suppose 3195 - 5150 = 23*q. Does -96 = q?
False
Let b = 0.893616 - 1.339616. Suppose 4 = -a + 3. Which is smaller: b or a?
a
Let c = -4588101911/962724 - -2/240681. Let o = c + 4798. Which is greater: 32 or o?
o
Let b be (123/(-164))/(45165/80). Is b smaller than 1?
True
Suppose -150 = -2*o - q, q - 2*q + 76 = o. Let u be (-194)/(-244) + (-37)/o. Which is bigger: u or -1?
u
Let l be (84/(-784))/((-24)/7). Suppose -1 = 3*u - 10. Suppose 3*g = -0*g - u. Is l greater than or equal to g?
True
Let i be 2 + 3 + ((-28)/(-7) - 4). Suppose -5*x + 3*x + i*y + 51 = 0, x - 4*y - 27 = 0. Is 65/3 < x?
True
Let m = 3/2 + -7/6. Suppose 5*b - 35 = -3*h, -3*b + 48 = h + 27. Is h bigger than m?
False
Suppose -44 + 112 = -17*o. Let h be (8/6)/(o/(-258) - 0). Which is greater: h or 84?
h
Let w be (-214 - 0)/((-440)/22 - -22). Is -97 bigger than w?
True
Suppose -3*y - 110 = 5*z, 0 = -2*y - 2*y. Let r = 24 + z. Suppose 0 = 10*k + r*k - 180. Are 4 and k nonequal?
True
Let d = 63/10 + -2341/370. Let g be 1*(-16532)/(-1628) + -10. Let l = g - d. Is -1/5 not equal to l?
True
Let v = 11587 + -11587. Let c(i) = -2*i**3 + 3*i**2 - i + 2. Let l be c(2). Let k be (-6)/l*(-4)/(-2). Is v bigger than k?
False
Suppose 0*p + p = 40. Suppose -k - k + p = 0. Let d be 7/(-9) - k/90. Which is smaller: -6/5 or d?
-6/5
Let q = -8 + 10. Suppose 0 = v - 4*o - 15, -v - 2*o - 1 - q = 0. Let b(l) = -l**3 + 11*l**2 + l - 6. Let t be b(11). Which is greater: t or v?
t
Let l be (1 + -1)/(19/380*20). Is -30/191 >= l?
False
Suppose 4*i - 91 + 11 = 0. Let v(h) = -13*h - 9*h + i*h + 25. Let c be v(15). Is c less than -7/2?
True
Let p = -55812 - -55811. Let w be -2 - -5294*(-4)/(-10584). Which is greater: w or p?
w
Suppose -v = -2*s + 8, 0*v + 2*s = 4*v + 2. Let d = -17 + 25. Suppose 3*b + d = 7*b. Is b at most v?
True
Suppose q = -4*u - 7, 0*q = -q + 5. Let o be u/(-15)*(8 - 3). Which is bigger: 4/17 or o?
o
Let l = 338.83 + -341. Let i = l - -1.2. Let p = -1.47 - i. Which is greater: p or -1.1?
p
Let w(x) = -199*x - 736. Let o be w(-15). Is 11246/5 bigger than o?
True
Suppose 4*c - 36 = -20. Suppose c*r = 4*v - 4, 5*v + 3 = -0*r - 3*r. Is 1/154 greater than r?
True
Let l = -6163 + 6164. Which is greater: -2/21933 or l?
l
Let w be (4 + (-21)/6)/(4/480). Suppose -9*y = 24 - w. Which is bigger: -7 or y?
y
Suppose 2*i + 57 = -x, -5*x + 9*x = 2*i - 208. Let y be x + 51 - 3*99. Which is smaller: y or -300?
-300
Let t be 3/(-1)*(24 - 1). Let s be t/9*8/(-16)*-6. Is s <= -67/3?
True
Suppose 3*q = -12 + 63. Let i(n) = 2*n**3 + 3*n**2 - 8*n + 4. Let j be i(2). Which is bigger: q or j?
q
Let o(u) = -3*u + 101. Let m be o(33). Suppose 20*z - 17*z - 1107 = -5*d, -224 = -d + m*z. Do 222 and d have different values?
False
Let d be ((-106)/(-66))/(2/12). Suppose 2003*t + 1980 = 975*t + 1248*t. Is t <= d?
True
Let v = 7 - -25. Let l be ((-26)/v)/(3 - (-