-3*y - q + 5. Which is greater: y or l?
y
Let n = -7 - -11. Suppose -1 = -n*d + 3*d. Let j(b) = -b**2 + b. Let k be j(1). Is k >= d?
False
Suppose 2*z + 15 = -z. Let o be -2 + 3 + -3 + z. Let p = o - -7. Is p < 3/7?
True
Suppose -f + 7 = 1. Let x(n) be the third derivative of n**4/24 - 4*n**3/3 + 10*n**2. Let p be x(f). Which is smaller: p or -1?
p
Let a = -1.7 - 0.3. Let s = a + 2.05. Let r = s - 1.05. Is 0.01 at most r?
False
Let i = 4.6 - 4. Let m = -0.54 + i. Which is smaller: m or -1?
-1
Let h be (0 + -1 - -3) + 0. Let p(f) = -f**2 - 7*f - 2. Let w be p(-6). Suppose -5*o = -w*o. Which is greater: h or o?
h
Let v be (6/(-9))/(12/(-54)). Is 3 greater than v?
False
Let l(c) = -c**2 - 6*c + 5. Let t(q) = q**3 - 9*q**2 - 10*q - 6. Let j be t(10). Let f be l(j). Suppose 10 = -f*k - 0*k. Are -2 and k nonequal?
False
Let i be (-3 + 3)*1*1. Suppose 4*x + 0*x + 3*k = -3, 4*k = -4. Is x less than or equal to i?
True
Let h = 2 - 8. Let g = h - -19. Suppose 3*x = -3*l - 2*l - g, 0 = -4*l + x - 7. Does -1 = l?
False
Suppose v + 4 = -3*v. Let z(s) = 6*s - 5*s - 1 + 2. Let r be z(v). Which is bigger: r or 1/2?
1/2
Let b(z) = -z**3 - 12*z**2 + 13*z + 2. Let y(k) = 3*k + 11. Let i be y(-8). Let s be b(i). Is s at least 2/3?
True
Let j = -0.3 - -0.5. Let v = j - 0.4. Which is smaller: -0.1 or v?
v
Let r(l) = -l**3 + 4*l**2 - 2. Let a be r(4). Let x = 1 + -1. Suppose 4*b - 4*t = -x*t - 24, 2*b + 9 = t. Is a > b?
True
Let y = -4 + 10. Let w be (-20)/(-6) - 2/y. Let q = 0 + w. Which is smaller: q or 4?
q
Let g(h) = -h**3 - 6*h**2 + 8*h + 8. Let q be g(-7). Let b(j) = 7*j. Let i be b(q). Let x be 3/(2 - i/2). Is 1 greater than or equal to x?
True
Let x be -12 - -2 - -5 - -11. Which is smaller: 8 or x?
x
Let n(p) = p**2 - 8*p - 1. Let w be n(8). Let l be (-4)/13*w/(-2). Which is smaller: 0 or l?
l
Let u(a) = a**2 + 9*a + 12. Let p be u(-8). Suppose 1 = 5*c - p. Let l be (5/(-6))/((-30)/24). Which is smaller: c or l?
l
Let p = 6 + -11. Let s = 4 - 4.3. Let r = 0.3 + s. Which is smaller: p or r?
p
Let t be (22/(-33))/(2/18). Let r(m) = 2*m - 1. Let b be r(-2). Let a be (-2)/b + t/5. Which is bigger: -2 or a?
a
Suppose 3*f = f + 2. Let p = 18 + -13. Suppose p*c = -0*c. Does c = f?
False
Let c(w) = w. Let j(o) = -o**2 + 11*o + 3. Let h(s) = 6*c(s) - j(s). Let i be h(6). Which is smaller: i or -0.1?
-0.1
Let a = 2.6 + -0.6. Let o = -0.03 - 0.04. Let j = 0.27 + o. Which is bigger: a or j?
a
Let c = -2 - -3. Let p(r) = r**2 + 2*r + 1. Let s be p(-1). Suppose 0*m - y = -4*m + 11, s = -m + 2*y + 8. Which is smaller: m or c?
c
Suppose -3*x - 5 = 16. Which is smaller: x or -5?
x
Let v = -27/8 + 165/56. Are 0.3 and v unequal?
True
Let k be (-1 - -3)/(-1) - 3. Is -5 at least k?
True
Let i(f) = -f**3 - 5*f**2 - f - 2. Let t be i(-5). Let z = 12 - 8. Which is smaller: t or z?
t
Let c be 0/(-2) - 32102/1088. Let s = c + 3/544. Let o = 29 + s. Is o at least -2?
True
Let m = -0.1 + 0.1. Suppose -v = -3*v - 4. Let y be (6 - 2)*v/(-4). Which is greater: m or y?
y
Let s = -0.9 + 0.88. Is s at least 0.2?
False
Let c = -159 + 808/5. Which is bigger: 4 or c?
4
Let d be (204/85)/(-2 + (-26)/10). Which is smaller: -1 or d?
-1
Let z(m) = 2*m + 9. Let x be z(-7). Let r be ((x + 1)/2)/(-2). Let b be (-24)/20 + r/5. Does b = -1?
True
Let m be 0 + (6/(-7))/3. Let u = 1 + 0. Is m bigger than u?
False
Let r = 17/12 - 5/4. Let s = -56/3 + 19. Which is bigger: r or s?
s
Let q = 27/7 - 191/35. Let s = 38 - 39. Are s and q equal?
False
Let o(l) = l - 4. Let n be o(3). Suppose -21 = 2*j + j. Let q be 4/j - (-9)/(-21). Is q != n?
False
Let d be ((-2)/(-4))/(1/(-6)). Suppose 2*l + 12 = -3*h, 4*h + 11 = 4*l - 5. Do d and h have the same value?
False
Suppose 60 = -7*h + 4*h. Let o be 1 - -1 - h/5. Let a be o/3 + 0 - 3. Is a at least 0?
False
Let k = 15 + -12. Suppose 2*t = -2*o + 2, -2*o - o = -k*t - 3. Are 0 and t non-equal?
False
Let t be (-388)/14 - (200/(-35) + 6). Is t at least -26?
False
Suppose 3*n = -n + 8. Let f be n/(-4)*2/(-23). Is 0 greater than f?
False
Let h = -52 - -37. Let t be -5*(-3)/(h/2). Let o(l) = -3*l - 26. Let r be o(-9). Is r at least t?
True
Let q be 2/2 + 1 - 2. Suppose 0 = -5*p + 4*g + 20, -3*p + 3*g + 15 = -q*g. Suppose -u = 3*w - 10, -2*u - w - w = p. Is -4 at least as big as u?
True
Let b be 3*-1 - (5 + -1). Let a = b - -11. Suppose 3*i - 7 = -4*k, -a*i + 0*k - 5*k = -10. Is i > 5?
False
Suppose 2*y = 5*y. Suppose y = -4*l + 6*l. Suppose 1 = -2*o + o. Is l less than o?
False
Let z = -6 + 2. Let k = -6 - -1. Let a = k - -1. Is z less than or equal to a?
True
Let y(w) = -w - 3. Let f be y(-5). Let z = -0.3 - -0.3. Which is smaller: f or z?
z
Suppose 0 = 3*l - 4*l - 3, 3*s + 9 = -2*l. Which is smaller: -2/45 or s?
s
Let v(z) = -z**2 + 9*z - 2. Let w be v(8). Let g be (-20)/(-6)*(-3)/(-2). Which is bigger: w or g?
w
Let u = 0.52 + 0.08. Let v = -100 - -100.7. Let z = u - v. Is 0 <= z?
False
Let v = 3.7 - 22.7. Let a = v - -18. Which is smaller: a or -18?
-18
Suppose 0 = -3*n - 5*l + 14 + 6, 0 = -5*n + 3*l + 22. Suppose n*p + 55 = 10. Let t(d) = 2*d + 13. Let m be t(p). Is m <= -6?
False
Let t(f) = f**2 - 15*f + 43. Let y be t(11). Which is greater: y or -5/3?
y
Suppose -2 + 12 = 5*d. Suppose t + d*t + 3 = 0. Suppose -2*o - 5 = -1. Is t smaller than o?
False
Let a be (-2)/21 + -2 + 3. Let p = a - 4/7. Do p and -1 have the same value?
False
Let g(y) = y**3 + 2*y**2. Let k be (1/4)/((-2)/8). Let d be g(k). Which is bigger: 0 or d?
d
Let l = -73 - -82. Which is greater: 1 or l?
l
Let z(k) = -2*k**2 - 7*k - 3. Let t be z(-3). Let j be (-1)/7*(-46)/(-21). Let y = j - 1/49. Is y not equal to t?
True
Let b = -12 + 11. Is b > -1/27?
False
Let g be (-36)/20*20/(-24). Which is smaller: 0.1 or g?
0.1
Let o(v) = -v**3 + 2*v**2 + 2*v - 2. Suppose 2 = -0*z + z. Let s be o(z). Which is greater: s or 1?
s
Suppose 6 = 5*b + 5*i + 21, 0 = -4*b - i - 15. Suppose -8*l - 12 = -2*l. Is l smaller than b?
False
Let z be (-6)/(-30) - 21/5. Let s be ((-2)/4)/((-2)/8). Let o be s/7 - 37/7. Which is bigger: o or z?
z
Let t = -0.86 - -0.16. Let y = t - -0.8. Is y < 1?
True
Let a = -57 - -1403/25. Let p = a + 468/475. Which is bigger: -1 or p?
p
Let m = 0.5 - 2.5. Let o = m - -1. Which is smaller: o or 4?
o
Suppose 189 = -2*y - y. Let o be 12/(-54) - 8/y. Suppose -4*l + a + a = 0, 0 = 4*a. Is o < l?
True
Suppose 0*r - 5 = -5*r. Which is smaller: r or -2/45?
-2/45
Suppose 0 = -17*n + 20*n + 177. Let x = -175/3 - n. Which is smaller: x or -6?
-6
Let x be 0 + (14/21)/(14/(-6)). Which is smaller: x or -15?
-15
Let i(c) = c**3 + 7*c**2 - 9*c + 1. Let l = -5 - 3. Let o be i(l). Let w = 56 + -48. Is o != w?
True
Let h be 537/270*2 - 0. Let o = h - 21/5. Is 1 bigger than o?
True
Let v be -1*(-12)/32 + -1. Is 0 less than v?
False
Let q = -9 - -10. Is q equal to 3/2?
False
Let m = 3 + -2.92. Let g = m - -0.02. Let v be 2 - (1 + 1) - 1. Is v at most as big as g?
True
Let u be (-1 - -2)*(3 - 4). Let d = -4 - -2. Which is greater: d or u?
u
Let c(r) = r**3 + 7*r**2 + 6*r - 1. Let v be c(-6). Is v >= -5?
True
Let d = 234703 + -10563317/45. Let g = d - -188/5. Which is smaller: 0.2 or g?
0.2
Suppose -5 = -o + b, -5*b - 7 = -3*o + 4*o. Which is smaller: o or 8/5?
8/5
Let u(m) = -2*m**2 + 10*m - 12. Let q be u(6). Suppose 3*w - 111 = 3*d + 2*d, -4*d - 3*w - 105 = 0. Is q at most d?
True
Suppose -4*c = l + 6, -2*c = 2*l + 2*c + 4. Is 4/7 greater than or equal to l?
False
Suppose -4*q + 31 - 35 = 0. Which is greater: q or 2/21?
2/21
Let p be (-8)/(-3)*(-144)/64. Is p < -4?
True
Let q = -2 - -4. Suppose -4*u = s - 8, 3*s - 2*s = u - 2. Which is bigger: s or q?
q
Let w be (-8)/16*((-4)/2)/(-8). Which is greater: w or 0?
0
Let u be 3/5 - (-165)/(-75). Which is smaller: u or -2?
-2
Let z(u) = -u**2 + 8*u - 4. Let o be z(7). Let c(y) = -2*y + 3. Let p be c(2). Let x be 3 + (15/(-6) - p). Is x at most as big as o?
True
Let s = -11217 - -134485/12. Let l = 29/3 + s. Is l equal to 0?
False
Let p = 11 + -11. Suppose -3*b + p*u = -2*u - 13, 0 = -2*b + 3*u + 17. Do b and -1/3 have the same value?
False
Let d = -3 - -4. Which is smaller: -19 or d?
-19
Let p = 92 + -65. Is p at most as big as 26?
False
Suppose 0 = 5*y - 22 - 38. Let v be 8/y + (-3)/4. Is 1 < v?
False
Let x = 3/2968 - -499/240408. Is -1 at most as big as x?
True
Let u