Let f(z) = 2*z**2 + 16*z + 6. Let c be f(-8). Which is greater: c or 4?
c
Suppose 3*p - r = 1, 0*r = p - 3*r + 13. Suppose 0 = 3*z + 3*c - 2*c - 7, -2*z + 3*c = 10. Is z at least p?
False
Let p(t) = -4*t**3 + t**2 + t + 1. Let j be p(-1). Is j at most 6?
True
Let t be -2 + 5 + -1 - -1. Let h be -5 + t - (0 + -1). Which is smaller: 1/3 or h?
h
Let n be (2 + 1 + -1)/(-2) + 1. Which is smaller: n or 3/25?
n
Let w(z) be the first derivative of z**4/4 - 7*z**3/3 + 7*z**2/2 - 5*z + 2. Let t be w(6). Let q be (-2*t)/(2/(-1)). Which is smaller: 2/3 or q?
2/3
Let c be -7 + 7 + 10/(-13). Is -2 != c?
True
Let w be -2*(1 - (1 - 1)). Let d(g) = -g**2 + 1. Let i(o) = -5*o - 1. Let p(h) = d(h) - i(h). Let v be p(5). Is w <= v?
True
Let d be (2 + -1)/(1/(-7)). Let x = -103/145 - -9/29. Which is smaller: x or d?
d
Let d = 134 + -133.99. Is -2/27 at most as big as d?
True
Let k = -15 - -11. Which is smaller: k or -6?
-6
Suppose 0*p + 5*g = 3*p - 6, 2*g = -5*p + 10. Suppose -p*j - 3 = -j. Is j bigger than -3?
False
Let n be -1*1*(3 - 1). Let u = 5 - 8. Which is smaller: n or u?
u
Let p(a) = a. Let c be p(0). Suppose 2*u = d + 20, c*d + 10 = 2*u + 4*d. Do 8 and u have the same value?
False
Suppose 0 = 4*i + i - 15. Suppose -10 = -i*o - 1. Let m be 29/22 + (-6)/(-33). Is o <= m?
False
Let o(d) = -d**2 + 3*d - 2. Let q(x) be the first derivative of x**3/3 - 13*x**2/2 + 14*x - 4. Let a be q(12). Let v be o(a). Which is bigger: v or 0.2?
0.2
Let b = 27 - 18. Let y be ((-12)/b)/(-4) - 0. Which is smaller: -1 or y?
-1
Let h be ((-12)/15)/((-63)/(-35)). Is h at most as big as -1/4?
True
Let c = -0.83 + -6.37. Let a = c + 7. Is -0.2 < a?
False
Let j be (-1)/3 - (-13)/3. Let s(f) = 0*f - 6 - 5*f + j*f. Let g be s(-5). Is 0 at most as big as g?
False
Let b = -25 + 19. Let h = -14 + 8. Is b < h?
False
Suppose -2*l + 12 = -7*l + 2*g, 0 = -4*g + 4. Which is smaller: -3 or l?
-3
Suppose -2*a - a + n = 104, -5*n - 92 = 3*a. Let s = -240/7 - a. Is 15 > s?
True
Let u = -8 + 6. Let v be u/1 - 3/1. Are v and -6 nonequal?
True
Let p = -0.29 + 14.29. Let q = -13.8 + p. Let x = -3 + 3.1. Which is smaller: q or x?
x
Let n(o) = 3*o - 1. Let k be n(-1). Let a be -2 + -1 + (5 - -2). Suppose -14 = a*d + 2. Are k and d equal?
True
Let q be 2 + (270/266 - (1 + 2)). Which is greater: q or 0?
q
Let o = -5/14 + 1/42. Is 31 at most o?
False
Suppose -p + 6 + 6 = 0. Let s be 0*(-2)/(p/3). Let l be (-48)/26 + (s - -2). Which is greater: l or 1?
1
Let l(x) = -x**2 - 13*x - 12. Let k be l(-8). Suppose -w + k = 3*w. Is 7 < w?
False
Let b = -30 + 29. Let z = 6/77 - 424/3465. Which is greater: z or b?
z
Let s = 3 - 2. Let z(w) = 2*w + 10. Let f be z(-7). Which is bigger: s or f?
s
Let b = -32293/249 + 389/3. Is 0 greater than or equal to b?
True
Let n = -3 + 2.3. Let j = -0.38 + 0.08. Let d = j + n. Is -0.1 bigger than d?
True
Suppose -3*h = 15, -3*h + 4 - 13 = z. Let y = -10 + z. Let g = 6 - 11. Which is smaller: g or y?
g
Let r(f) = -f**3 + 4*f**2 - 2*f + 2. Let h be r(3). Suppose -h*z + 25 = -5*k, -3*k - 5*z = -5 - 12. Let g be 12/14 - (-1 - -2). Which is smaller: k or g?
k
Let m = 1102 - 6587/6. Let i = -9/2 + m. Is 0.4 less than i?
False
Suppose 2*l + 21 = -5*t - 8, -4*l - 4*t = 52. Are l and -10 equal?
False
Let f(z) = -z**3 + 12*z**2 - 13*z - 6. Let a be f(11). Let n = 30 + a. Suppose -4*h = -9*h + 5. Which is smaller: h or n?
h
Let n = -168 + 167.3. Which is smaller: n or -3?
-3
Let i(c) = c**2 - 8*c - 17. Let d be i(9). Is -9 <= d?
True
Let r be (0 + 2 - 1)/(-1). Which is smaller: r or 3/16?
r
Let r = -34 + 11. Is -24 >= r?
False
Suppose -2*p + 0*p = 232. Let l be (-3)/(-6) + 34/p. Let n = l - -11/87. Is 0 <= n?
True
Let f = 0.7 + 0.3. Let t = -0.7 + 0.65. Let o = t - -0.05. Is o <= f?
True
Let q = -5.6 - -5. Let r = q - -1.6. Is -1/4 greater than or equal to r?
False
Let w = -5 + 7. Suppose 0 = 42*a - 15*a - 18*a. Which is smaller: a or w?
a
Suppose -5*h + 27 - 97 = 0. Let l be (h/21)/((-5)/3). Which is smaller: 3 or l?
l
Suppose 2*z = -s - 4, 0 = 3*z + 2 + 4. Let v = 2 + s. Let o be -2*(v - (-46)/(-22)). Which is bigger: o or 1?
1
Suppose -2*g - g + 9 = 0. Let r be 1 - ((-2175)/(-504) - g). Let j = -1/56 + r. Which is bigger: -1 or j?
j
Let f be (-23095)/30 + (-2)/12. Let d be f/50 - 3/5. Is -16 at most as big as d?
True
Let c(b) = -b**3 - 8*b**2 - 9*b - 14. Let h be c(-7). Let y be (2 + -1)/((-26)/(-6)). Which is smaller: h or y?
h
Let o be (-5)/(-2) + 3/2. Which is greater: 6 or o?
6
Let t = 7 - 10. Let s = t - 0. Which is bigger: 1 or s?
1
Let f(h) = -h**2 - 3*h + 3. Let x be f(-3). Let i = x + -1. Suppose 0*v + 2 = -i*v. Is -2 greater than or equal to v?
False
Let m = 7 + -14. Which is smaller: m or -8?
-8
Let t = 3.09 + -2.89. Let s be (-1)/(-4) - (-2)/8. Which is smaller: t or s?
t
Suppose n + 10 = -0*n. Which is smaller: n or -11?
-11
Let a = 0.29 + -0.46. Let h = -4.1 + 4. Which is bigger: h or a?
h
Suppose 11*q - 5*q = 36. Which is smaller: q or 1?
1
Let t(m) = m - 8. Let j be t(10). Suppose -j = 5*b - 27. Suppose -4*h + g = 4, -b*h = -5*g - 2 + 22. Is 1 at most as big as h?
False
Let h be (-3)/(-6)*2*0. Let v = 203 - 1223/6. Which is bigger: h or v?
h
Let v be ((-1)/(-2))/((-3)/(-6)). Let p be 8/(-22) - (-2)/11. Which is smaller: v or p?
p
Suppose 8 - 2 = h. Which is smaller: 7 or h?
h
Let r(h) be the third derivative of -h**5/60 - 7*h**4/24 - 3*h**3/2 + 8*h**2. Let d be r(-6). Which is bigger: 2/5 or d?
2/5
Let g be ((-18)/(-4))/(33/(-12) + 2). Which is smaller: -33/7 or g?
g
Let j = 8 + -6. Suppose -4*w = -2*f + 7 + 5, 0 = -5*f - 3*w + 43. Suppose 6*o = 2*o + f. Are j and o equal?
True
Let f = 13 - 9. Suppose 3*m + f = -m. Let l(y) = y**2 - 1. Let q be l(0). Is m greater than q?
False
Let r = 0.11 - 0.23. Let u = -0.02 - r. Are u and -0.3 nonequal?
True
Let u = 5/6 + -1. Which is smaller: u or 1?
u
Let l be (-60)/(-190)*(-9)/(-5). Let x = l + 2/665. Which is smaller: x or -2/3?
-2/3
Suppose t = -2*t - 9. Let y be t/(-2)*(-12)/27. Let k = 6.4 + -6.2. Do k and y have the same value?
False
Let t = 13 - 13. Is -10/9 smaller than t?
True
Suppose 0 = 3*j + 5*l - l + 1, 0 = 2*j + 4*l - 2. Suppose 3*c + 3 = 2*c. Let y = -5 - c. Is j >= y?
False
Suppose 6 = b + 2*b. Let d be b/(-5) + 282/30. Let n = 10 - d. Which is greater: -1 or n?
n
Let i = 15.2 + -13.2. Let w = -13/7 + 103/63. Which is smaller: i or w?
w
Let m = -8/7 - 4/21. Is m at most as big as -1?
True
Let x be 3/(-6)*-24*3. Suppose 2*c - x = -38. Are -2/41 and c equal?
False
Let v(q) = -q**3 + 2*q**2 - 1. Suppose 3*y - 5*n + 3*n + 5 = 0, -y + 4 = 5*n. Let w be v(y). Which is greater: 6/11 or w?
w
Suppose 3*p - 6*p = -15. Let a = p + 2. Suppose x + 4*l - a = -0*x, 0 = 3*x + 3*l - 12. Is 3 at least x?
True
Let o be -2 + (-255)/(-140) - (-3)/7. Which is smaller: -0.1 or o?
-0.1
Let q(m) = -m**3 - 5*m**2 - 1. Let r(f) = -3*f**3 - 10*f**2 - 3. Let o(z) = -5*q(z) + 2*r(z). Let c be o(5). Which is smaller: c or -4/3?
-4/3
Let j be (-959)/35 - 2/(-5). Let b be j/(-18)*2/(-9). Is b at least 2/7?
False
Let t be ((-2)/3)/(21/9). Is 5/3 < t?
False
Let q be (-2 + 1)*0/1. Suppose -10 = -4*k + 2*c, -5*k + 10 + 4 = -3*c. Is k not equal to q?
True
Let s be (6/32)/((-1)/4). Suppose -m = 2*m - 6. Let t be (-24)/14 + m/(-7). Is s bigger than t?
True
Let v be 1 - -1 - (-6 + 4). Let r = v + -6. Let f be -4 - 1/(1/(-3)). Which is greater: f or r?
f
Let b(s) = -3*s**2 - 10*s - 3. Let p(q) = 4*q**2 + 9*q + 4. Let v(y) = -3*b(y) - 2*p(y). Let t be v(-12). Is t != -1/3?
True
Let f be 5/(-2) + 2/4. Let n = f + -1. Does -3 = n?
True
Let p = -35 - -36. Which is smaller: p or 3/34?
3/34
Suppose 5*p = 2 + 13. Is p bigger than -2?
True
Let j = -7.5 + 8. Which is bigger: 0.2 or j?
j
Let z(w) = w**3 + 5*w**2 + 5*w + 2. Let m be z(-3). Which is smaller: 4 or m?
4
Let g = -7.22 + 0.22. Is g greater than -1/3?
False
Let x be (-3)/2*2/(-21). Does x = 0?
False
Let l = 17 - 15.8. Let g = l + -2.2. Is 0 smaller than g?
False
Let u be (16/(-12))/(3/27). Which is smaller: u or -11?
u
Let j(l) = -l**2 - 5*l - 1. Let d be j(-2). Let q(k) = -k**3 + 8*k**2 - 8*k - 2. Let z be q(6). Suppose 7*y - 6 = z. Which is greater: d or y?
d
Let b = -2 - 4. Let r = b + 3. Which is bigger: r or -1?
-1
Let r be -1 - 15/(-1 - 2). Let p = -1 + r. Are 3 and p unequal?
False
Let d be ((-8)/