4*r + 5*u - 25. Is 3/7 at most r?
False
Let m(a) be the second derivative of -a**4/12 - 5*a**3/6 + 3*a**2 + a. Let z be m(-6). Let b = 7 + -6. Which is smaller: z or b?
z
Let v(m) = m**2 + 2*m - 3. Let z be v(-3). Suppose -5*x + 2*h = 8, 3*h = 3*x + h + 4. Let o be 1/((-1)/x) + z. Is 2/3 smaller than o?
True
Let z be ((-10)/(-35))/(-1 + -1). Let k = -17 + 17. Which is smaller: z or k?
z
Let p = 14 - 15.1. Let v = -1.4 - p. Which is smaller: v or -1?
-1
Let l = 0.32 + -0.12. Is -1/15 <= l?
True
Let l(u) = -u**2 - u + 2. Let y be l(-2). Let c(m) = m - 9. Let k be c(y). Let r = 7 - 16. Is r smaller than k?
False
Let f(p) = -p - 11. Let i be f(-11). Which is greater: i or -17?
i
Let c(o) = -6*o**3 - 14*o**2 - 1. Let u(s) = 7*s**3 + 15*s**2 + 2. Let p(k) = -6*c(k) - 5*u(k). Let f be p(-9). Let r = -7 - -3. Is f at least r?
True
Let q = -22 - -11.9. Let n = q - -9. Let o = n + 0.1. Are 2/7 and o nonequal?
True
Let u = -242/9 - -20338/585. Let z = 39/5 - u. Is -1 != z?
True
Suppose -m + 0 = 1, 5*k = -5*m - 45. Let t be ((-18)/4)/(6/k). Let l be (-6)/20*-4*5. Is l at most t?
True
Let x(s) = s**2 - 12*s + 11. Let m be x(11). Suppose 202 = 2*r - 4*r. Let h = r + 704/7. Which is smaller: h or m?
h
Let f be (60/(-16))/((-8)/172). Let q = f + -7175/88. Which is greater: 0 or q?
0
Let d be 3 - -2 - (-44)/(-11). Which is greater: d or 2/55?
d
Suppose -9 + 4 = -r. Let p(n) be the second derivative of -n**4/12 + 5*n**3/6 + n**2/2 + 10*n. Let c be p(r). Do 3/10 and c have the same value?
False
Let z(q) be the second derivative of q**4/3 + q**3/3 + q**2/2 - 2*q. Let h be z(-1). Suppose -2*n + 10 = 4. Is h != n?
False
Suppose -d - 15 = -6*d. Let h(u) = u**2 - 2*u + 2. Let r be h(d). Which is smaller: 2/7 or r?
2/7
Suppose -4*f + 6*f = 2*d, -3*f = -4*d. Suppose 4*p = 4*y - 60, 4*p + 5*y = -f*p - 15. Let s(h) = -h**3 - 10*h**2 - h - 12. Let q be s(p). Is q equal to 2?
False
Suppose -2*y + 7*y + 4*o = 7, 0 = -4*y - 4*o + 4. Let m be ((-1)/2)/((-4)/8). Let u be 1 + m + (-9)/y. Is u at least -2?
True
Let t = -2/173 + 356/865. Does t = -1?
False
Let f be 15/(-20) - (-78)/8. Let p be (-10585)/45 + 2/f. Let n = p - -3997/17. Which is greater: n or -1?
n
Let w = 75773/82 + -924. Let v = 283/738 + w. Is -1 bigger than v?
False
Let x = 0.049 + -2.099. Let k = x + 0.05. Which is greater: 0 or k?
0
Let l = -0.22 + 25.22. Is l > -1?
True
Suppose t - 6 = p + 5, 2*p = -t - 31. Suppose 19*x - 23*x = 52. Which is greater: p or x?
x
Suppose 2*w - 2*t = -20, -3*t - 17 = -5*w - 63. Which is greater: -7 or w?
-7
Let z(c) be the second derivative of c**5/20 - c**4/6 - 2*c**3/3 + 3*c**2/2 - 2*c. Let b be z(3). Suppose 4*n = -b - 16. Is -3 < n?
False
Let l be 7/1 + -4 - 2. Is l < -2/39?
False
Let n(b) = -b**2 - 8*b - 4. Let f be n(-5). Let j = 12 - f. Do 0 and j have the same value?
False
Suppose 0 + 6 = 2*i. Let v be (4 - 3) + (-7)/i. Which is smaller: -1 or v?
v
Let x = 10 - 21. Let r = -359 - -360. Which is smaller: r or x?
x
Suppose 5*i - k - 24 = 0, -i - 3*i + k = -20. Suppose 5*l + i = l - n, l - 4*n = 16. Let u(y) = y**2 + 4*y + 3. Let v be u(-3). Is v <= l?
True
Suppose 0 = 2*v + r - 14, r + 46 = 5*v - 2*r. Is 5 less than or equal to v?
True
Let t be 2*1*(-3 - -1). Let f be (-3 - 18/(-4))*t. Is f equal to -5?
False
Let c = 1051/5 + -211. Suppose 21 = -b + 4*p, b + 39 = 5*p + 13. Which is greater: c or b?
c
Let m(p) be the second derivative of -p**4/12 + p**2 + 5*p. Let k be m(-2). Which is bigger: k or -11/4?
k
Let s = -180 + 167. Is s less than -13?
False
Let q = -0.084 - 0.016. Which is smaller: -20 or q?
-20
Let s = 2 + -2. Let z be (2 - s)*4/36. Let h = -180/91 - -22/13. Is h equal to z?
False
Let u = 11 + 17. Let w = u + -17. Let z = w + -6. Which is bigger: z or 6?
6
Let z(k) = -k**2 + 11*k - 9. Let r be z(10). Let c(h) = -7*h - 1. Let q be c(r). Is -8 smaller than q?
False
Let n = 3 + -2.8. Let w = -0.3 + n. Let r = -0.07 - 0.13. Which is bigger: r or w?
w
Let i be (-3)/(-6)*(-4)/(-18). Let j be -3 + 3 - (0 - -1). Are j and i non-equal?
True
Let t(p) be the third derivative of -p**2 + 1/4*p**4 + 0*p - 1/60*p**5 + 0 - 7/6*p**3. Let z be t(5). Which is greater: z or -1?
-1
Suppose 0 = -j - 2*j - 6. Let a be 2/2*j/(-6). Which is smaller: a or 1?
a
Let w = 2668/3 - 882. Is w > 6?
True
Let x(i) = -2*i + 16. Let j be x(7). Does 1 = j?
False
Suppose q + 1 = -5*d + 2, d - 3 = -3*q. Let r be (q/9)/(-10 - -9). Suppose 0 = -g + 2*g + 1. Is r != g?
True
Suppose 10 = -3*m + 2*z, -m + z = 4*z - 4. Let v be (-2)/(m + 2 + 10). Which is smaller: v or 2?
v
Let r be 70/(-20)*(-72)/14. Let u be -1 - (0 - 2 - 17). Let v be r/(-42)*(-4)/u. Which is greater: v or 0?
v
Suppose -2*i - 3*i = -15. Let l(y) = -y**3 + 7*y**2 - 7*y + 8. Let c be l(6). Suppose i*q = c*q + 1. Is q <= 0?
False
Let y be 1/26*(2 - 3). Which is smaller: y or 0?
y
Suppose 108 = -m - 23. Let p = m + 527/4. Is p greater than 2?
False
Let s be 3/(-12) + (-230)/8. Which is bigger: s or -28?
-28
Let n(o) = -2*o**2 + 11*o + 21. Let m be n(7). Which is smaller: 2/239 or m?
m
Let r = 45 - 21. Which is greater: 23 or r?
r
Suppose 2*p = -5 + 9. Let j be (-4)/p*(-6)/(-4). Is -3 at least j?
True
Suppose 0 = -2*x + 6*x + 20. Let k = 10 + x. Suppose 15 - 5 = -k*h. Is h bigger than -1/2?
False
Let j be -2 + 48/22 + 18/(-99). Is -9/8 less than j?
True
Suppose 5*g = -2*i + 17, -3*i = i + 16. Let j = 36 - 26. Let v be (8/(-10))/((-2)/j). Are v and g equal?
False
Let b = 155 + -156. Is -53 > b?
False
Suppose -2*i - 10 = 4. Is i less than -6?
True
Let a(g) = -3*g + 60. Let j be a(20). Is 2 greater than or equal to j?
True
Let f(j) = j**3 - 5*j**2 + 3*j + 4. Let g be f(4). Does -2/13 = g?
False
Let q be (-54)/(-9)*(-6)/(-9). Are 21/4 and q unequal?
True
Let x be (-2 - (-56)/30) + 0. Let k(f) = -f**3 + 2*f**2 - f. Let g be k(2). Let r be ((-6)/(-4) + -2)*g. Which is smaller: r or x?
x
Suppose -19*z = -9*z. Which is smaller: -6 or z?
-6
Let o(f) = -4*f - 1. Let m be o(-1). Let s = m - 0. Which is bigger: 1 or s?
s
Let w(m) = m**3 - 5*m**2 + 3. Let n(r) = r**2 + 8*r + 7. Let a be n(-7). Let f be 5 + (-2 - -2) - a. Let h be w(f). Which is greater: 1 or h?
h
Suppose -f - 5*u - 95 = 3*f, -3*f - 3*u = 75. Let l be ((-8)/f)/(3/5). Is 0 bigger than l?
False
Let m be -1 + ((-4)/16 - (-29)/4). Does m = 3?
False
Suppose -2*l = -4*a - 18, a + 5*l - 1 = -0. Let j be 38/60 - a/(-8). Let q be ((-19)/76)/(2/(-8)). Which is smaller: j or q?
j
Let m = -7 + 5. Let f = -6 - m. Let i = 1.4 + -1.3. Is f != i?
True
Let j be (4/(-10))/(51/15). Does 0 = j?
False
Let s be 28/10 + 1/5. Suppose s*y + 4 = y. Which is bigger: -3 or y?
y
Let p = -27521/3 - -113147/12. Let l = 241 - p. Let w = 16 + l. Does w = 2?
False
Let m(y) = y**3 + 7*y**2 - 9*y - 8. Let j be m(-8). Let q be (-1 - (-1 - j)) + 2. Is 2 less than or equal to q?
True
Let d(w) = w**3 + 7*w**2 + 7*w. Let z be d(-6). Which is smaller: z or -7?
-7
Let p = 13 - 3. Let z = p - 12. Is 0 < z?
False
Suppose -4*a + 23 = -21. Which is smaller: a or 12?
a
Let u(y) = -y**2. Let g be u(1). Let x(b) = -b**3 + b**2 + b + 1. Let i be x(g). Are i and 3 equal?
False
Let w be (-16)/(-12)*12/8. Let m = 11 - 7. Suppose -m*b + b + 28 = -5*f, 5*b - w*f - 15 = 0. Is b bigger than 1?
False
Let d = -55.9 + 53. Let x = d - -3. Do 1 and x have different values?
True
Let j(v) = 0*v + 0 - 3 - 2*v + 2. Let h be j(1). Let s = 3 + h. Which is bigger: s or 1?
1
Let x = -45 + 3. Are x and -44 nonequal?
True
Let n be (-8)/100 + 0 - 0. Is n bigger than -1?
True
Let l = 90 + -541/6. Let f = l - -1/3. Which is greater: f or -1?
f
Suppose -5*z + 3 = -2*z. Suppose v + z = 2. Is 2/3 smaller than v?
True
Let p be 24/(-16) - 2/4 - 11. Which is bigger: -11 or p?
-11
Let o = -2/475 + 1439/3325. Let c(p) = -p**2 - 9*p + p + 8 + 2*p**2. Let n be c(7). Which is smaller: n or o?
o
Let i = 215/38 + -3/19. Let w(u) = u**2 + 8*u - 13. Let d be w(-10). Which is bigger: d or i?
d
Let b = -18 + 18. Let x(f) = f - 3. Let n be x(7). Does b = n?
False
Let l(d) = d + 1. Let t be l(-1). Let o = 1 + t. Which is smaller: o or -2/13?
-2/13
Suppose s + 25 = -4*s. Suppose -j - j = 4*g + 12, -g + j - 6 = 0. Which is smaller: s or g?
s
Let m = 7 - 6. Let w = -11 + 11. Is w greater than or equal to m?
False
Let z = -5.4 - -5.03. Let o = z + 0.17. Is o != 6?
True
Suppose o + 8