greater than or equal to s?
True
Let f = 3893/9 + -432. Which is greater: 1 or f?
1
Suppose -6 = -a + 3*a. Which is smaller: a or 2/7?
a
Suppose -3*s + 8 = -5*s. Let j(n) = n**2 + 3*n - 4. Let b be j(s). Which is greater: b or 2/3?
2/3
Let m = 5/9 - 11/36. Let l(w) = -w**2 + 6*w - 3. Let y be l(5). Suppose -9 - 3 = y*t + 3*z, 4*z + 16 = 4*t. Which is smaller: m or t?
t
Let l = -978/7 + 140. Let s be (-2)/(3 + 15/(-3)). Do l and s have the same value?
False
Let f = -9 + 18. Let v be ((-16)/6)/((-6)/f). Which is smaller: 6 or v?
v
Let l be 15*(5/(-10) + (-22)/(-12)). Which is smaller: l or 22?
l
Let r = 6.1 + 7.7. Let w = r - 14. Is w greater than or equal to -0.05?
False
Let t(d) = -294*d**3 - d**2 + d + 2. Let k be t(-1). Let n be (1 + (-290)/k)*-3. Which is greater: -1 or n?
n
Let r = -89 + 49. Is r less than -37?
True
Let s = 0.81 - 33.81. Let o = s + 30.3. Let b = o - 0.3. Do 0.1 and b have the same value?
False
Let n = -14 + 17.6. Let w = n - 2. Let b = 0.6 - w. Which is smaller: -2/7 or b?
b
Let k = 10.14 + -10. Let z = k + -0.04. Which is bigger: z or 2/13?
2/13
Let q be (-2)/5 - (-81)/15. Suppose 0 = y + g - 4, 6*y - 2*y + q*g = 17. Which is smaller: y or 4?
y
Suppose -5 = 5*h, -5*h + 34 = -3*w - 3*h. Let k be 1*(1 - 14)*1. Which is smaller: w or k?
k
Let r = -6 + 7. Let w be (r + -2)/1*-2. Let d = w - 8. Is -5 equal to d?
False
Let v = 0 - -1. Let l = 0 + v. Let w = l + -1. Which is smaller: w or 1?
w
Let g be 2/13 + 85/(-1820)*1. Which is greater: 1 or g?
1
Let o(x) = -x**2 - 7*x + 4. Let c be o(-6). Suppose -13*w = -8*w + c. Which is greater: -4/5 or w?
-4/5
Suppose y - g + 1 = 3, 2*y - 3*g - 6 = 0. Is 0 smaller than y?
False
Suppose -19*h = -21*h + 248. Let o be h/204 + 2/(-3). Which is bigger: -1 or o?
o
Let p = 0 - -1.3. Which is greater: p or 1?
p
Let x = 4.01 + -4. Let o = 0.3 + -0.29. Let h = x - o. Which is smaller: 0.4 or h?
h
Suppose g = 4*u - 18, 5*u = -0*u + 20. Let v be (-1)/g - 3/4. Suppose 3 - 7 = 2*r - 2*k, 0 = -r - 3*k + 2. Which is smaller: r or v?
r
Let q be 1 - -1 - 0/(-1). Let g = q + -2. Let v(y) = y**3 - 2*y**2 - 2*y - 1. Let s be v(3). Which is bigger: g or s?
s
Let p = 15 - 15.1. Is 0.9 greater than or equal to p?
True
Let w be (-3)/(-9) + (-7)/13. Let l = w + 197/390. Do 1 and l have different values?
True
Let d be -3 + -1 + 1 - 7. Let j be (5/(d/(-36)))/(-2). Are j and -10 equal?
False
Let v = 6 - 4. Suppose 3*q - 2*p + 0*p = 12, -p = -v*q + 7. Is q at least as big as 2?
True
Let n be ((-6)/21)/(2/2). Which is bigger: 3.1 or n?
3.1
Suppose -2*j + 0*j + 6 = 0. Suppose 2*t = 5*t + 6. Let u be 3/t*16/(-12). Which is bigger: j or u?
j
Let l be (1 - -4) + (3 - 5). Suppose -2 = -l*f + 1. Let r be (-2)/(-2)*f - 1. Do 0 and r have the same value?
True
Let a be (2/4)/(1/(-4)). Let u = 6 + 3. Suppose -5*j + u*j = -12. Which is smaller: a or j?
j
Let l = 52 - 53. Which is smaller: -1/6 or l?
l
Let d = -24 - -24.2. Which is smaller: -3 or d?
-3
Suppose 2*l + 19 + 33 = 0. Which is smaller: -25 or l?
l
Let z = -27 - -24. Let s(l) = -l. Let x(k) = -4*k - 3. Let o(a) = 3*s(a) - x(a). Let v be o(z). Is v at least as big as -1/5?
True
Suppose 2*p = u + 221, 5*p - 739 = -4*u - 219. Let f = p + -1081/10. Let y = f + 3/10. Is -1 greater than y?
False
Let f be (2 + -4)/(-2) + -7. Let v = f + 4. Let q be 16/20*5/(-2). Is q at most v?
True
Let g be 8/(((-8)/(-5))/(-4)). Is g at least -20?
True
Suppose 24 = -13*n + 17*n. Which is smaller: n or 9/2?
9/2
Suppose -3*i = -7*f + 2*f - 30, -4*i + 26 = -2*f. Are 0.1 and i nonequal?
True
Suppose 0 = p + u + 6, -4*p - 32 = 5*u - 3. Suppose -4*g + 5*c - 289 = 0, 2*c - 153 + 7 = 2*g. Let k be g/(-56)*-2 - -3. Is p equal to k?
False
Suppose -s - f = 4, 0*s - s - 2*f = 9. Let d be (-4)/12*3 - (0 + -1). Which is greater: d or s?
s
Let n be (-26)/(-3) - 8/12. Which is greater: n or 5?
n
Suppose 3*t + 6 = 4*t. Let m be 3 + (4/(-4) + 2 - -2). Is t less than m?
False
Let o = -1 - -2/3. Let v = 2.8 + 4.2. Which is greater: o or v?
v
Suppose -7*g + 3*g - 12 = 2*s, 7 = g + 3*s. Is -8 less than g?
True
Let r = -4/117 + -1439/117. Which is bigger: r or -13?
r
Let r = -30 + 30.5. Which is bigger: 0 or r?
r
Let q be 2/13 - (-55)/65. Which is smaller: q or -1/4?
-1/4
Let x = 3 + 1. Suppose x*l - 6 = l. Which is greater: 1 or l?
l
Let z = 228 + -1133/5. Let b be 4/2 - 7/4. Is b >= z?
False
Let h be 4/18 + (2 - (-1704)/(-378)). Which is smaller: h or -1?
h
Let p be 2*(10/(-6))/(-5). Suppose 5*z + 3 = -2*h + 2, 0 = 4*z - 5*h - 19. Let c be 1 + (2 - z) + 0. Does c = p?
False
Let i be ((-4)/9*(-3)/(-2))/(-2). Which is smaller: -6 or i?
-6
Let j be (-25)/10 + 15/10. Which is smaller: 3/22 or j?
j
Let q = -116 + 36. Which is smaller: q or -81?
-81
Let j = 111/56 - 799/336. Let d = -1/16 - j. Let q = 26 + -27. Is d > q?
True
Let x = -9 + 21. Let p = -12 + x. Is 2/11 bigger than p?
True
Let v = -7.06 - -0.06. Let z = v - -12. Let k = z - 2. Is k > 1?
True
Let l be (1/2)/(1/(-2)). Let d = l - -1. Suppose w = -0*w - r - 1, -2*r = d. Do w and -1 have the same value?
True
Let f be (-184)/(-6)*(-79)/(-24). Let u = f - 101. Is u at most as big as 1?
True
Suppose 6*o - 68 = 2*o. Suppose -3*q = -2*r - 9, q + o = -5*r + 3*q. Let x be ((-20)/15)/(2/r). Is x less than 2?
False
Let h(s) = 18*s**3 + s**2 - 1. Let f be h(-1). Is -18 at least f?
True
Let s(o) = 9*o**3 + o**2 - 1. Let d be s(-1). Do d and -2 have the same value?
False
Let r(q) = q**3 - 9*q**2 + 8*q + 5. Let k be r(8). Are 11 and k non-equal?
True
Let p = -5 + 2. Let q = -2 - p. Which is bigger: 2 or q?
2
Suppose -7*i = -3*i - 80. Let b = i - 21. Is 1/6 < b?
False
Let g be (-2)/(-5) + (3 - (-348)/80). Which is bigger: g or 9?
9
Let s be (2 + 8)/(4/2). Let w be 2 + 2 - (-1 + 1). Do w and s have the same value?
False
Let n = 167.74 + -168. Which is greater: 2/13 or n?
2/13
Suppose 3*i = 2*i - 2. Let r(s) = -11*s. Let x be r(1). Let j be i/(-5)*(-10)/x. Which is greater: 1 or j?
1
Suppose 5*g = 5*s + 10, -3*s + 16 = 4*g - 6. Suppose s*y - y = 0. Is 1/6 equal to y?
False
Let a(z) = z**2 + 5*z - 6. Let t be a(-6). Is t smaller than -2/73?
False
Suppose 26 = 4*y - j, y - 4*y + 28 = -5*j. Let z be 14/y*8/(-8). Suppose -5*m + 4 = -3*k, 3*k = m + 5*k + 7. Which is smaller: m or z?
z
Suppose 0*a + a = -2*t - 10, a - 5*t = 18. Let y be 1/(-2*a/8). Let v be (1/y)/1 - 0. Is v not equal to 2?
True
Suppose -6 = -3*u - 3. Let h be -2 - (u - 1 - 0). Suppose 6*m = 3*m - 12. Is m equal to h?
False
Let x = -79 - -93. Which is greater: 17 or x?
17
Let u = -0.5 - 0. Let d = -2.5 - u. Let a = d + 2. Is a <= 0.1?
True
Let u = -20094/37 - -543. Is u greater than or equal to -1?
True
Let a = 41 - 29. Let i = -184/15 + 38/3. Which is smaller: i or a?
i
Let i = -14 - -18. Suppose 9 = b - i*b. Is -3 not equal to b?
False
Let q(x) = x - 1. Let o be q(3). Let u be ((-1)/3)/(6/(-45)). Is u < o?
False
Let h be ((-252)/12)/((-6)/(-4)). Are -14 and h non-equal?
False
Let f = -4 - -2. Let a(b) = -b + 12. Let s be a(9). Is f < s?
True
Suppose a - 11 = -4*w, -a + 3*w - 8 = -2*a. Let v(y) = 2*y**2 + 2*y + 5. Let n be v(-5). Let x be (-4)/6 - (-12)/n. Which is smaller: x or a?
a
Let u = -65 + 39. Is -25 > u?
True
Let f = 32 + -30. Suppose 4*t + 3*w + 0 = 9, -5*w = -5*t - 15. Suppose 0 = -v - f - t. Which is greater: v or -1?
-1
Let r = 3 - 5. Let s = -13 + 12. Which is smaller: s or r?
r
Let f = 4.4 + -4.3. Is -7/6 not equal to f?
True
Suppose 6 = -2*n + 5*a, 4*n = -4*a + 12 + 4. Are 8/3 and n nonequal?
True
Let h(c) = -2*c + 1. Let v be h(-3). Do v and 6 have the same value?
False
Suppose o - 2*q + 5 - 1 = 0, -4*q - 28 = 4*o. Let p(s) = s**2 - 8*s. Let z(x) = x**2 - x. Let f(u) = p(u) - 2*z(u). Let h be f(o). Is h >= -2/11?
True
Let u(l) = -5*l**2 - 7*l - 1. Let f be u(-2). Which is smaller: 1 or f?
f
Let i = -4.8 - -3.8. Is i < -1?
False
Let o be (-220)/(-12) + (-2)/6. Suppose -4*d - 2*x = o, 3*d = -0*d + 3*x. Is d greater than 1/2?
False
Suppose 4*f + 9 = 29, -5*r + 95 = 4*f. Is -2 at most r?
True
Let g = 0.16 + -1.06. Let y = -1 - g. Which is bigger: y or 3?
3
Let h = -9.3 - -9. Is h at least 2?
False
Let v(d) = -d**3 - 7*d**2 - 5*d + 6. Let i be v(-6). Let k(t) = t**3 + t**2 - t + 2. Let r be k(0). Which is greater: i or r?
r
Suppose 5*c = -2*n + 4, -8 = -4*n + c + c. Let w be 0 - ((-1 - 3) + 2).