 Are p and 227 unequal?
True
Let h(v) be the second derivative of v**5/20 + v**4/3 - v**3 - 5*v**2/2 - 2*v. Let x be h(-5). Let w be (15 - 14)*(-1 - x). Do 1 and w have different values?
True
Suppose 2*i - 130 = -11*i. Is -2 >= i?
False
Suppose 0 = -5*a - 12*a + 289. Let x = 17 - 50/3. Which is smaller: a or x?
x
Let f(s) = -s - 1. Let k(r) = -8*r + 25. Let x(a) = 6*f(a) - k(a). Let g be x(15). Let d be (-12)/10 + (0 - 1). Is d greater than g?
False
Let s(b) be the second derivative of -3/2*b**3 - 1/20*b**5 + 0 - 3/4*b**4 + 2*b - 4*b**2. Let l be s(-8). Do l and -2/11 have different values?
True
Let j = 1015417/170 + -5973. Let u = -5249/510 - j. Suppose -s - 59 = 5*m, -20 = m + 4*s + 7. Is m <= u?
True
Let k be 1 - (-3)/(-6) - (-1)/6. Let w(o) be the first derivative of o**2 + o + 2. Let u be w(4). Is k bigger than u?
False
Let x = -88 + 881/10. Let y(s) = -s**3 + 3*s**2 + 4*s + 1. Suppose 5*p + 5*a = 5, -2*a + 0*a - 6 = 0. Let m be y(p). Which is smaller: m or x?
x
Let f = 26/2525 + 3/101. Let r(s) = -s**2 - 26*s + 14. Let w(g) = 25*g - 13. Let k(a) = -2*r(a) - 3*w(a). Let u be k(11). Is f at least u?
True
Let t = 7.94 - -0.06. Let w = t + -6. Let a = -3 + 1. Which is smaller: w or a?
a
Let n be (2/3)/((-1)/(-9)). Let y be 54/9*4/n. Let b be 17/(-15) - y/6. Which is greater: -2 or b?
b
Suppose 3*j - 40 = -16. Suppose 5*b = j*b - 3. Which is smaller: 2/9 or b?
2/9
Let o = -424 + 440. Let f be (1*3)/((-1)/(-5)). Is o smaller than f?
False
Let c = -1475 + 1558. Does 77 = c?
False
Suppose -58*n = -71*n + 2314. Is n not equal to 172?
True
Let a(j) be the third derivative of j**6/120 - j**5/10 + j**4/12 - 4*j**3/3 + 10*j**2. Let v be a(7). Which is smaller: v or 54?
54
Let w = -0.8 - 29.2. Do -14 and w have the same value?
False
Let u(c) = 20*c**3 - 23*c**3 + 1 + 1 + 0*c**2 - 2*c**2 + c. Let q be u(-1). Is 1 less than q?
True
Let t be ((-6)/(-8))/(3/12). Let v be 1 + (1 + 3 - t). Let c be v/4 - 1/2. Is 2 != c?
True
Let p = -0.16 - 1.84. Do p and 25 have different values?
True
Let a = 1.2 + -1.15. Let q = 5.35 + -5. Let l = q + a. Is 0.1 > l?
False
Let t = 29 + -22. Let z be (22 + t)/((-198)/(-76)). Let b = z - 120/11. Which is smaller: 1 or b?
b
Suppose 10*q + 6*q + 176 = 0. Are q and -11 nonequal?
False
Suppose 2*t + t = 135. Suppose 2*s + 5*g = -3*s + t, -5*s - g + 29 = 0. Let r be ((-15)/9)/(13/(-39)). Is r less than s?
False
Let j(a) = -258*a**3 + a**2 + 3*a - 2. Let l be j(1). Which is bigger: l or -257?
l
Suppose 0 = -13*q + 302 - 1095. Let s = 59 + q. Which is smaller: s or 3/5?
s
Let c = 74 + -53. Suppose -2*p - 5*p - c = 0. Let v = 0 + 1. Which is smaller: v or p?
p
Let v be (-2)/5 + (-3472)/(-105). Let y = v + -1672/51. Which is bigger: -1 or y?
y
Let f = 260 + -2344/9. Let c = -12 + 15. Suppose 0*r - c*r = 0. Which is smaller: f or r?
f
Let x(u) = u**3 + 3*u**2 - 4*u + 1. Let r be x(-4). Let s be 1 + r - 120/42. Which is bigger: 1 or s?
1
Suppose 7*v + 120 = 190. Which is smaller: -42 or v?
-42
Let k(h) = h**3 + 4*h**2 - h + 2. Suppose 16 = -4*i - 0*i. Let v be k(i). Is v less than 6?
False
Let o = 59 + -57. Let u be (2/10)/(o*(-58)/10). Is 1 greater than or equal to u?
True
Let p = -4.15 - 0.35. Let u = p + 4.4. Does u = -1?
False
Let r = 855.1 + -855. Which is smaller: r or 2/153?
2/153
Let t be 334/(-58) + (-5)/(-7)*7. Is 1 < t?
False
Let p be ((-100)/32)/(-5) - 1. Let v = 18 + -14. Suppose 5*q + 1 = v*q. Is p smaller than q?
False
Let g(c) = -114*c - 895. Let l be g(-7). Which is bigger: l or -101?
l
Let i(f) = f**2 + 12*f + 13. Let z be i(-11). Let p be 42/144*5 + 3/8. Which is smaller: z or p?
p
Let p = -0.05 - -28.05. Let q = p + -28.3. Which is greater: 0.3 or q?
0.3
Let i = -205 + 188. Does i = -1/2?
False
Let o be (2/248)/((-1)/3855). Let b = o + 125/4. Is b >= -1?
True
Suppose 0 = -2*p + 4*y - 106, 153 = -3*p + 3*y - 0*y. Is -2/5 greater than or equal to p?
True
Let y = 2.97 - 3. Let a = 0.3 + -0.1. Is y less than a?
True
Let f = -6.871 - -6.87. Does 1 = f?
False
Let t = 7745 + -46315/6. Which is smaller: t or 0?
0
Suppose -24 = -j - 3*x + 6, 5*x - 64 = -2*j. Which is bigger: -3 or j?
j
Suppose 4*g + 17 = -k + 6, -107 = 4*k - 5*g. Let o(i) = 2*i**2 - 15*i + 1. Let s be o(2). Is k != s?
True
Let l = 2 + -1. Let g(z) = z + 16. Let a be g(-15). Let d be (-2 - (-2 + 0))/a. Which is greater: l or d?
l
Suppose -177 = -5*u - b, -4*u - 3*b + 41 + 105 = 0. Let h = u - 106/3. Let l = 4 - 2. Which is greater: h or l?
l
Let n(a) = -2*a**3 + 16*a**2 + a - 9. Let j be n(8). Let y be (16/(-48))/((-1)/((-3)/j)). Let o = 688 - 19954/29. Which is smaller: o or y?
o
Let t = -3 - -13. Let o be (t/8)/((-3)/(-12)). Let x be (-8)/6*480/(-128). Is x < o?
False
Let d = -9 + 3. Let y = 25 + d. Let b(v) = -280*v - 2222. Let f be b(-8). Which is smaller: f or y?
f
Let f be 1027/(-65) + 1/(-5) + 2. Let a be 40/(-3)*(-12)/(-10). Which is smaller: f or a?
a
Let t = 92 - 94. Let z be -2 - (-3 - (-2 - 1)). Does t = z?
True
Let b be 6 + 56/(-32)*4. Suppose -4*n = -2*v, -4*n - v = -0*v - 6. Let q be 6/10*(-1)/n. Which is bigger: q or b?
q
Let y(u) = 3*u + 14. Let t be y(4). Let p be 1*2 - (t + -24). Let f(c) = -c**2 - 6*c - 6. Let n be f(-4). Which is bigger: p or n?
n
Let w be (10/25)/((-14)/(-35)). Let f = 19 + -30. Let j be f/(-14) + 14/(-49). Which is greater: w or j?
w
Let w = -4.94 + 0.92. Let t = 0.02 + w. Let s = t - -7. Is 1/2 at most s?
True
Let r(c) = 21*c - 1. Let h be r(1). Suppose -5*y = 3*f - 80, -5*y = -2*f + 22 - 2. Is f greater than or equal to h?
True
Let g(t) = t**3 - 12 + 4*t**2 + 2*t - 2*t**3 + 10 + 0*t**3. Let q be g(4). Suppose -k + 2 = q. Which is bigger: -1 or k?
-1
Let m = 177605/9 + -19793. Let o = m - -176/3. Which is smaller: 0.1 or o?
o
Let t(u) = 5*u**3 - 2*u**2 - 7*u - 8. Let w be t(-3). Is -138 equal to w?
False
Suppose 27*q + 289 = -18*q + 874. Let a = 35731/7 + -5091. Which is smaller: a or q?
q
Suppose -5*k - 3*q = -200, -5*k = -7*k + q + 69. Let o be 318/8 + 1/4. Which is greater: o or k?
o
Suppose 6*r = 11 + 1. Let s be (-57)/(-133) - (-25)/7. Which is smaller: s or r?
r
Let j = 230 - 2066/9. Let a be 3/12 - 14/(-8). Let i be (a/6)/(6/(-18)). Does j = i?
False
Let s = -1.9 - -3.3. Let q = s - -10.6. Let x = -13 + q. Is -3 at most x?
True
Suppose s = -5*u + 3*u + 49, -3*u - 232 = -5*s. Suppose 0 = -4*y - s - 5. Is y at most -12?
True
Let u be -35*-4*(-3)/30. Let a be 9/(9/7) - 9. Which is greater: a or u?
a
Let a = 21 + -18. Suppose -a = k - 0*k. Let d = 0.3 - 0.2. Which is greater: k or d?
d
Let r = 527 + -527. Do -0.221 and r have different values?
True
Let c = 47 - 28. Suppose 20*x = c*x + 3. Which is greater: x or 7?
7
Let t be (-98)/(-21)*(-21)/14. Is t less than -1?
True
Let z be 6/51 + (-1253)/9639. Which is smaller: 0 or z?
z
Let w = 30 - 46. Let p be (-1)/(-5) - 4/20. Suppose a = -p*a - 17. Are a and w equal?
False
Let i = 46 + -42. Suppose 3*l + 144 = -i*c, -c + 3*l - 180 = 4*c. Is -35 >= c?
True
Let a = -151 + 151. Let d = 1 - 1.4. Let g = d - -0.3. Is a greater than or equal to g?
True
Let q be ((-1)/2)/((-2774)/76). Which is smaller: q or -1?
-1
Let l be (-88)/28 - (-3 + 0). Let j = l + 9/14. Which is smaller: 1 or j?
j
Let z(d) = 10*d + 12. Let x be z(4). Suppose -3*g + 96 = 5*t - 2*t, g - 3*t = x. Are g and 39 unequal?
True
Let z = 21 - 23.04. Let l = 0.04 + z. Is l less than or equal to -2?
True
Suppose -10*d = -12*d + g + 547, 5*g - 268 = -d. Is d bigger than 273?
False
Let p = -36.6 + 36.7. Which is bigger: p or 0.812?
0.812
Let c = 16.69 - 18.39. Which is smaller: c or -35?
-35
Let p(c) = 25*c + 257. Let t be p(-12). Is t > -47?
True
Let t(o) = o**2 - 2*o - 1. Let x be t(2). Let j = -269/1239 + 1/354. Is x at least j?
False
Let k = -244 + 244. Is 251 bigger than k?
True
Let d = 16 + -9. Let y = d - 8. Let h = -0.05 + -1.95. Is h greater than y?
False
Let v = 105 + -484. Let b = v + 4166/11. Is 0 not equal to b?
True
Let q = -10569404/46809 - -108/5201. Let z = q - -226. Let j = -0.01 - -0.21. Are j and z nonequal?
True
Let q(u) = -3*u**2 + 6*u + 1. Suppose 5*m = 19 + 1, 29 = 3*n + 5*m. Let p be q(n). Is p at most as big as -8?
True
Suppose -8*k = 2427 + 933. Which is greater: k or -419?
-419
Let v be 3339/(-315) - (-7)/(-5). Suppose -4*u + 26 = 2*o - 4*o, -13 = o - 5*u. Which is smaller: o or v?
o
L