h**2 - h**2 + p*h - 9*h - h**3 - 1. Let u be n(9). Which is greater: u or 0?
0
Let s = -2 - 1. Let r = 8 + 1. Let k be ((-2)/s)/((-3)/r). Which is smaller: k or -1?
k
Let t = 6 - -34. Suppose -5*v + t = -0*v. Let u = 6 - v. Is u less than -2/3?
True
Let x = -0.006 + 9.006. Is 0.2 greater than x?
False
Let l = -0.12 - 0.04. Let z = -0.06 - l. Which is bigger: 0 or z?
z
Let h = 106 + -213/2. Let s = 3 - 4. Is s <= h?
True
Let x be ((-1)/1)/(8/(-40)). Which is greater: 11/3 or x?
x
Let g = -10.6 - -10.4. Which is smaller: g or 7?
g
Let w = -248 - -242. Suppose -i + 7 = -3*y, 4*y + 0*i = 3*i - 16. Let f be y + -1 + 1 - 6. Which is smaller: w or f?
f
Suppose 3*r + 213 = -4*o, 4*o + 64 = 4*r - 156. Let h = 466/9 + o. Is h smaller than -2?
True
Let b = 35 + -36. Is b > -3/19?
False
Let l = 21/4 + -23/4. Which is greater: -7 or l?
l
Let p be (-10)/(-2)*3/(-9). Which is smaller: -1 or p?
p
Let f be -8*(5/(-2) - -2). Let i be -5 - (16/f - 8). Which is smaller: 3/10 or i?
i
Suppose -2*o = 2*n + 2, 0*o - o = 1. Let d(s) = -5*s - 1. Let r be d(-1). Suppose 2*b + n*b = r. Is 3 bigger than b?
True
Let l = 86 + -85.8. Let p(b) = -2*b**2 + 3*b - 7. Let o be p(-5). Let v = o + 650/9. Which is smaller: v or l?
l
Let r be (-11)/(-22)*-1*(4 - 2). Is -13 != r?
True
Suppose 0 = 4*u + 8 - 44. Which is greater: 7 or u?
u
Suppose 8*v = 4*v + 4. Let x be 9/12 + (-35)/20. Which is bigger: x or v?
v
Suppose 0 = a - 106 + 108. Let i = 0.1 + -0.1. Let l = 0 + i. Which is smaller: a or l?
a
Let s(p) = p**3 + 3*p**2 - 5*p - 5. Let m be s(-4). Is 2/83 equal to m?
False
Let o(g) = g - 8. Let t be o(8). Let v = 14 - t. Is 15 bigger than v?
True
Let m = -25 + 24. Is 2 >= m?
True
Let r be -3 - (-16 - 1) - -3. Suppose 5*d + r = -3. Are -4 and d equal?
True
Let t = -7.6 - -0.6. Let i = t - -11. Suppose 3*f - 2*w = 3, 759 - 750 = -3*w. Which is smaller: i or f?
f
Let f = -43/252 - -1/36. Suppose 2*i - 3*i = -2. Which is greater: f or i?
i
Let w(t) = 3*t**2 - 5*t - 1. Let z(c) = 2*c**2 - 4*c. Let v(h) = -3*w(h) + 4*z(h). Let g be v(0). Let p = g + -4. Which is smaller: -2/23 or p?
p
Suppose 9*q - 23 = -m + 4*q, 2*m + 4*q = 70. Is 1 less than m?
True
Let p be -2 - -1*155/70. Is p at least 0.1?
True
Suppose 0 = -9*z + 4*z - 25. Which is bigger: z or -6?
z
Let l be 2/9 - (-10)/(-45). Suppose l = 3*c - 5*c + 6. Which is smaller: 0 or c?
0
Suppose 0 = -2*d + s + 134, -5*s + 272 = 4*d - 6*s. Is 69 greater than d?
False
Let d = 22 - 28. Is -7 <= d?
True
Suppose -3*n + 30 = 3*l, 0 = l + l + n - 21. Which is bigger: 0 or l?
l
Let p be 9/7 - (-1 + -2 + 4). Which is bigger: 0.2 or p?
p
Let p(l) = -l**2 - 8*l - 3. Let n be p(-8). Which is smaller: -5/3 or n?
n
Let b = -1 + 2. Let v(l) = l**2 - 9*l + 4. Let h be v(8). Let w be (b/h)/((-6)/(-16)). Is -0.3 less than or equal to w?
False
Let c = 33/329 - -2/47. Is c < 2?
True
Let k = -5 - -7. Let p = k + -2. Let o = 5.9 + 0.1. Is o less than or equal to p?
False
Suppose 8*x - 26 = -5*x. Let k(i) = 9*i + 1. Let o be k(-1). Let u be -3 - 0 - o/x. Which is greater: u or 3/11?
u
Let j be (10/6 - 2)*0. Do j and -2 have the same value?
False
Suppose -3*m + m = 0. Which is bigger: 0.06 or m?
0.06
Let x = 11 + -14. Let n = -3 - -2. Which is smaller: n or x?
x
Let a be (-10621)/(-78) - 2*1. Let x = 133 - a. Are x and -1 unequal?
True
Let u be 1/(-1) + (-1)/(-3). Let a = -5.6 - -6.6. Are a and u equal?
False
Let t(k) = k**3 - 9*k**2 + 10*k - 10. Let s be t(8). Suppose -2*h - s = 8. Let o = -5 - h. Which is greater: o or 2/3?
o
Let m = 80 - 56. Let g = m + -49/2. Do g and 0 have different values?
True
Suppose 217*a - 216*a - 18 = 0. Which is greater: -4 or a?
a
Let t be ((-16)/12)/(3/9). Let i be 1*t/24*2. Which is smaller: 1/2 or i?
i
Let j be 4/(-55)*(-15)/(-6). Let y be 1/3 - 1/3. Which is smaller: j or y?
j
Let l(j) = -9*j + 13. Let f be l(2). Do -4 and f have different values?
True
Let s be (-2)/11 - 43353/594. Suppose 5*j = -5*t - 0*j - 365, -j + 365 = -5*t. Let i = t - s. Which is bigger: i or 1?
1
Let k = 9.8 + 0.2. Which is greater: k or -2/5?
k
Let z = 0.25 + -0.315. Let w = z + -4.035. Let g = -4 - w. Is g less than -2/5?
False
Let o = 0.18 - 1.18. Which is greater: 0.1 or o?
0.1
Let y(c) = -c**2 - 8*c - 13. Let f be y(-6). Which is smaller: 4/9 or f?
f
Let t(q) = 6*q + 6. Let c(z) = 5*z + 5. Let s(y) = -7*c(y) + 6*t(y). Let b be s(4). Let w be (-1)/(-45) + 1/b. Is w smaller than -1/4?
False
Let d = -13 - -17. Let v be 11/d - (-30)/(-40). Let k be (-47)/(-42) + 4/(-14). Is k at most as big as v?
True
Let z(m) = -13*m. Let x(w) = -w**3 + 9*w**2 - 2*w + 17. Let f be x(9). Let b be z(f). Is b <= 14?
True
Suppose -17 = 5*b + 38. Is -9 less than b?
False
Let x be (-30)/(-4) + 3/6. Let j(r) be the first derivative of -r**3/3 + 9*r**2/2 - 8*r - 5. Let k be j(x). Is k smaller than -1?
False
Let m = -2.99 + 3. Let i = m - 0.11. Which is smaller: 0.2 or i?
i
Let z be 10/6 - 5/(-15). Let x be (-3)/z + 15/10. Let w(n) = -n**2 + 2. Let v be w(0). Which is bigger: x or v?
v
Let p(k) = -k**3 + 4*k**2 + 2*k - 6. Let n be p(4). Let u = 0 + n. Is 1 at most u?
True
Let l = -1 + 0. Let f(z) = -z + 6. Let y be f(5). Let b be (-4)/(-14)*y/2. Is b greater than or equal to l?
True
Let z = -6 - -12. Let c = z + -7. Which is smaller: 1 or c?
c
Let i be (4/21)/((-36)/42). Is i less than 2?
True
Suppose 0 = 2*u + 3*q + 15, -3*u = 4*q - q + 15. Is 2/47 > u?
True
Let p = -11237/21 + 535. Suppose 8*i + 5*h = 3*i - 15, i + 9 = -4*h. Is p greater than i?
True
Let w(x) = x - 1. Let y be w(1). Let c be (-6)/(-19)*(4 + 33/(-9)). Is c less than y?
False
Let y = -2 + 3. Let u = 57/4 - 51/4. Which is greater: y or u?
u
Suppose -4*u + 33 = -5*s, 12 = -4*u - 3*s + 37. Let o = -6 + u. Which is bigger: o or 0?
o
Let b be 2*(5/2)/(-1). Let l(i) be the third derivative of i**6/120 + i**5/15 - i**4/6 - 8*i**2. Let u be l(b). Are -6 and u unequal?
True
Let o = 0.02 - 0.12. Is o less than -4?
False
Let t(f) = f**3 + 6*f**2 + 5*f + 1. Let r be t(-5). Suppose -25*u = -30*u + 35. Is u less than or equal to r?
False
Suppose -2*n - 10 = 4*p + 52, p - 2 = 3*n. Is -1 >= p?
True
Suppose 2*k + 34 = -4*h + 2*h, -31 = 2*k + 5*h. Do -18 and k have the same value?
True
Suppose -f - 57 = 3*v - 3*f, 2*v - f = -39. Which is smaller: -23 or v?
-23
Let f = -118.4 + 129. Let l = -11 + f. Which is smaller: 2 or l?
l
Let w = -2 - -11/5. Which is greater: 2/17 or w?
w
Let m = -120 - -122. Let g(z) = -2*z - 2. Let f(v) = -v**2. Let x(q) = -f(q) + g(q). Let b be x(3). Which is greater: m or b?
m
Let p be (9 + -1)/4*(-2 + -2). Which is greater: p or -5?
-5
Let l = 78331/8 + -9983. Let s = l - -192. Which is greater: s or 0?
s
Let j = 1 - 2. Let d = -0.07 + 1.07. Is d != j?
True
Let p be ((-6)/(-3))/((-3)/6). Let x = 0 - p. Is 4 at most x?
True
Let s = 1.2 - 0.2. Let x = 2 - s. Let h = -1.9 - -2. Are x and h non-equal?
True
Let z(u) = 5*u**2 - 2*u - 1. Let f be z(-1). Suppose m + 5 = f*m. Suppose 3*o + 4*g + 14 = 0, 3*o + 3*g = -0*g - 9. Which is smaller: m or o?
m
Let s be 1/(-26)*-12 + 0. Let j = s + -44/39. Are -3 and j unequal?
True
Let p = -165/1748 - 1/92. Let f(c) = -c**3 + 2*c**2 + 2*c + 2. Let i be f(3). Is p <= i?
False
Let s = -10 - -15. Suppose 2*c - m + 2*m = 3, s*c + 9 = 3*m. Is -1/7 smaller than c?
True
Suppose 3*s - 3*d - 6 = 0, -s + 1 - 9 = 4*d. Let q = -5 - s. Let y be (-1)/(-2)*15/q. Do y and -2 have the same value?
False
Suppose 28*q - 33*q + 105 = 0. Which is smaller: 20 or q?
20
Let f = -1 + 3. Let z(w) be the first derivative of -w**3/3 + 3*w**2/2 - w + 2. Let p be z(f). Which is bigger: p or -1/4?
p
Let f be 1/(-3*(-3)/45). Let r(s) be the first derivative of -s**4 + 2*s**3/3 + s**2 + s + 4. Let w be r(-1). Is w > f?
False
Let a = 7/26 + -5/91. Which is bigger: a or 0?
a
Let u = -6.07 - -0.07. Are u and 0.1 nonequal?
True
Let w = -913/65 + 71/5. Suppose 4 = -4*v - 0. Is v at most w?
True
Let a = -33 - -31. Which is bigger: -5 or a?
a
Suppose -3*m + 50 = 2*m. Let a = -4 + m. Let b be 3*(-1 + 8/a). Is 2 less than or equal to b?
False
Let z = -1 + 3. Suppose 0 = -2*a + 7*a. Let h = a - z. Is -3 at least h?
False
Let i = -12.8 - -13.8. Are i and 43 unequal?
True
Let d = -219 + 163. Do d and 0 have the same value?
False
Suppose 4 - 5 = -i. Are 2 and i equal?
False
Let p(a) = -2*a - 4. Let l be p(3).