han k?
True
Let k = 2/23 + -27/46. Suppose -3*m = 2*m. Which is greater: m or k?
m
Let o = 32 + -33. Is 1/12 at most as big as o?
False
Suppose 4*s = 2*b + 4, b = 3*s - 0 - 1. Is -1 equal to s?
True
Let y = -22 + 22.7. Let j = y + 3.3. Is -2 <= j?
True
Let w = 5 - 10. Let f = 2 + w. Let y = 5 - 7. Which is greater: f or y?
y
Let d be (-3 - -2) + 2 - -3. Suppose u = 2*h - 3*h, 2*h = -d*u. Is 1 at most as big as u?
False
Let t(u) = -u**2 + 12*u + 5. Let q be t(8). Suppose -4*r + 5 = q. Which is smaller: r or -6?
r
Let h be 2/(-10) - 2/(-155)*13. Which is smaller: h or 1?
h
Let a(r) = 4*r - 2. Let n be a(-8). Are n and -31 non-equal?
True
Let l be (-2)/(0 - 3/6). Suppose 2*a - 5*a - 5*f - 8 = 0, l*a - f + 3 = 0. Let g be (-2)/(-7)*(a - 0). Is g at least 0?
False
Suppose 0 = -6*u + u + 20. Let a = 12 + u. Is 16 at most a?
True
Let m = 12 + -8. Does -1 = m?
False
Let o(b) = -b**2 + 4*b - 3. Let s be o(3). Let z = -1 + 2. Is s smaller than z?
True
Let a(v) = -5*v**3 + 2*v**2 + 0*v**3 - 1 + 2*v**3. Let t be a(1). Let h(z) = z**3 - 4*z**2 + 2*z + 2. Let p be h(2). Is p equal to t?
True
Let a(t) = -t - 4. Let u be a(-6). Let k = 6 - u. Let d be 1/k + (-17)/4. Is -3 at most as big as d?
False
Let m be -2*(8/2)/4. Let d be m/(-6) - 8/78. Which is smaller: 0 or d?
0
Let l = 40 + -40. Is l at most as big as 21?
True
Suppose -28 = -2*u - 5*u. Which is bigger: u or -5?
u
Suppose -14 = -x - 5. Let i(v) = -v**3 - 6*v**2 + 3. Let c be i(-6). Suppose 4*b = -2*h, -2*b + 2*h - x = c. Is b bigger than 0?
False
Let p be (128 + 0)*6/12. Let d = 125/2 - p. Which is smaller: d or -2?
-2
Suppose 5*n = -2 - 3, 5*i - 3*n + 22 = 0. Let l be 3 + -1 + 5/i. Let d be 7/5 - (-4)/(-10). Is l smaller than d?
False
Let j be ((-2)/(-20))/(43/688). Let b = 2 - 0. Which is greater: b or j?
b
Let q be (-3)/(2 + 14/(-4)). Suppose 3 = v + q. Do 1/13 and v have the same value?
False
Let v = -16 + 23. Suppose 2*z - v = z. Do 6 and z have the same value?
False
Suppose -7 = -4*k + 1. Suppose 0 = k*r + 2*r - 8. Suppose d + 1 = r*d. Is d equal to 1?
True
Suppose 2*h = -q + 1 + 103, 0 = -3*h. Is q > 104?
False
Let l = -0.9643 + 1.006. Let f = -2.0483 - l. Let b = f - -0.09. Which is smaller: 0.1 or b?
b
Suppose -3*w - 5*p = -4*p + 4, 2*p + 3 = -w. Let d be ((-2)/(-100))/(29/(-116)). Are w and d equal?
False
Let k(z) = z**2 - 2*z. Let r be ((-6)/(-5))/((-3)/(-10)). Let d be (-32)/(-20) - r/(-10). Let i be k(d). Is -0.1 less than or equal to i?
True
Let r = -12 - -19. Suppose 4*a - 4*y = 4, -3*a - 16 = 3*y - r. Let j = a + -3. Is 1 less than j?
False
Let p = 0.024 + 0.176. Let r be 1/(10/1648*-422). Let d = r - 2/211. Is p greater than or equal to d?
True
Let f = -1 - -2. Which is bigger: f or 0?
f
Let g = -1.3 - -1.4. Let f = -7.979 + -0.021. Which is bigger: f or g?
g
Let j = -135/119 - -12/17. Is j less than 1?
True
Let q(k) = 7*k**3 + 15*k**2 - 16*k - 14. Let v(a) = 3*a**3 + 7*a**2 - 8*a - 7. Let d(x) = -2*q(x) + 5*v(x). Let g be d(-6). Is 3 greater than or equal to g?
False
Let g = -16 + 16.18. Is -0.1 bigger than g?
False
Suppose 10*f - 4 + 4 = 0. Is f less than or equal to 4/29?
True
Let g(d) = -15*d + 3. Let v be g(2). Do -26 and v have different values?
True
Let o = 1.3 - 2.6. Let q = 0.3 + o. Let v = q - -0.8. Which is greater: v or 0.1?
0.1
Suppose v + 3 = -3*j, 5*j + 0*v - 2 = -4*v. Let l = -991/3 - -327. Are l and j equal?
False
Let r = -7/6 - -5/6. Let w = 9 + -4. Suppose -4*f - w = 3. Which is smaller: r or f?
f
Let d be (30/(-13185))/((-2)/6). Is d > 1?
False
Let s be (0*(-2)/6)/1. Suppose -3*h + d + 5 + 0 = 0, h - 2*d - 10 = 0. Suppose s = 2*o - h*o + 4. Which is smaller: o or -1?
o
Let i(f) = -2*f**2 - 2*f - 3*f + f**2. Let c be i(-5). Suppose -5*t = -4*x + 8, 0 = -5*t + 3*t - x + 2. Is c bigger than t?
False
Let n be 16 - (-2)/(3/(-3)). Suppose -2*i = 2*d - n, 3*d - 6 = 6. Let x be (1 + -5)*4/(-8). Is i greater than or equal to x?
True
Let s be (1/2)/(3/24). Suppose 0 = 4*j + 5*m - 7, -m = -j - s*j - 13. Is j at most -1/2?
True
Suppose q - y + 7 = 2*q, -2*q = -3*y + 6. Let r be 4*q/(-342)*-3. Which is greater: -2/7 or r?
r
Suppose 5*u - 2*d = 3*d, -3*u + 14 = 4*d. Let m = 1 - u. Let p = 3.93 - -0.07. Are m and p equal?
False
Let w = 68 + -70. Which is bigger: w or -36/13?
w
Suppose 5*l + 5*u - 2*u = 8, -4*l - u + 12 = 0. Which is bigger: 2 or l?
l
Suppose 12 = -4*t - 5*b, 2 + 1 = -t + 4*b. Is t smaller than 1?
True
Let d = 1 + 2. Let g = -2 + d. Is g < -0.1?
False
Let j = 2 - 1.97. Let i = 32.97 - 34. Let u = i + j. Which is greater: 0.3 or u?
0.3
Let n(v) = v**3 - 7*v**2 + v - 5. Let t be n(7). Suppose 2*x - 7*x = t*s - 24, -2*s = 2*x - 12. Is 4 < x?
False
Let y = 11 + -5. Let g be 4/6 + 8/y. Suppose 0 = g*n + 3*n + 10. Do -2 and n have different values?
False
Let o = 1/20 - -9/20. Which is smaller: o or -3?
-3
Let r be (-3)/((1 - -1) + -3). Suppose 2*b = 6*b - 12. Do b and r have different values?
False
Let j be 55*-1*((-32)/(-10))/8. Do -18 and j have different values?
True
Let r be ((-1)/((-3)/54))/2. Let g(t) = -5*t. Let v be g(1). Let k = v + r. Is 4 equal to k?
True
Let x = -61.1 + 61. Let s = 1.2 - 1. Does s = x?
False
Let k(a) = -a**3 - 2*a**2 + 4*a + 2. Let o be k(-3). Let x = -4 - o. Do -1 and x have the same value?
False
Let q = 678 + -3407/5. Let k = -46/15 - q. Is -2 less than or equal to k?
True
Let h = -24 - -18. Let s = -6.4 - h. Is s greater than or equal to 2/7?
False
Let v be 0 + 2 - (-190)/(-558). Let f = 2/279 + v. Are 3 and f unequal?
True
Let t = -14 + 19. Let l be (-2)/t - (-2)/(-5). Which is greater: 0 or l?
0
Suppose -3*w = -2*w - 3. Let n be w*3/(-6) + 3. Which is smaller: n or 1/4?
1/4
Let n = -21 - -20.9. Is n at least as big as 1.1?
False
Let z = 12.92 - -0.08. Let v = 14.99 - z. Let p = v - -0.01. Is 1 bigger than p?
False
Let j be 946/(-10) - (-2)/(-1). Let u = -97 - j. Which is smaller: 1 or u?
u
Suppose 1 = -0*g - g. Let m be ((-4)/10)/(g/(-5)). Let b = -4 - m. Is -1 > b?
True
Let a(s) = -2*s + 7. Let h be a(3). Let d = 133 - 1994/15. Is d bigger than h?
False
Let u(w) = w**3 + 1. Let t be u(0). Suppose 0 = -2*k - 0*k - 4. Is k > t?
False
Suppose -3*p - 2*q = 10, 42 = -3*p - 2*p + 3*q. Let b = p + 3. Let w(c) = c**3 + 2*c**2 - c + 2. Let n be w(b). Which is smaller: n or -2?
n
Suppose o = -3*o + 16. Which is smaller: 7 or o?
o
Let q be ((-13)/312)/(2/(-42)). Which is smaller: q or 0?
0
Let x = 2 - 1.9. Let a = 45/116 - 4/29. Which is smaller: x or a?
x
Let v = 52.9 + -22.8. Let b = 29 - v. Let u = b - -1. Is 0.1 smaller than u?
False
Let j = 5 + -4. Let f = 1.2 + j. Let s = -0.8 - f. Which is greater: s or -2/9?
-2/9
Let w be 20/45*6/(-20). Which is smaller: w or 0?
w
Suppose -5*m - 2*n = 16, 0 = -2*m + 4*n - 12 - 4. Let j = 21 - 11. Let v be j/m*(-16)/20. Is v at most 2?
True
Let n = -1.9 + 1.8. Let c = 0.6 - -3.4. Is c < n?
False
Let n(u) = u**3 + 5*u**2 + 4*u + 3. Let p be n(-4). Which is bigger: p or -3?
p
Suppose 134*h = 129*h - 110. Is -24 less than or equal to h?
True
Suppose -6*b + 39 = -9*b. Which is smaller: -12 or b?
b
Suppose -h - 2*h + 15 = 0. Suppose -h + 2 = -b. Let f(s) = s**2 + 2*s - 1. Let g be f(-3). Which is greater: b or g?
b
Let z be (-1)/(-1) + -1 - 1. Let o(t) = -2*t + 2. Let u be o(-2). Suppose 1 = -4*d + x, 5 = -x + u*x. Is d less than or equal to z?
False
Let o be (-62)/22 + (7 - 4). Which is smaller: 1 or o?
o
Let u(d) = d**2 + d. Let w be u(1). Suppose -2*y + w = -y. Let q be -1*2/(-4)*y. Which is smaller: q or 0?
0
Let r be (0*(-1)/(-2))/(-2). Let q = -51/13 - -509/143. Is q < r?
True
Suppose 5*w = -0 - 5. Let p = 138 - 1657/12. Are p and w nonequal?
True
Let z be (30/(-250))/((-2)/30)*-5. Is z at least as big as -8?
False
Suppose -5*q + 3 = 2*f + 2*f, 0 = 4*q + f + 2. Is -1 at least q?
True
Let q(n) = -n**2 + 2*n + 5. Let u be q(4). Let l(s) = s**2 - 1. Let z be l(u). Let c be z/20 + (-13)/(-5). Which is smaller: c or 4?
c
Let o = -0.13 + 4.13. Let w = 3.7 + 0.3. Let z = o - w. Which is smaller: -0.1 or z?
-0.1
Let j be 1 - 0/(2 - 1). Let h be (-1)/2 + (-9)/(-10). Which is bigger: h or j?
j
Let w = 3/8 + -1/8. Which is smaller: w or 3?
w
Let k = -0.04 - -0.11. Is -2/5 at least k?
False
Suppose 3*n = -3, 0 = f - 5*f - 4*n + 148. Suppose 5*o - f = 62. Let r = o - 29. Do -8 and r have the same value?
False
Let