4/54). Let o be (-1)/4 + (-426)/24. Is s equal to o?
True
Let w = 0.37 + -0.332. Let l = 26.038 - w. Let b(u) = u**3 - 5*u**2 + 2*u - 10. Let v be b(5). Which is bigger: l or v?
l
Suppose -4*f = 4*a - 7 - 9, 3*f - 5*a - 4 = 0. Let w be (1 + f)/16*22. Is 7 at most as big as w?
False
Let a(d) be the first derivative of -d**5/40 - d**4/4 + 2*d**3 + 8. Let j(r) be the third derivative of a(r). Let l be j(-2). Which is greater: -5/7 or l?
l
Let t be ((-1632)/80 + 20)/(16/(-830)). Which is greater: 20 or t?
t
Suppose 5*a = f + 59, -4*a + 18*f = 15*f - 56. Is a < 6?
False
Suppose 2*q + 4*o = -0*q - 1320, 4*o = 3*q + 1980. Suppose -3*b = u - 7*b + 28, 4*u = 3*b - 73. Let r be 3/(q/u)*15. Are 2 and r unequal?
True
Let l(b) = 11*b - 84. Let s be l(15). Let y = -84 + s. Which is greater: y or -30/19?
-30/19
Let p(h) = -h**3 - h**2 - 16*h + 4. Let y be p(5). Is y != -226?
False
Let f be (-1)/(-3)*9/(-24). Which is smaller: f or -10?
-10
Let l = -0.028 - 8.972. Let w = 13 + l. Do w and -7 have different values?
True
Let p(b) be the first derivative of 2*b**3/3 + 11*b**2/2 + 4*b - 20. Let g be p(-5). Which is smaller: 2/47 or g?
g
Let s(c) = -2*c - 76. Let t be s(-3). Is -69 not equal to t?
True
Let w = -1.282 - 2.518. Let t = 0.3 - 0.4. Is w less than t?
True
Let p be (-7)/(-42)*(-2 - 0). Which is smaller: p or 3?
p
Let o = 17 + -20. Let x = -271/205 - 36/41. Which is greater: x or o?
x
Let g be ((-8)/(-70))/(48/13320). Are g and 31 non-equal?
True
Let r be -6 - (2 + (-192)/27). Which is smaller: -2/7 or r?
r
Let x = 11 + -14. Is x > -2/3?
False
Let w = -105 + 67. Let d = w - -30. Which is smaller: -0.1 or d?
d
Let p = 80671/574 + -595/82. Let v = p - 133. Let j = -140 - -712/5. Is v equal to j?
False
Let k = -1.9798 - 0.0202. Which is greater: 65 or k?
65
Let f = -4 - -2. Let d be (6 - (-352)/(-58))*f/(-14). Is 0 smaller than d?
False
Let d(o) = -2*o**2 + 8*o - 4. Let s be d(3). Let h be (-200)/14 - s/(-7). Let q be h/63 - (-20)/9. Which is smaller: q or 3/2?
3/2
Let v be -30 + 3 + (-91)/35. Is v > -31?
True
Let t = 2946.89 + -2962. Let a = 0.11 + t. Is a less than 2?
True
Let t be (-7)/3 - 6/(-18). Let f(v) be the second derivative of -v**4/3 - 5*v**3/6 - v**2/2 + 8*v. Let p be f(t). Is p at most -9?
False
Let c = -2/3663 - 18143/315018. Which is smaller: -1/3 or c?
-1/3
Let y = -14 + -23. Let t = 39 + y. Is t smaller than -2?
False
Let n be 1 + -1 - (-80)/32. Suppose 5*j + 23 = i, 0 = -j - j - 10. Let h be (-2*1 - i) + 4. Which is greater: n or h?
h
Let k = -1312 - -764. Let y = k + 15886/29. Does y = 0?
False
Let s(v) = v**3 + 15*v**2 - 35*v - 16. Let l be s(-17). Let d be (2/5)/((-386)/(-10)). Is d > l?
False
Suppose -3*w + 2*w = -0*w. Suppose -j = s - 10, 2*j - 5*j - 5*s + 26 = w. Is j bigger than -2?
True
Let i = 5.4 + 31.6. Are 0.2 and i equal?
False
Let f = 0.07 + -2.97. Let p = -461 - -462. Is f at most as big as p?
True
Let k be 6196278/2322 + 2/(-9). Let y = k + -2668. Let a = y - -2/43. Are 1 and a equal?
False
Let k(d) = d**2 + 16*d - 22. Let m be k(-15). Which is bigger: m or -43?
m
Let a(x) = -53*x - 370. Let z be a(-8). Is z <= 54?
True
Let h = -221 - -221. Does h = -13/6?
False
Let k = -61 + 60. Let w be 3/(-12) + 3/8. Does k = w?
False
Suppose 3*t - 2*h = 193, -64 = -5*t + 2*h + 259. Let o be ((-9)/10)/(78/t). Is o at most as big as 0?
True
Let y be 1 - 0 - (-352)/8. Which is greater: y or 46?
46
Let n be (-54)/6 + (-6 - -16). Which is bigger: 19/118 or n?
n
Suppose 7*a - 243 = 1045. Let b(t) = 3*t**3 - 4*t**2 - t + 2. Let c be b(3). Let u be a/c - (3 + 1). Which is smaller: -1 or u?
-1
Let o = 388.2 + -357. Let k = 0.8 + o. Which is greater: k or -2/9?
k
Let v(g) = -6*g. Let j be v(-1). Let a be ((-50)/(-15) + 3)*6. Let x = -32 + a. Is x less than or equal to j?
True
Let q be 3572/423 + 8/(-1). Suppose z = 3*z - x + 7, 0 = -4*z + 3*x - 19. Which is smaller: z or q?
z
Let o = 0.05 - 0.39. Let f = -0.44 - o. Let w(l) = 4*l**2 - l. Let y be w(-1). Does y = f?
False
Suppose -4*c - 11 - 7 = -2*a, 4*c - 5*a + 9 = 0. Let v = 5 + c. Is 1/15 equal to v?
False
Suppose t + 6 = -2*t. Let m(f) = -3*f - 5. Let a be m(t). Is a equal to 3?
False
Let b = 389.6 + -388. Let h = -14 - -15. Which is greater: b or h?
b
Suppose 25*f - 298 - 252 = 0. Which is greater: 24 or f?
24
Let y be (-6 - -2)*-5*(-2438)/115. Does -424 = y?
True
Let d be (25/(-5) - -5)*(-6)/(-18). Which is greater: d or 155?
155
Suppose 1179*t - 1193*t - 168 = 0. Let j(i) = 12*i + 1. Let g be j(-1). Is g greater than or equal to t?
True
Suppose -5*p = 3*j + 6 + 24, 2*j + p = -27. Let c be 22/(-10) + (-3)/j. Are -2 and c equal?
True
Let o = 1290 + -1296. Do -1/10 and o have the same value?
False
Let m be (-4)/5*(5 - 1100/205). Which is smaller: m or 1?
m
Suppose -5*m - 6 = 2*i, i + 0*m - 5*m = 12. Suppose 46 = i*d + 142. Is d not equal to -49?
True
Let k(o) = o**2 + o. Let h be k(-2). Suppose -2*z - h*y - 46 = 0, 0*y + y + 5 = 0. Is -20 less than or equal to z?
True
Let q(w) = w**2 + 8*w + 15. Let p be q(-4). Is -4 greater than or equal to p?
False
Let h be ((-6)/(-4))/(-4 - (-95)/20). Let r(p) = -p**3 + 9*p**2 - 8*p - 3. Let w be r(8). Which is bigger: w or h?
h
Let q(v) = 11*v + 35. Let i be q(-2). Which is greater: i or 12?
i
Let h = 23 + -22. Suppose 7*n - 15 = 2*n. Suppose n*v = -2*c - 10, -4*c + 2*c = 10. Is v > h?
False
Suppose -5*m = -n - 5, 2*n + 4 = 3*m + 15. Let i = n - 8. Suppose 3*z = -i*z - 10. Which is greater: -9 or z?
z
Let c = -72759/55 + 1323. Do c and -1/3 have different values?
True
Suppose -840 = q - 891. Is 49 < q?
True
Suppose 3*s + i = 11, 2*i = 1 + 3. Let m be 1/(s*(-6)/18). Is m less than -3/119?
True
Suppose 4*b + 18 = 66. Suppose 36 = -b*n + 6*n. Let y be (1 - 0)*(0 - 0). Which is bigger: y or n?
y
Suppose 11*p - 10*p = -799. Let v = -8799/11 - p. Which is greater: v or -2?
v
Let u = 0.169 - 0.069. Do -683 and u have the same value?
False
Let d = 942 - 1001. Is d greater than -7?
False
Let a be (1 - 5)*(-50)/8. Let b be -32*(a/10 + -3). Let r be 4/63 - b/56. Are r and 4 non-equal?
True
Let v be 10/((-60)/(-27) + (-2)/9). Let p be v + -4 + 1 + 2. Let q be (-108)/(-20) + 2/(-5). Is p bigger than q?
False
Let n = -0.5 + 10.5. Let t = 5.47 + -6.1. Let z = t + 0.53. Is z at least as big as n?
False
Let u = 4437/7 - 3831/7. Let z = u - 86. Do z and 0 have the same value?
False
Suppose 28 = 2*x - 12. Suppose 0*h + h - x = 0. Suppose 0 = -3*y - 3*v + 36, -v + h = y + 2*v. Is 9 less than or equal to y?
False
Let v(q) = 84*q**2 + 28*q + 15. Let z be v(-4). Is 1248 at least z?
True
Let f(k) be the second derivative of -k**3/6 + 2*k**2 + 6*k. Let i be f(0). Suppose z - 3 = 2*t - i, -t = 2*z + 7. Which is bigger: 1 or t?
1
Let f be (5 - 11/1)/(3*-1). Let d be ((-2)/3)/(6/(-9)). Let y be (3 - d) + 14/(-10). Is y smaller than f?
True
Let s = 0.0172 - -0.0028. Which is greater: -12 or s?
s
Suppose -l + 9 = 5. Let w = 18 - 18. Suppose w = -k - 5*x - 17, -4 = -3*k + 7*k + 4*x. Is l greater than or equal to k?
True
Suppose -5*t - 5*v - 10 = -30, -t = 4*v - 19. Let d be (-4)/(-6) - 5/9. Which is smaller: d or t?
t
Suppose 0 = -3*p - 0 + 6. Let j = 0 - p. Let a(n) = n**2 + 6*n - 2. Let k be a(-6). Is k <= j?
True
Let d = 1.009 - 1.409. Let v(q) = q**3 - q**2 + q - 1. Let i be v(1). Is i less than d?
False
Suppose -n - 10 = -89. Is n at least 79?
True
Let a be 70/15 + -1 + (-1)/(-3). Let g(k) = k**2 - 2*k - 9. Let n be g(a). Is n at least 1/104?
False
Suppose 4*j = -2*j - 4*j. Suppose 5*d + 266 - 21 = j. Is d at most -48?
True
Let d(b) = 5*b**3 - 11*b**2 + 10*b - 4. Let z be d(4). Let c be 4/(-6)*z/32. Which is greater: c or -2/3?
-2/3
Let z = -5 - 4. Let t = 8.83 + z. Let s = 0.07 + t. Which is bigger: s or -0.03?
-0.03
Let k(n) = 2*n**3 + n**2 + n - 5. Let g be k(2). Suppose x - g + 18 = 0. Let b = -2.2 + 0.2. Is b != x?
True
Let a(x) = x**2 - 5*x + 1. Let t be a(4). Let d(r) = r**3 + 22*r**2 + 22*r + 8. Let i be d(-21). Let v be 72/(-39) + 2/i. Which is smaller: t or v?
t
Let x(w) = 1330*w - 4. Let c be x(-4). Let o be 0/(-2) - c/464. Let d = 3/116 + o. Is 11 > d?
False
Let r = 141 + -134. Let f = -2 + -4. Let a = r + f. Is a greater than 0.1?
True
Suppose -2*s - 1352 = f, 5*s + 0*s + f = -3380. Does 0 = s?
False
Let i = -2 - -1.99. Let w = -13 - -21. Let p = w + -8. Which i