 -x**3 - 8*x**2 + 9*x + 1. Let t be q(-9). Suppose -p = t + 1. Is p less than -3/4?
True
Let v be ((-36)/(-10))/(1/5). Let l be (2/(-2))/((-3)/v). Let h = l - 5. Which is smaller: h or 0?
0
Let j = 0.04 + 0.26. Let c = 0.1 + j. Which is bigger: -1 or c?
c
Let f be 9*4/6 - -1. Let u = f - 15/2. Is u != 0.1?
True
Let p be (-4)/(-12)*-1*3. Suppose 0 = -3*g - r + 3*r + 6, 2 = g + 5*r. Suppose -g*c = 3 - 1. Is c at most p?
True
Let n = -233839/20 - -11687. Let o = n + 23/4. Which is smaller: 2 or o?
o
Let l = -116 - -118. Suppose -3*j + g = -2*j - 4, 3*j - g = 4. Is l >= j?
True
Let d(t) = -t**3. Let m be d(0). Let f = 249/4 + -62. Which is smaller: f or m?
m
Let u be ((-12)/(-20))/(2/2). Suppose -46*z = -51*z + 10. Is u != z?
True
Let c be 0/((7 + -6)*-1). Suppose -2*h + 3*j - 2*j = -8, -4*h + 4*j + 20 = 0. Which is smaller: c or h?
c
Let r be 3/6 + 1/(-2). Let j = r + -1. Let i be 0/j*(-2)/(-4). Which is greater: i or -3?
i
Let g(k) = k**2 - k - 2. Let w be g(-2). Suppose 0 = -4*x - 5*y - 24, 0 = -x - w*x + 2*y + 3. Which is smaller: -1/4 or x?
x
Let y = 12.89 + 0.11. Let b = -9 + y. Which is greater: -0.1 or b?
b
Let s = 52 + -85. Is -34 at least s?
False
Let i(n) = 5*n - 47. Let j be i(0). Is -47 at least as big as j?
True
Let i be (-447)/42*(-3)/(-96). Let w = i + 3/64. Which is smaller: w or 2/19?
w
Let w = -6.7 + 7.3. Is w at most 1/4?
False
Let g = 5/18 - 173/18. Are -10 and g equal?
False
Let f be 112/24 + (-1)/(-3). Suppose -f*m + 4*m + 3*u = -7, -3*m - 2*u = 12. Which is smaller: -1 or m?
m
Suppose 3*u - h + 14 = 7*u, 3*u = -4*h + 17. Suppose -j = p + u*j + 11, 4 = p - j. Is -1 > p?
False
Suppose -g + 2 + 0 = 0. Let m be g/(-8) + 3/(-4). Let n = 0 + m. Is n less than or equal to -1?
True
Suppose 7 = 5*t + 2. Let s be (0/t)/(-1*2). Let i = 462/5 + -93. Which is greater: i or s?
s
Let k = -2 + 7. Let u = 5 + -4. Which is smaller: u or k?
u
Let v(k) be the third derivative of -k**4/24 + k**3/3 + k**2. Suppose 0 = 5*j + z - 12, -3*j = -5*j + 4*z + 18. Let t be v(j). Which is smaller: 2/11 or t?
t
Let f be -3 - 2/(7740/(-11303)). Let w = -2/45 - f. Let j = w + 47/1118. Which is smaller: j or 0?
0
Suppose 4*b = -2*l + 4*l - 12, 4*l - 4 = 4*b. Suppose -3*y + 19 = 5*v, -2*y - v + 3*v = -2. Let z = l + y. Which is smaller: z or 0?
z
Suppose -108 = -8*v + 180. Is 36 at most v?
True
Let n = -0.009 + -13.591. Let q = -15 - n. Let h = q - -0.4. Is 4 greater than or equal to h?
True
Let o = -6 - -10. Let u = 7 - 4. Is u greater than or equal to o?
False
Let q = 5 + -3. Let h be 1 - (-7)/((-7)/(-2)). Suppose -m = h*m - 12. Are m and q unequal?
True
Suppose 5*m = -4*g + 21, 2*g - 3*m = -18 + 1. Let k be 2/15*40/(-32). Which is smaller: g or k?
g
Suppose 8 = 2*l - d, -3*l + d = -4 - 7. Suppose o = l*a + 1, a = -0*o - 3*o - 7. Which is smaller: 15 or a?
a
Let c = 122 + -121. Is -2/81 less than c?
True
Let l(z) be the second derivative of -z**5/20 + z**4/12 - z**2/2 + 2*z. Let u be l(1). Let o be ((-4)/(-40))/((-4)/(-10)). Is o at most as big as u?
False
Let m = -8 + 5. Let n = -3 - m. Let g = 0.3 + -0.4. Which is greater: g or n?
n
Let i = -0.95 - -0.83. Which is greater: i or -0.4?
i
Let x = -3.98 + 1.92. Let r = x - -0.06. Let n = -0.1 - -0.3. Which is smaller: r or n?
r
Let x(a) = -a**3 + a**2 + 2*a - 3. Let v be x(3). Let z = 10 + v. Let i = 5 + z. Which is bigger: i or -1/4?
i
Suppose -5*b = -b + 16, 4*b = -4*y + 44. Are y and 14 nonequal?
True
Let k = 37 - 113/3. Suppose -v - 7 = -2*d, 2*d + 2*d - 4*v = 20. Suppose 3*g - 10 = -2*g - 2*r, d*g = 4*r - 20. Which is smaller: g or k?
k
Suppose -z + 4*n - 26 = 0, 2*z - n + 14 = z. Which is smaller: z or -43/5?
z
Let f(x) = -x**3 + 11*x**2 - 19*x - 4. Let t be f(9). Which is bigger: -11 or t?
-11
Let w = 5532/111725 - 2/2725. Are w and -1 non-equal?
True
Let p(o) = o - 1. Let q be p(3). Let y(b) be the first derivative of b**3/3 - 3*b**2 + b + 2. Let h be y(6). Are q and h equal?
False
Let s be (-3)/44 - 1/(-4). Let q = -50/11 + 228/55. Is q at most s?
True
Let w(b) = b**3 - 14*b**2 + 6. Let a be w(14). Is a less than or equal to 7?
True
Let d(l) = l + 3. Let a be d(0). Suppose 0 = -a*s - 2 - 13. Suppose -33 = 4*o - 9. Which is greater: o or s?
s
Let x(j) = -j**3 + 4*j**2 - 5*j. Let w be x(3). Let k be w/9*(-6)/(-4). Are k and 2/71 non-equal?
True
Suppose 4*n - 5*n + 1 = 0. Is n less than or equal to 6/7?
False
Let s(u) = 3*u + 1. Let g be s(0). Suppose 2*v = -4*o - 0*v + 14, 8 = 3*o + 4*v. Which is bigger: o or g?
o
Let n(c) = -c**2 + 2*c - 1. Let v(t) = t**3 + 10*t**2 + 8*t - 7. Let i be v(-9). Let u be n(i). Are 1/3 and u nonequal?
True
Let z(k) = -k**2 - k - 1. Let h(w) = -5*w**2 - 16*w - 20. Let l(p) = h(p) - 4*z(p). Let s be l(-11). Is s less than or equal to -4?
True
Let r = 667/39 + -52/3. Which is smaller: -1 or r?
-1
Let o be ((-2)/(-5))/((-10)/(-15)). Which is smaller: o or -3?
-3
Let r = 9/8 - 39/56. Which is greater: r or -1?
r
Let c be (-1)/(-5 - -4)*-4. Is c smaller than -1/4?
True
Let i = 0 - -0.2. Let b be 155/279 + 2/(-9). Is i not equal to b?
True
Let y = 16 - 8. Let k = -4 + y. Which is greater: 3 or k?
k
Suppose -80*j + 79*j = 1. Which is greater: j or -1/110?
-1/110
Let o be ((-24)/2)/(-3) - 2. Let s be 6/(-24) + o/8. Which is smaller: s or 2/5?
s
Suppose 0 = -b - 3*a + 6, 11 = 4*b - a. Suppose 0 = 5*i - b*o + 7*o + 18, -5*i - 5*o - 20 = 0. Let h be 2/i - 35/(-21). Which is bigger: h or 2?
2
Let u be 0 + 8/(-26) + 0. Suppose -y + 3 = 3*q, 0 = -y + 3*y + 3*q - 3. Which is bigger: u or y?
y
Let d(r) = -r. Let j be d(7). Let m = -10 - j. Let f = m - -3. Is -1 less than f?
True
Let o be 8/20*(-10)/(-4). Let r(h) = -h**2 - 5*h**2 + 5*h**2 - h - o. Let i be r(-1). Is i < -2/9?
True
Let k be (4 + 6)/(-5) - -5. Let y = 0.04 + 4.96. Let w = -4.7 + y. Is w at least k?
False
Let k be -1 + -2 - 0 - -1. Let b be (k/3)/(16/18). Which is greater: -1 or b?
b
Suppose -p + 20 = -0*g - g, 0 = 3*p + 4*g - 46. Let l be (p/60)/((-1)/(-5)). Which is smaller: 1 or l?
1
Let f be -11*(-1)/(-2)*-6. Suppose -87 = 2*r + f. Let y = r + 301/5. Which is bigger: y or 1?
1
Let q be (9/(-12))/((-11)/(-20)). Which is greater: -1 or q?
-1
Let a be (-12)/90 + (0 - 8/(-60)). Let u = 5/7 + -22/21. Which is smaller: u or a?
u
Let k = 5 + -3. Let j = 3 - 4. Let s be 3/4 + j/(-4). Is k smaller than s?
False
Let b = 53 - 47. Is 21/4 > b?
False
Let p = -41 + 35. Is -22/3 at most as big as p?
True
Suppose 3*p + 30 - 105 = 0. Is 24 equal to p?
False
Let z = 4.79 - 5. Is 0 at least as big as z?
True
Let a = -0.6 - 3.4. Suppose 3*m + 5*h + 24 = 0, -2*m - 9 = -h + 2*h. Let v be -5 + 4 - 2/m. Do v and a have different values?
True
Let n be (-2)/(-8)*(-32)/20. Let t be 0 - (0 - 6/(-22)). Is n > t?
False
Let m(f) = 4*f - 3. Let u(a) = a**2 - 7*a + 9. Let d be u(6). Let i be m(d). Suppose -4*w - i = -5*w + 3*t, -6 = 2*t. Which is greater: 1 or w?
1
Let v = 2641445/13 + -203316. Let i(p) = -p**3 + 10*p**2 + 4*p + 11. Let f be i(9). Let m = v + f. Which is smaller: 0 or m?
0
Suppose -n = -0*n + 5. Let r = 2 + n. Let s be r/5 + 7/15. Which is greater: 0 or s?
0
Suppose -2*x = -2*g + g - 1, -5*x + 4*g - 2 = 0. Suppose 7*s = x*s. Suppose -3*u + 15 = s, 5 = -t - 2*u + 17. Which is bigger: t or 3?
3
Suppose 2*j - 3*a - 8 = a, 4 = -5*j - 2*a. Let b = 34 - 33. Is b < j?
False
Suppose -3*o = -t - 13, -t = -2*t - 4*o + 22. Is t at least 5/3?
True
Suppose 3*c + 2*f + 114 = 0, -5*c - 5*f + 3*f - 186 = 0. Which is smaller: c or -37?
-37
Let s be (-5)/12*18/120. Let a = 13 - 12.9. Which is smaller: a or s?
s
Let b(o) = o**3 + 6*o**2 - o - 1. Let z be b(-6). Which is greater: 4 or z?
z
Let q = -0.15 - -0.15. Is -6 greater than q?
False
Let g(x) = -x**3 + 11*x**2 + x - 3. Let m be g(11). Suppose -m = -2*i - 2*i. Let w be (2 - i)/(0 - -1). Is w greater than 4/11?
False
Suppose -6*m = -2*m - 3*g - 13, 4*m = 2*g + 14. Suppose -1 - 11 = m*x. Let j be (0 - (-5)/(-4))*4. Is x at most j?
False
Suppose -4*m + 636 = p, m - 2*p - 54 = 96. Let k = m + -787/5. Let v(r) = r + 10. Let q be v(-9). Which is smaller: k or q?
k
Let g = -181/816 - -5/48. Is g greater than or equal to -0.1?
False
Let q = 2.12 + 1.88. Which is smaller: q or 3?
3
Let m = 292/91 - 38/13. Do m and -1 have the same value?
False
Let y(q) = -q + 8. Let p be 3/(-6) - (-1)/(-2). Let a be 1 - (-