r) = -8*r**3 + r**2 - r - 1. Let c be a(-1). Let z(t) = t**3 - 10*t**2 + 9*t + 1. Let u be z(c). Is -2/11 <= u?
True
Let x be (11/(-10) + 1)*2. Is 1 at least x?
True
Let w(g) = -g - 1. Let t(l) = 4*l + 1. Let q(m) = t(m) + 5*w(m). Let b be q(-3). Suppose 0 = 5*s - s. Are s and b non-equal?
True
Let v = -55 - -113. Does v = -1/3?
False
Suppose 11*d = 7*d - 44. Is 0 at most as big as d?
False
Suppose u + 16 = 7. Are u and -2/3 nonequal?
True
Let d(o) = -o**2 + 4. Let g be d(3). Let u be (20/(-75))/(2/g). Is -4 > u?
False
Let c(y) = y**2 + 3*y. Let a be c(-4). Let q(t) = -4*t**2 - 17*t + 3. Let s(w) = 2*w**2 + 8*w - 1. Let o(g) = 4*q(g) + 9*s(g). Let h be o(-2). Does a = h?
False
Let y = -4.2 - -4. Let d = 0.6 + -0.1. Let i = 0.5 + d. Are y and i equal?
False
Let s = -394.94 - -400. Let m = 6 - 5.94. Let t = s - m. Which is bigger: t or -2/7?
t
Let m(s) = -s**3 - 6*s**2 + 2. Let a be m(-6). Let z = 2 + -14. Let f be (-4)/(-6) + (-10)/z. Which is greater: a or f?
a
Let k be (-8 + 5)/((-6)/(-4)). Let s(m) = -m**2 - 5*m - 5. Let v be s(k). Let f be 7/4*(-9)/42. Which is smaller: v or f?
f
Let d(k) = k**3 + 2*k**2 - 2*k. Let x be d(-2). Suppose -x*q - 3 - 1 = 0. Which is smaller: 0 or q?
q
Suppose -6 = 4*f + 2. Let u = 5 + -4. Let c be (-1*f/4)/u. Is 1 less than or equal to c?
False
Suppose 7*j + 139 = 6. Is j at most as big as -35/2?
True
Let f = -972525/143 + 6800. Let s = 5/6 + -11/78. Let o = s + f. Is o >= 0?
False
Let v(b) = b**2 + 4. Let w be v(0). Let m be (w/12)/(3/9). Which is smaller: m or 1/3?
1/3
Let j = -5/17 - -47/102. Suppose -o = 2*o + 3. Let w = 0 - o. Is j >= w?
False
Suppose q - 2*q + 2*o + 3 = 0, -35 = -5*q + 5*o. Let r = 8 - q. Let i = -22 - -108/5. Which is greater: r or i?
i
Let z be (5 + -2)*10/6. Let c = 21 + -16. Is z less than c?
False
Suppose -w + 19 = -4*r, 4*w + 0 - 6 = 2*r. Let h = -847 - -27953/33. Do h and w have the same value?
False
Let y be ((-15)/(-6))/(1/2). Suppose y*x - 24 = -4*a, 4*x - 7 - 7 = 2*a. Is a <= -1/7?
False
Let h(c) = c**3 - c**2 + 5. Let r be h(0). Suppose -2*x - s - 35 = -r*x, 5*x + 2*s - 40 = 0. Let j = x + -7. Do 3 and j have the same value?
True
Let b(i) = -i**2 - 6*i + 1. Let x be b(-6). Let g = -7 + 6.7. Let p = 0.4 + g. Is x < p?
False
Let d be ((-4)/(-15))/((-26)/(-65)). Are d and 2/17 equal?
False
Let u = -36 + 52. Let q be -18 + u + 2*1. Which is greater: q or 1/7?
1/7
Let r be 0/(4/((-4)/(-3))). Are r and 2/85 equal?
False
Let j(n) = 2*n + 14. Let z be j(-8). Which is smaller: -28/11 or z?
-28/11
Let f = -1.02 - -1.02. Do f and 34 have the same value?
False
Let z = 0.3 - 0.2. Let a be 2/6 - 80/(-12). Suppose 1 = 4*r - a. Is z > r?
False
Let x(y) = 7 + 7*y**3 - 3*y**2 + 7*y - 8*y**3 - 2*y**2. Let t be x(-6). Are 1/4 and t nonequal?
True
Let p = 18 - 20. Which is greater: 0.7 or p?
0.7
Let d(a) = a + 3. Let i be d(0). Suppose 12*y - 8*y - 4 = 0. Do i and y have different values?
True
Let h = 6 + -13. Let b be 15/(-4) + (-1)/4. Let f = b - h. Is 3 at most as big as f?
True
Let n = -4/3 + 2. Let t = 2 + 1. Suppose -t = -3*h - 0. Which is smaller: h or n?
n
Let i = 0.09 + -6.09. Let o = -6.1 - i. Which is greater: 3 or o?
3
Let w = -6 - -5. Is -4 > w?
False
Let v be ((-5)/(150/(-24)))/(4/310). Which is smaller: v or -1/2?
-1/2
Let v(r) = -r**2 + 15*r + 43. Let a be v(19). Is -32 > a?
True
Suppose -3*f + 4*y = -19, -3*f = -4*f - y + 4. Is f at least -1/4?
True
Let z = 20 + -24. Is -1 at least z?
True
Let b = 47 - 47. Which is smaller: -5/24 or b?
-5/24
Suppose 4*a - 3*a + 16 = 0. Let k be (a/(-12))/((-1)/3). Is k less than -4?
False
Let n be 7/(28/8) - -6. Suppose -f - 38 = 2*h + h, 5*f + n = -h. Is -13 less than or equal to h?
True
Let j be 5/(-2) + (-3)/6. Let y = -2 - j. Which is greater: 0 or y?
y
Let x = 1.9 - 2. Let j = 1.2 - 1.4. Is x at most j?
False
Let a = -0.6 - -0.7. Which is bigger: -1/8 or a?
a
Let n be -1 - -1*6/3. Let x = 2 - n. Suppose 4*v - x = -5. Which is bigger: 1 or v?
1
Let y be 0 - (-2 - -4) - -1. Which is bigger: y or -1/5?
-1/5
Suppose k + 3*m = 16, 2*k + 2*m = 3*k - 6. Is k not equal to 10?
False
Let c = 2 - 0. Let x = c + -4. Let t = -2 - x. Is t less than or equal to 0?
True
Suppose 18 = 5*k - 4*d, k + 3*d = -2*k. Is k > 3?
False
Let c be (-4 + 0)*(-579)/30. Let t = c + -77. Which is greater: t or -1?
t
Let h(j) = j**3 - 4*j**2 + 3*j - 3. Let c be h(4). Let a = c - 9. Let y be 0 - (0 + (-1 - -1)). Do y and a have the same value?
True
Let q = -140 + 141. Is -0.07 not equal to q?
True
Suppose -2*s - s = -4*v - 19, -s - 4*v + 17 = 0. Let f = s + -11. Which is bigger: f or -3?
f
Let c be 6/(-9)*12/(-8). Is 1/7 >= c?
False
Let l = -6 - -3. Let b be (-1 - (l + 2))/1. Let p be (12/(-30))/(6/(-2)). Is p bigger than b?
True
Let u = 0.7 + 3.3. Let z = u - 4. Suppose 1 = 3*w + k, -3*k = 5*w - 1 + 2. Is z < w?
True
Let h be 9/(-1395)*(0 - -2). Is h < 1?
True
Let v(x) = -x**2 - 11*x - 9. Let o be v(-10). Let m = 137/330 + -1/66. Which is greater: m or o?
o
Let c(x) = -x**3 - 2*x**2 - 2. Let p be c(-3). Suppose 0 = -3*o + q - 2*q, o + 5*q = 0. Which is greater: o or p?
p
Let l be ((-2)/2)/(0 + -1). Suppose 0 = 2*c - l - 1. Let z be c/(-2) - 81/(-18). Are z and 4 nonequal?
False
Suppose -3*a + 3 = -2*a. Suppose -f = 3*m - 6*m, -2*f + a*m = 0. Is f at least as big as -1?
True
Let z be (-5)/(-3) + 2/(-3). Let w be 2/((-78)/(-123)) - 3. Which is greater: w or z?
z
Let d be ((-3)/(-1) + -4)*0. Suppose d = q - 3*q + 2. Which is bigger: -1 or q?
q
Let h = -3 - -4. Suppose 2*d + 1 = -f - h, 3*f = -5*d - 4. Let j = 0 + d. Which is smaller: j or -2/3?
j
Let b be 2 + (11/(-4))/1. Let d = 14 - 15. Do b and d have the same value?
False
Suppose -b + 22 - 80 = -3*w, 2*w - 2*b = 32. Let s be (2 + w/(-9))*-97. Let u = s + -32. Which is greater: 1 or u?
1
Let p(n) = -5*n + 7. Let u be p(5). Let k be (u/(-84))/(1/6). Which is bigger: k or 0?
k
Suppose n + 3*b + 6 = 0, -4*n + 3*n = -3*b - 12. Let p be (-2)/(-2)*(3 - 37). Let c = -30 - p. Is c smaller than n?
False
Suppose -2*v + 4*j = -v - 39, -4*j - 12 = 0. Let f be 6/(-27) + 60/v. Suppose -3*s = -3*w + f*w + 19, -5*w - s + 15 = 0. Is 5 smaller than w?
False
Suppose b = 4*x + 14, x + 4 = -b + 3. Suppose -5*d - b = 23. Is -6 greater than d?
False
Suppose 4*g = 2*g - 6. Let p = 8 - 12. Is p >= g?
False
Suppose -4*d + 4*t = 20, -4*d = t - 6 + 1. Suppose -3*n + 27 - 36 = d. Is -5 bigger than n?
False
Let x = -3 + 5. Suppose -x*i + 0*i - 2 = -2*f, -3*f + 5*i = 1. Let q = -4 + f. Which is bigger: 1/4 or q?
1/4
Let z be 36/14 - (9/(-21) + 1). Let u(h) = h**2 + 3*h + 1. Let c be (-1*(3 - 0))/1. Let p be u(c). Is p less than z?
True
Let p(s) = s**3 - 4*s**2 + 5. Let n be p(4). Let r = n + -1. Is r at most as big as 4?
True
Let l(k) = k**3 + 7*k**2 + 2. Let o be l(-7). Suppose -4*b - 5*w - 8 = -o*w, -2*w = -5*b - 10. Is -2 > b?
False
Let b(h) = -h**2 - 4*h + 5. Let m be b(-5). Let c(z) = z**3 - z**2 - 2. Let k be c(0). Let v be (k/7)/((-2)/3). Is v at least as big as m?
True
Suppose -2*o - o + 15 = 0. Suppose k - 3*r + 3 = 0, 0 = k + 2*r - 7*r + o. Suppose -5*f + 10 = -k*f. Is 0 at least as big as f?
False
Suppose 4*o + 20 = -2*g, 3*g - 3*o + 1 = -2. Suppose 5*k - 3 = -3*b - b, -3*k + 21 = -4*b. Which is smaller: b or g?
g
Let j = -2 + 4. Let r be (-8)/12 - j/15. Which is smaller: -1/2 or r?
r
Let x be (-30)/88 - (-1)/4. Which is bigger: x or 1?
1
Suppose 6*f = f. Does f = -4?
False
Let m = 11 + 5. Let c be (9/4)/(4/m). Let o be 2/c - (-65)/(-90). Which is bigger: o or -2?
o
Suppose 4*c = 5*c - 3. Which is bigger: 5/2 or c?
c
Suppose -g + 1163 = 4*x, 3*g = -5*x + 754 + 705. Let s = -2614/9 + x. Which is smaller: s or 1?
s
Suppose -4*c + v = -2, 0 = -2*c + 5*c - v - 2. Which is bigger: -20/19 or c?
c
Let x(j) = -j**3 - 2*j**2 - j + 1. Suppose i - 5*i = -m + 10, -2 = -5*m + 4*i. Let c be x(m). Suppose -c = -y - 10. Is -7 at most y?
True
Let m = -8.9 - -9. Let g = m - 0.1. Is g bigger than 2/9?
False
Let j be (-2)/(-6)*238/4. Let r = j - 20. Let q = -1/3 + r. Which is bigger: q or 0?
0
Let m = -21 + 13. Are 0 and m non-equal?
True
Let r = 23.1 + -22. Let y = -1.19 + r. Which is bigger: y or 0?
0
Suppose 5*s + 0 + 7 = 4*r, 0 = -4*r + 12. Does -1/49 = s?
False
Let b(a) be the third derivative of a**5/60 + a**4/3 + 7*a**3/6 - 3*a**2. Let d be b(-7). Let l b