et o = 844/7 - 54874/455. Let s = 136/195 + o. Which is smaller: s or 0?
0
Let o = 0.02 + 0.04. Let s = o - 4.06. Is s <= 0?
True
Let z = -0.057 + -2.943. Which is smaller: 7/4 or z?
z
Suppose f + 4 - 9 = 0. Let c(j) = -1 - 3*j - 7*j**3 + 5*j - 2*j. Let w be c(-1). Which is bigger: w or f?
w
Suppose 5*p - 5 = -0*p - 4*h, -5*h = 0. Is p != 2/37?
True
Let b = -52 - -44.8. Let i = -3 + -4. Let h = b - i. Is -2 <= h?
True
Let f(m) = 8 + 0*m + m**3 - m + 5*m**2 - 2 + 2*m. Let k be f(-5). Which is smaller: 2/9 or k?
2/9
Let n = 96 - 97. Let t = 2 - 10. Let a be 2/t - 1/(-2). Is a > n?
True
Let p(a) be the third derivative of -a**4/24 + 7*a**3/6 + 2*a**2. Let s be p(4). Which is smaller: s or 4?
s
Suppose -6*p - 30 = -4*p. Which is bigger: p or -16?
p
Suppose -a + 5*a + 4 = -2*c, 3 = -3*a + 4*c. Suppose -2 = -r - r, -2*x + 5*r - 5 = 0. Let p be 0 - x - 6/(-14). Is a != p?
True
Let g be (0 + -4)*((-6 - -4) + 3). Is -13/4 at least g?
True
Suppose -6*d + 8 = -2*d. Suppose -4*m - d*j = 3 - 31, j = 2*m - 14. Is 7 < m?
False
Let p = 4.9 + -2.8. Let c = -5.1 + p. Is 1/3 != c?
True
Let q be (-4)/(-1) - (-5 + 8). Let b be (9/(-30))/((-6)/8). Which is greater: b or q?
q
Let l(r) = r**2 + 12*r - 15. Let w be l(-13). Let j = -1.4 - 0.6. Are j and w equal?
True
Suppose -4*s - 17 - 7 = 0. Let j be s/(-4) - (-17)/(-2). Let a be (-3)/(-9) + j/3. Which is bigger: a or 0?
0
Let l(y) = y**3 - 7*y**2 + y - 4. Let d be l(7). Suppose a = d*g - 1 - 1, 5*a = -g + 6. Let n(c) = -c**2 - 6*c - 1. Let u be n(-6). Is g smaller than u?
False
Let i = 9 + -9. Suppose -2*k = 4 - 12. Suppose 2*b - 5 = -k*a - 15, 4*b - 3*a - 13 = 0. Which is bigger: i or b?
b
Suppose 0 = -6*w + w + 25. Suppose -2*n + w = 3*n. Which is greater: n or -1?
n
Suppose -3*a + 37 = h, -h - 2*h - 3*a + 81 = 0. Which is bigger: h or -3?
h
Let x(n) = n**2 - 2*n - 1. Let y be x(4). Let h = y + -7. Let f be (h - 1)/(2/6). Is f less than or equal to -3?
True
Suppose 5*d + 5 = -h + 4, -3 = -d - h. Let l = -3386 + 23794/7. Let p = l - 587/42. Which is smaller: p or d?
d
Let w = 1.7 + -9.7. Let b = w + 7.25. Let q = 0.7 + b. Is -1 > q?
False
Let l = -45 - -78. Let k be 8/(-6)*l/22. Is k greater than or equal to -2?
True
Suppose 4*n = -13 - 11. Let b = 9 + n. Let w be 1 - b - 3 - -1. Is -4 less than w?
False
Let t be 35/(-20) + (0 - -2). Is -1 bigger than t?
False
Suppose -3*a - 2*a = 0. Let r be (-5)/(-210)*(-237)/107. Let s = -2/107 + r. Which is smaller: a or s?
s
Let k = 111 - 195. Let f = -754/9 - k. Which is smaller: 0 or f?
0
Let j = -1 + 1. Let q be ((-16)/28)/((-30)/21). Which is smaller: j or q?
j
Let j be (-2)/(-9) + (-42)/(-54). Suppose -3*w + j = 2*t, w = 4*w + 3*t. Let l be w/((1/(-4))/1). Do l and -4 have the same value?
True
Suppose 6 = 3*h + 3. Let i be 1/((-14)/(-30)) - 2. Which is bigger: h or i?
h
Suppose -2*x = -16 - 0. Let s(o) = o**3 + 4*o**2 - o - 3. Let y be s(-3). Is y greater than or equal to x?
True
Let y = 563/11180 + -1/260. Which is smaller: 0 or y?
0
Let i(j) = -j**2 - 2*j - 2. Let l be i(-3). Let n = l + 5. Which is greater: n or 3/5?
3/5
Let a be 0 + ((-5)/(-5) - 0). Let i = -2.99 + -0.01. Which is smaller: a or i?
i
Let q(f) be the second derivative of -f**4/12 + f**3 + 5*f**2/2 - 3*f. Let j be q(7). Are j and -2 non-equal?
False
Let k(d) = d**2 - d. Let u(b) = -b**3 + 4*b**2 - 3*b + 1. Let a be u(3). Let y be k(a). Let w be 3/9 + 1/3. Which is smaller: y or w?
y
Suppose -x - 2*x = 168. Let i = 81 + x. Let f = i + -74/3. Which is smaller: 0 or f?
0
Let z = 6.02 + 0.68. Let m = 7 - z. Let h be (-12)/(-66) + 19/(-44). Which is bigger: m or h?
m
Let k(l) be the second derivative of -2*l + 0 - 3*l**2 + 1/6*l**3. Let r be k(6). Is 1 <= r?
False
Let r be (-74)/168 - 2/(-12). Let c = -1/84 + r. Are c and -2 equal?
False
Let c = 85/482 - 468135/3374. Suppose 3*q + 397 = -4*o, -22 = -3*q - 5*o - 414. Let b = q - c. Which is bigger: b or 1?
1
Let g(i) = -i**3 + 2*i**2 + 3*i - 4. Let p be g(4). Let x be (-6)/(-2)*p/36. Which is smaller: 4 or x?
x
Suppose -2*v = -7*v + 5. Suppose -5*x = 4*f + 12, 4*f = 5*f - 5*x - 22. Suppose -o = -f*o + 1. Is v not equal to o?
False
Let q(o) = o - 38. Let i(a) = 13. Let p(l) = 7*i(l) + 2*q(l). Let g be p(-7). Which is smaller: g or 2?
g
Suppose -15 = 5*k, -2*x + 5*k - 10 = -7*x. Suppose -2*j - j + 3*h = -3, -9 = x*j + 2*h. Are j and 1 nonequal?
True
Let v = 10 - 14. Let q = 8 - 7. Let m(d) = -5*d + 1. Let o be m(q). Is v <= o?
True
Let j(w) = w**3 + 5*w**2 + w + 7. Let b be j(-5). Are 7/3 and b non-equal?
True
Let h = 72203/43 - 1679. Let u = h + -141/86. Let p = -1 - -1. Is p < u?
False
Let s be 3/12 - (-17)/(-4). Let m = 5 + s. Is 0 <= m?
True
Let d = 43.7 - 49. Let x = 1.7 - d. Let f = x + -6.9. Do f and 0 have the same value?
False
Let p be (-8186)/18 + (-12)/54. Let u = -3645/8 - p. Is 0 >= u?
True
Let b = -6/5 - -28/15. Suppose -10 = 5*y + 5*h, -2 = -5*y - 3*h + h. Which is bigger: y or b?
y
Let d(l) = 5*l + 1. Let z = 9 + -7. Let o be d(z). Suppose -o = -5*v - 4*g, v + 5 = g - 0*g. Is -3/5 at most as big as v?
False
Suppose 0 = -2*u - 5 - 5. Suppose 14 = -4*b - 6. Do b and u have the same value?
True
Let k = 62076/121 + -513. Which is smaller: k or 1?
k
Let y = 7 + -6. Let m be ((-2)/(-4))/(y/(-44)). Let h = m + 109/5. Is 1 greater than h?
True
Let f = 25 + -21. Is f bigger than 2/15?
True
Let m = 15/2 + -71/10. Which is smaller: 4/17 or m?
4/17
Let c(a) = a**3 + a**2 + 7*a + 11. Let d be c(-3). Let n(h) = 2*h**2 + 7*h + 5. Let g be n(-6). Let p be 39/g - 8/d. Is p at most as big as 0?
False
Let d(x) = -x + 3. Let i be d(3). Suppose 3*m + t - 15 = 4*t, 3*m = 2*t + 12. Let b = -2 + m. Is i greater than b?
False
Let s = 41 + -86. Let g be (9/(-6))/(s/4). Which is smaller: g or 1?
g
Suppose -4*u = -4*z + 71 - 15, 0 = -4*z + 3*u + 61. Which is greater: 20 or z?
20
Let v be (1 - -2)/(2 + -3). Let m be -74*v/36*2. Let h = 12 - m. Which is bigger: -1 or h?
h
Let m(u) = 5*u**2 - 2*u - 3. Let d be m(-3). Let i = 191/4 - d. Which is bigger: i or 5?
5
Let r be (-5)/(-25) + 3/(-5). Let x = r - 0. Is x less than -2/7?
True
Let s be (3*(-55)/(-60))/((-2)/(-8)). Which is bigger: 8 or s?
s
Let j be (4 - 3 - 5)/(4/(-8)). Which is smaller: 9 or j?
j
Let w(l) be the second derivative of -l**3/6 - 7*l**2/2 + 2*l. Let r be w(-6). Which is smaller: r or -2?
-2
Let f = -6 - -10. Let n(m) = m - 3. Let u be n(f). Let b be 0/(-2)*u/2. Which is greater: b or -1?
b
Let h = -3 + 3. Suppose h = -2*z - 3*n - 2 + 18, 4*n + 12 = 4*z. Suppose -3*o + 14 = -c - 4*c, -z*o - 5*c = 30. Is 0 >= o?
True
Let d = 1485 + -175231/118. Which is smaller: 0 or d?
d
Let q(a) = a**2 - 2*a - 4. Let c be q(0). Let p = c - -5. Is p bigger than 1/9?
True
Let l = -49 + 51. Is 0.08 at most l?
True
Suppose 3*w + w + 2*t + 4 = 0, 3*t - 2 = 2*w. Let d(n) = -n**3 - 4*n**2. Suppose 4*l - 8 = 0, -2*l = 2*i + 2*i + 12. Let g be d(i). Which is smaller: g or w?
w
Suppose 44 = 5*o - 4*a, 0 = -3*o - 2*a - 11 + 33. Are o and 7 equal?
False
Let c = 11 + -6. Which is bigger: 19/3 or c?
19/3
Suppose -q - 26 = 4. Let r be (q/(-4))/(-3)*-4. Let l be (-2 - r/(-4))*-1. Is l < -0.1?
True
Let n(u) = -2*u**3 - 7*u**2 - 7*u + 2. Let y be n(-6). Let c be y/24 + (-2)/6. Let x be (9 - c/3) + -2. Which is bigger: x or 1?
x
Let a be (3 - 0) + (-5)/1. Which is smaller: a or 1/3?
a
Let k = -742/5729 - -4/337. Suppose 0 = 10*q - 125 + 115. Which is greater: k or q?
q
Let q be -1*2 - (-30 - -8). Is 18 != q?
True
Let i(p) = p**3 - 4*p**2 + 4*p. Let l be i(3). Let h = -6 + 7. Suppose -2*j + l + h = -2*w, -w = -3*j. Which is greater: -3 or j?
j
Let l be 264/27 - 6/(-27). Let g be (9 - 3)*l/(-22). Let v = g - -169/66. Which is smaller: 1 or v?
v
Let k(m) = -m**3 - 8*m**2 - 15*m. Let j be k(-5). Are 5/9 and j equal?
False
Let l = 50 + -48. Suppose -5*o - 5*g = -2*g - 7, -4*o + 16 = 5*g. Which is smaller: l or o?
o
Suppose 1 = -3*l + 5*i, 0 = -6*l + l - 4*i - 51. Let v be 1 + (l + 3)/1. Which is smaller: -5 or v?
-5
Let y = 3 - 2. Suppose 1 = -w, 0 = 2*g - 3*w + 7 - 30. Let l be 8/(-8)*2/g. Is y less than or equal to l?
False
Suppose -2*d - 2*s = -0*s, 4 = 2*s. Let a be 0/1 + d + 2. Which is smaller: 2/55 or a?
a
Suppose 8*m + 2 - 178 = 0. Do m and 22 have the same value?
True
Let d(o) = -o**2 - 5*o + 23. Let g be d(-8). Let r = -3 + 3.04. Do