q + -6.3. Let h = -43/44 + 8/11. Is h >= b?
True
Suppose -3*g + 42 = 3*k, -2*g + 3*g - k - 10 = 0. Let m be 1 - ((-2)/(-12))/(2/g). Is -10/11 at least m?
False
Let r be (1 - 13/7)*7. Let t be (r/9 - 0)*-3. Suppose 3*o - 3*i = -27, t*i - i = 4. Are o and -6 equal?
False
Suppose 3*m = -k - 2*k - 129, -5*k = 2*m + 203. Let d = k + 48. Are 9 and d non-equal?
False
Suppose 0*j = -3*j. Which is bigger: j or -14.3?
j
Let n = 2028 - 2029. Is n greater than or equal to 2/565?
False
Let z = 1.987 + 0.013. Does 1 = z?
False
Let z = -89 - -802/9. Which is greater: z or 1?
1
Let m = 21/37 - 9867/370. Let y = 53/2 + m. Which is greater: y or 0.09?
y
Let t = 492/539 + -18/49. Let o = 0.51 - 0.41. Which is greater: t or o?
t
Let k be 4/18 + (-104)/(-585). Which is smaller: k or 2/13?
2/13
Let r(k) = 10*k**3 - 11*k**3 + 2*k**2 + k**2 + 4. Let l be r(4). Is -21/2 equal to l?
False
Suppose 0 = s - 4*j - 17, 0 = -0*j + 3*j + 9. Suppose 4*b + 32 = k, -10 = -b - s*k + 3. Let z = b + 32/5. Is z at least -1?
True
Let a(k) be the first derivative of k**2/2 + k + 9. Let c be a(0). Which is greater: c or -1/25?
c
Let b = 28.1 + -27.56. Let k(p) = -p**3 + 13*p**2 - 13*p + 11. Let z be k(12). Which is greater: b or z?
b
Let x = 358 - 74. Which is greater: 1 or x?
x
Let b(q) = 24*q - 119. Let u be b(5). Is -6/439 < u?
True
Let k be -2 + 18 + -2 + 2. Let w = k - 2. Suppose -w = 5*h + 1. Are -4 and h nonequal?
True
Let m = -15 - -74. Let g = -57 + m. Which is bigger: 0.12 or g?
g
Suppose -224 = 143*v - 151*v. Is v not equal to 26?
True
Let p = -2 - -4. Let z be 13/(-26)*(-1 + -1). Let u be 0/z - 0/(-2). Which is smaller: p or u?
u
Let d(w) = w**3 + 6*w**2 - 7*w - 7. Let n be d(-7). Let c be ((9 - 8) + n)*(-30)/4. Which is smaller: 46 or c?
c
Let d(q) = -q**2 - 7*q - 8. Let s be d(-7). Let u = s + 10. Let v(y) = -3*y - 5. Let f be v(-3). Is f less than or equal to u?
False
Let v = -1812/11 + 165. Suppose -3*k - o = -5*o + 19, 3*k + 7 = o. Is k greater than or equal to v?
False
Let n be (10/(-4) - -3) + (-2094)/(-12). Is 175 <= n?
True
Let n be (1/1466)/(20/(-48)). Let l = 4571/16126 + n. Let p = l + -1/10. Which is greater: p or 0?
p
Suppose -3*w - 20 = 4*j + w, 0 = -5*j - w - 9. Let d be -3 + (-3 - j) + -14. Do d and -19 have different values?
False
Let s be 2 - -1 - 78/30. Let b = 2/45 + s. Let c(r) = r**2 + 7*r - 1. Let m be c(-7). Which is smaller: b or m?
m
Let q be (-15)/5 - (-14)/2. Suppose 328 = q*i + 4*u, -2*u - 6 = u. Let n be ((-1)/(-4))/(7/i). Which is smaller: 0.4 or n?
0.4
Let f be 4293/30 + 2/(-4). Let i = f + -143. Let j(m) = -m**2 + 5*m - 3. Let o be j(3). Is i at least as big as o?
False
Let t = -0.01757 - -12.75157. Let f = 0.316 + t. Let m = f + -13. Is m less than -1?
False
Let q(u) = 2*u + 22. Let d be q(-14). Let b be (-12)/9*(-15)/d. Which is bigger: -4 or b?
b
Suppose 2*o - 7*o = -450. Let x be 152/690 + (-12)/o. Let m = -14 - -13. Is x <= m?
False
Let b = 17 + -19. Let u be (-35)/10 - -3 - b/4. Which is bigger: u or -4/33?
u
Let b = 1.105 - 0.975. Which is bigger: 2/25 or b?
b
Let g(s) = -s - 2. Let k be g(-5). Let m be -2 - (4/20 - k). Let c(w) = -w**2 - 5*w. Let x be c(-5). Is x at least m?
False
Let u = -23 - -28. Let h(k) = 2*k**2 - 12*k - 1. Let s be h(u). Is s >= -11?
True
Let l be ((-2)/(-6))/(1/(-9)). Let s = 5060/9 - 564. Which is smaller: s or l?
l
Suppose -4 = 3*j - 2*x + 2, -5*j = -5*x + 15. Suppose -5*k + 5*z + j = -90, 2*k + z = 39. Which is bigger: 21 or k?
21
Let u be 20 + (8 - (8 - -2)). Which is greater: -6 or u?
u
Let i = 3744/19 - 197. Let t(r) = -r**3 + r - 1. Let y be t(0). Is y at least i?
False
Suppose 0 = 5*c - 2*d - 10, -2*c + 17 = c + d. Suppose -x - 2 = 0, 3*x = -c*k + 5*k. Let v(w) = 2*w**2 - 50*w - 7. Let m be v(25). Is k != m?
True
Let h = 0.07707 - -69.78293. Let f = -70 + h. Is f greater than -1/4?
True
Let h be (-16)/14 - (-28)/196. Which is bigger: h or 1/304?
1/304
Let w be (-11 - -9) + 2 - (-62)/(-17). Is -5 at least as big as w?
False
Let s = 0.37 + 0.03. Let r = -75 + 72. Is s bigger than r?
True
Suppose 30*s = 33*s + 66. Let j = 1 - -3. Let v be (s/33)/(j/6). Which is smaller: v or -3?
-3
Let w = -34 + 24. Let q(j) = -19*j + 16 + 15*j + j**2 - 11*j. Let d be q(13). Is d <= w?
True
Suppose 11*d - 17*d = -36. Let r be 469/21 + 4/d. Is 24 smaller than r?
False
Suppose -3*n - 4*q - 47 = 0, -5*q + 2 = n + 25. Let j = 19 + n. Let x be 5/(-20) - (-117)/20. Is x greater than or equal to j?
False
Suppose 760 = 4*v - 3*t, -14*v + t = -15*v + 190. Does 190 = v?
True
Suppose -39*a + 484 = 3*b - 34*a, 0 = -b - 2*a + 162. Do 159 and b have different values?
True
Let o = -2106 - -2089. Is -324/19 != o?
True
Let o(h) = 2*h + 2. Let s be o(6). Let a be (6/9)/(s/(-357)). Let k = a + 12. Is k at least as big as -5?
True
Suppose -3*j = 2*j - 10. Let w be 2*(-134)/140 + j. Let q = w - -19/595. Is -1 at most as big as q?
True
Let j be (0 + -4 - 0) + 646. Let d = -3197/5 + j. Are d and 3 equal?
False
Suppose -z - 367 = -b, -3*z + 2*b = -0*z + 1099. Let j = z - -1120/3. Let x = 8 - j. Is -1/10 at most x?
False
Let j = 176 + -178. Let s(c) = -c**2 + 4*c - 4. Let z(l) = -l**2 - 9*l + 13. Let w be z(-10). Let b be s(w). Which is greater: j or b?
b
Let n = 3.93 - 14.93. Which is bigger: n or 11/5?
11/5
Suppose 252 - 87 = 5*m. Let g be 18/(-99) + 39/m. Which is greater: g or 5?
5
Let n be -1*(-24)/36*(-474)/(-4). Does 78 = n?
False
Suppose -5 = 4*f + f, 0 = -2*p + 2*f + 2. Is -1/1007 greater than or equal to p?
False
Let f = -12 + 12.03. Let v = -11.17 - f. Let l = 12 + v. Which is greater: l or -0.2?
l
Let s be -4 - ((-10101)/266 + (-1 - 0)). Let v = s + -35. Let t = 2 + -1. Is t > v?
True
Let o = 0.97 - 0.854. Let p = -5.884 - o. Suppose -3*m + 0*w + w = 9, 0 = -4*m - 4*w + 4. Is m > p?
True
Let h = 139 + -159. Let y = -21 - h. Which is bigger: 47 or y?
47
Suppose -22*x + 729 = 5*x. Is 22 bigger than x?
False
Suppose 0 = -0*s + 3*s + 66. Let c be (-1)/14*s - 1. Suppose 3*w = -4*g - 20, -3*g = 4*w + w + 15. Which is smaller: w or c?
w
Let w = -10/21 + 19/42. Suppose 5 = 81*d - 76. Is d less than w?
False
Let b = 33/4 + -26/3. Is 1 not equal to b?
True
Let f = -2 - -6. Let n be 3 - 4/(f/1). Suppose 3*t - 3*b = -n*b + 3, -15 = -4*t + 5*b. Is -3/7 < t?
True
Suppose 3*b = 2*a + 7, 3*b = 2*b + 3*a. Let n = 10 + -10. Suppose n = -2*f + 1 + 7. Which is bigger: f or b?
f
Let n(r) = -r**2 - 8*r - 2. Let w be n(-7). Suppose -w*s = -4*i - 16, -3*s + 5 = -2*i - 3. Let k be (1 + (-7)/9)/(12/42). Which is bigger: s or k?
k
Let f(g) = g**3 + 3*g**2 + 6*g + 5. Let z be f(-3). Is z at least -13?
True
Suppose 0 = -5*c + 2*v + 3*v + 30, 4*c + 2*v + 6 = 0. Let a be (256/(-40) - 4)/((-626)/120) - 2. Which is smaller: a or c?
a
Let a(i) = i**3 + 12*i**2 - 17*i - 21. Let s be a(-13). Let h = s + -25. Is 5 < h?
True
Suppose b = 5*b + 12. Suppose 21 = -8*d + 5*d. Let q = 7 + d. Is q < b?
False
Let i = 1.93 - -0.07. Let h = -70 - -21. Let g = 50 + h. Which is smaller: i or g?
g
Let h(n) = 3*n**2 - 14*n - 101. Let u be h(-6). Is u smaller than 90?
False
Let x(w) = w**3 - 8*w**2 - 9*w + 7. Let p be x(9). Suppose p + 9 = 8*g. Let o be 2/7 + 55/28. Which is smaller: o or g?
g
Let c(z) = z**2 + 7*z - 12. Let y be c(-8). Let p be (-45)/(-11) + (y - 0/(-5)). Let k(n) = -n + 5. Let x be k(4). Does p = x?
False
Let m(h) be the second derivative of h**3/3 + 12*h**2 + 9*h. Let y be m(-10). Let z be 4 + (2 - 3)*y. Is z less than 5/4?
True
Suppose -3*o = -5*d - 17, -2*o - 3*o - 4*d = -16. Suppose 3*b - 8*b = o*b. Are b and -5/4 unequal?
True
Let y(m) = m**2 + 6*m + 5. Let b be y(-6). Let u(n) = n**3 + 8*n - 2*n**3 + 7*n**2 - 6 - 2*n**2. Let t be u(6). Which is greater: t or b?
t
Let j = 0.43 + -0.53. Which is smaller: -11/4 or j?
-11/4
Suppose 16 - 2 = 7*k. Let n = 43 - 43.3. Is k <= n?
False
Let x = 26.67 + 0.33. Let j = x + -26.5. Let d = 3.7 + -0.7. Are d and j equal?
False
Let u be ((-29)/(-87))/(1/(-9)). Which is smaller: u or 2/73?
u
Let f(y) = -11 + y**3 + 27*y**2 + 19*y - 6*y**2 - 9. Let q be f(-20). Which is smaller: q or -2/55?
-2/55
Let u be -1 + (-220)/(-5) - -3. Let h be (u + -2)/4 + -3. Suppose 5*i + 9 = -2*g, -g - i = -0 - 3. Do h and g have different values?
False
Let w(o) = o + 20. Let k be w(-13). Suppose 0 = 2*y - 5 + k. Does y = -4/3?
False
Let s(k) = 