.92 + -0.08. Let q = -34 - w. Let i(d) = d**2 - 9*d + 9. Let t be i(8). Is t at least as big as q?
True
Suppose 7*n + 5 = 2*n. Let a = 267 - 3477/13. Which is smaller: n or a?
n
Suppose 4*q = 2*p - 16, -3*q = 2*q + 3*p - 2. Is -1 < q?
False
Let l(u) = 2*u**2 - 7*u - 6. Let d be l(-1). Suppose -d*k + 5 = -5*p - 7, -4*k + 16 = -5*p. Is -2/11 < p?
True
Let g be (-4 - -6)*1*-1. Let l be (-1)/(-2) + (-66)/60. Is g greater than or equal to l?
False
Suppose -6*l = 3 - 9. Which is smaller: 5/206 or l?
5/206
Let w = -35 + 12. Let u = 23.1 + w. Does u = -3?
False
Let s = -2309/3 - -16265/21. Are s and 5 equal?
False
Let w = 368 - 379. Is -9 smaller than w?
False
Suppose 2*l + 5 = 7. Let b = -96 + 6239/65. Which is bigger: b or l?
l
Let q be (-4 - 2) + 96/16. Let z = -39 + 506/13. Are z and q non-equal?
True
Let i = -59 + 105. Suppose j + 19 = -3*n + i, 2*n = -5*j + 31. Let k = 53.1 - 52.1. Which is smaller: k or n?
k
Let v = -17.73 - 0.27. Let s = v + 21. Are -1 and s nonequal?
True
Let r = -38.4 - -32. Let p = 7.2 + r. Is p at most -2?
False
Let w = 0.0726 - 0.1226. Let a = 0.1 + 0.1. Let u = a - w. Is 0.1 bigger than u?
False
Let r = 1691.13 - 1702. Let b = r + -0.13. Let t = b - -11. Is -2 greater than t?
False
Let x = 162 - 1347. Is x at most as big as -1185?
True
Let w = 756 - 756.853. Let s = w + -0.147. Is -142 at most as big as s?
True
Let m = 0.0347 - -0.0653. Is m smaller than 61?
True
Let w = 2977 + -3097.84. Let n = 121 + w. Are -0.2 and n equal?
False
Let h = 250 + -249. Which is smaller: 2/399 or h?
2/399
Let n = -0.5 + 0.38. Let v = 160 - 175.2. Let b = v - -17.2. Is n at least b?
False
Let q = -2813/45 - -317/5. Let c = 46/5 - 424/45. Let v = c + q. Is v < 1?
True
Let m(p) be the third derivative of p**5/60 + 3*p**4/8 - 8*p**2. Let q be m(-9). Which is greater: 1/10 or q?
1/10
Let q be 7/(-28)*(-12)/3 + 0. Is q greater than -4/45?
True
Let n = 6.85 - 7. Let a = 0.031 - 1.031. Which is smaller: n or a?
a
Let w = -144 - -592. Let d = -2233/5 + w. Let h = 18073 + -18073. Is h less than or equal to d?
True
Suppose 5*k + 2*q - 14 + 92 = 0, -3*q - 12 = 0. Is -20 bigger than k?
False
Let f be (-2146363)/(-351) - 4/(-1). Let b = 6119 - f. Let o = 692/1755 + b. Which is smaller: o or 1?
o
Suppose -f + 4*f - 21 = 0. Suppose -f*p = -2*p - 545. Let j = p - 439/4. Which is smaller: -2 or j?
-2
Let j be (-3)/6*(-13)/(1911/14). Is j at most -1?
False
Let w = 492.937 - 493. Is 0.2 smaller than w?
False
Suppose -g = -2*g. Which is greater: -12/11 or g?
g
Let q be (-2)/((2/(-59))/(-1)). Let j = q - -56. Which is greater: -26/9 or j?
-26/9
Let p = -3.1843 - -1.1843. Let t = -0.26 - -0.3. Does p = t?
False
Suppose 2 = -c + 4, -4*c = 3*u + 106. Let m(v) = -37*v**2 + 24*v + 23. Let p be m(-1). Do u and p have different values?
False
Let v = -0.1 - -0.1. Let x = -11 + 10.89. Let q = x - -0.04. Which is bigger: q or v?
v
Let y be (7/(-21))/(38/24). Suppose -24*s + 8 = -16*s. Which is greater: s or y?
s
Let b be (-15)/10*(-40)/(-2570). Which is greater: 0 or b?
0
Let f = -0.48 - -3.18. Let s = -2.83 + f. Let a = -0.33 - s. Which is smaller: a or 1?
a
Suppose 27 = -5*n - 208. Which is smaller: n or -46?
n
Let u(b) = 2*b - 8. Let y be u(5). Suppose -2*z + 5*o - 4*o + 133 = 0, z = 2*o + 68. Let q = 135/2 - z. Which is smaller: y or q?
q
Suppose 3*z + 163 = 307. Let a = -50 + z. Let b = 5/33 + 2/11. Which is bigger: b or a?
b
Let t(j) = -65*j - 139. Let f be t(-2). Are f and -8 nonequal?
True
Let g = 1423 + -1422.7. Which is smaller: -52 or g?
-52
Let y = 758 + -765. Is y less than 3?
True
Suppose -2*w + 160 = 4*d - 62, 3*d - 3*w = 162. Suppose -3*z + 2*b + d = -19, 4*b - 20 = 0. Is z bigger than 30?
False
Suppose -3 + 2 = b. Let d be 8730/3444 + b + -2. Let h = d - -3/82. Is 0 greater than h?
True
Let q = 120 - 124. Which is bigger: q or -1?
-1
Suppose 0 = 3*n + 17*n - 60. Let h(q) = q + 12. Suppose -4*l + 5 = 41. Let y be h(l). Is y greater than n?
False
Suppose g = 4 - 6. Suppose -14*z = -19*z - 10. Is g greater than or equal to z?
True
Let x be (-10 + 0)/(-2) - 66600/(-400). Which is greater: x or 171?
x
Suppose 0 = d - 2*d + 3*b - 28, -2*d - 2*b - 56 = 0. Which is smaller: -12 or d?
d
Suppose -1457 = -67*h + 20*h. Which is smaller: h or 17?
17
Let i = 50.087 - 0.087. Let q = i + -50. Do q and 3/8 have different values?
True
Let c be 903/(-2331) - (-1)/3. Is 0 at least as big as c?
True
Let v = 18.484 + 0.016. Which is greater: 1/3 or v?
v
Let n = -35 - -90. Let l = -61 + n. Is l greater than -5?
False
Let c(y) = 3*y**3 + 21*y**2 + 2*y + 15. Let r be c(-7). Let g be (-356)/1488 + (-3)/(-12). Is g at most r?
True
Let s(x) = -x**3 + 12*x**2 - 10*x - 11. Let t be s(11). Suppose -2*p + 9*p = t. Is 1/13 < p?
False
Let s(z) = z - 3. Let k be s(-10). Let m = 14 + k. Let j = -4 + m. Is j equal to -7/4?
False
Let q(z) = 101*z + 348. Let r be q(-3). Is r bigger than 45?
False
Let w(b) = 127*b - b**2 - 143*b + 19 + 2*b**2. Let h be w(15). Suppose -h*c - 66 = 2*c. Which is smaller: c or -12?
-12
Let k be (-100)/(-8)*(-12)/(-10). Let z be 3/k - (-5 + (-62)/(-10)). Is -6/35 not equal to z?
True
Suppose 1 = -2*t + b + 4*b, 0 = -t + 2*b. Suppose 4 = 3*c - t. Suppose -13 = c*h + 15. Do -13 and h have different values?
True
Let l be -1 - ((-3090)/66 + (-2)/11). Let j(i) = i**3 - 6*i**2 + 8*i - 2. Let g be j(6). Is l greater than g?
False
Let q(i) = -i**2 - 8*i + 4. Let c be q(-8). Suppose 2*z = 7*z - c*x - 25, -4*z = -3*x - 19. Let g be (1 - z)*11/22. Is g at most 10/7?
True
Let t be (-12)/3 + (-435)/9. Is t equal to -52?
False
Let j = 1087 + -1087. Which is greater: j or 4/303?
4/303
Let d = 0 + 16. Let j = d + -15.8. Let v = -45/4 + 23/2. Is v <= j?
False
Let b = -1259 - -1206. Which is smaller: b or -158/3?
b
Let w = -482/63 - -68/9. Let a be (-2)/3 - 35/15. Let p(l) = -l**3 - 4*l**2 - 2*l + 3. Let d be p(a). Which is greater: d or w?
d
Suppose -y + 7 = 3*j - 2*y, 0 = -3*j - 5*y + 19. Let u = 252 - 251.94. Which is greater: u or j?
j
Let q be (((-15)/(-12))/5)/((-3)/(-204)). Let d = 13 - q. Which is bigger: d or -11/4?
-11/4
Suppose 0 = -2*f - 15 + 81. Let z = -29 + f. Are z and 2 equal?
False
Let m = 96 - 91. Let p be (7 + 4186/(-595))*m/2. Which is bigger: p or 0?
0
Let k = -7.2 - -7. Let o be (-4 - 1)/55*(-2)/(-2). Is o equal to k?
False
Let u(n) = n**3 - n**2 + 6*n - 6. Let y be u(1). Which is smaller: y or -2/157?
-2/157
Suppose -j - 7 = -2*w - 0*w, -3*j = 3*w + 3. Suppose -4*z = -3*c + 19, 0 = z - w*z + 2*c - 11. Is z less than 2/47?
True
Let q = -31 + 31. Suppose -2*y + 4*u - 6 = q, 0 = 4*u - 16. Is y not equal to 6?
True
Let b = -36/91 + 2216/1001. Suppose -78*o + 3*z + 3 = -74*o, -z = -o. Which is smaller: b or o?
b
Let j = 50 - 2.9. Let p = -43 + j. Let q = 4 - p. Which is bigger: q or -0.4?
q
Let t(r) = -2*r**3 - 29*r**2 + 40. Let m be t(-12). Which is smaller: -681 or m?
-681
Let l = 45 - 69. Let h(s) = s**2 + 2*s - 1. Let d be h(4). Let a = l + d. Is a at most as big as -1?
True
Suppose -4*d = -6*d. Let q be d + 0/2 + -1. Let y be ((-8)/2)/(60/(-165)). Which is greater: q or y?
y
Let c = -706.4 + 702.4. Suppose 5*k + 3*z = -24, -k - 5*z - 24 = 2*k. Which is greater: k or c?
k
Let g = -278 - -158. Let u = g - -120. Do u and -46 have the same value?
False
Suppose j - 39 = -2*j - 3*u, -3*j - 5*u = -35. Suppose 5*p - j - 30 = 0. Let t = 8 - p. Does -6 = t?
False
Let g(c) = -4*c**2 + 4*c - 22. Let k(u) = -u**2 + u - 7. Let m(z) = -2*g(z) + 7*k(z). Let s = -126 - -129. Let x be m(s). Which is bigger: -5 or x?
x
Let w = -38 - -23. Let s be (6/(-45))/((-5)/w). Is s bigger than 7?
False
Let b(z) = -6*z - 4. Let x be b(-5). Is 27 >= x?
True
Let u(w) = w**3 - 13*w**2 + 10*w + 23. Let m be u(12). Is -11/32 equal to m?
False
Let i(l) = 9*l + 2. Let t be i(6). Suppose 11*z - 6*z = -25. Let a be (t/60)/(4/z). Which is smaller: a or -1?
a
Let w(d) = d**3 - 9*d**2 + 8*d + 4. Let s = 11 - 3. Let q be w(s). Let n be ((-1)/(-4))/1*q. Which is smaller: -1/10 or n?
-1/10
Let f be 42 + -1 + 3 - (-5 - -1). Let v be (f/380)/(16/(-40)). Which is smaller: -1 or v?
-1
Let f = 1.1 - 0.3. Let s = f - 9.8. Let c = 15 + s. Which is bigger: -1 or c?
c
Suppose -8*n + 4*n + 4 = 0. Let o be ((-1015)/(-45))/7 + -3*n. Which is smaller: o or 18?
o
Let c = 199.9 + -186. Let q = c + 16.3. Let v = -3