 + -10 + 1. Let h be (9/l)/(3/5). Is -2 equal to h?
False
Let z be -4 + (-15)/(-3) + -1. Which is smaller: z or 1/3?
z
Let n = 0.11 + 2.89. Which is bigger: n or -3?
n
Let s(u) = u**2 - 7*u - 6. Let y be s(8). Let q(w) = -6*w**y + 5*w**3 - 5*w**2 - 4*w**3 + 2*w**2. Let n be q(9). Which is greater: 1 or n?
1
Suppose -30 = -5*v + 3*x, -4*v - 3*x = -0*x + 3. Suppose 1 = 2*m + v. Is -1 at most m?
True
Let q = -13.5 + 1.5. Is q < 0?
True
Let l be (-1)/4 + (-1795)/4. Let m = -8/12001 - -91627771/204017. Let w = l + m. Which is smaller: 1 or w?
w
Let j be (1 + 0)/((-4)/56). Does j = -14?
True
Let t = 25 + -74/3. Let d = 1 - 3. Let x be -1*0*2/d. Which is smaller: t or x?
x
Let j(t) = 2*t - 11. Let k be j(8). Suppose 12 = 3*a + 3*g, -k*a + 0 + 18 = 4*g. Let o = a + -3. Which is greater: -3/7 or o?
-3/7
Let a = 3.8 + -4. Let c = -0.1 + a. Let z = c - 0.7. Which is smaller: 0.2 or z?
z
Let z(p) = -p. Let d be z(-2). Let o be (-3)/d*(-8)/(-12). Let x be 2 - 3 - (o - -2). Is x greater than 0?
False
Let s be 10/7*(-9 - -7). Which is smaller: s or -3?
-3
Let d(k) = -k - 4. Let b be d(-5). Let l = 419 + -417. Which is smaller: b or l?
b
Let a be (2*1)/(2/14). Let b be ((-260)/39)/(-4 - (-96)/27). Is a at most as big as b?
True
Let c = -30 - -91/3. Suppose 0 = 2*d - 5*d - l + 6, 0 = -4*d - l + 8. Let o = -3 + d. Which is bigger: c or o?
c
Suppose -18*j = -21*j + 3. Suppose v + 4*v + 10 = 0. Is v smaller than j?
True
Let m = 3.2 + -4. Let d = -12 + 16. Let y = -4 + d. Which is smaller: m or y?
m
Suppose -5*p + v = -2*v - 2, 0 = 5*v - 5. Which is smaller: p or -2/267?
-2/267
Let w be (-1)/(-9) + 10/18. Let t = -9 - 11. Which is greater: w or t?
w
Let t = 4 + -3.4. Let l = t + -0.4. Let y be -3*(-8)/(-12)*1. Which is smaller: l or y?
y
Let o be (-11 - 17)*1/(-2). Suppose -3*a = -6, 4*p + 4*a - 47 = p. Are p and o equal?
False
Let s = 15 + -16. Which is smaller: s or 2/43?
s
Let h(f) = -f - 1. Let v(i) = -10*i + 1. Let l(y) = -h(y) - v(y). Let k be l(1). Which is smaller: k or 10?
10
Let k be (3 - (-50)/(-16))/((-3)/(-4)). Let g = -1.9 - -2. Is g at least as big as k?
True
Let a be (-4)/10 - (-3)/(-5). Let l = -41.91 - -42. Do l and a have different values?
True
Let u be 0/((1 + 0)/((-9)/(-18))). Let k(j) = j**3 - 3*j**2 + 3*j - 3. Let z be k(2). Is u greater than z?
True
Let j(x) = x**2 - 5*x + 2. Let c be (-28)/(-8) + 3/6. Let v be j(c). Does v = -1?
False
Let m be (2/8)/((4 + -12)/32). Is m bigger than -2?
True
Let y(b) be the second derivative of b**5/20 + b**4/3 - 2*b**3/3 + 3*b**2 - 2*b. Let i be y(-5). Let f = i + -2. Which is smaller: f or -2/3?
f
Let s(k) be the second derivative of k**4/6 - k**3/3 - 3*k**2/2 - 6*k. Let y be s(3). Which is greater: y or 0?
y
Let v(j) = -j**3 - 5*j**2 - 6*j - 6. Let i be v(-4). Let r be (0 - i)*15/(-10). Let l be 2/r*(-1)/(-2). Which is smaller: 1 or l?
l
Let y be ((-3)/(-2))/(9/(-12)). Let k be y/7 - 48/(-70). Let o(n) = n**2 + 2*n + 1. Let m be o(-2). Which is bigger: m or k?
m
Let t be (-19)/13 + 1 + 0. Let d = -128 + 129. Which is smaller: d or t?
t
Let u = 4.32 - -0.68. Is -4 not equal to u?
True
Let n = 273 - 8167/30. Let q = 1/10 - n. Which is smaller: 0.1 or q?
q
Suppose 2*v = -3*s - 17, 0*s - 4*v - 16 = 4*s. Let i = s + 0. Which is bigger: i or -8?
-8
Let t = 0.04 - -0.66. Let q = 0.3 + t. Let i(m) = -2*m - 14. Let n be i(-8). Is n bigger than q?
True
Let i = -26 - -15. Let z = i - -9.9. Let k = z - -1. Which is greater: k or 0.2?
0.2
Let x = 1.53 - 0.03. Let l = x + 2.5. Is 2/7 less than l?
True
Suppose -4*k + 3*k = -3, -3*k = 5*u - 9. Suppose 3*y = -u*y + 12, 0 = -2*s - y. Is -3 not equal to s?
True
Let a be -5*2/((-20)/3). Which is bigger: 2 or a?
2
Let g(x) = -x**3 + 6*x**2 - 4*x. Let s be g(5). Suppose 50 = -s*c - 5*m, -7*c + 4*m - 32 = -3*c. Let y = c - -8. Are -3 and y equal?
False
Suppose 0 = -4*a + 3 + 9. Let o be 2*a*8/16. Let p = -11 - -15. Which is smaller: o or p?
o
Let p = -67 - -203/3. Which is greater: 0.33 or p?
p
Let l = 8 + -7. Which is smaller: 4 or l?
l
Let u = 322 - 307.3. Let p = u + -15. Let f be (8/(-30))/(4/6). Is f >= p?
False
Let c = -23/5 - -961/210. Which is smaller: 0.1 or c?
c
Let m = 1 - -1. Suppose -8 = m*s + 2*s. Is -3 at least s?
False
Suppose 0 = 2*c - 3 - 45. Let a be ((-32)/c)/(2/3). Is -1 greater than a?
True
Let a be ((8/3)/2)/(-2). Let d = -0.2 - -0.2. Are a and d unequal?
True
Let r = 47.9 + -52. Let c = 4 + r. Let n = -0.2 + 0.3. Which is bigger: c or n?
n
Suppose 3*y - 2*b + 2 = 0, -5*y - 1 = -2*b - 3. Suppose 5*k = -5*x + 30, -k = -3*x - y*x + 6. Is k greater than 10/3?
True
Let v(x) = -x**3 + 3*x**2 + 2*x - 8. Let r(q) = 2*q**3 - 6*q**2 - 5*q + 15. Let a(d) = 4*r(d) + 7*v(d). Let z be a(4). Which is greater: -2 or z?
-2
Suppose 163*h = 159*h. Is h at least -5/19?
True
Suppose 6*x = 7*x. Suppose -n - 8 = 2*o, 2*n - 5 = 3*o - x*n. Is -4 at most o?
True
Let o = 68/7 - 227/14. Is o >= -7?
True
Let t = -1/41 - -251/205. Let p = -114 - -114. Which is smaller: p or t?
p
Let h be 0/((-2 + -1)/(-3)). Suppose -x + 5*x + 4 = h. Let p = -149 - -1041/7. Which is smaller: p or x?
x
Let m(s) = s**2 - 4*s. Let i(w) = -w - 1. Let l be i(-4). Let b be m(l). Suppose -a + 5*a + 19 = -3*v, 3*a = -3*v - 18. Which is bigger: b or a?
a
Suppose 0 = 4*m - 59 - 21. Let f be 1/5 - 4/m. Let g = 1 + 1. Is g > f?
True
Let o = -18 - -17. Let f(g) = -4*g. Let k be f(o). Which is smaller: k or 2/9?
2/9
Suppose -3*d - 1 = -2*d. Suppose -5 = -5*o - 20. Let g be (d - -1)/(o - -1). Does g = 2/15?
False
Suppose -2*t = -4*j + 20, 2 = -5*t - j - j. Let i = -2 + t. Which is greater: i or -2?
-2
Let l be 4/((-216)/15)*(3 - 1). Which is bigger: -2 or l?
l
Let z be (-69)/21*-1 - -1 - 4. Which is smaller: -1 or z?
-1
Let h = -11 - -4. Let c = -7.2 - h. Let t = -5 + 5. Is t at most as big as c?
False
Suppose -3 = -4*k + 5. Suppose -5*m + k - 1 = -f, m = -2*f + 9. Let t = -2687/11 + 244. Which is greater: m or t?
m
Let r = 61/4 - 51/4. Let v(k) = k**3 + 2*k**2 - 3*k + 4. Let w be v(-3). Is w at most as big as r?
False
Let s be ((-2)/(-16))/(3/24). Let k be s*-6*(-3)/(-6). Which is bigger: -2 or k?
-2
Let c(d) = d**3 - 3*d**2 + 8*d + 2. Let a(u) = -u**3 + 2*u**2 - 9*u - 3. Let b(q) = -3*a(q) - 4*c(q). Let t be b(5). Let o = -1 - -3. Is t greater than o?
False
Suppose -q + 22 = 4*i, -4*q + 10 + 8 = 2*i. Let t be 23/4 + q/8. Let h be (t/36)/((-2)/4). Which is smaller: h or -1?
-1
Suppose -3*k = -3*d + 21, 2*d + 6 + 5 = -3*k. Let t = d + 1. Which is smaller: t or 2?
2
Let u = 4 - 3.93. Which is greater: 1 or u?
1
Let j = -8 + 15/2. Is 1 <= j?
False
Let i(l) = -l**2 - 12*l - 11. Let q be 12 - (-1 - 5)/2. Suppose -q*v + 11*v - 44 = 0. Let a be i(v). Which is bigger: a or 2?
2
Suppose 10 = 4*o + 5*j - 15, 3*j - 15 = o. Let f = 4976/21 - 752/3. Let x = f - -1262/91. Is x >= o?
True
Suppose -2*p = 2*p. Let v(i) = i**3 - 5*i**2 + 3*i + 1. Let w be v(4). Let s = w - -3. Are s and p equal?
True
Let n = -0.05 + -2.95. Let m = -3.1 - n. Is m less than or equal to 2/3?
True
Let b = 2.3 + -3. Let m = b + 0.9. Which is smaller: 1/3 or m?
m
Let u be 1 - (796/18)/(-1). Let s = 45 - u. Is 0 not equal to s?
True
Let k = 8 - 7.86. Let n = k - 1.14. Is 2/9 equal to n?
False
Suppose 0 = -5*c + 5*r - 20, 4*r - 14 = -4*c + 2*r. Let v(s) = -22*s**3 + s. Let x be v(1). Let f = -41/2 - x. Is c greater than f?
True
Let b = 10 + -31. Let p = -15 - b. Which is greater: 0 or p?
p
Let q = -4 - -2. Let k be (q - -1)*(-2 - -4). Let d be 1/3 + -1 + 0. Are d and k non-equal?
True
Let r be ((-1326)/(-106))/((-2)/114). Let h = r - -713. Is -1 at least h?
False
Let z = -24 - -34. Suppose 0 = -5*w - 4*m - 6 - z, -4*w + 3*m - 19 = 0. Let s be w/(-14) - 9/(-42). Is s <= 0?
False
Let t(v) = -v**3 - 8*v**2 - v - 10. Let y = -2 - 6. Let j be t(y). Do -0.3 and j have the same value?
False
Let b = -150 - -1652/11. Let s = -17 - -16.8. Is s <= b?
True
Suppose -8 = 2*s - 6*s. Suppose 0 = s*v - 2. Which is greater: -2/13 or v?
v
Let v be (-15)/(-5) - 5/3. Which is bigger: v or -0.2?
v
Let m = 0.3 - 1. Let p = 1 + m. Which is greater: p or -0.1?
p
Let u be 3/6 - (-2)/4. Let d be ((-52)/6)/(2/(-9)). Let h be d/18 + -1 - 1. Is h at most as big as u?
True
Let f = -8.033 + 0.033. Which is smaller: f or 0?
f
Let f = -25 + 26.04. Let t = -0.04 + f. Which is smaller: 