-2)/h - 7/28. Let s(l) = -l**3 - 3*l**2 + 5*l + 6. Let x be s(-4). Which is greater: x or v?
x
Let w(y) = 3*y - 88. Let t be w(30). Which is bigger: 30/23 or t?
t
Suppose 5*s = -12 + 87. Let k(b) = 3*b + 28. Let n be k(-6). Let r be 8/n - 72/s. Is r equal to -4?
True
Let y(z) = -3*z + 8. Let x be y(3). Let s be (-2)/1 + x + 14. Let j = s - 23. Which is smaller: -11 or j?
j
Let k be 4/2 + 0 + 5. Suppose 2*o = -o + 12, t + k = -3*o. Is t equal to -4?
False
Let d = -2.3 + 1.3. Let b = 3 - d. Is -1 at most b?
True
Let f = 0.49 + -0.79. Let y(l) = -2*l - 4. Let d be y(-3). Let r = -2 - d. Is r bigger than f?
False
Let p = 120 - 857. Which is bigger: 1 or p?
1
Suppose -6 = -0*z + z - b, -4*b = -20. Which is smaller: -64 or z?
-64
Let q = 32/21 + -13/6. Is q equal to -1?
False
Let f = -0.81 - 0.29. Let m = -2340 - -9359/4. Is m > f?
True
Let m = -7 + 0. Suppose 0*o - 5*o = -2*l + 48, 2*l + o = 36. Let u = 18 - l. Which is greater: m or u?
u
Let k be 4 + 16/2 + 0. Let s(b) = b**3 + 6*b**2 - 2*b + 1. Let q be s(-6). Do q and k have different values?
True
Let h(m) = 4*m**3 - m**2 - 1. Let n be h(2). Suppose -5*j = -n + 72. Which is smaller: -11 or j?
-11
Let r = 182 - 88. Which is bigger: 95 or r?
95
Let a(p) = 4*p + 3. Let n be a(-3). Let d be (n/150)/(2/4). Let l = -5125 - -5124. Which is bigger: l or d?
d
Let m(l) = -l**3 + l**2 + 2. Let c be m(0). Let g = -63 + 63. Suppose -c*p - p = g. Which is smaller: -1/11 or p?
-1/11
Let t = -452593754/175 + 2586257. Let i = t - 3/25. Let q = i + -2750/399. Is 1 greater than q?
True
Let y(m) = 26*m**2 - m - 7. Let q be y(-6). Let f be -2*(-1)/5*q/(-22). Is -16 greater than f?
True
Let s be 18/12*10/(-55). Which is greater: s or 1?
1
Let r be 8 + 6/(-6)*7. Which is bigger: -38 or r?
r
Let y(i) be the third derivative of -i**6/120 - 2*i**5/5 - i**4/24 - 14*i**3/3 - 12*i**2 - i. Let a be y(-24). Is a greater than or equal to -10?
True
Let n be 1370*((-42)/(-5) + -8). Do 547 and n have different values?
True
Suppose -2*z = 2*p + 314, 2*p + 461 = -3*z + p. Let f = z + 108. Let x be (-7)/f - (-12)/(-48). Which is greater: -1 or x?
x
Let b be 2*(-2)/(-4)*13. Suppose -4*j + 3*j = -b. Is 1 less than j?
True
Let s = 1904/11 + -173. Let x = -9 + 9. Is s >= x?
True
Let x be (4 - 2)*10/4. Suppose -x*o + 8 = -2*s - 8, o - 2*s = 0. Let t be (-4)/(8/o) - 0. Which is greater: t or -3?
t
Suppose -7 = -h - 1. Suppose -2*n + h = -4*f, -f + 3*f + 6 = 2*n. Is 33/10 >= n?
True
Let y = -0.1 - 8.9. Let p = y - -12. Which is smaller: 2 or p?
2
Let v be (12/48)/((-2)/(-16)). Suppose g + v*g = 0. Let k be (-4)/(-2) + g + -2. Which is smaller: 2/25 or k?
k
Suppose 0 = 4*j + v - 3490 + 386, -5*v - 20 = 0. Which is bigger: 779 or j?
779
Let q(m) = -438*m + 2*m**2 + 0*m**2 + 446*m. Let w be q(-4). Which is greater: w or -1/19?
w
Let a(f) = 3*f**2 - 2*f**2 + 15*f - 11 - 12 - 2*f**2. Let p be a(13). Is 3 <= p?
True
Let d = 1276/5 - 256. Let l = -20 + 19. Which is greater: l or d?
d
Let r = -9.6 - 1.3. Let o = 11 + r. Suppose -11 = -m + 2. Is o < m?
True
Let p(l) = -11*l + 2 + l**2 + 2*l**2 + 7*l. Let k be p(2). Let f be 4/k + 1/(-3). Is f smaller than 2/9?
False
Suppose 83 = t + 38. Let p be (t/(-30))/((-3)/2). Is -4/33 bigger than p?
False
Let s(v) = -v + 11. Let d be s(6). Suppose -3*f - 2*f - y = -59, 0 = -4*f + d*y + 53. Let q be (f + -13)*(-2)/4. Which is smaller: 0 or q?
0
Let h = 2389 - 2390.7. Is -1 > h?
True
Let p = -33/8 - -235/56. Let z be (-8)/(-28) + 2/14. Let w = p + z. Which is smaller: w or 6?
w
Let k = -0.8 + 0.2. Let b be -1 + 2 + -4 - 3240/21. Let v = b + 157. Which is greater: v or k?
v
Let i be 2/(44/(-6) + 6). Is -7 greater than i?
False
Suppose -2*w - 4 = 26. Suppose 0 = -65*x + 74*x + 117. Which is smaller: w or x?
w
Let n(b) = b**3 - 3*b**2 - 3*b - 3. Let j be n(4). Let v be (-101)/(-202)*(-4)/18. Is j != v?
True
Let r = -273 + 285. Which is smaller: 7 or r?
7
Let k = -35 - 17. Which is smaller: -49 or k?
k
Let r be (-2)/(-4)*-46*-1. Suppose -2*h = -5*m + 34, h = 6*m - 2*m - r. Let x = -44 + 40. Which is smaller: x or h?
h
Let x be 9/3 - 574/4. Let o = x - -143. Is o less than 1?
False
Let n = 72 + -57. Let j(p) = 2*p**2 - 33*p + 29. Let x be j(n). Is -18 smaller than x?
True
Let t = -43 + 44. Suppose -2*o = -0*o - 30. Let y be (5/120)/(o/12). Is t < y?
False
Suppose 24 = 4*o + 2*k, 2*k - 1 = 4*o - 25. Let c = -325 + 330. Which is smaller: o or c?
c
Let y = 2.6962 + 0.0938. Which is bigger: 1 or y?
y
Let a = -54 + 30. Let x = 22 + a. Is x at most as big as 0.1?
True
Let c(k) = k**2 - 5*k + 7. Let h be c(5). Let q = h + -7. Suppose 2*n + 8 = -q*y - 2*y, -5*n = -5*y + 20. Which is smaller: 5/4 or y?
y
Let p = -2 - 2. Let j(f) = f**2 + f - 4. Let i be j(p). Suppose 30 = 2*q + 12. Which is smaller: i or q?
i
Let d = 1566 - 1506. Which is bigger: 421/7 or d?
421/7
Let w be ((-91)/26)/((-28)/16) + -12. Let k = 793 - 2408/3. Is w > k?
False
Suppose -y + 0*y - 16 = 0. Let t = 9 + y. Suppose 6 = -5*l - 24. Which is greater: t or l?
l
Let j = 4 + -10. Let n be (-3)/9*(3 - j). Let w be -9*4/10 - n. Which is bigger: w or -1/3?
-1/3
Let b = 12 + -15. Let x be b/4 - 0 - (-95)/120. Is 0 > x?
False
Let l = -46 - -27. Let n = 0.21 + -19.21. Let r = l - n. Which is bigger: r or -7?
r
Let l = 344.271 - 344. Which is smaller: l or 1/2?
l
Let d be (18/36)/((-502)/1006) - -1. Which is greater: d or 1?
1
Let m = 43 + -51. Let f = 6 + m. Is 3 < f?
False
Let v = 89.47 - 90. Let j = -2.47 + v. Which is greater: -0.04 or j?
-0.04
Let k = -1114 - -1114.2. Which is smaller: k or 1?
k
Let v = 8 - -13. Suppose -11 = l - 3*p, p - 6*p = l - v. Let w be 1*l*(-3)/3. Which is greater: 3/16 or w?
3/16
Let y be ((-17)/((-238)/(-735)))/((-2)/1). Which is smaller: -0.1 or y?
-0.1
Let k = 65 + -51. Let j = -52 + k. Does j = 0?
False
Let r be 34/(-238) - (2 + (-12477)/21). Is 591 bigger than r?
False
Let s(v) = -v**3 + 16*v**2 - 14*v - 48. Let t be s(14). Is 148 greater than t?
False
Let l = -1343.84 - -1319. Let s = -25 - l. Which is greater: s or 0.1?
0.1
Suppose -3*z = -4*z + 58. Suppose -z = -4*w + 82. Suppose 0*c + 5*c = w. Which is greater: c or 8?
8
Let k = -21.2 - -22. Which is smaller: k or -0.2?
-0.2
Suppose -l = 0, 4*g = 2*l - 33 + 1. Is 2 greater than or equal to g?
True
Let u be (-180)/(-630) - (1 + 241/(-210)). Is u smaller than 0?
False
Let i(s) = s**3 - 3*s**2 - 2*s - 3. Let a be i(4). Suppose -5 = 5*d + 2*f, 5*d + 0*d + 3*f + a = 0. Which is greater: d or -2/109?
-2/109
Let w be (-14)/(-35)*(-5877)/10. Let n = -235 - w. Is n <= 0?
False
Suppose -3*l - 2*s - 9 = 0, -4*l - 4*s = -5*s + 1. Which is smaller: -5/67 or l?
l
Suppose -4*v - 3*m = m - 1320, v - 5*m = 318. Let n = 3618/11 - v. Which is smaller: 1 or n?
n
Let r = 20 - 7. Suppose r = 3*x + 37. Let h = 8 + x. Is h less than or equal to -1/3?
False
Suppose -11 = m - 4*z + z, -5*m - 3*z + 17 = 0. Suppose w - m = 48. Suppose 3*s = -2*c - 3*c + 7, 5*c - w = 4*s. Is s equal to -5?
False
Let t(j) = j**2 - 15*j + 21. Let i be t(14). Suppose 3 = -i*n + 38. Suppose 0 = n*f - 7*f + 2. Do 1 and f have different values?
False
Suppose 69 - 17 = -4*u. Let k(r) = -2*r + 74. Let o be k(u). Which is bigger: o or 99?
o
Let d be 40/175 - 8/(-10). Let t = d - 10/7. Is t greater than or equal to 4?
False
Let s = -207 + 150. Is s < -54?
True
Suppose q - 4*h + 7 = 3, 4*q - h = 59. Which is bigger: q or 19?
19
Suppose -10 + 54 = 2*o. Which is greater: o or 41/2?
o
Let i(z) = -6*z**3 - 3*z**2 + z + 1. Let s be i(-4). Let j be s/7 - (75/35)/(-5). Is j greater than or equal to 48?
True
Let a(r) = r**2 + 10*r + 13. Let c be a(-9). Suppose 5*h + 3*q = -2*q - 115, 4*h + 116 = c*q. Let m = 25 + h. Which is smaller: m or 1?
m
Let c be (1/5)/(1/7). Let r = -14 + 20. Suppose 2*k = -i + 2, k + 3*i - r = -k. Which is smaller: k or c?
k
Let t = 54 + -15. Let u = 37 - t. Is -4 at least u?
False
Suppose -2*x - 2*k + 264 = x, 4*k + 418 = 5*x. Let s = -173/2 + x. Which is bigger: -0.4 or s?
-0.4
Let n = -4/7155 - -379331/207495. Which is bigger: n or 2?
2
Let m be (36/45)/((-1)/30). Let z = m + 16. Is -10 at least z?
False
Let g = -11/10 - -189/190. Let f(n) = n**3 + 15*n**2 + n + 14. Let y = 16 + -31. Let x be f(y). Is g less than or equal to x?
False
Let f = 20 - 17. Suppose -4*x = -2*o + 8, 3*x - f*o = -0*o - 9. Which is s