e -3*l + 4*i + i + 19 = 0, -4*i = -4*l + 20. Let h(j) = j**3 + 3*j**2 + 2*j + 3. Suppose 4*c + 6 = c. Let y be h(c). Is y at most as big as l?
True
Let f(b) = b**3 - b**2 + 19. Let r be f(0). Suppose r - 20 = w. Is w equal to -1?
True
Let m(u) = u**3 + u - 6. Let i be m(0). Suppose -6*k = -0*k + 36. Let w = k - i. Is 0 != w?
False
Let l = -0.23 + 0.2. Let y = -0.37 + l. Let a(v) = -2*v + 2. Let h be a(1). Is h > y?
True
Let m = 13.34 - 1.14. Let a = m - 12. Which is smaller: 11 or a?
a
Let v = -14.9 - -15. Let o(y) be the second derivative of y**3/6 + 7*y**2 - 5*y. Let w be o(0). Which is smaller: w or v?
v
Let r(w) = 4*w + 0*w + w**3 + 3 - w - w - 4*w**2. Let p be r(2). Are p and 3/64 non-equal?
True
Let s(v) = v**3 + 3*v**2 + 2*v + 2. Suppose 2*r + 45 = -r. Let u = r + 12. Let b be s(u). Is b < -6?
False
Let u = 291 - 1185. Let d = u - -13417/15. Which is smaller: d or 1?
d
Let x be -2*47*(-3 + 5/(-10)). Are x and 330 nonequal?
True
Let v be 39/9 + -1 + (-1 - 3). Is v >= -75?
True
Let b be (7/(-2))/((-3)/(-6)). Let w(t) = -t**2 - 7*t. Let d be w(b). Let p = -6 - -15. Which is smaller: p or d?
d
Let x be (-153)/4*(-336)/(-360). Which is greater: -37 or x?
x
Let o(f) = f - 1. Let d be o(2). Let i = d + 2. Let a(s) = -4*s**3 + s**2 - 2. Let y be a(-1). Is i greater than or equal to y?
True
Let i(m) = -m**3 - 4*m**2 + 5*m. Let d be i(-5). Suppose d*c - 65 = 5*c. Let s be (24/10)/((-5)/25). Which is bigger: c or s?
s
Let o = 9.1 + 32.9. Let p = o - 42.3. Is p at least -0.1?
False
Let u(c) be the first derivative of c**2/2 - 5*c + 3. Let z be u(5). Let m = -142/3 + 48. Which is greater: m or z?
m
Suppose -262*j + 243*j - 228 = 0. Is j at least -13?
True
Let j(l) = -l**2 + 7*l - 5. Let k be j(6). Which is bigger: k or 2/475?
k
Let t = -20398/13 - -1568. Suppose 2*d - d + 5 = 3*m, 2*d + m + 3 = 0. Is d >= t?
False
Let s be (-155)/(-7) - 5/(-4 + 39). Does s = 3?
False
Let o = 0.5 + -0.3. Let q = 5119227/575 + -8903. Let h = q - -224/1725. Is h bigger than o?
False
Suppose 0 = 16*w - 652 + 108. Which is smaller: w or 36?
w
Let i(b) be the second derivative of -b**3/6 + 9*b**2/2 + 5*b. Let c be (-1)/4 + 33/4. Let g be i(c). Is -1/4 at least as big as g?
False
Let b = 37 + -39. Let t = -9425/4 + 2326. Let x = t + 28. Which is bigger: x or b?
b
Let c = -1/157 - -669/6437. Let o = -3805 - -3806. Which is greater: o or c?
o
Let d be (-4)/(-4)*(-3 + 0). Let f be 3 - (d + 84/15). Is f at least -1?
True
Let r = -27 - -1. Let j = 26 + r. Are j and 1/4 equal?
False
Suppose 0 = -11*j + 2 + 42. Which is bigger: j or 5?
5
Let c be (5 + -6)/(-3 + (-172)/(-56)). Suppose -y + 2*y + 13 = 0. Let q = c - y. Which is smaller: 4/17 or q?
q
Let r be ((-92)/(-20))/((-12)/870). Is -334 less than or equal to r?
True
Let t = -11 + 10.81. Let b = 0.13 + t. Let y be (18/(-24))/(3/2). Is b >= y?
True
Let a be (-2 - 0)*7/(-2). Let d(g) be the second derivative of -g**3/6 + 4*g**2 - 11*g. Let u be d(a). Is -1/23 at least u?
False
Suppose w + w - 6 = 0. Suppose -2*j = 1 + w. Let l = 271 - 1369/5. Which is smaller: l or j?
l
Let j = 68 - 18. Let x = -44.7 + j. Let u = 0.3 - x. Are -1 and u non-equal?
True
Let c(q) = q**2 + 5*q - 39. Let x be c(-8). Which is smaller: 8 or x?
x
Let h(g) = 3*g + 4*g**2 + 3 - 3*g**2 - 2*g**2. Let d be h(3). Suppose 0 = -4*a - d*z + 4, 4*a + 8*z = 3*z + 4. Is a < 1?
False
Let s be (-56)/(-21)*(-3)/(-2). Let g be 34/(-126) - s/14. Is g greater than or equal to -1?
True
Let p be 11/33*51*1. Suppose -r = 4*r - 2*h + p, 4*h = 4. Suppose 0 = -4*x + 8*x. Is r smaller than x?
True
Let u be (2/(-4))/(2/(-72)). Suppose -3*m + 4*o = -7*m + 36, u = m + 4*o. Let l be (4/m)/((-16)/200). Which is smaller: -7 or l?
l
Let x = -2 + 3. Let b be (-3)/(-5 - x)*-1. Is b less than 41/2?
True
Suppose 4*j + 2*h - h = 0, j - 2*h = 0. Suppose -3*m + 60 = -j*m. Let q = -27 - -46. Is q at least as big as m?
False
Suppose 0 = -x + 2, 3*y = -0*x + 3*x - 12. Is -142 < y?
True
Suppose -6*p - 5 = -11. Let m be 14/4*195/6. Let f = 115 - m. Is f less than or equal to p?
False
Suppose 15*b + 1590 = 21*b. Is 265 at least b?
True
Suppose 15*j = 9*j - 6. Is j at most as big as -1/50?
True
Let p = 19 + -4. Let n = 11 - p. Let j = n - -3.9. Is 2/11 > j?
True
Let v(j) = 2*j**2 - 2*j + 2. Let b be v(3). Let d be (-30)/b + (22/7 - 3). Which is smaller: d or 2?
d
Suppose 2*k + 8 = 6. Let w be (-66)/(-380) - (-2)/(-10). Which is greater: w or k?
w
Let u = -1120/11 + 102. Are u and -8 equal?
False
Let p = 1.565 + -1.5. Let d = 5.965 - p. Let c = -6 + d. Does c = 10?
False
Let o be 27/3*(440/102)/(-5). Is o bigger than -9?
True
Let s(l) be the second derivative of -l**4/6 + l**3/2 + 2*l**2 + 2*l. Let z be s(3). Suppose -2*n - 12 = 4*r - 0*n, 0 = 2*r + 3*n + 2. Is z less than r?
True
Let x = 2445 - 1465. Let g be (-14)/x*(-2 - 0). Let k = -3 - -4. Which is greater: k or g?
k
Suppose -2*n - 2 = 3*w + 18, -n = 1. Let x(p) = -4 - 4*p - 2 + 2*p. Let t be x(w). Which is smaller: 7 or t?
t
Let x = 47/6 + -25/6. Let f(k) = k**3 - k**2 + k + 3. Let b be f(0). Suppose b = 5*u - 12. Which is greater: x or u?
x
Let l = 38/65 - 89/130. Let r(q) = -q**3 + 4*q**2 + 4*q + 4. Let n be (-1)/3 + (-16)/(-3). Let s be r(n). Are l and s unequal?
True
Let q = -149 + 136. Is q < -2?
True
Let j be (-1 - 1) + 14/14. Let s be j + (2 + -4)*2. Which is bigger: s or -8?
s
Let c be (-141)/6*4*(-4)/8. Let m = c + -47. Are m and 5 unequal?
True
Suppose -11*c + 4 = -7. Is c equal to 5/31?
False
Let d = -864 + 7768/9. Suppose -2*k - 41 = -h - 6*k, 4*h + 4*k = 116. Suppose 0 = -19*g + h*g. Does g = d?
False
Let b = 0.77 + 0.23. Let f = 0.091 - 0.071. Do f and b have the same value?
False
Let s = -45.9 + 43.89. Let f = 2 + s. Let a = -73/5 + 131/10. Is a at most as big as f?
True
Let l be (-4560)/(-741) - (2/(-13))/(-1). Let c be ((-12)/(-10))/(18/60). Which is smaller: l or c?
c
Let l(q) = -9*q - 1. Let n = -4 + 8. Suppose -v = -3*v + n. Let r be l(v). Is -19 at most r?
True
Suppose -4*y + 3*t + 2 = 0, 5 = -2*y + y - 2*t. Let s be 12/40 - 2/(-4). Let u = s + y. Is 1 smaller than u?
False
Let c = -19.9 - -20. Which is greater: c or -39?
c
Let u be ((-12)/(-9))/((-5)/(-15)). Suppose -u*s + 14 = -2*y, -2*s - 2*s - 21 = 5*y. Do s and 1/73 have the same value?
False
Let w = -7 + 13. Let g = -8 - -13. Do g and w have different values?
True
Let b(m) = 6*m - 21. Let s be b(13). Which is smaller: 58 or s?
s
Let p = 101.929 - 102. Do p and 0 have different values?
True
Let t = 188.5 + -255.5. Which is bigger: t or 8?
8
Let s(k) = k**2 + 13*k. Let n be s(-13). Suppose n = 4*a - 1 - 3. Which is bigger: a or -21?
a
Let q be ((-80)/(-5) - 10) + -6. Which is greater: -11/20 or q?
q
Let u = -4.7 + 5. Let i = 1 - -4. Suppose -2*f - 2*f = -i*k - 3, f + 3 = 5*k. Which is smaller: u or f?
u
Let b be 22782/27 + (-2)/(-9). Let k = b + -1345. Let n = k - -16535/33. Which is smaller: n or -1?
-1
Suppose 0 = 4*j - 8*j. Suppose 5*d = 54 - 19. Let l be (1/4)/(d/(-28)). Which is bigger: l or j?
j
Let i = 10909/151156 - -1/2438. Is i < 1?
True
Let z(p) = p**2 + 7*p - 7. Let d be z(-8). Suppose q + 3*q = 20. Which is smaller: d or q?
d
Let r = 109861/59 - 1862. Is r greater than 0?
True
Let r = 68 + -545/8. Suppose 2*i = -0*i - 10. Which is smaller: r or i?
i
Let p = 9544 - 7158001/750. Let x = p - 3361/10500. Let h = 67/140 - x. Is h != 0?
True
Let j be -1 + 18 - (-3 - -1). Let t = -13 + j. Let m be (-69)/(-12) - (-6)/(-8). Which is bigger: t or m?
t
Suppose 4*t = 3*t. Suppose t = -y - 0*y. Suppose y*r + 5*r - 5 = 0. Is r greater than -1?
True
Let l = 167 - 166.9. Which is smaller: -150 or l?
-150
Let f(c) = -c - 1. Let q(l) = -3*l - 2. Let k(b) = -4*f(b) + q(b). Let u be k(-7). Which is greater: -6 or u?
u
Let o be 90/50 - (-8)/(-10). Is 213 less than o?
False
Let z = -15.7 - 2.06. Let m = -18 - z. Let g = 0.24 + m. Is -3/4 less than g?
True
Let u = -166 - -165.26. Which is smaller: -1 or u?
-1
Suppose 5*n = -0 + 25. Suppose 5*q - 15 = x, n*q - 4*x = 6 + 9. Let w = -2 - q. Which is smaller: w or -3?
w
Let b = -564 + 554. Is b less than or equal to -79/8?
True
Let f(l) = -2*l**2 - 40*l + 1. Let n be f(-20). Which is smaller: 15/14 or n?
n
Let t = -2803608/32005 - 6/6401. Let d = -87 - t. Are d and -20 unequal?
True
Suppose -8*q - 7*q = -15. Is q less than or eq