. Which is smaller: 11 or w?
w
Let k = 15.8 + -78.8. Let w = 328.88 - 329.88. Which is greater: w or k?
w
Let w = 714 - 713. Let u = -268528558/184897 - 619/8039. Let z = u - -1453. Are w and z non-equal?
True
Suppose 5*n - 162 = -672. Suppose 15*v + 386 = -v - 1230. Which is bigger: n or v?
v
Suppose -3 = -4*y - 15, -4*d - 3*y = 9. Let n(p) = 20*p - 255. Let l be n(0). Let g = l - -509/2. Which is smaller: g or d?
g
Let v = -4579 + 4580. Is -6545 equal to v?
False
Suppose 6*r - 66846 = -66804. Which is smaller: 152/25 or r?
152/25
Let j be 3*3/((-3)/5). Let s be (-4)/3 - (13 + j). Let a = -6.3 + 6.1. Which is greater: s or a?
s
Let n be 7 + 21/(-10 + 7). Let i be 3 - (-64)/36 - 5. Which is smaller: i or n?
i
Let v be -3 - -5 - (1 + (-2 - -1)). Let g be (-1 - v) + (-14)/21*117. Is g smaller than -82?
False
Suppose -s + 2*u - 5 + 1 = 0, 4*s - 2 = 2*u. Let l be 3*4/((-2)/1). Let r be -1*1*0/l. Is s < r?
False
Let z = -18.127 - -18.26. Let o = -16 + 18. Which is smaller: z or o?
z
Suppose 0 = 4*d - 40 + 12. Let r be ((-5)/((-195)/162))/((-33)/(-44)). Which is smaller: d or r?
r
Let l = -8651372595/22681 - -381437. Are -1 and l nonequal?
True
Let j = 1381238/93 + -14852. Which is smaller: -7 or j?
-7
Let o = 0.5 + -0.2. Let u(d) = d - 2. Let i(y) = 23*y + 66. Let f be i(-3). Let w be u(f). Which is bigger: o or w?
o
Let u = -71 - -71.05. Let r = 0.082 - 0.552. Let i = u + r. Which is greater: i or 0?
0
Suppose 994552 = -433*r + 171*r. Is -3797 smaller than r?
True
Let p = -429 - -434. Let y be (p/(-200))/(17/15 - 1). Is y at least as big as 0.05?
False
Let n = 623 + -598. Is n at least 468/19?
True
Let j be (-1)/(-2) + ((-2)/(-14) - (-635071)/(-985362)). Which is bigger: -1 or j?
j
Let v = -1230 + 1231. Let c(s) = -s - 4. Let m be c(8). Let q be 8/21 + 8/m. Is q >= v?
False
Let s be -8*(2662/444 + -6). Let y = s + 91/555. Which is bigger: -6/7 or y?
y
Suppose 107 - 11 = a. Let m = -83 + a. Suppose -m = 3*z - 7. Which is smaller: -3 or z?
-3
Let z be 7/((-196)/(-6840)) + 12/(-42). Let n = 299 - z. Let a = 37 + 17. Which is smaller: a or n?
a
Let b be (-36)/24 + (1684/18)/(1176/18). Is 1/3 <= b?
False
Let v(h) = -121*h + 10. Let i be v(-1). Let z = i + -114. Which is smaller: -0.1 or z?
-0.1
Let c = 15704 - 15724.022. Let u = -0.022 - c. Suppose -3*h = -2*q + 3, q + 18 = -2*h - 3*q. Is u <= h?
False
Let r = 18 - 14. Suppose -7*a - r = 3. Let y be -2 + 7/((-154)/(-16)). Is y at least a?
False
Let f be 258/(-8) - (145/(-20) - -7). Let x be (-4)/(f/(-2)) - 23/4. Let d(q) = q - 6. Let i be d(0). Is i at least as big as x?
True
Suppose 2*l = 4*y - 18 - 0, -5*l = 4*y - 11. Suppose -2*d + 4*c = 56, -d - y*c + 5*c = 23. Suppose -3*p + 6 = -a + 63, 2*a + 30 = -2*p. Is d > p?
False
Let n be (-1015)/(-49) - 20/28. Do -34 and n have different values?
True
Let d be (-30)/75 - (-8)/(-5). Let y(b) = -51*b**2 - 175*b - 4. Let s be y(-3). Is d < s?
True
Let f = 76 - 71. Let l be 1*(f - 4)*1*-52. Is l at most as big as -51?
True
Let u(n) = n**2 - 2*n - 54. Let x be u(9). Suppose -3*o + k + 12 = o, -3*o + 5*k + x = 0. Is o less than 18/7?
False
Let x(o) = 93*o**2 + 13*o + 11. Let i(n) = 92*n**2 + 14*n + 12. Let q(y) = 6*i(y) - 7*x(y). Let k be q(-1). Let j be -6*1/(6/96). Is j >= k?
True
Let c(h) = -h**2 + 9*h - 7. Let u be c(8). Let t be (25/5 - (-31506)/(-243))*6. Let k = t + 748. Is k < u?
True
Let h be (334/(-4)*-3)/((-15716544)/(-1541)). Let f = h + -4/3559. Which is greater: 1 or f?
1
Let q be ((-3)/(-6))/((-16)/2016). Let g be q/(-72)*4/(-2). Is 18 greater than g?
True
Suppose -56455 + 1279 = 84*i - 198*i. Which is greater: i or 486?
486
Let s = -25.39 + 25.39. Which is smaller: -511 or s?
-511
Let c = -33/367 - -2417/18717. Which is smaller: 18 or c?
c
Let l = 42759 + -296362628/6931. Do 0 and l have the same value?
False
Suppose -552*t = -550*t + i - 58, 0 = 3*i - 18. Which is smaller: 4 or t?
4
Let g = -3112 + 3106. Does g = 6?
False
Let u be (-1)/(-5) + (-490)/(-50). Let c = -161125/3 - -54214. Let b = -497 + c. Which is bigger: b or u?
u
Let t be -2 + (0 - -8) + -2. Let c(v) = -128*v - 1028. Let m be c(-8). Let z be (m/(-6))/(t/(-96)). Is z not equal to -14?
True
Suppose 19 = -7*f + 2*f + 74, -5*f = 6*x - 109. Let r = -318 + 653/2. Which is smaller: r or x?
r
Let b(p) be the second derivative of p**5/20 + p**3/3 + 9*p**2 + 21*p. Let n(k) be the first derivative of b(k). Let w be n(1). Are 5 and w unequal?
False
Let i(t) = -t**3 - 9*t**2 + t + 9. Let p be i(-9). Let r be -2 + (2 - p) + (-12)/(-3). Let j be (5 - 4) + (36 - r). Which is greater: j or 35?
35
Suppose -2*y + 6*y - 564 = 0. Let d = y + -713/5. Let x = -220 + 219.8. Is x bigger than d?
True
Let o(d) = d**3 + 39*d**2 + d - 34. Let c be o(-41). Is c smaller than -3437?
False
Let b(v) be the second derivative of -v**5/10 - 29*v**4/12 + 13*v**3/6 + 11*v**2 - 4*v. Let w be b(-15). Let i = w + -52. Which is smaller: 1/37 or i?
i
Suppose -11*o - 3*i + 22881 = 0, -2607 = -2*o - 3*i + 1563. Which is bigger: 2080 or o?
2080
Suppose 3*s + 69 = 4*z, 3*z + 2*s - 7*s - 49 = 0. Suppose z*b + 22 - 4 = 0. Is 2/257 at most b?
False
Let j = -6.7 + 7.19. Let a = -0.455 + j. Let k = a - 1.035. Do -0.32 and k have the same value?
False
Let r(w) = -w**3 - 2*w**2 + 8*w - 7. Let c be r(2). Which is bigger: -586 or c?
c
Let k = 1110.1 + -1660. Which is bigger: -1 or k?
-1
Let k = -8771 + 8904. Is k equal to 5?
False
Let c be ((-2)/(-4))/((-6601)/(-38962)). Which is bigger: 4 or c?
4
Let a = -32 + 222/7. Let k = 31.21 + -31.293. Are a and k non-equal?
True
Suppose 0 = 5*o - 3*k - 15, 0*o = -3*o + k + 5. Which is bigger: o or -10/147?
o
Suppose -275*z + 280*z - 250 = 0. Let n = -57 + z. Are n and -6 unequal?
True
Suppose 5*x - 2590 = 4*p + 3*x, 0 = 2*p + 2*x + 1310. Let d = 38348/59 + p. Is -1 < d?
True
Let k(q) = 42*q**3 + q**2 + 4*q - 15. Let y be k(6). Let w be 3 + (-25316)/y - 2/9. Let j = -3068/29377 + w. Is -1 at least j?
False
Let s be ((-20)/(-24))/(6/36). Let t be 6/(-10) - ((-18)/s - -4). Which is smaller: t or -1/235?
t
Let d be ((-38)/(-95))/((-4)/(-130)). Let z be 10*((d - 14) + (-1)/(-2)). Is -20 greater than z?
False
Suppose c = 3*o - 443, -2*o + 19*c + 286 = 23*c. Let f be (3/2)/(o/7). Suppose -2 = 2*u - 2*h, 0 = u - 2*h + 3*h - 3. Do f and u have different values?
True
Suppose 2*k - 472 = -4*s - 138, 3*s - 4*k = 245. Suppose 87*j - s*j + 52 = -2*r, 2*r - 44 = 4*j. Is -1/3 smaller than j?
False
Suppose -4*h + 11*h + 3*h = 3*h. Is 7/243 != h?
True
Let i = 122 - 124.8. Let s = i - -2.7. Is 0.23 >= s?
True
Let k = -17041 - -19869807/1166. Which is smaller: 0 or k?
0
Let x be (6 + -8)/(10/(-105)). Let b be x/6*20/35. Is b >= 5/6?
True
Let i(q) = -q**3 - 31*q**2 + 27*q - 91. Let a be i(-32). Let r be 8/(-44) - 10192/(-154). Which is greater: a or r?
a
Let w = 63693 + -63720. Let r be 4/6 + (-563)/21. Is r >= w?
True
Let p be 8/8*(1 + -2)*-1. Suppose 3*y - 2 - p = 0. Let j be (2 - 4) + (-120)/(-57). Which is greater: j or y?
y
Let b = 6.637 - -0.023. Let j = 6.56 - b. Which is smaller: -9.3 or j?
-9.3
Let j = 34 - -4. Let c be (20/6)/(j/18 + -2). Suppose -27 - 31 = -2*f. Which is greater: f or c?
c
Let x = -2 - -1. Let n = x - -1. Let l = -1333224/59 - -22597. Are l and n unequal?
True
Let l = 479 + -488. Let h be (-17371)/13224 - 12/l. Is h at least as big as 1?
False
Let i = 29/7682 + 3/167. Let a = 131/322 + i. Let u be (-97)/2037 - (-220)/12*(-1)/7. Which is smaller: a or u?
u
Let r = 149/16 - 697/80. Let a(p) = p**2 - 6*p + 6. Let f(d) = d**3 - 4*d**2 + 5. Let y be f(4). Let c be a(y). Is c bigger than r?
True
Let p(y) = -y**3 + 43*y**2 + 91*y - 43. Let h be p(45). Suppose 0 = -4*c + c + 36. Let a be 90/(-4)*(-1)/c. Which is greater: h or a?
h
Let q = 1263 - 1027. Which is smaller: 235 or q?
235
Let v = 73 - 76. Let n be v - (2 - 2) - -2. Let y = -15/52 - -1/26. Which is smaller: y or n?
n
Suppose -11 = 5*r + 14. Let l = -3 - 23. Let f be (-13)/l - (-6)/(-4). Which is bigger: f or r?
f
Let s = -154754/3 - -51111. Let p = 473 + s. Is p less than 4/39?
True
Let u = -5513 + 5512. Let c = -49246/273 + 541/3. Is u >= c?
False
Let m(j) = -34*j + 106. Let g be m(3). Suppose 2*z + 4*k + 16 = 0, g*z + 33*k = 34*k - 5. Let d = -1 + -4. Which is smaller: d or z?
d
Let g(d) = -d**3 - 39*d**2 - 42*d - 152. Let q be g(