+ 3.14. Let b = f - 2.44. Let k(i) = i**2 - 3*i + 2. Let p be k(3). Is p greater than or equal to b?
True
Let f = 28.16 + -25.7. Let o = f + 0.54. Is o at least -20?
True
Let q be (54/(-4))/(21/(-6)). Let x(g) = g**3 - 5*g**2 + 5. Let t be x(5). Which is bigger: t or q?
t
Suppose -z + 4 = x + x, -4*z = 4*x - 8. Let m be 2/x*10/30. Which is bigger: m or -16?
m
Let n be 31 + 0*9/18. Which is smaller: 5 or n?
5
Let i = -459 - -326. Let p = i + 1730/13. Let q be (1/(-3))/(1/(-3)). Is q equal to p?
False
Let h = -0.9 + -0.28. Let a = -5.01 + h. Let t = a + 0.19. Is t smaller than 1?
True
Suppose -2*q = -6 - 8. Suppose -6*d = -q*d + 1. Which is bigger: d or 3/17?
d
Let i be (-6314)/15810 + (-4)/(-10). Is i greater than or equal to 0?
True
Let s = 9.1 + -9. Let g = 58 + -61. Let i = g - -15/4. Is i greater than s?
True
Let v = -368 + 369. Let p = 0.303 + -0.013. Which is smaller: v or p?
p
Suppose -2*c - 6 + 4 = 0. Let p be c/(-46)*(4 + 5 + -11). Do p and 1 have the same value?
False
Let y be 3/6 - 16731/(-546). Which is smaller: y or -2/5?
-2/5
Let b(x) = x + 3 - 4*x + 1. Let c be b(-4). Suppose 16 = 2*h - c. Is 16 less than or equal to h?
True
Let b be (1 + -1)/(-11 + 10). Let i = -326 - -8149/25. Is b at least as big as i?
True
Suppose 5*f + 2*f = 0. Let x = 6399/190 - 168/5. Is x equal to f?
False
Let n = 1.93 + -2. Let g = -0.47 + 0.5. Let z = n - g. Which is greater: z or 0?
0
Suppose 2*u - 46 = 4*m, 2*m - 4*u = 5*m + 18. Which is smaller: -17 or m?
-17
Let h = -114 + 58. Let j = -85 - h. Is j at least 0?
False
Let d = 3 - 12. Let l(a) = 7*a - 33. Let w be l(6). Suppose 0 = -o - w - 1. Which is smaller: d or o?
o
Let o(p) = -p**3 + 9*p**2 + 3*p - 9*p + 11 - 16*p**2. Let u be o(-6). Is 3 greater than or equal to u?
False
Let w(g) = 9*g**2 + 4*g - 4. Let a be w(5). Let j = 23379/97 - a. Is -1 bigger than j?
False
Suppose 530 + 75 = 55*c. Is 28 greater than or equal to c?
True
Suppose 639 = -9*y - 0*y. Let p = 72 + y. Is p > 1/4?
True
Suppose 5*q - 1 = 9. Let b = -380 - -2287/6. Are q and b equal?
False
Let v be (558/(-111) - -5)*2. Is 0 at least as big as v?
True
Let z = -179.55 + 180. Which is greater: -0.2 or z?
z
Suppose c - 5*c = 16, -2*k = -5*c - 14. Let w be (-1532)/400 - (-8)/100. Which is bigger: w or k?
k
Suppose -41*w + 40*w = -14. Which is greater: 20 or w?
20
Suppose 32*p - 109 - 19 = 96. Let w = -2 - -2.04. Which is smaller: w or p?
w
Let j be (-274)/(-140) - ((-20)/(-2) + -8). Are 1 and j nonequal?
True
Suppose -6*i = -13*i - 7. Let d be (-5)/(-7) + i + 648/(-252). Is -2 at most d?
False
Let l(o) = o**3 - 4*o**2 - 3*o + 6. Let w be l(4). Let r be 8/48 - 197/w. Is 33 greater than or equal to r?
True
Let p(c) be the first derivative of c**2/2 + 11*c - 1. Let m(t) = -t - 10. Let d(a) = -3*m(a) - 2*p(a). Let b be d(-8). Which is bigger: b or -1?
b
Let r(m) = m**2 + 8*m - 156. Let b be r(9). Suppose 4*y = 0, q + 2*y + 8 = 2*q. Suppose 2*d + q = -0. Which is smaller: b or d?
d
Let r = 450230 - 184594541/410. Let g = 1/82 - r. Let m = 279 + -1950/7. Is m less than g?
True
Let f(y) = -4*y**3 + 123*y**2 + 33*y - 62. Let n be f(31). Let j be (1 + 0 + 13)/(-1). Let z be 18/21 + (-4)/j. Which is smaller: n or z?
n
Let i be (-3)/9 - 1/(-3). Let t = -1 - i. Let l = 12/5 - 149/60. Which is smaller: l or t?
t
Let t = 11864 + -320278/27. Which is greater: t or 2?
2
Let m = 7 + -18. Let b = 182 - 187. Are b and m equal?
False
Let a = -591 - -2365/4. Which is smaller: a or -204?
-204
Let d be (-8 + 11733/48)/(3/(-4)). Is d <= -314?
True
Let u be (-126)/(-35)*300/(-5). Is -216 != u?
False
Suppose -4*v - 6*i + 16 = -7*i, -7 = 3*v + 4*i. Is 3 less than v?
False
Let c(a) = -3*a - 4. Let m be c(-7). Let t = -416 + 418. Which is smaller: t or m?
t
Let c = 231/2110 - 2/211. Suppose -5*g - 96 = -111. Which is smaller: g or c?
c
Let j be (-6)/(1*(-4)/52). Let o be (2/3)/(-3 - (-230)/j). Which is greater: o or -17?
o
Suppose 24*t - 7 = -4*d + 21*t, 0 = -4*t + 4. Which is smaller: 2/2639 or d?
2/2639
Suppose z + 4*z = -m + 5, -4*z + 5*m = 25. Let w = 2269842/13 - 174484. Let x = w - 119. Which is smaller: z or x?
z
Let z be ((16/195)/(-4))/2. Let h = z - -4/65. Suppose u + d + 5 = 0, -4*u - 4*d + 9*d = -16. Is h not equal to u?
True
Let s be (44/(-6))/(28/42). Let m = 9 + s. Let c = -2/9 + -5/18. Which is greater: c or m?
c
Let r be 0 - (56/(-2) + 3). Suppose -5*g - r - 5 = 5*i, 0 = -5*g - 4*i - 27. Let l be 1/(g + (-57)/(-18)). Which is smaller: 5 or l?
5
Let y(z) = -57*z - 95. Let c be y(4). Do -968/3 and c have the same value?
False
Suppose -w - 3 = 0, -4*v - 2*w = -v - 339. Is v bigger than 0.1?
True
Suppose -g = -5*g + 4. Let s be (-2 - -2)/(-3)*g. Let p be -3 + 46/(-4)*12/(-42). Is p != s?
True
Let m = -100 - -498/5. Suppose 5*f - 8 = 7. Suppose f*c - 4*a + 3 = 0, -c = 2*a + 1 - 0. Is m smaller than c?
False
Let q(u) = -u**2 + 2*u + 10. Let g be q(6). Let o = g - -17. Suppose 2*j + 4 = o*j. Which is greater: j or 2?
j
Suppose 0 = 2*l - 275 + 263. Is l <= 14?
True
Let p = -4050 - -44426/11. Let u = 523905 - 51865534/99. Let k = p + u. Which is greater: k or -2?
k
Let s = 20 + -13. Let o be (-75)/s - 4/14. Is o at least -11?
True
Let d(m) = -11*m - 4. Let x be d(2). Let v = 26 + x. Let h be -4 + v + 4 - 2. Is 0 not equal to h?
True
Suppose -13 = 3*l + 83. Let y = -44 - l. Is y <= -13?
False
Suppose 52*o = 51*o - 16. Let w = 17 + o. Does w = 1?
True
Let i(b) = b**2 + 7*b + 8. Let d be i(-6). Suppose 4*m - 24 = -8. Suppose g + m*g - 16 = -3*z, g + z = 4. Is d not equal to g?
False
Suppose 8 = 2*l + 6. Which is smaller: l or -8.1?
-8.1
Let s = 1608254/141 - 11406. Which is greater: s or 1?
1
Suppose s - 29 = -2*u - 4, 0 = -2*s + 5*u + 68. Let k be (-59)/s + 2 + 0. Is k <= -1?
False
Let p = 20 - 54. Let v = 35 + p. Which is greater: v or -3?
v
Let z be (-2226)/(-8) + 31/(-124). Is 278 <= z?
True
Let p = 22 - 22.1. Let g = -0.4 - -0.16. Which is bigger: p or g?
p
Let x = -3.31 + 3.33. Which is greater: x or -13?
x
Suppose 4*o + 4 = 0, -5*z = -z + 3*o + 8531. Is -2133 != z?
True
Let d(b) = 2*b**2 - b + 1. Let x be d(2). Let c(v) = -v**2 + 3*v + 4. Let h be c(3). Suppose 5*k - 21 = i - h*i, 0 = k. Is x at least i?
True
Let q be 7/(630/(-5826)) - (-4)/10. Let g = q - -65. Let s = 219 + -1969/9. Which is smaller: s or g?
s
Suppose h = -0*h - 10. Let v = 714 + -724. Is h > v?
False
Let d be 9/24 - (-2532)/(-608). Which is greater: d or 0?
0
Let i(q) = -128*q + 85. Let f be i(2). Is -171 not equal to f?
False
Let b be 276/(-16)*8/(-9). Which is smaller: 16 or b?
b
Let q be (-19900)/6636 - (-13)/((-65)/(-15)). Which is smaller: 0 or q?
0
Let q = 3414 - 3413.6. Let k(w) = -w + 3. Let p be k(5). Let b be p/20*(6 + -2). Which is bigger: b or q?
q
Let k = 0.1888 - 1.0888. Is k greater than or equal to -9/2?
True
Let x = 511 - 508. Let s(r) = -3*r + 2. Let l be s(-3). Suppose x*f = l*f. Which is smaller: 1/20 or f?
f
Let t = -5 + 4. Let b(s) = 15*s**2 - 1 - 31*s**2 + 17*s**2. Let v be b(t). Is v > -1/6?
True
Let t = -124.42 + 1.42. Let m = t + 122. Which is bigger: 0.06 or m?
0.06
Suppose 970 = 6*h - 2*z, z = 4*h + 9 - 654. Is 317/2 at most as big as h?
True
Let g = 28 - 23. Suppose g*n + 12 = 4*b, b + 3*n + 2 = 6*b. Suppose o + 0 = 2. Which is greater: o or b?
o
Let l = 1166.5 + -1166.4. Let r be (-2)/((-20)/149) + 1. Let x = r - 16. Which is smaller: x or l?
x
Let i be 84/(-10) - (-4)/10. Suppose 4*r + 3*a - 53 = 4*a, -4*r - 3*a = -33. Suppose 3*p = m + r, -5*p = -3*m - 20 - 12. Which is smaller: m or i?
m
Suppose -51*u + 49*u = 110. Let v be (-120)/u + (-12)/66. Which is bigger: v or 13?
13
Suppose 0 = -2*f + 29 + 15. Let x be 445/20 + 4 - 3/12. Suppose a = 2*l + 25 + 6, a - l - x = 0. Is f at most a?
False
Let f be ((-8)/(-5))/(8/(-60)). Let h be f/9 - (4 - (-80)/(-15)). Is 10/9 less than h?
False
Let b be ((-9)/42)/(498/(-8)). Let m = b + -251/581. Are 1/3 and m equal?
False
Let m be 110 - (4 - (5 + -3)). Which is smaller: 107 or m?
107
Let d be 16/120 - 58/(-15). Suppose a - 6 = 3*c + 1, d*c - 12 = 4*a. Let x(w) = -w**2 - 10*w - 3. Let y be x(a). Which is smaller: y or 12?
12
Let b be 2/60*6/9. Suppose -4*w + 0*l = l - 2, -l = -2. Is b at least w?
True
Let p = -1647.99 + 1657. Let t = p - 9. Which is smaller: 7 or t?
t
Let i = 7922 - 103100/13. Is i < -8?
True
Sup