t s(q) = q - 1. Let o be s(r). Let t be (-77)/(-77) + -1 + -25. Which is smaller: t or o?
t
Suppose 3*v - 932 = 5*f, -1164*f - 745 = -1160*f - 3*v. Are -1307/7 and f nonequal?
True
Let i = -261 + 258. Let y(h) = 7*h**3 + 2*h**2 + 2*h + 1. Let m be y(-1). Let d be m/i*6/5. Is 2 at most d?
True
Let s be (22419/(-318))/((-2)/72*2). Is 11408/9 at least s?
False
Let k = -29227 + 29232. Which is smaller: k or -470/17?
-470/17
Suppose -2 + 5 = -3*m, 0 = a + 4*m + 803. Let r = a + 802. Which is smaller: r or 32?
r
Let v = -327.287 - -327.4. Which is bigger: -3 or v?
v
Let x be ((-606)/(-86))/((-79)/79). Which is smaller: -7 or x?
x
Let l = -166 + 238. Let k = -72 + l. Suppose k = 3*q + 21. Which is bigger: -6 or q?
-6
Let x = 15775 - 15761.014. Let n = -0.014 - x. Let i = -14.04 - n. Which is smaller: 0 or i?
i
Let r(z) = -z**3 - 8*z**2 - 7*z - 1. Let v be r(-7). Suppose 4*c + 31 = -41. Let h be (-4 - 42/c) + 102/62. Which is smaller: v or h?
v
Let k be (-4)/(-1) - (-9)/(15 - 6). Suppose -5*f + 0*f = 2*q - 279, -k*q = 5*f - 705. Is q bigger than -2?
True
Let l = 2606 + -2605. Is l greater than or equal to -39/118?
True
Let k = -74 + 18. Let j be (-1214)/22 + 8/44. Is j greater than k?
True
Suppose -12*r = -28 - 20. Let i(n) be the second derivative of n**5/20 - n**4/3 - 3*n**2/2 + n. Let c be i(r). Is -7/3 at most c?
False
Let t = -6/14413 + 12467281/86478. Is t > 144?
True
Let g = -4464 + 35717/8. Let x(y) = 2*y - 2. Let v be x(5). Suppose -3*w - 6 = 4*f - 14, -4*f + v = -w. Do g and f have the same value?
False
Suppose -88*m + 65*m = -46. Let c be 21/(-14)*(-8)/(-3) - -4. Which is smaller: c or m?
c
Let a be 8 + (-13)/(221/136). Which is greater: a or 1/6306?
1/6306
Let k be ((-807232)/(-7))/((-15444)/168). Let s = k + 11290/9. Is 1 not equal to s?
True
Let p(o) = -2*o. Let s be p(8). Suppose 451 = 4*f - z, 9*z - 4*z = -2*f + 253. Suppose -4*u + 42 = f. Is u greater than or equal to s?
False
Let c be (-4)/10 - 21/(-15). Let v be (-15 + (-76970)/(-5130))/((-14)/(-42)). Which is greater: c or v?
c
Suppose 4*a - 8 = -i, -2*i + 7 = -0*a - a. Let j be (-2)/7 + a/(945/312). Let k(m) = -m**2 + 16*m - 16. Let b be k(15). Is b equal to j?
False
Let k = 0.109 - -98.891. Let f = k - 33. Let c = f + -65.6. Is 0.3 greater than c?
False
Let p = 455 + -444. Suppose -4*s + g = 1, 0 = 8*s - p*s + g - 2. Which is bigger: s or -2/77?
s
Let c = 17 + 25. Let k be 506/(-6) + 14/c. Let u = -287 + 203. Is k at least u?
True
Let f = -18 + 19. Let s(r) = -r**2 - r + 1. Let a be s(f). Which is bigger: -2/253 or a?
-2/253
Let x be -12*510/(-2520) - (-6)/(-14). Which is smaller: x or 29/35?
29/35
Let y be ((-810)/132 - -6)*2. Suppose -3*j + 18 = u, 0 = u - 0*u - 3*j + 12. Suppose 1 = s, 7 = k + 3*s + u. Are y and k unequal?
True
Let h = 167 + -91. Let c = h - 72. Suppose 2*z + 2*u - 14 = 0, z = c*z - 4*u - 7. Is z greater than 7?
False
Let j = 995/24 - 130/3. Let u = j - -17/24. Which is greater: u or 0?
0
Suppose 0*g - 2 = g, -4*b + 3*g = 30. Let j be (30/b + 3)/((-1)/39). Suppose 15 - j = -v. Which is smaller: v or -9/7?
v
Let w = 13918 + -14560. Is w at most -644?
False
Let b(n) = 2*n**3 + n**2 + n + 1. Let o be -6 + 2 + 20/5. Let y be b(o). Do -58 and y have the same value?
False
Let i be (24/26)/(2266/1339). Let v = -726 + 5090/7. Are i and v unequal?
True
Let p be ((-31)/(-7) - 60/140) + (-1314)/231. Is p >= -3?
True
Let i = -2 + 2. Let b = 87 - 83. Let n be ((-48)/(-1232))/((-6)/b). Is n smaller than i?
True
Let w = -6065 + 6064. Which is smaller: w or -115?
-115
Let b(i) = 47*i**3 - 2*i - 1. Let f be b(-1). Let x = -90413 + 90370. Is f greater than or equal to x?
False
Suppose -14*l + 111 + 86 + 27 = 0. Which is bigger: 384/23 or l?
384/23
Let z = -3272 + 3244. Suppose -3*p + p = -4. Let y be 5/(-5)*15*p. Are z and y equal?
False
Let f(u) = -9*u**2 + 64*u - 760. Let n be f(24). Which is greater: -4406 or n?
-4406
Let a be (-25)/(-5) + -3*1. Suppose -5*c + 4*p = 6, -2 = -3*c - 8*p + 9*p. Let i be (-8)/18*(-105)/28*c. Which is smaller: i or a?
a
Let c be (-1 - (-15)/6)*1*46560/90. Which is smaller: c or 782?
c
Let z be 2/(-2 + 2 + 2). Suppose p + 4*j - 6 = 0, 3*p + j - 4*j = 18. Suppose 0 = 3*s - 3*k, p*s - 4*s + 5*k = 0. Which is greater: s or z?
z
Suppose -3*i + r = 94, -85*r = -83*r - 14. Is 3 less than i?
False
Let n = -107 + 116. Suppose -n*f = -f + 512. Which is smaller: f or 2/7?
f
Let t be 11/((-11)/(-3)) + 19/(-9). Let n = 218/225 - t. Which is smaller: n or 0?
0
Let j = -67 - -156. Which is smaller: 98 or j?
j
Suppose -59247 = 16*r + 71*r. Which is smaller: r or -688?
-688
Suppose -11*p = -8 - 36. Let z be ((-14)/p)/(26/676). Which is smaller: -92 or z?
-92
Suppose -187*o + 111 = -224*o. Is 2 at least o?
True
Let r = -52985767/165 + 321127. Which is smaller: 0 or r?
0
Let g = 10 + -186. Let h be ((-16)/g)/(2/8). Let k = 3 + -1. Which is smaller: h or k?
h
Let m = -537 - -530. Let f be m/4 - (-35853)/20444. Which is greater: -1 or f?
f
Let v = -7/6 - -2/3. Let q = v - 7/4. Let l = -7856.1 + 7856. Which is smaller: l or q?
q
Let l = 545 + -404. Is l equal to 154?
False
Let b = -73.38 + 98.3. Let p = b - 25. Let v = 65 - 67. Which is bigger: v or p?
p
Let w = 5221454 + -2182569075/418. Let z = -38044/12287 + 6/1117. Let g = z - w. Is g bigger than -1?
True
Suppose 84*h - 1112 = 80*h + 4*o, o = 5*h - 1386. Which is smaller: 1945/7 or h?
h
Let c(g) = 2*g**2 - 6*g + 6. Let y be c(1). Suppose -5*s + y*z = -21 - 1, 4*s + 3*z = 36. Which is greater: s or 5?
s
Let u(k) = k**2 - 3*k + 3. Let j be u(2). Let o = -11 + 12. Let g be o/(-3) + ((-104)/(-21))/13. Is j equal to g?
False
Let w(s) = s**3 - 10*s**2 + 10*s - 5. Let i be w(9). Let v(c) = 4*c + 4*c**2 - i + c - 3*c**2 + 0. Let r be v(-6). Is 2 smaller than r?
False
Let x be 8/(-2) - (-9 - -7). Let t be (x/(-3))/((-7)/(-126)). Suppose 0 = 14*l - t*l + 2. Which is greater: -9/7 or l?
l
Suppose l - 33 = -w, 0 = 15*l - 8*l + 3*w - 219. Which is bigger: -95 or l?
l
Suppose 119 = -4*s - 89. Let y be (-3223 - -23)/25*(-2)/(-4). Let t = s - y. Which is smaller: 15 or t?
t
Let k be (1/3)/((-2)/(-8))*(22 - 37). Which is greater: k or 318?
318
Let m = 0.13 - -6.87. Let b = -961.9 - -1130. Let l = 168 - b. Are m and l unequal?
True
Let u = 22633/12215962 + -3/1958. Which is smaller: u or -1?
-1
Suppose -i - 88 = -5*y, -12*y + 5*i = -7*y - 100. Let r = 117/7 - y. Let x = 6.4 + -7.4. Which is smaller: r or x?
x
Let k be (-2300)/(-24) + 1/6. Suppose -24*t - k + 504 = 0. Which is bigger: 13 or t?
t
Let i = -11181 + 14944. Which is smaller: i or -2?
-2
Let o = -290897/27472 + 180/17. Is o less than -1?
False
Suppose 0 = 7*i - 13*i - 12. Let y be 16/(2 - i) + 1. Let o(s) = 2*s - 18. Let u be o(y). Which is smaller: 0 or u?
u
Let b = 488 + -1961. Do b and -1472 have different values?
True
Let o(f) = 631*f + 3172. Let y be o(-5). Is y greater than 461/25?
False
Suppose v + 1 = 5*i + 30, 5*v = 20. Let w be (i/(-90))/(4/6). Let k = 0.12 + -3.12. Are w and k nonequal?
True
Let a be (29/(-12))/(9/81). Let n = a + 22. Suppose 7 - 6 = r. Which is bigger: r or n?
r
Suppose -53*m - 105822 = 182144 + 44715. Is m at most as big as -6276?
True
Suppose -2 = 5*g - 22. Let j be (-302)/(-588) + (-2)/g. Let a be 1/(-13) - (-27 + 13068/468). Is j at least a?
True
Let i be 12/8 + (-13)/(-2). Suppose -2*m + 3*o - 4 = 2, -4*o + i = 4*m. Let t = -135/14 - -14417/1498. Which is bigger: t or m?
m
Suppose 6*l - 21*l = -30. Let j = 7941/7 - 1133. Do l and j have the same value?
False
Let k be ((-36)/24)/(2/(-4)). Let q be 6/16 + (-261)/(-72) - 1. Suppose -k = -4*w - q*z - 0, -w + 6 = -z. Which is smaller: 10 or w?
w
Suppose 54*a - 5791 = -38303 + 3136. Is a at least as big as -540?
False
Let w = 492 - 144. Let c = -349 + w. Is -12/61 < c?
False
Suppose 5*d - 4 - 1 = 0. Let i = 7890130/727 - 10853. Let u = 5078/7997 - i. Which is greater: d or u?
d
Let k(c) = 24*c + 3. Let l be k(1). Let v = -275 + 307. Which is smaller: l or v?
l
Let k = -0.38 + 0.22. Let q = -0.04 + k. Let t = 0 - q. Which is bigger: t or 4?
4
Let r = 23.9 + -25.984. Let j = 10.016 + -10.1. Let b = r - j. Do b and -0.26 have the same value?
False
Let s(r) = -r**2 - 13*r + 6378. Let n be s(-87). Let t = 2727/2 - 1423. Which is bigger: t or n?
t
Let d = 26 + 14. Let u = 50 + -10. Let t = d - u