= 3 + n. Which is bigger: x or 2/7?
2/7
Let d = -15 + 54. Let q be -1 - (-135)/d - 2. Which is greater: 0 or q?
q
Let v = 2.83 - -0.37. Let c = 3 - v. Which is smaller: c or 0?
c
Let c be 8/(-12)*-1*-12. Let n = -7 - -11. Suppose -18 - 18 = n*u. Is c at least as big as u?
True
Let c(t) = -t**3 + 2*t**2 - 2*t + 1. Let g be c(1). Suppose m - 4 = -g*m. Which is bigger: 6 or m?
6
Let m = -66/13 - -278/65. Suppose 2*v - v = 0. Is m smaller than v?
True
Let r be 1/12 - (-54)/72. Which is smaller: r or 0?
0
Let v be (-7)/(-35)*(-6 - -2). Which is smaller: 3 or v?
v
Let b be 1 + (-1 - 4) + -4. Which is bigger: b or -13?
b
Let t = -15 - -9. Let a = 6 + t. Is -3/8 less than a?
True
Let x be 8/(-6) - 4/(-6). Let o be 50/18 - (-4)/18. Suppose 0 = o*p - 2*f + 8, 0 = -5*p + 2*p - 4*f + 16. Is p at least x?
True
Let y = 63 - 77. Which is smaller: 0 or y?
y
Let r = 0.21 - 0.21. Let i = -1.1 + 1. Let b = i - -0.2. Which is smaller: r or b?
r
Let d = -12.7 + 10.88. Let k = d - -1.8. Are 0 and k non-equal?
True
Let z(t) = 2*t**2 - 7*t + 4. Let f be z(3). Do f and -0.4 have different values?
True
Suppose 4*b - 2*v - 2 = 0, -v + 1 = 4. Let w = 1 + 1. Suppose n + 3 = -2*t, -2*n + w = -4*n. Is t bigger than b?
False
Suppose 0 = 5*g - 21 + 1. Which is bigger: 2/11 or g?
g
Let o = 0 - -3. Let l = o + -7. Let y(z) = -3*z + 2. Let x be y(2). Is l > x?
False
Let m = 2 - 3. Which is bigger: m or 20?
20
Let n be (-1 - (-38)/20) + -1. Let f(v) = v**3 + 2*v**2 - 4*v - 3. Let j be f(-3). Which is greater: n or j?
j
Let d = 1066/1839 - 67493/358605. Let c = d + 1/117. Let q be (-2 - 0)*(-3)/(-10). Are c and q equal?
False
Suppose 0 = 5*d - 4*h - 41, -5*h - 42 = -5*d + 3. Let p(a) = -7*a**3 - 1. Let k be p(-1). Is k greater than d?
True
Let x be -2*(-3)/(-6)*-5. Let h = 6 - x. Suppose -3*i + h = -8. Are 4 and i nonequal?
True
Let r(a) be the first derivative of -a**2/2 + 3. Let y be r(0). Let x = y + 1. Is -1/4 at most as big as x?
True
Suppose y + 7 = 10. Is y at least as big as 13/4?
False
Let h(x) = x**3 - x**2 + x + 1. Let m be h(0). Suppose 3*w + 17 = 5*g, 2*g + 2 = -5*w - 16. Let j be g - (-1)/(-7) - 1. Which is smaller: j or m?
j
Let n = 4 - 3. Suppose -3*r - n = -2*r. Let c be r + 3/(-4) + 2. Which is bigger: 0 or c?
c
Suppose -46 - 2 = 4*j. Is j < 1?
True
Let h = -0.1 - 0. Let i = h - -0.2. Which is smaller: 3 or i?
i
Let a(l) be the second derivative of -l**4/12 - l**3 + 3*l**2/2 - 5*l. Let j be a(-7). Is j greater than -8/3?
False
Let z(k) = -2*k + 6. Let r(s) = 2*s - 7. Let w(b) = 5*r(b) + 6*z(b). Let x be w(4). Do x and -8 have the same value?
False
Suppose 3*s - 3*g + 0*g + 9 = 0, -3*g = 3*s - 9. Which is greater: 6/19 or s?
6/19
Let z be 9/((-9)/(-4)) + -1. Which is smaller: z or 18/11?
18/11
Let k be 0 + 3/(6/(-4)). Suppose -2*d - 4 = 2*t + 8, -t - 8 = 3*d. Let j be d + 0 + (-1)/1. Is j greater than k?
False
Let f(u) = -u**3 - u**2 - u + 6. Let x be f(0). Suppose -3*r = -x*r. Is -1 at most r?
True
Let t be 5/(-1)*(-8)/10. Suppose 2*a + t*p = -0*p + 12, -4*p - 30 = -5*a. Is a equal to 6?
True
Let c(m) = m**2 - 12*m + 11. Suppose 29 + 15 = 4*k. Let j be c(k). Is 0 <= j?
True
Let w = 0.21 + -0.21. Let y = -97/120 - -5/24. Which is smaller: y or w?
y
Let h be (132/(-14))/(19/(-133)). Is 67 >= h?
True
Suppose 0 = -0*r - 4*r. Let n = -13 + 10. Let v be 27/(-12) + 0 - n. Which is bigger: r or v?
v
Suppose -2*r = 2*r + 4. Let n be r + (0/1)/2. Which is greater: 0 or n?
0
Let v = -253/1785 - -1/119. Are v and -1 equal?
False
Let h(n) = n**2 + 6*n - 10. Let f be h(-7). Suppose 5*d = 20, 0*d + 2*d - 4 = -4*q. Does q = f?
False
Let o be 366/42 + (-2)/(-7). Let d be (-1)/((-21)/10 - -2). Is o equal to d?
False
Suppose 4*h = b - 16, 3*b + 5*h + 54 - 17 = 0. Let v = b - -5. Is v smaller than 2/9?
False
Let r be (-4)/(-10) - (-88)/5. Suppose 4*h = 6*k - 2*k + 24, h = 4*k + r. Let w be 0 - 1 - (-5 - k). Which is bigger: w or 1/6?
1/6
Let u(j) = 0 + 2*j + 3 - 1 - 4. Let o be u(3). Let d = o - 3. Is 1/3 less than or equal to d?
True
Let x = 10 + -17. Let h(t) = t**2 - 12*t + 13. Let l be h(10). Are l and x equal?
True
Let s = 37 - 36.9. Suppose 5*v - 12 = 8. Which is smaller: s or v?
s
Let s = -2 - -2.9. Let p = -2.9 + s. Is p at least as big as -0.1?
False
Let f(x) be the first derivative of -x**2/2 + 1. Let j be f(1). Is j greater than -3/8?
False
Let i = 8 - -9. Is -2/9 <= i?
True
Let i be (-4)/3*(-1 + -11). Let c = -82 - -94. Let r be 18/4*i/c. Do 6 and r have the same value?
True
Suppose -o + 4*j + 3 - 6 = 0, -3*o - 9 = -j. Which is greater: o or 0?
0
Let z = -8.3 - -8. Let g = z - -0.3. Let f = 26 - 127/5. Is f equal to g?
False
Let m = 0.4 + -0.3. Let l = -0.02 - -0.32. Are m and l nonequal?
True
Suppose 2*s - 14 = -3*h + h, 12 = 3*s. Let n(j) = -j - 2. Let l = 1 - 4. Let g be n(l). Is h > g?
True
Let y = 16 - 16. Are 0 and y unequal?
False
Let l = 14 - 16. Let f be (-1)/(l/2*1). Is f < -1/5?
False
Let l(y) = -y + 10. Let q be l(6). Let a(b) = b**2 + 4*b + 3. Let s = -24 + 20. Let t be a(s). Which is bigger: t or q?
q
Let b = -0.4 + 1.4. Let z = b - 4. Let l = 3 + z. Which is smaller: 0.1 or l?
l
Suppose -m - 11 + 29 = 3*h, 3*h - 2*m = 18. Let g be 1*1*3/h. Are g and 0.2 unequal?
True
Suppose 2*a + 12 = 40. Let d = a + -10. Let x be d*1*1/2. Is x greater than or equal to 2?
True
Let c be (-4)/10 + (-2)/70. Let p = 29 - 29. Is c equal to p?
False
Let s(o) = o**2 + o + 1. Let l be s(-2). Let u = 1 - l. Which is smaller: -3 or u?
-3
Suppose -5*y + 4*y = 0. Let a(v) = v + 7. Let g be a(-5). Do y and g have different values?
True
Suppose 3*s - 3 = -g, 4*g + 2 = 3*s - 1. Is -1/100 at least as big as s?
False
Let i = 47 - 31. Suppose -3*j - 3*t + 4*t + i = 0, -3*t - 3 = 0. Which is greater: 4 or j?
j
Let b(q) = q**2 - 6*q - 3. Let i = -8 + 1. Let n(f) = -2*f - 8. Let l be n(i). Let t be b(l). Is t less than or equal to -1?
True
Let z = 8 - 6. Let d be z + -1 - 11/12. Let t = -85 - -85. Is t < d?
True
Suppose 2*j + 2 = -2. Let f = 2 - 2. Is f > j?
True
Let v be (17/(-4) - -2)/((-441)/(-168)). Is v != 0?
True
Let k be (4 + -2 - 2)/(-1). Let u be -3*(4 + -3) - -8. Suppose u = 8*g - 3*g. Which is smaller: g or k?
k
Let g(h) = -h + 6. Let s be g(6). Suppose c - 4*c = s. Let i be c/((-1)/(-1) + 0). Which is smaller: i or 1?
i
Suppose p - 3*p = -4*b - 16, 3*p = -4*b - 16. Is p at least -1/7?
True
Let t be ((-3)/(-11))/(8/20). Let p = t - 271/462. Are 0 and p equal?
False
Let t = 20 - 2. Let d be 4/6*t/(-4). Which is smaller: -2 or d?
d
Let h(y) = y**3 - 4*y**2 + 3*y. Let f be h(3). Let w = 5 - 2. Suppose w - 2 = -b. Is b < f?
True
Let i(m) = m - 3. Let a(p) be the third derivative of p**6/120 + p**5/60 - p**4/12 - 3*p**2. Let d be a(-2). Let o be i(d). Is -3 < o?
False
Let m be (-7)/(-5) - 3/(-5). Let l be (-90)/(-12)*m/6. Which is bigger: l or 2?
l
Let f(t) = t + 2. Let i be f(-7). Suppose 2*s + h + 8 = 5*h, 25 = -4*s - h. Which is greater: i or s?
i
Let x = 67 + -65. Which is smaller: x or 2/3?
2/3
Let d(j) = j**3 - j**2 - 2*j. Let i be d(2). Is -4/49 >= i?
False
Let k = 19 + -12. Suppose 5*u - k = 18. Which is greater: u or 4?
u
Let k = -0.4 - -0.3. Let l = -2.7 - -0.7. Let o = -1.5 - l. Which is smaller: k or o?
k
Let y(n) = -2*n + 5. Let c be y(-5). Suppose u - c = -4*u. Let v = u + -1. Which is smaller: v or 3/5?
3/5
Suppose 2*q - 3*q - 17 = 0. Suppose -19 = -4*u - 83. Which is smaller: q or u?
q
Let s(y) = -y**3 + 6*y**2 - 5*y + 6. Let c be s(5). Suppose -c*b = -3*b. Which is smaller: 4/9 or b?
b
Let n be 8/32 - 2/8. Let f be 1 - 0 - 2/2. Is n <= f?
True
Let x = -83 - 43. Let d be x/45 - -3*1. Which is smaller: 0 or d?
0
Let b = -4 + 6. Suppose -3*v - 5*c - 10 = 0, b*c + 2 = 4*v - 2. Let k be (11/55)/((-2)/5). Is v at least as big as k?
True
Let d = -2.5 + 1.1. Let c = 0.4 + -1. Let f = c + d. Which is greater: 2 or f?
2
Let n = 393 - 387.98. Let j = n + -0.02. Are -0.1 and j unequal?
True
Let i be (0 + -1)/((-2)/(-16)). Let u be 0/(-1) - 38/i. Let j = u + -61/12. Is j less than or equal to 2?
True
Let z = 3 - 2. Suppose z = 2*w - 1. Let p be (-5)/(-50)*(-1 + 9). Which is greater: p or w?
w
Let z be (-1)/(8 - 3)*-5. Does 2/11 = z?
False
Let j = 2 - 5. Let f be 185/35 + 2/(-7). Suppose 0*s + 3*b - 9 = f*s, -2*s - 16 = 5*b. Is j > s?
False
Suppose -3*l = 4*m - 227, -2*l + 189 =