Is 2 greater than or equal to b?
True
Let u = -11 + 9. Are -2 and u equal?
True
Let w = 5 + -6. Let o be (14 - w)*9/(-27). Is o < -5?
False
Let d = 6 + -3. Which is smaller: 0 or d?
0
Let h = -0.2 + 0.1. Let q = -1.6 + -2.5. Let y = q - -4. Is h != y?
False
Let w be (9/12)/(1/(-8)). Let d(g) = -g**3 - 7*g**2 - 6*g + 4. Let r be d(w). Which is bigger: 2/3 or r?
r
Suppose -4*l = l - 30. Suppose -5*p - 12 + 37 = 0. Is l >= p?
True
Let r be 3 - 3 - (-140)/(-48). Let v = r + 103/60. Is -2 bigger than v?
False
Let k be (-14 + -1)*1/39. Which is smaller: 0 or k?
k
Let u(w) = 7*w**3 + 2*w**2 + 4*w + 3. Let s be u(-1). Which is smaller: -5 or s?
s
Let q = 1.2 + 2.8. Let g = q - 3.9. Are -1 and g equal?
False
Let p = -3 - -3. Let r = -0.6 + p. Let h = -3.6 - r. Is h <= 1?
True
Let u be (2*-5)/((-80)/(-150)). Which is smaller: u or -18?
u
Suppose 3*l = 11 - 5. Let c(q) = -q**2 - 11*q - 10. Let z be c(-10). Which is bigger: z or l?
l
Suppose x - 1 + 3 = 0. Let v(f) = -3*f. Let l be v(x). Suppose 0 = s - l*s + 15. Which is smaller: s or 2?
2
Let k = -11/24 + 1/8. Let j be 0/(-3) + 1 + -1. Let z = k - j. Which is greater: -1 or z?
z
Let k = -106 - -3923/37. Which is smaller: 3 or k?
k
Let d = 10.8 + -11. Let p = 0 + d. Which is smaller: p or -0.1?
p
Suppose -3*t + 5*z + 28 = 0, -5*t + 40 = -3*t + 2*z. Is t at least 16?
True
Let q = -70 - -71. Which is smaller: q or 0.16?
0.16
Suppose -10 = -j - 2. Which is greater: j or 9?
9
Suppose -3*n - 3*m - 3 = 0, -2*n - 5 = 2*m + 3*m. Suppose 0*w + w = n. Suppose w*j - 4*j = -12. Is 3 equal to j?
True
Suppose -20 = -5*y - r, y + 3*r - r = -5. Suppose -y*z + 0 + 10 = 0. Let i be (2/3)/((-4)/(-6)). Which is greater: i or z?
z
Let m = -52 - -50. Which is smaller: 16 or m?
m
Let j = -2 + 2. Suppose i = -i + 5*i. Is j < i?
False
Let y be (-3 - -1)/(4/6). Suppose -4*x + 3*x - 2 = 0. Which is greater: y or x?
x
Let p = 17 + -18. Which is bigger: p or 2/15?
2/15
Suppose -a = -2*a. Let w be -2 - -1 - (-7)/12. Let r = 1/12 + w. Do a and r have different values?
True
Let x = -12 - -12.1. Let n = 1 + -0.8. Let k = n - x. Is 1 greater than k?
True
Let k be (-50)/(-4)*32/8. Which is smaller: 49 or k?
49
Let k = -38 - -39. Which is greater: 0 or k?
k
Let j = 2 + -2.8. Let m = -0.9 - j. Let s = -3.7 - -0.7. Which is bigger: s or m?
m
Let r = -359 + 359. Let h be (-99)/428 + 1/4. Let c = 95/642 + h. Is c > r?
True
Let j be ((-66)/77)/((-3)/14). Suppose j*v = 1 + 3. Which is smaller: v or 2/29?
2/29
Let l(y) = y**2 - 9*y + 8. Let j be l(7). Let f be (j/(-8))/(63/(-56)). Is f at least as big as 16/7?
False
Let o = 0 + 2. Suppose -3*y - o*y = 10. Let h be ((-2)/3)/(y/3). Which is bigger: 0 or h?
h
Suppose 5*a - 15 = 15. Let m be ((-8)/6)/(a/(-9)). Let s be 5/m*1/5. Which is smaller: s or 2/5?
2/5
Suppose -17*c = -16*c + 1. Let g = -0.1 - -1.1. Which is greater: c or g?
g
Let p be (-6)/(-10) - 7/(-5). Let n = -48.02 + 49. Let x = 0.02 + n. Does p = x?
False
Let i = -0.7 - -0.1. Let k = i - -0.3. Is 2/5 <= k?
False
Let i be -5 + 3 + (-4)/(-1). Let f be (i/65)/((-3)/(-30)). Is -1 at most f?
True
Let o = -19 - -13. Are o and -6 unequal?
False
Let b = -12 + 15. Suppose -4*c + b = -5. Does -4/3 = c?
False
Let g(z) = z - 3. Let w be g(0). Suppose q - 2 = 0, -2*q = s - 3*q. Suppose -3*o + o - s*m = -4, 2*m = -o + 6. Which is bigger: o or w?
o
Suppose -3*q + 5*u = -1, -8 = 3*q - 6*q - 2*u. Suppose 0 = o + q*o. Suppose 6 = 5*j + 16, -5*f + 4*j + 18 = o. Which is greater: f or 4?
4
Suppose -11 + 1 = -2*b. Let n be (-45)/b - 0/(-2). Is -9 smaller than n?
False
Let y be 104/10 + (2 - 4/1). Which is smaller: 9 or y?
y
Let v = -7 + 4. Let u = v - -7. Which is smaller: u or 5?
u
Let a(n) = n - 5. Let s be (-43)/(-5) + (-16)/(-40). Let f be a(s). Suppose -f = u + 3*u. Which is smaller: u or 1/7?
u
Let d be (-4)/(-14) - 7364/49. Let r be -2 + (d/(-4))/5. Which is smaller: 6 or r?
r
Let x be 0 + -2 - 3 - 4/(-1). Which is bigger: 31 or x?
31
Let t = -211 - -109. Is -103 smaller than t?
True
Suppose -6 = 5*n - 2*n. Does n = -2/3?
False
Let j(w) be the second derivative of 0 + 2*w - 3*w**2 - 1/6*w**3. Let d be j(-6). Do 1 and d have different values?
True
Let m be (-1)/3*2/14. Which is smaller: -1 or m?
-1
Suppose -5*y + 2*y + a + 4 = 0, -a = 4. Suppose 3 = 3*d - y*d. Let m = -6 - -5. Which is smaller: m or d?
m
Let f(p) = -p**3 + 25*p**2 + p - 29. Let t be f(25). Are t and -4 unequal?
False
Let l(f) = -f. Let y be l(0). Is -3/4 < y?
True
Let a = 0 + -2. Let y be (0 + -3 - a)*1. Let d = 13 + -27/2. Which is greater: y or d?
d
Let b = -0.9 + 0.1. Let r = b + 1. Let m = 0 - -1. Which is bigger: r or m?
m
Let i be (-40)/20 - 137/(-67). Are 1 and i nonequal?
True
Let b = -1.99 + 2. Let d = b + 1.99. Let c = -2.1 + d. Is -0.1 not equal to c?
False
Let k = 9 - 8.1. Is k smaller than -2/7?
False
Let x = 0 - -1. Let l = 0.2 + -11.2. Let b = l - -7. Which is smaller: b or x?
b
Suppose 5*f - 3 = 4*f. Let k = 1 - -11. Suppose 0*l = -f*l - k. Is -4 bigger than l?
False
Let h(z) = z**3 - 3*z**2 + 4*z - 3. Let f be h(2). Let m = f - 4. Let b = 3 + -5. Which is smaller: m or b?
m
Let c = -23 - -21. Are c and -5/3 nonequal?
True
Suppose 0 = -5*b - 3*i - 6, 3*i = 3*b + 2*b - 6. Let g be -4 + (-56)/(-13) + b. Is g at most -1?
False
Let i = -2 - -4. Suppose -5*q = 5*f - 25, 3*f + 8 = 2*q - 2. Which is smaller: f or i?
f
Let y be 74/(-12) + 4/24. Which is bigger: 9 or y?
9
Let d = 28 + -20. Is d > 6?
True
Let r = 5 - 3. Suppose -8 = 5*b - 28. Suppose r*j = b + 4. Which is smaller: 5 or j?
j
Suppose 3*q + 5*g + 3 = 6*q, -2*q = -5*g - 7. Let j = q - -4. Let d be (2/6)/(14/(-21)). Which is bigger: d or j?
j
Let z(f) = -3*f**2 + 4*f**2 - f - 7 - 4*f. Let i be (-11)/55 + ((-62)/(-10) - 0). Let r be z(i). Are r and -1 equal?
True
Let l(v) = 3*v**3 + v**2. Let c be l(-1). Do c and -14/5 have the same value?
False
Let l(z) = 3*z**2. Let x be l(-1). Suppose -b + 12 = x*b. Which is bigger: 2 or b?
b
Let d = -1.4 - 0.6. Let c = 0.3 + -0.33. Let x = c + -0.97. Which is greater: d or x?
x
Suppose 0*q = 2*q. Suppose q = i + 4*i - u - 4, 2*i - 5 = -3*u. Which is smaller: i or 1/9?
1/9
Let k = 9 + 1. Let z be 40/6*(-12)/k. Let d = z - -11. Do 3 and d have the same value?
True
Let d be 2*(28/8 + -3). Which is smaller: d or -1/49?
-1/49
Let d(z) = z**3 + 7*z**2 - 4*z**2 + 2*z**2 - 4*z**2 + z. Let a be d(-1). Which is bigger: 13 or a?
13
Let m(d) = d**2 - 13*d + 24. Let q be m(7). Suppose -5*o - 57 = -o - 5*s, 3*s - 81 = 5*o. Is q greater than or equal to o?
True
Let i be (-6 - 1) + (-6)/2. Let y be 2/(8/(-44)) - 0. Which is smaller: i or y?
y
Suppose 0*p + 2*r = p + 5, -4*p - 3*r = 9. Let z(l) = 2*l**3 - 2*l**2. Let y be z(2). Let c = 6 - y. Is p < c?
True
Suppose -4*o = 7 - 27. Are o and 6 non-equal?
True
Let g = 227.1 + -211. Let z = -8.3 + g. Let y = 8 - z. Is y bigger than 0.2?
False
Suppose -p = 5*k - 21, -k + 2*p = k - 6. Let h = 8 - k. Suppose -3*w + 6*w - 15 = 0. Which is smaller: h or w?
h
Let d(i) = -2*i - 4. Let h be d(-3). Suppose h*p + 0 = 4. Is p smaller than -3?
False
Let r = 0.1 - 0. Do r and -1/3 have the same value?
False
Let h = 4 + -8. Let s = h + 3.6. Let p = -0.3 - s. Is 2/5 greater than p?
True
Suppose 0 = -5*u + 4*d - 7, 4*d = 2*u - 5*u - 17. Suppose -2*z + 10 = -7*z. Which is smaller: z or u?
u
Let i be -1*(0 + -4)/(-1). Let d be (4 + i)*(2 + -1). Let h = -34 + 241/7. Does h = d?
False
Let r = 4.2 + -4.14. Is r at most as big as -0.06?
False
Suppose -7 - 48 = -5*s. Let n(v) = v**2 - 11*v + 2. Let h(r) = 2*r**2 - 22*r + 5. Let f(w) = -3*h(w) + 5*n(w). Let o be f(s). Which is smaller: o or -3?
o
Suppose 3*a = -12 + 6. Is -3 equal to a?
False
Let f = 101 - 531/5. Which is smaller: -1 or f?
f
Let t(c) = -c**2 + 7*c - 2. Let v be t(3). Let o be v/(-24) - 2/(-8). Let l(u) = 2*u**2 + 3*u - 8. Let w be l(-3). Is o at least w?
False
Let q = -16 - -27. Which is smaller: q or 12?
q
Let n be (-312)/36*(-3)/2. Is n greater than or equal to 23/2?
True
Let h(v) = -v + 1. Let b be h(3). Let r = -392 - -1166/3. Is r less than or equal to b?
True
Suppose -j + 3 = 1. Let k = 1 + j. Suppose 0*g + 12 = 2*g + 4*n, 2*g = 3*n + 5. Which is smaller: g or k?
k
Let s = 2 + -1. Let y = -12 - -6. Let p be ((-2)/y)/((-16)/(-12)). Which is bigger: s or p?
s
Let b(j) = j**3 - 12*j**2 + 12*j - 13. L