t p(h) be the first derivative of h**4/4 + 7*h**3/3 + 3*h**2 - h + 7. Let n be p(-6). Is n bigger than 2/11?
False
Let l(y) = 3*y - 1. Let p be l(1). Suppose -j = p - 0. Let i be j/(-4)*(-6)/5. Is -1 at least i?
False
Suppose g - 19 = 4*t, -3*t + 3*g = g + 18. Let m(u) = -u**2 - 6*u - 6. Let r be m(t). Which is smaller: 3/2 or r?
3/2
Let k be (-3)/(-3) + -1 + 1. Let d be (-4 + k)*6/(-18). Is d equal to -2/7?
False
Let b(a) = 1. Let w(z) = z. Let y(p) = -b(p) + 2*w(p). Let t be y(2). Suppose 2*i = -t*i + m + 8, -5*i - 3*m = 4. Do i and 0 have the same value?
False
Let f = -26/3659 - -1621275/47567. Let z = f + -34. Is 1 less than z?
False
Let p(l) = l**2 + l - 1. Let w be p(-2). Is -3/8 smaller than w?
True
Suppose 5*c + 1 = -3*i - 0*c, -5*i + 5*c + 25 = 0. Let y = i + -5. Let m be 2/y*(-30)/25. Is 1 >= m?
False
Let s be (156/40 + -4)*4. Let n be ((-4)/12)/((-1)/9). Let m be (-2)/(-10)*n*1. Are m and s non-equal?
True
Let y be (9/(-25))/((-3)/5). Which is smaller: 1 or y?
y
Suppose 2*a + 2*a - 124 = 0. Is a < 32?
True
Let h be -4 + (-4 - 336/(-45)). Is -1 less than h?
True
Let o(s) = -s**3 + 5*s**2 - 3*s - 2. Let z be o(3). Suppose 0 = 2*f - 9 - 5. Is f less than z?
False
Let p be 2/11 + 1 + 150/(-99). Are p and 11 non-equal?
True
Let a be (6/(-4))/((-3)/4). Let i be 1/(1 - (2 - 0)). Let x(y) = -3*y - 1. Let l be x(i). Is l >= a?
True
Let v be ((-1)/(-2))/((-6)/(-48)). Suppose -15 = -v*l - 7. Is 1 < l?
True
Let w = -8 - -8. Is w < 0?
False
Let c(q) = -3*q**2 + 4*q - 3. Let r be c(1). Is -20/9 at least as big as r?
False
Let x be (1 + (-10)/8)/(-1). Is x less than 0.14?
False
Let k be (-45)/(-6)*2/(-1). Which is bigger: k or -12?
-12
Let w = -7 - -3. Let g = 2 + -6. Are g and w unequal?
False
Let h be (-1*6/(-4))/(-6). Let k = 0.04 - -0.04. Which is greater: k or h?
k
Suppose 10*s + 12 = 5*s + 3*h, -5*h + 20 = -4*s. Which is smaller: -7/5 or s?
-7/5
Suppose 2*g + 8 = 3*g. Is g >= 8?
True
Let j = -93 + 94. Are j and 5 unequal?
True
Let k = 1/26 - -11/52. Which is smaller: k or 1?
k
Let v = -6 + 5. Let x = 0.9 + v. Is x greater than -0.1?
False
Let h be 3 + 2 + 4/(-2). Which is greater: h or 4?
4
Let h(q) = -2*q**2 + q - 3*q + 3*q**2. Let l be h(2). Let w = -31/21 + 8/7. Which is smaller: w or l?
w
Suppose 2*u = 0, 5*m + 39 = 2*m + 5*u. Which is bigger: m or -14?
m
Let k(w) = 9 + w + 0*w - 7 - 1. Let x be k(-7). Is x less than -6?
False
Let j be -2*((-5)/2 + 2). Suppose -o + j = -0. Let b be o*(-1)/2*-2. Which is greater: 2/15 or b?
b
Let h = -1.9 - -2.1. Which is smaller: -6/7 or h?
-6/7
Let k = -31 + 29. Is k <= 4?
True
Let s = -155/252 - -11/28. Which is bigger: s or -3/4?
s
Let d = -0.03 - 0.97. Let y = 2 + d. Which is bigger: y or -0.1?
y
Let n = 6 - 7. Let g = -3 + n. Which is smaller: g or 0.2?
g
Let d = -1/6 - 1/2. Which is smaller: -2 or d?
-2
Suppose 25*t + 187 = 14*t. Is t not equal to -14?
True
Let c = 12 - 28. Let f = c + 15.93. Let q = 0.88 - -0.12. Is q <= f?
False
Let y = 802 + -17641/22. Let k = y - -35/66. Is 1 greater than k?
True
Let k = 0.5 - 0.1. Let g = 0.5 - k. Is g < 1/3?
True
Let h(b) = b**3 + 5*b**2 - 3. Let m be h(-5). Let t = m + 2. Are t and -1/6 unequal?
True
Suppose 61 = 4*j - 15. Let x = j - 32. Which is greater: x or -12?
-12
Suppose 13 = 12*j - 11. Do 4 and j have different values?
True
Let u = 5 + -5.5. Let t = -0.5 + u. Suppose 5*f - 3 = 2*d + 10, 0 = 4*d + 16. Are t and f non-equal?
True
Let d = -13 - -12. Is d greater than -1?
False
Let r(j) = -j + 9. Let c be r(7). Suppose i + 13 = c. Let x = i + 15. Do 3 and x have the same value?
False
Let o(z) = z**3 + z**2 - 2*z - 3. Let h be 48/(-30) + 2/(-5). Let r be o(h). Which is smaller: -2 or r?
r
Let z be (-16)/7 + 2/7. Suppose 6*u - u + m = 10, 2*m + 1 = -3*u. Suppose -u*q = -p - 2 + 5, q - 1 = p. Is z less than p?
False
Let d(o) = -7*o**2 - 3*o + 9. Let t(i) = 13*i**2 + 5*i - 17. Let x(k) = 11*d(k) + 6*t(k). Let f be x(3). Let a = 0 + f. Which is bigger: a or -2?
-2
Let n(k) = -k**3 + 7*k**2 - 5*k - 5. Let l be n(6). Let b = 22 + -16. Is b less than or equal to l?
False
Suppose 0 = 2*m - 0*m - v, 3*v = 0. Which is bigger: -1/4 or m?
m
Let a(f) = -f**3 - f**2 - f - 1. Let i be a(-1). Is i at least 7/13?
False
Let s = -24.8 - -25. Are s and -0.3 unequal?
True
Let t be 2*2*(-2 + 1). Let q = -3 - t. Let z be 2/4 - q/(-2). Is 1 greater than z?
False
Let p(u) = -u**3 - 3*u**2 + 5*u + 12. Let h be p(-4). Which is smaller: 4 or h?
4
Let o = -5 + 4.97. Let f = o + -0.07. Let k = f + 0. Which is smaller: 0 or k?
k
Suppose 2*h - 105 = -2*h - j, 0 = 5*j - 5. Is 26 != h?
False
Let y = 3/53 - 281/1219. Let k = -263947/314088 + -1/4552. Let w = k - y. Do -1 and w have different values?
True
Let w = 25 + -24.8. Which is smaller: w or -2?
-2
Suppose 3*j + 90 = -3*f, -5*f + 18 = 3*j + 100. Which is greater: -32 or j?
-32
Let c be 6/(-15) + 44/10. Suppose -49 = 3*s - c*s. Let g = s + -195/4. Which is smaller: -4 or g?
-4
Suppose 3*r - 27 - 30 = 0. Which is smaller: 21 or r?
r
Suppose 3*a + 36 = -a. Let x be 6*-3*2/a. Is x at least 4?
True
Suppose -j = 3*j. Which is smaller: -1 or j?
-1
Suppose b + 3 = 2*o, 2*b - 5*o + 0 + 1 = 0. Which is smaller: -3 or b?
b
Let x be 5/(225/6)*40/88. Which is smaller: -1 or x?
-1
Let p = 3.2 + -3. Let f = p - 0.6. Let j = -0.4 - f. Which is smaller: j or -1?
-1
Let o = 139 + -138. Which is bigger: o or -3/16?
o
Let f be (-5)/(-2)*(2 - 0). Suppose -z - f = -0*z. Do -6 and z have different values?
True
Let l be (2 + -2)*1 + 0. Suppose l = -0*y - 4*y + 16. Let k(p) = -p + 1. Let i be k(-4). Which is bigger: y or i?
i
Suppose 8*k + 16 = 4*k. Is k < -4?
False
Let m = 1 - 0. Let b = 105 - 105.01. Is b < m?
True
Let g be (-3 - -5) + -2*1. Suppose g*l = l. Which is bigger: l or 2?
2
Let h(j) = 40*j**2 + 3*j. Let s be h(5). Let q be (-360)/s + 6/21. Which is bigger: 0 or q?
0
Let h = 59 + -69. Let n = 11 + -19. Is n > h?
True
Let t = -10 + 14. Suppose t*s + 24 = 4*b, 0*s + 4*b = 2*s + 18. Is -4 greater than s?
False
Let j = 29 + -16. Is -2 at least as big as j?
False
Let h(i) = -i + 1. Let x be h(-1). Let w(q) = -3*q + 1. Let n be w(x). Let y be (n/3)/(-1) - 2. Does 0 = y?
False
Suppose -4*m + 223 = -j, m = 2*m + 2*j - 58. Suppose 4*c - m = -8. Suppose -4*w = 4 - c. Is 2 at least as big as w?
True
Suppose 5*t - t = 0. Is -6/11 at most t?
True
Let f(t) = t**2 + t + 2. Let k be f(0). Suppose 0 = 3*x + k + 4. Is -2 less than or equal to x?
True
Suppose 18*k = 7*k + 517. Which is bigger: k or 48?
48
Let z = -8 + 9. Let u = -2 + 2. Let w = u - z. Are w and -0.2 equal?
False
Let r be (9/(-30))/(3/(-4)). Let m = -3071/11 - -279. Do m and r have different values?
True
Suppose -2*j = -3*j + 2. Let o be 1/(-7*1/j). Which is greater: o or 0?
0
Suppose 0 = -t - 360 + 60. Let x be 2/(-8) + (-115)/t. Is x bigger than 0?
True
Let v = 74 - 1109/15. Does -1 = v?
False
Let v = 10.17 + -10. Which is greater: v or -2/3?
v
Let r = -2.9 - -3. Let x = -0.32 - -0.4. Let v = x + 5.92. Which is smaller: v or r?
r
Let z(w) = 4*w - 21. Let m be z(6). Which is bigger: m or 0?
m
Suppose -u - 40 = -5*o + 4*u, 0 = -3*o + 4*u + 27. Let q be (o/(-10))/(2/(-8)). Suppose 5*r = -5*c - 10, 8*r - 3*r = q*c - 3. Which is smaller: c or -2/5?
c
Suppose 0 = 3*v + 3, 2*v + 15 = -2*t + 5*v. Let g(n) = n**2 + 10*n + 11. Let b be g(t). Suppose 0 = -b*q - q + 6. Which is bigger: q or 3?
3
Let a be 5 - (-1)/(2/(-4)). Let z(i) = -i**3 + 2*i**2 + 2*i + 3. Let q be z(a). Which is smaller: -3/4 or q?
-3/4
Let w = 5 + -3. Suppose -3*t + 75 = w*t. Let l = 11 - t. Which is smaller: l or -5?
-5
Suppose 3*s = -5*m, -4*s - 2*m - 2*m = 8. Which is greater: -6 or s?
s
Let l be 5394/2235 + -2 - (-6)/(-15). Is -1 >= l?
False
Let r(a) = a**3 - a**2 + 2. Let g be r(0). Suppose g*y = 1 + 1. Let q = -0.4 - -0.7. Is y > q?
True
Let k = 2051 + -18485/9. Let c = -790/261 - k. Let w = c - -115/203. Which is smaller: w or -1?
-1
Suppose 0*h + 3*h + 3 = 0. Let q be 2922/(-3768) + (-2 - -1). Let f = q + 4/157. Which is smaller: h or f?
f
Let l = -7 - -10. Suppose 4 = -5*n + 9. Which is greater: l or n?
l
Let i(j) = j + 6. Let k = 114 + -165. Let b be 2/(-4) + k/6. Let z be i(b). Is z equal to -4?
False
Let x = 1 + 2. Let l be 8/x*6/4. Do l and 4 have the same value?
True
Let m be 3/(-4) + (-2)/8. Let u be 21/9 - (4 + m). Le