 0, 4*y + z*b - 9 = -1. Is y at most as big as g?
True
Let z(c) = c**2 - 8*c - 2. Let s(b) = -7*b**3 + 2*b**2 + 2*b + 1. Let g be s(-1). Let u be z(g). Which is bigger: u or -3?
u
Let r(k) = 2*k + 13. Let a be r(-7). Which is greater: a or -2/27?
-2/27
Let u = -77 + -540. Let h = u + 14189/23. Which is smaller: -1 or h?
-1
Let t = -22 - -11. Does t = -13?
False
Let f = 1 + -1. Let a(d) = d**3 - 6*d**2 + 3. Let p be a(6). Let l = p - 2. Is f at most l?
True
Let v = 0.7 - 0.1. Let a = v - 0.5. Do 0 and a have the same value?
False
Let m = -15/2 - -8. Let s = -25 - -17. Which is smaller: s or m?
s
Suppose 8*v = 3*v - 5. Let u(q) = q**2 + q - 4. Let h be u(3). Let r(b) = -b + 8. Let x be r(h). Is v != x?
True
Suppose 2*o + 2*s - 8 = 0, 11 = -2*o + 6*o - s. Which is bigger: o or 2?
o
Let y(r) = r**2 - 3*r. Let d = -3 + 6. Let q be y(d). Which is bigger: 2/29 or q?
2/29
Let n be (-11)/(-14) + 2/(-4). Suppose -w = -0*a - 5*a + 3, -15 = 2*a + 5*w. Which is bigger: a or n?
n
Suppose -4*q - 6 - 10 = 0. Let a be (q/6)/(10/(-175)). Let i = 12 - a. Is 2 greater than or equal to i?
True
Let l = 3 - 2.9. Let w = 202 - 202. Which is smaller: l or w?
w
Let q be 3/(-6) - 1/2. Let c = q - 1. Let p = -681/845 - -1/169. Which is greater: c or p?
p
Let b = 891/10 - 89. Let v = 13/70 + b. Are v and 0 nonequal?
True
Let f = -12 + 41. Which is smaller: f or 28?
28
Let f = 1 - 1. Let s = 0.144 - 0.044. Which is smaller: s or f?
f
Let m = -377/5 - -75. Is -4 <= m?
True
Let t be 2/(-7) - (-60)/14. Suppose t*f - f - 21 = 0. Suppose 0 = -3*y + f*y. Which is bigger: 1/3 or y?
1/3
Let t be 0 + 1 + 2 + -1. Suppose 2*p - 12 = 5*p, 5*p = 4*i - 36. Suppose t*q + i*r = 2*r + 10, -r = -3*q + 7. Is q greater than 2?
True
Let b be 4 - (-55)/(-10) - -2. Do b and 0 have the same value?
False
Let x = 45 + -46. Let y = -4 - -4.3. Is y at most x?
False
Suppose -2 - 4 = 3*g. Let v be 10/(-4)*g/30. Which is smaller: v or -1?
-1
Suppose -2 = -4*w - 5*a, 0 = 2*w + 3*a - a. Which is smaller: -4/3 or w?
w
Suppose -2*j + 3*x + 76 = 2*j, 2*j - 2*x = 40. Let q be 19/35 - j/40. Is q >= 0?
True
Let k = 1 + -1. Which is smaller: 4/13 or k?
k
Suppose 3*q - 6*x + 17 = -5*x, 5*q = 4*x - 33. Let j be (-25)/2*(-6)/1. Let y be 65/j - (-1)/q. Which is greater: y or 0?
y
Let g = -7.8 + -1.3. Let k = -9 - g. Let r = 0.2 + 0.2. Which is bigger: k or r?
r
Suppose -2*f - 4*l = 1360, -2*l = -f - 824 + 136. Let r = 15653374/325 - 635028/13. Let i = f - r. Is 0 less than or equal to i?
True
Suppose 4*l = 3*c + 10, -2*c - c - 2 = -2*l. Let h = -3 - -5. Are l and h equal?
False
Let m be (8/(-110))/(6/15). Let n = m + 36/77. Let l = 8 - 6. Is l > n?
True
Let j be 11/(308/(-8)) - (-106)/322. Which is greater: 1 or j?
1
Let a = 5292 + -15731/3. Let k = 49 - a. Is k < -1?
False
Let p = 14 - 14. Which is greater: p or -2?
p
Let w(y) = 3*y + y**2 - 3 + 0*y + 0*y**2. Let u be w(-4). Which is greater: u or 1/3?
u
Let a = -6 - -14. Which is bigger: 1 or a?
a
Let b = 43 - 96. Let k = -37 - b. Which is smaller: k or 15?
15
Let w be 2/((2 + -3)*-2). Let p be 2/(-3) - 5/(-12). Which is smaller: w or p?
p
Let v = 53 + -55. Which is smaller: -10 or v?
-10
Let h be 0 - ((-8)/(-25))/(-4). Is 1 > h?
True
Suppose w = 2*w. Let a(f) be the second derivative of -f**4/12 - f**3/6 + f**2/2 + f. Let u be a(w). Which is smaller: u or 2?
u
Let t(p) = -2*p - 8 - 4 + 6. Let q be t(-7). Which is smaller: 7 or q?
7
Let r = 1.94 + 0.06. Let p(a) be the second derivative of -a**3/6 - 13*a**2/2 + a. Let b be p(-13). Do b and r have the same value?
False
Let b = -10 + 9. Which is bigger: b or 3/7?
3/7
Suppose 5*x - 6*x + 25 = 0. Let a be x/(-60) + (-1)/4. Which is greater: a or 1?
1
Let i be (10/4)/((-4)/8). Let p = 3 - -2. Suppose 0 = -p*j - 39 + 9. Is i bigger than j?
True
Let s = 52.67 + -62.6. Let o = 0.07 - s. Let b = o - 9.8. Are -1 and b nonequal?
True
Let x be 12/(-16) + 12/16 + 1. Let b = -57 + 913/16. Is x >= b?
True
Let c(i) = -i**2 - i + 9. Let p be (-10)/2 - -2 - 1. Let r be c(p). Are 0 and r non-equal?
True
Let u = -1 + 2. Suppose -5*n + 2 = -o, 2*o + 2*o + 2*n = -8. Which is smaller: o or u?
o
Let q(m) = -4*m + 1 + 3*m + 2*m. Let p(s) = -s**2 - 9*s - 4. Let h(j) = -p(j) - 2*q(j). Let d be h(-7). Is d at least as big as 2?
True
Let p(n) = -n**3 - 3*n**2 + n - 1. Let h be (-6)/(-2) + -2*3. Let c be p(h). Let l be (c + 7)*(-7)/3. Which is bigger: l or -6?
-6
Let g = 2 - 1. Let n = 113/7 + -111/7. Are n and g non-equal?
True
Let n = -5 + 4.96. Let a = -1.96 + n. Let o = -0.08 - -1.08. Which is greater: o or a?
o
Let i be (-1)/(-2)*(1 - -35). Let t = i - 19. Which is bigger: t or -1/3?
-1/3
Let k(a) = a**3 + 5*a**2 - 5*a - 4. Let h be k(-6). Let b be 40/42 + h/15. Let m = -68 - -69. Is b less than m?
True
Let f = -117.9 - -112. Let l = -0.03 - 5.97. Let m = f - l. Are m and 0.2 nonequal?
True
Suppose 18 = 2*d - 0*d. Let m be (-12)/(-54) + (-2)/d. Suppose 2*s - 3*r = 6*s - 14, 3*s - 11 = -2*r. Which is smaller: s or m?
m
Let m(i) = -2*i - 10. Let y be m(-4). Is -13 at least as big as y?
False
Let k = -0.1 + 0.05. Let r = k - 0.15. Is -3 <= r?
True
Let d = -2/1017 - 965/26442. Which is smaller: -4 or d?
-4
Let p = 83/20 - 27/5. Let l = 0 - -3. Suppose l*q = j + 14, 0*j - 3*j = -3*q + 18. Which is greater: j or p?
p
Let o = -4 - -2. Let a = 8 - 8.3. Which is greater: a or o?
a
Suppose -21 = -3*o + 5*t, -2*o + 2*t = -4*o - 2. Suppose -o*k + 13 = 5*g, 2*k + 6*g = 2*g + 14. Let b be (-12)/k*(-3)/(-2). Is b at most as big as -3?
False
Let u = 419 + -4612/11. Which is smaller: -1 or u?
-1
Let n be 6/(-24) - (-9)/4. Which is bigger: 22/7 or n?
22/7
Let j = -7 + 6. Let d be (-1095)/246 + 3 + 3/2. Which is smaller: d or j?
j
Suppose -4*q = 5*j - 34, 10*q - 5*q + 5*j = 40. Suppose 3*x = q, -3*y - 6*x = -2*x + 10. Is y greater than -6?
False
Let f = -9 - -12.95. Let y = f + -4. Let w = 0.05 + y. Which is smaller: w or 1/3?
w
Let s = -84256/165 - -2557/5. Let m = -163/99 + s. Which is smaller: m or -1?
-1
Let t = -24 - -24.2. Are -15 and t non-equal?
True
Let x = 60 + -95. Let q be -1 + 2 + 47/x. Let o = q + 1/7. Which is greater: o or 1?
1
Suppose -4*i = 5 - 17. Let v = -10996/23 + 478. Let r = v - 40/69. Which is smaller: i or r?
r
Let z(a) = -34*a - 203. Let y be z(-6). Let u be 3/9*4/(-6). Which is greater: y or u?
y
Let p = 13 - 13. Is 2/5 bigger than p?
True
Let r be (-1 - 0)/((-2)/(-8)). Suppose x + 3*w = -11, 0*w = -x + 2*w + 14. Suppose -5*f = x*j + 17, 4*j + 5 = 2*j + f. Is r greater than j?
False
Suppose 3*v - 6 = v. Suppose 2*m - 15 = -v*m. Is m at least as big as 2?
True
Suppose -v = -5*v - 16. Let l be (-4 - -12) + (1 - -1). Let d be 2/(1*(-4)/l). Is d != v?
True
Let r(i) = -i**3 + 8*i**2 - 7*i + 1. Let f = 16 + -9. Let q be r(f). Which is bigger: q or 0?
q
Let q = 0.011 + -0.121. Let u = -0.3 + 0.3. Which is smaller: q or u?
q
Let v = 5 - 5. Suppose -a + 4 + 0 = v. Is -1 at most a?
True
Let a = -1 - -3/2. Suppose b = 4*z + 5, 0 = 2*z + 3*z + 5. Which is smaller: a or b?
a
Suppose 3*a - 60 = 8*a. Is -13 at most a?
True
Let o = 11 - 8. Let m = 3 - o. Which is greater: m or 4?
4
Let h = 28 - 21. Are h and 6 equal?
False
Let h(r) = 2*r - 6. Let d be h(4). Let c be 10/(-4)*(-4)/d. Let l be 3/(3 - c - 6). Is -1 less than or equal to l?
True
Let b = 922898/275 + -3356. Which is bigger: b or 0?
0
Let i = 249/2 + -125. Which is smaller: 0.84 or i?
i
Let u be -4*1 + 78/12. Which is bigger: u or 13?
13
Let v = -6/137 - -989/685. Suppose 4*n = -3*r - 8, -5*n - 6 = -4*r + 4. Is v greater than r?
True
Let o = 3/23 + -38/115. Which is bigger: 1 or o?
1
Let c be (6/(-5))/((-4)/10). Let k be 4 - (0 - c)*-1. Let a be k + -3 - 36/(-16). Which is smaller: a or 0?
0
Suppose 0 = 2*b - b - d, 4*b = -4*d + 40. Suppose -1 = -b*h - 6*i + 3*i, h = 4*i - 9. Let c be (-2 - h) + 6/(-4). Which is smaller: -2 or c?
c
Let d be 5/(5/9) - 1. Let z be 6*2/d*-2. Which is bigger: -4 or z?
z
Let n be (-1)/(-4) - 5/4. Let c(t) = -2*t + 1. Let x be c(n). Let j be (-4)/(-10)*(x + 2). Is j at most as big as 1/2?
False
Let j be 2/(-5)*(-40)/16. Which is bigger: 0 or j?
j
Let q = -4 + 10. Is 4 <= q?
True
Let w(t) = t**3 + 18*t**2 + 17*t - 6. Let p be w(-17). Let o(f) = f**3 + 7*f + 3*f**2 + 3 + 6*f**2 - 2*f**2. Let r be o(p). Which is greater: r or -2?
-2
Let j = 12 + -7. Suppos