ppose -y*d = -d. Suppose -c + 6*c = d. Is 2 greater than or equal to c?
True
Let m be (-24)/20*(-26)/(-8). Which is greater: m or -3?
-3
Let y = -27 + 17. Let w = y + 8. Which is greater: -5 or w?
w
Suppose -6 = -3*k - 0*k. Suppose 4*a - 4 = k*a. Let h be -1*(-1)/a*0. Which is greater: -0.1 or h?
h
Suppose 0 = 5*w - 4*q + 97, 10 = -w - 3*q + 2. Is -17 equal to w?
True
Let c = -1202 - -56496/47. Let p = 65/423 - c. Let i = -189 + 190. Which is smaller: p or i?
p
Suppose -42 = 3*x - 4*r - 0*r, 0 = -2*x + 4*r - 24. Let g be ((-10)/(-6))/((-6)/x). Suppose -g*h = -8*h - 3. Does -2 = h?
False
Let d(m) = -m + 12. Let l be d(4). Is l less than or equal to 2?
False
Suppose 10 = k - 5*u, -2*u + 11 = 2*k - 3*u. Suppose -3*x + 2*l + k = 0, 4*l - l = -2*x + 12. Which is smaller: 3/2 or x?
3/2
Let r = 2 - 2.09. Which is smaller: r or 0?
r
Let t(i) = i**3 - 25*i**2 - 53*i - 28. Let x be t(27). Which is smaller: x or 2/103?
x
Suppose 2*d - 1 - 1 = 0. Let x be ((-8)/(-20))/((-264)/45 + 4). Is d < x?
False
Suppose -3*u + 5*u - 20 = 0. Is 11 at least u?
True
Let y = -2/423 + -331/19458. Is -1 > y?
False
Let y = -130 + 5721/44. Let m = y - -8/11. Suppose 0*i + 2*i - 10 = 0, -3*q - 9 = -3*i. Which is smaller: q or m?
m
Suppose -5*y + 18 = s, 2*s + 2*s - 3*y + 43 = 0. Is -7 <= s?
True
Let d = 0.03 - 0.08. Suppose 0 = -3*g + f, -3*g + f - 18 = 6*f. Which is greater: g or d?
d
Let g be ((-6)/9)/(2/(-3)). Let c(o) = -5*o + 0*o + 6*o + 8 + 4. Let r be c(-10). Are g and r equal?
False
Suppose -2*j - 21 = 2*a + 1, 3*j = 3*a + 15. Is a less than or equal to -9?
False
Let s(a) = 2*a**2 + 11*a + 6. Let d be s(-5). Is -2/9 < d?
True
Suppose 0*n = -n - 5. Let q(s) = -s - 5. Let j be q(n). Which is smaller: -4/3 or j?
-4/3
Let z(b) = 5*b**3 + 4*b - 5. Let h(o) = 4*o**3 + 3*o - 4. Let i(l) = 4*h(l) - 3*z(l). Let k be i(1). Let w = -59/77 + 6/7. Is w > k?
True
Let w = -4 + 3.4. Let m = w - -0.5. Let j be (1/(-4))/(5/4). Is j not equal to m?
True
Let h be 1*(2 + (-546)/274). Let d = h - -129/1096. Suppose -a - 1 = -2*a. Which is bigger: a or d?
a
Suppose 4*a = -f + 12, 0 = -f - a - 4 + 7. Let r be (-4)/14 - (-69)/168. Which is smaller: f or r?
f
Let i = -7.982 + -0.118. Let b = 8 + i. Is b >= -0.1?
True
Let b(z) = -5*z**3 + 8 + z - z**3 + 5*z**3 - 7*z**2. Let v be b(-7). Is v at most as big as 1/7?
False
Let d(c) = c**2 + 9*c + 10. Let g be d(-7). Let o = g + 4. Which is smaller: 6/11 or o?
o
Let t(v) = -v**2 + 7*v - 2. Suppose 2*k = 3*k + 4*z - 1, -3*z = 3*k - 12. Let l be t(k). Which is greater: l or 9?
9
Suppose -2*v + v = -4*n + 5, 4 = -n + 2*v. Suppose 2*t = -c - 1, -3*c + 5 = -n*t - 0*c. Is t less than -4?
False
Let g(w) be the third derivative of w**5/60 - 2*w**2. Let s be g(-1). Let t be (1*-3)/(3/(-2)). Is s not equal to t?
True
Let f(z) be the third derivative of z**6/360 - z**5/40 + z**4/24 - z**3/3 - z**2. Let q(m) be the first derivative of f(m). Let v be q(3). Is 3 less than v?
False
Let u = -73 + 147/2. Which is smaller: 2 or u?
u
Suppose 21 - 70 = -7*p. Suppose m - 4*f = -3, 0 = -2*f + 1 + 3. Let l = m - p. Is -3 less than or equal to l?
True
Suppose 13*f + 210 = -154. Is f >= -26?
False
Let f = 7 - 0. Which is smaller: -1/3 or f?
-1/3
Suppose 0 = 2*r - 5*g - 10, 3*r - 16 = g - 1. Suppose 4*u - 24 = u + 3*c, r*c - 16 = -3*u. Is u less than 9?
True
Let q = 3.38 + -0.43. Let r = 0.05 + q. Is -2/7 greater than or equal to r?
False
Let o = 0 - 0. Let s = 1.01 - 0.01. Let a = s + -2. Which is bigger: a or o?
o
Let u = -0.01 - 1.99. Let h = -0.1 - -0.4. Which is greater: h or u?
h
Let w(l) = -l**3 - 5*l**2 + 16*l + 8. Let i be w(-7). Suppose m - 3*m - 8 = 0. Is i at most m?
True
Let d be (0 - -1)/((-2)/2 + 0). Let v = -133 - -663/5. Which is greater: d or v?
v
Let k = -2 - -4. Suppose q - k*q + 1 = 0. Is 0 > q?
False
Suppose 2*t + 4 = 2*o - 2, -9 = -2*o - t. Does o = 38/15?
False
Let d be ((-8)/3)/((-1)/3). Suppose 0*u - 2*u = -d. Suppose -3*v = -j + 2, 3*j + 2 = -3*v - u. Are -1 and j equal?
True
Let g = -4 + 18. Suppose 2*w + 0*w + g = 0. Let a = 5 + w. Which is bigger: a or -1?
-1
Suppose 3*m = 2*r - 9, -7 + 1 = -2*r + 2*m. Are r and -0.35 unequal?
True
Suppose 2*t = t + 22. Let l = t + -67/3. Is 3 > l?
True
Let j = 11 + -13. Which is smaller: -1 or j?
j
Let w be 1 + (-2 - -2)/(-1 - 0). Let z = -6 - -6.4. Which is greater: w or z?
w
Let t = 91 + -93. Let n = -0.4 - -0.2. Which is smaller: n or t?
t
Let q = 4.8 - 0.8. Which is smaller: q or 0?
0
Let k = -3 + -15. Let g = 9 + k. Which is bigger: g or -8?
-8
Let r = -199179 + 94610113/475. Let k = 2/25 - r. Which is smaller: 0 or k?
k
Let t = -0.023 - -37.423. Let l = 34 - t. Let i = -4 - l. Is i greater than or equal to -0.1?
False
Let n = -15 + 25. Is n less than or equal to -0.1?
False
Let p = -0.7 - -1.3. Let x = 0.5 - p. Which is bigger: x or -0.2?
x
Let y = 34.01 - 34. Are -0.1 and y equal?
False
Suppose 3*j + 6 = g - 4*g, 4*j = -2*g - 2. Are j and 1 non-equal?
False
Suppose 0 = -4*n - n + l + 46, 0 = 3*n - 3*l - 30. Let c be ((-4)/65)/(n/30). Let z = -6/13 + c. Does 2/7 = z?
False
Let g = -729677/345 + 2115. Does 0 = g?
False
Let i = 1.98 - -0.02. Let l = -0.042 + 0.022. Which is smaller: l or i?
l
Let q be 101/(-11) - 2/(-11). Let s be 7/(-39) + (-3)/q. Let i = 1 - 0. Which is smaller: i or s?
s
Let q = -108.1 - -100. Let c = q - -8. Let l = 2.02 - 0.02. Which is smaller: c or l?
c
Let z = 19 + -22. Let f(u) = -u**3 - 2*u**2 + 5*u + 3. Let o be f(z). Which is smaller: o or 1?
o
Let q = -38 - -38. Is -1/11 smaller than q?
True
Let p = -7295/7 + 1040. Are p and -1 unequal?
True
Let n be 1 - 5/((-210)/(-51)). Which is smaller: n or 1?
n
Let t = -383/336 + -3/112. Is t <= 0?
True
Let f = 4 - 4. Are 3 and f unequal?
True
Let g = 10/7 - 8/7. Suppose 3*l - 4 = l. Suppose -6*u + 4*u - l = 0. Is g greater than u?
True
Suppose 0 = -4*x + 2*v + 18, 2*x + 6 = -5*v - 3. Let q(u) = u**2 - 3*u - 3. Let c be q(x). Let w be ((-2)/c)/(8/3). Which is smaller: -0.2 or w?
-0.2
Let n(q) = -q**3 - 4*q**2 + 7*q + 5. Let s be n(-5). Are -26/5 and s equal?
False
Let g = 9 + -7. Which is smaller: g or 2/3?
2/3
Let r = -93/2 + 42. Which is bigger: -5 or r?
r
Suppose -35 = -2*a + 7*a. Let y = -18 - -11. Do y and a have the same value?
True
Suppose -d = -2*h + 239, 5*h = -d + 4*d + 597. Let m be (-78)/h - 1/(-4). Which is smaller: m or -1?
-1
Let f = -109 - -110. Do -16 and f have different values?
True
Let v = 2/4983 + 124561/34881. Which is smaller: v or 3?
3
Suppose -w - 6 + 0 = 0. Is 1 < w?
False
Suppose -4*n + 3*a = -17, 3*n + a - 7 = 9. Suppose 0 = -n*u - 54 - 36. Is -18 smaller than u?
False
Let o = -42.2 - -40. Is o at least as big as -0.1?
False
Suppose 3*r + 20 = -2*r. Which is greater: r or -6?
r
Let w(v) = 4*v**2 - 10*v - 4. Let z be w(3). Let x = 78 + -542/7. Is z equal to x?
False
Let t(x) = -x**2 + 5*x - 2. Let o be t(4). Let n = 2 - o. Suppose 4*g - 20 = d, -5 = -4*d - g - 0. Is n greater than d?
False
Let r be (56/18)/((-10)/12). Let i = r - -10/3. Let c(l) = -l**2 + 4*l - 4. Let g be c(3). Which is bigger: i or g?
i
Let x = 81 + -568/7. Suppose -w + 2 = -3*w. Which is bigger: w or x?
x
Let z be 2 - (1*-215 - -3). Let g = z - 392. Let y = g - -1248/7. Is -1 > y?
False
Let y = -2 + 3. Let l be (10/3 + -2)*(-87)/58. Which is smaller: y or l?
l
Let a be 321/21 - (-4)/(-14). Let n be (63/56)/(a/(-4)). Is n bigger than -1?
True
Let d = -24.86 + 20.9. Let o = d + -0.04. Which is bigger: -1 or o?
-1
Suppose 5*p + 3 = 8, -3*x = 3*p - 12. Suppose -5*g + 3*n - 14 = n, -x*g = -3*n + 12. Is -2 greater than g?
False
Suppose -2 + 3 = 3*i + 2*d, 0 = -4*i + 3*d - 10. Is i smaller than -3/40?
True
Let f be (-3 + (4 - 1))/(-1). Suppose -3*b + 29 = -5*h - 2, f = -b - 4*h - 18. Is b less than or equal to 6/11?
False
Let r = 15 - 16. Suppose 4*f - 6*f - 146 = 0. Let s = f + 655/9. Is r != s?
True
Let s = 7 - 5. Suppose 5*u + 16 = -4*t, -2*u + 6*u + s*t + 8 = 0. Is u not equal to 6/5?
True
Suppose -2*s = -0*s + s. Let j = 0.64 + 0.06. Is s != j?
True
Let s be (-2)/4*-4 + 24/84. Is s less than 1?
False
Let q = 23 - 24. Which is bigger: 2/169 or q?
2/169
Let p = 5 - 13. Let y = 6 + p. Is y at least 0?
False
Let d = -1/107 + 217/321. Is d smaller than 0?
False
Let x = -8 + 10. Let l be ((-5)/(-6))/((-12)/(-9)). Which is greater: l or x?
x
Let m