0). Is -8/21 smaller than u?
True
Let w be 15/(-35) + 6/14. Let s be w/(-2) + -3 - (-10)/2. Let f be (-16)/(-12)*(-3)/(-7). Is f less than s?
True
Let t = 296 + -292. Do 9/5 and t have the same value?
False
Let w(v) be the third derivative of v**4/24 - 5*v**3/6 + 7*v**2. Let f be w(3). Let n be f*(14/(-4))/(-7). Is -1/7 <= n?
False
Let s = 892 - 834. Are 60 and s equal?
False
Let t = -34 + 443/13. Are 1 and t equal?
False
Let y(u) = u**3 + 3*u**2 - u + 5. Let p be y(-4). Let n = 24 + -23. Suppose q - a = -8, -n - 13 = 2*q - a. Are p and q unequal?
True
Let b be (-81)/(-108)*6/207*1. Let n(j) = -j - 4. Let y be n(-4). Are b and y unequal?
True
Suppose 0*k + 13 = s + 2*k, 0 = -4*s - k + 52. Let m = -10 + s. Suppose 1 = -m*b + 4. Which is smaller: 5/7 or b?
5/7
Let i = -17 + 29. Suppose -4*r + r = -i. Let y = -497/5 - -99. Which is greater: r or y?
r
Let k = -0.02 - -2.62. Let z = k + -17.6. Which is bigger: 2 or z?
2
Let g = 60 - 62. Let j(k) = k**3 - 2*k - 3. Let t be j(g). Is -6 < t?
False
Suppose -x - 6 = 4*m + 1, 5*m = -4*x - 17. Suppose 0*f - 3*f - 18 = 0. Let s be ((-4)/f)/((-16)/(-6)). Which is greater: s or m?
s
Let r be (-2)/(-2) + 0/(-2). Suppose 4*h - r = -21. Which is smaller: h or -6?
-6
Let h(k) = -k**2 - k + 6. Let z be h(0). Suppose 12 = 5*m - 2*t, -z*t = -3*m - t + 11. Is m <= 18/7?
True
Let c = -1050 + 1050.1. Which is bigger: c or 0.0268?
c
Let p = -3775 + 41483/11. Let i = 179/44 + p. Which is greater: 11 or i?
11
Let u = 124 - 175.2. Let a = 51 + u. Which is bigger: -0.16 or a?
-0.16
Suppose -3*p - 746 = 4*d - 287, 0 = -3*p - 5*d - 459. Are p and -153 non-equal?
False
Let c(b) = 2*b**2 + 3*b - 9. Let r be c(-6). Let f be (-138)/r + (-7 - -10). Is f != -1?
True
Let x(f) = f**2 + 4*f - 6. Suppose 3*c - 2*i - 3 + 1 = 0, c + i + 1 = 0. Suppose 0 = -2*o - c - 10. Let p be x(o). Is p <= 1?
True
Suppose -4*t + 61*w - 56*w - 19 = 0, -4*t = -2*w + 10. Which is smaller: t or -2/223?
t
Suppose -22 = -l - 4*v, 4*v = 33*l - 37*l + 136. Which is smaller: l or 20?
20
Let t be (498/(-8))/(3 + (-77)/28). Let h = 6722/27 + t. Which is greater: h or 0?
0
Let i be 4/((-248)/(-114)) + -2. Let x = -127/403 - i. Let q be (-3)/(-9)*(-15)/5. Is x > q?
True
Let h(p) = -6*p**2 + 11*p + 16. Let f(x) = -x**2 + 1. Let g(k) = -5*f(k) + h(k). Let a be g(12). Is -1/3 <= a?
False
Let x(s) = -3*s**2 + 15*s + 2. Suppose 4*w + 4*v - 28 = 0, 0 = -5*w - 9*v + 5*v + 33. Let q be x(w). Let j(l) = l**2 + 4*l + 4. Let k be j(-3). Is q < k?
False
Let g(z) = z**2 - 13*z + 12. Let o be g(12). Let y(a) = -a**2 + 2. Let w be y(o). Suppose -5 = -3*i - w. Is i bigger than 3/4?
True
Let z = -119/303 + 6/101. Which is bigger: 2/15 or z?
2/15
Let m = 309 + -310. Is m < -31/20?
False
Suppose -85 = 5*y - 2*z + 442, 0 = -5*y - z - 524. Is -112 >= y?
False
Let a = 14 - 15.2. Let t = a - -0.2. Suppose b - 1 = 3*d, -2*b - 27*d = -24*d + 25. Which is smaller: b or t?
b
Let h = 28 + -20. Let n = 696 + -687. Is n < h?
False
Let s(j) = 4*j**3 - 2*j**2 - 4*j - 4. Let g be s(-5). Is g > -534?
False
Let u = -618 - -617. Is -74 greater than or equal to u?
False
Let b be (-33)/(-539)*(-1)/3. Is 0 smaller than b?
False
Let i = -23/5 + 11/10. Suppose 0 = -2*o - 2, -o + 6*o + 20 = 3*n. Suppose -7*y - 29 = -2*y + 4*c, -2*y + 5*c - n = 0. Are i and y nonequal?
True
Let b = 106 + -56. Let v = -49.9 + b. Which is greater: v or -0.15?
v
Let g = -253/2235 - 3/149. Let o = -1.9 - 0.7. Let z = o - -3.6. Which is bigger: g or z?
z
Suppose 0 = -3*z - 169 - 92. Which is greater: -88 or z?
z
Suppose -3*d + 2*d + 5*c - 30 = 0, 0 = -4*d + 2*c - 120. Let p be (0 + -4)/(d/45). Which is smaller: p or 15?
p
Let u be 6*((-2)/5 - 41478/(-103770)). Do -1 and u have different values?
True
Let r be 2/(-14) - 29/(2030/(-12400)). Which is smaller: r or 2?
2
Let w = 44 - 92. Let x = -48.1 - w. Are x and 2/21 equal?
False
Let r be -94*4/760 + (-6)/57. Is -8.9 <= r?
True
Let u be (-163)/(-15) + 1 - 6/(-45). Let z be (30/u - 1)*(-1 - -7). Let y = -9 - -18. Is z less than or equal to y?
True
Let g be 2*(45/(-6) + 2). Let y = g - -8. Suppose -9*v - 52 = 4*v. Which is smaller: y or v?
v
Suppose 2 - 45 = -r. Let i = r - 73. Do i and -30 have different values?
False
Suppose 2*t = 3*i - 5*i, t = -5. Suppose 0 = 2*r + k - 6, 5*k + 1 = -r - i. Does 5 = r?
False
Let h = -221 - -796. Is 577 greater than or equal to h?
True
Let r be (-8)/36 + 88/477. Let j(m) = 2*m**2 - 25*m - 12. Let u be j(13). Suppose -p - 5 = 2*o + 3*o, -o = -3*p + u. Which is smaller: o or r?
o
Let g be 0 - 2/22 - 24531/(-256410). Is g >= -1?
True
Let c = 504 + -240. Is 264 smaller than c?
False
Let n be 8 - 1905/(-1893) - 9. Do 0 and n have the same value?
False
Suppose 3 = -5*a + 78. Let h be -2*1*(-3)/a. Which is greater: h or 10?
10
Let g be (-6 + 102/(-2))*7/(-9). Let n = 45 - g. Which is bigger: -0.2 or n?
n
Let h be (-274)/7 + (9 - (-2 + 5)). Is h > -34?
True
Let i = -66 + -349. Do -1659/4 and i have the same value?
False
Suppose -36 = -4*b + 3*h - 92, -3*b = 2*h + 25. Suppose 1635*x + 99 = 1626*x. Is x smaller than b?
False
Let a be (2*1/865)/(69/115). Are 1 and a equal?
False
Suppose -4 = -y - 2*t + 4, 5*y - 55 = 5*t. Suppose -4*w = w - y. Let v = w + -3. Is v at most as big as -2?
False
Let s be -1 - 1248/(-27) - -2. Let t = -71 - -24. Let c = s + t. Which is greater: 1/2 or c?
1/2
Let v = -14.5 + 14.28. Which is smaller: v or -0.09?
v
Let t = 525 + -525. Is t <= 20/53?
True
Let l(y) = -y**2 - 9*y + 17. Let n(x) = 2*x**2 + 18*x - 35. Let r(j) = -13*l(j) - 6*n(j). Let u be ((-5)/1)/(21/42). Let i be r(u). Which is smaller: -3/2 or i?
-3/2
Let g(m) = -2*m**2 - 27 + 6 + 3*m - 23*m - 4. Let s be g(-10). Which is smaller: -73/3 or s?
s
Let l = -31 - -31. Suppose f + 2*f = l. Suppose -22 = 2*x + 4*t + 10, -3*x + 4*t - 18 = f. Which is bigger: x or -11?
x
Let x be (-3)/((-437535)/(-11871843)) + 3. Let z = x + 4/9723. Let m = z + 78. Which is smaller: m or 0?
m
Let g be 4/6*-6 - 6. Let y = 16 + g. Are y and 5 equal?
False
Let g = 122.05 - 19.95. Let a = g - 101. Which is bigger: 2/11 or a?
a
Let a be 7/6 + (-4)/6. Let h = 54 - 46. Let d = h + -8. Is d at most a?
True
Let b = 2.365 + 13.735. Which is greater: b or -0.2?
b
Let t = 1.39 - 26.49. Let p = t + 25. Let c = 48 + -243/5. Is p greater than c?
True
Suppose 4*u + 3*f - 24 = 0, 4*f + 3 = -u + f. Which is greater: 48/5 or u?
48/5
Let g = -246 - -233. Is 2/15 greater than or equal to g?
True
Let j be 175/56 - (-1)/(-8). Suppose 4*t - j = t. Let x = t + 0. Which is greater: -4 or x?
x
Let q = 156 - 86. Let j = q + -70.1. Which is bigger: -1.1 or j?
j
Let i = 12.7 + 3.3. Is i less than -0.4?
False
Suppose g - 2*k = 2*k + 3, 4*g = -k + 12. Suppose g*h - 10 = 2*t, t + 15 = 4*t + 3*h. Is t at least 5/9?
True
Suppose 5*p = -2*w + 34, 0 = 3*p + 3*w - 6*w - 33. Let c be 1 - ((-1)/(-2) + (-4)/p). Which is bigger: c or 6/11?
c
Let h be (-3)/2*(-2)/(-1). Let k(w) be the second derivative of w**4/12 + w**3/6 - 12*w. Let s be k(h). Do 5 and s have the same value?
False
Let k be 15/(-2 + 6 - 5). Let s be (5/20)/(k/24). Which is bigger: s or 0?
0
Let b(w) = w**2 + 3*w + 22. Let m be b(15). Is 290 < m?
True
Let o(h) = -9*h - 135. Let p be o(-22). Is 64 at least p?
True
Let r = 990 - 1157. Which is greater: r or -163?
-163
Suppose -x = -6*x + 55. Let f = x + -13. Which is greater: f or -14/9?
-14/9
Let l = -1 + 1. Let s = l - 2. Let i be (16/(-40))/(-1 + 0). Is i at most s?
False
Let g = 172 + -194. Is -20 at most as big as g?
False
Suppose 6*w - 360 = -2*w. Suppose -46*t + w*t = -1. Which is bigger: -1/17 or t?
t
Let l = 0.1 - 0.41. Is l at most -1?
False
Let n be (-8)/(2 + 9/(-4)). Let a = n + -32. Let q = -4605/17 - -271. Which is smaller: q or a?
a
Suppose -4*u = -8, -7*u = -5*z - 2*u + 155. Let w = z - 1748/53. Is -1 smaller than w?
True
Let h(v) = -3*v**3 - 21*v**2 - 14. Let m be h(-7). Suppose 4*z - 3 = -63. Which is greater: m or z?
m
Let j(z) = z**2 - 8*z - 10. Let t be j(9). Let u(w) = -w**2 - w + 6. Let q be u(0). Suppose 3*g = q - 12. Which is greater: g or t?
t
Suppose 5*n - 29 = -9. Let o be (4 + -2)*(-2)/n. Let i = 331/1962 - 2/981. Which is smaller: o or i?
o
Let d be ((-6)/5)/((-6)/15). Suppose w = -u + 29, u - 23 = -0*u - d*w. Is u < 31?
False
Suppose 4*k + 2 + 14 = 0. Let p(h) = h**3 + 5*h**2 + 6*h + 