 b be h(5). Is b smaller than t?
False
Let k be 8/(-12) - (-46)/6. Let a be (4 - 4) + k/4. Let x be 5*((-24)/20)/(-2). Is x greater than a?
True
Let c(f) = -f**3 + 6*f**2 + 5. Let o be c(6). Suppose 0 = -o*h - 2 - 3. Is -2 greater than or equal to h?
False
Suppose 0*t = 4*t - 12. Suppose -2*p + c = p - 1, -2*c = t*p + 2. Which is smaller: 1/8 or p?
p
Let r be (-3 + 2)*(4 + 2). Which is smaller: -4 or r?
r
Let s(q) be the first derivative of -q**2/2 + 2. Let y be s(0). Is 0 bigger than y?
False
Let s be (4 + 88/(-20))/((-54)/5). Let i be 0 + (-3)/6*2. Do s and i have the same value?
False
Let x be (2 - -2) + 2/(-1). Suppose 0*y + x*y = 4. Which is smaller: y or 3?
y
Let z = 51/154 + -1/22. Which is smaller: 1 or z?
z
Let f = 52 + -39. Is 11 smaller than f?
True
Let j be 28/(-36) - (-2)/(-9). Let s be ((-24)/18)/(j + -5). Which is smaller: s or 1?
s
Let k = 13798 + -482964/35. Let z = -11/7 - k. Suppose -2*f + 11 - 13 = 0. Which is greater: f or z?
z
Let r(u) = u**2 - 44*u + 71. Let x be r(42). Let v be (2/(-4))/((-2)/(-56)). Which is smaller: v or x?
v
Suppose 0*y + y = 9. Suppose -4*v - 11 = y. Which is smaller: -7 or v?
-7
Let k(s) = s**3 - 3*s**2 - 6*s - 2. Let o be k(5). Suppose 5*v - o = -8. Suppose 0 = 3*f - 5*x - 19, -v*f - 2*x = -0*x - 2. Does f = 4?
False
Let c(y) = y**3 + 5*y**2 - y - 1. Let q be c(-5). Suppose 4*m = -z + 18 - 5, 5*m + 10 = q*z. Suppose 0*a = -z*a - 5. Which is smaller: 1/3 or a?
a
Let v = -0.03 + 0.06. Let o = 3.03 - v. Let x = o + -3. Which is bigger: -0.1 or x?
x
Let j be (12/15)/((-1)/(-30)). Suppose -8*o = -2*o + j. Which is bigger: o or 2/3?
2/3
Let c = -14/55 + 464/2255. Let t = 1 + 0. Is c >= t?
False
Suppose -3*a + 15 + 18 = 0. Let j = a - 8. Suppose 0 = -j*h - 1 - 2. Are -2/7 and h equal?
False
Let d be 42/(3 - (-4)/(-2)). Let c be -7 - -5 - d/(-27). Which is bigger: 1 or c?
1
Let b = -7/74 - -785/6734. Do 0 and b have different values?
True
Suppose 3*r - 18 = -6. Let m be 2/(-7) - 46/(-14). Suppose 0 = m*z + g + 2, -2*g - g = -r*z + 6. Is 2/9 > z?
True
Let g be 2*((-33)/(-6) + -1). Is 8 smaller than g?
True
Let y be 1 - (2 - (2 + -1)). Let o = 3994/11 + -364. Which is smaller: y or o?
o
Let i = -6 + 11. Is i at most as big as -1?
False
Let r be 4 + 480/9 + -4. Let c = r + -54. Let p = 463/7 + -66. Which is smaller: c or p?
c
Let z(c) = 5*c**3 - 1. Let b be -3 + ((-12)/(-3))/1. Let i be z(b). Suppose -i*d + 15 = 5*j - 24, 5*j = -3*d + 33. Is d greater than or equal to 2?
True
Let p(n) = -n - 10. Let g be p(-7). Let z = -2 - g. Is z at most as big as -3/11?
False
Let w = -13 + 20. Let f = -12 + w. Are f and -4 non-equal?
True
Let a(m) be the second derivative of m**3/6 + 3*m**2/2 + 5*m. Let d be a(-2). Are 1 and d nonequal?
False
Let y be 4/3 + (-6)/(-9). Suppose -y*x = -1 - 1. Is x >= -3/13?
True
Let o(r) = r**3 - 15*r**2 + r - 16. Let w be o(15). Which is smaller: w or 3/7?
w
Suppose 2*n = -0*n. Let t be 3*15 + 0 + n. Let g = t - 179/4. Which is smaller: 1 or g?
g
Let z = -2 + 0. Let s = -0.05 + 0.25. Which is greater: z or s?
s
Let v be (-3)/33*1/(-3)*2. Is 0.6 != v?
True
Let q = -1 + 1. Suppose -2*b + 25 = -7*b. Which is greater: q or b?
q
Let z = 54 - 48. Which is bigger: -1 or z?
z
Let v be 2/20*(-5)/(-1). Which is smaller: -14 or v?
-14
Let q = -20675/29 + 713. Is q smaller than 0?
False
Let a = 11 - 11.1. Which is bigger: a or 1.4?
1.4
Let p(j) = j**3 + 2*j**2 - 3*j - 1. Let d be p(-3). Suppose -3*c - 3*n + 4*n = 7, 0 = 2*c + 5*n - 1. Let g be (-1)/(-21) + c/(-7). Are d and g non-equal?
True
Suppose 40 = -7*t + 2*t. Let m be 15/(-6)*t/(-35). Which is smaller: -1 or m?
-1
Let i = 12 + -7. Suppose 0 = -i*u + 5*w - 5, 4*w - 28 = -6*u + 2*u. Suppose u*x - 4*x = -1. Is x at least 1?
True
Let a = 0.2 - 0. Let f be (-7)/3 - (-10 + 7). Is a less than or equal to f?
True
Let l = -8 - -11. Suppose 4*k - l = o + k, -22 = -4*o - 5*k. Suppose 2*z - 20 = -3*z. Is o greater than z?
False
Let a = -80 - -238/3. Suppose g = -2*c - 6, 0 = 4*g - 5*c - 3 + 1. Is g < a?
True
Let k be 2 + (-1 - (-3 + 1)). Suppose 3*o + 12 = -o, 3*r + 2*o - 9 = 0. Suppose r*v = v + 16. Which is smaller: k or v?
k
Let m be 1 + (2 + -1)*1. Suppose 3*n = -m*q - 0*n - 226, -4*n = 2*q + 230. Let v = q - -431/4. Which is greater: v or -2?
v
Suppose 3*u - 2*d = 40, 4*u + 0*u + 4*d - 40 = 0. Let a be 8/(-20)*(-15)/u. Do 1 and a have different values?
True
Let k = 37 - 35. Which is bigger: -14 or k?
k
Let u be 1/((-10)/85)*2. Which is smaller: u or -16?
u
Let u(m) = -m**3 - 1. Let c(j) = -7*j**3 + 11*j**2 - 10*j - 10. Let o(q) = -c(q) + 6*u(q). Let p be o(10). Suppose 8*s + 4 = p*s. Which is bigger: -7 or s?
s
Let b be 18000/9020 - (0 + 2). Is -1 less than b?
True
Let h = 6 + -5. Let z be (-2)/4*(0 - h). Let i be (2/2)/(2/(-6)). Which is smaller: i or z?
i
Let b = 0.88 + 0.12. Which is smaller: 1.3 or b?
b
Let g be -19 + 0 - (-1)/(-1). Let b be (-1)/(-2)*g/(-5). Which is smaller: b or 1?
1
Let q(n) = 4*n - 15. Let h(j) = -2*j + 3. Let m be h(3). Let d(z) = -3*z + 14. Let o(a) = m*d(a) - 2*q(a). Let i be o(11). Is i less than 0?
True
Let k be (2/5)/(2/(-110)). Let j = k + 12. Let a be ((-1)/j)/(6/12). Is a at most -1?
False
Suppose 4 + 23 = 9*i. Is i greater than 11/6?
True
Let k = -267/8 + 33. Is k < -1?
False
Let q be 100/(-15)*6/(-5). Let v be (q/3 + -3)*3. Which is bigger: v or -2/5?
-2/5
Suppose -3*n = 5*s - 25, n - 83 = -4*n + 2*s. Suppose -4*w - c = 3, 3*w + 0 = 5*c + n. Is w greater than or equal to 1/3?
False
Let d = 83338/51 + -1634. Are -1 and d non-equal?
True
Suppose 3 = 4*v - 3*i, -4*i = -3*v - 1 + 5. Is 0 at least v?
True
Let i = -14 + 16. Is 4 not equal to i?
True
Let x(j) = -3*j**2 + 22*j - 3. Let z be x(7). Is 6 at least z?
True
Let b(p) be the third derivative of -p**4/24 - 4*p**3/3 + 3*p**2. Let m be b(-9). Is m at least -1/6?
True
Suppose h = 2*h - 1. Let x be 21/35 - (-2)/5. Is x < h?
False
Let k = -22 - -16. Let a(g) = -g**3 - 6*g**2 + g. Let o be a(k). Let w be (-2)/4 + (-11)/o. Is 0 at least w?
False
Suppose 9*y - 5*y + 264 = 0. Let r be -6*((-76)/y + -1). Which is smaller: r or -1?
-1
Let k = -0.1 + 0.1. Let r = 0.01 + -0.01. Let n = r - k. Is -1/2 smaller than n?
True
Suppose 4 = 2*o - 0*c + c, -5*o + 5 = 5*c. Suppose l + 3*l + 4*r = -4, -5*l - 7 = o*r. Which is smaller: l or -4?
-4
Let l = -5/2 + 2. Is 0 less than l?
False
Suppose -5*i - 2*r + 26 = 0, -5*i + 3*r + 5 + 31 = 0. Let l be (455/30)/(2/i). Let f = l - 47. Is f smaller than -3?
False
Let f be 54/(-63)*14/2. Let z(q) = q**3 + 6*q**2 - q - 8. Let h be z(f). Which is smaller: h or -3/2?
h
Let q be ((0/(-3))/1)/(-2). Suppose -3*j - i = -2*i + 3, i + 3 = q. Suppose y - 5*o + 22 = -0*y, 5*y + 14 = o. Is y at most j?
True
Let t = -3 + -0.2. Is t greater than 1/3?
False
Let j = -31 - -24. Let d be (-6)/4 - (-1)/2. Is j greater than or equal to d?
False
Let l(b) = -2*b - 59. Let s be l(-25). Is -8 bigger than s?
True
Let a(p) be the second derivative of -p**4/12 + 2*p**3 - 9*p**2/2 + p. Let r be a(11). Is 3/4 <= r?
True
Let l be ((-2)/6)/(16/48). Let x = 11/6 - 13/6. Which is bigger: l or x?
x
Let l be ((-3)/(-4))/(3/(-2)). Let d = 11.3 + -2.3. Which is bigger: d or l?
d
Let c = -0.01 - -2.01. Let r = 0.03 - 0.03. Let m = c + r. Is 0 != m?
True
Let w(n) = -2*n + 38. Let u be w(14). Is u <= 12?
True
Let z(p) = p**3 - 12*p**2 - p + 11. Let c be z(12). Suppose 2*u + 1 = -1. Is u < c?
False
Let w(d) = -d**2 - 4*d - 4. Let n be w(-4). Suppose -l + 3 = 9. Are l and n equal?
False
Suppose 0 = v - 2 - 12. Are v and 13 nonequal?
True
Let b(c) = 13*c - 1. Let a be b(-2). Let h be ((-15)/(-20))/(a/8). Is h smaller than 1?
True
Suppose -q = -z - 2*z - 3, -2*q - 21 = 3*z. Do -34/5 and q have different values?
True
Suppose -5*f - 3*w + 17 = 0, 5*f + 3 = 3*w - w. Suppose -2*y + 3*y = n - f, 0 = -n + 3*y + 3. Let s be (-2)/4 + (0 - 0). Which is smaller: s or n?
s
Let c be (-75)/200*(-2)/(-6)*-2. Is 1 greater than or equal to c?
True
Let s(n) = -n**3 - 5*n**2 - 2*n - 7. Let p be s(-5). Let l = p + -4. Let v = 39/86 + 2/43. Is v <= l?
False
Let n = 0.7 + -0.7. Let x = 0.7 - 1.7. Let z = n + x. Which is greater: 2/7 or z?
2/7
Suppose 4*f + 850 + 302 = 4*p, 2*p - 5*f - 579 = 0. Suppose 959 - p = -3*y. Let c = 2910/13 + y. Is 0 != c?
True
Let y be 2/(-8) - (-253)/(-44). Let v(j) = -j**2 -