s k at least -2?
True
Suppose 0*b + 20 = 4*b. Let h be (-2)/b - 72/(-80). Which is bigger: h or 1?
1
Let t be (-3)/((-3)/(-1)) + 1. Are t and -1/2 non-equal?
True
Let a = 0.5 + -0.55. Let n = -0.05 + a. Let u = 0.3 + n. Which is bigger: 3/4 or u?
3/4
Let r(y) = y**3 + 2*y**2. Suppose -8 = t + 3*t. Let j be r(t). Let o be (-7 - -8) + 2/(-6). Which is smaller: o or j?
j
Let p = -0.3 - -0.5. Let d = -0.05 - -0.04. Let i = d - 0.99. Which is bigger: i or p?
p
Let y = -3.7 - -3.66. Is y at least as big as -4/7?
True
Let r be (-217)/81 - -2 - -2. Let u = r + 1/81. Which is greater: u or 2?
2
Let h be 70/224*(-2)/(-5). Which is smaller: 2 or h?
h
Let t(v) = -2*v + 6. Let d be t(-4). Let h = d + -152/11. Which is smaller: -1 or h?
-1
Let j be ((-15)/(-48))/(7/(-28)). Which is smaller: -3 or j?
-3
Let r be 10/(-15) + 71/102. Let q(g) = g**3 + g**2. Let f be q(0). Which is smaller: r or f?
f
Let l = 1 - 2. Let z = -20 - -18.82. Let n = 0.18 + z. Is l > n?
False
Let w be -18 - (3/(-18) - (-3)/18). Which is smaller: w or -15?
w
Let p = 70 + -71. Let m = 4/5 + -1. Which is greater: m or p?
m
Suppose 0*r + 2*r + 26 = 0. Are r and -12 unequal?
True
Suppose 2*a - 1 = -3*x + 1, 3*a + 6 = 0. Is 0.2 <= x?
True
Let d be (-1)/2*(-3 - 3). Suppose -3*w - d - 3 = 0. Suppose 0 = -3*s - 2 - 10. Is w at most s?
False
Let s = -19 - -5. Which is smaller: -15 or s?
-15
Let m = 1.1 - 1. Do 1/11 and m have the same value?
False
Let j be 996/546 + -4 - (-2)/(-7). Which is smaller: j or -0.1?
j
Let m be -2 - 6 - (-1 - 2). Which is bigger: -6 or m?
m
Let r = 127/330 - -1/66. Let s = -1/181 - 1986/905. Let o = s + 72/35. Which is smaller: o or r?
o
Suppose p - 5*p = -16. Suppose 2*t + 2*k + 1 = 3, 2*t + 5*k = 5. Suppose -b + 4*x - 10 = b, t = 4*b + 2*x - 20. Which is greater: p or b?
p
Let w = -281 + 274. Let q = 3 + -2. Is q smaller than w?
False
Let s = -43 + 42. Let h = -12 - -8. Is s less than or equal to h?
False
Let k = 3 + 1. Suppose -3*f = -5*f. Suppose f = -k*y - 4. Which is smaller: -2 or y?
-2
Suppose 0 = 4*u - 6*u - 8. Suppose -2*m - 11 - 1 = 0. Let t(s) = -s**2 - 4*s + 7. Let j be t(m). Which is smaller: j or u?
j
Let u be 18/12 - 452/(-8). Is u less than 59?
True
Suppose 3*d - 2*d - 3 = 0. Suppose -4*a = -d*a + 1. Are a and 3/16 nonequal?
True
Let f be (-1*(-1 - 2))/1. Let o be (-72)/(-21) + 0 - f. Which is greater: -1 or o?
o
Let m = -5368/13 - -412. Let y = 27 + -27. Is m < y?
True
Suppose -4*b = -5*b - 1. Suppose 3*y - 4*y = -1. Let m = b - y. Is m less than or equal to 1?
True
Suppose 7*n - 4 = 5*n. Suppose 3*a = 3*x + 12, -5*a + 30 = -n*x + 10. Suppose f + 9 = a*f. Is 3 smaller than f?
False
Let m = -2 - -2. Suppose -4*b + 13 + m = 3*g, -g - 5*b = -19. Are -1 and g unequal?
False
Let p = 311326829/28 + -44849435/4. Let c = -222630497/2380 - p. Let d = c - -4/85. Is d smaller than 1?
False
Suppose -3*b + 0*b - 1278 = 3*r, 4*r - 3*b = -1669. Let p be r/(-3) - -1*1. Let f = 140 - p. Is -2 less than f?
True
Suppose -2*l + 5 = -7*l, -2*y = -l - 7. Let x(s) = s**2 - s + 5. Let t be x(0). Is t at least y?
True
Let g = -20 + 20. Is g <= 0?
True
Let y(f) = f**3 + 4*f**2 + 5*f + 2. Let u be y(-3). Suppose 5*g = -r + 1, -2 = 4*r - 3*r + 2*g. Are r and u equal?
True
Suppose -27 = -3*i - 0. Let p be 3 + (-21)/(2 + -5). Which is greater: p or i?
p
Let z = -22466/9 + 2500. Are z and 5 non-equal?
True
Let y be 8/5 + 10/25. Suppose 2 = -4*b - y*h, -3*b + 2*h = -1 - 1. Which is bigger: b or 1/5?
1/5
Let g = -274 - -248.9. Let s = g - -25. Is 2.6 at least s?
True
Let u = 86/165 + -4/33. Let x = -1 + 0.3. Is x less than u?
True
Suppose 9 = 2*h + 2*h - 5*r, 3*r + 3 = 0. Let q = -4 + 3. Which is greater: q or h?
h
Let j be 2*-5 + 0 - -3. Let l = -10 - j. Let i be (-12)/(-3)*2/(-4). Which is bigger: l or i?
i
Let o = 35 - 40. Let m = -4.8 + -1.2. Let h = m - o. Is h at least as big as 2/5?
False
Let g = -0.53 - -0.36. Let i = g + 0.07. Let m = -1.9 + 2. Is m less than or equal to i?
False
Let h(r) = 3*r + 5. Let j be h(-4). Let s be 2/(7/((-49)/2)). Is j equal to s?
True
Let f = 29 + -55. Which is smaller: f or -29?
-29
Let j = 1.7 + 0.3. Let a(k) = -14*k**2 - k + 1. Let d be a(1). Let r be 7/d + (-10)/4. Which is smaller: j or r?
r
Suppose 0*o - 3*o = -54. Let t = o + -9. Is 9 < t?
False
Let o = -5311/10064 - 1/592. Are -1 and o non-equal?
True
Let t = 64/195 - 6/13. Which is bigger: -2 or t?
t
Let p = 11 + -19. Let w(s) = s**3 + 4*s**2 + 3*s + 5. Let d be w(-4). Is p <= d?
True
Let j be 1/(4/(-8)) - 3. Is -6 not equal to j?
True
Suppose -25 = v + 2*m, -2*v - 47 = 3*m + 2*m. Which is smaller: -32 or v?
-32
Let p = 15.28 + -0.28. Let f = -21 + p. Is f less than or equal to 1/3?
True
Let u = 201/4 - 50. Let o(f) = f**2 + 11*f + 10. Let x be o(-10). Which is smaller: u or x?
x
Let i = 10 + -9. Are 0 and i unequal?
True
Let d(r) = -r - 2. Let k be d(3). Which is smaller: -2 or k?
k
Let k = -4 + 11. Is k smaller than -2?
False
Let j be 4 - -15 - (-3 + 5). Which is greater: 15 or j?
j
Let y = 0.063 - -0.037. Which is greater: 1/4 or y?
1/4
Suppose -4*s - 149 = -3*r - 0*s, -5*r + s = -237. Which is bigger: 46 or r?
r
Suppose -4 = 3*a - 7. Is a at most as big as -9/5?
False
Let l = -6.3 - -6. Let j = 6 - 6. Let v be (-1 - (-1 - j))/(-2). Is l bigger than v?
False
Suppose 4*g + 24 = -4*z, 3*g = z + 4*z + 38. Which is smaller: z or -9?
-9
Let a = -2/355 - -77/1065. Is -1 at most as big as a?
True
Let f be (-3)/((-3)/4*14). Let r(l) = -l**2 + 15*l - 14. Let t be r(14). Which is bigger: f or t?
f
Let j be (20/12)/(4/6). Let q(h) = h**2 - h. Suppose -3*o + 0 = -6. Let s be q(o). Which is greater: s or j?
j
Let i = 55 - 56. Which is bigger: i or 0.153?
0.153
Let l = -6.98 - -7. Let y = l + 0.38. Let o = -0.2 + y. Does 0.2 = o?
True
Let t = 131 + -653/5. Let c(w) = -w**3 - w**2 + 3*w + 3. Let z be c(-2). Which is smaller: z or t?
t
Let u be 126/(-10) - (-15)/25. Let n be (-2 + 16/6)*u. Is -9 > n?
False
Let i(b) = -b**3 - 4*b**2 + b + 5. Let a be i(-4). Which is greater: 6 or a?
6
Let b be 2/(-4) - 8/(-6). Let c = 7 + -5. Is c at most b?
False
Let k be (-2)/7 - 60/(-14). Let q be ((-48)/84)/((-1)/7). Is q equal to k?
True
Let s = -332/1413 + 2/157. Suppose -36 = -2*z + 7*k - 3*k, -5*z = 5*k - 45. Suppose z = f - 0*f - 4*c, -2*c = 5*f + 6. Is s >= f?
False
Suppose -2*w + 3*z + 9 = 0, 3*z = 6*z + 15. Let q be w/(-10)*(-30)/(-36). Is -0.3 smaller than q?
True
Let y be (-2 + 2)/(2/(-1)). Let n be (2 - (-16)/(-10))*(0 - -1). Are y and n equal?
False
Let z be (-132)/99*(-159)/(-2). Is -106 at most as big as z?
True
Suppose 3*t - 4*t + 2 = 0. Suppose -2 = t*w - 4. Is w >= -2/5?
True
Suppose 0 = 5*p - w + 142 - 40, 62 = -3*p + w. Let d = p + 12. Which is smaller: d or -7?
d
Let o = -301/4 - -76. Let c = 157 - 157. Is o at least c?
True
Let d be 18/14 - (-6)/(-21). Let i be 29/9 - (-4)/(-18). Suppose -j + d + i = 0. Which is smaller: j or 7/2?
7/2
Let v = 76/3 + -25. Which is greater: v or -1/4?
v
Let y(c) = -c**3 - c**2 + 19*c - 7. Let m be y(-5). Is m at least as big as -0.1?
False
Let d be (3/(-45))/(-3 + (-68)/(-24)). Which is smaller: -10/9 or d?
-10/9
Suppose 3*y + 6 - 12 = 0. Let g be (-20)/(-4)*(y - -1). Which is greater: g or 0?
g
Let x = -155470.07 - -156102. Let g = x + -626. Let c = 0.07 + g. Is 0.1 <= c?
True
Suppose 9*u - 4*u = 4*c - 15, 3*c = 5*u + 10. Let p(o) = -o**3 + 40*o**2 + 2*o - 79. Let a be p(40). Is a greater than u?
False
Suppose -10*u + 13*u - 27 = 0. Is u equal to 26/3?
False
Suppose 0 = c - 2 - 2. Let t be c/(-10) - 6/(-15). Suppose -5*q - 2*r + 11 = t, 7*r = 4*r - 6. Which is smaller: -1/2 or q?
-1/2
Suppose 3*i - 6 - 43 = 2*x, 3*i = 4*x + 53. Suppose v - t = i, -2*v - t + 10 = -14. Suppose -3*g - 4*h = v, h = -2*g + 7*g - 9. Is -1/5 greater than g?
False
Suppose c - 3*v = -4, 4*v - 8 = c - 0*c. Let p be (-2)/4*c/10. Which is smaller: p or 0.2?
p
Let q = 70 - 28. Is 42 at least q?
True
Let v = -289/21 + 49/3. Which is smaller: v or 3?
v
Let m be (-4)/14 + (-2)/(-7). Let y = -2 + 2.1. Is m at most as big as y?
True
Suppose 3*g - o = g + 5, -5*g + 20 = -5*o. Which is smaller: g or 2?
g
Let f(o) = -o + 7. Let i be f(5). Suppose 0 = 3*m - i*m. Which is bigger: -1/10 or m?
m
Let a = -2 - -5. Let o(c) = -2*c**2 + 22*c - 16. Let l be o(10). Is a at least l?
False
Let s = -30 - -