2/65. Is h less than 0?
True
Let n be 122/(-66) + (-3)/(99/(-6)). Let x(c) = -c - 2. Let p be x(-4). Let g = -3 + p. Which is smaller: g or n?
n
Let h(x) = 3*x**3 + x**2 + x + 1. Let k be h(-1). Which is greater: -4 or k?
k
Let u = 57 - 514/9. Let g = 18 + -17. Which is bigger: g or u?
g
Let d = -20 + 26. Let o be (-451)/(-363) + (-2)/d. Which is bigger: 0 or o?
o
Let h(c) = c + 4. Let j be h(-3). Suppose 0*l + l = j. Let g = -40 - -121/3. Is l bigger than g?
True
Let h = 2 + -1.9. Let w = -1/44 - -91/132. Let z = w + -1/3. Are z and h equal?
False
Let x = -327 - -192. Let c = 5221/7 - 55508/63. Let u = x - c. Is 0 > u?
False
Let z be (-4)/(3/(6/(-4))). Let y(i) = -i + 1. Let c be y(-3). Which is bigger: c or z?
c
Let u(a) = -2*a**2 - 16. Let x be u(0). Let f = 12 + x. Are -4 and f unequal?
False
Let v = -1.1 - -6.1. Let d = 4 - v. Is d < -1/6?
True
Let s be 13/11 - (-6)/(-33). Let r be 2/8 - (-2)/(-8). Let v be -1 - (s - (2 - r)). Does -1 = v?
False
Let k(q) be the third derivative of q**7/1260 - q**6/720 + q**5/30 - q**2. Let w(j) be the third derivative of k(j). Let s be w(1). Which is bigger: 0.1 or s?
s
Suppose 3*j + j - 8 = 0. Suppose 2*z - 4*u - 16 = 0, -j*z - 2*z - 4 = u. Is 2 bigger than z?
True
Let m(l) = -l. Let i be m(-5). Is 6 less than i?
False
Suppose t - 6*t + 24 = 2*o, 0 = 5*t + 3*o - 26. Suppose 5*k - 16 = 4*j - 0*j, j + t = -k. Which is bigger: -3 or j?
-3
Let o = 0 + 1. Let r = o - 2. Let n = r + 1.2. Is n less than or equal to -2/3?
False
Let u be ((-6)/(-30))/(4/5). Let m = 0.5 + -0.2. Let n = m - 0.6. Is u greater than n?
True
Suppose 2 = -6*u + 14. Which is bigger: u or 5?
5
Let r(v) = v**3 - 8*v**2 + v - 9. Let m be r(8). Is m > -2/5?
False
Let k(p) = -p**2 + 13*p - 7. Let i be k(12). Let u = -2 + i. Which is bigger: u or 3/5?
u
Let p be ((-10)/2)/((-6)/(-6)). Let r be 2/p + 282/30. Let x be (-30)/r - (-2)/6. Are x and -2 equal?
False
Let l = 69 - 77. Which is greater: 3/4 or l?
3/4
Let i(n) = -n + 1. Let w be i(-1). Let r be 1*(3 + 1)/w. Suppose -g = -5*u, -2*g + 5*g - 17 = -r*u. Which is greater: u or 1/3?
u
Let f(x) = -x**3 + 12*x**2 + 14*x - 11. Let b be f(13). Suppose 0 = 2*y - 5*m + 12, 0 = 4*y - b*m + 7 + 1. Which is greater: y or 2/17?
2/17
Let s(x) = -x**3 - x**2 + 5. Let w be s(-5). Let c = -50009/7 - -49275/7. Let i = w + c. Which is greater: i or -1?
i
Suppose -6*s = 24 + 6. Is s less than -7?
False
Let t(q) be the second derivative of -q**3/6 + 2*q**2 - 3*q. Let w be t(4). Is w greater than 0?
False
Let f = -166 + 165. Which is greater: -2/85 or f?
-2/85
Let a be 1 - (3 + (1 - 1)). Let t be a/(-3) + 34/(-6). Is t smaller than -6?
False
Let q(d) = -d**2 - 8*d - 7. Let l be q(-6). Let a be 2 + (2 - 2) + -2. Suppose -l*t - 10 = -a*t. Is -2 bigger than t?
False
Let l = 147 - 1179/8. Let n be (-11)/(-22)*(0 + 2). Which is smaller: n or l?
l
Suppose t = -0 - 1. Let a be (0 + -1)*(t - -2). Suppose 7*s - 20 = 17*s. Which is smaller: a or s?
s
Let n = 17 - 17. Is n less than or equal to 2/31?
True
Suppose 0 = -6*u + 3*u + 12. Suppose 2*h - 11 - 2 = -3*a, 4*a = -u*h + 16. Let x = -137 + 687/5. Is x less than h?
False
Let p be 32/14 - 12/42. Let m be (p/(-3))/((-2)/9). Suppose w + m*d = 3*w + 12, 2*w = -3*d + 12. Is 1/7 < w?
False
Let t be (-6)/(-4)*(-1)/(-12). Let o(p) = p**2 - 4*p - 4. Let l be o(5). Are t and l equal?
False
Suppose -4*o + 3 - 11 = 0. Which is smaller: o or 0?
o
Let n be 96/(-18) + (-1)/(-3). Let w = -4 - n. Which is bigger: 0.07 or w?
w
Let g = -25 + 277/11. Let c = g - -7/22. Let t be (-10 - -4)*2/(-4). Do t and c have different values?
True
Let z = -25 - -43. Suppose 3*j - 5*p = -18, 6*p - z = 3*j + 4*p. Let k be 8/10 - j/(-10). Is k at most as big as 1?
True
Let h(c) be the third derivative of c**4/12 + c**3 - 5*c**2. Suppose 5 = -w - 4*w + 5*g, -4*g = -w + 8. Let p be h(w). Do p and -1/2 have the same value?
False
Let b = 30.1 + -9.1. Which is greater: b or 2/3?
b
Suppose 80 - 17 = 2*j - y, 0 = 5*y + 5. Is 32 at most as big as j?
False
Let v = -32 - -18. Let z be ((-2)/12)/(7/v). Which is greater: z or 1?
1
Let k = 59 - 59.2. Is k < -5/8?
False
Suppose -n + 0*n - 1 = 5*d, -5*n + 21 = -d. Suppose -n*x = -4*h + 12, 0 = h + 2*x + 12 - 0. Let k be 0 - 3 - (-4 + 2). Which is smaller: k or h?
h
Let w be ((-1174)/8)/((-7)/(-42)). Let h = w - -906. Let r = -27 + h. Is -2/5 != r?
True
Let h = 11/480 + 3/160. Which is smaller: 1 or h?
h
Let v be (-2 + (-6)/(-4))/(16/(-96)). Let s(u) = 4*u**2 + u + 1. Let y be s(-1). Which is greater: v or y?
y
Let g = 13 - 21. Let j = 6.5 + -0.5. Let i = g + j. Which is smaller: i or 1?
i
Suppose -8 = 2*o + 2*o. Let x be ((-5)/75)/(o/4). Are -1 and x nonequal?
True
Let w = 15 - 13. Suppose w*x = 5*x - 27. Is x < 10?
True
Let j = 15.94 + -0.94. Is j equal to -0.2?
False
Let r = 1 - 1. Let f be 174/594 - 4/22. Which is greater: r or f?
f
Let j = 513 + -1565/3. Which is smaller: j or -2/3?
j
Let d(q) = -q**2 - 3*q - 3*q**2 + 8*q**2 + 4*q**3 - 5*q**3. Let u be d(3). Let t = -162 + 1130/7. Is t equal to u?
False
Let m be (1/(-2))/(4/8). Let c = -1/58 - 99/986. Which is greater: m or c?
c
Let a be 7/3 + 1/3. Suppose -p + 15 = -f, -2*f + 1 = p + 37. Let q = f - -21. Is q less than a?
False
Let k = -0.06 - 0.34. Let d = k + -0.6. Which is greater: d or -2/7?
-2/7
Let h = -6 - -6. Which is smaller: h or 1/58?
h
Let t = -2.76 - -2.6. Let u = -3.84 + t. Is -0.2 at least as big as u?
True
Let z(n) = n - 10. Let a be z(5). Is a greater than -5?
False
Suppose -3*n = -9 - 6. Suppose b = 4*j - j - 1, 4*b + n*j = 30. Let v be -2*(10/(-4))/b. Is 2/3 at most v?
True
Let b = 247/4 - 62. Suppose 2*r - 1 = -m, -r - 10 = 2*m - 3*r. Let s = m - -2. Which is smaller: b or s?
s
Let j(v) = -v**2 - 6*v - 4. Let n be j(-4). Suppose -n*g = -9*g - 5. Is 3/11 < g?
False
Let t be 7/(-63) - (-494)/(-90). Which is smaller: -5 or t?
t
Let a = -11 - -15. Suppose -5*m + 1 = -a. Let s be ((-4)/(-5))/(2/5). Is m bigger than s?
False
Suppose -3*a = -2*a. Let r be (1 - 1)/(1 - -1). Let m = -1 + r. Which is greater: m or a?
a
Suppose 4*o = 1 - 5. Let s be 134/16 - 4/12. Let a = s + -23/3. Is a < o?
False
Let d be -2 + (-1 - -1 - -6). Let i(x) = x**3 - 3*x**2 - 5*x + 3. Let c be i(d). Which is greater: c or -1/9?
-1/9
Let i be (-5 + 9)*(3 + -8). Which is smaller: -59/3 or i?
i
Suppose 4*h = 2*h. Suppose -2*k - k = h. Suppose k = 3*i - 2*i - 1. Which is bigger: i or 5/4?
5/4
Let n = -3 + 3.2. Let z be 5*3/(-9) - -1. Is z at least as big as n?
False
Suppose 2*d = 3*d. Suppose -3*x + 2 + 1 = d. Suppose 0 = q + 2*q - 3. Is x < q?
False
Suppose -1 + 8 = 3*a - v, -2*a - 14 = 4*v. Suppose -18 = -3*r + 33. Let g be 19/r - (-3)/(-3). Is a != g?
True
Let l be (-3)/2*(-4)/6. Let h = -4 + 3. Let f = h - -3. Which is bigger: l or f?
f
Let d be -3 - 9*(-2)/1. Suppose 2*n - 7*n = -d. Is n less than 1?
False
Let v(a) = -a**3 - 11*a**2 - 11*a - 14. Let p = 11 + -21. Let c be v(p). Is c less than or equal to -4?
True
Let q(a) = 2 - 2 - a - 4. Let x be q(-8). Suppose 0 = -i + 2, -x*i = -z + i - 6. Is 5 less than or equal to z?
False
Let s be 0/(-5) - 42*-1. Let g be 6/(-24) - s/(-40). Let d be -1*(1 + 1)/(-2). Are d and g unequal?
True
Suppose -5*l = -5, -5*l + 6 = -z - 23. Are z and -25 nonequal?
True
Let g = 203 - 207. Let y be 6*(6/(-4) - -1). Which is greater: y or g?
y
Let p = 8 - 13. Let u = 9 + p. Let n be (4 + -7)*u/6. Is -3 > n?
False
Let g be (-32)/18 - (-8)/(-36). Is -5 at least g?
False
Let m = 27 - 27.07. Which is smaller: 1 or m?
m
Let x = 0.1 + -0.2. Let a = -32.4 - -30. Let f = a - -0.4. Are x and f nonequal?
True
Let d be ((-14)/8*42)/(-2). Let j(g) = -g**3 + 10*g**2 - 12*g - 10. Let i be j(9). Let q = i + d. Is q greater than 2?
False
Let c = -118 - -288. Let f be (c/(-88) - -2)*-4. Let o = 31/33 + f. Are 1/2 and o nonequal?
True
Let f = -11/194 + 1227/7954. Do f and -1/4 have the same value?
False
Let u = 106 + -75. Is 30 at most u?
True
Let h = -3 + 7. Let v be (-406)/(-396) - h/18. Let x = 3/22 - v. Is x equal to 1/2?
False
Let c = 7.3 - 7.4. Suppose -2*y + 14 = -3*o, 2*y - o - 6 = -0. Which is bigger: c or y?
y
Let h = -81 - -33. Let b = 193/4 + h. Suppose 2*n = 6*n. Which is smaller: n or b?
n
Let p(x) = x**3 - x**2 - 2*x - 4. Let h be p(3). Let z = h - 12. Is z < -5?
False
Suppose 4*z + 0*z - 40 = 0. Le