/4*h/(-3). Is -0.2 > n?
False
Let u be -2 - (-15)/6*2. Is u < 14/9?
False
Suppose -5*w - 9 = -54. Let j be (6/5)/((-2)/(-15)). Is j <= w?
True
Let u = 166 + -1492/9. Which is smaller: 0 or u?
0
Let d be 4/((2 - 0)/(-4)). Suppose 0 = -3*i + i + 4*o - 4, -o - 35 = 4*i. Is d at least i?
True
Let o = 22 - 27. Are o and -5 nonequal?
False
Let h = 21 - 14. Which is bigger: h or 1?
h
Let j = 4.5 - 5. Let b = j - -0.4. Let r be (-2)/7 - 45/(-84). Which is smaller: r or b?
b
Suppose -10*w - 30 = -0. Is w >= -4?
True
Let q(w) = w**2 - w - 1. Let l(v) = 3*v**2 - 9*v + 4. Let j(m) = l(m) - 2*q(m). Let s be j(6). Let b = -343/1503 - -1/167. Is s bigger than b?
True
Let j(z) = -z**2 - 5*z + 11. Let u be j(-6). Is 4 greater than or equal to u?
False
Let r = 233/124 - 4/31. Which is greater: r or 3?
3
Let s be (22/198)/(((-3)/(-2))/3). Suppose 3 = h - 0*h. Suppose m - h*m = 0. Which is smaller: m or s?
m
Let p = 8 + -4. Suppose 3*l = 3*b - 48, -p*b + 33 - 1 = 4*l. Let s be ((-1)/(-5))/(b/10). Is 0 not equal to s?
True
Let k(t) = -3*t**3 + t**2 + 7*t - 5. Let c(u) = 13*u**3 - 3*u**2 - 29*u + 20. Let q(g) = -2*c(g) - 9*k(g). Let o be q(4). Is 3/2 at least as big as o?
True
Let h be 32/20 - 2/(-5). Is h equal to 13/9?
False
Suppose -3*s + 7 = 1. Suppose 2*b + s*b = -8. Is -1 bigger than b?
True
Let o = 11 + -10.9. Let k = -4.2 - -0.2. Which is smaller: o or k?
k
Suppose 3*z + 3*c = 12, 4*c - 2*c = -4. Let h be 36/20*20/6. Is z less than or equal to h?
True
Let i = 62 + -73. Is -13 smaller than i?
True
Let y(l) = -l**3 + 6*l - 2*l**2 - 1 + 5 + 0*l - 3*l**2. Let i be y(-6). Is 2 equal to i?
False
Let x(b) be the third derivative of b**4/24 + b**3/2 - 2*b**2. Let l be x(-5). Let g be l/7 + 5/(-7). Is g >= -2/3?
False
Let j be 1 - 3/10*2. Let d be (-56)/42*(45/(-4))/3. Which is smaller: j or d?
j
Suppose 2*x + x = a - 2, 2*a = x - 1. Let f be (x/(-6))/((-4)/6). Let b = 1.04 + -0.04. Are b and f equal?
False
Let v(j) = -j**2 + j + 10. Let u be v(7). Let l be u/14 - (-4)/14. Let k = -2.9 + 3. Which is greater: k or l?
k
Let h(o) = o**3 - 2*o**2 - 8*o + 2. Let x be h(4). Which is smaller: x or 4?
x
Suppose 0 = 2*u - 6*u + 3*j + 45, -12 = 4*j. Do u and 19/2 have different values?
True
Let h be (-1398)/66 + 6/33. Is h < -20?
True
Let d = 2 + 0. Let j be (6/(-4))/((-8)/(-16)). Let n be (-2)/4*(3 + j). Is d less than n?
False
Let d be ((-152)/2)/(-2) - 0. Let p = -54 + d. Let z be 2/3 - p/12. Is -1 greater than or equal to z?
False
Let o = 1.1 - 4.1. Let r = 1.5 + 0.5. Is r less than o?
False
Suppose 2*q - 1 = 3. Let z be (-4 - -10)/(39/q). Which is greater: -1 or z?
z
Let m be 0 + (1 - 1 - 19/57). Let y = 1 - 2. Which is bigger: m or y?
m
Let q be 24/(-35) - (-2)/5. Let c(l) = 6*l**2 - 2 + l - l**3 + 0*l**3 - 1. Let p be c(6). Are q and p equal?
False
Let u(p) = p**3 + 2*p**2 + 3*p + 2. Let o be u(-2). Let y = o - 0. Let s(r) = r - 17. Let h be s(14). Is y <= h?
True
Let n = 8 + -6. Suppose 4 = n*w + 6. Let v = 171 + -1541/9. Which is smaller: w or v?
w
Let l be ((-6)/75)/((-3)/(-135)). Let h = 64/15 + l. Are h and 4 equal?
False
Suppose 2*o - 2 = -2*v, 0 = 5*o - v + 7 - 0. Let r be (2*-1 + 1)/o. Suppose -2*z + 4 = -0. Is z greater than or equal to r?
True
Let l = 3 + -5. Suppose -4*j + 3*j + 1 = 0. Let a be j - 2*l/(-8). Which is bigger: 1 or a?
1
Let u(d) = -2*d**2 + 8*d + 6. Let z be u(9). Is -85 >= z?
False
Let a(u) = u**3 - 9*u**2 - 11*u + 10. Suppose 4*n + y - 3 = 41, -3*n - 5*y = -50. Let w be a(n). Let b = 68/3 + -23. Is b >= w?
False
Let i be (-4)/6 - 202/3. Let g be i/(-30) + 3 + 3. Let k = g - 48/5. Are k and 0 unequal?
True
Suppose 48 = -3*l - m, 5*l + 80 = 4*m + m. Let k = l + 10. Which is greater: k or -7?
k
Let w(x) = -1 + 2 - 2*x - 5*x**2 + 0. Let m be w(1). Let z be 2*(2 - (-9)/m). Do 1 and z have different values?
False
Let n be -1*(1 + (-9)/3). Let t be (-6)/(-5)*n/(-4). Suppose -w + 0 = 2. Which is smaller: t or w?
w
Let i = -10 - -13. Suppose i*x - 30 = -3*q, 5*x = 3*q + 3*x - 50. Which is greater: 13 or q?
q
Let l = 2 - 3. Is l equal to -1?
True
Let k be (2/12)/(2/(-4)). Is 2.1 at least k?
True
Let p = 0.1 - 0.1. Do 0.09 and p have the same value?
False
Let i = 2 + -1. Let z = -2 - i. Let m = -6 - z. Is m less than or equal to -3?
True
Let y = -8.1 + 8. Let q = -0.3 + y. Let j = 6 - 5. Is q > j?
False
Suppose -j + 3 = 2*j. Let r = -3 + 5. Which is greater: r or j?
r
Let h = -1.6 + 7.6. Let g = h - 5.8. Is g at most -1/2?
False
Suppose -4*z = -2*j - 14, 3 = -0*z - 2*z + 3*j. Let g be (z/8)/(3/2). Let b = -5 + 7. Which is smaller: g or b?
g
Let n(d) = -d**3 + d - 2. Suppose -16 = o - 4*s, -4*s + 3*s = 5*o - 4. Let c be n(o). Do -0.2 and c have the same value?
False
Suppose 2*b - 24 = -b. Let h be (2 - 4/2) + b. Let t be (2/4)/((-4)/h). Which is smaller: t or 0?
t
Let l(m) = -m**3 - 4*m**2 + 5*m. Let k be l(-5). Suppose -s + f + 3 = -4, f + 4 = k. Is s greater than -2?
True
Let n = -1459/6 + 5057/30. Let y = n + 74. Let k = 0 - 0. Which is smaller: y or k?
y
Let r(o) = o**3 - 9*o**2 + 8*o - 1. Let l be r(8). Let a be 3 + -8 + 2 + 0. Which is smaller: a or l?
a
Let l be 4 + -1 - 4/4. Suppose -l*v - 3 + 23 = 4*c, -3*v = 4*c - 24. Suppose -5 = -v*m - m. Is m at most as big as 1?
True
Let s = 0.02 + -0.03. Let p = -0.11 - s. Which is smaller: -2/5 or p?
-2/5
Let a = -2 - -21. Let t = -18.1 + a. Let k = -1 + t. Is k < 3?
True
Let a = 2 - 2.1. Let g = -1811/2 - -887. Let s = g + 19. Which is greater: s or a?
s
Let n = 2/33 - -4/33. Let f be 0 - 0/(0 - (-1 - -3)). Does f = n?
False
Let c = 15 - 46/3. Are -1 and c non-equal?
True
Let d = -231 - -369. Let f be ((-4)/d)/(10/(-45)). Which is smaller: f or -1?
-1
Let w = -69 + 346/5. Is w greater than -6?
True
Let o be -2 - -5*(-4 - -3). Is o less than -7?
False
Let f = 138 + -829/6. Is -1 at least as big as f?
False
Let r = -1963/6 - -274. Suppose 2*q - 265 = 5*h, 2*q - q + 265 = -5*h. Let d = r - h. Do 0 and d have the same value?
False
Suppose -i = 8 - 0. Let t = 16 + i. Which is greater: t or -1?
t
Let u(o) = -3*o**2 + 0*o - 14 + 15 + 0*o + o**3. Let p be u(3). Which is smaller: -2 or p?
-2
Suppose -3 - 1 = 5*h - o, 0 = -3*h - 5*o - 8. Let w = h + -14. Let m be (6/2)/(w/(-2)). Is m less than 0?
False
Suppose 3*o + 0 - 3 = 0. Let z = 1 - -2. Let n be ((-1)/2)/(z/(-2)). Is n bigger than o?
False
Suppose 0 = -2*o - o - 3. Let v = -2/277 + -536/2493. Is o less than or equal to v?
True
Let n = 16 - 19. Which is bigger: -2 or n?
-2
Suppose 11 = -2*h + 1. Let s = 0 - -1. Let m be (s - 0)/(h/10). Is -3/2 < m?
False
Let s(p) = p**3 - 3*p**2 + 2. Let q be s(3). Suppose -2*z + 3 = -q*h - 5*z, -2*h = 5*z + 13. Let j = h + -3. Which is greater: 2 or j?
j
Suppose 0 = f + 1 - 2. Let p(b) = -b**2 - f + 4*b + 0 + 0. Let g be p(4). Is 3/7 < g?
False
Let m = -2 - -7. Suppose 2*v + 3*o - 10 = 0, m*o = -4 + 24. Let p(n) = 3*n**2 + n. Let g be p(v). Which is bigger: 1 or g?
g
Suppose 13 - 53 = 8*n. Let r(p) = -p**2 - p - 2. Let h be r(-2). Which is greater: h or n?
h
Let j(a) = -a - 9. Let g be j(-7). Let n = 0 + 0. Suppose -2*b + 2*x + 4 = n, 14 = -b - 0*b - 3*x. Is g greater than b?
False
Let k(m) = m + 13. Suppose 2*a + 2 - 12 = 0. Let n = a - 14. Let b be k(n). Is b smaller than 4?
False
Let j = 14 - 8. Suppose 3*b = j*b. Let w be (2/(-9))/(7*(-4)/(-84)). Is b bigger than w?
True
Let t(i) = -2*i + 5. Let v be t(2). Which is smaller: -2/13 or v?
-2/13
Suppose 2*l + 4 = -0*l. Let f = 1 + l. Let b be (3/22)/(3/4). Which is greater: b or f?
b
Let y be -6 + 7 - (1 + 0). Let f be 2*(259/(-2) + 1). Let h = f - -3343/13. Is h at least as big as y?
True
Let m = 83468161/468 - 178351. Let f = 1/156 + m. Is f smaller than 0?
True
Let a be 1*((-2)/1 - -234). Let x = 4177/18 - a. Let f = 11/36 - x. Which is greater: f or 1?
1
Let n = 0.912 - -0.088. Let o = -6 + 12. Which is greater: o or n?
o
Let s(y) = 3*y + 3. Let w be s(5). Suppose z + w = -2*o, z = -z + 3*o - 1. Is -8 bigger than z?
False
Let x = -7 + 15. Let v = 10 - x. Suppose 0 = 3*y + 2 - 8. Do v and y have the same value?
True
Let k be 2/(-2) + 101/33. Let c = 30/11 - k. Is -2/7 at least c?
False
Let b = -4.86 - 0.21. Let s = 0.07 + b. Suppose -x = 1 - 0. Which is smaller: x or s?
s
Let s = 4 - 8. Let v = s - 3. Do v and -1 have different values?
True
Let a be 55/(-11)*(-2)/(-