et g(b) = 4*b**3 - 84*b**2 + 46*b + 95. Let i be g(20). Do -585 and i have the same value?
True
Suppose -48 = -3*t - 2*n, t - 2*t - 4*n + 6 = 0. Let f be (t/15)/(-3) + (-418)/(-1820). Let m = 3/26 - f. Is m greater than or equal to 77?
False
Let g = 64028/8729355 - 34/7815. Is g at most 1?
True
Suppose 0 = -63*q + 11*q - 104. Is q at least 2/5673?
False
Let y(i) = i**3 - 21*i**2 + 9*i - 167. Let k be y(21). Suppose 4*a = 41 + 339. Suppose 0*j + 2*j - 49 = p, -5*j - 3*p = -a. Is k at most j?
True
Let f = 7139 - 7261. Let q be 2/(-3) + 383/3. Let l = f + q. Are 5 and l unequal?
False
Let f(d) = -10*d**2 - 1077*d + 1429. Let c be f(-109). Let w be 15 - -1 - 1 - -1. Do w and c have different values?
True
Let v = -583/335 - -18589/10720. Let o = 2 - 2. Which is greater: o or v?
o
Let z = 89383271/686751 - -1/52827. Let k(b) = b**3 + 5*b**2 + 6*b + 10. Let x be k(-7). Let w = z + x. Does -1/3 = w?
False
Let m be (-1104)/(-1050180)*(-2 + 7 - (-1 + 1)). Which is smaller: m or 1?
m
Let x = -151 - -157. Let w be ((-91)/(-14) - x)/(6/4). Is 1/4 equal to w?
False
Let g = 56178354/779 - 72116. Which is bigger: g or 0?
0
Let v = -11 + 11. Let k = -51 - -64.8. Let x = -11 + k. Is v greater than x?
False
Let v = -2384 + 2030. Which is smaller: -1774/5 or v?
-1774/5
Let b be 130644/9329 - 1/6*84. Let s(n) = -n + 6. Let w be s(4). Suppose w*p - 4*y = 0, -3*y = 4*p - 7*y. Which is greater: b or p?
b
Suppose 0 = 3*d - 3*j + 3681, 14*j + 1585 = -4*d - 3215. Are d and -1218 unequal?
True
Let k(m) = -149*m**2 + 5*m - 6. Let o be k(1). Let i be (-6)/20 - 45/o. Which is bigger: i or -3/95?
i
Let n(b) = -24*b**2 - 141*b + 13. Let t be n(-6). Does 185 = t?
False
Let n = -2679.98462 - 0.01538. Is n at most 0.1?
True
Let x = -20 - -30. Suppose -x = -3*l - 7. Let t = 1074 + -7505/7. Do t and l have the same value?
False
Let q = -25.7 - -12. Let c = q + 13.9. Is 0.1 smaller than c?
True
Let k = -230.01705 - -0.01705. Which is greater: k or 1?
1
Suppose 0 = 3*f - 5*o + 4039, -7089 = 5*f - 3*o - 368. Which is smaller: f or -1342?
f
Let c = -178 - -182. Suppose -c*f + 15*f + 352 = 0. Is f less than or equal to -32?
True
Let g be (-57024)/184 - (-2)/(-23). Which is greater: g or -304?
-304
Let o(i) = 7*i**2 + 2*i - 1. Let z be o(-2). Let m = -137/6 + z. Let n = m + 1/2. Is 2/3 not equal to n?
False
Let u be 15*(20/6)/(1/2). Let v be (2/10)/(u/(-15) + 7). Which is smaller: v or -2.9?
-2.9
Let u = -198 - -53. Let v = u + 9. Let c = -67 - v. Which is smaller: c or 68?
68
Let x be (7 + (-1506)/216)/3. Suppose -170*r - 7 = -163*r. Which is smaller: r or x?
r
Suppose h - 1998 = -5*p, 12 = -4*h + 4. Let f be (-20)/(-30) + (-642)/p. Let j = f + 23/24. Which is bigger: j or 1?
1
Let j be 36 - 61765/2453 - 11/1. Which is greater: 1 or j?
1
Let j = -0.3 + 1.3. Let q = 6197 + -6197.9. Let m = q + j. Is -0.1 < m?
True
Let k = -0.24 - 0. Let j = k - -0.3. Let s = j - 0.11. Which is bigger: 1 or s?
1
Let j = 125882 + -503527/4. Let w = 1.96 - 2. Which is bigger: w or j?
j
Let s = -0.9908 + 0.91124. Which is smaller: s or 0.2?
s
Let o = 158 + -158.208. Let f = o - -7.208. Which is greater: f or 24?
24
Let s = -0.415 - 4.685. Let y = s + 8.1. Which is smaller: 0.58 or y?
0.58
Let q = -717/14345 - 2/755. Let f be (-1)/(((-6)/(-2))/3). Is f != q?
True
Let y = 98.7 - 78.7. Which is greater: y or 5?
y
Suppose 0 = -29*f + 30*f - 6. Suppose -f*z - 194 - 16 = 0. Which is smaller: -33 or z?
z
Let p = 4.57 - 4.5. Let f = p - -0.06. Let l be (-3)/((-6)/(-8)*2). Which is smaller: l or f?
l
Let f be (2/(6/(-103)))/((-2078)/12468). Is f smaller than 203?
False
Suppose 4*d + 0*d - 244 = 0. Let t be 1 - 1 - (-24 - -24). Suppose 60 = s - t*s. Are d and s nonequal?
True
Suppose -4*p - 35 = 3*k + 16, -k - 42 = 3*p. Let v be 1*-1*(-12 - p). Let l = 512.9 - 513. Is l equal to v?
False
Let b = 66 - 58. Let g be (b - 9)*1*-11. Suppose -2*z - g = -3*k, 3*k = -2*k + 5*z + 25. Which is bigger: k or 2/269?
k
Let o = 14 - 2. Suppose 5*c = -29 - 36. Let r be (-1 - -1 - c)/(7 + -6). Is o at least r?
False
Let g(p) = -p**3 - p**2 + p - 25. Let l be g(0). Let q = 33628 + -33652. Which is smaller: l or q?
l
Let y = -10 + 19. Suppose -4*w + 24 = 0, 24 = -3*c + 4*w - 6*w. Let g be (-3)/c + y/(-20). Does -1 = g?
False
Let q(y) = -y**2 - 27*y + 124. Let w be q(-30). Which is smaller: w or 301/9?
301/9
Let o(m) = 170*m - 14. Let y be o(1). Let i = -1089/7 + y. Which is bigger: -1 or i?
i
Let t be (4480/(-84))/20*4377. Is t at least as big as -11671?
False
Let t = 150 + -151. Let u be (-1)/(-2 + 4 + t). Is 3/17 at least u?
True
Suppose -56*f = 372 - 540. Which is bigger: f or -363?
f
Let b(m) = m**2 - 35*m - 499. Let y be b(44). Let i be 2248/(-22) - 14/(-77). Is i bigger than y?
True
Let x be 1410/(-846)*(-6)/35. Suppose 0 = -2*k - l + 21, 0 = l + 1 - 2. Let t be (-28)/3*3/k. Is t greater than or equal to x?
False
Let d be ((-5544)/(-1540))/(26/(-5)). Are 13 and d equal?
False
Suppose 8 = -3*r + 2*p, 2*r + 2*p + 2*p = 0. Let g be (-10)/(-20) + 22/4. Let i be (-2)/g + (-1 - (-12)/9). Is i at most r?
False
Let y be 2/(5/(-15)*6)*0. Which is greater: y or 5/543?
5/543
Let g = -602 + 605. Which is greater: g or 106/29?
106/29
Suppose 19 = 148*s - 129. Which is bigger: 1/5194 or s?
s
Let d be -4*(-4)/(-16)*1/1. Let f = 1/483 + -2579/1449. Is f <= d?
True
Let y be 57/18 - 3 - (-95)/6. Let d be 2/y - ((-125)/(-40) + -11). Let p = -13 - -15. Which is bigger: d or p?
d
Let y(t) = t**3 + 2*t**2 - 7*t + 3. Let o be y(2). Let c = 39 + -36. Suppose -o*p - 3*a = -11, 0*p - 3*p - c*a + 3 = 0. Which is greater: p or 31/7?
31/7
Suppose -12*v = -w - 15*v - 507, -5*v + 2495 = -5*w. Let p = 6506/13 + w. Which is smaller: 0 or p?
p
Let h = 3059 + -804520/263. Is h less than -1?
False
Let l = 1831.1952 + -1.1952. Do -1 and l have different values?
True
Let v = 131/1197 + 2/1197. Is -0.19 >= v?
False
Let c = 31 - 73. Let j(b) = 78*b + 116. Let m be j(-2). Which is bigger: m or c?
m
Let x(j) = -438*j - 2362. Let i be x(-6). Is 37 greater than i?
False
Let v(s) = 3*s**3. Let n be v(-2). Let l be 193/8 - (-3)/n. Let g be l + 10/(-6)*3. Are g and 19 equal?
True
Let l be ((-40)/52)/(-5) - 4962/(-26). Suppose -5*s + l = 4*i - 125, 56 = s - i. Which is smaller: s or 65?
s
Let y be (10/(-15))/((-8)/12)*514/18. Which is smaller: y or 29?
y
Suppose 4*v = -2*z - 128, 2*v + 4*z = -692 + 658. Let x(k) = 5*k**3 - k + 1. Let w be x(-2). Is v >= w?
True
Let n = 0.04 + -2.04. Let k = 375.6 - 375.88. Is k less than n?
False
Let i(r) = 2*r**3 - 3*r**2 + 2*r + 2. Let n be i(2). Suppose -n*v = -6*v + 80. Let b be 77/v + (11 - 7). Are b and 0 nonequal?
True
Let j be 2/7 + (-6)/21. Let l be j - (5 + -7) - -61. Let f = 125/2 - l. Which is bigger: f or -70?
f
Let v be 9*(-6)/(-9)*3/6. Suppose 2*s = -2*m + 2, -5*s + m - v = -14. Let b = -1267/9 - -141. Which is bigger: b or s?
s
Suppose 0 = -14*l + 6893 - 7033. Does -252/25 = l?
False
Suppose 5*b = -4*n - 33, 16 = 2*n - 3*b - b. Let m be 2 + ((-3 - -35)*1 - n). Is -1/3 at most m?
True
Let j = -136 - -256. Let g = 120.082 - j. Let h = -0.282 + g. Are -10 and h equal?
False
Let u = -1.09 - 44.91. Let b = 0 + u. Let p = 1906.9 + -1907. Are p and b nonequal?
True
Let t = 3198 + -3252. Is t >= 29?
False
Suppose -d - 5 + 6 = 0. Let n be (-55)/11 - (57 - 0). Let h be (-9 - -6)*2/n. Which is smaller: h or d?
h
Let u(a) = a**3 + 16*a**2 - 6*a + 15. Let d be u(-16). Let g = d + -110. Let w = -67 + 334/5. Which is greater: g or w?
g
Suppose -2*m + 4 = p, 4*m + 106 = 15*p + 2*p. Which is bigger: -1143.4 or m?
m
Let j be ((-30144)/(-7065))/((-1)/(-6)). Do j and 27 have different values?
True
Let l be ((-3)/3 + 0/2)*17. Let q be 6/((-8)/(-22)*55/(-10)). Which is smaller: l or q?
l
Let q(l) = -l**2 + 41*l. Let u be q(41). Suppose -2*n + 5*k - 20 = u, 2*n + 5*k - 20 = -0*n. Which is greater: n or 1/263?
1/263
Let t(i) = -9*i + 18. Let c be t(8). Let y = -53 - c. Suppose 0 = a - q - 1, -9 = 2*a - 6*a - q. Is a at most y?
False
Let a = 9921 + -9935. Which is smaller: -66 or a?
-66
Let l(h) = h**3 - 4*h**2 + 5*h - 4. Let w be l(3). Let v be (-2)/((-88)/12 - -8). Let p be 13/(w + v) + -3. Which is bigger: p or -17?
p
Let r = 358.81915 - -0.05285. Let s = -362 + r. Let b = -0.128 - s. Is b smaller than -5/6?
False
Suppose 362*u - 358*u = 5*g - 