 l be (-3)/z*(-12 + 2). Let n be (-5)/l - (-13)/(-21). Is -1 greater than or equal to n?
False
Let s = -6 + 6.8. Let p = -17 + 17.2. Let x = p + s. Is 0.3 greater than x?
False
Let l = -17 + 8. Let r = l - -7. Which is smaller: r or -1?
r
Let p(o) = 2*o**3 + 1. Suppose -3 = -3*k - 0*k. Let b be p(k). Suppose v = 5*f - 2, 4*f + b*v = -v + 16. Is f != 0?
True
Let p = 0 + -2. Let m = -1.7 + 3.5. Let a = p + m. Is 0.2 <= a?
False
Let v be 3/((-1)/4*-6). Suppose -v*z = -4*z + 30. Let j be ((-5)/z)/(2/6). Is j less than 1/3?
True
Let w = -30 + 71. Let m = -284/7 + w. Which is bigger: m or 1?
1
Let m = 0.23 + -0.13. Let y = -0.1 + 3.1. Is m < y?
True
Let f(o) = o - 15. Let g be f(14). Let c = 0 + 0. Which is greater: c or g?
c
Let w = -140 + 702/5. Let u = 8.01 + -8. Which is bigger: w or u?
w
Suppose -5*a - 4*b + 15 = 0, -3*a + a = -b - 6. Let g = 0 - -0.8. Let n = 1.2 + g. Is a <= n?
False
Suppose 8*g + 8 = 4*g. Let k be 2/(31*g/2). Which is greater: k or 0?
0
Let r(q) = -q**3 - 8*q**2 + 6. Let b be r(-8). Suppose 0 = -3*x - 2*x + 2*y + 6, 3*x = -5*y - 15. Suppose x = -5*v - 1 + b. Which is greater: 2/5 or v?
v
Suppose -9*v + 5*v = -20. Which is smaller: v or 3?
3
Let w = 255/28 - 69/7. Which is greater: 0 or w?
0
Let k = 0 + 8. Let n = -8 + k. Is 1 <= n?
False
Suppose -46 = 4*s + 2*o + 44, 0 = -4*s + 3*o - 115. Let c be s/9 + 9/3. Suppose 3*m - 2 = m. Is c less than m?
True
Suppose 8*w - 3*w = 0. Suppose -2*u + 0*u = 0. Is w less than or equal to u?
True
Suppose -i = 2*b - 0*b, -2*i = -8. Which is greater: b or -3?
b
Suppose -d = 2, 2*l + 5*d - 8 = 8. Which is smaller: 14 or l?
l
Let j(t) = t**2 - t + 3. Let m be j(0). Suppose -2 = m*p + 4*k + k, -5*k = 5*p. Let h be ((-2)/6)/(p/(-12)). Is h smaller than 3?
False
Let m = -2.02 + 0.02. Which is smaller: m or -1/7?
m
Suppose -v = -4*v + 18. Let r(t) be the third derivative of -t**6/120 + t**5/12 + t**4/4 - t**3/6 - 2*t**2. Let u be r(v). Is u < 0?
True
Let a(k) = 5*k + 1. Let f be a(-3). Let u be (-22)/(-77) + 46/f. Is u at least as big as 1?
False
Let b = 38 + -116/3. Let o = 5.14 - 5. Let z = 0.04 - o. Is b at most z?
True
Let a = 5 - -1. Suppose -2*t = -0*t + a. Let x = 2 + t. Is 2/5 less than x?
False
Let t be (3/(-5))/(3/2). Let m be 2/4*(-54)/11. Let s = m - -157/55. Which is smaller: s or t?
t
Suppose g + 2 = 2. Which is greater: g or 2?
2
Suppose 2*k = -k + 9. Let f be 3 + (-3 - k) + 4. Are f and 4 unequal?
True
Let d be (-12)/(-54) - (-7)/9. Is d less than 1/39?
False
Let p(l) = -9 + 12*l**2 - 8*l + 3*l**3 - 2*l**2 - 4*l**3. Let f be p(9). Let c be 0*(2 - (f + 3)). Which is bigger: c or -2?
c
Suppose -10 - 17 = 3*a. Let t be -259*3/a - -1. Let c = t + -88. Which is smaller: -0.2 or c?
c
Suppose -56 = 12*i + 4. Are i and -6 nonequal?
True
Let i(u) = u**3 - 8*u**2 - 9*u + 3. Let s be i(9). Let h(z) = z - 5. Let a be h(s). Which is smaller: a or 1?
a
Let c = -2 + 6. Is c not equal to 2?
True
Let n = -11 + 10.8. Let u be (-10 - -8)/(1/1). Which is bigger: n or u?
n
Let w be (1/(-2))/((-2)/12). Suppose z - 1 = -w. Is z >= -5?
True
Let g be (-16)/(-12)*(-6)/4. Which is smaller: -5/8 or g?
g
Let k be (-6)/33 + (-112)/(-11). Suppose -3*g = 2*g + k. Let f be (-27)/15*(-3)/(-9). Which is bigger: g or f?
f
Let i(t) = t**2 - 4*t + 4. Let j be i(3). Suppose -4*b = -3*p + 6, 5*b = 5*p - 9 - j. Is 1 less than b?
False
Let d be 1 + -1 + -1 + 0. Suppose 7 = 2*w + 11. Which is smaller: w or d?
w
Let r be (1 - -1)*(-10 - -9). Which is smaller: r or 1?
r
Suppose r - 4*t + 32 = -4*r, 3*t = 2*r + 17. Suppose -d + 13 = 4*h, 3*d + 13 + 8 = 3*h. Is d at least as big as r?
True
Let j be (-57)/(-95) + (-184)/(-10). Is j at least 20?
False
Let f be (-32)/(2/((-976)/18284)). Let h = -2/653 - f. Which is greater: h or -2?
h
Let m(v) = v + 6. Let i be m(-5). Let r be ((i + -1)*1)/(-2). Let y be (-2)/4*(1 + -1). Is y at most r?
True
Let g(t) = -t**3 + 5*t**2 - 7*t - 1. Let z be g(3). Let o be -4*(-4)/z + 3. Which is smaller: 0 or o?
o
Suppose -4*l - 18 = -4*m + 22, 0 = -m - l + 14. Let g be (m/10)/((-4)/14). Let b = g + 19/5. Which is smaller: 0.1 or b?
b
Let k(d) = d**2 + 2*d - 2. Let y be k(-3). Is 1 <= y?
True
Let m = -187737/15463 + -4/2209. Let v = 829/70 + m. Is v > 1?
False
Suppose u + 18 = -2*u. Are 0 and u nonequal?
True
Let j = -0.09 + 0.06. Let m = j + 3.03. Which is smaller: m or 1?
1
Let s = -136 - -300. Let n be (6/s)/((-9)/12). Is n less than or equal to -1?
False
Let c be ((-22)/(-6) + -3)*(-14 - -2). Is 2 at least as big as c?
True
Let i = -0.192 - -0.092. Suppose 0 = 4*o + 3 - 7, 3*o + 15 = 3*a. Let h be (2/a)/(-1) + 1. Which is bigger: h or i?
h
Suppose -3*m + 2*i - 4 + 1 = 0, -m - 3*i = -10. Are -2/9 and m equal?
False
Let m(y) = y + 14. Let a be m(-13). Which is bigger: 1/6 or a?
a
Let y = -0.22 - -0.18. Which is greater: y or 1/5?
1/5
Suppose -5*b - 129 = -34. Let q = b - -96/5. Are q and -1 non-equal?
True
Let b = 101410/9333 - -24/1037. Which is smaller: b or 11?
b
Suppose -5*f + 2*z - 4*z - 26 = 0, -4*f - 5*z - 31 = 0. Which is smaller: -16/3 or f?
-16/3
Let x = -74/3 - -25. Is -1 equal to x?
False
Let t be (7/(-14))/(-2 + 6/4). Let q(j) = j**2 + 3*j. Let k be q(-3). Is k <= t?
True
Let y be (-2)/5*(0 - -20). Let g be (-2)/y + 55/(-20). Is -2 greater than g?
True
Let o = -19/243 - -1/243. Which is smaller: o or 0?
o
Let h be (8/40)/(8/75). Let d = -29/24 + h. Which is smaller: 0 or d?
0
Let u = -1061 + 20164/19. Which is smaller: u or -1?
-1
Suppose -8*b - 15 = -3*b. Is -3 <= b?
True
Let m be 4/5*(-21)/(-14). Let o be (6/9)/((-2)/(-15)). Suppose -o*s = -s. Which is greater: s or m?
m
Let b(t) = -t - 6. Let p be b(-5). Suppose 2*g - 20 = -s + 3*s, 46 = 5*g - s. Suppose 0 = -a + 2*v - 1 + g, a - 18 = 4*v. Are p and a nonequal?
True
Let l = 1/73 + -76/219. Is 37 <= l?
False
Suppose -2*m = b + 3, -3*m - 5 = 5*b + 3. Let r be (17 - 14)*2/18. Are r and b non-equal?
True
Let t(n) = n**3 + 6*n**2 + 2*n - 3. Let d be t(-5). Let l be d/30 + (-16)/(-35). Which is bigger: -1/4 or l?
l
Let c be (-5)/30*-1 - 217/6. Which is smaller: -35 or c?
c
Let r(g) = -g + 3. Let o be r(5). Let i be (-2)/o + -1 + 0. Do i and -0.6 have different values?
True
Let p(f) = f**2 + 2. Let h be p(-2). Suppose -3*w - h + 0 = 0. Which is bigger: 1 or w?
1
Let b(z) = z**3 - 6*z**2 - z + 5. Let p be b(6). Let x = 4 + p. Let u = 2 - x. Is 0 >= u?
True
Let g be (-9 - -4)*(-2)/(-3). Which is bigger: -3 or g?
-3
Let k(g) = -g**3 - 6*g**2 - 6*g - 2. Let y be k(-5). Let a = 5 - y. Do a and -0.3 have the same value?
False
Let g = -56063/30 - -1869. Let v = 4/15 + g. Let a = 3 - 3.2. Which is greater: a or v?
v
Let u = 0.1 - 0.1. Is 1.6 >= u?
True
Let c = -7.93 + 8. Let j = c + -0.17. Let d = -0.3 - -0.1. Do j and d have different values?
True
Let u = 364 + -374. Let l = 9 - 20. Which is smaller: u or l?
l
Let a(m) = -m + 152. Let j be a(28). Are j and 125 unequal?
True
Let n(g) = g**3 + 8*g**2 + 7*g - 1. Let j be n(-7). Is j less than -2/5?
True
Suppose -5*k - s = -2*s - 14, -1 = -s. Suppose k*v + v = -8. Is -6 at least v?
False
Let m = -6.16 - -0.16. Let y = -4 - m. Do -4 and y have the same value?
False
Let d be (-36)/(-8) - 6/4. Suppose -d*c + 4 = -4*c. Which is bigger: -1 or c?
-1
Let s be 22/(-77) - -261*(-1)/(-7). Is s bigger than 37?
False
Let r be 1*(3 + (-40)/14). Let w = -2 - -1. Is w at least r?
False
Let h be -1 + 2 + (213/(-51) - -3). Is -1 != h?
True
Suppose w + 16 = 5*w. Suppose q = -0*k + k + 4, 0 = -w*q - k + 6. Which is bigger: 4/5 or q?
q
Let i(g) = g**2 + g + 1. Let w be i(0). Let p = -12 + 18. Let l be 2*w*(-2)/p. Are 2 and l equal?
False
Suppose -5*r - 3 = -p, 3*p = -0*p - 2*r - 8. Suppose 3*c - u = -2*u - 2, 0 = 4*c - 5*u + 28. Is p >= c?
True
Suppose -3*y - 4 = -1. Let w(n) be the second derivative of -n**4/12 - 2*n**3/3 + 3*n**2/2 + 4*n. Let z be w(-5). Is y at most z?
False
Let b be ((2 - 2) + 0)/(0 + 1). Is -1/122 at least b?
False
Let b be ((-56)/(-77) - 1)/((-3)/2). Do 0 and b have different values?
True
Let r = 65 - 66. Let u = 65 - 62.1. Let f = u + -3. Which is smaller: r or f?
r
Let w = -0.19 + 19.99. Let o = 19 - w. Is -1/3 >= o?
True
Suppose 0*j - 100 = 2*j. Which is bigger: 0.1 or j?
0.1
Let h = 12 - 8. Let j = h - 8. Is j at most 1?
True
Let s be (-24)/(-16)*4/6. Let t be (3/(-30))/(4/(-30)). Is s >= 