 = 21 - k. Let d = -0.8 - l. Does -0.6 = d?
False
Let w(q) be the first derivative of q**2 - 27*q + 20. Let t be w(13). Is -0.1 >= t?
True
Let s be 11 + (-334)/30 + (-1064)/(-3930). Which is smaller: s or 0?
0
Let k = 12.87 - -418.13. Which is bigger: k or -1?
k
Let n = 0.022 - -35.978. Let t = n - 36.1. Is t less than -2/3?
False
Suppose a = -5 + 17. Suppose 13*o - a*o = -21. Is o at most as big as -20?
True
Let i be 7*12/(-420) - 1573/(-7840). Is 0 greater than or equal to i?
False
Let b = -9.8 - -11. Let y = 0.5 - b. Let g = -6.7 - y. Is 1 at most g?
False
Let w(y) = -2*y**3 - 8*y**2 - 9*y - 105. Let j be w(-8). Which is bigger: j or 480?
480
Let s be (-2 - -1)*(-1)/43. Let h = 42347804/645 + -196969/3. Let a = h + s. Is 0 equal to a?
False
Let k(o) = o - 4. Let s(w) = w - 3. Suppose 0 = 2*p - 0 + 8, -i - 5*p = 18. Let m(n) = i*k(n) - 3*s(n). Let y be m(-4). Which is bigger: 19/4 or y?
y
Let m = 30.1 - 30.04. Is m at most as big as 4/11?
True
Let u = -10.83 + 14.83. Let q = 1.2 + -0.2. Which is bigger: q or u?
u
Let w(i) = i - 1. Let x(f) = -8*f - 2. Let q be x(-1). Let j be w(q). Suppose 0*u + j*u = -10. Which is greater: -1/2 or u?
-1/2
Let k = 36 + -10. Suppose -4 + k = p. Do 22 and p have the same value?
True
Let u = -14857/26 + 1133/2. Which is bigger: -6 or u?
u
Suppose 2*o - 8873 = 1227. Let z be 192*5/o*-2. Let w = z - 2/101. Which is bigger: -2.4 or w?
w
Let a = -58 - -57. Let z(c) = -9*c**2 + 4*c + 3. Let f be z(a). Is f not equal to -11?
True
Let q = 7 + -3. Let t be (-14)/(-35) - 12/(-5). Which is smaller: q or t?
t
Let d(u) = -u**3 + u**2 + u - 1. Let a(g) = -7*g**3 + 6*g**2 + 8*g - 4. Let s(p) = -a(p) + 6*d(p). Let o be s(-1). Is 4/25 at least o?
True
Let y be 4*(-6)/(-96)*652/(-3). Which is smaller: y or -54?
y
Let q = -424 - -359. Is q < -452/7?
True
Suppose -4*m = 3*k - 50, 4*k - 3*k - 2*m - 10 = 0. Let v = 1349/2 - 660. Are k and v non-equal?
True
Let b = 4 - 6. Suppose 0 = -20*f - 22*f + 39*f - 6. Is f at most b?
True
Let t = -2172 + 34749/16. Are 1 and t non-equal?
True
Let k be (6 - (-140)/(-25))*355. Is 142 at least k?
True
Suppose 5*m + 54 = 2*m. Suppose 5*c - 41 = -4*v - 139, 5*c - v = -88. Is c >= m?
True
Let f be ((-2484)/115)/((-4)/10). Which is bigger: f or 53?
f
Let j = 17 + -62. Let z = j + 16. Let h = -26 - z. Is 0.08 > h?
False
Let o = -92 + 94. Suppose 0 = 5*g - y - y + 48, 5*g + o*y = -32. Suppose -2*i - 15 = 3. Which is smaller: g or i?
i
Let v be 9/45 - 369/420. Is v at least as big as -2?
True
Suppose -65 + 0 = 5*j. Let g be -21*(2 + 16/(-12)). Is j equal to g?
False
Let l be ((-3)/6)/((-4)/(-8)). Let a be (-1)/3 + (-4130)/(-25). Let o = a - 165. Which is smaller: o or l?
l
Let x = -684 - -4778/7. Let o = 16/21 + x. Is o > -0.4?
False
Let u(n) = -6*n**3 + 3*n**2 + 2*n - 1. Let x be u(-2). Suppose a - 5 = 0, 5*p + 6*a - 3*a = -x. Let z be (-10)/p - (-4)/14. Is 1/10 at least z?
False
Let s = -0.063 - -33.063. Let r = s - 48. Let o = 1.6 - 0.6. Which is smaller: r or o?
r
Let f = 35 - 34.64. Let g = f + -0.33. Which is greater: g or 0.3?
0.3
Let s be (4/(-5))/((-2)/(-10)). Let b(v) = -v**3 + 7*v**2 - 2*v - 20. Let p be b(5). Let t be ((-765)/p)/9 - (-1)/4. Are s and t non-equal?
False
Suppose 5*a - 6*a = 4*v - 332, 415 = 5*v - 3*a. Suppose -4*c - v - 129 = 0. Is c >= -52?
False
Let v(h) = -12*h + 245. Let y be v(23). Which is bigger: -27 or y?
-27
Let j be (-550)/(-8)*(-7)/10. Suppose f = 18 + 30. Let a = j + f. Is 0 <= a?
False
Let s = -75 - -75. Which is greater: -8/49 or s?
s
Let k = 22 + -4. Suppose 3 = -3*c - 3*z + k, -2*c = -3*z - 10. Let d be c*-3*(-2)/18. Is d equal to 2?
False
Let b be (5 - 0) + (-3519)/195. Let r = 66/5 + b. Which is smaller: r or 0.4?
r
Suppose 4*s - 8 = -2*p, -6*p + 5*p + 4 = -s. Let a = 0.3 - 0.4. Let i = a - -0.03. Are i and s nonequal?
True
Let r be -4*129/198 + 5 + -3. Is r greater than 0?
False
Let g(m) = 3*m**2 - 41. Let x be g(-19). Which is smaller: x or 1043?
x
Let u be 4*((-14)/(-5) + -3). Suppose 4*c - 4 = -a, -5*c + 2 = -2*a + 4*a. Let w be 1/a*-4 + -2. Do u and w have different values?
True
Suppose 78 = 2*x - 2. Suppose 0 = -5*c + 2*n + 78, -4*c - 3*n - n + x = 0. Which is smaller: 17 or c?
c
Let l be ((-27)/26 + (-20)/(-20))*80. Which is greater: -3 or l?
-3
Let b be 12 + -6 - (-5 - (-660)/64). Are b and -1 unequal?
True
Let u = -742 + 835. Which is smaller: u or -1?
-1
Let d = 1.13 - 0.169. Let h = d + 0.039. Is h > 39?
False
Suppose -5*u + 4*m - 720 = 0, -13*m + 16*m = -4*u - 607. Is -152 <= u?
True
Suppose -452*n = -456*n + 68. Let y be (15/6)/((-2)/(-13)). Which is bigger: y or n?
n
Suppose -4*y + 18 = 6. Let c be -1 + 1 - (-1 - -1). Let m be c/7 - y/(-5). Which is greater: m or 1?
1
Suppose 0 = 6*w - 3*w + t + 4, 2*w = 2*t. Suppose -4*a - 78 = -10*a. Let j be a/(-9) + 38/(-342). Which is bigger: j or w?
w
Suppose 9*d = 10*d + 2. Let x = -18298 + 2268867/124. Let w = x - 2/31. Which is smaller: w or d?
d
Suppose 2*h = 4*h - 174. Let n be (h/22 + -4)/((-1)/(-36)). Is n at least -1?
False
Let c = -58 - -56.87. Let l = 1.2 + c. Let a = l - 5.07. Which is greater: -1 or a?
-1
Let o = -15.4 + 25.5. Let a = o + -10. Let c = 0.49 + -0.5. Are a and c non-equal?
True
Let n = -59 - -34. Let b = -27 - n. Which is greater: -0.02 or b?
-0.02
Let c be (-37)/56 + (-2)/(-7). Suppose -9*j + 7 + 56 = 0. Let d = j - 7. Which is bigger: c or d?
d
Let p(m) = m - 4. Let w be p(13). Let r(n) = n**2 - 8*n - 18. Let x be r(w). Which is smaller: -1 or x?
x
Suppose 0 = 2*w - 3*r - 9, 6*w - 3 = 3*w + r. Let j = 7150 + -57201/8. Is j greater than or equal to w?
False
Let a(l) = 2*l**2 - 9*l - 112. Let c be a(-21). Which is greater: 960 or c?
960
Let z(f) = f**2 + 9*f - 79. Let s be z(-15). Which is smaller: s or 29/3?
29/3
Suppose 7*f = 2*f - 2*w + 273, 2*f + 5*w - 126 = 0. Suppose f = -5*c - 87. Is -29 at most as big as c?
True
Let s = -2.36 - -1.7. Let n = -0.26 - s. Let b = -3.4 + n. Is 1 not equal to b?
True
Let x(d) = -d**2 + 14*d + 13. Let v be x(15). Let j be (v/21)/((-7)/(-21)). Is -1/2 bigger than j?
False
Let c = 0.275 + 218.725. Is 0 >= c?
False
Let y = 0.398 - 0.608. Which is greater: y or -0.11?
-0.11
Let n(u) = u + 2. Let l be n(6). Let p(h) = 3*h - 2. Let k be p(3). Is l != k?
True
Suppose -5*o + 63 = -4*u, 0 = -5*u + 3*o - 0*o - 95. Let k be (-84)/u - (-5)/(330/12). Is 3 less than or equal to k?
True
Let r(c) = -2*c + 1. Let p(t) = 3*t**3 - 4*t**2 + 4. Let s be p(2). Suppose 0 = 5*u - s - 3. Let o be r(u). Which is smaller: o or -4?
o
Let c = -4.03 + 4. Suppose -6*p - 95 = -23. Let a = -23/2 - p. Is c != a?
True
Let c(h) = -h**2 + 8*h + 9. Let y be c(8). Suppose y*v = 3*v - 36. Which is greater: -8 or v?
v
Let k = 2364/5 - 475. Let w = -2 - k. Let y = 3 + -2. Are w and y unequal?
True
Let w be ((-24)/30)/(2*1/(-5)). Let z(h) = 29*h + 7. Let j be z(w). Is 64 != j?
True
Let n be (-1916)/38*9912/(-182). Let t = n - 2746. Which is smaller: -1 or t?
-1
Let d = 1.2 - -29.8. Let w = d - 17. Let f = 14 - w. Which is bigger: f or -4?
f
Let p be 88/(-56) + 12/21. Which is smaller: 3/278 or p?
p
Let v = 11/8 + -181/120. Let s = -214 + 79. Let w = 133 + s. Is w greater than or equal to v?
False
Let w = 1297/1258 + -11/74. Which is smaller: 0 or w?
0
Let m = -364 - -365. Is m at least as big as 1/262?
True
Let l be 20/(-4)*4/(-5). Let n be (1 - 2)/(l + -5). Suppose 0 = -r - n - 5. Is -7 < r?
True
Let k = -194/7 + 22. Which is bigger: k or -6?
k
Let p = -155 - -203. Which is greater: 93/2 or p?
p
Let b = 186 - 190. Which is greater: -0.19 or b?
-0.19
Suppose -4*s + 62 = 6. Let c = s + -9. Suppose c*o = 11 + 9. Is 3 != o?
True
Suppose -5*w = -4*q + 3*q + 34, -144 = -5*q - w. Suppose -5*k - 5*m - 25 = 0, 5*k + q + 1 = -4*m. Suppose -38*a = -35*a + 33. Is a greater than k?
False
Suppose 0 = 3*y, 4 = i - y - 7. Suppose -2*m = 3*r - i, 4*m - 12 = -0*r - 4*r. Suppose 3 = 4*n - r. Is -0.4 less than n?
True
Let o = -1 + 2. Let h = 1868 + -1871. Which is smaller: h or o?
h
Let o = 13 + -15. Let t be (-3)/(24/50) - o. Let u = t - -9/2. Which is bigger: u or -1?
u
Suppose 30*r = 34*r - 4. Let s = -1 + r. Is s at most -1/27?
False
Let v(r) = r**3 + r**2 + 2. Let g be v(0). Suppose 5*t + 5 = 0, 3*y = -t - 4*t + 7. Suppose -n + y = -3*n. Which is greater: n or g?
g
Suppose 365*s = 377*s. Is s at 