j be 3/(-3) + (-1)/(-5). Are j and d non-equal?
True
Let v = -10 - -73. Let z = 377/6 - v. Is z bigger than -3?
True
Let q = 126 + -133. Is q at least 8?
False
Let k = 105 + -196. Is 0 <= k?
False
Let p be -1 - 5/(80/(-28)). Which is bigger: 1 or p?
1
Suppose 5*s - 15 + 5 = 0. Let z be (4 + 0)*(-1)/s. Is z greater than -3/2?
False
Let c be ((-1)/2)/((-8)/(-32)). Let y = -0.3 + 0.2. Let a = y - 0. Does a = c?
False
Suppose 60 = -0*i - 3*i. Let g be ((-4)/(-10))/(i/30). Let z = 0.2 + -0.3. Which is smaller: g or z?
g
Let h = -6 + -2. Is h at least -8?
True
Let u = -5 + 9. Suppose 7*r = 3*r + u. Which is greater: r or 0?
r
Let r = -22 + 42. Let g = -8 + r. Does g = 0.1?
False
Let f be -1 + ((-92)/(-22))/2. Let o = 43 + -43. Which is greater: o or f?
f
Suppose 3*k - 2*k - 8 = 0. Let j be (k/(-6))/((-40)/12). Which is smaller: 1 or j?
j
Let x(i) = -i**3 + 8*i**2 - 3*i + 2. Let h be x(7). Which is greater: 29 or h?
h
Let l = -0.03 - 1.17. Let g = l - -0.2. Do g and 2/3 have different values?
True
Let c be 1 + -1 + 0/1. Let z be 10/(-15)*6/(-4)*1. Let j be (c + 2 - 1) + z. Which is smaller: j or 1?
1
Suppose 12*c + 21 = 5*c. Which is bigger: c or -4?
c
Let o(g) = -g**2 + 4*g + 3. Let x be o(4). Do 2 and x have the same value?
False
Let q = 0.04 + -0.01. Let v = q + -0.13. Which is smaller: 2/13 or v?
v
Let j(t) = -t**3 - 8*t**2 - 6*t + 10. Let y be j(-7). Let b = y + -3. Let c be (-1 + 2)*(b + 1). Which is bigger: 1/3 or c?
c
Let w be (-1017)/(-21)*9/(-3). Let z(i) = 145*i**2. Let s be z(1). Let l = s + w. Is l at least -1?
True
Let o be 6/(-8) - 42/(-24). Let y = 3 + -3.02. Is y not equal to o?
True
Let w = -5.5 + 10.7. Let l = -5 + w. Let k = 0.5 - l. Is k smaller than -0.1?
False
Let g = 4 + 4. Let m be 3/(-4)*g/(-3). Is 6/7 at most as big as m?
True
Let n(d) = d**2 - 16*d + 15. Let p(m) = -m + 15. Let r be p(0). Let x be n(r). Is x greater than -3?
True
Suppose -2*y = -4*w - 22, 3*w = -y - 2*y - 30. Let z be ((-2)/(-12))/(w/(-14)). Which is smaller: 0 or z?
0
Suppose -3*l - c - 163 = 2*l, 0 = -l - 4*c - 25. Let g = l - -67/2. Which is smaller: g or 2?
g
Let f(c) be the third derivative of -c**6/60 + c**4/24 + c**3/6 + 2*c**2. Let y be f(-1). Suppose -3*n = y*n + 15. Is -2/7 at most n?
False
Let d = 27 + -36. Let i = -10 - d. Which is bigger: -10/11 or i?
-10/11
Let r(l) = 5*l**2 + 2*l + 1. Let m be r(-1). Suppose 0 = 2*i - m*i. Is 0 less than i?
False
Let d = -21 - -25. Let u be (-10)/(-16) - (-4 + d). Is 0 <= u?
True
Let b be ((3 - 0) + 7/(-2))*-2. Let d be -3 - -2 - (-5)/4. Is b <= d?
False
Let p be ((-5)/(-2))/(1 - -1). Is p less than 2?
True
Suppose 15*n - 9*n = 60. Is n smaller than 12?
True
Let i(h) = -5*h - 15. Let z(x) = -6*x - 16. Let j(l) = -5*i(l) + 4*z(l). Let n be (-7 - (0 - 2))/1. Let d be j(n). Which is greater: -1/4 or d?
d
Let j(s) = -s**3 - 5*s**2 - 6*s - 4. Let x be j(-4). Let b be (-6)/(-3) + (x - 7). Is 2/9 > b?
True
Let a be 4/(-16) - 42/(-152). Which is smaller: a or -1?
-1
Let q(y) = -25*y - 2. Let o be q(2). Let w = 16/321 + -5498/107. Let a = w - o. Which is bigger: a or 2?
2
Suppose 2*m = 4*u + 16, 2*m - 2*u + 4 = 12. Suppose 0 = -2*h + 2, 5*o - 5*h = -m*h. Let k = -3/4 + o. Which is greater: k or -1?
k
Suppose 9*g = 7 + 2. Are 1 and g unequal?
False
Suppose -5*z + 7*z - 5*c = -9, 4*z - 4*c + 36 = 0. Suppose 3*s - o + 7 = -25, 3*s + 5*o + 38 = 0. Which is smaller: s or z?
z
Let w = 1/5 - -2/5. Let m = -4 - -6. Which is greater: w or m?
m
Suppose -g + 3 = 0, 0 = -5*b + 3*g + g - 2. Which is greater: -1 or b?
b
Let o = -12 - -13. Let y be (-14 + 12)*1/o. Are y and -5/3 equal?
False
Suppose -3*f + 25 = 2*q, -3*f = -5*q - f + 15. Let y = 288 + -283. Is y > q?
False
Let b(s) = s**2. Let k(n) = -n**3 + 3*n**2 + 4*n - 3. Let d be k(4). Let g be (-2)/(-6)*(d + 6). Let u be b(g). Is 2/17 at least u?
False
Let w be (-6)/8 + 51/(-12). Is w < -1/4?
True
Let r be 18/(-1431)*(1 + -2)*3. Is 0 at most r?
True
Let h(o) = -9*o + 28. Let n be h(3). Is -2/253 > n?
False
Let y = 1709/19389 + -1/843. Which is bigger: 1 or y?
1
Let v = 0.3 + -0.3. Let m = v - 1. Which is greater: 1/4 or m?
1/4
Let k = 0.1 + 0.1. Let i = 0.06 + -2.06. Which is smaller: k or i?
i
Suppose -f - 2*f = 12. Let v(w) be the third derivative of w**6/30 + w**5/60 + w**4/24 + w**3/6 + w**2. Let t be v(-1). Do f and t have the same value?
False
Let p = 0.256 + 0.044. Are p and 0.06 nonequal?
True
Suppose 7*h - 4*h = 15. Let b(m) = -m**3 - 8*m**2 + 10*m + 13. Let d be b(-9). Which is smaller: h or d?
d
Let j = 16148/27 - 598. Does -1 = j?
False
Suppose p + p = -3*r - 12, 21 = -5*p - 3*r. Let u = -5/2 - p. Is u bigger than -3?
True
Let c(z) = -z**3 + 7*z**2 - 4. Let n be c(7). Let y be (n + 2)*(-6)/3. Suppose d - 4 = -0*d. Is y >= d?
True
Let s = -0.21 - -0.11. Which is smaller: -0.5 or s?
-0.5
Let i be 4/18 + (10 - 10). Is -1 bigger than i?
False
Let s be 8/6*21/(-14). Let c = 2 + s. Suppose -2*x - 3*z + 8 = z, c = 4*x + 5*z - 10. Which is greater: x or -1?
x
Let r(g) = -2*g**2 - 19*g - 5. Let q(p) = -p**2 - 9*p - 3. Let a(x) = -5*q(x) + 2*r(x). Let i be a(-7). Is i at most as big as 6?
True
Let q = 18 + -10. Suppose 2*k = 5*f - 4, 3*k = -f + q*k + 10. Suppose f = -0*m - m - 3. Which is smaller: -4 or m?
-4
Suppose 2*k + 20 = 5*f + k, 2*f + 2*k + 4 = 0. Suppose 0 = -2*d - d + f. Are d and 5/4 equal?
False
Let b be ((-6)/(-8))/((-170)/4). Let r = b + 83/850. Let u = r - 29/50. Which is bigger: u or -1/3?
-1/3
Let a = 2/513 + 1708/513. Is 4 less than or equal to a?
False
Suppose 16 = -4*c, 0 = 4*g + 6*c - 2*c + 12. Which is smaller: g or -3/20?
-3/20
Let p be (4/(-15))/(6/(-40)). Is 2 greater than p?
True
Let j = 7 + -3. Let d = -3 + j. Let o = d - 6. Which is smaller: 2 or o?
o
Let m = 477.22 - 486. Let q = m + -0.22. Let n = q - -13. Which is greater: -0.1 or n?
n
Let x(k) = -k**3 - 5*k**2 - 4*k - 3. Let h be x(-4). Is -2 less than or equal to h?
False
Suppose -5*l = -4*i + 2, 3*i = l - 0*i + 7. Suppose 3*f - n + 17 = -0*f, 2*f = -5*n - 34. Let h = f + l. Which is greater: 1/3 or h?
1/3
Let s = 92 - 88. Which is smaller: s or -2?
-2
Let q = 7/8 - -13/8. Are q and 3 unequal?
True
Suppose -6 = 4*k - 0*s - s, 4*s = 5*k + 2. Suppose -3*c - 7 = -c - i, -3*i = -4*c - 13. Which is smaller: c or k?
c
Let j = 134 + -215. Does -82 = j?
False
Let o(r) = r + 8. Let l be o(-7). Suppose -2*u - 28 = 34. Let d = u + 65/2. Is l at most d?
True
Let r = 8 + -7. Let p(y) = -r + 4 + 0*y - 2*y. Let d be p(2). Are d and -2/11 nonequal?
True
Let y = -29 + 28.72. Let d = 0.08 + y. Which is smaller: -3 or d?
-3
Let a = -5.01 + 5. Let p = -5.01 - a. Let l = -2 - p. Is 2 less than or equal to l?
True
Let m = -10 + 19. Suppose -2*a + 5*a + m = 0. Suppose -p - 1 = 2. Is p at most as big as a?
True
Suppose -k + 1628 = k. Let w = k - 36628/45. Is 1 smaller than w?
False
Let k be (2/4)/(3/(-6)). Let l be (-3 - (-2 - 0))*k. Is -1/5 >= l?
False
Let i be -8*(-1)/(-6)*3. Which is bigger: i or -2?
-2
Suppose 0 = 2*r - 27 + 7. Which is smaller: r or 9?
9
Let l be 6/10 + 71/15. Let v = 11/2 - l. Which is smaller: -1 or v?
-1
Let k(r) = -r**2 + 3*r + 4. Let g be k(-4). Is g at most as big as -22?
True
Let v = 2 + -6. Let p = 4.1 + v. Which is bigger: -2 or p?
p
Suppose -4*t + 8 = -2*t. Let g be -1 - 9/((-3)/1). Let d be (-2 + t)*g/(-4). Which is smaller: d or 2/7?
d
Let f = -191/5 + 38. Which is smaller: f or 1?
f
Let p be -5*-1*(6 + -4). Is 7 != p?
True
Suppose -47 = 5*o + 28. Which is greater: -16 or o?
o
Let b be (-24)/(-8)*(-68)/(-3). Let a be (-1)/(-2) - 26/b. Let n be -1*(2 + -2 - 0). Which is greater: n or a?
a
Let c = -26 + 25.97. Let h = 0.03 + c. Which is smaller: h or -6?
-6
Let d be 283 - (0/4 + -4). Let c = 1715/6 - d. Is -1 at most as big as c?
False
Let u(k) = 5*k**3 - 2*k + 1. Let m be u(1). Does 4 = m?
True
Suppose 9*c - 21 = -3. Which is greater: 7/8 or c?
c
Let r(c) = c**2 - 9*c + 9. Let y be r(9). Which is bigger: 1 or y?
y
Suppose 2*d - 3 = 153. Let w = d + -230/3. Let r be (15 - 16)/(1/(-1)). Is r != w?
True
Let b(f) = f**2 - f**2 + 4*f**2 - 5*f**2. Let g be b(1). Do -1/16 and g have the same value?
False
Let m(v) be the first derivative of -v**6/360 + 3*v**5/40 + 5*v**4/12 - v**3/3 + 1. Let n(r) be the third derivative of m(r). Let k be n(10). Is k != -7/5?
True
Let c be ((-7)/42)/((-