 1.9 - t. Which is smaller: p or 2/11?
p
Let z = -3.5 - -2.7. Let l = 1.6 - 0.9. Let o = l + z. Which is smaller: o or 2?
o
Let z be 0 - (1 - 0/1). Let j be (2 - 3)*(-18)/(-171). Which is smaller: j or z?
z
Let l = 3 - -60. Is 63 equal to l?
True
Let v = 30 - 25. Suppose -v = g - 14. Is g not equal to 2/3?
True
Let g be (-2 - 0)/(-4)*0. Let c = 2/541 - 3260/3787. Which is greater: c or g?
g
Let b(o) = o**3 - o**2 - o - 1. Let v be b(-1). Which is smaller: v or -1/16?
v
Let t be 0 - (9/24 - 1). Let u = t + 1/24. Is 2 bigger than u?
True
Let b(j) = -j. Let n be b(1). Suppose 5*z - 2*z - 2*d = 321, 3*z - 3*d = 318. Let f = 982/9 - z. Which is greater: f or n?
f
Suppose 4*z = -5*y + 70, -4*z + 0*z + 14 = y. Suppose -5*a - y = 76. Let l be 14/a + (-4)/18. Is 1 < l?
False
Let c = 1.6 - 1. Let p = 1.4 + c. Let j = -0.6 - -2.6. Are j and p nonequal?
False
Let y = 5 - 8. Is -2 at least y?
True
Let z = -19 - -40. Suppose 4*p - 3*k - 10 = z, -p - 4*k = 16. Is p <= 4?
True
Let p = -12.9 + 0.9. Let c = 13 + p. Is -4 < c?
True
Suppose -7*t = -2*t. Let o(j) = j**2 + 16*j + 18. Let w be o(-15). Is t at least w?
False
Suppose 3*t + 3 = -2*b, 0 = -b - 4*b. Is t greater than -0.1?
False
Suppose 2*i = 5*t + 39, -40 = 4*t - 3*i - 6. Let h = t + 3. Is -3 > h?
True
Let l be 9/(-6) + 50/(-20). Which is smaller: -7 or l?
-7
Let y be (-25)/(-10)*2/(-1). Which is smaller: y or 0?
y
Let z(y) be the second derivative of -y**3/6 + y**2/2 + 2*y. Let c be z(-4). Is c > 5?
False
Suppose -2*d - 2 = -4*o + 2, 0 = -2*o + 8. Is 2 < d?
True
Let r be 1/3 - (-29)/(-33). Do r and 0 have different values?
True
Let a = 1308 - 37926/29. Let k = -56/551 + a. Which is bigger: 0 or k?
k
Let p = -4 - -9. Let v = -5.15 + p. Let o = v - -0.05. Which is smaller: 1/2 or o?
o
Let m(p) = -p**3 + 9*p**2 - 11*p + 8. Let l be m(8). Let q be 47/(-1)*4/(-12). Let t = l + q. Which is smaller: 0 or t?
t
Let c(y) = y**3 + 3*y**2 - y + 4. Let m be c(-3). Let b be 8/(-36) + m/(-9). Let s = 0.5 - 0.2. Is s != b?
True
Suppose 3 = g - 0*g. Suppose -v + 4*v - 12 = -3*i, 0 = 5*v - g*i - 28. Is v greater than or equal to 4?
True
Let i be ((-8)/(-6))/(-4)*(9 - 12). Which is bigger: i or 4?
4
Let u(r) = -r**2 + 6*r + 7. Let v be u(7). Let p = -93 + 375/4. Which is smaller: p or v?
v
Let y(z) = z + 7. Let j be y(-6). Let t = -933/10 + 93. Which is greater: t or j?
j
Let n(x) = x**2 - 6*x + 6. Let g be n(4). Let f be g/4*0 + 5. Is f less than 6?
True
Let f(j) = -j**2 - 1. Let g be f(0). Which is smaller: -7/8 or g?
g
Let d be 0/(1*(3 - 2)). Let g(l) = l**3 + 7*l**2 - l - 6. Let c be g(-7). Let y be 0/c + 2/(-15). Which is bigger: d or y?
d
Let l be (-976)/(-12)*(15/2)/(-5). Is -123 at least as big as l?
False
Let y = -109 + 547/5. Is 1 less than y?
False
Let f = -56 - -101. Let i = 15 + f. Let s be (-4)/(-10) - 9/i. Is s at least -1?
True
Suppose 2*y + 3*o - 1463 = 0, 2*y + 3*o - 1428 = 7*o. Let g be y/10 - 2/5. Let q be ((-6)/(-20))/(g/40). Which is greater: 0 or q?
q
Let p be (2/(-7))/(2/(-14)). Suppose w = -p*w + 6. Is w smaller than 2?
False
Let g = 4 + -4.1. Let k be 12*(2 - 5/3). Let f be 5/(-20)*(k + 0). Which is smaller: f or g?
f
Let p be 1/(-1) - (2 - 1). Let f = 1 - p. Let g = 10 - 7. Is f >= g?
True
Let x(v) = -v**3 + 8*v**2 + 7*v + 11. Let u be x(9). Suppose -2*w = -0*w + 14. Are u and w unequal?
False
Let b = 0.3 + 5.7. Let i = 5.8 - b. Is i greater than or equal to -0.1?
False
Let m = -111/5 + 22. Which is greater: -1/3 or m?
m
Let u(c) = c**3 - 9*c**2 - 11*c + 9. Let h be u(10). Is -1/5 less than h?
False
Let g = 0.14 + -0.23. Let z = g + -0.01. Which is smaller: -0.07 or z?
z
Let s = 14 - 50. Which is bigger: -37 or s?
s
Let d(i) = i**2 - 3*i. Let n be d(3). Let v be ((n/(-2))/2)/1. Which is bigger: -3/7 or v?
v
Suppose -40 = 3*d - 8*d. Let y(v) = v**2 - 9*v + 6. Let w be y(d). Which is greater: -3 or w?
w
Let a = 157 - 155. Let h = -3 + 2. Which is smaller: a or h?
h
Let p(y) = y**3 - 8*y**2 - y + 9. Let n be p(8). Is n greater than 0?
True
Let c = 4.3 - 4. Let t be (-9)/42*8/(-6). Which is greater: t or c?
c
Let s be 4*((-17)/(-4) - 3). Which is smaller: s or 4?
4
Let j be 4 + (-286)/42 + 3. Are 0 and j unequal?
True
Let t(q) = -q**2 + 4*q. Let p be t(3). Suppose -p*w - 12 = 9. Which is bigger: w or -6?
-6
Suppose 0 = m - 0 - 1. Let x(a) = -a**3 - 8*a**2 + 9*a - 12. Let n be x(-9). Let f be (1 - 1) + 2/n. Which is bigger: f or m?
m
Let c = -112.01 + 113. Let k = 0.01 + c. Is -1 not equal to k?
True
Suppose 0 = 2*d - 10, 0 = 3*c + 4*d + d - 22. Is c >= -0.4?
False
Let m(z) = -z**3 + z**2 + 2. Let u be m(0). Suppose 5*b - 8 - u = 0. Suppose -5*s = -10, -b*g - s + 4 = -0. Is 0 != g?
True
Suppose 0 = -2*g + g. Is 0.14 at most as big as g?
False
Let d = 228/595 - -2/119. Is d at least as big as 0?
True
Let u = -5 - -4. Let v = 140354/204785 + 2/5851. Let w = v + -2/5. Which is greater: w or u?
w
Suppose 0 = -0*j - j + 5. Let m be (-1 + (-33)/(-15))*j. Let b be 7/4 + m/8. Which is smaller: b or 4?
b
Let c = -2 + 5. Let y be 4*c/6 - 3. Let z = 15 + -17. Is z greater than or equal to y?
False
Suppose -4*n + 4*d = 4, 0*n + 3*n - 5*d + 5 = 0. Let y = 56/117 - 12/13. Do y and n have different values?
True
Let u = -138 + 202. Suppose 0 = 5*a - a - u. Let q be a/(-15) - (-8)/12. Is -1 at most as big as q?
True
Let l(v) = -v**2 + 7*v + 4. Suppose -13 = -3*n + 11. Let h be l(n). Which is smaller: h or -3?
h
Let k be 1/4 + (-3)/12. Suppose -2*d = 5*v - 6, 2*v + 3*d = -k*v - 2. Let f(y) = y**3 - y. Let j be f(0). Which is smaller: v or j?
j
Let a = -9 + 12. Let i(y) = -3*y + 3. Let t be i(2). Let m = t + a. Is -1/6 < m?
True
Let q be (16/28)/((-2)/(-7)). Let n be (-1)/(q*1/(-10)). Is 4 at least as big as n?
False
Let u(d) be the third derivative of d**6/120 + d**5/60 - d**4/24 - d**3/6 - 2*d**2. Let z be u(0). Let q = 2 + z. Is 1 smaller than q?
False
Suppose 4*j - n - 7 = -2*n, 4 = -5*j + 3*n. Suppose -2*c - 10 = 4*t, -t = -0*t - c + j. Which is bigger: -3 or t?
t
Let j be (-4)/(-3) - (0 - 1). Let q(g) = -g**2 + 10*g + 1. Suppose 4*w + 3*n = 46, -3*w - 4*n = -w - 28. Let u be q(w). Which is bigger: j or u?
j
Let z = -33 + 51. Let l = 17.9 - z. Which is greater: l or 0.5?
0.5
Let h = 2.4 + -0.4. Let m = 7 - h. Suppose -58*u = -62*u. Is u at most as big as m?
True
Let o(w) = -2*w - 14. Let t be o(-10). Let n be (2/t)/((-1)/39). Is n greater than or equal to -12?
False
Suppose 0 = 2*b - 0*b. Suppose -2*v - v - 6 = b. Is -2 != v?
False
Let b = 206 + -80. Which is bigger: b or 125?
b
Let u = 4597/19 + -242. Are u and 1 non-equal?
True
Suppose a - 5 = -4*a. Let m(q) = 25*q + 7. Let k be m(-7). Let b = k + 679/4. Is a not equal to b?
True
Let g = -55/144 - -7/16. Is g < 1?
True
Suppose -w = -0 + 1. Let x = -6 + w. Let y = 7 + x. Which is bigger: y or -1/4?
y
Suppose s + 10 = -4*s. Suppose 3 = -2*b + 3*b - 5*r, r + 1 = 0. Is s at most b?
True
Let q = 4 - 18/5. Is 1 != q?
True
Let c(b) = -b**2 + 2*b. Let g be 2 - 0/((-3)/1). Let p be 2/(-4)*(-12)/g. Let f be c(p). Does -2 = f?
False
Let s be 5*(2 - 36/15). Let w(p) be the second derivative of p**5/20 - p**4/12 - p**3/6 - p**2/2 - 2*p. Let r be w(-1). Is s at least as big as r?
True
Let q be (-10)/25 + 43/70. Which is smaller: q or 0?
0
Let k = -24 - 19. Which is smaller: k or -0.1?
k
Suppose -2*m + 2*n = -14, 4*n + 18 + 13 = 5*m. Suppose f - 2*f + 10 = 0. Suppose m*p + f = p. Are p and -4 equal?
False
Let t = 49 - 48.66. Is t at least as big as -1?
True
Let p(o) = -o**2 + o + 2. Let x be p(-3). Suppose -30 = 3*g + 3*u, -4*u = 5*g - 3*g + 20. Is x <= g?
True
Let k(y) = 2*y + 19. Let q be k(-6). Is q at least 8?
False
Let i = -12 - -21. Suppose 3*u = 26 - 2. Which is bigger: u or i?
i
Let w = -45 + 43. Which is greater: -6/11 or w?
-6/11
Let l(u) = -u**2 - 5*u - 6. Let m be l(-6). Let h be 13/(-4) - (-9)/m. Let t be (-3)/h + (-20)/32. Which is bigger: 0 or t?
t
Let f = 10 + -10.3. Let b = -2 + 2. Is f not equal to b?
True
Let h = -31 + 14. Let c = h - -14. Which is greater: c or 0?
0
Let l(w) = -w**3 - 8*w**2 - 7*w. Let c be l(-7). Suppose h + 2 - 3 = c. Is h >= 2/7?
True
Let a(b) = -b**3 - 6*b**2 + b + 5. Let r be a(-6). Let f be 2 + 1 - 40/15. Is r less than f?
True
Let n(r) = -r**3 + 3*r**2 + 3*r. Let g be n(4). Let a(d) = -d**3 - 3*d**2 + 2*d - 4. Let v be a(g). Is