*3 + 3*q - 57. Let s be (-4)/(-6) - (-20)/6 - 4. Suppose -r = 2*k - 10, s = 4*r - 5*k + k + 20. Let h be m(r). Is h != -56?
True
Let d = -11 + 15. Suppose -2*l + d*l + 5*c + 17 = 0, -2*l = 2*c + 8. Let p be (14 + 6/(-3))*((-6)/(-39))/(-2). Which is bigger: l or p?
p
Let k(w) = w - 11. Let t be k(6). Let r = t + 4. Suppose 0 = -664*d + 681*d + 289. Which is greater: d or r?
r
Suppose 5*g = 8*p + 851, 4*p - 215 = 15*g - 16*g. Is 191 less than or equal to g?
False
Let g be (-130)/4*5745/(-46675) + 20/(-5). Is g at least as big as -1/4?
True
Let z = 1.446 + -1.346. Suppose 0 = 2*o + 2*o - 8. Let w be o/(-6)*(-6)/28. Which is smaller: w or z?
w
Let k = -138 - -219/2. Suppose 2*z - o + 3*o = 0, 15 = -3*z + 2*o. Let u be z/(-4)*(-56)/(-147). Is u at most as big as k?
False
Suppose 2*w - 3*f + 613 = 1539, 5*f + 40 = 0. Which is smaller: w or 448?
448
Let b = -8250114 - -37777272431/4579. Let l = b + 3/241. Let n = 229/3 - 77. Which is smaller: n or l?
n
Let s be 0 - (-2755)/3 - 6/(-9). Suppose 15*v - 274 + s = 0. Which is greater: -46 or v?
v
Let h be (-1)/(6/14) - -1. Let o = 376.692 - 376. Let v = o + -1.692. Is h less than v?
True
Suppose -277 = 2*p - 19. Let w = -705238/5481 - 35/783. Let v = p - w. Which is smaller: -8 or v?
-8
Let z(p) = p**2 - 9*p + 3. Let k be z(10). Let m be 82/6*(-54)/693*-11. Which is bigger: k or m?
k
Let y(h) = -3*h**2 - 251*h + 475. Let f be y(-106). Is -6626 at least as big as f?
True
Let a = 2.5851 - 120.8851. Is 2/9 < a?
False
Suppose -j = -0*j - 5. Let t(s) = s**3 - 7*s**2 + 8*s - 8. Let x be t(j). Let k be (-2*x/1128)/(3/4). Is -1 smaller than k?
True
Let z = 25 - 21. Suppose -p = z*p - 90. Is 18 bigger than p?
False
Let t(j) = j**3 + 4*j**2 - 4*j + 1. Let p be -2*2/(-5 - -3) - 6. Let b be t(p). Suppose b*y - 6 = 23*y. Which is smaller: -1/14 or y?
y
Let o be ((-4)/6)/(6/(-99))*8/2504. Which is greater: o or -1?
o
Let r be 4/10 + (-22)/30. Suppose -2*q = -3*m - 570, 2*m = -0*q + 4*q - 1124. Suppose -267 = 39*y + q. Which is smaller: y or r?
y
Suppose -4*n - 415 = -5*k, 3*n + 315 = 2*k + k. Let r = 66 + n. Let t = r + 51. Which is greater: 1 or t?
t
Let y = -43 - -92. Let a be (-3)/12 + 27/36 + 0. Is y less than a?
False
Let n(t) = -3*t**3 - t**2 + 4*t + 2. Suppose 23 - 14 = 3*q. Let j be n(q). Let u = -224/3 - j. Is u less than or equal to 2?
True
Suppose -31*i = -27*i - 820. Let o be ((-28)/(-10))/(1271/i). Which is smaller: 1 or o?
o
Suppose 3*q = 8*q - 5*g + 1595, -3*q - g - 965 = 0. Let w = q + 297. Which is smaller: -25 or w?
-25
Suppose 0 = i + 4*t - 304, 5*i - t - 4*t - 1570 = 0. Suppose 0 = 20*u - 7*u - i. Is 26 greater than or equal to u?
True
Let r(o) = -o + 19 + 69 + 21 - 57. Let j be r(7). Is 91/2 greater than or equal to j?
True
Let y be (65/15 - 5) + (-77936)/(-48). Which is smaller: y or 1622?
1622
Let c be -3*28/12*(-3)/21. Suppose -j = -c, j - 12 = 5*o + 4*j. Let r be (o/3 - -1) + 2. Is r <= 3?
True
Let y = 401 + -10027/25. Let i = 490 + -489.9836. Let p = 0.9836 + i. Which is smaller: p or y?
y
Let k = -38 - -17. Let q = 246 + -262. Is k not equal to q?
True
Let h = -801.669 + 802. Let m = 0.431 - h. Which is bigger: -114 or m?
m
Let s = -4.06 - 4.54. Let q = 8.3 + s. Is 1/48 != q?
True
Suppose 0 = -5*z + 5*v + 5, 4*v = 5*z - 0*v - 6. Suppose 4*i - 4*g + 16 = -7*g, -z*i + 3*g = 8. Let h be (-18)/((-2)/i - -3). Is -5 <= h?
False
Suppose -2*y - 10248 + 1812 = -8*y. Is 1406 smaller than y?
False
Let b(o) = o**3 + 13*o**2 + 12*o. Let t be b(-12). Suppose t = 6*l - 0*l - 3*l. Suppose l = -i + 9*i + 64. Which is smaller: 0 or i?
i
Let a(d) = 11*d**2 + 58*d + 79. Let r(u) = 6*u**2 + 31*u + 39. Let o(c) = -3*a(c) + 5*r(c). Let t be o(-3). Which is smaller: t or -148/13?
t
Let f = -54/161 - -1/483. Do f and 32.4 have different values?
True
Let t be (-1 + 4)/(249/(-2)). Let a = -8377 - -8378. Which is smaller: t or a?
t
Let r = 17811/55 - 1551/5. Which is bigger: 13 or r?
r
Let a = 70648/13 + -5440. Let k(h) = 35*h - 1862. Let r be k(53). Which is smaller: a or r?
r
Let s(o) = 40*o + 1547. Let i be s(-40). Which is smaller: i or 21?
i
Suppose 835674 - 4450751 = 454*k + 1284945. Is k > -10792?
False
Let u = 3754 - 3632. Do u and 126 have the same value?
False
Let m(t) = -2*t**3 - 58*t**2 + 59*t - 18. Let f be m(-30). Which is bigger: f or -1?
f
Let h = -3614/9 - -4969259/12375. Are 0 and h equal?
False
Let t = -1072 - -1820. Suppose 33*x - 30*x = -7*v + 9, -2*x + 6 = -2*v. Let i be (t/(-663))/((-2)/x). Is 3 greater than or equal to i?
True
Let c(s) = s**3 + 9*s**2 - 16*s - 61. Let r(v) = -11*v + 1. Let x be r(1). Let m be c(x). Is m bigger than -1/126?
False
Suppose 3*w = 3*j - 33 - 21, 6 = j - 5*w. Suppose 5*g - 113 = 3*o, -102*o = 3*g - 97*o - 61. Is j bigger than g?
False
Let f = -0.01 + 1.1. Let j = f - 0.19. Let p = -75/2 + 37. Which is smaller: p or j?
p
Let m(i) = -i**3 + 22*i**2 - 22*i + 26. Let g be m(21). Suppose -g*v + 4*v = -5*j, 5*v + 2*j = 0. Let r = 1946/5291 + -2/481. Is v greater than or equal to r?
False
Suppose -12*u - 6*u + 180 = 0. Let y be 6/(-15) + 974/u. Is -0.1 bigger than y?
False
Let x = 2/87 + 79/348. Let y = 243.2 + -31.2. Let i = -209.6 + y. Are i and x equal?
False
Let z = -40 + 75. Let r = z + -85. Let n = r - -102. Is n <= 51?
False
Let q be (-11 - 0)*(-5703)/(-366). Let b = -343/2 - q. Is b less than 0?
True
Suppose 575 = 4391*d - 4392*d. Is d at most -580?
False
Let s(u) = u**3 + 9*u**2 - 58*u - 596. Let v be s(-19). Is v at least as big as -3105?
True
Let n = 13403 + -14445. Is n equal to -1049?
False
Let o = 0.038 + 1.662. Let h = o + -1.696. Let w = h - -0.196. Which is greater: w or 9?
9
Let f = -1790567/2718142 + 143/217. Is f at most as big as 0?
False
Let p = -129 + 202. Let m = -73 + p. Let b be 8/(-32)*2/(-10). Is b at least as big as m?
True
Let u = 4477 + -4490. Is -9 equal to u?
False
Let j = 19316 - 20578. Which is smaller: j or -1?
j
Suppose -80*w - 5*v = -82*w - 121, -2*w = 3*v + 81. Is w not equal to -834/17?
True
Suppose -5*b - 57 = 5*l - 8*l, -5*l - 29 = 2*b. Let i = -118 - b. Is -106 < i?
False
Let v be (0 + (-4)/3)*34/2448*-12. Do v and 107/6 have the same value?
False
Let g(n) = 346*n. Let l be g(0). Are -1 and l non-equal?
True
Let j(x) = -x**3 - 4*x**2 + 6. Let b be j(-5). Let w = -29490 - -29519. Which is bigger: w or b?
b
Let z(o) = -o**3 - 11*o**2 + 11*o - 7. Suppose -2*v + 4*v = -24. Let a be z(v). Suppose a*i = -0*i - 180. Is i equal to -35?
False
Let m be 67 - (-8 + 15/5). Let o be (-14)/(-8) + -2 - (-162)/m. Suppose o*v = -214 + 156. Which is greater: -28 or v?
-28
Let m be (158/(-79))/(-1 + 0). Which is greater: m or -65.1?
m
Let w be (1918/119)/(37/629). Suppose -2*c + 547 = -x, 3*c + 2*x - 703 = 128. Which is smaller: w or c?
w
Let k be (-1 + 80/76)*4/(-928). Are k and 1 equal?
False
Let x(v) = 770*v - 564. Let u be x(-3). Which is bigger: -2872 or u?
-2872
Let u(j) = 23*j**2 - 7*j. Let f be u(4). Suppose -f = 3*a - 5*z, 3*a - z = -a - 425. Let v = -104 - a. Is v >= 3/26?
True
Let c(s) = 36*s**2 + 144*s + 4. Let n = -516 + 512. Let o be c(n). Let q(a) = -6*a - 2. Let j be q(-2). Is o equal to j?
False
Let v = 1034 + -1014. Let i be 1 + (-334)/(-18)*1. Is v < i?
False
Let v(h) = -h**2 + 8*h - 18. Let w be v(4). Let i(j) = -4*j - 7. Let r be i(-6). Let p = r - 37/2. Are w and p unequal?
True
Let w be (1269/75 + -17)/(-2 + 148/70). Which is bigger: -74 or w?
w
Let c = 3.2212 - -0.0588. Let k = c - 3.05. Which is smaller: k or 1?
k
Suppose 0 = 3*t - 2*m - 2885, 4*t - 5*m - 3863 = -0*t. Are 965 and t equal?
False
Let a = -1 + 2. Let p be (-8636 - (12 - 10))/((-106)/(-4)). Let k = p - -326. Which is smaller: a or k?
k
Let z be (0*(-2)/(-10))/(-3). Suppose 20 = -5*m + l, z = -3*m + m + 2*l. Is m at least as big as -6?
True
Let t be 1568/16 - (-2 + 4 + -2). Suppose 82*z = 80*z - t. Is -46 equal to z?
False
Let d = -36 + 20. Let q be 1/d*-2127*10. Let c = q + -1331. Is -1 greater than c?
True
Suppose -6*o + 18*o - 60 = 0. Let q be o + 0 + (1 - 2). Suppose 10*r = 6*r - q. Is r > -0.1?
False
Suppose 2*y + 7 = -i + 31, i - 4 = 2*y. Which is smaller: i or 107/7?
i
Let z = -3888912/35 + 111136. Let n = -164/7 + z. Is -0.1 < n?
True
Let n(s) = 29*s**2 - 2*s - 1. Let r be n(-3). Suppose -5*a + i + 961 = -370, a - 275 = -2*i. Is r at least a?
False
Let m