(a) = a**2 - a - 213. Let p be u(-14). Which is bigger: 0.052 or p?
0.052
Suppose 0 + 0 = -3*y. Let m(s) = -s - 7. Let q be m(-11). Suppose -4*b - 4*k - 20 = 0, -q*b + 3*k = -14 - 1. Does y = b?
True
Suppose -5*v + 35 = -5*g, 3*v - 3*g - 2*g - 11 = 0. Suppose -t + v = 2*t. Suppose -t*r + 13 = -7. Is 0 not equal to r?
True
Let u = 14 + 8. Let w = u - 15. Which is smaller: w or 8?
w
Let x = 48.1 + 10. Let h = 58 - x. Does -0.4 = h?
False
Let c(j) = -1 - 2*j - 6 + 5*j**2 - 20*j**3 - 1 + 21*j**3. Let t be c(-5). Is -0.1 <= t?
True
Suppose -4*l = -4, 0 = 5*w + 5*l + 241 + 19. Let q = w + 50. Is 4 at least as big as q?
True
Let y = -31 - -14. Let l be (-45)/y*247/(-3). Let n = l + 218. Which is greater: n or 1?
1
Let q be (96/(-60))/(-1 - (-21)/15). Let h be (-1)/(-5*q/20). Is h less than 6/53?
True
Let u(i) be the second derivative of -i**4/6 - 5*i**3/6 - 4*i**2 - 28*i. Let h be u(-4). Which is smaller: h or 0?
h
Suppose 0 = -2*a + 4*a. Let h be 4*(1 - (-2)/(-1)). Let j be h/5 - 168/(-220). Do j and a have the same value?
False
Let w be 2/(-104)*8/(-5). Let t = w + -73/260. Which is greater: t or 0.2?
0.2
Suppose -5*m - 26 = -r, -5*m - 141 = -5*r - 51. Is 13 != r?
True
Let h = -7 + 9. Let v be 0 - ((3 - h) + 2). Let r be (4 + v/1)*0. Is -1 != r?
True
Let j = -260 - -258. Is -41/53 bigger than j?
True
Let l = 27 - 92. Let k = -65.3 - l. Which is greater: k or -13?
k
Let m(r) = -14*r + 1. Let i(k) = 29*k - 3. Let t(j) = 3*i(j) + 7*m(j). Let n be t(-2). Is n not equal to 19?
True
Let q be (72/(-882))/(1*1/2). Do -1 and q have different values?
True
Let y = 0.101 + 107.899. Let i = y - 109. Is -0.09 greater than i?
True
Let f = -8 + 7. Let c be (8 - 5) + (-78)/25. Are c and f nonequal?
True
Suppose 4*o = r + 26, 3*r + o - 67 = 6*r. Is -22 >= r?
True
Let g = 891 + -1206. Which is greater: -314 or g?
-314
Suppose 0 = -20*q - 22*q - 6384. Is q < -152?
False
Let w = -139 - -565/4. Let q = -6 - -10. Suppose 2*m = 3*s + 21, 3*m + 2 = -3*s - q. Which is smaller: m or w?
w
Suppose 475 = 5*k - 5*m, -m = -0*k + 4*k - 360. Suppose -k = -19*x + 26*x. Is x greater than -27/2?
True
Let q be (-1 + 266/8)*9/81*12. Let d be (-172)/(-6)*(-6)/(-4). Is q at least d?
True
Let g be (10/8)/((-1)/(-4)). Suppose 0 = -4*y + c + 45 + 84, 156 = g*y - 3*c. Is 33 equal to y?
True
Let v be (-2)/21 - (-9523)/1869. Let h = -1 + 1. Are h and v equal?
False
Let i = 0.4 - -1.6. Suppose 0 = 3*n + 3 + 33. Let r = n - -11. Is r <= i?
True
Let l(j) be the second derivative of -j**5/20 - j**4/2 - j**3/6 - j**2 - 6*j. Let f be l(-5). Is -65/3 at least f?
True
Let t(f) = -2*f - 6. Suppose 0 = -0*m + m + 5. Let z be t(m). Suppose 6*y = -j + y + 20, 0 = 4*j - y + z. Is -2/7 equal to j?
False
Let t = 1222 - 1219. Let b = 11 + -7. Is b equal to t?
False
Suppose -5*z = 2*f + 30, -5*z - 3*f - 16 - 9 = 0. Let t be (-12)/16 + 17/(-4). Which is bigger: z or t?
t
Suppose t - 3*t - 14 = 0. Let j be t/(((-9)/21)/3). Let a be (-2)/1 + 140/j. Is 0 <= a?
True
Let n be (6/52)/(173/346). Is n less than or equal to -4?
False
Let j be -3*1 - (62/(-20) + 0). Suppose 2*p = -5*t - 81, -5*p = t + 2*t + 174. Let w be 2/11 + 72/p. Is j > w?
True
Let v = -2 - -1. Let o = -2 + -11. Which is smaller: v or o?
o
Let x = -0.3 + 9.05. Which is bigger: x or -2/7?
x
Let h = -0.03 + 0.43. Let w be ((-4)/(-30))/(2227/1965). Is h at most w?
False
Let f be (-232)/28 - (-4)/14. Let y = f - -8. Let g be (4 - y)*18/24. Is g < 2?
False
Let q = 487/110 + 4/55. Is 0.3 at most q?
True
Suppose -2*b - 24 = -8. Suppose -2*y = 3*j - 8, -4*y - 5 = -3*j - 3. Let m = -11 + y. Which is greater: m or b?
b
Let o = 22/533 + -8/41. Let j(i) be the second derivative of -i**4/12 - 4*i**3/3 + i**2/2 - 4*i. Let x be j(-8). Is o less than or equal to x?
True
Let a = -456 - -453. Is -22/5 < a?
True
Suppose -13*n = -0*n + 6*n. Which is bigger: n or -401?
n
Let g be (-4)/1374*(-23 - -26). Let q = 225/458 - g. Is q at most 4?
True
Suppose 0 = -3*i + 15, 4*i = 2*y - 3 + 23. Suppose 13*w - 21*w - 64 = y. Which is smaller: -16 or w?
-16
Let h(z) = -z**3 + 5*z**2 + 5*z + 7. Let v be h(6). Suppose p = 20 - 17. Let u be p + -4 - (-2)/v. Which is smaller: -1/4 or u?
-1/4
Let q be (4 + (-18)/4)*12. Let n be q/(-4) - (14 + -11). Which is smaller: n or -1?
n
Suppose -3*p = 5*y + 5 - 1, -4*p = -2*y - 12. Let w = 5/6 + -13/30. Which is smaller: w or p?
w
Let k = -250 + 251. Are 2/175 and k non-equal?
True
Let l = -5 - -5.004. Let q = 74 - 75. Which is greater: q or l?
l
Let a = -0.043 - 24.957. Let k = a + 25.3. Is k less than -1/6?
False
Let z = -35 + 35. Suppose z = -3*w + 2*w - 1. Are -2/9 and w unequal?
True
Let b be (-4)/20 - (134/155 + -1). Let p = 12 - 12. Is p > b?
True
Let c be -2 + 9 - 10*(-36)/(-120). Let i = 223/15 - 51/5. Is c less than or equal to i?
True
Let o(u) = -3*u**2 + 40*u + 1. Let j be o(10). Which is bigger: j or 100?
j
Let m be 0 + (-120)/25 + 1/(-5). Let w be (60/8 + 3 + m)*-6. Which is bigger: w or -32?
-32
Let j = -134 + 133.8. Which is smaller: j or 241?
j
Let s = 27928273/9 - 3094848. Let p = -8272 + s. Let x = -65/3 + p. Do x and 1 have different values?
True
Let v(n) be the third derivative of -n**6/120 + n**5/12 + n**3/3 - 2*n**2. Let s be v(5). Let g = 96 - 668/7. Which is greater: g or s?
s
Let d(w) = -37*w + 332. Let p be d(9). Does p = 4/171?
False
Let h be -2 + 38/(-2) - 0. Let m be ((-12)/h)/(9/21). Suppose 3*y - 1 - 3 = c, 0 = -2*y - 5*c + 14. Is y bigger than m?
True
Suppose -5*x + 226 = -54. Suppose 3*q + x = 5*q. Let l = q - 24. Is 6 less than l?
False
Let k = -2698 + 2699. Is 44/35 less than or equal to k?
False
Let q = 0.0123 + 0.1877. Is q at least 25?
False
Let x(n) = 3*n + 138. Let l be x(-46). Which is smaller: -3/203 or l?
-3/203
Let y = 11.2 + 2.8. Let k = 11 + 4. Let q = y - k. Is q bigger than 0.11?
False
Let s = -8 - -15. Suppose j - s = -3. Suppose 2*x - j*x = -10. Are 5 and x non-equal?
False
Let a be (-264)/96 + 109/(-4). Which is greater: a or -37?
a
Let w be (-1)/(-1 - (-12)/9). Let u(t) = 5 + 5*t - 6*t - 1. Let r be u(6). Which is bigger: r or w?
r
Let f = -1.8164 + -0.1836. Which is smaller: -890 or f?
-890
Let k be ((-4)/6298)/((-1)/779). Let m = k + -36/67. Which is greater: 0 or m?
0
Let c(p) = 2*p - 11. Let r be c(8). Suppose 3*x = 3*a - 21, -5*a + 67 = r*x - 18. Let j be ((-22)/6 - -3)*a. Is j >= -8?
True
Suppose -9 = -3*j - 4*r, -7 = 2*j - 3*r + 4. Let o = -19/160 - 101/160. Is j at least as big as o?
False
Let g = 2155 - 273687/127. Let s = 949 - 948. Which is smaller: g or s?
g
Suppose 7 = 4*u - 17. Suppose 5 = g - u*g. Let s(y) = y**3 + 14*y**2 - 15*y - 1. Let z be s(-15). Is z bigger than g?
False
Let h(n) = -n - 2. Let u be h(-3). Let m be u/2*0/((-3)/(-1)). Which is smaller: -2/73 or m?
-2/73
Let q be -406 - (-9 - -7 - 0/2). Are q and -404 equal?
True
Let o be (-6)/(-4) - 6/(-4). Suppose 4*n - 26 = -y, n - 2*n = -o*y + 26. Let r = -9 + y. Are r and 3 non-equal?
True
Let k = -43 - -41. Which is smaller: k or -3?
-3
Let d be (-7)/42*-6*-22. Is 4 at least d?
True
Suppose 0 = 5*w - 2*j + 46, -4*w + 0*j - 2*j - 26 = 0. Let t = -13 - w. Let n be (3 + 16/(-6))*1 - 1. Which is greater: n or t?
n
Suppose -3*u - 20 = -2*k, 2*u + 33 = 5*k + 3*u. Let w be k/(21/(-30)) - 4. Which is greater: -13 or w?
-13
Let b = -6 - -9. Suppose -4*z = b*z. Let i = z - 2. Which is smaller: i or -3/2?
i
Let k = 1794 - 12707/7. Is k != -20?
True
Let j = 0.17 + -31.17. Let a = j - -32. Let z = 0.01 + 0.29. Is z <= a?
True
Let j be (-210)/8708*(-248)/(-3) - -2. Is j at least as big as 1?
False
Let y = -1.135 + 0.135. Is y greater than or equal to 2/9?
False
Suppose 0 = 5*m + 1 + 19. Suppose -25 = -2*q - 31. Do m and q have the same value?
False
Suppose -r + 23 = 21. Suppose 5*n + 4*h = -7, -3*n - 12 = 7*h - r*h. Let p be n/2*(2 + 1). Is 3 <= p?
False
Let x(q) = -5*q**3 + q**2. Let c be x(1). Let b = -8 + c. Which is smaller: -13 or b?
-13
Let f(c) = c**3 - 4*c**2 + c - 3. Let m be f(4). Let t = -2 + m. Let g = 1/6 + -7/18. Is g > t?
True
Suppose -326 = -4*i + 54. Suppose 4*g = 2*u + 56 + 12, -5*u - i = -5*g. Is 2/11 <= g?
True
Let f(y) = 2*y + 5. Let g be f(-5). Let k(o) = o**2 - 12. Let z be k(g). Let m = 21 + -9. Which is smaller: m or z?
m
Suppose 0 = -4*z + d + 16, -4*z - 4*d - 1 = 3. Suppose -2*i = -4*c - 4*i - 6, z*c - 5