(z) = -z**2 - 8*z - 3. Let m be f(-7). Let k be ((-2)/(-2))/(-7 - 91/(-14)). Let y be k + m*4/8. Is 6 at least as big as y?
True
Suppose -32*a + 12*a = -300. Let h(o) = o**2 + 2*o + 1. Let b be h(-2). Let p be 16*b + -2 + 2. Is a at least as big as p?
False
Suppose 5 = 2*c + 77. Let d = 29 + c. Do -7 and d have the same value?
True
Suppose 2*t + 12 = 4*h - 2*t, 13 = 3*h - 4*t. Let u be (h - -1) + (61 - -1). Let i = u + -1427/23. Does i = 0?
False
Let c(w) = -w**2 + 4*w + 16. Let k be c(6). Which is smaller: k or 79?
k
Suppose 34*v = 32*v - 2*j - 94, 5*j = 4*v + 179. Suppose 0 = 2*b + 30 + 62. Does v = b?
True
Let v = 23 + -31. Let k be (((-275)/20)/(-11))/(2/v). Is -9 at most as big as k?
True
Let j = 13 + -6. Suppose -2*c + k = -14, -4*c + 8*k - 9*k = -34. Is c less than or equal to j?
False
Suppose -5*v = -5, 6*c - c - 3*v + 143 = 0. Is c at most as big as -28?
True
Suppose -3*j + 48 = j. Let v = j + -12. Let f be 4/(-24)*-2*v. Does f = -2/31?
False
Let d(y) = y**3 + 10*y - 10. Suppose -3*g + 21 = -2*j + 47, 0 = -3*j - 3*g + 9. Let l be d(j). Let m = 2001/5 - l. Which is smaller: -2 or m?
m
Suppose -5*b + 27 = -0*b + 4*a, 4*b + 4*a = 24. Suppose b*x - 8*x = 0. Is -2/3 <= x?
True
Suppose 11*z + 62 = 12*z - 5*h, 0 = -2*z + h + 79. Is z <= 470/13?
False
Suppose -c = -4*c. Let k(a) = -a + 2. Let i be k(c). Does 2 = i?
True
Let h(x) = 12*x**3 - 1. Let i be h(-1). Let j = -24 - i. Let b be 2/(-42)*(j + 8). Is b bigger than 0?
True
Let c = -3.4 + 6.4. Let k = -4 + 6. Let p = c - k. Which is greater: -1 or p?
p
Let c be (-224)/126 + (-2)/9. Let r(f) = f + 5. Let o be r(c). Which is smaller: -1 or o?
-1
Let m(t) = t**2 - 15*t - 2. Let k(o) = -2*o**2 + 44*o + 6. Let z(j) = 3*k(j) + 8*m(j). Let u be z(-5). Is u < -3?
True
Let v(n) = -n**2 - n + 2. Let m be v(-2). Let b = m + -13. Suppose 2*q - 3*q - 13 = 0. Is b at least as big as q?
True
Suppose 3*n + 41 = -4*k + 3*k, -n + 216 = -4*k. Let l = -30 - k. Is 2 greater than l?
False
Let x(i) = 4*i + 4 + 2*i - 5*i**2 + 4*i**2. Let r(h) = -h**2 - 4*h + 4. Let d be r(-3). Let g be x(d). Are 2/9 and g nonequal?
True
Let h be 1/(-4) - (-95739)/(-564). Is h >= -170?
True
Let v = -20.3 + 22. Let d = v + 1.3. Which is smaller: d or -6?
-6
Suppose 0 = 4*m - 3*z + 3, 4*m + 2*z = 8*m + 2. Which is smaller: m or -3/16?
-3/16
Let l = 16 + 8. Suppose -4*n = -4*y + l, -y - 21 = -2*y + 4*n. Is y less than -2/65?
False
Let s be (-6892)/5 - (1026/(-90) - -11). Which is greater: -1379 or s?
s
Let t = 886/7 + -127. Suppose 5*u = 3*u - 2*w + 12, -2*u = 3*w - 17. Let a be (3/(-1))/(u - 4). Which is bigger: a or t?
a
Let w = -1881/5 + 376. Let x = 0 - 0.04. Which is smaller: x or w?
w
Let u = 2207 + -2208. Let n = -6.5 + -1.5. Which is smaller: u or n?
n
Let i(w) = -w + 11. Let x(j) = -j. Let t(y) = -i(y) - 3*x(y). Let f(r) = -r + 1. Let p(a) = 5*f(a) + t(a). Let m be p(-8). Are m and 2 equal?
True
Let x = -6 + 3. Is -3 at most x?
True
Let m = -424 + 444. Is 3/11 greater than or equal to m?
False
Suppose 3*k + 0*v = 2*v - 14, -k + 3*v - 14 = 0. Let l(u) = -u**2 + 4*u - 3. Let n be l(3). Let p be n/(-3*k/6). Are 7 and p unequal?
True
Suppose 4 - 2 = 2*g. Which is smaller: 1/91 or g?
1/91
Suppose -d + 210 = 15*k - 20*k, -3 = -k. Is 225 greater than or equal to d?
True
Let y = -60 + 113. Suppose 0 = -4*h + 43 + y. Let a = -29 + h. Which is greater: a or -23/4?
a
Let i(h) be the second derivative of h**6/720 + 7*h**5/120 - h**4/3 - 2*h. Let p(o) be the third derivative of i(o). Let w be p(-6). Which is bigger: 6/5 or w?
6/5
Let b = 5.02 - 4.82. Which is bigger: b or 0.0208?
b
Let y(k) = -k**3 + 4*k**2 - 8*k + 6. Let g be y(3). Is -14 at most as big as g?
True
Suppose 199 = 3*z + 10. Let k be (2/7)/(9/z). Which is bigger: 3/2 or k?
k
Suppose 0 = -4*t - 0*t + 4*j - 12, -5*t = 5*j - 35. Suppose -6 = 5*f - f - t*v, 6 = f + v. Is f smaller than 2/11?
False
Let u = -17.19 - -17. Let c = 3.19 + u. Which is greater: c or 0.1?
c
Suppose 4*d + 11*d + 15 = 0. Is -0.126 bigger than d?
True
Let m = 2392/3 + -809. Which is bigger: m or -12?
m
Let v be 0 - (69 - -1)/(-2). Let r = v - 35. Which is smaller: 1 or r?
r
Let y be ((-1)/(-2))/(10/150). Let s = 0 - -4. Suppose s*h - 54 = -2*h. Which is smaller: y or h?
y
Let s(p) = -9*p + 521. Let l be s(49). Is 85 at least l?
True
Let i = -10 + 6. Let f(q) = -q**3 - 5*q**2 - 5*q - 4. Let d be f(i). Suppose 7*p - 9*p = d. Are p and -2/21 unequal?
True
Let o = 0.05 + 0.05. Let k be ((-28)/8)/7*12. Let c be (k/(-8))/((-12)/(-8)). Which is greater: o or c?
c
Let k = -0.03 - -0.91. Let x = k + -41.88. Let o = 35 + x. Which is bigger: -1/4 or o?
-1/4
Let q = -3 + 4. Which is smaller: q or 143?
q
Suppose 3*m - 32 = -m. Suppose -j + 6 + 3 = 0. Let u = j - m. Which is bigger: 2 or u?
2
Let w = -22 + 20. Suppose -18 = -s - 4*a, -2*a = -0*s - 3*s - 2. Let l(x) = -3*x + 2. Let i be l(s). Is w greater than i?
True
Let j = 52 - 115. Let f(b) = -725*b - 2963. Let i be f(-4). Is i smaller than j?
False
Let u(h) be the second derivative of h**4/12 - 2*h**3/3 + h**2/2 + 16*h. Let g be u(4). Is g at most 2/33?
False
Suppose -p = 3*u + 4, 5*u = -2*p + p - 4. Suppose -21 = 4*r - 5. Let f = r + 5. Are f and u equal?
False
Let g = 68.72664 + -0.81264. Let y = -68 + g. Does y = 1?
False
Let p = 504 - 422.1. Let s = p - 79. Which is smaller: s or -0.2?
-0.2
Let a be (-1391)/52 - (-3)/(-24)*2. Which is smaller: -26 or a?
a
Let l = -46.3 - -46.22. Is -15 not equal to l?
True
Let g be 6*(-3)/42*(-145)/159. Let d = -2/53 - g. Which is greater: 0 or d?
0
Suppose 2*m + 0*z + z = 11, z + 7 = m. Let r(d) = d**2 - 5*d - 5. Let g be r(m). Suppose -2*a + a - g = 0. Is -3/11 <= a?
False
Let m(j) = 5*j**2 - 47*j + 26. Let s be m(9). Let z = 0.3 - 0.5. Is s equal to z?
False
Let s be ((-4)/6)/((-36)/186). Is s > 2?
True
Let c be -8*4/(-8) + 1. Suppose 5*f = 0, -f - 15 = c*l + f. Let k be 126/(-4)*2/l. Is k not equal to 20?
True
Suppose 3*s + 0*g = -2*g + 24, 0 = 4*s + g - 32. Let x = s + 0. Suppose 6*k = x*k - 10. Which is bigger: 7 or k?
7
Suppose -t - 38 = -52. Does t = 13?
False
Let n = 28869/13 + -144376/91. Suppose -1915 = 3*p + 2*s, 4*p = -4*s - 868 - 1688. Let x = n + p. Which is greater: -3 or x?
x
Suppose -4*w - 54 = 318. Let k = 197/2 + w. Let a be ((-3)/6)/(11/(-110)). Does k = a?
False
Let p = -1665 + 1586. Which is smaller: -81 or p?
-81
Suppose 6*t - 8 + 56 = 0. Let h(q) = 2*q**2 + q. Let z be h(1). Suppose 0 = z*v + 20 + 1. Is t > v?
False
Let x = 13 + -11. Let f be (88/(-55))/(x/(-5)). Is f less than or equal to 8/3?
False
Let q = -21.02 + 2.02. Are 2/5 and q unequal?
True
Let a = 305 - 914/3. Which is greater: a or -1.36?
a
Let x be -1 + (-30)/(-26) + 0. Is 0.16 less than x?
False
Let y = -0.331 + 0.631. Which is bigger: 101 or y?
101
Let k(o) = 20*o - 2. Let l be k(-1). Let u be (l/22)/((-2)/10). Is 4 >= u?
False
Let z = 34.5 + -58.5. Which is bigger: 1 or z?
1
Let z = -124.75 + 123. Let m = -0.95 - z. Is -4/3 smaller than m?
True
Let v(c) = c**2. Let p be ((-3)/2)/((-3)/4). Let o be v(p). Suppose -2 = o*d - 6. Which is smaller: d or -3/7?
-3/7
Let r(x) = -x**3 - 9*x**2 + 42. Let f be r(-7). Which is greater: -52 or f?
-52
Let h = 9.2 - 14. Let l = 4.9 + h. Which is smaller: l or 16?
l
Let b be (16/(-6))/((-1)/6). Let d(x) = -2*x - 1. Let o(r) = -5*r - 8. Let y(u) = -3*d(u) + o(u). Let f be y(b). Which is smaller: 0 or f?
0
Let o = 87.1 - 86.8. Is o at least -102?
True
Let k = -22 + 25. Suppose -9 = 4*q - k*p + 2*p, -3*q = -3*p. Is q less than -1?
True
Let h = 0 - 20. Let w = -30 - h. Which is bigger: w or 0?
0
Let q be 1/((-21)/99) + 5. Let d = -9 - -9.01. Let a = 0.09 + d. Are q and a non-equal?
True
Let i(k) = 21*k**3 + k**2 - 5*k + 4. Let q be i(1). Do q and 1/2 have the same value?
False
Let a = 4/1151 + -34678/42587. Are a and -2 nonequal?
True
Suppose -3*z + 9 + 0 = 0. Suppose -z*v + 270 = 3*v. Let h be (-3)/v + 2/5. Which is smaller: h or 0.1?
0.1
Let r = 0.073 + -0.055. Let u = r + -39.018. Is u bigger than 0?
False
Let s(v) = -8*v - 13. Let l(a) = a**3 - 6*a**2 + 4*a + 3. Let d be l(5). Let r be s(d). Which is smaller: r or 11?
r
Let s = -424 - 206. Is 1 != s?
True
Let j = 95.047 - 95. Let y = -6.047 + j. Is 0.2 > y?
True
Suppose 5*g - k + 365 = 0, 0 = 2*g - 3*g - 4*k - 52. Let m = -92 - g. Is m at most -20?
T