d + 15. Let j be h(s). Which is smaller: j or -11?
j
Let m = 31637 - 31637.0416. Is -19 at least m?
False
Let d = 195.9 - -15.5. Which is bigger: d or 3?
d
Let u be (1230/(-20))/41*1/((-3)/(-2)). Is 6/5017 less than u?
False
Let r = 1837 - 3145. Which is smaller: 3 or r?
r
Let v be 18 + 9 + 35210/(-1386). Is v less than 2?
True
Suppose 175*w - 186*w + 55 = 0. Let g be (w - 3 - -1)*(-50)/(-195). Let b = 0.3 - 0.3. Is g < b?
False
Let w = 10719 - 12688. Which is smaller: -0.1 or w?
w
Let r be ((-2)/6*-9)/(18096/(-32) + -9). Is r less than or equal to 1?
True
Let s = 17975648/1225 + -14674. Let i = s + -3629/28175. Is 1 at most as big as i?
False
Suppose 6 = 2*r, 3*u + u - 5*r + 87 = 0. Let a be (-6)/u*(-1 + -2). Is -1/9 greater than a?
True
Let l be (-4 - 0)*2/(-3714 + -2). Let i = -14854/4645 - l. Suppose -6*t = -4*t + 6. Which is bigger: t or i?
t
Let z be -1 + (2 - (-7 - 2)). Let m = 1257 - 888. Let a = m + -356. Which is smaller: z or a?
z
Let u = 0.10656 + -2.10656. Which is greater: -19/28 or u?
-19/28
Let r be (-16)/10 + 2/5. Let g = -14 - -17. Suppose g = -2*x - x. Which is smaller: r or x?
r
Suppose -353 = -12*p - 5. Let x(m) = -m**3 + 28*m**2 + 27*m + 38. Let k be x(p). Are k and -2/9 nonequal?
True
Suppose 0 = 4*q + 8, a - 1 = -2*q + 25. Let u be 1/3 - 5/a. Which is smaller: u or 2/5?
u
Suppose -15259 = 20*d + 10901. Is 3 < d?
False
Suppose 10*w + 229*w = 53775. Do 231 and w have the same value?
False
Let q = -13 + 37. Let x be -3*4/(q/2). Which is smaller: x or -27/25?
-27/25
Let v = -1829960862/59 + 31008893. Let g = v - -7393. Is g equal to -0.1?
False
Suppose 2*b + 2*c + 596 = 0, 16*b - c = 21*b + 1510. Is b less than -16/7?
True
Let k = 0.2089 - 0.0089. Let l = 4 + 13. Let c = l - 7. Are k and c unequal?
True
Let v = 4613 + -9325/2. Are -1/27 and v equal?
False
Let d = 0.55 - 3.65. Let o = d + 3.3. Is -0.26 at least as big as o?
False
Let c = -698.4 - -688.8. Is c smaller than 8?
True
Let b = 28/3 + -35/6. Let v = 99/28 + -13/4. Is v >= b?
False
Let b = -126 + -19. Let x = b - -47. Do -98 and x have the same value?
True
Let t(d) = 3*d + 47. Let l be t(-15). Suppose 8*r - 478 = l. Let k = r + -67. Which is smaller: -17/3 or k?
k
Let h = 1501 - 1460. Which is smaller: h or -1/29?
-1/29
Let f be (-1)/1 + 2 + -2. Let d be 701 + 8/4 + -7. Let m be (-1)/((-2)/(-6)) - d/(-252). Which is greater: m or f?
m
Suppose 5*n + 5*c + 470 = 0, 5*n + c - 3*c + 449 = 0. Suppose 6*u - 5*u + 86 = 5*v, -276 = 3*u + 3*v. Is n smaller than u?
False
Suppose 4*a = -3*z + z + 74, 0 = 5*z - 5*a - 110. Suppose 1 = -u + o + 20, -z = -u - o. Suppose -u = -0*h - h. Is 3 greater than h?
False
Suppose 54*q - 613 = 1547. Suppose -q + 301 = -9*z. Let n be ((-62)/(-6))/(2/(-6)). Which is smaller: z or n?
n
Suppose -6*f - 18 = -63 - 33. Let s(j) be the third derivative of j**5/20 + j**4/24 - j**3/6 - j**2. Let z be s(2). Is f less than or equal to z?
True
Suppose -45 = f - 6*f. Suppose -f = 13*m - 87. Suppose 12*w = m*w + 66. Is w less than or equal to 13?
True
Let u = 63.536 + -32.436. Which is smaller: u or 23?
23
Suppose -4*n = -9*n + l + 25, 3*n + 8 = -4*l. Let a be 5807/(-2130) + 33/(-55). Let j = 1/142 - a. Is j at least n?
False
Suppose -3*n + 7*n = 60. Let h(a) = 104*a**2 - 187*a - 19. Let j be h(2). Is n at most j?
True
Let t be ((-11)/(-22))/(5/(-9420)). Which is smaller: -941 or t?
t
Let k = -7652 - -8309. Which is smaller: k or -2?
-2
Suppose 3*y - 7*y = -3*x + 14, 10 = 2*x - 3*y. Let v be (-45)/(-6) + 1/x. Let b be 6/v - 65/(-52). Is 7/6 at least b?
False
Suppose -50*n + 5*d - 686 = -54*n, 2*n - 4*d = 356. Does n = 164?
False
Let x(t) = -t**3 + 26*t**2 + 28*t - 19. Let v = 405 + -378. Let p be x(v). Which is greater: -5/7 or p?
p
Suppose -15 = -5*b + 2*a, 15*a = 4*b + 12*a - 19. Is -61/193 at least as big as b?
False
Let d be 24/(-40) - (-230919)/65. Is 3553 > d?
True
Let p(t) be the first derivative of t**3/3 - 23*t**2/2 - 56*t - 4. Let h be p(27). Let v be -52*(-4 - 1 - -4). Is v bigger than h?
False
Let y = -8 - -11. Suppose -3*s - 1 - 8 = 0, y*i - 4*s = 15. Let a be -22 + 45/2 - (1 + -2). Which is greater: i or a?
a
Let u be (-20)/12 - (-1)/(-3). Let x = 5 + u. Suppose b - 4*j - 4 - 7 = 0, x*j = -9. Which is smaller: -10/31 or b?
b
Let s(x) = x - 6. Suppose 20 = 5*g - 10. Let i be s(g). Let m be (-25)/8 + 2 + i. Do m and -2 have the same value?
False
Let f = 501 - 484. Suppose 288 = -f*s - s. Is -13 at least s?
True
Let f be (-6)/(((-128)/(-64))/((-4)/6)). Are 997 and f non-equal?
True
Let s = 2 + 190. Suppose -s = 7*v - 17. Let r be 4/(-5) - (20/v)/2. Is -5 > r?
False
Suppose -5*c + 3 = -p, 0*c = c + 5*p + 15. Which is greater: c or 28/57?
28/57
Let n = -4378 + 4155. Are n and 1 equal?
False
Suppose 5*j = -4*f + 152, 899*f = 904*f + 2*j - 173. Let a = 32 + 1. Is f smaller than a?
False
Let f be 1554/10 - ((-264)/40 - -6). Let r = f - 97. Are 176/3 and r non-equal?
True
Let v = -17994 + 1853396/103. Is -1 not equal to v?
True
Let f = -1/1143 + -575/213741. Let r = 16703 + -16702. Which is smaller: r or f?
f
Let j = 4968 - 4974. Let h(o) = -2*o**2 - 9*o - 6. Let x(a) = -4*a**2 - 18*a - 12. Let u(r) = -11*h(r) + 6*x(r). Let t be u(j). Is t less than or equal to -25?
False
Suppose 12*r = -2*r - 2935 - 2077. Which is smaller: -1796/5 or r?
-1796/5
Let a = -1/445 - 423/9790. Which is smaller: a or 85?
a
Let r(x) = -3*x - 21. Let t(o) = -o**2 + 4*o + 21. Let w(z) = -3*r(z) - 2*t(z). Let d be w(-3). Is 35 > d?
False
Let m(s) = -s**3 - s**2 + s + 1. Let a be m(1). Suppose 2*r = 2*g, a = -2*g - 0*g - 5*r. Let h be (-1 + 5/6)*(-1 + 5). Which is greater: h or g?
g
Let g = -587 + 328. Let x = -1035/4 - g. Which is bigger: x or 72/5?
72/5
Let h be 13 + 381/(-30) - 1517/(-10) - 4. Is h >= 167?
False
Let y(p) = 11*p**2 + 20*p + 19. Let a(m) = 5*m**2 + 10*m + 11. Let v(f) = 9*a(f) - 4*y(f). Let u be v(-6). Which is smaller: u or -9/4?
-9/4
Suppose 0 = 9*v - 1111 + 2564 - 508. Which is smaller: -89 or v?
v
Let v(m) = m**3 + 41*m**2 + 69*m - 462. Let p be v(-42). Is p bigger than -5123?
False
Let r be ((-2596)/1848 - 2/12)/(6/(-1608)). Which is bigger: r or 420?
r
Let p be 93/18 - (12/(-3))/(-1). Let s be 33/(-9) - (68 + -72). Is s bigger than p?
False
Suppose 23 = -592*n + 615*n. Do 18/1067 and n have the same value?
False
Let h(r) = -r + 8. Let t be h(-7). Suppose -j + t = 4*q - 4*j, 0 = 4*q + 3*j - 33. Let f(m) = m**2 + 2*m - 19. Let w be f(-6). Are q and w unequal?
True
Suppose -2*o + 4*x + 86 = 0, -58 = -5*o - 2*x + 193. Suppose -87*c = -303*c + 2631 + 7953. Does c = o?
True
Let f be 1 - ((-73)/71 + 2). Let n = -173569 - -173568. Is f greater than or equal to n?
True
Let g = -67.83 - -67.73. Which is greater: g or -899?
g
Let b = -8.433 - -8.6. Let q = 1.167 - b. Are 2/97 and q equal?
False
Suppose -27 = -4*d + 17. Let p be (-8)/2*(-1 + 9/(-6)). Suppose d*f = p*f. Is 5/6 at least f?
True
Let m be ((-12)/(-14))/(459*14/(-11172)). Which is bigger: m or -2?
m
Let v be (9 + 4)/(1 + 0). Suppose -v*u = -8*u - 20. Suppose 2*c - u*t + 23 + 7 = 0, -t = 5*c + 31. Are -8 and c equal?
False
Suppose 5*y + 4*p + 84 = 0, 4*y - 4*p = -0*p - 96. Let l(n) = n**3 + 21*n**2 + 19*n - 19. Let t be l(y). Is 1 at most t?
True
Let u be (-58)/8 + 72/288. Is u equal to -22/3?
False
Let q be 70/420*(-2 + 0 - -7). Which is smaller: 113 or q?
q
Suppose 4827 = 6*w + 4587. Which is bigger: -18 or w?
w
Suppose 2*p = 3*w - 3 + 4, -3*p = -w - 19. Let n be ((-70)/(-40))/(2/p). Suppose -n*z = 11*z + 486. Do z and -29 have different values?
True
Let f be (-7 + 4)*5/141. Let y = f - -356/2021. Which is bigger: y or 0?
y
Let i be (-380*(3 - 4) - 4)*-1. Let g = i + 380. Are -10 and g non-equal?
True
Let h = 4058 - 3791.1. Let b = h - 273. Which is greater: b or 1?
1
Let j(n) = -n**2 - 2*n + 4. Let d be j(-3). Suppose 2*p - 4*h - 44 = 0, -4*p + 5*h = p - 115. Let c be (-3)/(-12)*p/14. Which is smaller: d or c?
c
Let s = 778.891 + 3.109. Is s equal to -0.3?
False
Let o be 82/(-3)*(-150)/20. Suppose 0 = -0*b - 4*b + 3*t - o, 3*b + 190 = -5*t. Which is greater: b or -54?
-54
Let v be (-23)/(170016/(-312544)) - 2/(-14). Is 41 at least as big as v?
False
Let t = 49 - 18. Let u = -31 + t. Suppose 5*m + 76 = -d, 0 = -u*m + m + 3*d + 4. Do m and -15 have the same value?
False
Let q = 176 - 1214/7. Let t be 