= -q*m**2 + m**3 - 5*m + 4*m**2 + 4*m**2 + 1 + 4*m**2. Let h be p(-5). Which is smaller: h or 5/33?
5/33
Let i(k) = 25*k + 1096. Let m be i(-44). Let n = 0.008 + 32.992. Which is smaller: m or n?
m
Let n be 2 - -3 - -5 - 5. Suppose 0 = -7*d + 2 + n. Which is smaller: d or 1/70?
1/70
Let q = -403 + 1196/3. Suppose -70*n + 16890 = -40*n. Let w = -566 + n. Which is greater: w or q?
w
Let m = -152 - -917/6. Suppose -65 = -15*o - 20. Suppose -3 = o*i + 3*h, -3*i - 5*h = -i + 11. Are m and i nonequal?
True
Let a(z) = z**3 - 130*z**2 - 134*z + 381. Let g be a(131). Is g at least as big as -106/9?
False
Suppose 334 + 116 = -5*b - 2*z, -2*b - 5*z - 201 = 0. Let u = b + 56. Which is smaller: -31 or u?
u
Let x = -0.205 - 136.795. Let u = 133.9 + x. Which is smaller: u or 4?
u
Suppose 10*k - 77 = 3*k. Suppose 186 = -8*g + k*g. Suppose -2*p - 111 = 3*p + f, 4*f = 3*p + g. Is p at most -20?
True
Let z = -367892/140963 + 381/146. Which is smaller: 1 or z?
z
Suppose 5*s - 3*r - 12 = 8*s, -s + 2*r + 5 = 0. Which is smaller: 222 or s?
s
Suppose 2*n + z = -126, 3*n - 5*z = -n - 266. Suppose 3*a - 270 = 4*l, 0 = 3*l - 16*a + 14*a + 202. Is l at least as big as n?
False
Let s be 7 + (-16)/(-40)*-5 + 377/(-74). Which is greater: s or 0?
0
Let t be (6/(-8)*1)/((-93)/(-49476)). Let f = t - -411. Which is bigger: f or 11?
f
Suppose s - 7 = 5*i, 2*s + 5*i - 122 = -48. Suppose -s = -8*p - 19*p. Which is greater: -2/321 or p?
p
Let m = -10102 - -21365. Is 11261 at least m?
False
Let d be (48137/185)/((-36)/(-15)). Is 109 at most d?
False
Let v be 3/((-5 + (-28)/(-6))/(18/81)). Is -117/38 > v?
False
Let k(a) = 572*a - 1. Let b be k(0). Is -78/125 smaller than b?
False
Suppose -3*d - 4*h + 2388 = 0, 0 = -10*d - 4*h + 6162 + 1742. Which is greater: d or 1?
d
Let n be 2/42 + 2243684/1722. Is 1300 equal to n?
False
Let q = -6/1595 - 1577/4785. Which is greater: q or -41?
q
Let f(w) = -w. Let m be f(1). Let n = 8/67 + -555/4087. Is n less than m?
False
Let a = -276786/95 - -14564/5. Let m = -3 - -2. Which is smaller: m or a?
m
Suppose -x = 4*x - 15. Let u be (-1)/3*0/6. Suppose -3*m + v + 46 = u, -52 = -x*m - v - v. Which is greater: m or 17?
17
Let h(n) = -33*n - 2. Let j be h(1). Let i = j - -52. Let a = -2 - -20. Is a > i?
True
Suppose 6160 = 4*t + 84. Suppose -62*y = -31*y + t. Does y = -51?
False
Let n = 345.4 + -328.1. Which is bigger: n or 2?
n
Let m = -542.7 + 510. Let g = -447 + 483. Let c = g + m. Which is smaller: c or -0.1?
-0.1
Let c be (-1*(-24)/(-18))/((-48)/(-36)). Is c greater than 51/445?
False
Let w = 426.6 - 379. Let p = w + -130.6. Is p <= 0?
True
Let c be (22 - 8712/(-22)) + -4 + (2 - 0). Is 415 bigger than c?
False
Suppose 0*d - 4*n - 19 = -5*d, 5*n - 4 = -3*d. Suppose -3*y = 5*j - 4*y + 12, d*j + 4*y = -21. Let r be 291/(-153)*j - 5. Which is smaller: 1 or r?
r
Suppose 3*o = 3 - 18. Let w be ((-37235)/680)/(-11) + o. Do w and 1 have different values?
True
Suppose -4*u + 31 = -3*c + 37, 0 = 4*u - 2*c + 4. Let i be -3 - (-1)/(6/15). Let n = i - -9/10. Do u and n have the same value?
False
Let l = -0.0436 - -0.0636. Is 1/18 equal to l?
False
Suppose -17*w = -20*w - 369. Let a = 34 + w. Let q = a + 90. Which is smaller: 5 or q?
q
Suppose 3*m - 737 - 290 = -5*t, t - 195 = 2*m. Let z = -204 + t. Is -4/35 at least as big as z?
True
Let h = -211 + 131. Let j = -59.5 - -63. Let d = 3.5 - j. Which is smaller: d or h?
h
Suppose -3*c = x - 6*x - 8, 2 = 2*c - 4*x. Let n(q) = -4*q + 31 - q**2 - 10 + c - 2*q. Let t be n(-9). Which is smaller: t or 16?
t
Let z be 4 + (25/(-10) - -3) + (-1080)/(-16). Suppose 4*k - 308 = -4*g, 2*k + 2*g - 4*g = 138. Which is smaller: k or z?
z
Let q be ((-5)/10 - 0)*(1 - 1). Suppose q*u = 6*u + 312. Let n = 46 + u. Which is bigger: -1 or n?
-1
Let h = 86/27 + -95/27. Let b = 75 + -242. Is h greater than b?
True
Suppose 0 = -4*q - 0*q + 12. Let u be -149 - ((2 - 1) + -6 + q). Let t be 63/u + 0*2/(-4). Which is smaller: 1/2 or t?
t
Let g = -234993 - -15744183/67. Let c = -35965/6834 - g. Is 0 not equal to c?
True
Let d be (6832/70 - 19)/((-1)/(-10)). Which is greater: d or 788?
788
Let t = -15.82 + -0.18. Let l = t - -53. Let u = l + -23. Which is greater: u or 2?
u
Let q be (456/100*1)/((-206)/21115). Are -468 and q non-equal?
True
Let g = 17633 + -17632. Which is bigger: g or -1533/5?
g
Suppose 3*m + 2*a - 5*a - 27 = 0, -2*m + 4 = -4*a. Suppose w + 0*w - 3 = 0. Suppose 49 = 3*u + q, 6*u - 35 = 4*u - w*q. Is u equal to m?
True
Let z = -66.67 + 47.656. Let t = z - -0.014. Let x(g) = -g**3 + 5*g**2 - g + 6. Let j be x(5). Is j not equal to t?
True
Let t = 1802 - 1758. Is 13 at least as big as t?
False
Let w = 17215/72 - 2054/9. Is 11 smaller than w?
False
Suppose -5*t + 22 = -q, 2*t = -3*q + 8 + 11. Suppose -3*u + q*y = 162, -4*u + 2*y = 5*y + 237. Is 3 at least as big as u?
True
Let u = -11408 - -10332. Are u and -0.3 nonequal?
True
Let g be ((-8)/(4 + -3))/(0 + -2). Let j be 6/g - (-126)/36. Suppose 7*s = 2*s + 5*x + 45, 5*s = -j*x + 55. Which is smaller: s or 8?
8
Let c = 71 + -66. Suppose -217 - 38 = c*o. Is o != -101/2?
True
Let w(t) = -t**3 - 11*t**2 + 23*t - 30. Let o be w(14). Let n be 1/(-6)*o/(-180). Which is smaller: -5 or n?
-5
Let x be (6/(-146052)*3)/(7 + (-31)/4). Is x at most as big as -1?
False
Let r = -110.0078 + 0.0078. Let u = r - -112. Which is bigger: -11 or u?
u
Let a = -73 - -72. Let o be 1112*(-5)/(-10) - a. Let n = o - 1135/2. Is -10 > n?
True
Let r = 3637/5 - 5124/5. Which is greater: r or -297?
-297
Let b be ((-18)/32)/3*(-1317184)/1056. Do 235 and b have the same value?
False
Let p = -249497/2170 - -55/1302. Which is bigger: -114 or p?
-114
Let a be -158 - ((-1)/(5/(-10)) + -1). Let f = -159 - a. Is 1/36 < f?
False
Suppose v + 4291 = 4288. Let k = 2.2 + -9.2. Let m = k + 2. Which is greater: m or v?
v
Let d be (6/(-9))/((-1)/3). Let b be (246/(-45) - -4)*12. Let q = b + 706/35. Is d >= q?
False
Suppose -7*c - 18045 = -10*c. Let s = c + -138373/23. Which is greater: -2 or s?
s
Let f be (0/(-14) + (-94)/(-20))/((-21)/28). Which is smaller: -0.3 or f?
f
Let w = 68 + -64. Suppose -2*c - 2*c = -w*d - 24, -22 = 4*d - 3*c. Let t be 2/9 + (-94)/18. Is d at least as big as t?
True
Suppose 25 = 4*c + x - 528, -4*c - 4*x = -544. Is c smaller than 9?
False
Suppose 7*t = -8 + 232. Suppose 0 = -5*o - t + 37. Let g be (-2 - (o + -1))*(-6)/(-32). Which is bigger: 0 or g?
0
Suppose -y - 15 = -17. Suppose 14 = 2*a - 0*a + 3*q, 24 = 5*a + y*q. Suppose m - v + 75 = -a*m, m + 4*v = 6. Which is bigger: m or -13?
-13
Let y be (7/(-35))/(1/(-15)). Let l be -5 - y/((-288)/452). Which is smaller: l or 0.1?
l
Let r = 3212/9 + -8078162/22635. Which is bigger: 0 or r?
r
Let m(p) = -p**3 - 19*p**2 - 29*p - 264. Let r be m(-19). Which is smaller: r or 288?
r
Let a = 0.1677 - 0.0477. Is a greater than 14?
False
Let m = -24073 + 25035. Is 953 greater than m?
False
Let y = 1925/18 + -107. Suppose -4*c - 4 = 4*b, 0 = 3*c - 3*b + 45 - 24. Which is smaller: c or y?
c
Let t = 51 - -152.4. Let z = 203 - t. Are -0.02 and z nonequal?
True
Let i be ((-52)/182)/(18/(-63)). Which is bigger: i or -2/3439?
i
Let m be (-16)/(-40)*(-70)/(-4)*(-24)/(-112). Which is greater: m or 3?
3
Let l = 6562 - 6736. Which is bigger: l or -3/7?
-3/7
Let r(k) = -k**2 - 41*k + 3388. Let j be r(42). Does j = -0.41?
False
Let q = 2230 - 2229. Are 3/3137 and q unequal?
True
Suppose -3*x = 2*b + 104, 2*b - 4*x + 114 - 10 = 0. Let f be (-37120)/720 - ((-64)/(-36))/4. Is f less than b?
False
Let r = 448 + -448.0106. Let n = r - 0.0894. Is 895 not equal to n?
True
Let n be (445591/148)/(70/(-16)). Let b = n - -688. Which is smaller: b or 1?
b
Let x = -3833 + 3991. Are 158 and x equal?
True
Let i be (-84 + -3)*(4 + -7). Suppose -5*c + 3*u + i = -28, 0 = 4*c - 5*u - 239. Let b be (c/(-26) - -2) + 3108/2457. Which is smaller: 2 or b?
b
Suppose 2*h - 1468 = -2*a + 3272, a = 5*h - 11868. Is 2375 greater than or equal to h?
True
Let z be (2/(-10))/((-10)/5300) + 9. Is z not equal to 5?
True
Suppose 10 = -2*k, -s + 2*k + 25 = 2*s. Suppose s*w - 37 = 4*m + 220, 5*w + 5*m = 275. Let a = w + -62. Is -31/4 > a?
True
Let d be (-2)/(-9) - (-74)/(-306). Suppose 2*j - 68 = -76. Let l be (150 + -150)*1*2/j. Which is smaller: l or d?
d
Let i(m) = m**3 + 5*m**2 + 5*m - 4. Let p be i(-4). Let n 