**2 - 13*z - 16. Let l be p(14). Let c be (-4 - (-2 + l))/(2/(-2)). Which is bigger: c or w?
c
Let l = -0.6569 + 0.4062. Which is smaller: 1 or l?
l
Suppose 0 = 3*z - 4*z + 71. Let m(q) = 11*q - 13. Let b be m(9). Let l = z - b. Do l and -12 have different values?
True
Suppose 26 = 3*y + 3*d + 11, d - 1 = -5*y. Does -150/143 = y?
False
Let o be (-8)/(2592/975) - -3. Let p = -1199 + 1199. Are p and o nonequal?
True
Let x = -5763.9 + 5764. Are 4281 and x unequal?
True
Suppose -3*p = 22*p + 44196 + 31754. Do p and -3040 have the same value?
False
Let a = 941 + -588. Let i = a + -197. Let y be 6/(-12) + ((-574)/i)/(-7). Which is bigger: y or 0?
y
Let p = -2 - 0. Let s = 285 + -283. Suppose -s*f + 9*f = -7. Which is smaller: p or f?
p
Suppose 24*g + 2784 + 10382 + 6898 = 0. Which is smaller: -837 or g?
-837
Let z = 0.824 + 0.016. Let b = -0.28 + z. Let k = 0.52 - b. Which is bigger: k or 0.4?
0.4
Suppose 0 = -441*r - 447*r + 879*r + 1296. Which is greater: r or 123?
r
Suppose 6*b = -4*b - 1390. Let w be 15/((-15)/(-3))*b/(-3). Is 140 smaller than w?
False
Let a = 649684841/5073544 - -21/181198. Let g = 128 - a. Is g <= 1?
True
Let i = 28/2519 - -64583/20152. Let j = i - 25/8. Which is greater: 0 or j?
j
Let j = 10717 + -19419193/1812. Which is greater: j or 1?
1
Let q(i) = -3*i**2 - 30*i + 3. Let u be q(-10). Suppose 0 = 7*l - 25 - u. Does l = -3?
False
Let q(o) = o**3 - 12*o**2 - 12*o - 27. Let y be q(13). Let g = 6 - 5. Let p be 2 - (20 - (g + 1)). Which is greater: y or p?
y
Suppose 0 = 4*q - 1 - 3. Let m = -28536/4745 - -448/73. Is m at least q?
False
Suppose 2*j = -4*s, -2*s = 3*j - 8 + 4. Let p be (246/(-30) + 5)/(s/85). Is p at least 271?
True
Let a = -3810 - -30411/8. Suppose 0 = -2*j + 8*j + 60. Which is smaller: j or a?
j
Let l be 4/14 + 406/(-49) + 8. Suppose l = -5*w + 421 - 131. Is w at least 58?
True
Let h(p) = -1594*p + 428. Let u be h(-3). Is 5210 not equal to u?
False
Let o = -53/56 - -11/8. Suppose 12056 = 25*i + 12206. Which is smaller: o or i?
i
Let n = -2425.55 - -2360. Is 1/2 equal to n?
False
Let u be 3301/(-5) - (-13)/(780/(-48)). Let i = -676 - u. Is -15 >= i?
True
Let d = -10 + -2. Let l be 18/d - 274943/(-362). Let w = l - 758. Is w at most 0?
False
Suppose 0 = 32*b - 53*b + 1176. Let l be (-44)/b - -2*(-2)/(-14). Which is smaller: 89 or l?
l
Suppose 23*k = 21*k - 72. Let x be (k/(-8) - 5)*-10. Let d = -16/3 + x. Is d less than or equal to 14?
True
Let g = -311/24 - -47/6. Let f be (-15)/(-6)*(-240)/150. Which is greater: g or f?
f
Suppose -526*x = -575*x + 6468. Is x at most as big as 0.4?
False
Let w(v) = -14*v**3 + 19*v**2 - 89*v + 97. Let s(f) = -5*f**3 + 6*f**2 - 30*f + 32. Let k(h) = 11*s(h) - 4*w(h). Let a be k(7). Is 9/37 not equal to a?
True
Let x(r) = -r - 2. Let j be x(-6). Suppose -h + j*s = -0*h - 41, -229 = -5*h - 4*s. Is 47 <= h?
False
Suppose 13*a + 0*a = 135 - 135. Is a equal to 29/321?
False
Let q be 3 + (34 + -1)/(-3). Let s be 4/6 + (0 - q/6). Let x be (-2*2/(-4))/(s - 16). Is x >= -1?
True
Let g = -2363 - -2425. Which is bigger: g or 58?
g
Let c = -246/6935 - -7/190. Which is greater: c or 0.1?
0.1
Let v = 81.8 - 69.8. Let s = 3164/17 + -186. Which is bigger: s or v?
v
Let w(g) = -16*g**2 - 3*g + 3. Let p(j) = -j**2. Let q(h) = 4*p(h) + w(h). Let r be q(-2). Let m be 12/(-8) - r/10. Which is smaller: m or 5?
5
Suppose 0 = 3*v - 59 + 53, 5*f - 3*v = -6. Which is bigger: f or -3/656?
f
Let o be 126282/845 + 6/39. Which is greater: o or 150?
150
Let h = -36896 + 18042136/489. Is h less than 0?
True
Suppose -9 = -3*s, -14 = 4*t - 5*s + 9. Let a be (4 - (4 + t)) + -3. Let r be (12/9 + a)*1. Is r not equal to -2/69?
True
Let s be 2 + (-12)/9 + 192396/70902. Let w = -4/909 - s. Which is smaller: -4 or w?
-4
Let k = -42.66 - -43.66. Let j = 874 + -356. Which is bigger: j or k?
j
Let g = -5004 - -5005. Which is greater: -2/13225 or g?
g
Let o = -0.2751 + 0.6751. Is o greater than or equal to -677?
True
Let y be -4 - (-2 + -1)/(1215/198). Which is greater: -5 or y?
y
Suppose 7*i + 4036 = -8153 - 11793. Is -3426 bigger than i?
False
Let y(i) be the first derivative of -125*i**2/2 + 239*i + 175. Let w be y(2). Suppose -18 = -5*f + 7*f. Is f at least w?
True
Let m = 63.49 + -0.49. Let y = m + -62.23. Let z = y + -0.67. Do 2 and z have different values?
True
Let c(m) = m**2 + 5*m - 12. Let q be c(-9). Suppose -2*a + 4*f = -7 + 29, -2*a + 5*f - q = 0. Let w = 244 - 251. Is w smaller than a?
False
Let y = -254 + 191. Let t = 1 - y. Is -0.1 > t?
False
Let z = -3023/10 - -790522/2615. Is z bigger than -0.1?
True
Let m = -63.157 + 0.157. Let a = 42 - m. Let l = 104.99 - a. Which is smaller: l or 5?
l
Let p = -2.5 - -4. Let d = 1202 + -1205.5. Let f = p + d. Do 0.3 and f have the same value?
False
Let w = 163 + -277. Let f = 109 + w. Is -6 greater than f?
False
Let s = -5300 + 6137. Which is smaller: -4 or s?
-4
Let u(k) = 5436*k - 10776. Let s be u(2). Suppose -3*w + 278 = f - 3*f, -w - f = -96. Which is smaller: s or w?
w
Let n be 1 + ((-6435)/(-2135))/(-3). Suppose -j - 3 = -4. Is j less than or equal to n?
False
Let r = -1.1636 - -1.3636. Are r and -403 equal?
False
Let h be (1/2)/((-2)/252). Let b be 3/2*(-14)/h. Which is smaller: 23/4 or b?
b
Suppose 4*t + 11*q + 30412 = 8*q, -2*t + 5*q = 15206. Which is greater: -7604 or t?
t
Suppose -w + 120 = -6*w. Let a be 1/((1 - 2)*1/11). Let m = a - 12. Is w > m?
False
Suppose 4*l + w - 28 = 0, -4*l + 13 = 3*w - 15. Which is smaller: l or 148?
l
Let q = -22.01 - -0.01. Let v = -28.43 - -7.43. Let t = v - q. Which is bigger: -11 or t?
t
Let o = -0.17 - -0.94. Let v = -0.67 + o. Is v smaller than -18/11?
False
Suppose 11*a - 16*a - 2028 = 3*y, a + 2*y + 400 = 0. Which is greater: a or -411?
a
Suppose 43*t = 44*t - 4. Suppose -14 = -t*z - s + 3*s, -4*z + 11 = -s. Let g be (-1)/(-7) - z/14. Which is smaller: 2 or g?
g
Let r be 34/2*(-2)/(-17). Is r at most as big as 0.0722?
False
Suppose -15 = -3*s - 6, b + 16 = 3*s. Suppose -2*l = -6*l + 72. Let n = 14 - l. Is n at most b?
False
Let t(i) = 2*i**3 + 309*i**2 - 155*i - 2. Let h be t(-155). Which is greater: -172/247 or h?
-172/247
Suppose -q = 2*a - 5*q - 4, -5*a + q = -46. Suppose -842 - 16 = 11*k. Let v be (k/(-120) + (-3)/(-5))*8. Is a at most as big as v?
True
Let w = -2268398/765 - -12314/85. Let z = w - -2820. Let c = z - 2/45. Which is smaller: c or -1?
-1
Suppose -5*j + 3*l - 14 = -59, l = 3*j - 23. Let o be (j/(-14) - 3/(-7))/(-2). Let q = -15 + 23. Which is greater: o or q?
q
Suppose 146 - 378 = -4*i + 4*s, -4*i + 5*s = -225. Let n be 4/(-3)*(-198)/4. Is n greater than or equal to i?
True
Let z = 10.207 + -43.203. Let q = 0.2619 + -0.2579. Let v = z - q. Is v smaller than 0?
True
Suppose -9*m - 40 = 50. Let o be (-4)/3 - (m/(-15) + -2). Is -0.33 at least o?
False
Let h = -40 - -36. Let n be h + (2 + 2 - -3). Let k be 0/(5*4/30*n). Which is bigger: -8/13 or k?
k
Let s = -16 - -66. Let r = -0.053 - 0.047. Is r smaller than s?
True
Suppose 0 = -92*f + 95*f - 30. Let j = 975 - 964. Which is smaller: f or j?
f
Suppose 3759*p - 3774*p + 495 = 0. Let q(l) = -32*l - 1. Let d be q(-2). Suppose -t = 2*u - d, 3*u - u - 51 = -5*t. Is p at least as big as u?
True
Let y = -1781 - -3028. Let d = 1227.69 - y. Let r = d + 0.31. Which is smaller: -2/3 or r?
r
Let o = 294 - 261. Which is greater: -27 or o?
o
Let b = -2.1075 - 26.8925. Which is smaller: -133 or b?
-133
Let w = 11.03008 - 0.03008. Let k = -10 + 6. Is w less than or equal to k?
False
Suppose 6*u = -5 - 25. Let j be (-1)/(-3)*u/(300/18). Which is bigger: j or 0?
0
Let t be ((-66)/(-363))/((-72)/66). Is t at most 0.27?
True
Let t = -15.7 - -2.7. Let h = t - -15.4. Suppose y = -2*k - 9, -3*y + 124 = -4*k + 111. Is y greater than or equal to h?
False
Suppose 11*c - 1012 = 462. Is c at most as big as 133?
False
Let g = 218 - 212. Let u(d) = d**2 - 20*d + 83. Let m be u(g). Is m equal to -10?
False
Let p(v) = 18*v - 214. Let y be p(12). Suppose -2 = -2*b + 38. Let f be (-10)/4*y/b. Which is bigger: -3 or f?
f
Let y = 8636 - 8637. Which is bigger: y or -783?
y
Let k = -2/51 - -316/255. Let u(n) = -2*n - 9. Let r = 13 + -18. Let p be u(r). Is k != p?
True
Let q = -8106 - -8106.12022. Let u = q + -35.10722. Let h = u + -0.013. Is -2 at most as big as h?
False
Let d(q) = 8 + 4 + 