n - -14. Let z be o/3*(-6)/(-4). Are z and 0.06 nonequal?
True
Let i = -139939/38 + 3682. Is 0 less than or equal to i?
False
Let w be 1/(-5)*15/2. Let c = 298.1 + -305.1. Which is greater: c or w?
w
Let t be ((-7)/(-3))/((-2)/6). Let k(n) = -n + 7. Let h be k(-3). Let x be (16/h)/((-4)/20). Which is bigger: t or x?
t
Let p = 0.5 - -2. Let v(n) = -n**3 + 22*n**2 + 3*n - 65. Let h be v(22). Are h and p equal?
False
Suppose -110*n = -111*n. Which is smaller: n or 5/8?
n
Suppose 8*x - 5*x = 9. Let s be (153/(-6))/(x/(-6)). Let m = 34 - s. Is m <= -18?
False
Let h = 43.762 - -1.238. Which is smaller: h or 5?
5
Suppose 2*c + 288 = -6*c. Is c != -36?
False
Suppose 19 = -5*t - 1. Let j = -22 - t. Which is smaller: j or -19?
-19
Let d(r) = 5*r + 3 - r**2 + 3*r + 2*r**2 + 0*r**2. Let g be d(-8). Is 2.5 not equal to g?
True
Let z(j) be the third derivative of -j**6/120 - j**5/5 - j**4/2 - 5*j**3/3 - 31*j**2. Let p be z(-11). Which is bigger: p or 2/35?
p
Let b(p) = p**3 - 11*p**2 + 9*p + 10. Let o be b(10). Let k be (o/7)/(1*-2). Is k bigger than -2/35?
True
Let n = 9 - -47. Let z = n + -51. Which is smaller: z or -1?
-1
Let i = 9638 + -5002120/519. Is 0 equal to i?
False
Let c = 63.7 - 134.6. Let a = 74 + c. Let b = 0.1 - a. Which is bigger: b or 2/3?
2/3
Let a = 139.041 + -139. Let f = a - -0.059. Let w = 5 + -2. Which is greater: w or f?
w
Let m(a) = -a**2 - 18*a - 25. Let i be m(-13). Suppose -38*z + i*z = 14. Let b be (-153)/315 + 2/z. Which is smaller: -1 or b?
-1
Let q be 57 + 0 - (-1)/(-1). Let h be (-228)/6*(-15)/10. Which is greater: q or h?
h
Suppose -5*s + 5*n = -180, 0 = 4*n + 10 + 10. Which is smaller: s or 30?
30
Let y = 19 - 9. Let h be (6/(-16))/((-15)/y). Suppose w - 16 = 4*o - 3*w, 3*w - 12 = o. Which is smaller: o or h?
o
Let r = -1581/4 + 396. Which is smaller: r or 0?
0
Let i = 0.5 - 0.28. Let y = i - 0.12. Let h = -5.164 + 0.164. Is y at most as big as h?
False
Let a be (-6)/36 - (-2)/(-6). Let t = -60 + 68. Which is smaller: a or t?
a
Let q be (14 - 4845/(-19))/((-2)/(-18)). Is 2421 less than or equal to q?
True
Let k(d) = -7*d - 5. Let a be k(1). Let s be 17 + a/(-9)*-3. Which is smaller: s or 14?
s
Let w = 78.15 - 82.219. Let f = -0.069 - w. Is 2 at most as big as f?
True
Let r be (-4)/(-22) - (-11 + (-2820)/(-252)). Which is smaller: -1 or r?
-1
Let l(n) = -n**2 + 2*n + 4. Let o be l(-6). Suppose 0 = -q + 6 + 58. Let a = q + o. Which is bigger: -1/3 or a?
a
Let q(m) = m**2 + 15*m - 77. Let k be q(-19). Which is greater: -1/1139 or k?
-1/1139
Suppose 0 = -i + 6 - 4. Suppose -3*v - 10 = -4*d, -3*d = -v - 3 - i. Which is smaller: v or -3?
-3
Let n(u) = -2*u**2 + 105*u - 253. Let d be n(50). Which is bigger: -99/29 or d?
d
Let f = -2 + -2. Let p = -4 + 8. Let v = p + f. Is v less than -6?
False
Let t(z) = -60*z**3 - 4*z**2 + 4*z + 3. Let i be t(2). Is i smaller than -485?
False
Let z(h) = -3*h**3 - h**2 - 3*h - 1. Let f be z(-1). Suppose 4*x - 4*j = 4, -5*x - f*j = 7 - 39. Let y be (5/2)/((-2)/x). Which is smaller: y or -7?
-7
Let i be (-1)/(-7) - 867/(-7). Suppose x = -3*c - i, 3*c + 175 = x + 47. Which is greater: c or 0.1?
0.1
Let w = -2/543 - -2326/41811. Do w and -1 have the same value?
False
Let m be (-6 - -3 - 0) + 3. Suppose m = -5*f + 11*f - 48. Which is greater: f or 0.03?
f
Let b = -25 - -6. Let v = b + 18. Is 0 at most as big as v?
False
Let w be -321 - (-1 + (-2 - -4)). Is -322 >= w?
True
Let o(r) = -r**2 + 2*r. Let t be o(0). Is t > -8/47?
True
Suppose i = 5*r + 18, -2*r = -0*i - 5*i + 21. Let t be ((-1)/r)/((-2)/(-30)). Let z(j) = -j + 4. Let c be z(t). Is c > -2?
True
Let c = 904 + -851. Which is bigger: 38 or c?
c
Let d(b) = -b**3 - 17*b**2 - 41*b + 14. Let c be d(-14). Let n = 476 - 727. Let g = n + 2261/9. Which is bigger: c or g?
g
Suppose -255 = 5*j - 35. Let f be -1*(j/16 - -3). Which is bigger: -4/11 or f?
f
Let k be (-3)/4 - 23/(-4). Let g be 1*(-1 - -11 - 8). Which is smaller: k or g?
g
Let g(c) = c**2 + 5*c - 2. Let m be g(-4). Let l be (-3)/4*(-1)/m. Suppose 0 = r + 3*f - 10, 5*f + 102 = 4*r + 113. Is r bigger than l?
True
Let k be (-7656)/297*(2 + 100/(-56)). Do k and -5 have the same value?
False
Let a = -395 + 580. Suppose -9*u - a = -4*u. Is -36 at most as big as u?
False
Let p(r) = -r**2 - 6*r - 10. Let n be p(-3). Let w be n - (-4)/12 - (-6)/9. Which is greater: 1.5 or w?
1.5
Let j be 12/(-42) - (-5376)/(-49). Is j at most as big as -110?
True
Let l = 8 + -7. Let s be 21/6 - 4 - -12. Let f = s - 12. Which is bigger: f or l?
l
Let j be 2/2*(12 + -11). Suppose -2 + j = h. Is h at least -1/36?
False
Let k be (-245)/(-42)*3510/168. Which is greater: 123 or k?
123
Let n = -3950/11 - -359. Is -4 less than n?
True
Suppose -2*w - 2*w = -28. Let q = w - 10. Let s = -3 + q. Which is bigger: -5 or s?
-5
Suppose -524 = -30*c + 4126. Is c equal to 156?
False
Suppose 0 = -3*p - 729 + 714. Is p != -6?
True
Let g = -669 - -616.9. Let j = g + -3.9. Do j and -1 have the same value?
False
Suppose 76*t - 2296 = 83*t. Is -329 greater than t?
False
Let k = 747 + -745. Which is bigger: 4/5 or k?
k
Let n be (3 + -5)/((-35)/470). Which is smaller: 26 or n?
26
Suppose v - 5*v = 4*v. Which is bigger: -2/25 or v?
v
Let x = -2 + 2.71. Let p = x + -0.81. Let j be (-3 - -4)*1/4. Which is bigger: p or j?
j
Let m = 9175/2 + -4694. Is m <= -108?
False
Let l(k) be the second derivative of -k**3/6 + 3*k**2/2 - 21*k. Let p be l(15). Which is smaller: -6 or p?
p
Let t be (-20079)/(-12972) + 10/(-8). Which is smaller: t or 0?
0
Let g be 2/(-4)*(-1)/(2/12). Suppose g*l + 0 = 2*f + 3, -2*f = -5*l - 7. Is f != -10?
True
Let w(s) = 13*s**3 + s - 1. Let d be w(1). Let l = d + -12. Suppose n - 6 = -l. Which is greater: 3 or n?
n
Let b = 484 + -262. Is 1/4 smaller than b?
True
Let j = -109 + 146. Are j and 2 nonequal?
True
Let w(b) = -b**2 - 5*b. Let j be w(0). Let k = 5 - 15. Let u be k/(-35) - (-86)/(-56). Which is smaller: u or j?
u
Suppose 0 = 3*c - 5*p + 7, -5*c - 113*p + 7 = -112*p. Which is bigger: c or -4/1609?
c
Let y = -116 + 186. Let w be y/15 - (5 - 1). Which is smaller: 2 or w?
w
Let j = -762 - -766.64. Which is bigger: j or -2?
j
Suppose 0 = 2*d + 4*w - 8, -5*d - 5 = 5*w. Let g(c) = 5*c - 3. Let l be g(-6). Let m be 123/11 - d/l. Is m at most as big as 10?
False
Let f(p) = p**2 + 8*p. Suppose 2*u - n + 19 = 0, -47 = -0*u + 4*u - 5*n. Let w be f(u). Suppose -5*k = -x + 3*x - 17, -x + 7 = 2*k. Which is smaller: x or w?
w
Suppose 16 = 2*k + j, k - 5 = -0*j + j. Suppose -8 - k = -5*m. Do 11/4 and m have the same value?
False
Let j = 9/83 - 1037/1909. Is -1 bigger than j?
False
Let m = -1535 + 2568. Is m less than or equal to 0?
False
Suppose 0*a = 3*a + u - 5, 4*a + 3*u = 5. Let q be (1 - a)/((-4)/(-12)). Let z = -1537/3 - -10711/21. Which is bigger: z or q?
z
Let r = 39 - 56. Let g = r - -36. Let v = g + -20. Is v < 1?
True
Suppose 3*v - 4*m = -33 + 10, -19 = -v - 4*m. Is v <= 32.1?
True
Let s(u) = -u**2 - 5*u + 8. Let j be s(-6). Let l be (0 + j)*(-138)/23. Is l at most as big as -11?
True
Suppose 0 = -3*u - 3, -p - u - 9 = 0. Let b(a) = a**2 + 6*a - 8. Let s be b(p). Which is greater: s or 4?
s
Let q = -5.3 - -2.4. Let c = q - -3. Let l be ((-6)/14)/((-258)/(-344)). Which is greater: c or l?
c
Suppose 5*x - 6*x + 2 = 0. Suppose -3*s = -x*a + 2*s - 35, a + 25 = 4*s. Which is smaller: -36/7 or a?
-36/7
Let v = 3.07 + -0.07. Let q = -472/5 - -94. Which is bigger: q or v?
v
Let s(y) = -y**2 + 7*y - 7. Let w be s(5). Suppose x - w*x + 16 = 0. Suppose 4*f = -0*p - 4*p + x, -5*f = -4*p - 10. Which is smaller: 2/21 or p?
p
Let m = -0.2 + 1.2. Let v = m + -1.06. Let a be 4/(-10)*70/(-98). Which is smaller: a or v?
v
Let j = 13.3 - 13.5. Let h = 10.5 - 7.47. Let y = -0.03 + h. Which is smaller: y or j?
j
Let a = 1555 + -1473.9. Let d = a + -80. Are 4 and d nonequal?
True
Let o = 47/2 - 889/38. Which is smaller: o or 0.4?
o
Let c = 42 + -64. Let y = -15 - c. Let r = -88.8 + 89. Are y and r unequal?
True
Let j = -12.8 + 13. Let x = j - 0.23. Let s = x + -0.04. Is 1/3 bigger than s?
True
Let r be -1 + (-2 - 92/(-4)). Are 21 and r unequal?
True
Let p = 989/5 - 197. Is 1.2 < p?
False
Let g be (-150)/(-40) + 1/4. Suppose -4*d - k = -g, d + 5*k = -2*d + 20. Let o be ((-1)/9)/((-2)/(-6)). Is d at least o?
True
Let u be 1/3 - 1/12. Let y be 10/